Person: Denis Lugiez

DBLP: Lugiez:Denis

Contributed to:

2006

2006

2005

2004

2004

2004

2003

2003

2000

1998

1998

1991

1997

Wrote 13 papers:

ICALP-v2-2006-DelauneLLT #analysis #morphism #protocol

Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or (SD, PL, DL, RT), pp. 132–143.

IJCAR-2006-DemriL #logic

Presburger Modal Logic Is PSPACE-Complete (SD, DL), pp. 541–556.

RTA-2005-LafourcadeLT #deduction #equation #morphism

Intruder Deduction for AC-Like Equational Theories with Homomorphisms (PL, DL, RT), pp. 308–322.

CIAA-2004-Lugiez #automaton #linear #logic #set

From Automata to Semilinear Sets: A Logical Solution for Sets L(C, P) (DL), pp. 321–322.

POPL-2004-Dal-ZilioLM #logic

A logic you can count on (SDZ, DL, CM), pp. 135–146.

TACAS-2004-LugiezNZ #approach #automaton #explosion #partial order #problem #semantics

A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata (DL, PN, SZ), pp. 296–311.

FoSSaCS-2003-Lugiez #automaton #constraints #multi #similarity

Counting and Equality Constraints for Multitree Automata (DL), pp. 328–342.

RTA-2003-Dal-ZilioL #automaton #logic #xml

XML Schema, Tree Logic and Sheaves Automata (SDZ, DL), pp. 246–263.

ICALP-2000-LugiezS #decidability #first-order #logic

Decidable First-Order Transition Logics for PA-Processes (DL, PS), pp. 342–353.

ICALP-1998-Lugiez #automaton #induction #proving #theorem proving

A Good Class of Tree Automata and Application to Inductive Theorem Proving (DL), pp. 409–420.

RTA-1998-VermaRL #algorithm #problem #reduction

Algorithms and Reductions for Rewriting Problems (RMV, MR, DL), pp. 166–180.

CAAP-1991-KounalisL #commutative #compilation #pattern matching

Compilation of Pattern Matching with Associative-Commutative Functions (EK, DL), pp. 57–73.

TAPSOFT-1997-AmanissHL #set

Set Operations for Recurrent Term Schematizations (AA, MH, DL), pp. 333–344.