A New Method for Undecidability Proofs of First Order Theories. - Ralf Treinen (FSTTCS, 1990)

Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe. - Ralf Treinen (1991)

First Order Data Types and First Order Logic. - Ralf Treinen (TACS, 1991)

A New Method for Undecidablity Proofs of First Order Theories. - Ralf Treinen (J. Symb. Comput., 1992)

Constraint Deduction in an Interval-based Temporal Logic. - Jana Koehler; Ralf Treinen (Executable Modal and Temporal Logics, 1993)

Feature Constraints with First-Class Features. - Ralf Treinen (MFCS, 1993)

Equational and Membership Constraints for Finite Trees. - Joachim Niehren; Andreas Podelski; Ralf Treinen (RTA, 1993)

Ordering Constraints on Trees. - Hubert Comon; Ralf Treinen (CAAP, 1994)

Records for Logic Programming. - Gert Smolka; Ralf Treinen (J. Log. Program., 1994)

Feature Trees over Arbitrary Structures. - Ralf Treinen (UNIF, 1995)

The First-Order Theory of One-Step Rewriting is Undecidable. - Ralf Treinen (RTA, 1996)

Grid Structure and Undecidable Constraint Theories. - Franck Seynhaeve; Marc Tommasi; Ralf Treinen (TAPSOFT, 1997)

The First-Order Theory of Lexicographic Path Orderings is Undecidable. - Hubert Comon; Ralf Treinen (Theor. Comput. Sci., 1997)

Dominance Constraints: Algorithms and Complexity. - Alexander Koller; Joachim Niehren; Ralf Treinen (LACL, 1998)

An On-line Problem Database. - Nachum Dershowitz; Ralf Treinen (RTA, 1998)

How to Win a Game with Features. - Rolf Backofen; Ralf Treinen (Inf. Comput., 1998)

The First-Order Theory of Linear One-Step Rewriting is Undecidable. - Ralf Treinen (Theor. Comput. Sci., 1998)

Constraints and Constraint Solving: An Introduction. - Jean-Pierre Jouannaud; Ralf Treinen (CCL, 1999)

Predicate Logic and Tree Automata with Tests. - Ralf Treinen (FoSSaCS, 2000)

On rewrite constraints and context unification. - Joachim Niehren; Sophie Tison; Ralf Treinen (Inf. Process. Lett., 2000)

The first-order theory of ordering constraints over feature trees. - Martin Müller 001; Joachim Niehren; Ralf Treinen (Discret. Math. Theor. Comput. Sci., 2001)

Grid structures and undecidable constraint theories. - Franck Seynhaeve; Sophie Tison; Marc Tommasi; Ralf Treinen (Theor. Comput. Sci., 2001)

The first-order theory of subtyping constraints. - Zhendong Su 001; Alexander Aiken; Joachim Niehren; Tim Priesnitz; Ralf Treinen (POPL, 2002)

Easy Intruder Deductions. - Hubert Comon-Lundh; Ralf Treinen (Verification: Theory and Practice, 2003)

Intruder Deduction for AC-Like Equational Theories with Homomorphisms. - Pascal Lafourcade 001; Denis Lugiez; Ralf Treinen (RTA, 2005)

Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or. - Stéphanie Delaune; Pascal Lafourcade 001; Denis Lugiez; Ralf Treinen (ICALP (2), 2006)

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. - Fabio Mancinelli; Jaap Boender; Roberto Di Cosmo; Jerome Vouillon; Berke Durak; Xavier Leroy; Ralf Treinen (ASE, 2006)

Intruder deduction for the equational theory of Abelian groups with distributive encryption. - Pascal Lafourcade 001; Denis Lugiez; Ralf Treinen (Inf. Comput., 2007)

Proving Group Protocols Secure Against Eavesdroppers. - Steve Kremer; Antoine Mercier 002; Ralf Treinen (IJCAR, 2008)

Solving package dependencies: from EDOS to Mancoosi - Ralf Treinen; Stefano Zacchiroli (CoRR, 2008)

Description of the CUDF Format - Ralf Treinen; Stefano Zacchiroli (CoRR, 2008)

