Eugene Asarin
Orcid: 0000-0001-7983-2202
According to our database1,
Eugene Asarin
authored at least 67 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
1
2
1
1
1
2
1
1
1
1
1
1
2
2
1
1
2
1
2
2
1
3
2
3
3
2
1
2
3
7
4
2
1
2
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Implementation and Application of Automata, 2024
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024
2023
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023
2022
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022
2021
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021
2018
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018
2017
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016
2015
2014
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013
2012
Inf. Comput., 2012
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012
Proceedings of the Language and Automata Theory and Applications, 2012
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012
2011
Proceedings of the Runtime Verification - Second International Conference, 2011
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
Proceedings of the Foundations of Software Science and Computational Structures, 2010
Proceedings of the Automated Technology for Verification and Analysis, 2010
2009
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
2008
Theor. Comput. Sci., 2008
2007
Theor. Comput. Sci., 2007
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007
Proceedings of the Algebraic Biology, Second International Conference, 2007
2006
2005
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
2004
Challenges in Timed Languages: from applied theory to basic theory (Column: Concurrency).
Bull. EATCS, 2004
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004
Proceedings of the Formal Techniques, 2004
2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the Hybrid Systems: Computation and Control, 2003
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003
2002
Proceedings of the International Workshop on Models for Time-Critical Systems, 2002
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002
Proceedings of the CONCUR 2002, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
2000
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
1999
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999
1998
J. Comput. Syst. Sci., 1998
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1997
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997
Proceedings of the Hybrid and Real-Time Systems, 1997
1995
Theor. Comput. Sci., 1995
1994
Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994
Proceedings of the Hybrid Systems II, 1994