default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pierre Courtieu
@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}
}
@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}
}
@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/sefm/ZhangRHMC17,
author = {Zhi Zhang and
Robby and
John Hatcliff and
Yannick Moy and
Pierre Courtieu},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Focused Certification of an Industrial Compilation and Static Verification
Toolchain},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {17--34},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_2},
doi = {10.1007/978-3-319-66197-1\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ZhangRHMC17.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/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/sigada/CourtieuACZRBHG13,
author = {Pierre Courtieu and
Maria{-}Virginia Aponte and
Tristan Crolard and
Zhi Zhang and
Robby and
Jason Belt and
John Hatcliff and
J{\'{e}}r{\^{o}}me Guitton and
Trevor Jennings},
editor = {Jeff Boleng and
S. Tucker Taft},
title = {Towards the formalization of {SPARK} 2014 semantics with explicit
run-time checks using coq},
booktitle = {Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity
language technology, {HILT} 2013, Pittsburgh, Pennsylvania, USA, November
10-14, 2013},
pages = {21--22},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2527269.2527278},
doi = {10.1145/2527269.2527278},
timestamp = {Tue, 06 Nov 2018 16:57:53 +0100},
biburl = {https://dblp.org/rec/conf/sigada/CourtieuACZRBHG13.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/fm/AponteCMS12,
author = {Maria{-}Virginia Aponte and
Pierre Courtieu and
Yannick Moy and
Marc Sango},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Maximal and Compositional Pattern-Based Loop Invariants},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {37--51},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_7},
doi = {10.1007/978-3-642-32759-9\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/AponteCMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BaeldeCGP12,
author = {David Baelde and
Pierre Courtieu and
David Gross{-}Amblard and
Christine Paulin{-}Mohring},
editor = {Lennart Beringer and
Amy P. Felty},
title = {Towards Provably Robust Watermarking},
booktitle = {Interactive Theorem Proving - Third International Conference, {ITP}
2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7406},
pages = {201--216},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32347-8\_14},
doi = {10.1007/978-3-642-32347-8\_14},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/BaeldeCGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BosserCFC11,
author = {Anne{-}Gwenn Bosser and
Pierre Courtieu and
Julien Forest and
Marc Cavazza},
editor = {Marko C. J. D. van Eekelen and
Herman Geuvers and
Julien Schmaltz and
Freek Wiedijk},
title = {Structural Analysis of Narratives with the Coq Proof Assistant},
booktitle = {Interactive Theorem Proving - Second International Conference, {ITP}
2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6898},
pages = {55--70},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22863-6\_7},
doi = {10.1007/978-3-642-22863-6\_7},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/BosserCFC11.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}
}
@inproceedings{DBLP:conf/sofsem/CourtieuGP10,
author = {Pierre Courtieu and
Gladys Gbedo and
Olivier Pons},
editor = {Jan van Leeuwen and
Anca Muscholl and
David Peleg and
Jaroslav Pokorn{\'{y}} and
Bernhard Rumpe},
title = {Improved Matrix Interpretation},
booktitle = {{SOFSEM} 2010: Theory and Practice of Computer Science, 36th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 23-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5901},
pages = {283--295},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11266-9\_24},
doi = {10.1007/978-3-642-11266-9\_24},
timestamp = {Sat, 30 Sep 2023 09:57:10 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/CourtieuGP10.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/BartheCDS05,
author = {Gilles Barthe and
Pierre Courtieu and
Guillaume Dufay and
Sim{\~{a}}o Melo de Sousa},
title = {Tool-Assisted Specification and Verification of Typed Low-Level Languages},
journal = {J. Autom. Reason.},
volume = {35},
number = {4},
pages = {295--354},
year = {2005},
url = {https://doi.org/10.1007/s10817-005-0084-6},
doi = {10.1007/S10817-005-0084-6},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BartheCDS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BartheCDS02,
author = {Gilles Barthe and
Pierre Courtieu and
Guillaume Dufay and
Sim{\~{a}}o Melo de Sousa},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Tool-Assisted Specification and Verification of the JavaCard Platform},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {41--59},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_4},
doi = {10.1007/3-540-45719-4\_4},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BartheCDS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Courtieu02,
author = {Pierre Courtieu},
title = {Proving Self-Stabilization with a Proof Assistant},
booktitle = {16th International Parallel and Distributed Processing Symposium {(IPDPS}
2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts
Proceedings},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/IPDPS.2002.1016619},
doi = {10.1109/IPDPS.2002.1016619},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/Courtieu02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BartheC02,
author = {Gilles Barthe and
Pierre Courtieu},
editor = {Victor Carre{\~{n}}o and
C{\'{e}}sar A. Mu{\~{n}}oz and
Sofi{\`{e}}ne Tahar},
title = {Efficient Reasoning about Executable Specifications in Coq},
booktitle = {Theorem Proving in Higher Order Logics, 15th International Conference,
TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2410},
pages = {31--46},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45685-6\_4},
doi = {10.1007/3-540-45685-6\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BartheC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Courtieu01,
author = {Pierre Courtieu},
title = {Repr{\'{e}}sentation d'alg{\`{e}}bres non libres en th{\'{e}}orie
des types. (Representation of Non Free Algebras in Type Theory)},
school = {University of Paris-Sud, Orsay, France},
year = {2001},
url = {https://tel.archives-ouvertes.fr/tel-02346101},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Courtieu01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Courtieu01,
author = {Pierre Courtieu},
editor = {Laurent Fribourg},
title = {Normalized Types},
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 = {554--569},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44802-0\_39},
doi = {10.1007/3-540-44802-0\_39},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Courtieu01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-24 22:52 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:
