Verimag

Error 404

Error in query: No results found.

The path you have selected does not seem valid. Please return to the previous page and verify the information provided.

Select

New publications

Recent Publications
- Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis: Model-Based Implementation of Parallel Real-Time Systems
- Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott Smolka: On Temporal Logic and Signal Processing
- Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre: Algorithme autostabilisant avec convergence sûre construisant une $(f,g)$-alliance
- Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade: Brandt's Fully Private Auction Protocol Revisited
- Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard: Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations
- Ali Kassem, Pascal Lafourcade, Yassine Lakhnech, Sebastian M ödersheim: Multiple Independent Lazy Intruders

Contact | Site Map | Site created with SPIP 2.1.20 + AHUNTSIC [CC License]

Logged in visitors: 5 ; visits: 303977

UJF

CNRS

INP Grenoble