 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00350478v1
Communication dans un congrès
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen. Synthesis of Optimal Strategies Using HyTech Workshop on Games in Design and Verification (GDV'04), 2004, Boston, United States. Elsevier, 119 (1), pp.11-31, 2005, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2004.07.006> |
||
|
hal-00350466v1
Communication dans un congrès
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen et al. UPPAAL-Tiga: Time for Playing Games! W. Damm, H. Hermanns. 19th International Conference on Computer Aided Verification (CAV07), 2007, Berlin, Germany. Springer, 4590, pp.121-125, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-73368-3_14> |
||
|
hal-00350488v1
Communication dans un congrès
Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit. Are Timed Automata Updatable ? 12th International Conference on Computer Aided Verification (CAV'2000), 2000, Chicago, United States. Springer, 1855, pp.464-479, 2000, Lecture Notes in Computer Science. <10.1007/10722167_35> |
||
|
hal-00350470v1
Communication dans un congrès
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen et al. UPPAAL-Tiga: Timed Games for Everyone Nordic Workshop on Programming Theory (NWPT'06), 2006, Reykjavik, Iceland |
||
|
hal-00350475v1
Communication dans un congrès
Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime. Efficient On-the-fly Algorithms for the Analysis of Timed Games Martín Abadi, Luca de Alfaro. 16th International Conference on Concurrency Theory (CONCUR'05), 2005, San Francisco, United States. Springer, 3653, pp.66-80, 2005, Lecture Notes in Computer Science. <10.1007/11539452> |
||
|
hal-00350483v1
Communication dans un congrès
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen. Optimal Strategies in Priced Timed Game Automata 24th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04), 2004, Chennai, India. Springer, 3328, pp.148-160, 2004, Lecture Notes in Computer Science. <10.1007/b104325_13> |
||
|
hal-00350490v1
Communication dans un congrès
Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit. Expressiveness of Updatable Timed Automata 25th International Symposium of Mathematical Foundation of Computer Science (MFCS'2000), 2000, Bratislava, Slovakia. Springer, 1893, pp.232-242, 2000, <10.1007/3-540-44612-5_19> |
||
|
hal-00350416v1
Communication dans un congrès
Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun. Accelerating Interpolation-Based Model-Checking C. R. Ramakrishnan and J. Rehof. 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), 2008, Budapest, Hungary. Springer, 4963, pp.428-442, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-78800-3_32> |
||
|
hal-00700324v1
Rapport
Jack Dongarra, Emmanuel Jeannot, Julien Langou. Modeling the LU factorization for SMP clusters [Research Report] 2006, pp.2 |
||
|
hal-00350486v1
Communication dans un congrès
Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen. Static Guards Analysis in Timed Automata Verification 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), 2003, Varsovie, Poland. Springer, 2619, pp.254-270, 2003, Lecture Notes in Computer Science. <10.1007/3-540-36577-X_18> |
||
|
hal-00307375v1
Communication dans un congrès
Emmanuel Godard, Yves Métivier. A characterization of families of graphs in which election is possible Foundations of System Specification and Computation Structures (FoSSaCS) (EATCS best paper award), 2002, Spain. Springer, 2303, pp.159--171, 2002, Lecture notes in computer science |
||
|
hal-00307380v1
Communication dans un congrès
Cyril Gavoille, Akka Zemmari. The Compactness of Adaptive Routing Tables $7^$ International Colloquium on Structural Information & Communication Complexity (SIROCCO 2000), 2000, Italy. pp.127-140, 2000 |
||
|
hal-00307382v1
Communication dans un congrès
Cyril Gavoille. Distributed Data Structures: a Survey (invited lecture) 12th International Colloquium on Structural Information & Communication Complexity (SIROCCO), 2005, Mont St-Michel, France. 3499 of Lecture Notes in Computer Science, pp.2, 2005 |
||
|
hal-00307397v1
Communication dans un congrès
Pierre Fraigniaud, Cyril Gavoille. Lower Bounds for Oblivious Single-Packet End-to-End Communication $17^$ International Symposium on Distributed Computing (DISC), 2003, Italy. 2848 Lecture Notes i, pp.211-223, 2003 |
||
|
hal-00307412v1
Communication dans un congrès
Pascal Ferraro, Christophe Godin. Un algorithme de comparaison d'arborescences non ordonnées appliqué à la comparaison de la structure topologique des plantes SFC98 : Société Francophone de classification, 1998, Montpellier, France. pp.77--81, 1998 |
||
|
hal-00307450v1
Communication dans un congrès
Yves Métivier, Nasser Saheb-Djahromi. Probabilistic analysis of an election algorithm in a tree Colloquium on Trees in Algebra and Programming (CAAP), 1994, United Kingdom. Springer, 787, pp.234-245, 1994, Lecture notes in computer science |
||
|
hal-00307451v1
Communication dans un congrès
Yves Métivier, Nasser Saheb-Djahromi, Akka Zemmari. Randomized rendezvous Colloquium on mathematics and computer science: algorithms, trees, combinatorics and probabilities, 2000, France. Birkhauser Verlag, pp.183-194, 2000, Trends in mathematics |
||
|
hal-00307510v1
Communication dans un congrès
Vu Duong, Frederic Ferchaud, Cyril Gavoille, Mohamed Mosbah. Reducing Disturbances by Using Absorption Areas $1^$ International Conference on Research in Air Transportation (ICRAT), 2004, Slovakia. pp.111-115, 2004 |
||
|
hal-00307516v1
Communication dans un congrès
Serge Dulucq, Hélène Touzet. Analysis of tree edit distance algorithms Combinatorial pattern matching, 14th Annual Symposium, CPM 2003, 2003, Germany. 2676, pp.83--95, 2003 |
||
|
hal-00307550v1
Communication dans un congrès
Maylis Delest, A. Don, Jenny Benois-Pineau. Graph-based visual interfaces for navigation in indexed video content Moncef Gabbouj. CBMI, Sep 2003, France. pp.49--55, 2003 |
||
|
hal-00307555v1
Communication dans un congrès
Philippe Duchon, Maylis Delest. Exploration de paramètres inconnus par des Q-grammaires FPSAC 99, 1999, Spain. Martinez, Conrado and Noy, Marc and Serra, Oriol, pp.158--167, 1999 |
||
|
hal-00307452v1
Communication dans un congrès
Yves Métivier, Mohamed Mosbah. Workshop on graph computation models Third International Conference on Graph Transformations, ICGT 2006, 2006, Brazil. Springer, 4178, pp.463-464, 2006, Lecture notes in computer science |
||
|
hal-00307459v1
Communication dans un congrès
Yves Métivier, Mohamed Mosbah, Rodrigue Ossamy, Afif Sellami. Synchronizers for local computations International conference on graph transformation (ICGT), 2004, Italy. Springer, 3256, pp.271--286, 2004, Lecture notes in computer science |
||
|
hal-00307521v1
Communication dans un congrès
Serge Dulucq, Olivier Guibert. Mots de piles, tableaux standard et permutations de Baxter 6th International Conference on Formal Power Series and Algebraic Combinatorics, May 1994, États-Unis. R. Simion, pp.119--128, 1994 |
||
|
hal-00307531v1
Communication dans un congrès
Philippe Duchon, Nicolas Hanusse, Emmanuelle Lebhar, Nicolas Schabanel. Could any graph be turned into a small world ? International Symposium on Distributed Computing (DISC), 2005, France. Pierre Fraigniaud, 3724, pp.511-513, 2005 |
||
|
hal-00307552v1
Communication dans un congrès
Maylis Delest, T. Munzner, David Auber, Jean-Philippe Domenger. Exploring InfoVis Publication History with Tulip InfoVis 2004, 2004, United States. pp.216.10, 2004 |
||
|
hal-00307595v1
Communication dans un congrès
Nicolas Bonichon, S. Felsner, Mohamed Mosbah. Convex Drawings of 3-Connected Planar Graphs - (Extended Abstract) Graph Drawing: 12th International Symposium, GD 2004, 2004, United States. 3383, pp.60--70, 2005 |
||
|
hal-00307501v1
Article dans une revue
Jean-François Marckert, Svante Janson. Convergence of Discrete Snakes Journal of Theoretical Probability, Sprnger, 2005, 18, pp.615-645 |
||
|
hal-00307526v1
Communication dans un congrès
Philippe Duchon, Philippe Flajolet, Guy Louchard, Gilles Schaeffer. Random Sampling from {B}oltzmann Principles Proceedings of the 29th ICALP, 2002, Spain. Widmayer, P. and Triguero, F. and Morales, R. and Hennessy, M. and Eidenbenz, S. and Conejo, R., 2380, pp.501--513, 2002 |
||
|
hal-00307527v1
Communication dans un congrès
Philippe Duchon, Nicolas Hanusse, Sébastien Tixeuil. Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings Proceedings of DISC'2004, Oct 2004, Netherlands. Guerraoui, Rachid, pp.216--229, 2004 |
||
|
|
||