dblp.uni-trier.dewww.uni-trier.de

Denis Lugiez Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

Coauthor Index

1Roberto M. Amadio [19] [24] [27]
2Ali Amaniss [14]
3Jacques Calmet [4]
4Yannick Chevalier [38] [39]
5Hubert Comon-Lundh (Hubert Comon) [4] [6]
6Silvano Dal-Zilio [25] [29]
7Stéphanie Delaune [36] [40]
8Stéphane Demri [35]
9Miki Hermann [14]
10Michaela Huhn [21]
11Emmanuel Kounalis [7] [8] [9]
12Pascal Lafourcade [34] [36] [37] [40]
13Stéphane Martin [41]
14Charles Meyssonnier [29]
15J. L. Moysset [10] [11]
16Peter Niebert [21] [23] [28] [31]
17Loic Pottier [8] [9]
18Michaël Rusinowitch [15] [20] [38] [39]
19Ph. Schnoebelen [6] [17] [18] [22] [33]
20Ralf Treinen [34] [36] [37] [40]
21Vincent Vanackère [24]
22Rakesh M. Verma [15] [20]
23Sarah Zennou [21] [23] [28] [31]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)