Publicationsbycategories
click here for a more fancy version of same webpageOk, the php code under this page has bugs !!
TODO: correct it
Publications (organized by types)
See here for an organization by topics. See here for an organization by years
See also
Edited proceedings, edited volumes
Selected submissions currently under review
- Manon Blanc and Olivier Bournez. Measuring robustness of dynamical systems. Relating time and space to length and precision.
Technical report. (BibTeX)
- Olivier Bournez and Quentin Guilmant. Surreal fields stable under exponential and logarithmic functions.
. Submitted. (BibTeX)
Journals, Book Chapters, Proceedings
Conferences (Final Versions)
Selected Research Reports (related to other works):
- Barth, Dominique, Bournez, Olivier, Boussaton, Octave and Cohen, Johanne. A Dynamical Approach for Load Balancing.
Technical report, LORIA/INRIA. Submitted. Available on {\tt http://www.lix.polytechnique.fr/\~{}bournez/load/Soumis-Octave-Fev-2008.pdf}. (BibTeX)
- Bournez, Olivier and Garnier, Florent. Termination in finite mean time of a CSMA/CA Termination in finite mean time of a CSMA/CA rule-based model.
Technical report, LORIA/INRIA. Submitted. (BibTeX)
- Sylvie Dela\"et, Dominique Barth, Olivier Bournez Johanne Cohen Loubna Echabbi. Existence of a Nash Equilibria in a pricing game adapted to BGP.
Technical report, LRI. (BibTeX)
- Bournez, Olivier, Soussan, Terence and Tavernier, Bertrand. Symbolic Simulation and Formal Verification of Updatable Timed Automata.
Technical report, LORIA. (BibTeX)
- Bournez, Olivier, Garnier, Florent and Kirchner, Claude. Termination in finite mean time of a CSMA/CA rule-based model.
Technical report, LORIA, Nancy. (BibTeX)
- Bournez, Olivier, Soussan, T\'erence and Tavernier, Bertrand. Symbolic Simulation and Formal Verification of Updatable Timed Automata using a Rewrite System.
Technical report, LORIA. (BibTeX)
- Bournez, Olivier. Fuzzy Equational Theories.
Technical report, LORIA. (BibTeX)
- Bournez, Olivier, Hoyrup, Mathieu and Kirchner, Claude. Logique de r\'e\'ecriture probabiliste.
Technical report, LORIA. (BibTeX)