• Filters
• Document type  ×
• Structure/laboratory: Name  ×
• All  ×

291 results  save search

 Search

 Advanced Search…  Simple search…

 

Default search field (multi-criteria) 

• Default search field (multi-criteria)
• Default search field (multi-criteria) + PDF full text
• Titles
• Subtitle
• Work title
• hal_serie_t
• Abstract
• Full text of PDF document
• Keywords
• All document identifiers
• HAL submission identifier
• Language of document (text)
• Country (Text)
• City
• hal_inPress_bool
• Author (multi-criteria)
• Author: Full name
• Author: Last name
• Author: First name
• Author: middle name
• Author: funding institution
• Author: IdHal (string)
• Author: function
• Author: idHal (integer)
• Author: Identifier
• Author: funding institution identifier
• Author: Structure identifier
• Thesis director
• Publisher
• Scientific editor
• Series editor
• Journals (multi-criteria)
• Journal: Publisher
• Journal: Abbreviated title
• Journal: Title
• Journal: Internal identifier
• Journal: beginning publication date
• Journal: online ISSN
• Journal: ISSN
• Journal: Publisher
• Journal: SHERPA/RoMEO color
• Journal: referential status
• Conference (multi-criteria)
• Conference: Title
• Conference: Organiser
• Conference: beginning date (Year)
• Conference: end date (Year)
• Invited communication (yes/no)
• ANR project (multi-criteria)
• ANR project: Acronym
• ANR project: Call Acronym
• ANR project: Project call name
• ANR project: Reference
• ANR project: Name
• ANR project: Internal identifier
• ANR project: Referential Status
• European project (multi-criteria)
• European project: Acronym
• European project: Call identifier
• European project: Reference
• European project: Name
• European project: end date
• European project: Funding
• European project: beginning date
• European project: Referential status
• European project: Internal identifier
• Structure (multi-criteria)
• Structure: Acronym
• Structure: Name
• Structure: Code
• Structure: Country
• Structure: Type
• Structure: Referential status
• Structure: Internal structure identifier
• Structure/research team: Country
• Structure/department: Country
• Structure/laboratory: Country
• Structure/group of departments: State
• Structure/institution: Country
• Structure/group of institutions: Country
• Publication date: year
• Release date: year
• Writing date: year
• Date modified: year
• Submission Date: year
• Online Publication date: year
• HAL Collection (multi-criteria)
• HAL Collection: category
• HAL Collection: Code
• HAL Collection: Name
• HAL Collection: Internal identifier
• Contributor/author Internal identifier
• Contributor/author Full name
• Domains
• Primary domain
• Root domain
• Sub-domain level 1
• Sub-domain level 2
• Sub-domain level 3
• Status of document
• Document version
• Submission type
• Document type
• ISBN
• Number - reference
• Identifier: DOI
• Classification
• Audience
• Vulgarization
• Peer reviewing - text (yes or no)
• Conference proceedings
• Internal reference
• Funding
• Collaborations

 

	1 2 3 4 5 6 7 8 9 10	Sort  Relevance  Author A→Z  Author Z→A  Title A→Z  Title Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Number 30 results per page 50 results per page 100 results per page × Merci d'indiquer la raison de votre demande Annuler Envoyer la demande  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM
	hal-01251571v1  Conference papers Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg. A Separation of n-consensus and (n + 1)-consensus Based on Process Scheduling Structural Information and Communication Complexity - 22nd International Colloquium, 2015, Jul 2015, Montserrat, France. pp.385-398, ⟨10.1007/978-3-319-25258-2_27⟩
	hal-01951322v1  Conference papers Théo Zimmermann. Challenges in the collaborative development of a complex mathematical software and its ecosystem OpenSym 2018 - 14th International Symposium on Open Collaboration, Aug 2018, Paris, France. ⟨10.1145/3233391.3233966⟩
	hal-00750611v1  Conference papers Philippe Muller, Stergos Afantenos, Pascal Denis, Nicholas Asher. Constrained decoding for text-level discourse parsing COLING - 24th International Conference on Computational Linguistics, Dec 2012, Mumbai, India
	hal-00750618v1  Conference papers Stergos Afantenos, Nicholas Asher, Farah Benamara, Anaïs Cadilhac, Cédric Dégremont et al.  Developing a corpus of strategic conversation in The Settlers of Catan SeineDial 2012 - The 16th WORKSHOP ON THE SEMANTICS AND PRAGMATICS OF DIALOGUE, Sep 2012, Paris, France
	hal-02429930v1  Conference papers Adrian Kosowski, Przemysław Uznański, Laurent Viennot. Hardness of Exact Distance Queries in Sparse Graphs Through Hub Labeling PODC '19 - ACM Symposium on Principles of Distributed Computing, 2019, Toronto, Canada. pp.272-279, ⟨10.1145/3293611.3331625⟩
	hal-02433519v1  Conference papers Pierre Fraigniaud, Pedro Montealegre, Rotem Oshman, Rapaport Ivan, Ioan Todinca. On Distributed Merlin-Arthur Decision Protocols SIROCCO 2019 - 26th International Colloquium on Structural Information and Communication Complexity, 2019, L'Aquila, Italy
	hal-02433529v1  Conference papers Pierluigi Crescenzi, Pierre Fraigniaud, Ami Paz. Trade-Offs in Distributed Interactive Proofs DISC 2019 - 33rd International Symposium on Distributed Computing, Oct 2019, Budapest, Hungary
	hal-02433541v1  Conference papers Pierluigi Crescenzi, Pierre Fraigniaud, Ami Paz. Simple and Fast Distributed Computation of Betweenness Centrality IEEE INFOCOM 2020 - International Conference on Computer Communications, Apr 2020, Pekin, China
	hal-02406569v1  Conference papers Cédric Ho Thanh, Pierre-Louis Curien, Samuel Mimram. A Sequent Calculus for Opetopes LICS 2019 - Logic in computer science 2019, Jun 2019, Vancouver, Canada
	hal-02405864v1  Conference papers Paolo Giarrusso, Yann Régis-Gianas, Philipp Schuster. Incremental λ-Calculus in Cache-Transfer Style Static Memoization by Program Transformation ESOP 2019 - European Symposium on Programming, Apr 2019, Prague, Czech Republic
	hal-02423508v1  Conference papers Michel Habib, Fabien de Montgolfier, Lalla Mouatadid, Mengchuan Zou. A General Algorithmic Scheme for Modular Decompositions of Hypergraphs and Applications IWOCA 2019 - 30th International Workshop on Combinatorial Algorithms, Jul 2019, Pise, Italy
	hal-00650649v1  Conference papers Eric Senn, Jérémie Guillot, Daniel Chillet, Cécile Belleudy, Smail Niar et al.  Open Power and Energy Optimization Platform and Estimator (Open-People) ANR Project Design, Automation & Test in Europe (DATE 2011), University Booth, Mar 2011, Grenoble, France
	hal-01100265v1  Conference papers Valentin Emiya, Antoine Bonnefoy, Laurent Daudet, Rémi Gribonval. Le problème d'échantillonnage compressif avec permutation des capteurs et une solution de type branch-and-bound Congrès ROADEF de la société Française de Recherche Opérationnelle et Aide à la Décision, Feb 2015, Marseille, France
	hal-02001859v1  Conference papers Lucas Boczkowski, Amos Korman, Emanuele Natale. Brief Announcement: Self-stabilizing Clock Synchronization with 3-bit Messages Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing (PODC'16), Jul 2016, Chicago, United States. pp.207-209
	hal-01502282v1  Conference papers Jean-Marc Pierson, Lionel Brunie, Maryvonne Miquel, Anne Tchounikine, Clarisse Dhaenens et al.  Grid for Geno-Medicine : A Glimpse on the project BioGrid 05 (co-located with CCGrid 2005), May 2005, Cardiff, United Kingdom. pp.527-528
	hal-01003262v1  Conference papers Nazim Haouchine, Jérémie Dequidt, Igor Peterlik, Erwan Kerrien, Marie-Odile Berger et al.  Towards an Accurate Tracking of Liver Tumors for Augmented Reality in Robotic Assisted Surgery International Conference on Robotics and Automation (ICRA), Jun 2014, Hong Kong, China
	hal-01002994v1  Conference papers Sophie Dupuy-Chessa, Benoit Combemale, Marie-Pierre Gervais, Thierry Nodenot, Xavier Le Pallec et al.  Vers une approche centrée humain pour la définition de langages de modélisation graphiques 32ème congrès Inforsid'2014, May 2014, Lyon, France. pp.79-94
	inria-00600298v1  Conference papers Nathalie Mitton, Éric Fleury, Isabelle Guérin Lassous, Bruno Sericola, Sébastien Tixeuil. Etude de convergence dans les réseaux sans fil 8emes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2006, Trégastel, France
	hal-01350668v1  Conference papers Marc Shapiro, Masoud Saeida Ardekani, Gustavo Petri. Consistency in 3D Int. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15
	hal-01223494v2  Conference papers Pierre Fraigniaud, Marc Heinrich, Adrian Kosowski. Local Conflict Coloring FOCS 2016 - 57th Annual IEEE Symposium on Foundations of Computer Science, Oct 2016, New Brunswick, NJ, United States
	hal-01653261v1  Conference papers Paul Laforgue, Yann Régis-Gianas. Copattern matching and first-class observations in OCaml, with a macro International Symposium on Principles and Practice of Declarative Programming, Oct 2017, Namur, Belgium. ⟨10.1145/3131851.3131869⟩
	hal-01669223v1  Conference papers Andrej Ivaskovic, Adrian Kosowski, Dominik Pająk, Thomas Sauerwald. Multiple Random Walks on Paths and Grids STACS 2017 - 34th Symposium on Theoretical Aspects of Computer Science, Mar 2017, Hannover, Germany. pp.1-14, ⟨10.4230/LIPIcs.STACS.2017.44⟩
	hal-01653283v1  Conference papers Thibaut Girka, David Mentré, Yann Régis-Gianas. Verifiable Semantic Difference Languages International Symposium on Principles and Practice of Declarative Programming, Oct 2017, Namur, Belgium. ⟨10.1145/3131851.3131870⟩
	inria-00151138v1  Conference papers Pierre Deransart, Mireille Ducassé, Gérard Ferrand. Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), INRIA Rocquencourt, Jun 2007, Rocquencourt / France, France
	hal-01103441v1  Conference papers Eoin Thomas, Emmanuel Daucé, Dieter Devlaminck, Loïc Mahé, Alexandra Carpentier et al.  CoAdapt P300 speller: optimized flashing sequences and online learning 6th International Brain Computer Interface Conference, Sep 2014, Graz, Austria
	hal-01502725v1  Conference papers Lionel Brunie, Maryvonne Miquel, Jean-Marc Pierson, Anne Tchounikine, Clarisse Dhaenens et al.  Information grids: managing and mining semantic data in a grid infrastructure; open issues and application to geno-medical data DEXA Workshop 2003, Sep 2003, Prague, Czech Republic. pp.509-515
	hal-00979586v1  Conference papers Erwan Abgrall, Sylvain Gombault, Yves Le Traon, Martin Monperrus. Empirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: an Urgent Need for Systematic Security Regression Testing International Conference on Software Testing, Verification and Validation Workshops, 2014, Cleveland, United States. ⟨10.1109/ICSTW.2014.63⟩
	hal-00844753v2  Conference papers Diego Mendez, Benoit Baudry, Martin Monperrus. Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software International Conference on Source Code Analysis and Manipulation (SCAM'2013), Sep 2013, Eindhoven, Netherlands. pp.10, ⟨10.1109/SCAM.2013.6648183⟩
	hal-00842855v1  Conference papers Nazim Haouchine, Jérémie Dequidt, Igor Peterlik, Erwan Kerrien, Marie-Odile Berger et al.  Image-guided Simulation of Heterogeneous Tissue Deformation For Augmented Reality during Hepatic Surgery ISMAR - IEEE International Symposium on Mixed and Augmented Reality 2013, Oct 2013, Adelaide, Australia
	hal-00904433v1  Conference papers Erwan Abgrall, Martin Monperrus, Yves Le Traon, Sylvain Gombault, Mario Heiderich et al.  Fingerprinting de Navigateurs SSTIC 2013 : symposium sur la sécurité des technologies de l'information et des communications, Jun 2013, Rennes, France
	1 2 3 4 5 6 7 8 9 10	Sort  Relevance  Author A→Z  Author Z→A  Title A→Z  Title Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Number 30 results per page 50 results per page 100 results per page  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM