作 者:Yoad Lustig ;Moshe Vardi
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;54:1-16.doi:10.4204/EPTCS.54.1
出 版 社:Open Publishing Association
文 章 ID:83120155
作 者:Ryan Chuang ;Benjamin A. Hall ;David Benque 等
出 处:Scientific Reports. 2015 ;5.doi:10.1038/srep08190
出 版 社:Springer Nature
文 章 ID:110736528
作 者:Ryan Chuang ;Benjamin A. Hall ;David Benque 等
出 处:Scientific Reports. 2015 ;5(1).doi:10.1038/srep08190
出 版 社:Springer Nature
文 章 ID:235873451
作 者:Moshe Vardi ;Nina S. Levy ;Andrew P. Levy
出 处:JLR Papers In Press. 2013 ;54(9):2307-2314.doi:10.1194/jlr.R026641
出 版 社:American Society for Biochemistry and Molecular Biology
文 章 ID:192693181
作 者:Seth Fogarty ;Orna Kupferman ;Thomas Wilke 等
出 处:Logical Methods in Computer Science. 2013 ;9(1):1.doi:10.2168/LMCS-9(1:13)2013
出 版 社:Technical University of Braunschweig
文 章 ID:264691896
作 者:Yoad Lustig ;Sumit Nain ;Moshe Vardi
出 处:Logical Methods in Computer Science. 2014 ;10(2):1.doi:10.2168/LMCS-10(2:17)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264691913
作 者:Seth Fogarty ;Moshe Vardi
出 处:Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:13)2012
出 版 社:Technical University of Braunschweig
文 章 ID:264691956
作 者:Ayca Balkan ;Moshe Vardi ;Paulo Tabuada
出 处:IFAC PapersOnLine. 2015 ;48(27):343-350.doi:10.1016/j.ifacol.2015.11.198
出 版 社:Elsevier
文 章 ID:1019285476