 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00099871v1
Rapport
Eric Deplagne, Claude Kirchner. Induction as Deduction Modulo [Intern report] A04-R-468 || deplagne04a, 2004, 80 p |
||
|
hal-00380517v2
Autre publication
Alexander Heußner, Grégoire Sutre, Tristan Le Gall. Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems RR-1459-09. Rapport de Recherche RR-1459-09 LaBRI. 2009 |
||
|
hal-00688776v1
Communication dans un congrès
Alexander Heußner, Tristan Le Gall, Grégoire Sutre. McScM: A General Framework for the Verification of Communicating Machines Cormac Flanagan and Barbara König. 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Apr 2012, Tallinn, Estonia. Springer Verlag, 7214, pp.487-484, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-28756-5> |
||
|
hal-00885965v1
Communication dans un congrès
Elias Egho, Chedy Raïssi, Toon Calders, Nicolas Jay, Amedeo Napoli. Vers une mesure de similarité pour les séquences complexes Extraction et gestion des connaissances (EGC'2013), Jan 2013, Toulouse, France. Cépaduès, pp.335-340, 2013, Extraction et gestion des connaissances |
||
|
inria-00070508v1
Rapport
Vandy Berten, Joël Goossens, Emmanuel Jeannot. On the distribution of sequential jobs in random brokering for heterogeneous computational grids [Research Report] RR-5499, INRIA. 2005, pp.23 |
||
|
hal-00776589v1
Communication dans un congrès
Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder. Concurrent Games on VASS with Inhibition Koutny, Maciej and Ulidowski, Irek. 23rd International Conference on Concurrency Theory (CONCUR'12), Sep 2012, Newcastle upon Tyne, United Kingdom. Springer, 7454, pp.39-52, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-32940-1_5> |
||
|
inria-00544642v1
Article dans une revue
Liliana Cucu-Grosjean, Joël Goossens. Predictability of Fixed-Job Priority Schedulers on Heterogeneous Multiprocessor Real-Time Systems Information Processing Letters, Elsevier, 2010, 110 (10), pp.399-402 |
||
|
hal-01094383v1
Article dans une revue
Elias Egho, Chedy Raïssi, Toon Calders, Nicolas Jay, Amedeo Napoli. On measuring similarity for sequences of itemsets Data Mining and Knowledge Discovery, Springer Verlag, 2015, 29 (3), pp.33. <10.1007/s10618-014-0362-1> |
||
|
|
||