( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Analysis of a Distributed Algorithm for Tracking Progress.

, , , и . FMOODS/FORTE, том 7892 из Lecture Notes in Computer Science, стр. 5-19. Springer, (2013)

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.

Ardeschir Abadi

Schirin Susanne Abadian

Mehdi Abadi

Aydin Abadi

Eskandar Abadi

 

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

Foundations of Differential Dataflow., , и . FoSSaCS, том 9034 из Lecture Notes in Computer Science, стр. 71-83. Springer, (2015)The Prophecy of Undo.. FASE, том 9033 из Lecture Notes in Computer Science, стр. 347-361. Springer, (2015)Modal Theorem Proving., и . CADE, том 230 из Lecture Notes in Computer Science, стр. 172-189. Springer, (1986)Learning a Natural Language Interface with Neural Programmer., , , , и . ICLR (Poster), OpenReview.net, (2017)TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems, , , , , , , , , и 30 other автор(ы). (2015)Software available from tensorflow.org.Just Fast Keying in the Pi Calculus., , и . ESOP, том 2986 из Lecture Notes in Computer Science, стр. 340-354. Springer, (2004)Baby Modula-3 and a Theory of Objects.. J. Funct. Program., 4 (2): 249-283 (1994)Extensible Grammars for Language Specialization., , и . DBPL, стр. 11-31. Springer, (1993)Authentication Primitives and Their Compilation., , и . POPL, стр. 302-315. ACM, (2000)Control-flow integrity principles, implementations, and applications., , , и . ACM Trans. Inf. Syst. Secur., 13 (1): 4:1-4:40 (2009)