Search - INRIA - Institut National de Recherche en Informatique et en Automatique

		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 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	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-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
	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
	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-02321691v1 Reports Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen. Specification of UNIX Utilities [Technical Report] ANR. 2019
	hal-01897572v1 Software Yann Regis-Gianas, Nicolas Jeannerod, Ralf Treinen. Morbig 2018, ⟨swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8;origin=https://hal.archives-ouvertes.fr/hal-01897572;visit=swh:1:snp:e3b0b9991945262e7cc28768373af4560caf7afa;anchor=swh:1:rev:ad0c16675d221938530269610308cd5a2c142687;path=/⟩
	hal-01513750v1 Preprints, Working Papers, ... Nicolas Jeannerod, Yann Régis-Gianas, Ralf Treinen. Having Fun With 31.521 Shell Scripts 2017
	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-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-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-02355602v2 Conference papers Benedikt Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu et al. Analysing installation scenarios of Debian packages TACAS 2020 - 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2020, The conference took place on-line, because it couldn't be held in Dublin, Ireland. pp.235-253, ⟨10.1007/978-3-030-45237-7_14⟩
	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⟩
	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⟩
	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-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-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
	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-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⟩
		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 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize