( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Predatory scholarly publishing.

. Commun. ACM, 55 (7): 5 (2012)

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

 

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

Intersection and Rotation of Assumption Literals Boosts Bug-Finding., , , , и . VSTTE, том 12031 из Lecture Notes in Computer Science, стр. 180-192. Springer, (2019)Efficiency vs. resilience: what COVID-19 teaches computing.. Commun. ACM, 63 (5): 9 (2020)Coverage metrics for formal verification., , и . Int. J. Softw. Tools Technol. Transf., 8 (4-5): 373-386 (2006)An Automata-Theoretic Approach to Protocol Verification (Abstract).. Concurrency, том 335 из Lecture Notes in Computer Science, стр. 73. Springer, (1988)The Complexity of Set Constraints., , , и . CSL, том 832 из Lecture Notes in Computer Science, стр. 1-17. Springer, (1993)Module Checking Revisited., и . CAV, том 1254 из Lecture Notes in Computer Science, стр. 36-47. Springer, (1997)Factored boolean functional synthesis., и . FMCAD, стр. 124-131. IEEE, (2017)Semantic acyclicity on graph databases., , и . PODS, стр. 237-248. ACM, (2013)SAT-based Explicit LTLf Satisfiability Checking., , , , и . CoRR, (2018)How we lost the women in computing.. Commun. ACM, 61 (5): 9 (2018)