default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRalf Treinen
Person information
- affiliation: Paris Diderot University, IRIF, France
- affiliation: Pierre and Marie Curie University, Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 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) - [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
2010 – 2019
- 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) - 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
- [j15]Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen:
Automata for unordered trees. Inf. Comput. 253: 304-335 (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
- [j14]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli:
Learning from the future of component repositories. Sci. Comput. Program. 90: 93-115 (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
- [j13]Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli:
A modular package manager architecture. Inf. Softw. Technol. 55(2): 459-474 (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
- [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) - [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 - [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]
2000 – 2009
- 2009
- [c23]Steve Kremer, Antoine Mercier, Ralf Treinen:
Reducing Equational Theories for the Decision of Static Equivalence. ASIAN 2009: 94-108 - [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] - [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) - [c22]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]Ralf Treinen, Stefano Zacchiroli:
Description of the CUDF Format. CoRR abs/0811.3621 (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) - 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 - 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) - [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] - 2000
- [j6]Joachim Niehren, Sophie Tison, Ralf Treinen:
On rewrite constraints and context unification. Inf. Process. Lett. 74(1-2): 35-40 (2000) - [c16]Ralf Treinen:
Predicate Logic and Tree Automata with Tests. FoSSaCS 2000: 329-343
1990 – 1999
- 1999
- [c15]Jean-Pierre Jouannaud, Ralf Treinen:
Constraints and Constraint Solving: An Introduction. CCL 1999: 1-46 - 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) - [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
- [j3]Hubert Comon, Ralf Treinen:
The First-Order Theory of Lexicographic Path Orderings is Undecidable. Theor. Comput. Sci. 176(1-2): 67-87 (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
- [j2]Gert Smolka, Ralf Treinen:
Records for Logic Programming. J. Log. Program. 18(3): 229-258 (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
- [j1]Ralf Treinen:
A New Method for Undecidablity Proofs of First Order Theories. J. Symb. Comput. 14(5): 437-458 (1992) - [c3]Gert Smolka, Ralf Treinen:
Records for Logic Programming. JICSLP 1992: 240-254 - 1991
- [b1]Ralf Treinen:
Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe. Saarland University, Saarbrücken, Germany, 1991, pp. 1-161 - [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
Coauthor Index
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 2025-01-21 00:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
