Rennes - PDFSEARCH.IO - Document Search Engine

Rennes
Results: 1341

#	Item
181	Active diagnosis for probabilistic systems ´ Fabre, Stefan Haar, Nathalie Bertrand, Eric Serge Haddad, Lo¨ıc H´elou¨et Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-16 03:33:22
182	Distributed local strategies in broadcast networks∗ Nathalie Bertrand1 , Paulin Fournier2 , and Arnaud Sangnier3 1 2 3 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2016-01-18 08:41:07
183	Accurate Approximate Diagnosability of Stochastic Systems Nathalie Bertrand1 , Serge Haddad2,? , and Engel Lefaucheux1,2 2 1 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2016-01-18 08:39:12
184	A Concrete Memory Model for CompCert∗ Fr´ed´eric Besson1 , Sandrine Blazy2 , and Pierre Wilke2 1 2 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2015-08-24 04:29:37
185	Playing Optimally on Timed Automata with Random Delays? Nathalie Bertrand1,2 and Sven Schewe2 1 Inria Rennes Bretagne Atlantique, France Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2012-09-28 09:53:19
186	Robustness of Time Petri Nets under architectural constraints ? S. Akshay1,2 , Lo¨ıc H´elou¨et1 , Claude Jard1,2 , Didier Lime3 and Olivier H. Roux3 1 INRIA/IRISA Rennes, France ENS Cachan Bretagne, Rennes, France Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2012-07-04 11:20:32
187	ACI SI Décembre 2003 IRISA, Rennes TRANSCHAOS Le chaos pour la sécurité des transmissions Add to Reading List Source URL: www.irisa.fr Language: French - Date: 2004-01-05 07:52:47
188	Isogenies between abelian varieties DAMIEN ROBERT Notes of a talk given for the Conference “Effective moduli spaces and applications to cryptography” — Rennes Abstract. In this talk we give a brief panorama of the Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2014-08-03 16:15:38
189	TALN 2010, Montréal, 19–23 juilletAnalyse morphologique en terminologie biomédicale par alignement et apprentissage non-supervisé Vincent Claveau1 Ewa Kijak2 (1) IRISA-CNRS, (2) IRISA-Univ. Rennes 1 Add to Reading List Source URL: people.irisa.fr Language: French - Date: 2014-11-04 05:38:02
190	Dynamic Communicating Automata and Branching High-Level MSCs Benedikt Bollig1,? , Aiswarya Cyriac1,? , Lo¨ıc H´elou¨et2 , Ahmet Kara3,?? , and Thomas Schwentick3,?? 1 Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2015-02-28 19:20:13

UPDATE