![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Ralf Treinen
Person information
- affiliation: Paris Diderot University, IRIF, France
- affiliation: Pierre and Marie Curie University, Paris, France
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1991
- [b1]Ralf Treinen:
Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe. Saarland University, Saarbrücken, Germany, 1991, pp. 1-161
Journal Articles
- 2022
- [j18]Benedikt F. H. Becker
, Nicolas Jeannerod
, Claude Marché
, Yann Régis-Gianas
, Mihaela Sighireanu
, Ralf Treinen:
The CoLiS platform for the analysis of maintainer scripts in Debian software packages. Int. J. Softw. Tools Technol. Transf. 24(5): 717-733 (2022) - 2020
- [j17]Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen:
Morbig: A Static parser for POSIX shell. J. Comput. Lang. 57: 100944 (2020) - 2019
- [j16]Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen:
Logics for unordered trees with data constraints. J. Comput. Syst. Sci. 104: 149-164 (2019) - 2017
- [j15]Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen:
Automata for unordered trees. Inf. Comput. 253: 304-335 (2017) - 2014
- [j14]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
:
Learning from the future of component repositories. Sci. Comput. Program. 90: 93-115 (2014) - 2013
- [j13]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
:
A modular package manager architecture. Inf. Softw. Technol. 55(2): 459-474 (2013) - 2012
- [j12]Steve Kremer, Antoine Mercier, Ralf Treinen:
Reducing Equational Theories for the Decision of Static Equivalence. J. Autom. Reason. 48(2): 197-217 (2012) - [j11]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
:
Dependency solving: A separate concern in component evolution management. J. Syst. Softw. 85(10): 2228-2240 (2012) - 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) - 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) - 2001
- [j8]Martin Müller, Joachim Niehren
, Ralf Treinen:
The first-order theory of ordering constraints over feature trees. Discret. Math. Theor. Comput. Sci. 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) - 2000
- [j6]Joachim Niehren, Sophie Tison
, Ralf Treinen:
On rewrite constraints and context unification. Inf. Process. Lett. 74(1-2): 35-40 (2000) - 1998
- [j5]Rolf Backofen, Ralf Treinen:
How to Win a Game with Features. Inf. Comput. 142(1): 76-101 (1998) - [j4]Ralf Treinen:
The First-Order Theory of Linear One-Step Rewriting is Undecidable. Theor. Comput. Sci. 208(1-2): 179-190 (1998) - 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) - 1994
- [j2]Gert Smolka, Ralf Treinen:
Records for Logic Programming. J. Log. Program. 18(3): 229-258 (1994) - 1992
- [j1]Ralf Treinen:
A New Method for Undecidablity Proofs of First Order Theories. J. Symb. Comput. 14(5): 437-458 (1992)
Conference and Workshop Papers
- 2020
- [c37]Benedikt F. H. Becker
, Nicolas Jeannerod
, Claude Marché
, Yann Régis-Gianas
, Mihaela Sighireanu
, Ralf Treinen:
Analysing installation scenarios of Debian packages. TACAS (2) 2020: 235-253 - 2018
- [c36]Nicolas Jeannerod, Ralf Treinen:
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates. IJCAR 2018: 439-454 - [c35]Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen:
Morbig: a static parser for POSIX shell. SLE 2018: 29-41 - 2017
- [c34]Nicolas Jeannerod, Claude Marché, Ralf Treinen:
A Formally Verified Interpreter for a Shell-Like Programming Language. VSTTE 2017: 1-18 - 2015
- [c33]Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen:
Logics for Unordered Trees with Data Constraints on Siblings. LATA 2015: 175-187 - [c32]Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, Stefano Zacchiroli
:
Mining Component Repositories for Installability Issues. MSR 2015: 24-33 - 2014
- [c31]Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli
, Jakub Zwolakowski, Antoine Eiche, Alexis Agahi:
Automated synthesis and deployment of cloud applications. ASE 2014: 211-222 - [c30]Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen:
Deterministic Automata for Unordered Trees. GandALF 2014: 189-202 - 2013
- [c29]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
- [c28]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
:
Learning from the future of component repositories. CBSE 2012: 51-60 - [c27]Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
:
Formal Aspects of Free and Open Source Software Components - A Short Survey. FMCO 2012: 216-239 - [c26]Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
:
Why do software packages conflict? MSR 2012: 141-150 - 2011
- [c25]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
:
MPM: a modular package manager. CBSE 2011: 179-188 - [c24]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 - 2009
- [c23]Steve Kremer, Antoine Mercier, Ralf Treinen:
Reducing Equational Theories for the Decision of Static Equivalence. ASIAN 2009: 94-108 - 2008
- [c22]Steve Kremer, Antoine Mercier, Ralf Treinen:
Proving Group Protocols Secure Against Eavesdroppers. IJCAR 2008: 116-131 - 2006
- [c21]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 - [c20]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
- [c19]Pascal Lafourcade, Denis Lugiez, Ralf Treinen:
Intruder Deduction for AC-Like Equational Theories with Homomorphisms. RTA 2005: 308-322 - 2003
- [c18]Hubert Comon-Lundh, Ralf Treinen:
Easy Intruder Deductions. Verification: Theory and Practice 2003: 225-242 - 2002
- [c17]Zhendong Su
, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen:
The first-order theory of subtyping constraints. POPL 2002: 203-216 - 2000
- [c16]Ralf Treinen:
Predicate Logic and Tree Automata with Tests. FoSSaCS 2000: 329-343 - 1999
- [c15]Jean-Pierre Jouannaud, Ralf Treinen:
Constraints and Constraint Solving: An Introduction. CCL 1999: 1-46 - 1998
- [c14]Alexander Koller, Joachim Niehren, Ralf Treinen:
Dominance Constraints: Algorithms and Complexity. LACL 1998: 106-125 - [c13]Martin Müller, Joachim Niehren, Ralf Treinen:
The First-Order Theory of Ordering Constraints over Feature Trees. LICS 1998: 432-443 - [c12]Nachum Dershowitz, Ralf Treinen:
An On-line Problem Database. RTA 1998: 332-342 - 1997
- [c11]Franck Seynhaeve, Marc Tommasi, Ralf Treinen:
Grid Structure and Undecidable Constraint Theories. TAPSOFT 1997: 357-368 - 1996
- [c10]Ralf Treinen:
The First-Order Theory of One-Step Rewriting is Undecidable. RTA 1996: 276-286 - 1995
- [c9]Ralf Treinen:
Feature Trees over Arbitrary Structures. UNIF 1995: 53-57 - 1994
- [c8]Hubert Comon, Ralf Treinen:
Ordering Constraints on Trees. CAAP 1994: 1-14 - [c7]Rolf Backofen, Ralf Treinen:
How to Win a Game with Features. CCL 1994: 320-335 - 1993
- [c6]Jana Koehler, Ralf Treinen:
Constraint Deduction in an Interval-based Temporal Logic. Executable Modal and Temporal Logics 1993: 103-117 - [c5]Ralf Treinen:
Feature Constraints with First-Class Features. MFCS 1993: 734-743 - [c4]Joachim Niehren, Andreas Podelski, Ralf Treinen:
Equational and Membership Constraints for Finite Trees. RTA 1993: 106-120 - 1992
- [c3]Gert Smolka, Ralf Treinen:
Records for Logic Programming. JICSLP 1992: 240-254 - 1991
- [c2]Ralf Treinen:
First Order Data Types and First Order Logic. TACS 1991: 594-614 - 1990
- [c1]Ralf Treinen:
A New Method for Undecidability Proofs of First Order Theories. FSTTCS 1990: 48-62
Editorship
- 2011
- [e4]Conrad Drescher, Inês Lynce, Ralf Treinen:
Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011. EPTCS 65, 2011 [contents] - 2010
- [e3]Inês Lynce, Ralf Treinen:
Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010. EPTCS 29, 2010 [contents] - 2009
- [e2]Ralf Treinen:
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 [contents] - 2001
- [e1]Hubert Comon, Claude Marché, Ralf Treinen:
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 [contents]
Informal and Other Publications
- 2009
- [i3]Ralf Treinen, Stefano Zacchiroli:
Expressing advanced user preferences in component installation. CoRR abs/0909.5091 (2009) - 2008
- [i2]Ralf Treinen, Stefano Zacchiroli:
Solving package dependencies: from EDOS to Mancoosi. CoRR abs/0811.3620 (2008) - [i1]Ralf Treinen, Stefano Zacchiroli:
Description of the CUDF Format. CoRR abs/0811.3621 (2008)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-09 05:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint