BibTeX records: Vincent Hugot

download as .bib file

@article{DBLP:journals/iandc/BoiretHNT17,
  author    = {Adrien Boiret and
               Vincent Hugot and
               Joachim Niehren and
               Ralf Treinen},
  title     = {Automata for unordered trees},
  journal   = {Inf. Comput.},
  volume    = {253},
  pages     = {304--335},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.ic.2016.07.012},
  doi       = {10.1016/j.ic.2016.07.012},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/BoiretHNT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HeamHK17,
  author    = {Pierre{-}Cyrille H{\'{e}}am and
               Vincent Hugot and
               Olga Kouchnarenko},
  title     = {The emptiness problem for tree automata with at least one global disequality
               constraint is NP-hard},
  journal   = {Inf. Process. Lett.},
  volume    = {118},
  pages     = {6--9},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.ipl.2016.09.007},
  doi       = {10.1016/j.ipl.2016.09.007},
  timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/HeamHK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/HugotBN17,
  author    = {Vincent Hugot and
               Adrien Boiret and
               Joachim Niehren},
  title     = {Equivalence of Symbolic Tree Transducers},
  booktitle = {Developments in Language Theory - 21st International Conference, {DLT}
               2017, Li{\`{e}}ge, Belgium, August 7-11, 2017, Proceedings},
  pages     = {109--121},
  year      = {2017},
  crossref  = {DBLP:conf/dlt/2017},
  url       = {https://doi.org/10.1007/978-3-319-62809-7\_7},
  doi       = {10.1007/978-3-319-62809-7\_7},
  timestamp = {Fri, 21 Jul 2017 14:27:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlt/HugotBN17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BoiretHNT15,
  author    = {Adrien Boiret and
               Vincent Hugot and
               Joachim Niehren and
               Ralf Treinen},
  title     = {Logics for Unordered Trees with Data Constraints on Siblings},
  booktitle = {Language and Automata Theory and Applications - 9th International
               Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
  pages     = {175--187},
  year      = {2015},
  crossref  = {DBLP:conf/lata/2015},
  url       = {https://doi.org/10.1007/978-3-319-15579-1\_13},
  doi       = {10.1007/978-3-319-15579-1\_13},
  timestamp = {Wed, 24 May 2017 08:29:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lata/BoiretHNT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BoiretHNT14,
  author    = {Adrien Boiret and
               Vincent Hugot and
               Joachim Niehren and
               Ralf Treinen},
  title     = {Deterministic Automata for Unordered Trees},
  booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
               and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
               2014.},
  pages     = {189--202},
  year      = {2014},
  crossref  = {DBLP:journals/corr/PeronP14},
  url       = {https://doi.org/10.4204/EPTCS.161.17},
  doi       = {10.4204/EPTCS.161.17},
  timestamp = {Mon, 13 Aug 2018 16:47:35 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BoiretHNT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HeamHK14,
  author    = {Pierre{-}Cyrille H{\'{e}}am and
               Vincent Hugot and
               Olga Kouchnarenko},
  title     = {The Emptiness Problem for Tree Automata with at Least One Disequality
               Constraint is NP-hard},
  journal   = {CoRR},
  volume    = {abs/1412.0839},
  year      = {2014},
  url       = {http://arxiv.org/abs/1412.0839},
  archivePrefix = {arXiv},
  eprint    = {1412.0839},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HeamHK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Hugot13,
  author    = {Vincent Hugot},
  title     = {Tree automata, approximations, and constraints for verification :
               Tree (Not quite) regular model-checking. (Automates d'arbres, approximations
               et contraintes pour la v{\'{e}}rification : Model-checking d'arbres
               (pas tout {\`{a}} fait) r{\'{e}}gulier)},
  school    = {University of Franche-Comt{\'{e}}, Besan{\c{c}}on, France},
  year      = {2013},
  url       = {https://tel.archives-ouvertes.fr/tel-00909608},
  timestamp = {Tue, 28 Jun 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Hugot13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HeamHK12,
  author    = {Pierre{-}Cyrille H{\'{e}}am and
               Vincent Hugot and
               Olga Kouchnarenko},
  title     = {Loops and overloops for Tree-Walking Automata},
  journal   = {Theor. Comput. Sci.},
  volume    = {450},
  pages     = {43--53},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.tcs.2012.04.026},
  doi       = {10.1016/j.tcs.2012.04.026},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/HeamHK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HeamHK12,
  author    = {Pierre{-}Cyrille H{\'{e}}am and
               Vincent Hugot and
               Olga Kouchnarenko},
  title     = {From Linear Temporal Logic Properties to Rewrite Propositions},
  booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
               2012, Manchester, UK, June 26-29, 2012. Proceedings},
  pages     = {316--331},
  year      = {2012},
  crossref  = {DBLP:conf/cade/2012},
  url       = {https://doi.org/10.1007/978-3-642-31365-3\_25},
  doi       = {10.1007/978-3-642-31365-3\_25},
  timestamp = {Mon, 13 Nov 2017 16:57:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/HeamHK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/HeamHK12,
  author    = {Pierre{-}Cyrille H{\'{e}}am and
               Vincent Hugot and
               Olga Kouchnarenko},
  title     = {On Positive {TAGED} with a Bounded Number of Constraints},
  booktitle = {Implementation and Application of Automata - 17th International Conference,
               {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  pages     = {329--336},
  year      = {2012},
  crossref  = {DBLP:conf/wia/2012},
  url       = {https://doi.org/10.1007/978-3-642-31606-7\_29},
  doi       = {10.1007/978-3-642-31606-7\_29},
  timestamp = {Thu, 15 Jun 2017 21:43:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wia/HeamHK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/HeamHK11,
  author    = {Pierre{-}Cyrille H{\'{e}}am and
               Vincent Hugot and
               Olga Kouchnarenko},
  title     = {Loops and Overloops for Tree Walking Automata},
  booktitle = {Implementation and Application of Automata - 16th International Conference,
               {CIAA} 2011, Blois, France, July 13-16, 2011. Proceedings},
  pages     = {166--177},
  year      = {2011},
  crossref  = {DBLP:conf/wia/2011},
  url       = {https://doi.org/10.1007/978-3-642-22256-6\_16},
  doi       = {10.1007/978-3-642-22256-6\_16},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wia/HeamHK11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/HeamHK10,
  author    = {Pierre{-}Cyrille H{\'{e}}am and
               Vincent Hugot and
               Olga Kouchnarenko},
  title     = {{SAT} Solvers for Queries over Tree Automata with Constraints},
  booktitle = {Third International Conference on Software Testing, Verification and
               Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
               Proceedings},
  pages     = {343--348},
  year      = {2010},
  crossref  = {DBLP:conf/icst/2010w},
  url       = {https://doi.org/10.1109/ICSTW.2010.17},
  doi       = {10.1109/ICSTW.2010.17},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/HeamHK10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlt/2017,
  editor    = {{\'{E}}milie Charlier and
               Julien Leroy and
               Michel Rigo},
  title     = {Developments in Language Theory - 21st International Conference, {DLT}
               2017, Li{\`{e}}ge, Belgium, August 7-11, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10396},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-62809-7},
  doi       = {10.1007/978-3-319-62809-7},
  isbn      = {978-3-319-62808-0},
  timestamp = {Fri, 21 Jul 2017 14:27:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlt/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lata/2015,
  editor    = {Adrian{-}Horia Dediu and
               Enrico Formenti and
               Carlos Mart{\'{\i}}n{-}Vide and
               Bianca Truthe},
  title     = {Language and Automata Theory and Applications - 9th International
               Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8977},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-15579-1},
  doi       = {10.1007/978-3-319-15579-1},
  isbn      = {978-3-319-15578-4},
  timestamp = {Wed, 24 May 2017 08:29:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lata/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/PeronP14,
  editor    = {Adriano Peron and
               Carla Piazza},
  title     = {Proceedings Fifth International Symposium on Games, Automata, Logics
               and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
               2014},
  series    = {{EPTCS}},
  volume    = {161},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.161},
  doi       = {10.4204/EPTCS.161},
  timestamp = {Mon, 13 Aug 2018 16:47:35 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/PeronP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2012,
  editor    = {Bernhard Gramlich and
               Dale Miller and
               Uli Sattler},
  title     = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
               2012, Manchester, UK, June 26-29, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7364},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31365-3},
  doi       = {10.1007/978-3-642-31365-3},
  isbn      = {978-3-642-31364-6},
  timestamp = {Mon, 13 Nov 2017 16:57:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wia/2012,
  editor    = {Nelma Moreira and
               Rog{\'{e}}rio Reis},
  title     = {Implementation and Application of Automata - 17th International Conference,
               {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7381},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31606-7},
  doi       = {10.1007/978-3-642-31606-7},
  isbn      = {978-3-642-31605-0},
  timestamp = {Thu, 15 Jun 2017 21:43:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wia/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wia/2011,
  editor    = {B{\'{e}}atrice Bouchou{-}Markhoff and
               Pascal Caron and
               Jean{-}Marc Champarnaud and
               Denis Maurel},
  title     = {Implementation and Application of Automata - 16th International Conference,
               {CIAA} 2011, Blois, France, July 13-16, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6807},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22256-6},
  doi       = {10.1007/978-3-642-22256-6},
  isbn      = {978-3-642-22255-9},
  timestamp = {Thu, 25 May 2017 00:43:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wia/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2010w,
  title     = {Third International Conference on Software Testing, Verification and
               Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
               Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5463512},
  isbn      = {978-0-7695-4050-4},
  timestamp = {Mon, 11 May 2015 16:37:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2010w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier