Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Xavier Urbain
@article{DBLP:journals/lites/CourtieuRTU22,
author = {Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
title = {Swarms of Mobile Robots: Towards Versatility with Safety},
journal = {Leibniz Trans. Embed. Syst.},
volume = {8},
number = {2},
pages = {02:1--02:36},
year = {2022},
url = {https://doi.org/10.4230/LITES.8.2.2},
doi = {10.4230/LITES.8.2.2},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lites/CourtieuRTU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BalabonskiCPRTU21,
author = {Thibaut Balabonski and
Pierre Courtieu and
Robin Pelle and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Colette Johnen and
Elad Michael Schiller and
Stefan Schmid},
title = {Computer Aided Formal Design of Swarm Robotics Algorithms},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 23rd
International Symposium, {SSS} 2021, Virtual Event, November 17-20,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13046},
pages = {469--473},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91081-5\_31},
doi = {10.1007/978-3-030-91081-5\_31},
timestamp = {Wed, 10 Nov 2021 16:15:58 +0100},
biburl = {https://dblp.org/rec/conf/sss/BalabonskiCPRTU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-06966,
author = {Thibaut Balabonski and
Pierre Courtieu and
Robin Pelle and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
title = {Computer Aided Formal Design of Swarm Robotics Algorithms},
journal = {CoRR},
volume = {abs/2101.06966},
year = {2021},
url = {https://arxiv.org/abs/2101.06966},
eprinttype = {arXiv},
eprint = {2101.06966},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-06966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BalabonskiDRTU19,
author = {Thibaut Balabonski and
Am{\'{e}}lie Delga and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
title = {Synchronous Gathering without Multiplicity Detection: a Certified
Algorithm},
journal = {Theory Comput. Syst.},
volume = {63},
number = {2},
pages = {200--218},
year = {2019},
url = {https://doi.org/10.1007/s00224-017-9828-z},
doi = {10.1007/S00224-017-9828-Z},
timestamp = {Fri, 12 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BalabonskiDRTU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BalabonskiCPRTU19,
author = {Thibaut Balabonski and
Pierre Courtieu and
Robin Pelle and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Continuous vs. Discrete Asynchronous Moves: {A} Certified Approach
for Mobile Robots},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {93--109},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_7},
doi = {10.1007/978-3-030-31277-0\_7},
timestamp = {Mon, 03 Jan 2022 22:16:19 +0100},
biburl = {https://dblp.org/rec/conf/netys/BalabonskiCPRTU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Potop-ButucaruSTU19,
author = {Maria Potop{-}Butucaru and
Nathalie Sznajder and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Paola Flocchini and
Giuseppe Prencipe and
Nicola Santoro},
title = {Formal Methods for Mobile Robots},
booktitle = {Distributed Computing by Mobile Entities, Current Research in Moving
and Computing},
series = {Lecture Notes in Computer Science},
volume = {11340},
pages = {278--313},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11072-7\_12},
doi = {10.1007/978-3-030-11072-7\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/Potop-ButucaruSTU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BalabonskiCPRTU18,
author = {Thibaut Balabonski and
Pierre Courtieu and
Robin Pelle and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Taisuke Izumi and
Petr Kuznetsov},
title = {Brief Announcement Continuous vs. Discrete Asynchronous Moves: {A}
Certified Approach for Mobile Robots},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 20th
International Symposium, {SSS} 2018, Tokyo, Japan, November 4-7, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11201},
pages = {404--408},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03232-6\_29},
doi = {10.1007/978-3-030-03232-6\_29},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/BalabonskiCPRTU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BalabonskiCRTU17,
author = {Thibaut Balabonski and
Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results
and Open Problems},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {165--181},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_11},
doi = {10.1007/978-3-319-67113-0\_11},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fmics/BalabonskiCRTU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CourtieuRTU16,
author = {Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {George Giakkoupis},
title = {Brief Announcement: Certified Universal Gathering in R\({}^{\mbox{2}}\)
for Oblivious Mobile Robots},
booktitle = {Proceedings of the 2016 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2016, Chicago, IL, USA, July 25-28, 2016},
pages = {439--441},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933057.2933070},
doi = {10.1145/2933057.2933070},
timestamp = {Tue, 06 Nov 2018 11:07:19 +0100},
biburl = {https://dblp.org/rec/conf/podc/CourtieuRTU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BalabonskiDRTU16,
author = {Thibaut Balabonski and
Am{\'{e}}lie Delga and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Borzoo Bonakdarpour and
Franck Petit},
title = {Synchronous Gathering Without Multiplicity Detection: {A} Certified
Algorithm},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th
International Symposium, {SSS} 2016, Lyon, France, November 7-10,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10083},
pages = {7--19},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49259-9\_2},
doi = {10.1007/978-3-319-49259-9\_2},
timestamp = {Sun, 25 Oct 2020 22:45:03 +0100},
biburl = {https://dblp.org/rec/conf/sss/BalabonskiDRTU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/CourtieuRTU16,
author = {Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Cyril Gavoille and
David Ilcinkas},
title = {Certified Universal Gathering in {\textbackslash}mathbb {R} {\^{}}2
for Oblivious Mobile Robots},
booktitle = {Distributed Computing - 30th International Symposium, {DISC} 2016,
Paris, France, September 27-29, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9888},
pages = {187--200},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53426-7\_14},
doi = {10.1007/978-3-662-53426-7\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/CourtieuRTU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CourtieuRTU16,
author = {Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
title = {Certified Universal Gathering in {\textdollar}R{\^{}}2{\textdollar}
for Oblivious Mobile Robots},
journal = {CoRR},
volume = {abs/1602.08361},
year = {2016},
url = {http://arxiv.org/abs/1602.08361},
eprinttype = {arXiv},
eprint = {1602.08361},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CourtieuRTU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CourtieuRTU15,
author = {Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
title = {Impossibility of gathering, a certification},
journal = {Inf. Process. Lett.},
volume = {115},
number = {3},
pages = {447--452},
year = {2015},
url = {https://doi.org/10.1016/j.ipl.2014.11.001},
doi = {10.1016/J.IPL.2014.11.001},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/CourtieuRTU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CourtieuRTU15,
author = {Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
title = {A Certified Universal Gathering Algorithm for Oblivious Mobile Robots},
journal = {CoRR},
volume = {abs/1506.01603},
year = {2015},
url = {http://arxiv.org/abs/1506.01603},
eprinttype = {arXiv},
eprint = {1506.01603},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CourtieuRTU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CourtieuRUT14,
author = {Pierre Courtieu and
Lionel Rieg and
Xavier Urbain and
S{\'{e}}bastien Tixeuil},
title = {Impossibility of Gathering, a Certification},
journal = {CoRR},
volume = {abs/1405.5902},
year = {2014},
url = {http://arxiv.org/abs/1405.5902},
eprinttype = {arXiv},
eprint = {1405.5902},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CourtieuRUT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/AugerBCTU13,
author = {C{\'{e}}dric Auger and
Zohir Bouzid and
Pierre Courtieu and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Teruo Higashino and
Yoshiaki Katayama and
Toshimitsu Masuzawa and
Maria Potop{-}Butucaru and
Masafumi Yamashita},
title = {Certified Impossibility Results for Byzantine-Tolerant Mobile Robots},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 15th
International Symposium, {SSS} 2013, Osaka, Japan, November 13-16,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8255},
pages = {178--190},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03089-0\_13},
doi = {10.1007/978-3-319-03089-0\_13},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/AugerBCTU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AugerBCTU13,
author = {C{\'{e}}dric Auger and
Zohir Bouzid and
Pierre Courtieu and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
title = {Certified Impossibility Results for Byzantine-Tolerant Mobile Robots},
journal = {CoRR},
volume = {abs/1306.4242},
year = {2013},
url = {http://arxiv.org/abs/1306.4242},
eprinttype = {arXiv},
eprint = {1306.4242},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AugerBCTU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ContejeanCFPU11,
author = {Evelyne Contejean and
Pierre Courtieu and
Julien Forest and
Olivier Pons and
Xavier Urbain},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {Automated Certified Proofs with CiME3},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {21--30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.21},
doi = {10.4230/LIPICS.RTA.2011.21},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/ContejeanCFPU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ContejeanPUCPF10,
author = {Evelyne Contejean and
Andrey Paskevich and
Xavier Urbain and
Pierre Courtieu and
Olivier Pons and
Julien Forest},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {A3PAT, an approach for certified automated termination proofs},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {63--72},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706370},
doi = {10.1145/1706356.1706370},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/ContejeanPUCPF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DuranLMMU08,
author = {Francisco Dur{\'{a}}n and
Salvador Lucas and
Claude March{\'{e}} and
Jos{\'{e}} Meseguer and
Xavier Urbain},
title = {Proving operational termination of membership equational programs},
journal = {High. Order Symb. Comput.},
volume = {21},
number = {1-2},
pages = {59--88},
year = {2008},
url = {https://doi.org/10.1007/s10990-008-9028-2},
doi = {10.1007/S10990-008-9028-2},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/DuranLMMU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GutierrezLU08,
author = {Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas and
Xavier Urbain},
editor = {Andrei Voronkov},
title = {Usable Rules for Context-Sensitive Rewrite Systems},
booktitle = {Rewriting Techniques and Applications, 19th International Conference,
{RTA} 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5117},
pages = {126--141},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70590-1\_9},
doi = {10.1007/978-3-540-70590-1\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/GutierrezLU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/CourtieuFU08,
author = {Pierre Courtieu and
Julien Forest and
Xavier Urbain},
editor = {Otmane A{\"{\i}}t Mohamed and
C{\'{e}}sar A. Mu{\~{n}}oz and
Sofi{\`{e}}ne Tahar},
title = {Certifying a Termination Criterion Based on Graphs, without Graphs},
booktitle = {Theorem Proving in Higher Order Logics, 21st International Conference,
TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5170},
pages = {183--198},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71067-7\_17},
doi = {10.1007/978-3-540-71067-7\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/CourtieuFU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ContejeanCFPU07,
author = {Evelyne Contejean and
Pierre Courtieu and
Julien Forest and
Olivier Pons and
Xavier Urbain},
editor = {Boris Konev and
Frank Wolter},
title = {Certification of Automated Termination Proofs},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {148--162},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_10},
doi = {10.1007/978-3-540-74621-8\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ContejeanCFPU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ContejeanMTU05,
author = {Evelyne Contejean and
Claude March{\'{e}} and
Ana Paula Tom{\'{a}}s and
Xavier Urbain},
title = {Mechanically Proving Termination Using Polynomial Interpretations},
journal = {J. Autom. Reason.},
volume = {34},
number = {4},
pages = {325--363},
year = {2005},
url = {https://doi.org/10.1007/s10817-005-9022-x},
doi = {10.1007/S10817-005-9022-X},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ContejeanMTU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Urbain04,
author = {Xavier Urbain},
title = {Modular {\&} Incremental Automated Termination Proofs},
journal = {J. Autom. Reason.},
volume = {32},
number = {4},
pages = {315--355},
year = {2004},
url = {https://doi.org/10.1007/BF03177743},
doi = {10.1007/BF03177743},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Urbain04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MarchePU04,
author = {Claude March{\'{e}} and
Christine Paulin{-}Mohring and
Xavier Urbain},
title = {The {KRAKATOA} tool for certificationof {JAVA/JAVACARD} programs annotated
in {JML}},
journal = {J. Log. Algebraic Methods Program.},
volume = {58},
number = {1-2},
pages = {89--106},
year = {2004},
url = {https://doi.org/10.1016/j.jlap.2003.07.006},
doi = {10.1016/J.JLAP.2003.07.006},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MarchePU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MarcheU04,
author = {Claude March{\'{e}} and
Xavier Urbain},
title = {Modular and incremental proofs of AC-termination},
journal = {J. Symb. Comput.},
volume = {38},
number = {1},
pages = {873--897},
year = {2004},
url = {https://doi.org/10.1016/j.jsc.2004.02.003},
doi = {10.1016/J.JSC.2004.02.003},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/MarcheU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/DuranLMMU04,
author = {Francisco Dur{\'{a}}n and
Salvador Lucas and
Jos{\'{e}} Meseguer and
Claude March{\'{e}} and
Xavier Urbain},
editor = {Nevin Heintze and
Peter Sestoft},
title = {Proving termination of membership equational programs},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2004, Verona, Italy, August
24-25, 2004},
pages = {147--158},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1014007.1014022},
doi = {10.1145/1014007.1014022},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/DuranLMMU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Urbain01,
author = {Xavier Urbain},
title = {Approche incr{\'{e}}mentale des preuves automatiques de terminaison.
(Incremental Approach for Automated Termination Proofs)},
school = {University of Paris-Sud, Orsay, France},
year = {2001},
url = {https://tel.archives-ouvertes.fr/tel-02061902},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Urbain01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Urbain01,
author = {Xavier Urbain},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {Automated Incremental Termination Proofs for Hierarchically Defined
Term Rewriting Systems},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {485--498},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_42},
doi = {10.1007/3-540-45744-5\_42},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Urbain01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/MarcheU98,
author = {Claude March{\'{e}} and
Xavier Urbain},
editor = {Tobias Nipkow},
title = {Termination of Associative-Commutative Rewriting by Dependency Pairs},
booktitle = {Rewriting Techniques and Applications, 9th International Conference,
RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1379},
pages = {241--255},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0052374},
doi = {10.1007/BFB0052374},
timestamp = {Sat, 05 Sep 2020 18:07:52 +0200},
biburl = {https://dblp.org/rec/conf/rta/MarcheU98.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 02:38 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:
