Seminar details

salle A. Turing CE4
9 September 2014 - 14h30
fonctions de Schur
by Dorian Nogneng from École polytechnique

Résumé : Exposé du stage de Dorian Nogneng à University of Western Ontario.

News

NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- 20 September 2019 at IMAG Auditorium (Grenoble) Oded Maler Memorial Day
- Argosim and Verimag in ``La Lettre Innovation du CNRS’’

Recent Publications
- Tommaso Dreossi, Thao Dang, Carla Piazza: Reachability computation for polynomial dynamical systems
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Silence dans la forêt !
- Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis: Mechanically Proving Determinacy of Hierarchical Block Diagram Translations
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Squeezing Streams and Composition of Self-Stabilizing Algorithms
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling

info visites 1275847