| 2016 | STACS | Entropy Games and Matrix Multiplication Games. | Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, Victor S. Kozyakin |
| 2016 | TACAS | Online Timed Pattern Matching Using Derivatives. | Dogan Ulus, Thomas Ferrre, Eugene Asarin, Oded Maler |
| 2014 | CSL | Asymptotic behaviour in temporal logic. | Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, Chunyan Mu |
| 2012 | LATA | Measuring Information in Timed Languages. | Eugene Asarin |
| 2012 | MFCS | Generating Functions of Timed Languages. | Eugene Asarin, Nicolas Basset, Aldric Degorre, Dominique Perrin |
| 2011 | RV | Parametric Identification of Temporal Properties. | Eugene Asarin, Alexandre Donz, Oded Maler, Dejan Nickovic |
| 2010 | ATVA | Using Redundant Constraints for Refinement. | Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier |
| 2010 | FOSSACS | Fair Adversaries and Randomization in Two-Player Games. | Eugene Asarin, Raphal Chane-Yack-Fa, Daniele Varacca |
| 2009 | CONCUR | Volume and Entropy of Regular Timed Languages: Discretization Approach. | Eugene Asarin, Aldric Degorre |
| 2009 | TIME | Simple Algorithm for Simple Timed Games. | Yasmina Abdeddam, Eugene Asarin, Mihaela Sighireanu |
| 2005 | ICALP | Noisy Turing Machines. | Eugene Asarin, Pieter Collins |
| 2003 | TACAS | On Optimal Scheduling under Uncertainty. | Yasmina Abdeddam, Eugene Asarin, Oded Maler |
| 2002 | CAV | The d/dt Tool for Verification of Hybrid Systems. | Eugene Asarin, Thao Dang, Oded Maler |
| 2002 | CAV | SPeeDI - A Verification Tool for Polygonal Hybrid Systems. | Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine |
| 2002 | CONCUR | Widening the Boundary between Decidable and Undecidable Hybrid Systems. | Eugene Asarin, Gerardo Schneider |
| 2001 | LICS | Perturbed Turing Machines and Hybrid Systems. | Eugene Asarin, Ahmed Bouajjani |
| 2000 | CAV | Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems. | Aurore Annichini, Eugene Asarin, Ahmed Bouajjani |
| 1998 | CONCUR | On Discretization of Delays in Timed Automata and Digital Circuits. | Eugene Asarin, Oded Maler, Amir Pnueli |
| 1997 | LICS | A Kleene Theorem for Timed Automata. | Eugene Asarin, Paul Caspi, Oded Maler |
| 1994 | ICALP | On some Relations between Dynamical Systems and Transition Systems. | Eugene Asarin, Oded Maler |