The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Denis Lugiez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jacques Calmet, Hubert Comon, Denis Lugiez
    Type Inference Using Unification in Computer Algebra. [Citation Graph (0, 0)][DBLP]
    AAECC, 1986, pp:25-28 [Conf]
  2. Denis Lugiez
    Multivariate polynomial factoring and detection of true factors. [Citation Graph (0, 0)][DBLP]
    AAECC, 1984, pp:169-177 [Conf]
  3. Denis Lugiez
    Heuristic Bivariate Lifting. [Citation Graph (0, 0)][DBLP]
    AAECC, 1985, pp:385-391 [Conf]
  4. Stéphane Demri, Denis Lugiez
    Presburger Modal Logic Is PSPACE-Complete. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:541-556 [Conf]
  5. Denis Lugiez
    Higher Order Disunification: Some decidable cases. [Citation Graph (0, 0)][DBLP]
    CCL, 1994, pp:121-135 [Conf]
  6. Roberto M. Amadio, Denis Lugiez
    On the Reachability Problem in Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:380-394 [Conf]
  7. Denis Lugiez, Ph. Schnoebelen
    The Regular Viewpoint on PA-Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:50-66 [Conf]
  8. Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez
    Local First Search - A New Paradigm for Partial Order Reductions. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:396-410 [Conf]
  9. Denis Lugiez
    A New Lifting Process for the Multivariate Polynomial Factorization. [Citation Graph (0, 0)][DBLP]
    EUROSAM, 1984, pp:297-309 [Conf]
  10. Denis Lugiez
    Counting and Equality Constraints for Multitree Automata. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:328-342 [Conf]
  11. 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]
  12. Denis Lugiez
    A Good Class of Tree Automata and Application to Inductive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:409-420 [Conf]
  13. Denis Lugiez, Ph. Schnoebelen
    Decidable First-Order Transition Logics for PA-Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:342-353 [Conf]
  14. Denis Lugiez
    A Deduction Procedure for First Order Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:585-599 [Conf]
  15. Emmanuel Kounalis, Denis Lugiez, Loic Pottier
    A Solution of the Complement Problem in Associative-Commutative Theories. [Citation Graph (0, 0)][DBLP]
    IWWERT, 1991, pp:197-214 [Conf]
  16. Emmanuel Kounalis, Denis Lugiez, Loic Pottier
    A Solution of the Complement Problem in Associative-Commutative Theories. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:287-297 [Conf]
  17. Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier
    A logic you can count on. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:135-146 [Conf]
  18. Silvano Dal-Zilio, Denis Lugiez
    XML Schema, Tree Logic and Sheaves Automata. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:246-263 [Conf]
  19. 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]
  20. Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez
    Algorithms and Reductions for Rewriting Problems. [Citation Graph (0, 0)][DBLP]
    RTA, 1998, pp:166-180 [Conf]
  21. Denis Lugiez, Peter Niebert, Sarah Zennou
    Dynamic Bounds and Transition Merging for Local First Search. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:221-229 [Conf]
  22. Denis Lugiez, J. L. Moysset
    Complement Problems and Tree Automata in AC-like Theories (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    STACS, 1993, pp:515-524 [Conf]
  23. Denis Lugiez, Peter Niebert, Sarah Zennou
    A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:296-311 [Conf]
  24. Ali Amaniss, Miki Hermann, Denis Lugiez
    Set Operations for Recurrent Term Schematizations. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:333-344 [Conf]
  25. Emmanuel Kounalis, Denis Lugiez
    Compilation of Pattern Matching with Associative-Commutative Functions. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:57-73 [Conf]
  26. Denis Lugiez
    From Automata to Semilinear Sets: A Logical Solution for Sets L(C, P). [Citation Graph (0, 0)][DBLP]
    CIAA, 2004, pp:321-322 [Conf]
  27. Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez
    Algorithms and Reductions for Rewriting Problems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:46, n:3, pp:257-276 [Journal]
  28. Denis Lugiez, Ph. Schnoebelen
    Decidable first-order transition logics for PA-processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:203, n:1, pp:75-113 [Journal]
  29. Hubert Comon, Denis Lugiez, Ph. Schnoebelen
    A Rewrite-Based Type Discipline for a Subset of Computer Algebra. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1991, v:11, n:4, pp:349-368 [Journal]
  30. Denis Lugiez
    Positive and Negative Results for Higher-Order Disunification. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1995, v:20, n:4, pp:431-470 [Journal]
  31. Denis Lugiez, J. L. Moysset
    Tree Automata Help One To Solve Equational Formulae In AC-Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1994, v:18, n:4, pp:297-318 [Journal]
  32. Roberto M. Amadio, Denis Lugiez, Vincent Vanackère
    On the symbolic reduction of processes with cryptographic functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:695-740 [Journal]
  33. Denis Lugiez
    Multitree automata that count. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:333, n:1-2, pp:225-263 [Journal]
  34. Denis Lugiez, Peter Niebert, Sarah Zennou
    A partial order semantics approach to the clock explosion problem of timed automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:345, n:1, pp:27-59 [Journal]
  35. Denis Lugiez, Ph. Schnoebelen
    The regular viewpoint on PA-processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:274, n:1-2, pp:89-115 [Journal]
  36. Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch
    Towards an Automatic Analysis of Web Service Security. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:133-147 [Conf]
  37. Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch
    Verifying Cryptographic Protocols with Subterms Constraints. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:181-195 [Conf]
  38. 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]

  39. Fixing Collaborative Edition on Typed Documents. [Citation Graph (, )][DBLP]


  40. Collaborative peer to peer edition: Avoiding conflicts is better than solving conflicts. [Citation Graph (, )][DBLP]


  41. Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order. [Citation Graph (, )][DBLP]


  42. Peer to Peer Optimistic Collaborative Editing on XML-like trees [Citation Graph (, )][DBLP]


  43. Research report : Collaborative Peer 2 Peer Edition: Avoiding Conflicts is Better than Solving Conflicts [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.456secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002