Ralf Treinen - RankMe

63 papers A* 4A 4B 3C 1Journal 21Unranked 25

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	The CoLiS platform for the analysis of maintainer scripts in Debian software packages. Int. J. Softw. Tools Technol. Transf. Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
2020	—	`conf`	Analysing installation scenarios of Debian packages. TACAS (2) Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
2020	J	`jnl`	Morbig: A Static parser for POSIX shell. J. Comput. Lang. Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
2019	J	`jnl`	Logics for unordered trees with data constraints. J. Comput. Syst. Sci. Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
2018	A	`conf`	Deciding the First-Order Theory of an Algebra of Feature Trees with Updates. IJCAR Nicolas Jeannerod, Ralf Treinen
2018	B	`conf`	Morbig: a static parser for POSIX shell. SLE Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
2017	—	`conf`	A Formally Verified Interpreter for a Shell-Like Programming Language. VSTTE Nicolas Jeannerod, Claude Marché, Ralf Treinen
2017	J	`jnl`	Automata for unordered trees. Inf. Comput. Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
2015	C	`conf`	Logics for Unordered Trees with Data Constraints on Siblings. LATA Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
2015	A	`conf`	Mining Component Repositories for Installability Issues. MSR Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, Stefano Zacchiroli
2014	A*	`conf`	Automated synthesis and deployment of cloud applications. ASE Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche, Alexis Agahi
2014	—	`conf`	Deterministic Automata for Unordered Trees. GandALF Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
2014	J	`jnl`	Learning from the future of component repositories. Sci. Comput. Program. Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2013	J	`jnl`	A modular package manager architecture. Inf. Softw. Technol. Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2013	—	`conf`	Aeolus: Mastering the Complexity of Cloud Application Deployment. ESOCC Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
2012	J	`jnl`	Dependency solving: A separate concern in component evolution management. J. Syst. Softw. Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2012	—	`conf`	Formal Aspects of Free and Open Source Software Components - A Short Survey. FMCO Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2012	—	`conf`	Learning from the future of component repositories. CBSE Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2012	J	`jnl`	Reducing Equational Theories for the Decision of Static Equivalence. J. Autom. Reason. Steve Kremer, Antoine Mercier, Ralf Treinen
2012	A	`conf`	Why do software packages conflict? MSR Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2011	—	`conf`	MPM: a modular package manager. CBSE Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
2011	—	`conf`	Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus. TOSCA Florent Jacquemard, Étienne Lozes, Ralf Treinen, Jules Villard
2011	—	`ed.`	Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011. LoCoCo Conrad Drescher, Inês Lynce, Ralf Treinen
2010	—	`ed.`	Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010. LoCoCo Inês Lynce, Ralf Treinen
2009	J	`jnl`	Expressing advanced user preferences in component installation CoRR Ralf Treinen, Stefano Zacchiroli
2009	—	`conf`	Reducing Equational Theories for the Decision of Static Equivalence. ASIAN Steve Kremer, Antoine Mercier, Ralf Treinen
2009	—	`ed.`	Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings RTA Ralf Treinen
2008	J	`jnl`	Description of the CUDF Format CoRR Ralf Treinen, Stefano Zacchiroli
2008	A	`conf`	Proving Group Protocols Secure Against Eavesdroppers. IJCAR Steve Kremer, Antoine Mercier, Ralf Treinen
2008	J	`jnl`	Solving package dependencies: from EDOS to Mancoosi CoRR Ralf Treinen, Stefano Zacchiroli
2008	J	`jnl`	Symbolic protocol analysis for monoidal equational theories. Inf. Comput. Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
2007	J	`jnl`	Intruder deduction for the equational theory of Abelian groups with distributive encryption. Inf. Comput. Pascal Lafourcade, Denis Lugiez, Ralf Treinen
2006	A*	`conf`	Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. ASE Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen
2006	—	`conf`	Symbolic Protocol Analysis in Presence of a Homomorphism Operator and ICALP (2) Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
2005	—	`conf`	Intruder Deduction for RTA Pascal Lafourcade, Denis Lugiez, Ralf Treinen
2003	—	`conf`	Easy Intruder Deductions. Verification: Theory and Practice Hubert Comon-Lundh, Ralf Treinen
2002	A*	`conf`	The first-order theory of subtyping constraints. POPL Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
2001	—	`ed.`	Constraints in Computational Logics: Theory and Applications, International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures CCL Hubert Comon, Claude Marché, Ralf Treinen
2001	J	`jnl`	Grid structures and undecidable constraint theories. Theor. Comput. Sci. Franck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen
2001	J	`jnl`	The first-order theory of ordering constraints over feature trees. Discret. Math. Theor. Comput. Sci. Martin Müller, Joachim Niehren, Ralf Treinen
2000	J	`jnl`	On rewrite constraints and context unification. Inf. Process. Lett. Joachim Niehren, Sophie Tison, Ralf Treinen
2000	B	`conf`	Predicate Logic and Tree Automata with Tests. FoSSaCS Ralf Treinen
1999	—	`conf`	Constraints and Constraint Solving: An Introduction. CCL Jean-Pierre Jouannaud, Ralf Treinen
1998	—	`conf`	An On-line Problem Database. RTA Nachum Dershowitz, Ralf Treinen
1998	—	`conf`	Dominance Constraints: Algorithms and Complexity. LACL Alexander Koller, Joachim Niehren, Ralf Treinen
1998	J	`jnl`	How to Win a Game with Features. Inf. Comput. Rolf Backofen, Ralf Treinen
1998	J	`jnl`	The First-Order Theory of Linear One-Step Rewriting is Undecidable. Theor. Comput. Sci. Ralf Treinen
1998	A*	`conf`	The First-Order Theory of Ordering Constraints over Feature Trees. LICS Martin Müller, Joachim Niehren, Ralf Treinen
1997	—	`conf`	Grid Structure and Undecidable Constraint Theories. TAPSOFT Franck Seynhaeve, Marc Tommasi, Ralf Treinen
1997	J	`jnl`	The First-Order Theory of Lexicographic Path Orderings is Undecidable. Theor. Comput. Sci. Hubert Comon, Ralf Treinen
1996	—	`conf`	The First-Order Theory of One-Step Rewriting is Undecidable. RTA Ralf Treinen
1995	—	`conf`	Feature Trees over Arbitrary Structures. UNIF Ralf Treinen
1994	—	`conf`	How to Win a Game with Features. CCL Rolf Backofen, Ralf Treinen
1994	—	`conf`	Ordering Constraints on Trees. CAAP Hubert Comon, Ralf Treinen
1994	J	`jnl`	Records for Logic Programming. J. Log. Program. Gert Smolka, Ralf Treinen
1993	—	`conf`	Constraint Deduction in an Interval-based Temporal Logic. Executable Modal and Temporal Logics Jana Koehler, Ralf Treinen
1993	—	`conf`	Equational and Membership Constraints for Finite Trees. RTA Joachim Niehren, Andreas Podelski, Ralf Treinen
1993	B	`conf`	Feature Constraints with First-Class Features. MFCS Ralf Treinen
1992	J	`jnl`	A New Method for Undecidablity Proofs of First Order Theories. J. Symb. Comput. Ralf Treinen
1992	—	`conf`	Records for Logic Programming. JICSLP Gert Smolka, Ralf Treinen
1991	—	`conf`	First Order Data Types and First Order Logic. TACS Ralf Treinen
1991	—	`—`	Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe. Ralf Treinen
1990	—	`conf`	A New Method for Undecidability Proofs of First Order Theories. FSTTCS Ralf Treinen