( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On some Relations between Dynamical Systems and Transition Systems.

, и . ICALP, том 820 из Lecture Notes in Computer Science, стр. 59-72. Springer, (1994)

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.

Eugene Brand

Eugene Zhang

Eugene Warvariv

Eugene Ha

Eugene Shalygin

 

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

Equations on Timed Languages.. HSCC, том 1386 из Lecture Notes in Computer Science, стр. 1-12. Springer, (1998)Simple Algorithm for Simple Timed Games., , и . TIME, стр. 99-106. IEEE Computer Society, (2009)Perturbed Turing Machines and Hybrid Systems., и . LICS, стр. 269-278. IEEE Computer Society, (2001)Timed regular expressions., , и . J. ACM, 49 (2): 172-206 (2002)Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions., , , и . HSCC, стр. 14:1-14:13. ACM, (2023)Bandwidth of Timed Automata: 3 Classes., , , и . FSTTCS, том 284 из LIPIcs, стр. 10:1-10:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Computing the Bandwidth of Meager Timed Automata., , , и . CIAA, том 15015 из Lecture Notes in Computer Science, стр. 19-34. Springer, (2024)Symbolic Controller Synthesis for Discrete and Timed Systems., , и . Hybrid Systems, том 999 из Lecture Notes in Computer Science, стр. 1-20. Springer, (1994)As Soon as Possible: Time Optimal Control for Timed Automata., и . HSCC, том 1569 из Lecture Notes in Computer Science, стр. 19-30. Springer, (1999)Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems., , и . CAV, том 1855 из Lecture Notes in Computer Science, стр. 419-434. Springer, (2000)