PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Asarin, Eugene"

Author of the publication

copydeleteadd this publication to your clipboard
Combining the Temporal and Epistemic Dimensions for MTL Monitoring.

, , , and . FORMATS, volume 10419 of Lecture Notes in Computer Science, page 207-223. Springer, (2017)

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.

No persons found for author name Asarin, Eugene
add a person with the name Asarin, Eugene
 

Other publications of authors with the same name

A Kleene Theorem for Timed Automata., , and . LICS, page 160-171. IEEE Computer Society, (1997)Noisy Turing Machines., and . ICALP, volume 3580 of Lecture Notes in Computer Science, page 1031-1042. Springer, (2005)On some Relations between Dynamical Systems and Transition Systems., and . ICALP, volume 820 of Lecture Notes in Computer Science, page 59-72. Springer, (1994)Fair Adversaries and Randomization in Two-Player Games., , and . FoSSaCS, volume 6014 of Lecture Notes in Computer Science, page 64-78. Springer, (2010)Entropy Games and Matrix Multiplication Games., , , , , and . STACS, volume 47 of LIPIcs, page 11:1-11:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)On Optimal Scheduling under Uncertainty., , and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 240-253. Springer, (2003)Some Progress in Satisfiability Checking for Difference Logic., , , and . FORMATS/FTRTFT, volume 3253 of Lecture Notes in Computer Science, page 263-276. Springer, (2004)Asymptotic behaviour in temporal logic., , , , and . CSL-LICS, page 10:1-10:9. ACM, (2014)Effective synthesis of switching controllers for linear systems., , , , and . Proc. IEEE, 88 (7): 1011-1025 (2000)Simple Algorithm for Simple Timed Games., , and . TIME, page 99-106. IEEE Computer Society, (2009)