Eugene Asarin

Available identifiers

zbMath Open asarin.eugeneMaRDI QIDQ418138

List of research outcomes

Publication	Date of Publication	Type
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions	2024-02-21	Paper
Bounded delay timed channel coding	2023-01-18	Paper
On the complexity of timed pattern matching	2022-03-24	Paper
Online timed pattern matching using derivatives	2019-09-17	Paper
On some relations between dynamical systems and transition systems	2019-04-29	Paper
Distance on timed words and applications	2018-12-06	Paper
Online timed pattern matching using automata	2018-12-06	Paper
Asymptotic behaviour in temporal logic	2018-04-23	Paper
Entropy Games and Matrix Multiplication Games	2018-01-24	Paper
Combining the temporal and epistemic dimensions for MTL monitoring	2017-12-01	Paper
Achilles and the tortoise climbing up the arithmetical hierarchy	2017-01-19	Paper
Timed regular expressions	2015-10-30	Paper
Timed Pattern Matching	2015-08-06	Paper
Entropy of regular timed languages	2015-05-04	Paper
Spectral Gap in Timed Automata	2013-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q2842862	2013-08-16	Paper
Toward a Timed Theory of Channel Coding	2012-11-21	Paper
Generating Functions of Timed Languages	2012-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2908867	2012-08-29	Paper
Low dimensional hybrid systems -- decidable, undecidable, don't know	2012-05-24	Paper
Thin and Thick Timed Regular Languages	2011-10-07	Paper
Verification of Timed Automata via Satisfiability Checking	2011-04-08	Paper
Using Redundant Constraints for Refinement	2010-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q3568124	2010-06-17	Paper
Fair Adversaries and Randomization in Two-Player Games	2010-04-27	Paper
On the computation of covert channel capacity	2010-03-12	Paper
Volume and Entropy of Regular Timed Languages: Analytic Approach	2009-12-01	Paper
Volume and Entropy of Regular Timed Languages: Discretization Approach	2009-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q3396001	2009-09-15	Paper
Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools	2008-03-05	Paper
Attenuation Regulation as a Term Rewriting System	2007-11-29	Paper
Hybrid Systems: Computation and Control	2007-09-25	Paper
Algorithmic analysis of polygonal hybrid systems. I: Reachability	2007-07-16	Paper
Hybridization methods for the analysis of nonlinear systems	2007-03-05	Paper
Scheduling with timed automata	2006-04-28	Paper
Automata, Languages and Programming	2006-01-10	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4736573	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4417926	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417974	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4484488	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4806207	2003-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4806208	2003-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4552458	2002-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4552459	2002-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q2754104	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4249561	2001-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4953376	2000-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4251920	1999-09-23	Paper
Achilles and the tortoise climbing up the arithmetical hierarchy	1999-04-26	Paper
Reachability analysis of dynamical systems having piecewise-constant derivatives	1997-09-29	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Eugene Asarin