Publications de Hubert Comon 1989--1999 (BibTeX)
Last update: April, 2000
@Article{comon99constraints,
author = "H. Comon and M. Dincbas and J.-P. Jouannaud and C.
Kirchner",
title = "A methodological view of constraint solving",
journal = constraints,
volume = "4",
number = "4",
pages = "337--361",
year = "1999",
URL = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/Com-constraints.ps"
}
@Inproceedings{comon99concur,
author = {Hubert Comon and Yan Jurski},
title = {Timed Automata and the Theory of Real Numbers},
booktitle = {Proc. Conf. on Concurrency theory},
year = 1999,
address = {Eindhoven},
volume = "1664",
publisher = SV,
pages = "242--257",
year = "1999",
series = lncs,
URL = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/ComJur-concur99.ps"
}
@InProceedings{comon98rta,
author = {Hubert Comon and Robert Nieuwenhuis},
title = {About Proofs by Consistency},
booktitle = {Rewriting Techniques and Applications},
year = 1998,
address = {Tsukuba, Japan},
note = {Invited lecture given at the conference. The full paper
can be found at http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-1998-9.rr.ps}.
}
@InProceedings{comon98lics,
author = {Hubert Comon and Paliath Narendran and Robert Nieuwenhuis and Michael Rusinowitch},
title = {Decision problems in ordered rewriting},
booktitle = {Proc. IEEE Symp. Logic in Computer Science},
year = 1998,
address = {Indianapolis}
}
@InProceedings{comon98cav,
author = {H. Comon and Y. Jurski},
title = {Multiple counters automata, safety analysis and Presburger arithmetic},
booktitle = {Proc. Computer Aided Verification},
pages = {268--279},
year = 1998,
editor = {A. Hu and M. Vardi},
volume = 1427,
series = {LNCS},
address = {Vancouver},
publisher = {Springer-Verlag}
}
@InProceedings{comon97lics,
author = {Hubert Comon and Florent Jacquemard},
title = {Ground Reducibility is EXPTIME-complete},
booktitle = {Proc. IEEE Symp. on Logic in Computer Science},
year = 1997,
DMI-category = "intc",
publisher = {IEEE Comp. Soc. Press},
address = {Varsaw},
month = {June}
}
@Article{comon97ic,
author = {H. Comon},
title = {Sequentiality, Monadic Second Order Logic and Tree Automata},
journal = "Information and Computation",
year = 2000,
volume = "157",
pages = "25--51",
URL = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/Com-sequentiality-ic.ps"
}
@InProceedings{comon97csl,
author = {Hubert Comon and Yan Jurski},
title = {Higher-order matching and tree automata},
booktitle = {Proc. Conf. on Computer Science Logic},
year = 1997,
pages = {157--176},
editor = {M. Nielsen and W. Thomas},
volume = 1414,
series = {LNCS},
address = {Aarhus},
publisher = {Springer-Verlag},
DMI-category = "invi",
month = aug
}
@Article{comon97ic,
author = {H. Comon},
title = {Sequentiality, Monadic Second Order Logic and Tree Automata},
journal = "Information and Computation",
year = 1997,
DMI-category = "jour",
note = {To appear}
}
@Article{comon97jsc1,
author = "H.~Comon",
title = "Completion of Rewrite systems with membership constraints. {Part I}: deduction rules",
note = "This is a first part of a paper whose abstract
appeared in Proc. {ICALP 92}, Vienna. To appear
in the Journal of Symbolic Computation",
year = 1998,
volume = "25",
pages = "397--419",
journal = "Journal of Symb. Computation"
}
@Article{comon97jsc2,
author = "H.~Comon",
title = "Completion of Rewrite systems with membership
constraints. {Part II}: Constraint Solving",
note = "This is the second part of a paper whose abstract
appeared in Proc. {ICALP 92}, Vienna.",
year = 1998,
volume = "25",
pages = "421--453",
journal = "Journal of Symb. Computation",
}
@InProceedings{comon97lics,
author = {Hubert Comon and Florent Jacquemard},
title = {Ground Reducibility is EXPTIME-complete},
booktitle = {Proc. IEEE Symp. on Logic in Computer Science},
year = 1997,
DMI-category = "intc",
publisher = {IEEE Comp. Soc. Press},
address = {Varsaw},
month = {June},
}
@Article{comon97tcs,
author = {Hubert Comon and Ralf Treinen},
title = {The First-Order Theory
of Lexicographic Path
Orderings is Undecidable},
journal = tcs,
volume = 176,
month = apr,
year = 1997,
DMI-category = "jour"
@InProceedings{boudet96caap,
author = "Alexandre Boudet and Hubert Comon",
title = "Diophantine equations, {Presburger} arithmetic and
finite automata",
editor = "H. Kirchner",
series = "Lecture Notes in Computer Science",
volume = 1059,
publisher = "Springer Verlag",
pages = "30--43",
DMI-category = "intc",
booktitle = "Proc. Coll. on Trees in Algebra and Programming (CAAP'96)",
year = 1996
}
@Unpublished{comon95constraints,
author = "Hubert Comon and Mehmet Dincbas and Jean-Pierre
Jouannaud and Claude Kirchner",
topics = "team, constraints,cclserver",
title = "A methodological view of constraint solving",
note = "To appear in Constraints",
year = 1995,
month = "May",
ftp = "http://www.lsv.ens-cachan.fr/~comon/cacm.ps",
abstract = "http://www.lri.fr/~jouannau/abstracts/mvcs.html",
}
@InProceedings{comon95lics,
author = "Hubert Comon and Robert Nieuwenhuis and Albert Rubio",
topics = "team, constraints, cclserver",
title = "Orderings, {AC}-Theories and Symbolic Constraint Solving",
crossref = "lics95",
year = 1995,
pages = "375--385",
ftp = "http://http.lsv.ens-cachan.fr/~comon/ftp.articles/lics95.ps",
abstract = "http://www.lsv.ens-cachan.fr/~comon/comon95licsb.html",
}
@InProceedings{comon95licsa,
author = "Hubert Comon",
title = "Sequentiality, second-order monadic logic and
tree automata",
crossref = "lics95",
topics = "team, rewriting,cclserver",
year = 1995,
pages = "508--517",
ftp = "http://http.lsv.ens-cachan.fr/~comon/ftp.articles/sequentiality.ps",
abstract = "http://www.lsv.ens-cachan.fr/~comon/comon95licsa.html"
}
@Article{comon95mst,
author = "Hubert Comon",
topics = "unification, team,cclserver",
title = "On Unification of Terms with Integer Exponents",
journal = "Math. Systems Theory",
year = 1995,
volume = 28,
pages = "67--88",
ftp = "http://www.lsv.ens-cachan.fr/~comon/ftp.articles/iterms.ps"
}
@InProceedings{comon95kyoto,
author = "Hubert Comon",
title = "Sequentiality, Second-Order Monadic Logic and Tree automata",
editor = " Y. Toyama",
booktitle = "Theory of Rewriting Systems and Its Applications",
year = 1995,
publisher = "Research Institute for Mathematical Sciences, Kyoto Univ.",
address = "Kyoto, Japan",
month = aug,
DMI-category = "invi"
}
@Misc{boudet95notes,
author = "Alexandre Boudet and Hubert Comon",
title = "R{\'e}solution de contraintes symboliques",
howpublished = "Notes du cours de DEA d'informatique de Paris 11",
year = 1995,
DMI-CATEGORY = "cour"
}
@Misc{comon95notes,
author = "Hubert Comon and Jean-Pierre Jouannaud",
title = "Les termes en logique et en programmation",
howpublished = "Notes du cours de DEA S{\'e}mantique, preuves et programmation",
year = 1995,
DMI-CATEGORY = "cour"
}
@Article{comon94ic,
author = "Hubert Comon and Marianne Haberstrau and Jean-Pierre Jouannaud",
title = "Syntacticness, Cycle-Syntacticness and Shallow Theories",
journal = "Information and Computation",
year = 1994,
volume = 111,
number = 1,
pages = "154--191",
month = may,
DMI-category = "jour"
}
@Article{comon94osa,
author = "Hubert Comon and Catherine Delor",
title = "Equational Formulae with Membership Constraints",
journal = "Information and Computation",
year = 1994,
volume = 112,
number = 2,
pages = "167--216",
month = aug,
DMI-category = "jour"
}
@InProceedings{caron94icalp,
author = "A.-C. Caron and H. Comon and J.-L. Coquid{\'e} and M.
Dauchet and F. Jacquemard",
title = "Pumping, Cleaning and Symbolic Constraints Solving",
booktitle = "Proc. Int. Conference on Algorithms, Languages and
Programming",
series = "Lecture Notes in Computer Science",
volume = 820,
pages = "436--449",
publisher = "Springer Verlag",
year = 1994,
DMI-category = "intc",
address = "Jerusalem",
month = jul
}
@InProceedings{comon94stacs,
author = "Hubert Comon and Florent Jacquemard",
title = "Ground Reducibility and automata with disequality constraints",
booktitle = "Proc. 11th Symp. on Theoretical Aspects of Computer Science",
year = 1994,
editor = "P. Enjalbert",
series = "Lecture Notes in Computer Science",
volume = 775,
publisher = "Springer Verlag",
pages = "151--162",
DMI-category = "intc",
address = "Caen"
}
@InProceedings{comon94caap,
author = "Hubert Comon and Ralf Treinen",
title = "Ordering Constraints on Trees",
booktitle = "Colloquium on Trees in Algebra and Programming",
editor = "Sophie Tison",
year = 1994,
month = "11-13 " # apr,
address = "Edinburgh, Scotland",
series = "Lecture Notes in Computer Science",
volume = 787,
publisher = "Springer Verlag",
pages = "1--14",
DMI-category = "invi"
}
@Inproceedings{comon94ecole,
author = "H. Comon",
title = "Inductionless Induction",
DMI-category = "cour",
booktitle = "2nd International Conference in Logic For Computer
Science: Automated Deduction. Lecture notes.",
year = 1994,
publisher = "Univ. de Savoie",
editor = "Ren\'e David",
address = "Chamb{\'e}ry",
month = jul
}
@Misc{cerrito94notes,
author = "Sernella Cerrito and Hubert Comon and Claude Cr{\'e}peau",
title = "Calculabilit{\'e} et Complexit{\'e}. ",
howpublished = "Notes du cours
de C3, maitrise d'informatique de Paris 11",
year = 1994,
ftp = "http://www.lsv.ens-cachan.fr/~comon/ftp.articles/poly-calculabilite.ps",
DMI-CATEGORY = "cour"
}
@Article{comon93tcs,
author = "Hubert Comon",
title = "Complete axiomatizations of some quotient term algebras",
journal = tcs,
year = 1993,
volume = 118,
number = 2,
month = sep,
DMI-category = "jour"
}
@InProceedings{boudet93caap,
author = "Alexandre Boudet and Hubert Comon",
title = "About the Theory of tree embedding",
pages = "376--390",
booktitle = "4th International Joint Conference on
Theory and Practice of Software Development",
editor = "M. C. Gaudel and J.-P. Jouannaud",
year = 1993,
month = apr,
address = "Orsay, France",
publisher = "Springer Verlag",
DMI-category = "intc",
series = "Lecture Notes in Computer Science, vol. 668"
}
@InProceedings{comon93amast,
author = "Hubert Comon",
title = "Constraints in Term Algebras (Short Survey)",
booktitle = "Proc. Conf. on Algebraic Methodology and Software
Technology",
year = 1993,
address = "Univ. of Twente",
editor = " M. Nivat, C. Rattray, T. Rus and G. Scollo",
publisher = "Springer Verlag, series Workshops in Computing",
DMI-category = "invi"
}
@InProceedings{comon92lics,
author = "Hubert Comon and Marianne Haberstrau and Jean-Pierre Jouannaud",
title = "Decidable properties of shallow equational theories",
booktitle = "Proceedings of the Seventh Annual IEEE Symposium on Logic
in Computer Science",
year = 1992,
DMI-category = "intc",
organization = "{IEEE} Comp. Soc. Press"
}
@inproceedings{comon92mfcs,
author = "Hubert Comon and Maribel Fern{\'a}ndez",
title = "Negation Elimination in Equational Formulae",
booktitle = "Mathematical Foundations of Computer Science",
year = 1992,
DMI-category = "intc",
publisher = "Springer Verlag"
}
@TechReport{comon92habil,
author = "Hubert Comon",
title = "Résolution de contraintes dans des algèbres de
termes: rapport d'habilitation",
institution = "{LRI, Univ. Paris-Sud}",
year = 1992,
number = 751,
DMI-category = "thes"
}
@InProceedings{comon92icalp,
author = "Hubert Comon",
title = "Completion of Rewrite Systems with Membership Constraints",
booktitle = "Proc. 19th Int. Coll. on Automata, Languages and
Programming, LNCS 623",
year = 1992,
editor = "W. Kuich",
publisher = "Springer Verlag",
address = "Vienna",
DMI-category = "intc"
}
@Article{comon92aila,
author = "Hubert Comon",
title = "Constraints in Term Algebras. Application to Rewrite Systems",
journal = "Atti Degli Incontri Di Logica Matematica",
year = 1992,
volume = 8,
DMI-CATEGORY = "autj",
pages = "5--17"
}
@InProceedings{comon91icalp,
author = "Hubert Comon",
title = "Complete Axiomatizations of some Quotient Term Algebras",
booktitle = "18th International Colloquium on
Automata, Languages and Programming",
address = "Madrid, Spain",
editor = "Javier Leach Albert and Burkhard Monien and M. Rodriguez Artalejo",
publisher = SV,
series = LNCS,
volume = "510",
year = 1991
}
@incollection{comon91,
author = "Hubert Comon",
booktitle = "Computational Logic: Essays in Honor of Alan Robinson",
title = "Disunification: a Survey",
year = 1991,
publisher = "{MIT} Press",
editor = "Jean-Louis Lassez and Gordon Plotkin",
ftp = "http://www.lsv.ens-cachan.fr/~comon/ftp.articles/disunification.ps"
}
@TechReport{comon91rr1,
author = "Hubert Comon",
title = "Ground Normal Forms and Inductive Proofs. Part {I}:
complement problems",
institution = lri,
year = 1991,
type = RR,
number = 698
}
@Article{comon91jsc,
author = "Hubert Comon and Denis Lugiez and Philippe Schnoebelen",
title = "A Rewrite-based Type Discipline for a Subset of
Computer Algebra",
journal = jsc,
year = 1991,
volume = 11
}
@inproceedings{comon90icalp,
author = "Hubert Comon",
title = "Equational Formulas in Order-Sorted Algebras",
booktitle = "17th International Colloquium on
Automata, Languages and Programming",
address = "Warwick, England",
editor = "M. S. Paterson",
series = LNCS,
volume = "443",
publisher = SV,
year = 1990
}
@inproceedings{comon90lics,
author = "Hubert Comon",
title = "Solving Inequations in Term Algebras",
booktitle = "Proc. 5th IEEE Symp. Logic in Computer Science, Philadelphia",
year = 1990,
month = jun
}
@Article{comon90ijfcs,
author = "Hubert Comon",
title = "Solving symbolic ordering constraints",
journal = "International Journal of Foundations of Computer
Science",
year = 1990,
volume = 1,
number = 4,
pages = "387--411",
ftp = "http://www.lsv.ens-cachan.fr/~comon/ftp.articles/inequations.ps"
}
@inproceedings{comon89rta,
author = "Hubert Comon",
title = "Inductive Proofs by Specifications Transformation",
booktitle = "Proc. 3rd Rewriting Techniques and Applications,
Chapel Hill, LNCS 355",
year = 1989,
pages = "76--91",
publisher = SV,
month = apr
}
@article{comon89jsc,
author = "Hubert Comon and Pierre Lescanne",
title = "{E}quational {P}roblems and {D}isunification",
journal = "Journal of Symbolic Computation",
year = 1989,
volume = 7,
pages = "371--425"
}
Cross references
(should always be after the other entries)
@Proceedings{comon95lncs,
title = "Term Rewriting",
booktitle = "Term Rewriting",
topics = "team, cclserver",
year = 1995,
editor = "Hubert Comon and Jean-Pierre Jouannaud",
series = "Lecture Notes in Computer Science",
volume = "909",
publisher = "{Sprin\-ger-Verlag}",
organization = "French Spring School of Theoretical Computer
Science",
type_publi = "editeur"
}
@Proceedings{lics95,
title = "Tenth Annual {IEEE} Symposium on Logic in Computer Science",
booktitle = "Tenth Annual {IEEE} Symposium on Logic in Computer Science",
editor = "Dexter Kozen",
year = 1995,
month = "June",
address = "San Diego, CA",
organization = "{IEEE} Comp. Soc. Press",
}
@Proceedings{comon97rta,
title = {Int. Conf. on Rewriting Techniques and Applications},
year = 1997,
editor = {Hubert Comon},
volume = 1232,
DMI-category = "edit",
series = {LNCS},
publisher = "Springer Verlag"
}