( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Timed Interfaces.

, , и . EMSOFT, том 2491 из Lecture Notes in Computer Science, стр. 108-122. Springer, (2002)

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.

Alexander De Luca

Luca De Pascalis

Nina De Luca

Emanuela De Luca

Maria Teresa De Luca

 

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

Termination Criteria for Solving Concurrent Safety and Reachability Games, , и . CoRR, (2008)Some Like it Hoax: Automated Fake News Detection in Social Networks., , , , и . CoRR, (2017)Measuring Author Contribution to the Wikipedia, , , и . WikiSym 2008: International Symposium on Wikis, Porto, Portugal, ACM Press, (сентября 2008)Algorithms for Game Metrics (Full Version), , , и . Logical Methods in Computer Science, (2010)A content-driven reputation system for the wikipedia, и . WWW '07: Proceedings of the 16th international conference on World Wide Web, стр. 261--270. New York, NY, USA, ACM Press, (2007)Model Checking of Probabilistic and Nondeterministic Systems, и . Foundations of Software Technology and Theoretical Computer Science, том 1026 из Lecture Notes in Computer Science, стр. 499-513. Springer, (1995)Automating Modular Verification., , , и . CONCUR, том 1664 из Lecture Notes in Computer Science, стр. 82-97. Springer, (1999)Symbolic Algorithms for Infinite-State Games., , и . CONCUR, том 2154 из Lecture Notes in Computer Science, стр. 536-550. Springer, (2001)Compositional Methods for Probabilistic Systems., , и . CONCUR, том 2154 из Lecture Notes in Computer Science, стр. 351-365. Springer, (2001)The Control of Synchronous Systems., , и . CONCUR, том 1877 из Lecture Notes in Computer Science, стр. 458-473. Springer, (2000)