title = {On some Quantitative Aspects of Formal Languages },
author = {Degorre, Aldric},
year = {2009},
school = {University Joseph Fourier},
team = {TEMPO},
}
bibtex
@phdthesis{Deg09,
title = {On some Quantitative Aspects of Formal Languages },
author = {Degorre, Aldric},
year = {2009},
school = {University Joseph Fourier},
team = {TEMPO},
}
title = {On some Quantitative Aspects of Formal Languages },
author = {Degorre, Aldric},
year = {2009},
school = {University Joseph Fourier},
team = {TEMPO},
}
Navigation
Actualités
-
ACTUALITÉS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book : Introduction to Distributed Self-Stabilizing Algorithms
- Conférences
- 30 September - 1 October 2019 AVoCS 2019
- Séminaires
- 25 juin 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 juin 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 juin 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 4 juillet 2019 Radu Iosif: Alternating automata modulo first order theories
Séminaires
Nouvelles publications
- Publications
Récentes
- Moustapha Lo: Implementing a Real-time Avionic application on a Many-core Processor
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Squeezing Streams and Composition of Self-Stabilizing Algorithms
- Arvind S. Adimoolam: A Calculus of Complex Zonotopes for Computing Invariants of Affine Hybrid Systems
- David Monniaux: On the decidability of the existence of polyhedral invariants in transition systems
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots on Graphs
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling
