( en | de | ru )

 

Disambiguation of "Asarin, Eugene"

Author of the publication

copydeleteadd this publication to your clipboard
Online Timed Pattern Matching Using Derivatives.

, , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 736-751. Springer, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

Eugene Brand

Eugene Zhang

Eugene Warvariv

Eugene Shalygin

Eugene Ha

 

Other publications of authors with the same name

Equations on Timed Languages.. HSCC, volume 1386 of Lecture Notes in Computer Science, page 1-12. Springer, (1998)Perturbed Turing Machines and Hybrid Systems., and . LICS, page 269-278. IEEE Computer Society, (2001)Simple Algorithm for Simple Timed Games., , and . TIME, page 99-106. IEEE Computer Society, (2009)Symbolic Controller Synthesis for Discrete and Timed Systems., , and . Hybrid Systems, volume 999 of Lecture Notes in Computer Science, page 1-20. Springer, (1994)Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches., , , , , and . ICAPS, page 2-9. AAAI, (2007)Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy., and . FSTTCS, volume 1026 of Lecture Notes in Computer Science, page 471-483. Springer, (1995)As Soon as Possible: Time Optimal Control for Timed Automata., and . HSCC, volume 1569 of Lecture Notes in Computer Science, page 19-30. Springer, (1999)Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems., , and . CAV, volume 1855 of Lecture Notes in Computer Science, page 419-434. Springer, (2000)Elements of Timed Pattern Matching., , , , and . ACM Trans. Embed. Comput. Syst., 23 (4): 59:1-59:45 (July 2024)Timed regular expressions., , and . J. ACM, 49 (2): 172-206 (2002)