( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Open access and ACM.

. Commun. ACM, 61 (4): 7 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Amir Moshe

Max Mosheim

Assaf Vardi

Lily Vardimon

Moshe Pinus

 

Другие публикации лиц с тем же именем

Constraints, Graphs, Algebra, Logic, and Complexity.. CP, том 6308 из Lecture Notes in Computer Science, стр. 8. Springer, (2010)Symbolic Decision Procedures for QBF., и . CP, том 3258 из Lecture Notes in Computer Science, стр. 453-467. Springer, (2004)Constraint Propagation as a Proof System., , и . CP, том 3258 из Lecture Notes in Computer Science, стр. 77-91. Springer, (2004)Simplifying schema mappings., , , и . ICDT, стр. 114-125. ACM, (2011)Assertion-based flow monitoring of SystemC models., и . MEMOCODE, стр. 145-154. IEEE, (2014)Interactive presentation: PowerQuest: trace driven data mining for power optimization., , и . DATE, стр. 1078-1083. EDA Consortium, San Jose, CA, USA, (2007)Towards manipulation planning with temporal logic specifications., , , и . ICRA, стр. 346-352. IEEE, (2015)The Only Way Is Up., , и . FM, том 6664 из Lecture Notes in Computer Science, стр. 3-11. Springer, (2011)Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics.. CADE, том 1249 из Lecture Notes in Computer Science, стр. 191-206. Springer, (1997)Synthesis with Rational Environments., , и . EUMAS, том 8953 из Lecture Notes in Computer Science, стр. 219-235. Springer, (2014)