( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Optimizing a BDD-Based Modal Solver.

, и . CADE, том 2741 из Lecture Notes in Computer Science, стр. 75-89. Springer, (2003)

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

 

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

Simplifying schema mappings., , , и . ICDT, стр. 114-125. ACM, (2011)Towards manipulation planning with temporal logic specifications., , , и . ICRA, стр. 346-352. IEEE, (2015)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)Synthesis from Probabilistic Components., , и . CSL, том 12 из LIPIcs, стр. 412-427. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Intersection and Rotation of Assumption Literals Boosts Bug-Finding., , , , и . VSTTE, том 12031 из Lecture Notes in Computer Science, стр. 180-192. Springer, (2019)LTLf Synthesis with Fairness and Stability Assumptions., , , и . CoRR, (2019)Alonzo Church Award 2016 - Call for Nominations.. Bull. EATCS, (2016)Accountability and liability in computing.. Commun. ACM, 65 (11): 5 (2022)The agency trilemma and ACM.. Commun. ACM, 64 (5): 4 (2021)