 |
 |
 |
 |
|
|
||
|---|---|---|
|
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 |
||
|
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-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 |
||
|
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 > |
||
|
tel-01202674v1
Thèse
Khanh-Chuong Duong. Constrained clustering by constraint programming Other [cs.OH]. Université d'Orléans, 2014. English. < NNT : 2014ORLE2049 > |
||
|
inria-00099423v1
Rapport
Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot. A symbolic cost model for asynchronous parallel programs with structured dependences [Intern report] A02-R-031 || melin02a, 2002, 21 p |
||
|
hal-00749277v1
Autre publication
Khalil Djelloul. Contributions à la résolution de contraintes du premier ordre Habilitation à Diriger des Recherches. Université d'Orléans. 2012 |
||
|
inria-00594520v1
Communication dans un congrès
Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari Alves, Pierre Réty. Weak Inclusion for XML Types International Conference on Implementation and Application of Automata (CIAA), Jul 2011, Blois, France. Springer-Verlag, 6807, pp.30-41, 2011, LNCS |
||
|
hal-00466746v1
Communication dans un congrès
Marco Benedetti. Ragionamento per Vincoli Quantificati Ragionamento Automatico e Rappresentazione della Conoscenza 2006 (Working group on Knowledge Representation and Automated Reasoning, RCRA 06), 2006, Italy. pp._, 2006 |
||
|
hal-00466744v1
Communication dans un congrès
Marco Benedetti. Abstract Branching for Quantified Formulas Ragionamento Automatico e Rappresentazione della Conoscenza 2006 (Working group on Knowledge Representation and Automated Reasoning, RCRA 2006), 2006, Italy. pp._, 2006 |
||
|
hal-00466751v1
Communication dans un congrès
Marco Benedetti. Abstract Branching for Quantified Formulas Proc. of 21st National Conference on Artificial Intelligence (AAAI06), 2006, United States. American Association for Artificial Intelligence, pp.1-6, 2006 |
||
|
|
||