Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ralf Treinen
2010 – today
- 2013
[j13]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli: A modular package manager architecture. Information & Software Technology 55(2): 459-474 (2013)- [c28]Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski: Aeolus: Mastering the Complexity of Cloud Application Deployment. ESOCC 2013: 1-3
- 2012
- [j12]Steve Kremer, Antoine Mercier, Ralf Treinen: Reducing Equational Theories for the Decision of Static Equivalence. J. Autom. Reasoning 48(2): 197-217 (2012)
- [j11]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli: Dependency solving: A separate concern in component evolution management. Journal of Systems and Software 85(10): 2228-2240 (2012)
- [c27]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli: Learning from the future of component repositories. CBSE 2012: 51-60
- [c26]Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli: Formal Aspects of Free and Open Source Software Components - A Short Survey. FMCO 2012: 216-239
- [c25]Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli: Why do software packages conflict? MSR 2012: 141-150
- 2011
- [c24]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli: MPM: a modular package manager. CBSE 2011: 179-188
- [c23]Florent Jacquemard, Étienne Lozes, Ralf Treinen, Jules Villard: Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus. TOSCA 2011: 166-185
- [e4]Conrad Drescher, Inês Lynce, Ralf Treinen (Eds.): Proceedings Second Workshop on Logics for Component Configuration. EPTCS 65, 2011
- 2010
- [e3]Inês Lynce, Ralf Treinen (Eds.): Proceedings First International Workshop on Logics for Component Configuration. EPTCS 29, 2010
2000 – 2009
- 2009
- [c22]Steve Kremer, Antoine Mercier, Ralf Treinen: Reducing Equational Theories for the Decision of Static Equivalence. ASIAN 2009: 94-108
- [e2]Ralf Treinen (Ed.): Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009, Proceedings. Lecture Notes in Computer Science 5595, Springer 2009, ISBN 978-3-642-02347-7
- [i3]Ralf Treinen, Stefano Zacchiroli: Expressing advanced user preferences in component installation. CoRR abs/0909.5091 (2009)
- 2008
- [j10]Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen: Symbolic protocol analysis for monoidal equational theories. Inf. Comput. 206(2-4): 312-351 (2008)
- [c21]Steve Kremer, Antoine Mercier, Ralf Treinen: Proving Group Protocols Secure Against Eavesdroppers. IJCAR 2008: 116-131
- [i2]Ralf Treinen, Stefano Zacchiroli: Solving package dependencies: from EDOS to Mancoosi. CoRR abs/0811.3620 (2008)
- [i1]
- 2007
- [j9]Pascal Lafourcade, Denis Lugiez, Ralf Treinen: Intruder deduction for the equational theory of Abelian groups with distributive encryption. Inf. Comput. 205(4): 581-623 (2007)
- 2006
- [c20]Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen: Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or. ICALP (2) 2006: 132-143
- [c19]Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen: Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. ASE 2006: 199-208
- 2005
- [c18]Pascal Lafourcade, Denis Lugiez, Ralf Treinen: Intruder Deduction for AC-Like Equational Theories with Homomorphisms. RTA 2005: 308-322
- 2003
- [c17]Hubert Comon-Lundh, Ralf Treinen: Easy Intruder Deductions. Verification: Theory and Practice 2003: 225-242
- 2002
- [c16]Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen: The first-order theory of subtyping constraints. POPL 2002: 203-216
- 2001
- [j8]Martin Müller, Joachim Niehren, Ralf Treinen: The first-order theory of ordering constraints over feature trees. Discrete Mathematics & Theoretical Computer Science 4(2): 193-234 (2001)
- [j7]Franck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen: Grid structures and undecidable constraint theories. Theor. Comput. Sci. 258(1-2): 453-490 (2001)
- [e1]Hubert Comon, Claude Marché, Ralf Treinen (Eds.): Constraints in Computational Logics: Theory and Applications, International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures. Lecture Notes in Computer Science 2002, Springer 2001, ISBN 3-540-41950-0
- 2000
- [j6]Joachim Niehren, Sophie Tison, Ralf Treinen: On rewrite constraints and context unification. Inf. Process. Lett. 74(1-2): 35-40 (2000)
- [c15]
1990 – 1999
- 1999
- [c14]Jean-Pierre Jouannaud, Ralf Treinen: Constraints and Constraint Solving: An Introduction. CCL 1999: 1-46
- 1998
- [j5]
- [j4]Ralf Treinen: The First-Order Theory of Linear One-Step Rewriting is Undecidable. Theor. Comput. Sci. 208(1-2): 179-190 (1998)
- [c13]Alexander Koller, Joachim Niehren, Ralf Treinen: Dominance Constraints: Algorithms and Complexity. LACL 1998: 106-125
- [c12]Martin Müller, Joachim Niehren, Ralf Treinen: The First-Order Theory of Ordering Constraints over Feature Trees. LICS 1998: 432-443
- [c11]
- 1997
- [j3]Hubert Comon, Ralf Treinen: The First-Order Theory of Lexicographic Path Orderings is Undecidable. Theor. Comput. Sci. 176(1-2): 67-87 (1997)
- [c10]Franck Seynhaeve, Marc Tommasi, Ralf Treinen: Grid Structure and Undecidable Constraint Theories. TAPSOFT 1997: 357-368
- 1996
- [c9]
- 1994
- [j2]
- [c8]
- [c7]
- 1993
- [c6]Jana Koehler, Ralf Treinen: Constraint Deduction in an Interval-based Temporal Logic. Executable Modal and Temporal Logics 1993: 103-117
- [c5]
- [c4]Joachim Niehren, Andreas Podelski, Ralf Treinen: Equational and Membership Constraints for Finite Trees. RTA 1993: 106-120
- 1992
- [j1]Ralf Treinen: A New Method for Undecidablity Proofs of First Order Theories. J. Symb. Comput. 14(5): 437-458 (1992)
- [c3]
- 1991
- [b1]Ralf Treinen: Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe. Universität Saarbrücken 1991, pp. 1-161
- [c2]
- 1990
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:11 CEST by the dblp team