 |
 |
 |
 |
|
|
|
|---|---|---|
|
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-00307373v1
Communication dans un congrès
Emmanuel Godard, Yves Métivier, Anca Muscholl. The power of local computations in graphs with initial knowledge Theory and applications of graph transformations, 2000, Germany. Springer, 1764, pp.71-84, 2000, Lecture notes in computer science |
||
|
hal-00307374v1
Communication dans un congrès
Emmanuel Godard, Yves Métivier, Mohamed Mosbah, Afif Sellami. Termination detection of distributed algorithms International conference on graph transformation (ICGT), 2002, Spain. Springer, pp.106--119, 2002, Lecture notes in computer science |
||
|
hal-00430265v1
Pré-publication, Document de travail
Alexis Ballier, Emmanuel Jeandel. Tilings robust to errors 2009 |
||
|
hal-00308135v1
Communication dans un congrès
Jérémie Chalopin, Yves Métivier. A Bridge Between the Asynchronous Message Passing Model and Local Computations in Graphs International Symposium on Mathematical Foundations of Computer Science (MFCS 2005), Aug 2005, Poland. Springer, 3618, pp.212--223, 2005, Lecture notes in computer science |
||
|
hal-00469841v2
Article dans une revue
Nicolas Ollinger, Gaétan Richard. Four states are enough! Journal of Theoretical Computer Science (TCS), Elsevier, 2011, 412 (1-2), pp.22-32. <10.1016/j.tcs.2010.08.018> |
||
|
hal-00013788v2
Pré-publication, Document de travail
Emmanuel Jeandel, Nicolas Ollinger. Playing with Conway's Problem 14pages. 2008 |
||
|
inria-00074284v1
Rapport
Solange Coupet-Grimal, Olivier Ridoux. On the use of advanced logic programming languages [Research Report] RR-2391, INRIA. 1994 |
||
|
hal-00310960v2
Pré-publication, Document de travail
Nicolas Ollinger, Gaétan Richard. Automata on the Plane vs Particles and Collisions 2008 |
||
|
hal-00095821v2
Pré-publication, Document de travail
Nicolas Ollinger, Gaétan Richard. A particular universal cellular automaton 2008 |
||
|
hal-00270815v1
Pré-publication, Document de travail
Jarkko Kari, Nicolas Ollinger. Periodicity and Immortality in Reversible Computing Additional material available on the web at http://www.lif.univ-mrs.fr/~nollinge/rec/gnirut/. 2008 |
||
|
hal-00145800v2
Communication dans un congrès
Alexis Ballier, Emmanuel Jeandel. Structural aspects of tilings Susanne Albers, Pascal Weil. STACS 2008, Feb 2008, Bordeaux, France. IBFI Schloss Dagstuhl, pp.61-72, 2008 |
||
|
hal-00308125v1
Article dans une revue
Jérémie Chalopin, Yves Métivier. An efficient message passing algorithm based on Mazurkiewicz s algorithm Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2007, 80 (1-3), pp.221-246 |
||
|
hal-00542356v1
Communication dans un congrès
Laurent Boyer, Martin Delacourt, Mathieu Sablik. Construction of µ-limit Sets TUCS. Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.76-87, 2010 |
||
|
hal-00308126v1
Communication dans un congrès
Jérémie Chalopin, Emmanuel Godard, Yves Métivier, Gerard Tel. About the termination detection in the asynchronous message passing model 33rd International conference on Current trends in theory and practice of computer science (SOFSEM 2007), 2007, Czech Republic. springer, 4362, pp.200-211, 2007, Lecture notes in computer science |
||
|
hal-00308119v1
Communication dans un congrès
Jérémie Chalopin, Yves Métivier, Wieslaw Zielonka. Election, Naming and Cellular Edge Local Computations International Conference on Graph Transformation (ICGT 2004) (EATCS best paper award), Sep 2004, Italy. Springer, 3256, pp.242--256, 2004, Lecture notes in computer science |
||
|
hal-00308121v1
Communication dans un congrès
Jérémie Chalopin, Yves Métivier. Election and Local Computations on Edges International conference on Foundations of System Specification and Computation Structures (FoSSaCS 2004), Mar 2004, Spain. springer, 2987, pp.90--104, 2004, Lecture notes in computer science |
||
|
hal-00308127v1
Communication dans un congrès
Jérémie Chalopin, Emmanuel Godard, Yves Métivier, Rodrigue Ossamy. Mobile agent algorithms versus message passing algorithms 10th International Conference On Principles Of Distributed Systems (OPODIS 2006), 2006, France. Springer, 4305, pp.185-199, 2006, Lecture notes in computer science |
||
|
emse-00554762v1
Communication dans un congrès
Alain Casali, Christian Ernst. A KDD Model to Discover Correlated Parameters in Semiconductor Manufacturing Processes 10th European Conference on Advanced Equipment Control / Advanced Process Control, Apr 2010, Catania, Italy |
||
|
hal-01194396v1
Communication dans un congrès
Nadia Creignou, Egly Uwe, Martina Seidl. A Framework for the Specification of Random SAT and QSAT Formulas 6th International Conference on Tests and Proofs, TAP'2012, 2012, Prague, Czech Republic. Springer, 7305, pp.163--168, Lecture Notes in Computer Science |
||
|
hal-00274564v1
Communication dans un congrès
Grégory Lafitte. Gödel incompleteness revisited Bruno Durand. JAC 2008, Apr 2008, Uzès, France. Издательство МЦНМО, pp.74-89, 2008, Regular paper track |
||
|
hal-00451732v2
Pré-publication, Document de travail
Marianne Delorme, Jacques Mazoyer, Nicolas Ollinger, Guillaume Theyssier. Bulking I: an Abstract Theory of Bulking 2010 |
||
|
emse-00921635v1
Communication dans un congrès
Christian Ernst, Alain Casali. Extracting correlated parameters on multicore architectures CD-ARES 2013, Sep 2013, Regensburg, Italy. Springer, pp 118-133, 2013, LNCS |
||
|
emse-00921628v1
Communication dans un congrès
Christian Ernst, Alain Casali. Multicore Mining of Correlated Patterns IARIA. IMMM 2013, Nov 2013, Lisboa, Portugal. pp 18-23, 2013 |
||
|
inria-00072908v1
Rapport
Laurent Imbert, Jean-Michel Muller, Fabien Rico. Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers [Research Report] RR-3754, INRIA. 1999 |
||
|
inria-00072909v1
Rapport
Milos Ercegovac, Laurent Imbert, David Matula, Jean-Michel Muller, Guoheng Wei. Improving Goldschmidt Division, Square Root and Square Root Reciprocal [Research Report] RR-3753, INRIA. 1999 |
||
|
emse-00648333v1
Communication dans un congrès
Christian Ernst, Alain Casali. Data Preparation in the MineCor KDD Framework IMMM 2011 : The First International Conference on Advances in Information Mining and Management ISBN: 978-1-61208-162-5, Oct 2011, Barcelona, Spain. pp 16-22, 2011 |
||
|
hal-00542328v1
Communication dans un congrès
Victor Poupet. Yet Another Aperiodic Tile Set TUCS. Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.191-202, 2010 |
||
|
hal-00542411v1
Communication dans un congrès
Fabien Givors, Grégory Lafitte, Nicolas Ollinger. Infinite Time Cellular Automata: a Real Computation Model TUCS. Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.111-120, 2010 |
||
|
hal-00541921v1
Communication dans un congrès
Alexander Shen. Decomposition Complexity TUCS. Journées Automates Cellulaires 2010, Dec 2010, Turku, Finland. pp.203-213, 2010 |
||
|
|
|