( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Database Research: Lead, Follow, or Get Out of the Way? - Panel Abstract.

, , , , , , и . ICDE, стр. 190. IEEE Computer Society, (1996)

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

 

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

Memory-Efficient Algorithms for the Verification of Temporal Properties., , , и . Formal Methods in System Design, 1 (2/3): 275-288 (1992)Black Box Checking., , и . FORTE, том 156 из IFIP Conference Proceedings, стр. 225-240. Kluwer, (1999)How we lost the women in computing.. Commun. ACM, 61 (5): 9 (2018)SAT-based Explicit LTLf Satisfiability Checking., , , , и . CoRR, (2018)Module Checking Revisited., и . CAV, том 1254 из Lecture Notes in Computer Science, стр. 36-47. Springer, (1997)Factored boolean functional synthesis., и . FMCAD, стр. 124-131. IEEE, (2017)Büchi Complementation and Size-Change Termination., и . TACAS, том 5505 из Lecture Notes in Computer Science, стр. 16-30. Springer, (2009)Resets vs. Aborts in Linear Temporal Logic., , , и . TACAS, том 2619 из Lecture Notes in Computer Science, стр. 65-80. Springer, (2003)Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation., , , , и . TACAS, том 2619 из Lecture Notes in Computer Science, стр. 176-191. Springer, (2003)Complementation Constructions for Nondeterministic Automata on Infinite Words., и . TACAS, том 3440 из Lecture Notes in Computer Science, стр. 206-221. Springer, (2005)