title = {Complexit\'e Algorithmique des Syst\`emes Dynamiques Continus et Hybrides },
author = {Bournez, Olivier},
month = {Janvier},
year = {1999},
school = {Ecole Normale Supirieure de Lyon},
team = {TEMPO},
}
bibtex
@phdthesis{Bou99,
title = {Complexit\'e Algorithmique des Syst\`emes Dynamiques Continus et Hybrides },
author = {Bournez, Olivier},
month = {Janvier},
year = {1999},
school = {Ecole Normale Supirieure de Lyon},
team = {TEMPO},
}
title = {Complexit\'e Algorithmique des Syst\`emes Dynamiques Continus et Hybrides },
author = {Bournez, Olivier},
month = {Janvier},
year = {1999},
school = {Ecole Normale Supirieure de Lyon},
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
- Automatisation : y aura-t-il un pilote dans l’avion ?
Séminaires
Nouvelles publications
- Publications
Récentes
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: On the Expressive Completeness of Bernays-Sch"onfinkel-Ramsey Separation Logic
- Cristina Serban: Automated reasoning in separation logic with inductive definitions
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem: S-BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
- Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem: Algorithmic Complexity of Correctness Testing in MC-Scheduling
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Silent self-stabilizing scheme for spanning-tree-like constructions
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
