Ralf Treinen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
12
Active years
1992–2020
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | TACAS | Analysing installation scenarios of Debian packages. | Benedikt F. H. Becker, Nicolas Jeannerod, Claude March, Yann Rgis-Gianas, Mihaela Sighireanu, Ralf Treinen |
| 2018 | CADE | Deciding the First-Order Theory of an Algebra of Feature Trees with Updates. | Nicolas Jeannerod, Ralf Treinen |
| 2018 | SLE | Morbig: a static parser for POSIX shell. | Yann Rgis-Gianas, Nicolas Jeannerod, Ralf Treinen |
| 2015 | LATA | Logics for Unordered Trees with Data Constraints on Siblings. | Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen |
| 2015 | MSR | Mining Component Repositories for Installability Issues. | Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, Stefano Zacchiroli |
| 2012 | MSR | Why do software packages conflict? | Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli |
| 2008 | CADE | Proving Group Protocols Secure Against Eavesdroppers. | Steve Kremer, Antoine Mercier, Ralf Treinen |
| 2006 | ICALP | Symbolic Protocol Analysis in Presence of a Homomorphism Operator and | Stphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen |
| 2002 | POPL | The first-order theory of subtyping constraints. | Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen |
| 2000 | FOSSACS | Predicate Logic and Tree Automata with Tests. | Ralf Treinen |
| 1998 | LICS | The First-Order Theory of Ordering Constraints over Feature Trees. | Martin Mller, Joachim Niehren, Ralf Treinen |
| 1993 | IJCAI | Constraint Deduction in an Interval-based Temporal Logic. | Jana Koehler, Ralf Treinen |
| 1993 | MFCS | Feature Constraints with First-Class Features. | Ralf Treinen |
| 1992 | ICLP | Records for Logic Programming. | Gert Smolka, Ralf Treinen |