From post

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.

 

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

Integer Reset Timed Automata: Clock Reduction and Determinizability, и . CoRR, (2010)Büchi-Kamp Theorems for 1-clock ATA., , и . CoRR, (2018)Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata., , и . FORMATS, том 5813 из Lecture Notes in Computer Science, стр. 88-102. Springer, (2009)Communicating Distributed H Systems: Optimal Results with Efficient Ways of Communication.. DNA, том 3892 из Lecture Notes in Computer Science, стр. 181-192. Springer, (2005)Updatable Timed Automata with Additive and Diagonal Constraints., , и . CiE, том 5028 из Lecture Notes in Computer Science, стр. 407-416. Springer, (2008)P Systems with Symport/Antiport: The Traces of RBCs.. Workshop on Membrane Computing, том 3365 из Lecture Notes in Computer Science, стр. 331-343. Springer, (2004)Deciding the Computability of Regular Functions over Infinite Words., , , и . CoRR, (2019)P Systems with Picture Objects., , и . Acta Cybern., 15 (1): 53-74 (2001)Verification of programs under the release-acquire semantics., , , и . PLDI, стр. 1117-1132. ACM, (2019)Results on Catalytic and Evolution-Communication P Systems., и . New Generation Comput., 22 (4): 377-394 (2004)