Skip to Main content Skip to Navigation

hal-02193758v1  Journal articles
Franck SeynhaeveS. TisonMarc TommasiRalf 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üllerJoachim NiehrenRalf 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 NiehrenRalf TreinenS. Tison. On Rewrite Constraints and Context Unification
Information Processing Letters, Elsevier, 2000, 74 (1-2), pp.35--40
hal-02355602v2  Conference papers
Benedikt BeckerNicolas JeannerodClaude MarchéYann Régis-GianasMihaela Sighireanu et al.  Analysing installation scenarios of Debian packages
TACA 2020 - 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2020, Dublin, Ireland. pp.235-253, ⟨10.1007/978-3-030-45237-7_14⟩
inria-00578896v1  Conference papers
Florent JacquemardEtienne LozesRalf TreinenJules 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-00909298v1  Conference papers
Michel CatanRoberto Di CosmoAntoine EicheTudor Alexandru LascuMichael 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-01890044v1  Conference papers
Yann Régis-GianasNicolas JeannerodRalf 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-00149566v1  Conference papers
Fabio MancinelliJaap BoenderRoberto Di CosmoJérôme VouillonBerke 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 BoiretVincent HugotJoachim NiehrenRalf 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 BoiretVincent HugotJoachim NiehrenRalf Treinen. Automata for Unordered Trees
Information and Computation, Elsevier, 2017, 253, pp.304-335 ⟨10.1016/j.ic.2016.07.012⟩
hal-01534747v1  Conference papers
Nicolas JeannerodClaude 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-01020236v1  Conference papers
Adrien BoiretVincent HugotJoachim NiehrenRalf 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⟩
inria-00636797v1  Journal articles
Steve KremerAntoine MercierRalf 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⟩