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"
}