Recherche

	1 2 3	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 82 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00980394v1 Communication dans un congrès Nicolas Ollinger. Tutorial on Cellular Automata Cristian S. Calude and Jarkko Kari and Ion Petre and Grzegorz Rozenberg. UC 2011, Jun 2011, Turku, Finland. Springer, 6714, pp.34-35, 2011, <10.1007/978-3-642-21341-0_7>
	hal-00980362v1 Chapitre d'ouvrage Nicolas Ollinger. Universalities in Cellular Automata Grzegorz Rozenberg and Thomas Bäck and Joost N. Kok. Handbook of Natural Computing, Springer, pp.189-229, 2012, 978-3-540-92909-3. <10.1007/978-3-540-92910-9_6>
	hal-00980369v1 Communication dans un congrès Rodrigo Torres, Nicolas Ollinger, Anahi Gajardo. Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine Robert Glück and Tetsuo Yokoyama. RC 2012, Jul 2012, Copenhague, Denmark. Springer, 7581, pp.44-56, 2013, <10.1007/978-3-642-36315-3_4>
	hal-00708817v1 Communication dans un congrès Frédéric Loulergue. On the Formal Verification of Computer Simulations Models and Simulations 5, Jun 2012, Helsinki, Finland. 2012
	inria-00107688v1 Communication dans un congrès Nicolas Szafran, Stéphane Despréaux, Luc Biard, Frédéric Blaise. Sawing of Logs in Virtual Trees Using 3D Intersection Algorithms International Symposium on Plant growth Modeling, simulation, visualization and their Applications 2003 -PMA'03, 2003, Beijing, China, pp.372-383, 2003
	hal-00960244v1 Communication dans un congrès Bastien Le Gloannec, Nicolas Ollinger. Knight tiles: particles and collisions in the realm of 4-way deterministic tilings Arseny M. Shur and Mikhail V. Volkov. Developments in Language Theory (DLT), Aug 2014, Ekaterinburg, Russia. Springer, 8633, pp 227-238, 2014, LNCS. <10.1007/978-3-319-09698-8_20>
	hal-00926333v1 Article dans une revue Aurélien Alvarez, Thierry Viéville. Dis maman (ou papa), c'est quoi un algorithme dans ce monde numérique ? Image des Maths, CNRS, 2014, <http://images.math.cnrs.fr/Dis-maman-ou-papa-c-est-quoi-un.html>
	hal-00926346v1 Article dans une revue Aurélien Alvarez, Thierry Viéville. Dis papa (ou maman), comment arrivent les bugs dans le monde numérique ? Image des Maths, CNRS, 2014, <http://images.math.cnrs.fr/Dis-papa-ou-maman-comment-arrivent.html>
	hal-00926349v1 Article dans une revue Aurélien Alvarez, Thierry Viéville. Dis maman (ou papa), comment on cache des secrets dans le monde numérique ? Image des Maths, CNRS, 2014, <http://images.math.cnrs.fr/Dis-maman-ou-papa-comment-on-cache.html>
	inria-00075798v1 Rapport H.P.C. Blanc, Roudolph Iasnogorodski, Philippe Nain. Analysis of the M/GI/1->./M/1 queueing model [Research Report] RR-0754, INRIA. 1987
	hal-01145799v1 Communication dans un congrès Anahí Gajardo, Nicolas Ollinger, Rodrigo Torres-Avilés. The transitivity problem of Turing machines Mathematical Foundations of Computer Science 2015 - 40th International Symposium (MFCS 2015), Aug 2015, Milan, Italy. Springer, 9234, pp. 231-242, Lecture Notes in Computer Science. <http://mfcs2015.di.unimi.it>. <10.1007/978-3-662-48057-1_18>
	hal-00985482v1 Pré-publication, Document de travail Bastien Le Gloannec. The 4-way deterministic Periodic Domino Problem is undecidable 2014
	tel-00465080v1 Thèse Sylvain Jubertie. Modèles et outils pour le déploiement d'applications de Réalité Virtuelle sur des architectures distribuées Autre [cs.OH]. Université d'Orléans, 2007. Français
	hal-00989257v1 Direction d'ouvrage, Proceedings Jérôme Durand-Lose, Nataša Jonoska. Int. J. Natural Computing 13(2), special issue on Unconventional Computation and Natural Computation (UCNC '12) springer, pp.193-283, 2014
	hal-00989258v1 Direction d'ouvrage, Proceedings Jérôme Durand-Lose. Int. J. Unconventional Computing, 9(1-2), special issue on New Worlds of Computation (NWC '11) Old City Publishing, pp.1-201, 2013
	tel-00084828v1 Thèse Guillaume Cleuziou. Une méthode de classification non-supervisée pour l'apprentissage de règles et la recherche d'information Autre [cs.OH]. Université d'Orléans, 2004. Français
	hal-00823216v1 Article dans une revue Jarkko Kari, Bastien Le Gloannec. Modified Traffic Cellular Automaton for the Density Classification Task Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012, 116 (1-4), pp 141-156. <10.3233/FI-2012-675>
	inria-00099990v1 Article dans une revue Siva Anantharaman, Paliath Narendran, Michael Rusinowitch. Unification Modulo ACUI Plus Distributivity Axioms Journal of Automated Reasoning, Springer Verlag, 2004, 33 (1), pp.1-28
	hal-00701201v1 Communication dans un congrès Pierre Réty, Jacques Chabin, Joshua Amavi. Weak Inclusion for Recursive XML Types CIAA - 2012, Jul 2012, Porto, Portugal. Springer, 7381, pp.78-89, 2012, LNCS; Proceedings of CIAA 2012
	hal-01294132v1 Direction d'ouvrage, Proceedings Ernst Mayr, Nicolas Ollinger. 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015) STACS 2015, Mar 2015, Munich, Germany. 30, 2015, LIPIcs, 978-3-939897- 78-1. <10.4230/LIPIcs.STACS.2015.i>
	hal-01294133v1 Direction d'ouvrage, Proceedings Nicolas Ollinger. Informatique Mathématique École Jeunes Chercheurs en Informatique Mathématique, Mar 2015, Orléans, France. CNRS Éditions, 2015, CNRS Alpha, 978-2-271-08791-1
	hal-01294131v1 Direction d'ouvrage, Proceedings Nicolas Ollinger, Heribert Vollmer. 33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016) STACS 2016, Feb 2016, Orléans, France. 47, 2016, LIPIcs, 978-3-95977-001-9. <10.4230/LIPIcs.STACS.2016.0>
	hal-00859779v1 Communication dans un congrès Nicolas Dugué, Vincent Labatut, Anthony Perez. Rôle communautaire des capitalistes sociaux dans Twitter 4ème Conférence sur les modèles et l'analyse de réseaux : approches mathématiques et informatiques (MARAMI), Oct 2013, Saint-Étienne, France. pp.12, 2013
	hal-00461203v1 Direction d'ouvrage, Proceedings Maurice Margenstern, Jérôme Durand-Lose. Int. J. Fundamenta Informaticae, 91(1-2), special issue on Machines, Computations and Universality (MCU '07) IOS Press, pp.1-195, 2009, Fundamenta Informaticae, 91(1 and 2), <10.3233/FI-2009-0029>
	hal-00661887v1 Communication dans un congrès Bastien Le Gloannec, Nicolas Ollinger. Substitutions and Strongly Deterministic Tilesets S.B. Cooper, A. Dawar and B. Löwe. Computability in Europe (CiE), Jun 2012, Cambridge, United Kingdom. Springer, 7318, pp 462-471, 2012, LNCS. <10.1007/978-3-642-30870-3_47>
	inria-00464114v1 Rapport Jacques Chabin, Jing Chen, Pierre Réty. Synchronized ContextFree Tree-tuple Languages [Research Report] RR-2006-13, 2006
	inria-00464120v1 Communication dans un congrès Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty, Martin A. Musicante. Minimal Extensions of Tree Languages: Application to XML Schema Evolution Journées informatiques de la région centre (JIRC), Jan 2010, Blois, France. 2010
	inria-00464116v1 Rapport Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty, Martin A. Musicante. Minimal Extensions of Tree Languages: Application to XML Schema Evolution [Research Report] RR-2009-06, 2009
	inria-00448751v1 Rapport Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi. Program Calculation in Coq [Research Report] RR-2009-07, 2009, pp.18
	tel-01163150v2 Thèse Simon Petitjean. Génération modulaire de grammaires formelles Autre [cs.OH]. Université d'Orléans, 2014. Français. < NNT : 2014ORLE2048 >
	1 2 3	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 82 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Discipline

Structure

Collection

Langue

Type de dépôt

Année

Contact