PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lugiez, Denis"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic protocol analysis for monoidal equational theories.

, , , and . Inf. Comput., 206 (2-4): 312-351 (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Denis Dertli University of Stuttgart

Pavel Denisov University of Stuttgart

Denis Ouedraogo University of Stuttgart

Denis Schwachhofer University of Stuttgart

Denis Acker University of Stuttgart

 

Other publications of authors with the same name

A Rewrite-Based Type Discipline for a Subset of Computer Algebra., , and . J. Symb. Comput., 11 (4): 349-368 (1991)On the symbolic reduction of processes with cryptographic functions., , and . Theor. Comput. Sci., 290 (1): 695-740 (2003)A knowledge-based system for computer algebra., and . ACM SIGSAM Bulletin, 21 (1): 7-13 (1987)Counting and Equality Constraints for Multitree Automata.. FoSSaCS, volume 2620 of Lecture Notes in Computer Science, page 328-342. Springer, (2003)Decidable First-Order Transition Logics for PA-Processes., and . ICALP, volume 1853 of Lecture Notes in Computer Science, page 342-353. Springer, (2000)A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata., , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 296-311. Springer, (2004)Algorithms and Reductions for Rewriting Problems., , and . RTA, volume 1379 of Lecture Notes in Computer Science, page 166-180. Springer, (1998)XML Schema, Tree Logic and Sheaves Automata., and . RTA, volume 2706 of Lecture Notes in Computer Science, page 246-263. Springer, (2003)Complexity of modal logics with Presburger constraints., and . J. Applied Logic, 8 (3): 233-252 (2010)Research report : Collaborative Peer 2 Peer Edition: Avoiding Conflicts is Better than Solving Conflicts, and . CoRR, (2009)