Eugene Asarin
发表
Dogan Ulus,
Thomas Ferrère,
Eugene Asarin,
2016,
TACAS.
Sergio Yovine,
Eugene Asarin,
Gerardo Schneider,
2002,
HSCC.
Eugene Asarin,
Aldric Degorre,
E. Asarin,
2009,
CONCUR.
Navendu Jain,
Eugene Asarin,
Oded Maler,
2002,
FTRTFT.
Mihaela Sighireanu,
Eugene Asarin,
Yasmina Abdeddaïm,
2009,
2009 16th International Symposium on Temporal Representation and Reasoning.
Eugene Asarin,
Nicolas Basset,
E. Asarin,
2011,
FORMATS.
Eugene Asarin,
E. Asarin,
2004,
Bull. EATCS.
Eugene Asarin,
Oded Maler,
Peter Niebert,
2004,
FORMATS/FTRTFT.
Tayssir Touili,
Eugene Asarin,
Vassily A. Lyubetsky,
2007,
AB.
Amir Pnueli,
Eugene Asarin,
Oded Maler,
1994,
Hybrid Systems.
Eugene Asarin,
Thao Dang,
2004,
HSCC.
Eugene Asarin,
Catalin Dima,
E. Asarin,
2010,
RAIRO Theor. Informatics Appl..
Eugene Asarin,
Pieter Collins,
E. Asarin,
2005,
ICALP.
Sergio Yovine,
Eugene Asarin,
Gerardo Schneider,
2007,
Theor. Comput. Sci..
Eugene Asarin,
2012,
LATA.
Charles Lesire,
Mihaela Sighireanu,
Eugene Asarin,
2007
.
Eugene Asarin,
Oded Maler,
E. Asarin,
1995,
J. Comput. Syst. Sci..
Dejan Nickovic,
Eugene Asarin,
Oded Maler,
2011,
RV.
Amir Pnueli,
Eugene Asarin,
Oded Maler,
1998,
CONCUR.
Bernard Espiau,
Eugene Asarin,
Oded Maler,
2001,
HSCC.
Florian Horn,
Eugene Asarin,
Catalin Dima,
2015,
ArXiv.
Olivier Bournez,
Eugene Asarin,
Oded Maler,
2000,
HSCC.
Ahmed Bouajjani,
Eugene Asarin,
Aurore Annichini,
2000,
CAV.
Sergio Yovine,
Eugene Asarin,
Gerardo Schneider,
2001,
HSCC.
Eugene Asarin,
Oded Maler,
E. Asarin,
1999,
HSCC.
Antoine Girard,
Eugene Asarin,
Thao Dang,
2007,
Acta Informatica.
Gordon J. Pace,
Sergio Yovine,
Eugene Asarin,
2002,
CAV.
Antoine Girard,
Eugene Asarin,
Thao Dang,
2003,
HSCC.
Eugene Asarin,
Oded Maler,
Yasmina Abdeddaïm,
2003,
TACAS.
Dogan Ulus,
Thomas Ferrère,
Eugene Asarin,
2014,
FORMATS.
Dejan Nickovic,
Thomas Ferrère,
Eugene Asarin,
2018,
FORMATS.
Eugene Asarin,
Catalin Dima,
Aldric Degorre,
2014,
CSL-LICS.
Florian Horn,
Eugene Asarin,
Catalin Dima,
2015,
STACS.
Eugene Asarin,
Oded Maler,
1998,
J. Comput. Syst. Sci..
Eugene Asarin,
Oded Maler,
Yasmina Abdeddaïm,
2006,
Theor. Comput. Sci..
Eugene Asarin,
Oded Maler,
E. Asarin,
1994,
ICALP.
Gordon J. Pace,
Sergio Yovine,
Eugene Asarin,
2008,
Theor. Comput. Sci..
Eugene Asarin,
Gerardo Schneider,
E. Asarin,
2002,
CONCUR.
Amir Pnueli,
Eugene Asarin,
Oded Maler,
1995,
Theor. Comput. Sci..
Eugene Asarin,
Aldric Degorre,
2010,
FSTTCS.
Patricia Bouyer,
Eugene Asarin,
2006
.
Eugene Asarin,
Aldric Degorre,
Nicolas Basset,
2018,
FORMATS.
Eugene Asarin,
Oded Maler,
Thao Dang,
2010,
ATVA.
Ahmed Bouajjani,
Eugene Asarin,
E. Asarin,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Eugene Asarin,
2006
.
Patricia Bouyer,
Eugene Asarin,
2006
.
Dejan Nickovic,
Dogan Ulus,
Eugene Asarin,
2017,
FORMATS.
Eugene Asarin,
1998,
HSCC.
Eugene Asarin,
Aldric Degorre,
2009,
FORMATS.
Joseph Sifakis,
Amir Pnueli,
Eugene Asarin,
1998
.
Paul Caspi,
Eugene Asarin,
Oded Maler,
2002,
JACM.
Dominique Perrin,
Eugene Asarin,
Aldric Degorre,
2012,
MFCS.
Amir Pnueli,
Eugene Asarin,
Gerardo Schneider,
2012,
Inf. Comput..
Amir Pnueli,
Alain Kerbrat,
Eugene Asarin,
1997,
HART.
Eugene Asarin,
Oded Maler,
Thao Dang,
2002,
CAV.
Paul Caspi,
Eugene Asarin,
Oded Maler,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Dominique Perrin,
Eugene Asarin,
Marie-Pierre Béal,
2012,
FORMATS.
Patricia Bouyer,
Eugene Asarin,
2006,
FORMATS.
Eugene Asarin,
Aldric Degorre,
Nicolas Basset,
2015,
Inf. Comput..
Eugene Asarin,
Aldric Degorre,
Nicolas Basset,
2013,
FORMATS.
Eugene Asarin,
2003,
FORMATS.
Dejan Nickovic,
Dogan Ulus,
Thomas Ferrère,
2021,
FORMATS.
Eugene Asarin,
Oded Maler,
Peter Niebert,
2007
.