• Filters
• Author: Full name  ×
• All  ×

20 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

 

		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-00154357v1  Conference papers Roberto Di Cosmo, Jaap Boender, Berke Durak, Xavier Leroy, Fabio Mancinelli et al.  News from the EDOS project: improving the maintenance of free software distributions. Apr 2006, Porto Alegre, Brazil. pp.199-207
	hal-00909298v1  Conference papers Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor Alexandru Lascu, Michael Lienhardt et al.  Aeolus: Mastering the Complexity of Cloud Application Deployment ESOCC - European Conference on Service-Oriented and Cloud Computing - 2013, 2013, Malaga, Spain. pp.1-3, ⟨10.1007/978-3-642-40651-5_1⟩
	hal-00149566v1  Conference papers Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak et al.  Managing the Complexity of Large Free and Open Source Package-Based Software Distributions 21st IEEE/ACM International Conference on Automated Software Engineering, Sep 2006, Tokyo, Japan. pp.199-208, ⟨10.1109/ASE.2006.49⟩
	hal-01088761v1  Conference papers Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen. Logics for Unordered Trees with Data Constraints on Siblings LATA : 9th International Conference on Language and Automata Theory and Applications, Mar 2015, Nice, France. pp.175-187
	hal-01179493v1  Journal articles Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen. Automata for Unordered Trees Information and Computation, Elsevier, 2017, 253, pp.304-335 ⟨10.1016/j.ic.2016.07.012⟩
	hal-00831455v1  Reports Roberto Di Cosmo, Michaël Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski. Optimal Provisioning in the Cloud. Technical report of the Aeolus project 2013
	hal-01513750v1  Preprints, Working Papers, ... Nicolas Jeannerod, Yann Régis-Gianas, Ralf Treinen. Having Fun With 31.521 Shell Scripts 2017
	hal-01020236v1  Conference papers Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen. Deterministic Automata for Unordered Trees Fifth International Symposium on Games, Automata, Logics and Formal Verification (Gandalf), Sep 2014, Verona, Italy. pp.189-202, ⟨10.4204/EPTCS.161.17⟩
	hal-02321691v1  Reports Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen. Specification of UNIX Utilities [Technical Report] ANR. 2019
	hal-02321743v1  Reports Benedikt Becker, Nicolas Jeannerod, Claude Marché, Ralf Treinen. Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters [Technical Report] ANR. 2019
	hal-01890044v1  Conference papers Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen. Morbig: A Static Parser for POSIX Shell SLE 2018 - ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. ⟨10.1145/3276604.3276615⟩
	hal-01897572v1  Software Yann Regis-Gianas, Nicolas Jeannerod, Ralf Treinen. Morbig 2018, ⟨swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8⟩
	hal-02355602v1  Preprints, Working Papers, ... Benedikt Becker, Nicolas Jeannerod, Claude Marché, Yann Regis-Gianas, Sighireanu Mihaela et al.  Analysing installation scenarios of Debian packages 2019
	hal-02193758v1  Journal articles Franck Seynhaeve, S. Tison, Marc Tommasi, Ralf Treinen. Grid structures and undecidable constraint theories Theoretical Computer Science, Elsevier, 2001, 258 (1-2), pp.453-490. ⟨10.1016/S0304-3975(00)00032-3⟩
	inria-00536800v1  Journal articles Martin Müller, Joachim Niehren, Ralf Treinen. The First-Order Theory of Ordering Constraints over Feature Trees Discrete Mathematics and Theoretical Computer Science, DMTCS, 2001, 4 (2), pp.193-234
	inria-00536802v1  Journal articles Joachim Niehren, Ralf Treinen, S. Tison. On Rewrite Constraints and Context Unification Information Processing Letters, Elsevier, 2000, 74 (1-2), pp.35--40
	hal-01534747v1  Conference papers Nicolas Jeannerod, Claude Marché, Ralf Treinen. A Formally Verified Interpreter for a Shell-like Programming Language VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany
	inria-00636797v1  Journal articles Steve Kremer, Antoine Mercier, Ralf Treinen. Reducing Equational Theories for the Decision of Static Equivalence Journal of Automated Reasoning, Springer Verlag, 2012, 48 (2), pp.197-217. ⟨10.1007/s10817-010-9203-0⟩
	inria-00578896v1  Conference papers Florent Jacquemard, Etienne Lozes, Ralf Treinen, Jules Villard. Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus Theory of Security and Applications (TOSCA, joint workshop affiliated to ETAPS), Mar 2011, Saarbrücken, Germany. pp.166-185, ⟨10.1007/978-3-642-27375-9⟩
	hal-01176763v2  Journal articles Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen. Logics for Unordered Trees with Data Constraints Journal of Computer and System Sciences, Elsevier, 2019, pp.40. ⟨10.1016/j.jcss.2018.11.004⟩
		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