1. Recherche
186 résultats  enregistrer la recherche
inria-00100023v1  Communication dans un congrès
Anne Abeillé, Olivier Bonami, Danièle Godard, Jesse Tseng. The Syntax of French de-N' Phrases
Stefan Müller. 11th International Conference on Head-Driven Phrase Structure Grammar - HPSG'2004, 2004, Leuven, Belgium, CSLI Publications, pp.6-26, 2004
...
tel-00200440v1  HDR
Jean-Baptiste Yunès. Automates Cellulaires; Fonctions Booléennes
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2007
...
hal-01100023v1  Rapport
Jakub Zwolakowski. Distributed System Administration Technologies a State of the Art
[Technical Report] Paris 7; Inria. 2012
hal-00954933v1  Chapitre d'ouvrage
Ronan Ysebaert, Nicolas Lambert, Claude Grasland, Benoit Le Rubrus, Marlène Villanova-Oliver et al.  HyperAtlas, un outil scientifique au service du débat politique - Application à la politique de cohésion de l'Union Européenne
Pierre Beckouche, Claude Grasland, France Guérin-Pace & Jean-Yves Moisseron. Fonder les sciences du territoire, Éditions Karthala, pp.243-267, 2012, Collection du CIST
...
hal-00527852v1  Pré-publication, Document de travail
Eugene Asarin, Aldric Degorre. Two Size Measures for Timed Languages
A short version (without appendix) of this paper will appear in proceedings of FSTTCS'2010 (in LI.. 2010
...
hal-00772771v1  Communication dans un congrès
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl. Realizability of Concurrent Recursive Programs
de Alfaro, Luca. Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'09), 2009, York, UK, United Kingdom. Springer, 5504, pp.410-424, 2009, <10.1007/978-3-642-00596-1_29>
...
hal-00577958v1  Communication dans un congrès
Bruno Delprat, Mohamed Hallab, Martine Cadot, Alain Lelu. Processing a Mayan Corpus for Enhancing our Knowledge of Ancient Scripts
ESCE- University la Manouba (Tunisia), Nancy University (France), IGA (Morocco), IEEE Morocco section. 4th International Conference on Information Systems and Economic Intelligence - SIIE'2011, Feb 2011, Marrakech, Morocco. IGA Maroc, pp.198-208, 2011
...
inria-00076333v1  Rapport
Gérard Berry, P.L. Curien. Theory and practice of sequential algorithms : the Kernel of the applicative Language CDS
[Research Report] RR-0225, INRIA. 1983
...
inria-00076445v1  Rapport
Gérard Boudol, Laurent Kott. Recursion induction principle revisited
[Research Report] RR-0115, INRIA. 1982
...
tel-00011489v1  Thèse
Anne-Gwenn Bosser. Réplications distribuées pour la définition des interactions de jeux massivement multi-joueurs
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2005. Français
...
hal-00157955v1  Communication dans un congrès
Eugene Asarin. Does Church-Turing thesis apply outside computer science?
Transgressive Computing 2006, A conference in honor of Jean Della Dora, 2006, Granada, Spain. 2006
...
tel-00161124v1  Thèse
Tayssir Touili. Analyse symbolique de systèmes infinis basée sur les automates: Application à la vérification de systèmes paramétrés et dynamiques
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2003. Français
hal-00160790v1  Article dans une revue
Ines Klimann. Some representations for series on idempotent semirings
Kybernetika, 2003, 39 (2), pp.177-192
...
hal-00019977v1  Communication dans un congrès
Jean-Eric Pin. On reversible automata
I. Simon. Proceedings of the first LATIN conference, 1992, Saõ-Paulo, Brazil. Springer, pp.401-416, 1992, Lecture Notes in Computer Science 583
...
tel-00459307v1  Thèse
Pierre Clairambault. Logique et Interaction : une Étude Sémantique de la Totalité
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2010. Français
...
tel-00421836v2  Thèse
Laurent Souchard. LES LOGICIELS TUTEURS FERMES : INSTITUTIONS D'APPRENTISSAGE ET D'ENSEIGNEMENT DES MATHÉMATIQUES ? LE CAS DU DÉBUT DU SECONDAIRE.
Education. Université Paris-Diderot - Paris VII, 2009. Français
...
tel-00624156v1  Thèse
Grégoire Henry. Typer la désérialisation sans sérialiser les types
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2011. Français
...
hal-00696384v1  Rapport
Juliusz Chroboczek, Sylvain Lebresne. Juppix: a Linux Live-CD for Undergraduate Students
[Technical Report] 2008, pp.8
...
inria-00099917v1  Communication dans un congrès
Anne Bouillard, Bruno Gaujal, Jean Mairesse. Extremal throughputs in free-choice nets
Springer. 26th International Conference on Application and Theory of Petri Nets 2005, 2005, Miami, Florida, United States. 3536, pp.108-127, 2004, Lecture Notes in Computer Science
inria-00099681v1  Communication dans un congrès
Anne Bouillard, Jean Mairesse. Generating series for the trace group
Developments in Language Theory 2003 (DLT'03), 2003, Szeged, Hungary. Springer, 2710, pp.159-170, 2003, Lecture Notes in Computer Science
hal-00765226v1  Ouvrage (y compris édition critique et traduction)
Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Sylvie Boldo, Denis Bouhineau et al.  Une introduction à la science informatique pour les enseignants de la discipline en lycée
Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9
...
hal-00113779v1  Chapitre d'ouvrage
Jean-Eric Pin. Tropical Semirings
J. Gunawardena. Idempotency (Bristol, 1994), Cambridge Univ. Press, Cambridge, pp.50-69, 1998, Publ. Newton Inst. 11
...
hal-00112620v1  Chapitre d'ouvrage
Karsten Henckell, Jean-Eric Pin. Ordered monoids and J-trivial monoids
J.-C. Birget, S. Margolis, J. Meakin and M. Sapir. Algorithmic problems in Groups and Semigroups (Lincoln, NE, 1998), Birkhäusern, Boston, MA, USA, pp.121-137, 2000, Trends in Mathematics
...
hal-00113768v1  Communication dans un congrès
Jean-Eric Pin. Positive varieties and infinite words
1998, Springer, Berlin, pp.76-87, 1998, Lecture Notes in Comput. Sci. 1380
...
hal-00340780v1  Communication dans un congrès
Jean-Eric Pin, Jacques Sakarovitch. Some operations and transductions that preserve rationality
6th GI Conference, 1983, Berlin, Germany. Springer Verlag, 145, pp.277-288, 1983, Lecture Notes in Computer Science
...
hal-00340771v1  Communication dans un congrès
Jean-Eric Pin. Sur un cas particulier de la conjecture de Cerný
5th ICALP, Jul 1978, Berlin, Allemagne. Springer, Berlin, 62, pp.345-352, 1978, Lecture Notes in Computer Science
...
hal-00340803v1  Communication dans un congrès
Mai Gehrke, Serge Grigorieff, Jean-Eric Pin. Duality and equational theory of regular languages
ICALP 2008, Jul 2008, Reykjavik, Iceland. 5126, pp.246-257, 2008, Lecture Notes in Computer Science
...
hal-00340773v1  Communication dans un congrès
Jean-Eric Pin. Utilisation de l'algèbre linéaire en théorie des automates
AFCET. 1er Colloque AFCET-SMF de Mathématiques Appliquées, Sep 1978, Palaiseau, France. pp.85-92, 1978
...
hal-00340806v1  Communication dans un congrès
Antonio Cano Gómez, Giovanna Guaiana, Jean-Eric Pin. When does partial commutative closure preserve regularity?
ICALP 2008, 2008, Reykjavik, Iceland. Springer Verlag, 5126, pp.209-220, 2008, Lecture Notes in Computer Science

Contact


archive-ouverte@inria.fr