Symbolic protocol analysis for monoidal equational theories. - Stéphanie Delaune; Pascal Lafourcade 001; Denis Lugiez; Ralf Treinen (Inf. Comput., 2008)

Expressing advanced user preferences in component installation - Ralf Treinen; Stefano Zacchiroli (CoRR, 2009)

MPM: a modular package manager. - Pietro Abate; Roberto Di Cosmo; Ralf Treinen; Stefano Zacchiroli (CBSE, 2011)

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus. - Florent Jacquemard; Étienne Lozes; Ralf Treinen; Jules Villard (TOSCA, 2011)

Formal Aspects of Free and Open Source Software Components - A Short Survey. - Roberto Di Cosmo; Ralf Treinen; Stefano Zacchiroli (FMCO, 2012)

Why do software packages conflict? - Cyrille Artho; Kuniyasu Suzaki; Roberto Di Cosmo; Ralf Treinen; Stefano Zacchiroli (MSR, 2012)

Reducing Equational Theories for the Decision of Static Equivalence. - Steve Kremer; Antoine Mercier 002; Ralf Treinen (J. Autom. Reason., 2012)

Dependency solving: A separate concern in component evolution management. - Pietro Abate; Roberto Di Cosmo; Ralf Treinen; Stefano Zacchiroli (J. Syst. Softw., 2012)

Aeolus: Mastering the Complexity of Cloud Application Deployment. - Michel Catan; Roberto Di Cosmo; Antoine Eiche; Tudor A. Lascu; Michael Lienhardt; Jacopo Mauro; Ralf Treinen; Stefano Zacchiroli; Gianluigi Zavattaro; Jakub Zwolakowski (ESOCC, 2013)

A modular package manager architecture. - Pietro Abate; Roberto Di Cosmo; Ralf Treinen; Stefano Zacchiroli (Inf. Softw. Technol., 2013)

Automated synthesis and deployment of cloud applications. - Roberto Di Cosmo; Michael Lienhardt; Ralf Treinen; Stefano Zacchiroli; Jakub Zwolakowski; Antoine Eiche; Alexis Agahi (ASE, 2014)

Deterministic Automata for Unordered Trees. - Adrien Boiret; Vincent Hugot; Joachim Niehren; Ralf Treinen (GandALF, 2014)

Learning from the future of component repositories. - Pietro Abate; Roberto Di Cosmo; Ralf Treinen; Stefano Zacchiroli (Sci. Comput. Program., 2014)

Logics for Unordered Trees with Data Constraints on Siblings. - Adrien Boiret; Vincent Hugot; Joachim Niehren; Ralf Treinen (LATA, 2015)

Mining Component Repositories for Installability Issues. - Pietro Abate; Roberto Di Cosmo; Louis Gesbert; Fabrice Le Fessant; Ralf Treinen; Stefano Zacchiroli (MSR, 2015)

A Formally Verified Interpreter for a Shell-Like Programming Language. - Nicolas Jeannerod; Claude Marché; Ralf Treinen (VSTTE, 2017)

Automata for unordered trees. - Adrien Boiret; Vincent Hugot; Joachim Niehren; Ralf Treinen (Inf. Comput., 2017)

Deciding the First-Order Theory of an Algebra of Feature Trees with Updates. - Nicolas Jeannerod; Ralf Treinen (IJCAR, 2018)

Logics for unordered trees with data constraints. - Adrien Boiret; Vincent Hugot; Joachim Niehren; Ralf Treinen (J. Comput. Syst. Sci., 2019)

Analysing installation scenarios of Debian packages. - Benedikt F. H. Becker; Nicolas Jeannerod; Claude Marché; Yann Régis-Gianas; Mihaela Sighireanu; Ralf Treinen (TACAS (2), 2020)

Morbig: A Static parser for POSIX shell. - Yann Régis-Gianas; Nicolas Jeannerod; Ralf Treinen (J. Comput. Lang., 2020)

The CoLiS platform for the analysis of maintainer scripts in Debian software packages. - Benedikt F. H. Becker; Nicolas Jeannerod; Claude Marché; Yann Régis-Gianas; Mihaela Sighireanu; Ralf Treinen (Int. J. Softw. Tools Technol. Transf., 2022)