Recherche

	1 2 3 4 5 6 7 8 9 10	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 608 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00350466v1 Communication dans un congrès Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen et al. UPPAAL-Tiga: Time for Playing Games! W. Damm, H. Hermanns. 19th International Conference on Computer Aided Verification (CAV07), 2007, Berlin, Germany. Springer, 4590, pp.121-125, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-73368-3_14>
	hal-00350470v1 Communication dans un congrès Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen et al. UPPAAL-Tiga: Timed Games for Everyone Nordic Workshop on Programming Theory (NWPT'06), 2006, Reykjavik, Iceland
	hal-00350475v1 Communication dans un congrès Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime. Efficient On-the-fly Algorithms for the Analysis of Timed Games Martín Abadi, Luca de Alfaro. 16th International Conference on Concurrency Theory (CONCUR'05), 2005, San Francisco, United States. Springer, 3653, pp.66-80, 2005, Lecture Notes in Computer Science. <10.1007/11539452>
	hal-00700515v1 Article dans une revue Pascale Montpied, Véronique Hiolle, Régis Gras, Andrée Tiberghien. Profils d'attitudes et orientations motivationnelles : les dynamiques d'engagement à l'égard des sciences chez des élèves de troisième, de seconde et de première Education et didactique, 2011, 5 (1), pp.45-70
	inria-00100445v1 Communication dans un congrès Bart Lamiroy, Laurent Najman, Romain Ehrhard, Céline Louis, Franck Quélain et al. Scan-to-XML for Vector Graphics: an experimental setup for intelligent browsable document generation Fourth IAPR International Workshop on Graphics Recognition, 2001, Kingston, Ontario, Canada, 14 p, 2001
	hal-00804760v1 Communication dans un congrès Michel Crampes, Michel Plantié. Mining Social Networks and theirVisual Semantics from Social Photos WIMS: International Conference Series on Web Intelligence, Mining and Semantics, May 2011, SONGDAL, Norway. pp.120, 2011
	hal-00804774v1 Communication dans un congrès Michel Plantié, Michel Crampes. From Photo Networks to Social Networks, Creation and Use of a Social Network Derived with Photos ACM Multimedia Conference, Oct 2010, FIRENZE, Italy. pp.100-110, 2010
	hal-00307789v1 Communication dans un congrès Guillaume Fertin, André Raspaud, Ondrej Sykora. No-Hole L(p,0)-Labelling of Cycles, Grids and Hypercubes Springer-Verlag. 11th International Colloquium on Structural Information & Communication Complexity (SIROCCO 2004), Jun 2004, Smolenice, Slovakia. Ratislav Kralovic and Ondrej Sykora, Lecture Notes in Computer Science (LNCS) (3104), pp.138-148, 2004, 3104 of Lecture Note
	hal-00974938v1 Communication dans un congrès Javier Cánovas, Jordi Cabot. Composing JSON-based Web APIs ICWE 2014 - 14th International Conference on Web Engineering, Jul 2014, Toulouse, France. 8541, pp.390-399, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-08245-5_24 >
	hal-00872677v1 Communication dans un congrès Mohamed Anis Dhuieb, Florent Laroche, Alain Bernard. Un compagnon virtuel d'aide à la décision : Une structuration multi-échelle de la connaissance in-extenso d'entreprise 21ème Congrès Français de Mécanique, Aug 2013, Bordeaux, France
	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
	halshs-00005023v2 Communication dans un congrès Andrei Popescu-Belis, Loïs Rigouste, Susanne Salmon-Alt, Laurent Romary. Online Evaluation of Coreference Resolution 4th International Conference on Language Resources and Evaluation - LREC'04, 2004, Lisbonne, Portugal, 4 p, 2004
	inria-00070648v1 Rapport Eric Badouel, Jules Chenou, Goulven Guillou. Petri Algebras [Research Report] RR-5355, INRIA. 2004, pp.28
	hal-00872976v1 Direction d'ouvrage, Proceedings Charlotte Truchet, Gérard Assayag. Constraint Programming in Music France. ISTE-Wiley, pp.256, 2011
	inria-00075075v1 Rapport Frédéric Boussinot, Robert De Simone. The ESTEREL language [Research Report] RR-1487, INRIA. 1991
	inria-00074985v1 Rapport Amar Bouali. Weak and branching bisimulation in Fctool [Research Report] RR-1575, INRIA. 1992
	inria-00074983v1 Rapport Roger Pissard-Gibollet, Patrick Rives. Asservissement visuel applique a un robot mobile : etat de l'art et modelisation cinematique [Rapport de recherche] RR-1577, INRIA. 1991
	inria-00074611v1 Rapport Vincent Bouchitté, Roland Jégou, Jean-Xavier Rampon. On-line recognition of interval orders [Research Report] RR-2061, INRIA. 1993
	inria-00074823v1 Rapport Frédéric Boussinot. Reactive shared variables bases systems [Research Report] RR-1849, INRIA. 1993
	inria-00075115v1 Rapport Albert Benveniste, Gérard Berry. The Synchronous approach to reactive and real-time systems [Research Report] RR-1445, INRIA. 1991
	inria-00075119v1 Rapport Eve Coste-Maniere, Bernard Espiau, Eric Rutten. Task-level robot programming combining object-oriented design and synchronous approach : a tentative study [Research Report] RR-1441, INRIA. 1991
	inria-00076371v1 Rapport Didier Austry, Gérard Boudol. Algebre de processus et synchronisation [Rapport de recherche] RR-0187, INRIA. 1983
	inria-00076994v1 Rapport Vincent Bouchitté, Roland Jégou, Jean-Xavier Rampon. Ordres représentables par des translations de segments dans le plan [Rapport de recherche] RR-1754, INRIA. 1992
	hal-00482523v1 Communication dans un congrès Marie Pelleau, Pascal Van Hentenryck, Charlotte Truchet. Sonet Network Design Problems 6th International Workshop on Local Search Techniques in Constraint Satisfaction, Sep 2009, Lisbon, France. pp.81-95, 2009, <10.4204/EPTCS.5.7>
	hal-00706490v1 Direction d'ouvrage, Proceedings Saïd Assar, Farida Semmak, Reza Barkhi. Proceedings of Component-Based Business Information Systems Engineering - CBBISE'03 OOIS'03 Workshop, pp.1, 2003
	hal-00808040v1 Communication dans un congrès Michel Plantié, Michel Crampes. Des réseaux de photos aux réseaux sociaux. Création et utilisation d'un réseau social à partir de photos MARAMI, conférence sur les Modèles et l'Analyse des réseaux : Approches Mathématiques et Informatique, Oct 2010, TOULOUSE, France. pp.100-110, 2010
	inria-00108079v1 Rapport Orazio Gurrieri, Paolo Castelpietra, Olivier Barriere. Using EAST-ADL with GME 2000 [Intern report] A02-R-416 \|\| gurrieri02b, 2002
	hal-00804709v1 Article dans une revue Michel Plantié, Michel Crampes. Des réseaux de photos aux réseaux sociaux, Création et utilisation d'un réseau social à partir de photos Revue I3, 2011, Numéro spécial, volume 11 (numéro 1), pp.100-110
	hal-00804725v1 Communication dans un congrès Michel Crampes, Michel Plantié, Julien Bidault. Cliques maximales d'un graphe et treillis de Galois MARAMI, Oct 2011, GRENOBLE, France. pp.30, 2011
	tel-00409897v1 Thèse Pinot Guillaume. Coopération homme-machine pour l'ordonnancement sous incertitudes Autre [cs.OH]. Université de Nantes, 2008. Français
	1 2 3 4 5 6 7 8 9 10	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 608 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