BibSonomy :: author  :: Lugiez ::

bookmarks

publications

(75)

• Dynamic Color Texture Modeling and Color Video Decomposition Using Bounded Variation and Oscillatory Functions.
  Mathieu Lugiez and Michel Ménard and Abdallah El-Hamidi ICISP 29-37 (2008)
  to dblp by dblp on 2008-07-10 00:00:00
  | URL | BibTeX  
• Symbolic protocol analysis for monoidal equational theories.
  Stéphanie Delaune and Pascal Lafourcade and Denis Lugiez and Ralf Treinen Inf. Comput. 206 312-351 (2008)
  to dblp by dblp on 2008-06-12 00:00:00
  | URL | BibTeX  
• Verifying Cryptographic Protocols with Subterms Constraints.
  Yannick Chevalier and Denis Lugiez and Michaël Rusinowitch LPAR 181-195 (2007)
  to dblp by dblp on 2007-10-19 00:00:00
  | URL | BibTeX  
• Towards an Automatic Analysis of Web Service Security.
  Yannick Chevalier and Denis Lugiez and Michaël Rusinowitch FroCos 133-147 (2007)
  to dblp by dblp on 2007-08-29 00:00:00
  | URL | BibTeX  
• Intruder deduction for the equational theory of Abelian groups with distributive encryption.
  Pascal Lafourcade and Denis Lugiez and Ralf Treinen Inf. Comput. 205 581-623 (2007)
  to dblp by dblp on 2007-06-19 00:00:00
  | URL | BibTeX  
• Fast Hensel's lifting implementation using partial fraction decomposition.
  D. Lugiez Discrete Mathematics 56 217-225 (1985)
  to dblp by dblp on 2007-06-16 00:00:00
  | URL | BibTeX  
• Presburger Modal Logic Is PSPACE-Complete.
  Stéphane Demri and Denis Lugiez IJCAR 541-556 (2006)
  to dblp by dblp on 2006-11-22 00:00:00
  | URL | BibTeX  
• Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or.
  Stéphanie Delaune and Pascal Lafourcade and Denis Lugiez and Ralf Treinen ICALP (2) 132-143 (2006)
  to dblp by dblp on 2006-07-03 00:00:00
  | URL | BibTeX  
• Decidable first-order transition logics for PA-processes.
  Denis Lugiez and Ph. Schnoebelen Inf. Comput. 203 75-113 (2005)
  to dblp by dblp on 2006-02-22 00:00:00
  | URL | BibTeX  
• A logic you can count on.
  Silvano Dal-Zilio and Denis Lugiez and Charles Meyssonnier POPL 135-146 (2004)
  to dblp by dblp on 2006-02-15 00:00:00
  | URL | BibTeX