 |
 |
 |
 |
|
|
||
|---|---|---|
|
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 |
||
|
hal-00776783v1
Communication dans un congrès
Hernán Ponce de León, Stefan Haar, Delphine Longuet. Conformance Relations for Labeled Event Structures Brucker, Achim D. and Julliand, Jacques. Proceedings of the 6th International Conference on Tests and Proofs (TAP'12), 2012, Prague, Czech Republic. Springer, 7305, pp.83-98, 2012, <10.1007/978-3-642-30473-6_8> |
||
|
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-00907830v1
Communication dans un congrès
Luke Campagnola, Almar Klein, Cyrille Rossant, Nicolas P. Rougier. VISPY, A Modern and Interactive Scientific Visualisation Euroscipy 2013, Aug 2013, Brusells, Belgium. 2013 |
||
|
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 |
||
|
hal-00707085v1
Communication dans un congrès
Souad Demigha, Colette Rolland, Thierry-Pascal Baum, Corinne Balleyguier, Benedicte Vincent et al. CREWS - l'Ecritoire Analysis for the Implementation of a medical image database for mammography SPIE Medical Imaging, PACS and Integrated Medical Information: Design and Evaluation, 2001, United States. pp.1, 2001 |
||
|
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-00099840v1
Chapitre d'ouvrage
Michael Baker, Erica De Vries, Kristine Lund, Matthieu Quignard. Interactions épistémiques médiatisées par ordinateur pour la co-élaboration des notions scientifiques C. Deaudelin et Thérèse Nault. Collaborer pour apprendre et faire apprendre, la place des outils technologiques, Presses Universitaires du Québec, pp.121-134, 2003, Education Recherche |
||
|
inria-00099764v1
Rapport
Martine Cadot, Amedeo Napoli, Viviane Nahama-Fourguette. Comparaison de deux techniques d'extraction automatique de règles dans les bases de données. Illustration sur des données issues d'un questionnaire sur les peurs. [Interne] A03-R-052 || cadot03a, 2003, 28 p |
||
|
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 |
||
|
inria-00098985v1
Communication dans un congrès
Anne Bonneau, Yves Laprie, Jacqueline Vaissiere. Hypertext atlas of speech sounds Method & Tool Innovations for Speech Science Education, Worshop of the European Speech Communication Association, Apr 1999, none, pp.65-68, 1999 |
||
|
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 |
||
|
|
||