E-LIB Suche - Ergebnisse für: Lugiez, Denis

1

Complexity of modal logics with Presburger constraints:

Demri, Stéphane ; Lugiez, Denis
Journal of Applied Logic. 8 (2010) 3 - p. 233-252 , 2010

2

Symbolic protocol analysis for monoidal equational theories:

Delaune, Stéphanie ; Lafourcade, Pascal ; Lugiez, Denis.
Information and Computation. 206 (2008) 2-4 - p. 312-351 , 2008

Link: https://doi.org/10.1016/..

3

Intruder deduction for the equational theory of Abelian gro..:

Lafourcade, Pascal ; Lugiez, Denis ; Treinen, Ralf
Information and Computation. 205 (2007) 4 - p. 581-623 , 2007

Link: https://doi.org/10.1016/..

4

XML schema, tree logic and sheaves automata:

Zilio, Silvano Dal ; Lugiez, Denis
Applicable Algebra in Engineering, Communication and Computing. 17 (2006) 5 - p. 337-377 , 2006

Link: https://doi.org/10.1007/..

5

Multitree automata that count:

Lugiez, Denis
Theoretical Computer Science. 333 (2005) 1-2 - p. 225-263 , 2005

Link: https://doi.org/10.1016/..

6

Decidable first-order transition logics for PA-processes:

Lugiez, Denis ; Schnoebelen, Philippe
Information and Computation. 203 (2005) 1 - p. 75-113 , 2005

Link: https://doi.org/10.1016/..

7

A logic you can count on:

Dal Zilio, Silvano ; Lugiez, Denis ; Meyssonnier, Charles
ACM SIGPLAN Notices. 39 (2004) 1 - p. 135-146 , 2004

Link: https://doi.org/10.1145/..

8

A logic you can count on:

, In: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Dal Zilio, Silvano ; Lugiez, Denis ; Meyssonnier, Charles - p. 135-146 , 2004

Link: https://dl.acm.org/doi/1..

9

CONCUR 2003 - Concurrency Theory

14th International Conference, Marseille, France, September... Lecture Notes in Computer Science ; 2761

Amadio, Roberto ; Lugiez, Denis , 2003

Link: https://doi.org/10.1007/..

10

On the symbolic reduction of processes with cryptographic f..:

Amadio, Roberto M. ; Lugiez, Denis ; Vanackère, Vincent
Theoretical Computer Science. 290 (2003) 1 - p. 695-740 , 2003

Link: https://doi.org/10.1016/..

11

A knowledge-based system for computer algebra:

Calmet, Jacques ; Lugiez, Denis
ACM SIGSAM Bulletin. 21 (1987) 1 - p. 7-13 , 1987

Link: https://doi.org/10.1145/..

12

A knowledge-based system for computer algebra:

Calmet, Jacques ; Lugiez, Denis
ACM SIGSAM Bulletin. 21 (1987) 1 - p. 7-13 , 1987

Link: https://dl.acm.org/doi/1..

13

On Symbolic Heaps Modulo Permission Theories:

Demri, Stéphane ; Lozes, Etienne ; Lugiez, Denis
Is Part Of LIPIcs, Volume 93, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017). , 2018

Link: https://doi.org/10.4230/..

14

On Symbolic Heaps Modulo Permission Theories:

Demri, S ; Lozes, E ; Lugiez, Denis
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSTTCS.2017.25. , 2017

Link: https://hal-amu.archives..

15

On Symbolic Heaps Modulo Permission Theories:

Demri, S ; Lozes, E ; Lugiez, Denis
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSTTCS.2017.25. , 2017

Link: https://amu.hal.science/..