Aldric Degorre

dblp:87/2566 · DBLP profile ↗
← Back
8ranked-venue papers
0as first author
2since 2021 · last 2024
0000-0003-2712-4954ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 8 · 2 since 2021Software engineering, systems software and programming languages · 1
YearPublicationVenuePosition
2024 Computing the Bandwidth of Meager Timed Automata
Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán
CIAA2
2023 Bandwidth of Timed Automata: 3 Classes
Eugene Asarin, Aldric Degorre, Catalin Dima, Bernardo Jacobo Inclán
FSTTCS2
2016 Entropy Games and Matrix Multiplication Games
Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn 0001, Victor S. Kozyakin
STACS3
2015 Entropy of regular timed languages
Eugene Asarin, Nicolas Basset, Aldric Degorre
Inf. Comput.3
2012 Generating Functions of Timed Languages
Eugene Asarin, Nicolas Basset, Aldric Degorre, Dominique Perrin
MFCS3
2010 Two Size Measures for Timed Languages
abstract
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to languages of timed automata with punctual (equalities) and non-punctual (non-equalities) transition guards. Two size measures for such languages are identified: mean dimension and volumetric entropy. The former is the linear growth rate of the dimension of the language; it is characterized as the spectral radius of a max-plus matrix associated to the automaton. The latter is the exponential growth rate of the volume of the language; it is characterized as the logarithm of the spectral radius of a matrix integral operator on some Banach space associated to the automaton. Relation of the two size measures to classical information-theoretic concepts is explored.
Eugene Asarin, Aldric Degorre
FSTTCS2
2009 Volume and Entropy of Regular Timed Languages: Discretization Approach
Eugene Asarin, Aldric Degorre
CONCUR2
2009 On Omega-Languages Defined by Mean-Payoff Conditions
Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss
FoSSaCS2