Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Damien Pous
@article{DBLP:journals/corr/abs-2304-07190,
author = {Damien Pous and
Jana Wagemaker},
title = {Completeness Theorems for Kleene algebra with tests and top},
journal = {CoRR},
volume = {abs/2304.07190},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.07190},
doi = {10.48550/ARXIV.2304.07190},
eprinttype = {arXiv},
eprint = {2304.07190},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-07190.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-09253,
author = {Cameron Calk and
Philippe Malbos and
Damien Pous and
Georg Struth},
title = {Higher Catoids, Higher Quantales and their Correspondences},
journal = {CoRR},
volume = {abs/2307.09253},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.09253},
doi = {10.48550/ARXIV.2307.09253},
eprinttype = {arXiv},
eprint = {2307.09253},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-09253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/PousRT22,
author = {Damien Pous and
Jurriaan Rot and
Ruben Turkenburg},
editor = {Helle Hvid Hansen and
Fabio Zanasi},
title = {Corecursion Up-to via Causal Transformations},
booktitle = {Coalgebraic Methods in Computer Science - 16th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2022, Colocated with {ETAPS} 2022, Munich, Germany,
April 2-3, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13225},
pages = {133--154},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10736-8\_7},
doi = {10.1007/978-3-031-10736-8\_7},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/PousRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PousW22,
author = {Damien Pous and
Jana Wagemaker},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {Completeness Theorems for Kleene Algebra with Top},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {26:1--26:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.26},
doi = {10.4230/LIPICS.CONCUR.2022.26},
timestamp = {Mon, 26 Sep 2022 16:25:34 +0200},
biburl = {https://dblp.org/rec/conf/concur/PousW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-06665,
author = {Malgorzata Biernacka and
Dariusz Biernacki and
Sergue{\"{\i}} Lenglet and
Piotr Polesiuk and
Damien Pous and
Alan Schmitt},
title = {Fully Abstract Encodings of {\(\lambda\)}-Calculus in HOcore through
Abstract Machines},
journal = {CoRR},
volume = {abs/2205.06665},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.06665},
doi = {10.48550/ARXIV.2205.06665},
eprinttype = {arXiv},
eprint = {2205.06665},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-06665.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-13020,
author = {Damien Pous and
Jurriaan Rot and
Jana Wagemaker},
title = {On Tools for Completeness of Kleene Algebra with Hypotheses},
journal = {CoRR},
volume = {abs/2210.13020},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.13020},
doi = {10.48550/ARXIV.2210.13020},
eprinttype = {arXiv},
eprint = {2210.13020},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-13020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KuperbergPP21,
author = {Denis Kuperberg and
Laureline Pinault and
Damien Pous},
title = {Coinductive Algorithms for B{\"{u}}chi Automata},
journal = {Fundam. Informaticae},
volume = {180},
number = {4},
pages = {351--373},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2046},
doi = {10.3233/FI-2021-2046},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KuperbergPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/MadiotPS21,
author = {Jean{-}Marie Madiot and
Damien Pous and
Davide Sangiorgi},
title = {Modular coinduction up-to for higher-order languages via first-order
transition systems},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {3},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(3:25)2021},
doi = {10.46298/LMCS-17(3:25)2021},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/MadiotPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KuperbergPP21,
author = {Denis Kuperberg and
Laureline Pinault and
Damien Pous},
title = {Cyclic proofs, system t, and the power of contraction},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--28},
year = {2021},
url = {https://doi.org/10.1145/3434282},
doi = {10.1145/3434282},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/KuperbergPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/PousRW21,
author = {Damien Pous and
Jurriaan Rot and
Jana Wagemaker},
editor = {Uli Fahrenberg and
Mai Gehrke and
Luigi Santocanale and
Michael Winter},
title = {On Tools for Completeness of Kleene Algebra with Hypotheses},
booktitle = {Relational and Algebraic Methods in Computer Science - 19th International
Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13027},
pages = {378--395},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88701-8\_23},
doi = {10.1007/978-3-030-88701-8\_23},
timestamp = {Mon, 25 Oct 2021 18:18:58 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/PousRW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DoczkalP20,
author = {Christian Doczkal and
Damien Pous},
title = {Graph Theory in Coq: Minors, Treewidth, and Isomorphisms},
journal = {J. Autom. Reason.},
volume = {64},
number = {5},
pages = {795--825},
year = {2020},
url = {https://doi.org/10.1007/s10817-020-09543-2},
doi = {10.1007/S10817-020-09543-2},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/DoczkalP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DoumaneP20,
author = {Amina Doumane and
Damien Pous},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Non Axiomatisability of Positive Relation Algebras with Constants,
via Graph Homomorphisms},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {29:1--29:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.29},
doi = {10.4230/LIPICS.CONCUR.2020.29},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/concur/DoumaneP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/DoczkalP20,
author = {Christian Doczkal and
Damien Pous},
editor = {Jasmin Blanchette and
Catalin Hritcu},
title = {Completeness of an axiomatization of graph isomorphism via graph rewriting
in Coq},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2020, New Orleans, LA, USA, January
20-21, 2020},
pages = {325--337},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372885.3373831},
doi = {10.1145/3372885.3373831},
timestamp = {Sun, 02 Oct 2022 15:58:04 +0200},
biburl = {https://dblp.org/rec/conf/cpp/DoczkalP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-07063,
author = {Jean{-}Marie Madiot and
Damien Pous and
Davide Sangiorgi},
title = {Modular coinduction up-to for higher-order languages via first-order
transition systems},
journal = {CoRR},
volume = {abs/2001.07063},
year = {2020},
url = {https://arxiv.org/abs/2001.07063},
eprinttype = {arXiv},
eprint = {2001.07063},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-07063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PousS19,
author = {Damien Pous and
Davide Sangiorgi},
title = {Bisimulation and Coinduction Enhancements: {A} Historical Perspective},
journal = {Formal Aspects Comput.},
volume = {31},
number = {6},
pages = {733--749},
year = {2019},
url = {https://doi.org/10.1007/s00165-019-00497-w},
doi = {10.1007/S00165-019-00497-W},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PousS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HofnerPS19,
author = {Peter H{\"{o}}fner and
Damien Pous and
Georg Struth},
title = {Relational and algebraic methods in computer science},
journal = {J. Log. Algebraic Methods Program.},
volume = {106},
pages = {198--199},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.05.005},
doi = {10.1016/J.JLAMP.2019.05.005},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HofnerPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/PousR19,
author = {Damien Pous and
Jurriaan Rot},
title = {Companions, Causality and Codensity},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {3},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(3:14)2019},
doi = {10.23638/LMCS-15(3:14)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/PousR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Pous19,
author = {Damien Pous},
editor = {Markus Roggenbach and
Ana Sokolova},
title = {Coinduction: Automata, Formal Proof, Companions (Invited Paper)},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2019, June 3-6, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {139},
pages = {4:1--4:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.4},
doi = {10.4230/LIPICS.CALCO.2019.4},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/Pous19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/KuperbergPP19,
author = {Denis Kuperberg and
Laureline Pinault and
Damien Pous},
editor = {Piotrek Hofman and
Michal Skrzypczak},
title = {Coinductive Algorithms for B{\"{u}}chi Automata},
booktitle = {Developments in Language Theory - 23rd International Conference, {DLT}
2019, Warsaw, Poland, August 5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11647},
pages = {206--220},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24886-4\_15},
doi = {10.1007/978-3-030-24886-4\_15},
timestamp = {Fri, 27 Mar 2020 08:49:52 +0100},
biburl = {https://dblp.org/rec/conf/dlt/KuperbergPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DoumaneKPP19,
author = {Amina Doumane and
Denis Kuperberg and
Damien Pous and
C{\'{e}}cilia Pradic},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Kleene Algebra with Hypotheses},
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 = {207--223},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_12},
doi = {10.1007/978-3-030-17127-8\_12},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/DoumaneKPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KuperbergPP19,
author = {Denis Kuperberg and
Laureline Pinault and
Damien Pous},
editor = {Arkadev Chattopadhyay and
Paul Gastin},
title = {Cyclic Proofs and Jumping Automata},
booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
Bombay, India},
series = {LIPIcs},
volume = {150},
pages = {45:1--45:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.45},
doi = {10.4230/LIPICS.FSTTCS.2019.45},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/KuperbergPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BrehardMP19,
author = {Florent Br{\'{e}}hard and
Assia Mahboubi and
Damien Pous},
editor = {John Harrison and
John O'Leary and
Andrew Tolmach},
title = {A Certificate-Based Approach to Formally Verified Approximations},
booktitle = {10th International Conference on Interactive Theorem Proving, {ITP}
2019, September 9-12, 2019, Portland, OR, {USA}},
series = {LIPIcs},
volume = {141},
pages = {8:1--8:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ITP.2019.8},
doi = {10.4230/LIPICS.ITP.2019.8},
timestamp = {Sat, 07 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/BrehardMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DoumaneP18,
author = {Amina Doumane and
Damien Pous},
editor = {Sven Schewe and
Lijun Zhang},
title = {Completeness for Identity-free Kleene Lattices},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {18:1--18:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.18},
doi = {10.4230/LIPICS.CONCUR.2018.18},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/DoumaneP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DasP18,
author = {Anupam Das and
Damien Pous},
editor = {Dan R. Ghica and
Achim Jung},
title = {Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices)},
booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018,
September 4-7, 2018, Birmingham, {UK}},
series = {LIPIcs},
volume = {119},
pages = {19:1--19:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CSL.2018.19},
doi = {10.4230/LIPICS.CSL.2018.19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/DasP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/DoczkalCP18,
author = {Christian Doczkal and
Guillaume Combette and
Damien Pous},
editor = {Jeremy Avigad and
Assia Mahboubi},
title = {A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs},
booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10895},
pages = {178--195},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94821-8\_11},
doi = {10.1007/978-3-319-94821-8\_11},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/DoczkalCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PousV18,
author = {Damien Pous and
Valeria Vignudelli},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Allegories: decidability and graph homomorphisms},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {829--838},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209172},
doi = {10.1145/3209108.3209172},
timestamp = {Wed, 21 Nov 2018 12:44:18 +0100},
biburl = {https://dblp.org/rec/conf/lics/PousV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/0002DP18,
author = {Anupam Das and
Amina Doumane and
Damien Pous},
editor = {Gilles Barthe and
Geoff Sutcliffe and
Margus Veanes},
title = {Left-Handed Completeness for Kleene algebra, via Cyclic Proofs},
booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
2018},
series = {EPiC Series in Computing},
volume = {57},
pages = {271--289},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/hzq3},
doi = {10.29007/HZQ3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/0002DP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DoczkalP18,
author = {Christian Doczkal and
Damien Pous},
editor = {Igor Potapov and
Paul G. Spirakis and
James Worrell},
title = {Treewidth-Two Graphs as a Free Algebra},
booktitle = {43rd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2018, August 27-31, 2018, Liverpool, {UK}},
series = {LIPIcs},
volume = {117},
pages = {60:1--60:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2018.60},
doi = {10.4230/LIPICS.MFCS.2018.60},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/DoczkalP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Pous18,
author = {Damien Pous},
editor = {Rolf Niedermeier and
Brigitte Vall{\'{e}}e},
title = {On the Positive Calculus of Relations with Transitive Closure},
booktitle = {35th Symposium on Theoretical Aspects of Computer Science, {STACS}
2018, February 28 to March 3, 2018, Caen, France},
series = {LIPIcs},
volume = {96},
pages = {3:1--3:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.STACS.2018.3},
doi = {10.4230/LIPICS.STACS.2018.3},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/Pous18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BonchiPPR17,
author = {Filippo Bonchi and
Daniela Petrisan and
Damien Pous and
Jurriaan Rot},
title = {A general account of coinduction up-to},
journal = {Acta Informatica},
volume = {54},
number = {2},
pages = {127--190},
year = {2017},
url = {https://doi.org/10.1007/s00236-016-0271-4},
doi = {10.1007/S00236-016-0271-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BonchiPPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BrunetP17,
author = {Paul Brunet and
Damien Pous},
title = {Petri Automata},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:33)2017},
doi = {10.23638/LMCS-13(3:33)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BrunetP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/RotBBPRS17,
author = {Jurriaan Rot and
Filippo Bonchi and
Marcello M. Bonsangue and
Damien Pous and
Jan Rutten and
Alexandra Silva},
title = {Enhanced coalgebraic bisimulation},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {7},
pages = {1236--1264},
year = {2017},
url = {https://doi.org/10.1017/S0960129515000523},
doi = {10.1017/S0960129515000523},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/RotBBPRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BoyerGP17,
author = {Fabienne Boyer and
Olivier Gruber and
Damien Pous},
title = {A robust reconfiguration protocol for the dynamic update of component-based
software systems},
journal = {Softw. Pract. Exp.},
volume = {47},
number = {11},
pages = {1729--1753},
year = {2017},
url = {https://doi.org/10.1002/spe.2499},
doi = {10.1002/SPE.2499},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BoyerGP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BasoldPR17,
author = {Henning Basold and
Damien Pous and
Jurriaan Rot},
editor = {Filippo Bonchi and
Barbara K{\"{o}}nig},
title = {Monoidal Company for Accessible Functors},
booktitle = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2017, June 12-16, 2017, Ljubljana, Slovenia},
series = {LIPIcs},
volume = {72},
pages = {5:1--5:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2017.5},
doi = {10.4230/LIPICS.CALCO.2017.5},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/calco/BasoldPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrunetPS17,
author = {Paul Brunet and
Damien Pous and
Georg Struth},
editor = {Roland Meyer and
Uwe Nestmann},
title = {On Decidability of Concurrent Kleene Algebra},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {28:1--28:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.28},
doi = {10.4230/LIPICS.CONCUR.2017.28},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/BrunetPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PousR17,
author = {Damien Pous and
Jurriaan Rot},
editor = {Javier Esparza and
Andrzej S. Murawski},
title = {Companions, Codensity and Causality},
booktitle = {Foundations of Software Science and Computation Structures - 20th
International Conference, {FOSSACS} 2017, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2017,
Uppsala, Sweden, April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10203},
pages = {106--123},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54458-7\_7},
doi = {10.1007/978-3-662-54458-7\_7},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/PousR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BiernackaBLPPS17,
author = {Malgorzata Biernacka and
Dariusz Biernacki and
Sergue{\"{\i}} Lenglet and
Piotr Polesiuk and
Damien Pous and
Alan Schmitt},
title = {Fully abstract encodings of {\(\lambda\)}-calculus in HOcore through
abstract machines},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005118},
doi = {10.1109/LICS.2017.8005118},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BiernackaBLPPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Cosme-LlopezP17,
author = {Enric Cosme{-}Ll{\'{o}}pez and
Damien Pous},
editor = {Kim G. Larsen and
Hans L. Bodlaender and
Jean{-}Fran{\c{c}}ois Raskin},
title = {K4-free Graphs as a Free Algebra},
booktitle = {42nd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark},
series = {LIPIcs},
volume = {83},
pages = {76:1--76:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2017.76},
doi = {10.4230/LIPICS.MFCS.2017.76},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Cosme-LlopezP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/DasP17,
author = {Anupam Das and
Damien Pous},
editor = {Renate A. Schmidt and
Cl{\'{a}}udia Nalon},
title = {A Cut-Free Cyclic Proof System for Kleene Algebra},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 26th
International Conference, {TABLEAUX} 2017, Bras{\'{\i}}lia, Brazil,
September 25-28, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10501},
pages = {261--277},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66902-1\_16},
doi = {10.1007/978-3-319-66902-1\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/DasP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Pous17,
author = {Damien Pous},
editor = {Arnaud Carayol and
Cyril Nicaud},
title = {CoInductive Automata Algorithms},
booktitle = {Implementation and Application of Automata - 22nd International Conference,
{CIAA} 2017, Marne-la-Vall{\'{e}}e, France, June 27-30, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10329},
pages = {xvii--xviii},
publisher = {Springer},
year = {2017},
url = {https://link.springer.com/content/pdf/bfm\%3A978-3-319-60134-2\%2F1.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wia/Pous17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2017,
editor = {Peter H{\"{o}}fner and
Damien Pous and
Georg Struth},
title = {Relational and Algebraic Methods in Computer Science - 16th International
Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10226},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57418-9},
doi = {10.1007/978-3-319-57418-9},
isbn = {978-3-319-57417-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrunetP17,
author = {Paul Brunet and
Damien Pous},
title = {Petri Automata},
journal = {CoRR},
volume = {abs/1702.01804},
year = {2017},
url = {http://arxiv.org/abs/1702.01804},
eprinttype = {arXiv},
eprint = {1702.01804},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BrunetP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-08526,
author = {Damien Pous and
Jurriaan Rot},
title = {Companions, Causality and Codensity},
journal = {CoRR},
volume = {abs/1712.08526},
year = {2017},
url = {http://arxiv.org/abs/1712.08526},
eprinttype = {arXiv},
eprint = {1712.08526},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-08526.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KatsumataPR17,
author = {Shin{-}ya Katsumata and
Damien Pous and
Jan Rutten},
title = {Enhanced coinduction {(NII} Shonan Meeting 2017-17)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2017},
year = {2017},
url = {https://shonan.nii.ac.jp/seminars/097/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/KatsumataPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Pous16,
author = {Damien Pous},
title = {Automata for relation algebra and formal proofs},
year = {2016},
url = {https://tel.archives-ouvertes.fr/tel-01445821},
timestamp = {Sat, 30 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Pous16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BrunetP16,
author = {Paul Brunet and
Damien Pous},
title = {Algorithms for Kleene algebra with converse},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {574--594},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.07.005},
doi = {10.1016/J.JLAMP.2015.07.005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BrunetP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BrunetPS16,
author = {Paul Brunet and
Damien Pous and
Insa Stucke},
editor = {Jasmin Christian Blanchette and
Stephan Merz},
title = {Cardinalities of Finite Relations in Coq},
booktitle = {Interactive Theorem Proving - 7th International Conference, {ITP}
2016, Nancy, France, August 22-25, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9807},
pages = {466--474},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-43144-4\_29},
doi = {10.1007/978-3-319-43144-4\_29},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/BrunetPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Pous16,
author = {Damien Pous},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Coinduction All the Way Up},
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 = {307--316},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934564},
doi = {10.1145/2933575.2934564},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Pous16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BrunetP16,
author = {Paul Brunet and
Damien Pous},
editor = {Piotr Faliszewski and
Anca Muscholl and
Rolf Niedermeier},
title = {A Formal Exploration of Nominal Kleene Algebra},
booktitle = {41st International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland},
series = {LIPIcs},
volume = {58},
pages = {22:1--22:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.22},
doi = {10.4230/LIPICS.MFCS.2016.22},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/BrunetP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BonchiP15,
author = {Filippo Bonchi and
Damien Pous},
title = {Hacking nondeterminism with induction and coinduction},
journal = {Commun. {ACM}},
volume = {58},
number = {2},
pages = {87--95},
year = {2015},
url = {https://doi.org/10.1145/2713167},
doi = {10.1145/2713167},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/BonchiP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonchiPPR15,
author = {Filippo Bonchi and
Daniela Petrisan and
Damien Pous and
Jurriaan Rot},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Lax Bialgebras and Up-To Techniques for Weak Bisimulations},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {240--253},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.240},
doi = {10.4230/LIPICS.CONCUR.2015.240},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BonchiPPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BrunetP15,
author = {Paul Brunet and
Damien Pous},
title = {Petri Automata for Kleene Allegories},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {68--79},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.17},
doi = {10.1109/LICS.2015.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BrunetP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/DumasDEPR15,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Burak Ekici and
Damien Pous and
Jean{-}Claude Reynaud},
editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
title = {Relative Hilbert-Post Completeness for Exceptions},
booktitle = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9582},
pages = {596--610},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32859-1\_51},
doi = {10.1007/978-3-319-32859-1\_51},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/macis/DumasDEPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Pous15,
author = {Damien Pous},
editor = {Sriram K. Rajamani and
David Walker},
title = {Symbolic Algorithms for Language Equivalence and Kleene Algebra with
Tests},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {357--368},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677007},
doi = {10.1145/2676726.2677007},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/Pous15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Pous15a,
author = {Damien Pous},
title = {Coinductive techniques, from automata to coalgebra},
booktitle = {Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL
2015, Mumbai, India, January 14, 2015},
pages = {6:1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2792434.2792440},
doi = {10.1145/2792434.2792440},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Pous15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasDEPR15,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Burak Ekici and
Damien Pous and
Jean{-}Claude Reynaud},
title = {Hilbert-Post completeness for the state and the exception effects},
journal = {CoRR},
volume = {abs/1503.00948},
year = {2015},
url = {http://arxiv.org/abs/1503.00948},
eprinttype = {arXiv},
eprint = {1503.00948},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasDEPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BrunetP14,
author = {Paul Brunet and
Damien Pous},
editor = {Peter H{\"{o}}fner and
Peter Jipsen and
Wolfram Kahl and
Martin Eric M{\"{u}}ller},
title = {Kleene Algebra with Converse},
booktitle = {Relational and Algebraic Methods in Computer Science - 14th International
Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8428},
pages = {101--118},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06251-8\_7},
doi = {10.1007/978-3-319-06251-8\_7},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/BrunetP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MadiotPS14,
author = {Jean{-}Marie Madiot and
Damien Pous and
Davide Sangiorgi},
editor = {Paolo Baldan and
Daniele Gorla},
title = {Bisimulations Up-to: Beyond First-Order Transition Systems},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {93--108},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_8},
doi = {10.1007/978-3-662-44584-6\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/MadiotPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BonchiPPR14,
author = {Filippo Bonchi and
Daniela Petrisan and
Damien Pous and
Jurriaan Rot},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Coinduction up-to in a fibrational setting},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {20:1--20:9},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603149},
doi = {10.1145/2603088.2603149},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BonchiPPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/DumasDEP14,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Burak Ekici and
Damien Pous},
editor = {Christine Tasson and
David Baelde},
title = {Formal verification in Coq of program properties involving the global
state effect},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {1--16},
year = {2014},
timestamp = {Fri, 28 Nov 2014 14:16:32 +0100},
biburl = {https://dblp.org/rec/conf/jfla/DumasDEP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfla/PousS14,
author = {Damien Pous and
Alan Schmitt},
editor = {Christine Tasson and
David Baelde},
title = {De la {KAM} avec un Processus d'Ordre Supe'rieur},
booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
France, January 8-11, 2014},
pages = {149--158},
year = {2014},
timestamp = {Fri, 28 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jfla/PousS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonchiPPR14,
author = {Filippo Bonchi and
Daniela Petrisan and
Damien Pous and
Jurriaan Rot},
title = {Coinduction up to in a fibrational setting},
journal = {CoRR},
volume = {abs/1401.6675},
year = {2014},
url = {http://arxiv.org/abs/1401.6675},
eprinttype = {arXiv},
eprint = {1401.6675},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonchiPPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Pous14,
author = {Damien Pous},
title = {Symbolic Algorithms for Language Equivalence and Kleene Algebra with
Tests},
journal = {CoRR},
volume = {abs/1407.3213},
year = {2014},
url = {http://arxiv.org/abs/1407.3213},
eprinttype = {arXiv},
eprint = {1407.3213},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Pous14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasDEP14,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Burak Ekici and
Damien Pous},
title = {Program certification with computational effects},
journal = {CoRR},
volume = {abs/1411.7140},
year = {2014},
url = {http://arxiv.org/abs/1411.7140},
eprinttype = {arXiv},
eprint = {1411.7140},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasDEP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BonchiCPS13,
author = {Filippo Bonchi and
Georgiana Caltais and
Damien Pous and
Alexandra Silva},
editor = {Chung{-}chieh Shan},
title = {Brzozowski's and Up-To Algorithms for Must Testing},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {1--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_1},
doi = {10.1007/978-3-319-03542-0\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BonchiCPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Pous13,
author = {Damien Pous},
editor = {Reiko Heckel and
Stefan Milius},
title = {Coalgebraic Up-to Techniques},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {34--35},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_4},
doi = {10.1007/978-3-642-40206-7\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/Pous13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BoyerGP13,
author = {Fabienne Boyer and
Olivier Gruber and
Damien Pous},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Robust reconfigurations of component assemblies},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {13--22},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606547},
doi = {10.1109/ICSE.2013.6606547},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BoyerGP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Pous13,
author = {Damien Pous},
editor = {Sandrine Blazy and
Christine Paulin{-}Mohring and
David Pichardie},
title = {Kleene Algebra with Tests and Coq Tools for while Programs},
booktitle = {Interactive Theorem Proving - 4th International Conference, {ITP}
2013, Rennes, France, July 22-26, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7998},
pages = {180--196},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39634-2\_15},
doi = {10.1007/978-3-642-39634-2\_15},
timestamp = {Wed, 25 Sep 2019 18:17:56 +0200},
biburl = {https://dblp.org/rec/conf/itp/Pous13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BonchiP13,
author = {Filippo Bonchi and
Damien Pous},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Checking {NFA} equivalence with bisimulations up to congruence},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {457--468},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429124},
doi = {10.1145/2429069.2429124},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BonchiP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-1737,
author = {Damien Pous},
title = {Kleene Algebra with Tests and Coq Tools for While Programs},
journal = {CoRR},
volume = {abs/1302.1737},
year = {2013},
url = {http://arxiv.org/abs/1302.1737},
eprinttype = {arXiv},
eprint = {1302.1737},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-1737.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DumasDEP13,
author = {Jean{-}Guillaume Dumas and
Dominique Duval and
Burak Ekici and
Damien Pous},
title = {Formal verification in Coq of program properties involving the global
state effect},
journal = {CoRR},
volume = {abs/1310.0794},
year = {2013},
url = {http://arxiv.org/abs/1310.0794},
eprinttype = {arXiv},
eprint = {1310.0794},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DumasDEP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-4537,
author = {Thomas Braibant and
Damien Pous},
title = {Deciding Kleene Algebras in Coq},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(1:16)2012},
doi = {10.2168/LMCS-8(1:16)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-4537.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-3612,
author = {Damien Pous},
title = {Untyping Typed Algebras and Colouring Cyclic Linear Logic},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {2},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(2:13)2012},
doi = {10.2168/LMCS-8(2:13)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-3612.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/HirschowitzP12,
author = {Tom Hirschowitz and
Damien Pous},
title = {Innocent Strategies as Presheaves and Interactive Equivalences for
{CCS}},
journal = {Sci. Ann. Comput. Sci.},
volume = {22},
number = {1},
pages = {147--199},
year = {2012},
url = {https://doi.org/10.7561/SACS.2012.1.147},
doi = {10.7561/SACS.2012.1.147},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/HirschowitzP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/12/PousS12,
author = {Damien Pous and
Davide Sangiorgi},
editor = {Davide Sangiorgi and
Jan J. M. M. Rutten},
title = {Enhancements of the bisimulation proof method},
booktitle = {Advanced Topics in Bisimulation and Coinduction},
series = {Cambridge tracts in theoretical computer science},
volume = {52},
pages = {233--289},
publisher = {Cambridge University Press},
year = {2012},
timestamp = {Fri, 22 May 2020 12:02:52 +0200},
biburl = {https://dblp.org/rec/books/cu/12/PousS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/BraibantP11,
author = {Thomas Braibant and
Damien Pous},
editor = {Jean{-}Pierre Jouannaud and
Zhong Shao},
title = {Tactics for Reasoning Modulo {AC} in Coq},
booktitle = {Certified Programs and Proofs - First International Conference, {CPP}
2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7086},
pages = {167--182},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25379-9\_14},
doi = {10.1007/978-3-642-25379-9\_14},
timestamp = {Thu, 14 Oct 2021 10:14:33 +0200},
biburl = {https://dblp.org/rec/conf/cpp/BraibantP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0463,
author = {Tom Hirschowitz and
Damien Pous},
editor = {Alexandra Silva and
Simon Bliudze and
Roberto Bruni and
Marco Carbone},
title = {Innocent strategies as presheaves and interactive equivalences for
{CCS}},
booktitle = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
Reykjavik, Iceland, 9th June 2011},
series = {{EPTCS}},
volume = {59},
pages = {2--24},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.59.2},
doi = {10.4204/EPTCS.59.2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0463.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-4448,
author = {Thomas Braibant and
Damien Pous},
title = {Tactics for Reasoning modulo {AC} in Coq},
journal = {CoRR},
volume = {abs/1106.4448},
year = {2011},
url = {http://arxiv.org/abs/1106.4448},
eprinttype = {arXiv},
eprint = {1106.4448},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4448.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-4356,
author = {Tom Hirschowitz and
Damien Pous},
title = {Strategies as sheaves and interactive equivalences for {CCS}},
journal = {CoRR},
volume = {abs/1109.4356},
year = {2011},
url = {http://arxiv.org/abs/1109.4356},
eprinttype = {arXiv},
eprint = {1109.4356},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-4356.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Pous10,
author = {Damien Pous},
editor = {Anuj Dawar and
Helmut Veith},
title = {Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic
Linear Logic},
booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6247},
pages = {484--498},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15205-4\_37},
doi = {10.1007/978-3-642-15205-4\_37},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Pous10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HirschkoffP10,
author = {Daniel Hirschkoff and
Damien Pous},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {On Bisimilarity and Substitution in Presence of Replication},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {454--465},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_38},
doi = {10.1007/978-3-642-14162-1\_38},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HirschkoffP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BraibantP10,
author = {Thomas Braibant and
Damien Pous},
editor = {Matt Kaufmann and
Lawrence C. Paulson},
title = {An Efficient Coq Tactic for Deciding Kleene Algebras},
booktitle = {Interactive Theorem Proving, First International Conference, {ITP}
2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6172},
pages = {163--178},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14052-5\_13},
doi = {10.1007/978-3-642-14052-5\_13},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/BraibantP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-5446,
author = {Daniel Hirschkoff and
Aur{\'{e}}lien Pardon and
Tom Hirschowitz and
Samuel Hym and
Damien Pous},
title = {Encapsulation and Dynamic Modularity in the Pi-Calculus},
journal = {CoRR},
volume = {abs/0906.5446},
year = {2009},
url = {http://arxiv.org/abs/0906.5446},
eprinttype = {arXiv},
eprint = {0906.5446},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-5446.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Pous08,
author = {Damien Pous},
title = {Techniques modulo pour les bisimulations. (Up to techniques for bisimulations)},
school = {{\'{E}}cole normale sup{\'{e}}rieure de Lyon, France},
year = {2008},
url = {https://tel.archives-ouvertes.fr/tel-01441480},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Pous08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/HirschkoffP08,
author = {Daniel Hirschkoff and
Damien Pous},
title = {A Distribution Law for {CCS} and a New Congruence Result for the p-calculus},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {2},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(2:4)2008},
doi = {10.2168/LMCS-4(2:4)2008},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/HirschkoffP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Pous08,
author = {Damien Pous},
title = {Using bisimulation proof techniques for the analysis of distributed
abstract machines},
journal = {Theor. Comput. Sci.},
volume = {402},
number = {2-3},
pages = {199--220},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.035},
doi = {10.1016/J.TCS.2008.04.035},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Pous08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HirschkoffPHHP09,
author = {Daniel Hirschkoff and
Aur{\'{e}}lien Pardon and
Tom Hirschowitz and
Samuel Hym and
Damien Pous},
editor = {Vasco T. Vasconcelos and
Nobuko Yoshida},
title = {Encapsulation and Dynamic Modularity in the pi-calculus},
booktitle = {Proceedings of the First Workshop on Programming Language Approaches
to Concurrency and Communication-cEntric Software, PLACES@DisCoTec
2008, Oslo, Norway, June 7, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {241},
pages = {85--100},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.06.005},
doi = {10.1016/J.ENTCS.2009.06.005},
timestamp = {Thu, 09 Mar 2023 13:43:51 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HirschkoffPHHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0810-2061,
author = {Daniel Hirschkoff and
Damien Pous},
title = {On characterising strong bisimilarity in a fragment of {CCS} with
replication},
journal = {CoRR},
volume = {abs/0810.2061},
year = {2008},
url = {http://arxiv.org/abs/0810.2061},
eprinttype = {arXiv},
eprint = {0810.2061},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0810-2061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HirschkoffPS07,
author = {Daniel Hirschkoff and
Damien Pous and
Davide Sangiorgi},
title = {An efficient abstract machine for Safe Ambients},
journal = {J. Log. Algebraic Methods Program.},
volume = {71},
number = {2},
pages = {114--149},
year = {2007},
url = {https://doi.org/10.1016/j.jlap.2007.02.003},
doi = {10.1016/J.JLAP.2007.02.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HirschkoffPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Pous07,
author = {Damien Pous},
title = {New up-to techniques for weak bisimulation},
journal = {Theor. Comput. Sci.},
volume = {380},
number = {1-2},
pages = {164--180},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.02.060},
doi = {10.1016/J.TCS.2007.02.060},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Pous07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Pous07,
author = {Damien Pous},
editor = {Zhong Shao},
title = {Complete Lattices and Up-To Techniques},
booktitle = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
Singapore, November 29-December 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4807},
pages = {351--366},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76637-7\_24},
doi = {10.1007/978-3-540-76637-7\_24},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Pous07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HirschkoffP07,
author = {Daniel Hirschkoff and
Damien Pous},
editor = {Helmut Seidl},
title = {A Distribution Law for {CCS} and a New Congruence Result for the \emph{pi}-Calculus},
booktitle = {Foundations of Software Science and Computational Structures, 10th
International Conference, {FOSSACS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007,
Braga, Portugal, March 24-April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4423},
pages = {228--242},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71389-0\_17},
doi = {10.1007/978-3-540-71389-0\_17},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HirschkoffP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Pous06,
author = {Damien Pous},
editor = {Christel Baier and
Holger Hermanns},
title = {Weak Bisimulation Up to Elaboration},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {390--405},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_26},
doi = {10.1007/11817949\_26},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/Pous06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/Pous06,
author = {Damien Pous},
editor = {Ugo Montanari and
Donald Sannella and
Roberto Bruni},
title = {On Bisimulation Proofs for the Analysis of Distributed Abstract Machines},
booktitle = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca,
Italy, November 7-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4661},
pages = {150--166},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75336-0\_10},
doi = {10.1007/978-3-540-75336-0\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/Pous06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0608059,
author = {Daniel Hirschkoff and
Damien Pous},
title = {A Distribution Law for {CCS} and a New Congruence Result for the pi-calculus},
journal = {CoRR},
volume = {abs/cs/0608059},
year = {2006},
url = {http://arxiv.org/abs/cs/0608059},
eprinttype = {arXiv},
eprint = {cs/0608059},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0608059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/HirschkoffPS05,
author = {Daniel Hirschkoff and
Damien Pous and
Davide Sangiorgi},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {A Correct Abstract Machine for Safe Ambients},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {17--32},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_2},
doi = {10.1007/11417019\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/HirschkoffPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/HirschkoffHPSS05,
author = {Daniel Hirschkoff and
Tom Hirschowitz and
Damien Pous and
Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {Robert Gl{\"{u}}ck and
Michael R. Lowry},
title = {Component-Oriented Programming with Sharing: Containment is Not Ownership},
booktitle = {Generative Programming and Component Engineering, 4th International
Conference, {GPCE} 2005, Tallinn, Estonia, September 29 - October
1, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3676},
pages = {389--404},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11561347\_26},
doi = {10.1007/11561347\_26},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gpce/HirschkoffHPSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Pous05,
author = {Damien Pous},
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {Up-to Techniques for Weak Bisimulation},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
pages = {730--741},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468\_59},
doi = {10.1007/11523468\_59},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Pous05.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-03-14 23:48 CET 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:
