The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ralf Treinen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hubert Comon-Lundh, Ralf Treinen
    Easy Intruder Deductions. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:225-242 [Conf]
  2. Hubert Comon, Ralf Treinen
    Ordering Constraints on Trees. [Citation Graph (0, 0)][DBLP]
    CAAP, 1994, pp:1-14 [Conf]
  3. Rolf Backofen, Ralf Treinen
    How to Win a Game with Features. [Citation Graph (0, 0)][DBLP]
    CCL, 1994, pp:320-335 [Conf]
  4. Jean-Pierre Jouannaud, Ralf Treinen
    Constraints and Constraint Solving: An Introduction. [Citation Graph (0, 0)][DBLP]
    CCL, 1999, pp:1-46 [Conf]
  5. Ralf Treinen
    Predicate Logic and Tree Automata with Tests. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2000, pp:329-343 [Conf]
  6. Ralf Treinen
    A New Method for Undecidability Proofs of First Order Theories. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1990, pp:48-62 [Conf]
  7. 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]
  8. Gert Smolka, Ralf Treinen
    Records for Logic Programming. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:240-254 [Conf]
  9. 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]
  10. 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]
  11. Alexander Koller, Joachim Niehren, Ralf Treinen
    Dominance Constraints: Algorithms and Complexity. [Citation Graph (0, 0)][DBLP]
    LACL, 1998, pp:106-125 [Conf]
  12. 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]
  13. Ralf Treinen
    Feature Constraints with First-Class Features. [Citation Graph (0, 0)][DBLP]
    MFCS, 1993, pp:734-743 [Conf]
  14. 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]
  15. Nachum Dershowitz, Ralf Treinen
    An On-line Problem Database. [Citation Graph (0, 0)][DBLP]
    RTA, 1998, pp:332-342 [Conf]
  16. 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]
  17. Joachim Niehren, Andreas Podelski, Ralf Treinen
    Equational and Membership Constraints for Finite Trees. [Citation Graph (0, 0)][DBLP]
    RTA, 1993, pp:106-120 [Conf]
  18. Ralf Treinen
    The First-Order Theory of One-Step Rewriting is Undecidable. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:276-286 [Conf]
  19. Ralf Treinen
    First Order Data Types and First Order Logic. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:594-614 [Conf]
  20. Franck Seynhaeve, Marc Tommasi, Ralf Treinen
    Grid Structure and Undecidable Constraint Theories. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:357-368 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]

  30. Reducing Equational Theories for the Decision of Static Equivalence. [Citation Graph (, )][DBLP]


  31. Proving Group Protocols Secure Against Eavesdroppers. [Citation Graph (, )][DBLP]


  32. Solving package dependencies: from EDOS to Mancoosi [Citation Graph (, )][DBLP]


  33. Description of the CUDF Format [Citation Graph (, )][DBLP]


  34. Expressing advanced user preferences in component installation [Citation Graph (, )][DBLP]


  35. Proceedings First International Workshop on Logics for Component Configuration [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002