Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jean-Marc Talbot
@inproceedings{DBLP:conf/csl/BaudruDLMRT22,
author = {Nicolas Baudru and
Louis{-}Marie Dando and
Nathan Lhote and
Benjamin Monmege and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Florin Manea and
Alex Simpson},
title = {Weighted Automata and Expressions over Pre-Rational Monoids},
booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {216},
pages = {6:1--6:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CSL.2022.6},
doi = {10.4230/LIPICS.CSL.2022.6},
timestamp = {Thu, 27 Jan 2022 17:26:21 +0100},
biburl = {https://dblp.org/rec/conf/csl/BaudruDLMRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-12395,
author = {Nicolas Baudru and
Louis{-}Marie Dando and
Nathan Lhote and
Benjamin Monmege and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
title = {Weighted Automata and Expressions over Pre-Rational Monoids},
journal = {CoRR},
volume = {abs/2110.12395},
year = {2021},
url = {https://arxiv.org/abs/2110.12395},
eprinttype = {arXiv},
eprint = {2110.12395},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-12395.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DartoisFT19,
author = {Luc Dartois and
Emmanuel Filiot and
Jean{-}Marc Talbot},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Two-Way Parikh Automata with a Visibly Pushdown Stack},
booktitle = {Foundations of Software Science and Computation Structures - 22nd
International Conference, {FOSSACS} 2019, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
Prague, Czech Republic, April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {189--206},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_11},
doi = {10.1007/978-3-030-17127-8\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DartoisFT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LopezMT19,
author = {Th{\'{e}}odore Lopez and
Benjamin Monmege and
Jean{-}Marc Talbot},
editor = {Peter Rossmanith and
Pinar Heggernes and
Joost{-}Pieter Katoen},
title = {Determinisation of Finitely-Ambiguous Copyless Cost Register Automata},
booktitle = {44th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2019, August 26-30, 2019, Aachen, Germany},
series = {LIPIcs},
volume = {138},
pages = {75:1--75:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2019.75},
doi = {10.4230/LIPICS.MFCS.2019.75},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LopezMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FiliotMRT18,
author = {Emmanuel Filiot and
Sebastian Maneth and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
title = {Decision problems of tree transducers with origin},
journal = {Inf. Comput.},
volume = {261},
pages = {311--335},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.02.011},
doi = {10.1016/J.IC.2018.02.011},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FiliotMRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FiliotRRST18,
author = {Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais and
Jean{-}Marc Talbot},
title = {Visibly pushdown transducers},
journal = {J. Comput. Syst. Sci.},
volume = {97},
pages = {147--181},
year = {2018},
url = {https://doi.org/10.1016/j.jcss.2018.05.002},
doi = {10.1016/J.JCSS.2018.05.002},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/FiliotRRST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ReynierT16,
author = {Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
title = {Visibly Pushdown Transducers with Well-Nested Outputs},
journal = {Int. J. Found. Comput. Sci.},
volume = {27},
number = {2},
pages = {235--258},
year = {2016},
url = {https://doi.org/10.1142/S0129054116400086},
doi = {10.1142/S0129054116400086},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ReynierT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DartoisFRT16,
author = {Luc Dartois and
Emmanuel Filiot and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Two-Way Visibly Pushdown Automata and Transducers},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {217--226},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935315},
doi = {10.1145/2933575.2935315},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DartoisFRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DaviaudRT16,
author = {Laure Daviaud and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {A Generalised Twinning Property for Minimisation of Cost Register
Automata},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {857--866},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934549},
doi = {10.1145/2933575.2934549},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DaviaudRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BertolissiTV16,
author = {Clara Bertolissi and
Jean{-}Marc Talbot and
Didier Villevalois},
editor = {James Cheney and
Germ{\'{a}}n Vidal},
title = {Analysis of access control policy updates through narrowing},
booktitle = {Proceedings of the 18th International Symposium on Principles and
Practice of Declarative Programming, Edinburgh, United Kingdom, September
5-7, 2016},
pages = {62--75},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2967973.2968605},
doi = {10.1145/2967973.2968605},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BertolissiTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2016,
editor = {Jean{-}Marc Talbot and
Laurent Regnier},
title = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
August 29 - September 1, 2016, Marseille, France},
series = {LIPIcs},
volume = {62},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-022-4},
isbn = {978-3-95977-022-4},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DartoisFRT16,
author = {Luc Dartois and
Emmanuel Filiot and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
title = {Two-Way Visibly Pushdown Automata and Transducers},
journal = {CoRR},
volume = {abs/1606.00234},
year = {2016},
url = {http://arxiv.org/abs/1606.00234},
eprinttype = {arXiv},
eprint = {1606.00234},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DartoisFRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaralpRT15,
author = {Mathieu Caralp and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
title = {Trimming visibly pushdown automata},
journal = {Theor. Comput. Sci.},
volume = {578},
pages = {13--29},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.01.018},
doi = {10.1016/J.TCS.2015.01.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CaralpRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FiliotMRT15,
author = {Emmanuel Filiot and
Sebastian Maneth and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Decision Problems of Tree Transducers with Origin},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
pages = {209--221},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_17},
doi = {10.1007/978-3-662-47666-6\_17},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/FiliotMRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/ReynierT14,
author = {Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Arseny M. Shur and
Mikhail V. Volkov},
title = {Visibly Pushdown Transducers with Well-Nested Outputs},
booktitle = {Developments in Language Theory - 18th International Conference, {DLT}
2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8633},
pages = {129--141},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09698-8\_12},
doi = {10.1007/978-3-319-09698-8\_12},
timestamp = {Thu, 09 Nov 2023 20:20:35 +0100},
biburl = {https://dblp.org/rec/conf/dlt/ReynierT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/CaralpRT13,
author = {Mathieu Caralp and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Stavros Konstantinidis},
title = {Trimming Visibly Pushdown Automata},
booktitle = {Implementation and Application of Automata - 18th International Conference,
{CIAA} 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7982},
pages = {84--96},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39274-0\_9},
doi = {10.1007/978-3-642-39274-0\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/CaralpRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CaralpFRST13,
author = {Mathieu Caralp and
Emmanuel Filiot and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais and
Jean{-}Marc Talbot},
editor = {Sebastian Maneth},
title = {Expressiveness of Visibly Pushdown Transducers},
booktitle = {Proceedings Second International Workshop on Trends in Tree Automata
and Tree Transducers, {TTATT} 2013, Hanoi, Vietnam, 19/10/2013},
series = {{EPTCS}},
volume = {134},
pages = {17--26},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.134.3},
doi = {10.4204/EPTCS.134.3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaralpFRST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CaralpRT12,
author = {Mathieu Caralp and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Hsu{-}Chun Yen and
Oscar H. Ibarra},
title = {Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness},
booktitle = {Developments in Language Theory - 16th International Conference, {DLT}
2012, Taipei, Taiwan, August 14-17, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7410},
pages = {226--238},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31653-1\_21},
doi = {10.1007/978-3-642-31653-1\_21},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CaralpRT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FrataniT11,
author = {S{\'{e}}verine Fratani and
Jean{-}Marc Talbot},
editor = {Roberto Bruni and
J{\"{u}}rgen Dingel},
title = {An Accurate Type System for Information Flow in Presence of Arrays},
booktitle = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6722},
pages = {153--167},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21461-5\_10},
doi = {10.1007/978-3-642-21461-5\_10},
timestamp = {Sun, 02 Jun 2019 21:14:32 +0200},
biburl = {https://dblp.org/rec/conf/forte/FrataniT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FiliotTT10,
author = {Emmanuel Filiot and
Jean{-}Marc Talbot and
Sophie Tison},
title = {Tree Automata with Global Constraints},
journal = {Int. J. Found. Comput. Sci.},
volume = {21},
number = {4},
pages = {571--596},
year = {2010},
url = {https://doi.org/10.1142/S012905411000743X},
doi = {10.1142/S012905411000743X},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/FiliotTT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FiliotRRST10,
author = {Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais and
Jean{-}Marc Talbot},
editor = {Petr Hlinen{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Properties of Visibly Pushdown Transducers},
booktitle = {Mathematical Foundations of Computer Science 2010, 35th International
Symposium, {MFCS} 2010, Brno, Czech Republic, August 23-27, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6281},
pages = {355--367},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15155-2\_32},
doi = {10.1007/978-3-642-15155-2\_32},
timestamp = {Fri, 30 Aug 2019 10:02:28 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FiliotRRST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-1443,
author = {Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais and
Jean{-}Marc Talbot},
title = {On Functionality of Visibly Pushdown Transducers},
journal = {CoRR},
volume = {abs/1002.1443},
year = {2010},
url = {http://arxiv.org/abs/1002.1443},
eprinttype = {arXiv},
eprint = {1002.1443},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-1443.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/GireT09,
author = {Fran{\c{c}}oise Gire and
Jean{-}Marc Talbot},
title = {Nested Sibling Tree Automata},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {43},
number = {2},
pages = {379--402},
year = {2009},
url = {https://doi.org/10.1051/ita/2009006},
doi = {10.1051/ITA/2009006},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/GireT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/GhindiciST09,
author = {Dorina Ghindici and
Isabelle Simplot{-}Ryl and
Jean{-}Marc Talbot},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {A Sound Analysis for Secure Information Flow Using Abstract Memory
Graphs},
booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference,
{FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5961},
pages = {355--370},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11623-0\_21},
doi = {10.1007/978-3-642-11623-0\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/GhindiciST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/FiliotTT08,
author = {Emmanuel Filiot and
Jean{-}Marc Talbot and
Sophie Tison},
editor = {Masami Ito and
Masafumi Toyama},
title = {Tree Automata with Global Constraints},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {314--326},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_25},
doi = {10.1007/978-3-540-85780-8\_25},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/FiliotTT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FiliotTT07,
author = {Emmanuel Filiot and
Jean{-}Marc Talbot and
Sophie Tison},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Satisfiability of a Spatial Logic with Tree Variables},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {130--145},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_13},
doi = {10.1007/978-3-540-74915-8\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/FiliotTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FiliotNTT07,
author = {Emmanuel Filiot and
Joachim Niehren and
Jean{-}Marc Talbot and
Sophie Tison},
editor = {Leonid Libkin},
title = {Polynomial time fragments of XPath with variables},
booktitle = {Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 11-13, 2007, Beijing, China},
pages = {205--214},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1265530.1265559},
doi = {10.1145/1265530.1265559},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/FiliotNTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/FiliotNTT06,
author = {Emmanuel Filiot and
Joachim Niehren and
Jean{-}Marc Talbot and
Sophie Tison},
editor = {Giuseppe Castagna and
Mukund Raghavachari},
title = {Composing Monadic Queries in Trees},
booktitle = {{PLAN-X} 2006 Informal Proceedings, Charleston, South Carolina, USA,
January 14, 2006},
pages = {61--70},
publisher = {BRICS, Department of Computer Science, University of Aarhus},
year = {2006},
timestamp = {Mon, 18 Jun 2018 20:38:33 +0200},
biburl = {https://dblp.org/rec/conf/planX/FiliotNTT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Talbot05,
author = {Jean{-}Marc Talbot},
title = {Model-checking pour les ambients : des alg{\`{e}}bres de processus
aux donn{\'{e}}es semi-structur{\'{e}}es},
year = {2005},
url = {https://tel.archives-ouvertes.fr/tel-00616284},
timestamp = {Thu, 28 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Talbot05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonevaT05,
author = {Iovka Boneva and
Jean{-}Marc Talbot},
title = {When ambients cannot be opened},
journal = {Theor. Comput. Sci.},
volume = {333},
number = {1-2},
pages = {127--169},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.10.020},
doi = {10.1016/J.TCS.2004.10.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BonevaT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/NiehrenPTT05,
author = {Joachim Niehren and
Laurent Planque and
Jean{-}Marc Talbot and
Sophie Tison},
editor = {Gavin M. Bierman and
Christoph Koch},
title = {N-Ary Queries by Tree Automata},
booktitle = {Database Programming Languages, 10th International Symposium, {DBPL}
2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3774},
pages = {217--231},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11601524\_14},
doi = {10.1007/11601524\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/NiehrenPTT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonevaTT05,
author = {Iovka Boneva and
Jean{-}Marc Talbot and
Sophie Tison},
title = {Expressiveness of a Spatial Logic for Trees},
booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
26-29 June 2005, Chicago, IL, USA, Proceedings},
pages = {280--289},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/LICS.2005.17},
doi = {10.1109/LICS.2005.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BonevaTT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/OhsakiTTR05,
author = {Hitoshi Ohsaki and
Jean{-}Marc Talbot and
Sophie Tison and
Yves Roos},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Monotone AC-Tree Automata},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {337--351},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_24},
doi = {10.1007/11591191\_24},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/OhsakiTTR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BonevaT05,
author = {Iovka Boneva and
Jean{-}Marc Talbot},
editor = {J{\"{u}}rgen Giesl},
title = {Automata and Logics for Unranked and Unordered Trees},
booktitle = {Term Rewriting and Applications, 16th International Conference, {RTA}
2005, Nara, Japan, April 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3467},
pages = {500--515},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32033-3\_36},
doi = {10.1007/978-3-540-32033-3\_36},
timestamp = {Wed, 25 Sep 2019 18:23:35 +0200},
biburl = {https://dblp.org/rec/conf/rta/BonevaT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NiehrenPTT05,
author = {Joachim Niehren and
Laurent Planque and
Jean{-}Marc Talbot and
Sophie Tison},
editor = {Frank Neven and
Thomas Schwentick and
Dan Suciu},
title = {N-ary Queries by Tree Automata},
booktitle = {Foundations of Semistructured Data, 6.-11. February 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05061},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/226},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/NiehrenPTT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BonevaT04,
author = {Iovka Boneva and
Jean{-}Marc Talbot},
editor = {Jean{-}Jacques L{\'{e}}vy and
Ernst W. Mayr and
John C. Mitchell},
title = {On Complexity of Model-Checking for the {TQL} Logic},
booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
Computer Congress, {TC1} 3rd International Conference on Theoretical
Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {155},
pages = {381--394},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8141-3\_30},
doi = {10.1007/1-4020-8141-3\_30},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/BonevaT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CharatonikDGMT03,
author = {Witold Charatonik and
Silvano Dal{-}Zilio and
Andrew D. Gordon and
Supratik Mukhopadhyay and
Jean{-}Marc Talbot},
title = {Model checking mobile ambients},
journal = {Theor. Comput. Sci.},
volume = {308},
number = {1-3},
pages = {277--331},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00832-0},
doi = {10.1016/S0304-3975(02)00832-0},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CharatonikDGMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonevaT03,
author = {Iovka Boneva and
Jean{-}Marc Talbot},
editor = {Andrew D. Gordon},
title = {When Ambients Cannot Be Opened},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {169--184},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_11},
doi = {10.1007/3-540-36576-1\_11},
timestamp = {Mon, 14 Feb 2022 09:20:26 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/BonevaT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CharatonikGT02,
author = {Witold Charatonik and
Andrew D. Gordon and
Jean{-}Marc Talbot},
editor = {Daniel Le M{\'{e}}tayer},
title = {Finite-Control Mobile Ambients},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {295--313},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_21},
doi = {10.1007/3-540-45927-8\_21},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/CharatonikGT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CharatonikT02,
author = {Witold Charatonik and
Jean{-}Marc Talbot},
editor = {Sophie Tison},
title = {Atomic Set Constraints with Projection},
booktitle = {Rewriting Techniques and Applications, 13th International Conference,
{RTA} 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2378},
pages = {311--325},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45610-4\_22},
doi = {10.1007/3-540-45610-4\_22},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/CharatonikT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CharatonikT01,
author = {Witold Charatonik and
Jean{-}Marc Talbot},
editor = {Laurent Fribourg},
title = {The Decidability of Model Checking Mobile Ambients},
booktitle = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2142},
pages = {339--354},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44802-0\_24},
doi = {10.1007/3-540-44802-0\_24},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/CharatonikT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CharatonikDGMT01,
author = {Witold Charatonik and
Silvano Dal{-}Zilio and
Andrew D. Gordon and
Supratik Mukhopadhyay and
Jean{-}Marc Talbot},
editor = {Furio Honsell and
Marino Miculan},
title = {The Complexity of Model Checking Mobile Ambients},
booktitle = {Foundations of Software Science and Computation Structures, 4th International
Conference, {FOSSACS} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2030},
pages = {152--167},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45315-6\_10},
doi = {10.1007/3-540-45315-6\_10},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/CharatonikDGMT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/TalbotDT00,
author = {Jean{-}Marc Talbot and
Philippe Devienne and
Sophie Tison},
title = {Generalized Definite Set Constraints},
journal = {Constraints An Int. J.},
volume = {5},
number = {1/2},
pages = {161--202},
year = {2000},
url = {https://doi.org/10.1023/A:1009826603139},
doi = {10.1023/A:1009826603139},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/TalbotDT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Talbot00,
author = {Jean{-}Marc Talbot},
title = {The forall-exists\({}^{\mbox{2}}\) fragment of the first-order theory
of atomic set constraints is Pi\({}^{\mbox{0}}\)\({}_{\mbox{1}}\)-hard},
journal = {Inf. Process. Lett.},
volume = {74},
number = {1-2},
pages = {27--33},
year = {2000},
url = {https://doi.org/10.1016/S0020-0190(00)00030-2},
doi = {10.1016/S0020-0190(00)00030-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Talbot00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Talbot00,
author = {Jean{-}Marc Talbot},
editor = {Michel Parigot and
Andrei Voronkov},
title = {On the Alternation-Free Horn Mu-calculus},
booktitle = {Logic for Programming and Automated Reasoning, 7th International Conference,
{LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1955},
pages = {418--435},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44404-1\_27},
doi = {10.1007/3-540-44404-1\_27},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Talbot00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CharatonikPT00,
author = {Witold Charatonik and
Andreas Podelski and
Jean{-}Marc Talbot},
editor = {Mark N. Wegman and
Thomas W. Reps},
title = {Paths vs. Trees in Set-Based Program Analysis},
booktitle = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Boston, Massachusetts, USA,
January 19-21, 2000},
pages = {330--337},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/325694.325730},
doi = {10.1145/325694.325730},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CharatonikPT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/NiehrenMT99,
author = {Joachim Niehren and
Martin M{\"{u}}ller and
Jean{-}Marc Talbot},
title = {Entailment of Atomic Set Constraints is PSPACE-Complete},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {285--294},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782623},
doi = {10.1109/LICS.1999.782623},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/NiehrenMT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DevienneTT98,
author = {Philippe Devienne and
Jean{-}Marc Talbot and
Sophie Tison},
editor = {Joxan Jaffar},
title = {Co-definite Set Constraints with Membership Expressions},
booktitle = {Proceedings of the 1998 Joint International Conference and Symposium
on Logic Programming, Manchester, UK, June 15-19, 1998},
pages = {25--39},
publisher = {{MIT} Press},
year = {1998},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DevienneTT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DevienneTT97,
author = {Philippe Devienne and
Jean{-}Marc Talbot and
Sophie Tison},
editor = {Gert Smolka},
title = {Solving Classes of Set Constraints with Tree Automata},
booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1330},
pages = {62--76},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0017430},
doi = {10.1007/BFB0017430},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/DevienneTT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/TalbotTD97,
author = {Jean{-}Marc Talbot and
Sophie Tison and
Philippe Devienne},
editor = {Pascal Van Hentenryck},
title = {Set-Based Analysis for Logic Programming and Tree Automata},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {127--140},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032738},
doi = {10.1007/BFB0032738},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/TalbotTD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/AndrianariveloBT96,
author = {Nirina Andrianarivelo and
Wadoud Bousdira and
Jean{-}Marc Talbot},
editor = {Jacques Calmet and
John A. Campbell and
Jochen Pfalzgraf},
title = {On Theorem-Proving in Horn Theories with Built-in Algebras},
booktitle = {Artificial Intelligence and Symbolic Mathematical Computation, International
Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1138},
pages = {320--338},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61732-9\_66},
doi = {10.1007/3-540-61732-9\_66},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aisc/AndrianariveloBT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
