BibSonomy publications for /author/Lugiez http://www.bibsonomy.org/author/Lugiez BibSonomy RSS Feed for /author/Lugiez Dynamic Color Texture Modeling and Color Video Decomposition Using Bounded Variation and Oscillatory Functions. dblp http://www.bibsonomy.org/bibtex/2cea13d142d10b654d93bd32c1264acda/dblp dblp 2008-07-10T00:00:00+02:00 dblp
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
]]> Symbolic protocol analysis for monoidal equational theories. dblp http://www.bibsonomy.org/bibtex/2619891c37900fa9508c08074194cb9dd/dblp dblp 2008-06-12T00:00:00+02:00 dblp
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
]]> Verifying Cryptographic Protocols with Subterms Constraints. dblp http://www.bibsonomy.org/bibtex/27028c1033f8ba2b052f0047eb928786b/dblp dblp 2007-10-19T00:00:00+02:00 dblp
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
]]> Towards an Automatic Analysis of Web Service Security. dblp http://www.bibsonomy.org/bibtex/271e50e7ee21950407ff8b6da366f8262/dblp dblp 2007-08-29T00:00:00+02:00 dblp
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
]]> Intruder deduction for the equational theory of Abelian groups with distributive encryption. dblp http://www.bibsonomy.org/bibtex/2067d86baf9da6a89af559f7d2e5a60df/dblp dblp 2007-06-19T00:00:00+02:00 dblp
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
]]> Fast Hensel's lifting implementation using partial fraction decomposition. dblp http://www.bibsonomy.org/bibtex/278e0360fb4ebbdc5109530f229910771/dblp dblp 2007-06-16T00:00:00+02:00 dblp
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
]]> Presburger Modal Logic Is PSPACE-Complete. dblp http://www.bibsonomy.org/bibtex/26fd31608e7a912de5c997973ba8c6df7/dblp dblp 2006-11-22T00:00:00+01:00 dblp
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
]]> Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or. dblp http://www.bibsonomy.org/bibtex/2dd6b47889f7900bdb503df2cd8f5fe4c/dblp dblp 2006-07-03T00:00:00+02:00 dblp
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
]]> Decidable first-order transition logics for PA-processes. dblp http://www.bibsonomy.org/bibtex/2568c860a32e606aebfc72aa508e383ae/dblp dblp 2006-02-22T00:00:00+01:00 dblp
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
]]> A logic you can count on. dblp http://www.bibsonomy.org/bibtex/2786ddd51f136513790b51beb9fdca582/dblp dblp 2006-02-15T00:00:00+01:00 dblp
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
]]>