Pous, Damien; Rot, Jurriaan; Turkenburg, Ruben Corecursion up-to via causal transformations. (English) Zbl 07628070 Hansen, Helle Hvid (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 13225, 133-154 (2022). MSC: 68Q65 PDFBibTeX XMLCite \textit{D. Pous} et al., Lect. Notes Comput. Sci. 13225, 133--154 (2022; Zbl 07628070) Full Text: DOI
Pous, Damien; Rot, Jurriaan; Wagemaker, Jana On tools for completeness of Kleene algebra with hypotheses. (English) Zbl 07670530 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 378-395 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Pous} et al., Lect. Notes Comput. Sci. 13027, 378--395 (2021; Zbl 07670530) Full Text: DOI arXiv
Kuperberg, Denis; Pinault, Laureline; Pous, Damien Coinductive algorithms for Büchi automata. (English) Zbl 1497.68272 Fundam. Inform. 180, No. 4, 351-373 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Kuperberg} et al., Fundam. Inform. 180, No. 4, 351--373 (2021; Zbl 1497.68272) Full Text: DOI
Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide Modular coinduction up-to for higher-order languages via first-order transition systems. (English) Zbl 07407797 Log. Methods Comput. Sci. 17, No. 3, Paper No. 25, 39 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J.-M. Madiot} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 25, 39 p. (2021; Zbl 07407797) Full Text: arXiv Link
Doumane, Amina; Pous, Damien Non axiomatisability of positive relation algebras with constants, via graph homomorphisms. (English) Zbl 07559485 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 29, 16 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{A. Doumane} and \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 29, 16 p. (2020; Zbl 07559485) Full Text: DOI
Doczkal, Christian; Pous, Damien Graph theory in Coq: minors, treewidth, and isomorphisms. (English) Zbl 1468.68320 J. Autom. Reasoning 64, No. 5, 795-825 (2020). MSC: 68V20 03B35 05C05 05C40 05C60 05C83 PDFBibTeX XMLCite \textit{C. Doczkal} and \textit{D. Pous}, J. Autom. Reasoning 64, No. 5, 795--825 (2020; Zbl 1468.68320) Full Text: DOI HAL
Kuperberg, Denis; Pinault, Laureline; Pous, Damien Cyclic proofs and jumping automata. (English) Zbl 07650342 Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 45, 14 p. (2019). MSC: 68N30 68Qxx PDFBibTeX XMLCite \textit{D. Kuperberg} et al., LIPIcs -- Leibniz Int. Proc. Inform. 150, Article 45, 14 p. (2019; Zbl 07650342) Full Text: DOI
Bréhard, Florent; Mahboubi, Assia; Pous, Damien A certificate-based approach to formally verified approximations. (English) Zbl 07649957 Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 8, 19 p. (2019). MSC: 68V15 PDFBibTeX XMLCite \textit{F. Bréhard} et al., LIPIcs -- Leibniz Int. Proc. Inform. 141, Article 8, 19 p. (2019; Zbl 07649957) Full Text: DOI
Pous, Damien Coinduction: automata, formal proof, companions (invited paper). (English) Zbl 07649887 Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 4, 4 p. (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 139, Article 4, 4 p. (2019; Zbl 07649887) Full Text: DOI
Doumane, Amina; Kuperberg, Denis; Pous, Damien; Pradic, Pierre Kleene algebra with hypotheses. (English) Zbl 1524.68201 Bojańczyk, Mikołaj (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 11425, 207-223 (2019). MSC: 68Q70 03B25 08A70 68Q25 PDFBibTeX XMLCite \textit{A. Doumane} et al., Lect. Notes Comput. Sci. 11425, 207--223 (2019; Zbl 1524.68201) Full Text: DOI
Pous, Damien; Sangiorgi, Davide Bisimulation and coinduction enhancements: a historical perspective. (English) Zbl 1427.68010 Formal Asp. Comput. 31, No. 6, 733-749 (2019). MSC: 68-03 68Qxx PDFBibTeX XMLCite \textit{D. Pous} and \textit{D. Sangiorgi}, Formal Asp. Comput. 31, No. 6, 733--749 (2019; Zbl 1427.68010) Full Text: DOI Link
Kuperberg, Denis; Pinault, Laureline; Pous, Damien Coinductive algorithms for Büchi automata. (English) Zbl 1497.68271 Hofman, Piotrek (ed.) et al., Developments in language theory. 23rd international conference, DLT 2019, Warsaw, Poland, August 5–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11647, 206-220 (2019). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Kuperberg} et al., Lect. Notes Comput. Sci. 11647, 206--220 (2019; Zbl 1497.68271) Full Text: DOI HAL
Pous, Damien; Rot, Jurriaan Companions, causality and codensity. (English) Zbl 1442.68150 Log. Methods Comput. Sci. 15, No. 3, Paper No. 14, 36 p. (2019). MSC: 68Q85 03B70 06B23 08A70 18C15 68Q65 PDFBibTeX XMLCite \textit{D. Pous} and \textit{J. Rot}, Log. Methods Comput. Sci. 15, No. 3, Paper No. 14, 36 p. (2019; Zbl 1442.68150) Full Text: arXiv
Höfner, Peter (ed.); Pous, Damien (ed.); Struth, Georg (ed.) Relational and algebraic methods in computer science. (English) Zbl 1423.68028 J. Log. Algebr. Methods Program. 106, 198-199 (2019). MSC: 68-06 68Qxx 00B25 PDFBibTeX XMLCite \textit{P. Höfner} (ed.) et al., J. Log. Algebr. Methods Program. 106, 198--199 (2019; Zbl 1423.68028) Full Text: DOI
Das, Anupam; Pous, Damien Non-wellfounded proof theory for (Kleene+action)(algebras+lattices). (English) Zbl 1528.03234 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 19, 18 p. (2018). MSC: 03F05 03G25 68Q45 PDFBibTeX XMLCite \textit{A. Das} and \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 19, 18 p. (2018; Zbl 1528.03234) Full Text: DOI
Doumane, Amina; Pous, Damien Completeness for identity-free Kleene lattices. (English) Zbl 1520.68055 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 18, 17 p. (2018). MSC: 68Q45 68Q70 68Q85 PDFBibTeX XMLCite \textit{A. Doumane} and \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 18, 17 p. (2018; Zbl 1520.68055) Full Text: DOI
Doczkal, Christian; Pous, Damien Treewidth-two graphs as a free algebra. (English) Zbl 1512.08002 Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 60, 15 p. (2018). MSC: 08A70 05C25 68Q42 PDFBibTeX XMLCite \textit{C. Doczkal} and \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 117, Article 60, 15 p. (2018; Zbl 1512.08002) Full Text: DOI
Pous, Damien; Vignudelli, Valeria Allegories: decidability and graph homomorphisms. (English) Zbl 1453.18002 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 829-838 (2018). MSC: 18A10 03B25 05C25 PDFBibTeX XMLCite \textit{D. Pous} and \textit{V. Vignudelli}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 829--838 (2018; Zbl 1453.18002) Full Text: DOI
Pous, Damien On the positive calculus of relations with transitive closure. (English) Zbl 1487.03077 Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 3, 16 p. (2018). MSC: 03G15 68Q70 PDFBibTeX XMLCite \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 3, 16 p. (2018; Zbl 1487.03077) Full Text: DOI
Das, Anupam; Doumane, Amina; Pous, Damien Left-handed completeness for Kleene algebra, via cyclic proofs. (English) Zbl 1415.68124 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 271-289 (2018). MSC: 68Q45 03B70 PDFBibTeX XMLCite \textit{A. Das} et al., EPiC Ser. Comput. 57, 271--289 (2018; Zbl 1415.68124) Full Text: DOI
Doczkal, Christian; Combette, Guillaume; Pous, Damien A formal proof of the minor-exclusion property for treewidth-two graphs. (English) Zbl 1468.68319 Avigad, Jeremy (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 10895, 178-195 (2018). MSC: 68V20 03B35 05C05 05C60 05C83 68V15 PDFBibTeX XMLCite \textit{C. Doczkal} et al., Lect. Notes Comput. Sci. 10895, 178--195 (2018; Zbl 1468.68319) Full Text: DOI HAL
Biernacka, Małgorzata; Biernacki, Dariusz; Lenglet, Sergueï; Polesiuk, Piotr; Pous, Damien; Schmitt, Alan Fully abstract encodings of \(\lambda \)-calculus in HOcore through abstract machines. (English) Zbl 1452.03041 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 58, 12 p. (2017). MSC: 03B40 68N18 68Q04 68Q85 PDFBibTeX XMLCite \textit{M. Biernacka} et al., in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 58, 12 p. (2017; Zbl 1452.03041) Full Text: Link
Brunet, Paul; Pous, Damien; Struth, Georg On decidability of concurrent Kleene algebra. (English) Zbl 1442.68128 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 28, 15 p. (2017). MSC: 68Q85 68Q25 68Q45 68Q55 PDFBibTeX XMLCite \textit{P. Brunet} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 28, 15 p. (2017; Zbl 1442.68128) Full Text: DOI
Cosme-Llópez, Enric; Pous, Damien \(K_4\)-free graphs as a free algebra. (English) Zbl 1445.05099 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 76, 14 p. (2017). MSC: 05C83 05C75 08B20 08A99 68R10 PDFBibTeX XMLCite \textit{E. Cosme-Llópez} and \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 76, 14 p. (2017; Zbl 1445.05099) Full Text: DOI
Pous, Nicolas; Gingras, Denis; Gruyer, Dominique Intelligent vehicle embedded sensors fault detection and isolation using analytical redundancy and nonlinear transformations. (English) Zbl 1400.93234 J. Control Sci. Eng. 2017, Article ID 1763934, 10 p. (2017). MSC: 93C95 93C10 93C73 93B17 PDFBibTeX XMLCite \textit{N. Pous} et al., J. Control Sci. Eng. 2017, Article ID 1763934, 10 p. (2017; Zbl 1400.93234) Full Text: DOI
Basold, Henning; Pous, Damien; Rot, Jurriaan Monoidal company for accessible functors. (English) Zbl 1436.18014 Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 5, 16 p. (2017). MSC: 18M05 68Q55 PDFBibTeX XMLCite \textit{H. Basold} et al., LIPIcs -- Leibniz Int. Proc. Inform. 72, Article 5, 16 p. (2017; Zbl 1436.18014) Full Text: DOI
Das, Anupam; Pous, Damien A cut-free cyclic proof system for Kleene algebra. (English) Zbl 1496.03229 Schmidt, Renate A. (ed.) et al., Automated reasoning with analytic tableaux and related methods. 26th international conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10501, 261-277 (2017). MSC: 03F05 03B70 68Q45 68Q25 PDFBibTeX XMLCite \textit{A. Das} and \textit{D. Pous}, Lect. Notes Comput. Sci. 10501, 261--277 (2017; Zbl 1496.03229) Full Text: DOI Link
Brunet, Paul; Pous, Damien Petri automata. (English) Zbl 1427.68185 Log. Methods Comput. Sci. 13, No. 3, Paper No. 33, 50 p. (2017). MSC: 68Q85 68Q45 68Q70 PDFBibTeX XMLCite \textit{P. Brunet} and \textit{D. Pous}, Log. Methods Comput. Sci. 13, No. 3, Paper No. 33, 50 p. (2017; Zbl 1427.68185) Full Text: DOI arXiv
Pous, Damien; Rot, Jurriaan Companions, codensity and causality. (English) Zbl 1442.68149 Esparza, Javier (ed.) et al., 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. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 106-123 (2017). MSC: 68Q85 03B70 06B23 08A70 18C15 68Q65 PDFBibTeX XMLCite \textit{D. Pous} and \textit{J. Rot}, Lect. Notes Comput. Sci. 10203, 106--123 (2017; Zbl 1442.68149) Full Text: DOI Link
Höfner, Peter (ed.); Pous, Damien (ed.); Struth, Georg (ed.) Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. (English) Zbl 1361.68009 Lecture Notes in Computer Science 10226. Cham: Springer (ISBN 978-3-319-57417-2/pbk; 978-3-319-57418-9/ebook). xiv, 323 p. (2017). MSC: 68-06 68Qxx 00B25 PDFBibTeX XMLCite \textit{P. Höfner} (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15--18, 2017. Proceedings. Cham: Springer (2017; Zbl 1361.68009) Full Text: DOI
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan A general account of coinduction up-to. (English) Zbl 1371.68186 Acta Inf. 54, No. 2, 127-190 (2017). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Acta Inf. 54, No. 2, 127--190 (2017; Zbl 1371.68186) Full Text: DOI
Pous, Damien Coinduction all the way up. (English) Zbl 1394.68352 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 307-316 (2016). MSC: 68T15 03B35 06B23 68N30 PDFBibTeX XMLCite \textit{D. Pous}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 307--316 (2016; Zbl 1394.68352) Full Text: DOI HAL
Brunet, Paul; Pous, Damien A formal exploration of nominal Kleene algebra. (English) Zbl 1398.68350 Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 22, 13 p. (2016). MSC: 68Q70 03G30 68Q55 68T15 PDFBibTeX XMLCite \textit{P. Brunet} and \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 58, Article 22, 13 p. (2016; Zbl 1398.68350) Full Text: DOI
Brunet, Paul; Pous, Damien; Stucke, Insa Cardinalities of finite relations in Coq. (English) Zbl 1478.68436 Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9807, 466-474 (2016). MSC: 68V15 03B35 03E10 03G15 PDFBibTeX XMLCite \textit{P. Brunet} et al., Lect. Notes Comput. Sci. 9807, 466--474 (2016; Zbl 1478.68436) Full Text: DOI HAL
Brunet, Paul; Pous, Damien Algorithms for Kleene algebra with converse. (English) Zbl 1345.68223 J. Log. Algebr. Methods Program. 85, No. 4, 574-594 (2016). MSC: 68Q70 03C05 68Q25 PDFBibTeX XMLCite \textit{P. Brunet} and \textit{D. Pous}, J. Log. Algebr. Methods Program. 85, No. 4, 574--594 (2016; Zbl 1345.68223) Full Text: DOI
Dumas, Jean-Guillaume; Duval, Dominique; Ekici, Burak; Pous, Damien; Reynaud, Jean-Claude Relative Hilbert-Post completeness for exceptions. (English) Zbl 1460.68024 Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 596-610 (2016). MSC: 68N15 03B35 03B70 68V15 PDFBibTeX XMLCite \textit{J.-G. Dumas} et al., Lect. Notes Comput. Sci. 9582, 596--610 (2016; Zbl 1460.68024) Full Text: DOI HAL
Brunet, Paul; Pous, Damien Petri automata for Kleene allegories. (English) Zbl 1392.68285 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 68-79 (2015). MSC: 68Q85 68Q45 68Q70 PDFBibTeX XMLCite \textit{P. Brunet} and \textit{D. Pous}, in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 68--79 (2015; Zbl 1392.68285) Full Text: DOI
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra Enhanced coalgebraic bisimulation. (English) Zbl 1380.68300 Math. Struct. Comput. Sci. 27, No. 7, 1236-1264 (2017). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 18B20 18C15 18C50 68Q55 68Q70 PDFBibTeX XMLCite \textit{J. Rot} et al., Math. Struct. Comput. Sci. 27, No. 7, 1236--1264 (2015; Zbl 1380.68300) Full Text: DOI
Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan Lax bialgebras and up-to techniques for weak bisimulations. (English) Zbl 1371.68187 Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 240-253 (2015). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Bonchi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 42, 240--253 (2015; Zbl 1371.68187) Full Text: DOI
Pous, Damien Symbolic algorithms for language equivalence and Kleene algebra with tests. (English) Zbl 1346.68120 Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 357-368 (2015). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{D. Pous}, in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 357--368 (2015; Zbl 1346.68120) Full Text: DOI arXiv
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan Coinduction up-to in a fibrational setting. (English) Zbl 1395.68195 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 20, 9 p. (2014). MSC: 68Q85 03G30 18B20 PDFBibTeX XMLCite \textit{F. Bonchi} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 20, 9 p. (2014; Zbl 1395.68195) Full Text: DOI arXiv
Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide Bisimulations up-to: beyond first-order transition systems. (English) Zbl 1388.68200 Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44583-9/pbk). Lecture Notes in Computer Science 8704, 93-108 (2014). MSC: 68Q85 PDFBibTeX XMLCite \textit{J.-M. Madiot} et al., Lect. Notes Comput. Sci. 8704, 93--108 (2014; Zbl 1388.68200) Full Text: DOI
Brunet, Paul; Pous, Damien Kleene algebra with converse. (English) Zbl 1345.68222 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 101-118 (2014). MSC: 68Q70 03C05 68Q25 PDFBibTeX XMLCite \textit{P. Brunet} and \textit{D. Pous}, Lect. Notes Comput. Sci. 8428, 101--118 (2014; Zbl 1345.68222) Full Text: DOI
Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra Brzozowski’s and up-to algorithms for must testing. (English) Zbl 1426.68180 Shan, Chung-chieh (ed.), Programming languages and systems. 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9–11, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8301, 1-16 (2013). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 8301, 1--16 (2013; Zbl 1426.68180) Full Text: DOI Link
Bonchi, Filippo; Pous, Damien Checking NFA equivalence with bisimulations up to congruence. (English) Zbl 1301.68169 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 457-468 (2013). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{F. Bonchi} and \textit{D. Pous}, in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 457--468 (2013; Zbl 1301.68169) Full Text: DOI HAL
Pous, Damien Coalgebraic up-to techniques. (English) Zbl 1394.68215 Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 34-35 (2013). MSC: 68Q45 18B20 PDFBibTeX XMLCite \textit{D. Pous}, Lect. Notes Comput. Sci. 8089, 34--35 (2013; Zbl 1394.68215) Full Text: DOI
Pous, Damien Kleene algebra with tests and Coq tools for while programs. (English) Zbl 1317.68229 Blazy, Sandrine (ed.) et al., Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22–26, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39633-5/pbk). Lecture Notes in Computer Science 7998, 180-196 (2013). MSC: 68T15 03B70 68N30 68Q60 68Q70 PDFBibTeX XMLCite \textit{D. Pous}, Lect. Notes Comput. Sci. 7998, 180--196 (2013; Zbl 1317.68229) Full Text: DOI arXiv
Hirschowitz, Tom; Pous, Damien Innocent strategies as presheaves and interactive equivalences for CCS. (English) Zbl 1424.68103 Sci. Ann. Comput. Sci. 22, No. 1, 147-199 (2012). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{T. Hirschowitz} and \textit{D. Pous}, Sci. Ann. Comput. Sci. 22, No. 1, 147--199 (2012; Zbl 1424.68103) Full Text: arXiv
Pous, Damien; Sangiorgi, Davide Enhancements of the bisimulation proof method. (English) Zbl 1285.68111 Sangiorgi, Davide (ed.) et al., Advanced topics in bisimulation and coinduction. Cambridge: Cambridge University Press (ISBN 978-1-107-00497-9/hbk). Cambridge Tracts in Theoretical Computer Science 52, 233-289 (2012). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Pous} and \textit{D. Sangiorgi}, Camb. Tracts Theor. Comput. Sci. 52, 233--289 (2012; Zbl 1285.68111) Full Text: DOI
Pous, Damien Untyping typed algebras and colouring cyclic linear logic. (English) Zbl 1241.03009 Log. Methods Comput. Sci. 8, No. 2, Paper No. 13, 21 p. (2012). MSC: 03B35 03F52 03G25 68T15 PDFBibTeX XMLCite \textit{D. Pous}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 13, 21 p. (2012; Zbl 1241.03009) Full Text: DOI arXiv
Braibant, Thomas; Pous, Damien Deciding Kleene algebras in Coq. (English) Zbl 1238.68146 Log. Methods Comput. Sci. 8, No. 1, Paper No. 16, 42 p. (2012). MSC: 68T15 68Q45 68Q70 PDFBibTeX XMLCite \textit{T. Braibant} and \textit{D. Pous}, Log. Methods Comput. Sci. 8, No. 1, Paper No. 16, 42 p. (2012; Zbl 1238.68146) Full Text: DOI
Braibant, Thomas; Pous, Damien Tactics for reasoning modulo AC in Coq. (English) Zbl 1350.68227 Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 167-182 (2011). MSC: 68T15 PDFBibTeX XMLCite \textit{T. Braibant} and \textit{D. Pous}, Lect. Notes Comput. Sci. 7086, 167--182 (2011; Zbl 1350.68227) Full Text: DOI arXiv
Braibant, Thomas; Pous, Damien An efficient Coq tactic for deciding Kleene algebras. (English) Zbl 1291.68330 Kaufmann, Matt (ed.) et al., Interactive theorem proving. First international conference, ITP 2010, Edinburgh, UK, July 11–14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14051-8/pbk). Lecture Notes in Computer Science 6172, 163-178 (2010). MSC: 68T15 68Q70 PDFBibTeX XMLCite \textit{T. Braibant} and \textit{D. Pous}, Lect. Notes Comput. Sci. 6172, 163--178 (2010; Zbl 1291.68330) Full Text: DOI
Hirschkoff, Daniel; Pous, Damien On bisimilarity and substitution in presence of replication. (English) Zbl 1288.68182 Abramsky, Samson (ed.) et al., Automata, languages and programming. 37th international colloquium, ICALP 2010, Bordeaux, France, July 6–10, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14161-4/pbk). Lecture Notes in Computer Science 6199, 454-465 (2010). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Hirschkoff} and \textit{D. Pous}, Lect. Notes Comput. Sci. 6199, 454--465 (2010; Zbl 1288.68182) Full Text: DOI
Pous, Damien Untyping typed algebraic structures and colouring proof nets of cyclic linear logic. (English) Zbl 1287.03107 Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 484-498 (2010). MSC: 03F52 03G25 PDFBibTeX XMLCite \textit{D. Pous}, Lect. Notes Comput. Sci. 6247, 484--498 (2010; Zbl 1287.03107) Full Text: DOI
Hirschkoff, Daniel; Pous, Damien A distribution law for CCS and a new congruence result for the \(\pi \)-calculus. (English) Zbl 1149.68063 Log. Methods Comput. Sci. 4, No. 2, Paper 4, 20 p. (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Hirschkoff} and \textit{D. Pous}, Log. Methods Comput. Sci. 4, No. 2, Paper 4, 20 p. (2008; Zbl 1149.68063) Full Text: DOI
Pous, Damien Using bisimulation proof techniques for the analysis of distributed abstract machines. (English) Zbl 1146.68053 Theor. Comput. Sci. 402, No. 2-3, 199-220 (2008). MSC: 68Q85 68M14 PDFBibTeX XMLCite \textit{D. Pous}, Theor. Comput. Sci. 402, No. 2--3, 199--220 (2008; Zbl 1146.68053) Full Text: DOI Link
Pous, Damien On bisimulation proofs for the analysis of distributed abstract machines. (English) Zbl 1211.68271 Montanari, Ugo (ed.) et al., Trustworthy global computing. Second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-75333-9/pbk). Lecture Notes in Computer Science 4661, 150-166 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Pous}, Lect. Notes Comput. Sci. 4661, 150--166 (2007; Zbl 1211.68271) Full Text: DOI HAL
Pous, Damien Complete lattices and up-to techniques. (English) Zbl 1138.68041 Shao, Zhong (ed.), Programming languages and systems. 5th Asian symposium, APLAS 2007, Singapore, November 29–December 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76636-0/pbk). Lecture Notes in Computer Science 4807, 351-366 (2007). MSC: 68Q85 06B23 PDFBibTeX XMLCite \textit{D. Pous}, Lect. Notes Comput. Sci. 4807, 351--366 (2007; Zbl 1138.68041) Full Text: DOI Link
Hirschkoff, Daniel; Pous, Damien A distribution law for CCS and a new congruence result for the \(\pi \)-calculus. (English) Zbl 1195.68071 Seidl, Helmut (ed.), 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. Berlin: Springer (ISBN 978-3-540-71388-3/pbk). Lecture Notes in Computer Science 4423, 228-242 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Hirschkoff} and \textit{D. Pous}, Lect. Notes Comput. Sci. 4423, 228--242 (2007; Zbl 1195.68071) Full Text: DOI HAL
Pous, Damien New up-to techniques for weak bisimulation. (English) Zbl 1118.68095 Theor. Comput. Sci. 380, No. 1-2, 164-180 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Pous}, Theor. Comput. Sci. 380, No. 1--2, 164--180 (2007; Zbl 1118.68095) Full Text: DOI HAL
Hirschkoff, Daniel; Pous, Damien; Sangiorgi, Davide An efficient abstract machine for safe ambients. (English) Zbl 1116.68056 J. Log. Algebr. Program. 71, No. 2, 114-149 (2007). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{D. Hirschkoff} et al., J. Log. Algebr. Program. 71, No. 2, 114--149 (2007; Zbl 1116.68056) Full Text: DOI Link
Pous, Damien Weak bisimulation up to elaboration. (English) Zbl 1151.68551 Baier, Christel (ed.) et al., CONCUR 2006 – concurrency theory. 17th international conference, CONCUR 2006, Bonn, Germany, August 27–30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37376-6/pbk). Lecture Notes in Computer Science 4137, 390-405 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Pous}, Lect. Notes Comput. Sci. 4137, 390--405 (2006; Zbl 1151.68551) Full Text: DOI HAL
Pous, Damien Up-to techniques for weak bisimulation. (English) Zbl 1084.68085 Caires, Luís (ed.) et al., Automata, languages and programming. 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27580-0/pbk). Lecture Notes in Computer Science 3580, 730-741 (2005). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{D. Pous}, Lect. Notes Comput. Sci. 3580, 730--741 (2005; Zbl 1084.68085) Full Text: DOI
Pous, Carles; Colomer, Joan; Melendez, Joaquim; de la Rosa, Josep Lluís Case base management for analog circuits diagnosis improvement. (English) Zbl 1045.68871 Ashley, Kevin D. (ed.) et al., Case-based reasoning research and development. 5th international conference on case-based reasoning, ICCBR 2003, Trondheim, Norway, June 23–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40433-3/pbk). Lect. Notes Comput. Sci. 2689, 437-451 (2003). MSC: 68U99 68T35 PDFBibTeX XMLCite \textit{C. Pous} et al., Lect. Notes Comput. Sci. 2689, 437--451 (2003; Zbl 1045.68871) Full Text: Link