Damien Pous

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jurriaan Rot

> Home > Persons > Damien Pous

Publications

2024
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/PousRW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/PousRW24
Damien Pous, Jurriaan Rot, Jana Wagemaker:
On Tools for Completeness of Kleene Algebra with Hypotheses. Log. Methods Comput. Sci. 20(2) (2024)
2022
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/cmcs/PousRT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/PousRT22
Damien Pous, Jurriaan Rot, Ruben Turkenburg:
Corecursion Up-to via Causal Transformations. CMCS 2022: 133-154
[i17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-13020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-13020
Damien Pous, Jurriaan Rot, Jana Wagemaker:
On Tools for Completeness of Kleene Algebra with Hypotheses. CoRR abs/2210.13020 (2022)
2021
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/PousRW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/PousRW21
Damien Pous, Jurriaan Rot, Jana Wagemaker:
On Tools for Completeness of Kleene Algebra with Hypotheses. RAMiCS 2021: 378-395
2019
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/PousR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/PousR19
Damien Pous, Jurriaan Rot:
Companions, Causality and Codensity. Log. Methods Comput. Sci. 15(3) (2019)
2017
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/acta/BonchiPPR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BonchiPPR17
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
A general account of coinduction up-to. Acta Informatica 54(2): 127-190 (2017)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/RotBBPRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/RotBBPRS17
Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva:
Enhanced coalgebraic bisimulation. Math. Struct. Comput. Sci. 27(7): 1236-1264 (2017)
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/calco/BasoldPR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/BasoldPR17
Henning Basold, Damien Pous, Jurriaan Rot:
Monoidal Company for Accessible Functors. CALCO 2017: 5:1-5:16
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/PousR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/PousR17
Damien Pous, Jurriaan Rot:
Companions, Codensity and Causality. FoSSaCS 2017: 106-123
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1712-08526
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-08526
Damien Pous, Jurriaan Rot:
Companions, Causality and Codensity. CoRR abs/1712.08526 (2017)
2015
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BonchiPPR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BonchiPPR15
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
Lax Bialgebras and Up-To Techniques for Weak Bisimulations. CONCUR 2015: 240-253
2014
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/BonchiPPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/BonchiPPR14
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
Coinduction up-to in a fibrational setting. CSL-LICS 2014: 20:1-20:9
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BonchiPPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BonchiPPR14
Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot:
Coinduction up to in a fibrational setting. CoRR abs/1401.6675 (2014)

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.