@inproceedings{conf/icisp/LugiezME08,
	title = {Dynamic Color Texture Modeling and Color Video Decomposition Using Bounded Variation and Oscillatory Functions.},
	author = {Mathieu Lugiez and Michel Ménard and Abdallah El-Hamidi},
	booktitle = {ICISP},
	pages = {29-37},
	url = {http://dblp.uni-trier.de/db/conf/icisp/icisp2008.html#LugiezME08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2cea13d142d10b654d93bd32c1264acda/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-69905-7_4}, date = {2008-07-10},
	keywords = {dblp }
}

@article{journals/iandc/DelauneLLT08,
	title = {Symbolic protocol analysis for monoidal equational theories.},
	author = {Stéphanie Delaune and Pascal Lafourcade and Denis Lugiez and Ralf Treinen},
	journal = {Inf. Comput.},
	number = {2-4},
	pages = {312-351},
	url = {http://dblp.uni-trier.de/db/journals/iandc/iandc206.html#DelauneLLT08},
	volume = {206},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2619891c37900fa9508c08074194cb9dd/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.ic.2007.07.005}, date = {2008-06-12},
	keywords = {dblp }
}

@inproceedings{conf/lpar/ChevalierLR07,
	title = {Verifying Cryptographic Protocols with Subterms Constraints.},
	author = {Yannick Chevalier and Denis Lugiez and Michaël Rusinowitch},
	booktitle = {LPAR},
	crossref = {conf/lpar/2007},
	editor = {Nachum Dershowitz and Andrei Voronkov},
	pages = {181-195},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2007.html#ChevalierLR07},
	volume = {4790},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/27028c1033f8ba2b052f0047eb928786b/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-75560-9_15}, isbn = {978-3-540-75558-6}, date = {2007-10-19},
	keywords = {dblp }
}

@inproceedings{conf/frocos/ChevalierLR07,
	title = {Towards an Automatic Analysis of Web Service Security.},
	author = {Yannick Chevalier and Denis Lugiez and Michaël Rusinowitch},
	booktitle = {FroCos},
	crossref = {conf/frocos/2007},
	editor = {Boris Konev and Frank Wolter},
	pages = {133-147},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2007.html#ChevalierLR07},
	volume = {4720},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/271e50e7ee21950407ff8b6da366f8262/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-74621-8_9}, isbn = {978-3-540-74620-1}, date = {2007-08-29},
	keywords = {dblp }
}

@article{journals/iandc/LafourcadeLT07,
	title = {Intruder deduction for the equational theory of Abelian groups with distributive encryption.},
	author = {Pascal Lafourcade and Denis Lugiez and Ralf Treinen},
	journal = {Inf. Comput.},
	number = {4},
	pages = {581-623},
	url = {http://dblp.uni-trier.de/db/journals/iandc/iandc205.html#LafourcadeLT07},
	volume = {205},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2067d86baf9da6a89af559f7d2e5a60df/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.ic.2006.10.008}, date = {2007-06-19},
	keywords = {dblp }
}

@article{journals/dm/Lugiez85,
	title = {Fast Hensel's lifting implementation using partial fraction decomposition.},
	author = {D. Lugiez},
	journal = {Discrete Mathematics},
	number = {2-3},
	pages = {217-225},
	url = {http://dblp.uni-trier.de/db/journals/dm/dm56.html#Lugiez85},
	volume = {56},
	year = {1985},
	biburl = {http://www.bibsonomy.org/bibtex/278e0360fb4ebbdc5109530f229910771/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/0012-365X(85)90028-7}, date = {2007-06-16},
	keywords = {dblp }
}

@inproceedings{conf/cade/DemriL06,
	title = {Presburger Modal Logic Is PSPACE-Complete.},
	author = {Stéphane Demri and Denis Lugiez},
	booktitle = {IJCAR},
	crossref = {conf/cade/2006},
	editor = {Ulrich Furbach and Natarajan Shankar},
	pages = {541-556},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2006.html#DemriL06},
	volume = {4130},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/26fd31608e7a912de5c997973ba8c6df7/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/11814771_44}, isbn = {3-540-37187-7}, date = {2006-11-22},
	keywords = {dblp }
}

@inproceedings{conf/icalp/DelauneLLT06,
	title = {Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or.},
	author = {Stéphanie Delaune and Pascal Lafourcade and Denis Lugiez and Ralf Treinen},
	booktitle = {ICALP (2)},
	crossref = {conf/icalp/2006-2},
	editor = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener},
	pages = {132-143},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2006-2.html#DelauneLLT06},
	volume = {4052},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2dd6b47889f7900bdb503df2cd8f5fe4c/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/11787006_12}, isbn = {3-540-35907-9}, date = {2006-07-03},
	keywords = {dblp }
}

@article{journals/iandc/LugiezS05,
	title = {Decidable first-order transition logics for PA-processes.},
	author = {Denis Lugiez and Ph. Schnoebelen},
	journal = {Inf. Comput.},
	number = {1},
	pages = {75-113},
	url = {http://dblp.uni-trier.de/db/journals/iandc/iandc203.html#LugiezS05},
	volume = {203},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2568c860a32e606aebfc72aa508e383ae/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.ic.2005.02.003}, date = {2006-02-22},
	keywords = {dblp }
}

@inproceedings{conf/popl/Dal-ZilioLM04,
	title = {A logic you can count on.},
	author = {Silvano Dal-Zilio and Denis Lugiez and Charles Meyssonnier},
	booktitle = {POPL},
	crossref = {conf/popl/2004},
	editor = {Neil D. Jones and Xavier Leroy},
	pages = {135-146},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/popl/popl2004.html#Dal-ZilioLM04},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/2786ddd51f136513790b51beb9fdca582/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/964001.964013}, isbn = {1-58113-729-X}, date = {2006-02-15},
	keywords = {dblp }
}