( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
What do we do when the jobs are gone, and why we must embrace active learning.

, и . Commun. ACM, 58 (12): 10-11 (2015)

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

 

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

Rank Predicates vs. Progress Measures in Concurrent-Program Verification.. Chic. J. Theor. Comput. Sci., (1996)On the Expressive Power of Data Dependencies., и . Acta Informatica, 23 (3): 231-244 (1986)Memory-Efficient Algorithms for the Verification of Temporal Properties., , , и . Formal Methods Syst. Des., 1 (2/3): 275-288 (1992)An automata-theoretic approach to branching-time model checking., , и . J. ACM, 47 (2): 312-360 (2000)The Complexity of Set Constraints., , , и . CSL, том 832 из Lecture Notes in Computer Science, стр. 1-17. Springer, (1993)An Automata-Theoretic Approach to Protocol Verification (Abstract).. Concurrency, том 335 из Lecture Notes in Computer Science, стр. 73. Springer, (1988)Updating Logical Databases., , , и . Adv. Comput. Res., (1986)Symbolic Techniques in Satisfiability Solving., и . J. Autom. Reason., 35 (1-3): 25-50 (2005)On Acyclic Database Decompositions, и . Inf. Control., 61 (2): 75-84 (мая 1984)Satisfiability checking for Mission-time LTL (MLTL)., , и . Inf. Comput., 289 (Part): 104923 (2022)