Search the dblp DataBase
Ralf Treinen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Hubert Comon-Lundh, Ralf Treinen
Easy Intruder Deductions. [Citation Graph (0, 0)][DBLP]
Verification: Theory and Practice, 2003, pp:225-242 [Conf] - Hubert Comon, Ralf Treinen
Ordering Constraints on Trees. [Citation Graph (0, 0)][DBLP]
CAAP, 1994, pp:1-14 [Conf] - Rolf Backofen, Ralf Treinen
How to Win a Game with Features. [Citation Graph (0, 0)][DBLP]
CCL, 1994, pp:320-335 [Conf] - Jean-Pierre Jouannaud, Ralf Treinen
Constraints and Constraint Solving: An Introduction. [Citation Graph (0, 0)][DBLP]
CCL, 1999, pp:1-46 [Conf] - Ralf Treinen
Predicate Logic and Tree Automata with Tests. [Citation Graph (0, 0)][DBLP]
FoSSaCS, 2000, pp:329-343 [Conf] - Ralf Treinen
A New Method for Undecidability Proofs of First Order Theories. [Citation Graph (0, 0)][DBLP]
FSTTCS, 1990, pp:48-62 [Conf] - Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or. [Citation Graph (0, 0)][DBLP]
ICALP (2), 2006, pp:132-143 [Conf] - Gert Smolka, Ralf Treinen
Records for Logic Programming. [Citation Graph (0, 0)][DBLP]
JICSLP, 1992, pp:240-254 [Conf] - Jana Koehler, Ralf Treinen
Constraint Deduction in an Interval-based Temporal Logic. [Citation Graph (0, 0)][DBLP]
Executable Modal and Temporal Logics, 1993, pp:103-117 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
ASE, 2006, pp:199-208 [Conf] - Alexander Koller, Joachim Niehren, Ralf Treinen
Dominance Constraints: Algorithms and Complexity. [Citation Graph (0, 0)][DBLP]
LACL, 1998, pp:106-125 [Conf] - Martin Müller, Joachim Niehren, Ralf Treinen
The First-Order Theory of Ordering Constraints over Feature Trees. [Citation Graph (0, 0)][DBLP]
LICS, 1998, pp:432-443 [Conf] - Ralf Treinen
Feature Constraints with First-Class Features. [Citation Graph (0, 0)][DBLP]
MFCS, 1993, pp:734-743 [Conf] - Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
The first-order theory of subtyping constraints. [Citation Graph (0, 0)][DBLP]
POPL, 2002, pp:203-216 [Conf] - Nachum Dershowitz, Ralf Treinen
An On-line Problem Database. [Citation Graph (0, 0)][DBLP]
RTA, 1998, pp:332-342 [Conf] - Pascal Lafourcade, Denis Lugiez, Ralf Treinen
Intruder Deduction for AC-Like Equational Theories with Homomorphisms. [Citation Graph (0, 0)][DBLP]
RTA, 2005, pp:308-322 [Conf] - Joachim Niehren, Andreas Podelski, Ralf Treinen
Equational and Membership Constraints for Finite Trees. [Citation Graph (0, 0)][DBLP]
RTA, 1993, pp:106-120 [Conf] - Ralf Treinen
The First-Order Theory of One-Step Rewriting is Undecidable. [Citation Graph (0, 0)][DBLP]
RTA, 1996, pp:276-286 [Conf] - Ralf Treinen
First Order Data Types and First Order Logic. [Citation Graph (0, 0)][DBLP]
TACS, 1991, pp:594-614 [Conf] - Franck Seynhaeve, Marc Tommasi, Ralf Treinen
Grid Structure and Undecidable Constraint Theories. [Citation Graph (0, 0)][DBLP]
TAPSOFT, 1997, pp:357-368 [Conf] - Martin Müller, Joachim Niehren, Ralf Treinen
The first-order theory of ordering constraints over feature trees. [Citation Graph (0, 0)][DBLP]
Discrete Mathematics & Theoretical Computer Science, 2001, v:4, n:2, pp:193-234 [Journal] - Rolf Backofen, Ralf Treinen
How to Win a Game with Features. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1998, v:142, n:1, pp:76-101 [Journal] - Joachim Niehren, Sophie Tison, Ralf Treinen
On rewrite constraints and context unification. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 2000, v:74, n:1-2, pp:35-40 [Journal] - Gert Smolka, Ralf Treinen
Records for Logic Programming. [Citation Graph (0, 0)][DBLP]
J. Log. Program., 1994, v:18, n:3, pp:229-258 [Journal] - Ralf Treinen
A New Method for Undecidablity Proofs of First Order Theories. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1992, v:14, n:5, pp:437-458 [Journal] - Hubert Comon, Ralf Treinen
The First-Order Theory of Lexicographic Path Orderings is Undecidable. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1997, v:176, n:1-2, pp:67-87 [Journal] - Franck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen
Grid structures and undecidable constraint theories. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2001, v:258, n:1-2, pp:453-490 [Journal] - Ralf Treinen
The First-Order Theory of Linear One-Step Rewriting is Undecidable. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1998, v:208, n:1-2, pp:179-190 [Journal] - Pascal Lafourcade, Denis Lugiez, Ralf Treinen
Intruder deduction for the equational theory of Abelian groups with distributive encryption. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2007, v:205, n:4, pp:581-623 [Journal]
Reducing Equational Theories for the Decision of Static Equivalence. [Citation Graph (, )][DBLP]
Proving Group Protocols Secure Against Eavesdroppers. [Citation Graph (, )][DBLP]
Solving package dependencies: from EDOS to Mancoosi [Citation Graph (, )][DBLP]
Description of the CUDF Format [Citation Graph (, )][DBLP]
Expressing advanced user preferences in component installation [Citation Graph (, )][DBLP]
Proceedings First International Workshop on Logics for Component Configuration [Citation Graph (, )][DBLP]
Search in 0.093secs, Finished in 0.096secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002