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
previous page
Search
Home page
Site Map
New publications
Recent Publications
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade:
Brandt's Fully Private Auction Protocol Revisited
Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade:
SR3: Secure Resilient Reputation-based Routing
Goran Frehse, Colas Le Guernic, Rajat Kateja:
Flowpipe Approximation and Clustering in Space-Time
Thomas Braibant, Jacques-Henri Jourdan, David Monniaux:
Implementing hash-consed data structures in Coq
Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre:
Algorithme autostabilisant avec convergence sûre construisant une $(f,g)$-alliance
Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard:
Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations
Jobs
Jobs
PhD position 2013-2016, Timed and Hybrid group (Tempo)
[funded PhD] avanced static analysis techniques
PhD position 2013-2016 available: Shared self-configuring models and software infrastructures for Smart City monitoring and control
Experienced engineer wanted (compiler frontend / GUIs)
[postdoc] Advanced static analysis
Registering with the site
You can take an active part in this website and write your own articles by registering below. You will then receive immediately an email giving you an access code to the private area of the site.
Navigation
Sections
Teams
Synchrone
DCS
Tempo
Verimag
Presentation
Organisation chart
People
Documents
How to reach us
Jobs and Internships
Dissemination
Partners
Projects
Seminars
Tools
Workshops and Conferences
Publications
Site Map
Search:
Contact
|
Site Map
|
Site created with SPIP 2.1.20
+
AHUNTSIC
[CC License]
Logged in visitors:
10
; visits:
303992
English
Français