Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.