 |
 |
 |
 |
|
|
||
|---|---|---|
|
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 |
||
|
tel-00327441v1
Thèse
Christian Brunette. Construction et simulation graphiques de comportements : le modèle des Icobjs Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2004. Français |
||
|
inria-00430198v1
Poster
F. Ben Hassen, Maureen Clerc, Juliette Leblond, Stéphane Rigat, M. Zghal. Inverse EEG source problems and approximation Proceedings of Optimization and Inverse Problems in Electromagnetism (OIPE), Sep 2008, Ilmenau, Germany |
||
|
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> |
||
|
tel-00011871v1
Thèse
Pierre Hyvernat. A Logical Investigation of Interaction Systems Mathematics [math]. Université de la Méditerranée - Aix-Marseille II, 2005. English |
||
|
hal-00013788v2
Pré-publication, Document de travail
Emmanuel Jeandel, Nicolas Ollinger. Playing with Conway's Problem 14pages. 2008 |
||
|
tel-00122789v1
Thèse
Damien Ciabrini. Débogage symbolique multi-langages pour les plates-formes d'exécution généralistes Autre [cs.OH]. Université Nice Sophia Antipolis, 2006. Français |
||
|
inria-00074284v1
Rapport
Solange Coupet-Grimal, Olivier Ridoux. On the use of advanced logic programming languages [Research Report] RR-2391, INRIA. 1994 |
||
|
inria-00075218v1
Rapport
Axel Grorud, Denis Talay. Approximation of Lyapunov exponents of non-linear stochastic differential systems [Research Report] RR-1341, INRIA. 1990 |
||
|
hal-00673642v1
Communication dans un congrès
Colette Rolland, Corine Cauvet, P. Nobecourt, C. Proix, J.Y. Lingat et al. The Rubis System" Computerized Assistance During the Information Systems Life Cycle IFIP WG 8.1 Working Conference on Computerized Assistance During the Information Systems Life Cycle, CRIS 88, 1988, pp.193-239, 1988 |
||
|
hal-00747347v1
Chapitre d'ouvrage
Said Assar, Corine Cauvet, Agnès Front, Charlotte Hug, Jolita Ralyte. Les méthodes adaptables Lopisteguy Philippe, Rieu Dominique, Roose Philippe. L'adaptation dans tous ses états, Cépaduès, pp.203-225, 2012, 9782364930292 |
||
|
inria-00099065v1
Communication dans un congrès
Yves Bastide, Rafik Taouil, Nicolas Pasquier, Gerd Stumme, Lotfi Lakhal. Levelwise search of frequent patterns with counting inference Bases de Données Avancées - BDA'00, Oct 2000, Blois, 16 p, 2000 |
||
|
tel-01012047v1
Thèse
Régis Abeille. Algorithmes d’extraction robuste de l’intervalle-inter pulse du biosonar du cachalot : applications éthologiques et suivi des populations Autre [cs.OH]. Université de Toulon, 2013. Français. <NNT : 2013TOUL0016> |
||
|
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 |
||
|
tel-00352828v1
Thèse
Jean-Philippe Prost. Modelling Syntactic Gradience with Loose Constraint-based Parsing Other [cs.OH]. Université de Provence - Aix-Marseille I; Macquarie University, 2008. English |
||
|
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-00307119v1
Article dans une revue
Pascal Ferraro, Aïda Ouangraoua, Laurent Tichit, Serge Dulucq. Local Similarity Between Quotiented Ordered Trees Journal of Discrete Algorithms, Elsevier, 2007, 5 (1), pp.23-35 |
||
|
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 |
||
|
tel-00142086v1
Thèse
Tristan Vanrullen. Vers une analyse syntaxique à granularité variable Autre [cs.OH]. Université de Provence - Aix-Marseille I, 2005. Français |
||
|
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-01281357v1
Communication dans un congrès
Anh-Cang Phan, Romain Raffin,, Marc Daniel. A Review of Two Approaches for Joining 3D Meshes ICTCC 2016,, Mar 2016, Rach Gia, Vietnam. 2016, 2nd EAI International Conference on Nature of Computation and Communication |
||
|
hal-01311373v1
Communication dans un congrès
Valentin Leonardi, Jean-Luc Mari, Philippe Souteyrand, Julien Frandon, Vincent Vidal et al. Recalage contraint par cartes de courbures discrètes pour la modélisation dynamique du rein Journées du Groupe de Travail en Modélisation Géométrique, GTMG 2013, 2013, Marseille, France. pp. 149-158, 2013 |
||
|
hal-01311451v1
Communication dans un congrès
Alexandra Bac, Marc Daniel, Rainaud J.F., Van Tran Nam. Surface Improvement for Reservoir Modelling MAMERN 2009, 2009, Unknown, Unknown or Invalid Region. pp.163--167, 2009 |
||
|
hal-01311372v1
Communication dans un congrès
Valentin Leonardi, Marc Daniel, Vincent Vidal, Jean-Luc Mari. Opérateurs de morphologie mathématique et exploitation des courbures discrètes pour la détection de tumeurs dans un modèle rénal Journées du Groupe de Travail en Modélisation Géométrique, GTMG 2014, 2014, Lyon, France. 2014 |
||
|
|
||