×

zbMATH — the first resource for mathematics

Pous, Damien

Compute Distance To:
Author ID: pous.damien Recent zbMATH articles by "Pous, Damien"
Published as: Pous, Damien
Documents Indexed: 52 Publications since 2005, including 1 Book

Publications by Year

Citations contained in zbMATH Open

36 Publications have been cited 172 times in 90 Documents Cited by Year
Checking NFA equivalence with bisimulations up to congruence. Zbl 1301.68169
Bonchi, Filippo; Pous, Damien
22
2013
Enhancements of the bisimulation proof method. Zbl 1285.68111
Pous, Damien; Sangiorgi, Davide
17
2012
An efficient Coq tactic for deciding Kleene algebras. Zbl 1291.68330
Braibant, Thomas; Pous, Damien
13
2010
Coinduction up-to in a fibrational setting. Zbl 1395.68195
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
12
2014
Coinduction all the way up. Zbl 1394.68352
Pous, Damien
9
2016
Kleene algebra with tests and Coq tools for while programs. Zbl 1317.68229
Pous, Damien
9
2013
Deciding Kleene algebras in Coq. Zbl 1238.68146
Braibant, Thomas; Pous, Damien
9
2012
Complete lattices and up-to techniques. Zbl 1138.68041
Pous, Damien
8
2007
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
7
2015
A general account of coinduction up-to. Zbl 1371.68186
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
5
2017
Lax bialgebras and up-to techniques for weak bisimulations. Zbl 1371.68187
Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan
5
2015
Up-to techniques for weak bisimulation. Zbl 1084.68085
Pous, Damien
5
2005
Symbolic algorithms for language equivalence and Kleene algebra with tests. Zbl 1346.68120
Pous, Damien
4
2015
New up-to techniques for weak bisimulation. Zbl 1118.68095
Pous, Damien
4
2007
An efficient abstract machine for safe ambients. Zbl 1116.68056
Hirschkoff, Daniel; Pous, Damien; Sangiorgi, Davide
4
2007
Weak bisimulation up to elaboration. Zbl 1151.68551
Pous, Damien
4
2006
Cardinalities of finite relations in Coq. Zbl 06644761
Brunet, Paul; Pous, Damien; Stucke, Insa
3
2016
Bisimulations up-to: beyond first-order transition systems. Zbl 1388.68200
Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide
3
2014
Tactics for reasoning modulo AC in Coq. Zbl 1350.68227
Braibant, Thomas; Pous, Damien
3
2011
A distribution law for CCS and a new congruence result for the \(\pi \)-calculus. Zbl 1149.68063
Hirschkoff, Daniel; Pous, Damien
3
2008
Petri automata. Zbl 1427.68185
Brunet, Paul; Pous, Damien
2
2017
Companions, codensity and causality. Zbl 1442.68149
Pous, Damien; Rot, Jurriaan
2
2017
Petri automata for Kleene allegories. Zbl 1392.68285
Brunet, Paul; Pous, Damien
2
2015
Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180
Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra
2
2013
On bisimilarity and substitution in presence of replication. Zbl 1288.68182
Hirschkoff, Daniel; Pous, Damien
2
2010
Using bisimulation proof techniques for the analysis of distributed abstract machines. Zbl 1146.68053
Pous, Damien
2
2008
On bisimulation proofs for the analysis of distributed abstract machines. Zbl 1211.68271
Pous, Damien
2
2007
Bisimulation and coinduction enhancements: a historical perspective. Zbl 1427.68010
Pous, Damien; Sangiorgi, Davide
1
2019
Left-handed completeness for Kleene algebra, via cyclic proofs. Zbl 1415.68124
Das, Anupam; Doumane, Amina; Pous, Damien
1
2018
A formal proof of the minor-exclusion property for treewidth-two graphs. Zbl 06946980
Doczkal, Christian; Combette, Guillaume; Pous, Damien
1
2018
\(K_4\)-free graphs as a free algebra. Zbl 1445.05099
Cosme-Llópez, Enric; Pous, Damien
1
2017
Monoidal company for accessible functors. Zbl 1436.18014
Basold, Henning; Pous, Damien; Rot, Jurriaan
1
2017
A formal exploration of nominal Kleene algebra. Zbl 1398.68350
Brunet, Paul; Pous, Damien
1
2016
Kleene algebra with converse. Zbl 1345.68222
Brunet, Paul; Pous, Damien
1
2014
Innocent strategies as presheaves and interactive equivalences for CCS. Zbl 1424.68103
Hirschowitz, Tom; Pous, Damien
1
2012
Untyping typed algebraic structures and colouring proof nets of cyclic linear logic. Zbl 1287.03107
Pous, Damien
1
2010
Bisimulation and coinduction enhancements: a historical perspective. Zbl 1427.68010
Pous, Damien; Sangiorgi, Davide
1
2019
Left-handed completeness for Kleene algebra, via cyclic proofs. Zbl 1415.68124
Das, Anupam; Doumane, Amina; Pous, Damien
1
2018
A formal proof of the minor-exclusion property for treewidth-two graphs. Zbl 06946980
Doczkal, Christian; Combette, Guillaume; Pous, Damien
1
2018
A general account of coinduction up-to. Zbl 1371.68186
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
5
2017
Petri automata. Zbl 1427.68185
Brunet, Paul; Pous, Damien
2
2017
Companions, codensity and causality. Zbl 1442.68149
Pous, Damien; Rot, Jurriaan
2
2017
\(K_4\)-free graphs as a free algebra. Zbl 1445.05099
Cosme-Llópez, Enric; Pous, Damien
1
2017
Monoidal company for accessible functors. Zbl 1436.18014
Basold, Henning; Pous, Damien; Rot, Jurriaan
1
2017
Coinduction all the way up. Zbl 1394.68352
Pous, Damien
9
2016
Cardinalities of finite relations in Coq. Zbl 06644761
Brunet, Paul; Pous, Damien; Stucke, Insa
3
2016
A formal exploration of nominal Kleene algebra. Zbl 1398.68350
Brunet, Paul; Pous, Damien
1
2016
Enhanced coalgebraic bisimulation. Zbl 1380.68300
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra
7
2015
Lax bialgebras and up-to techniques for weak bisimulations. Zbl 1371.68187
Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan
5
2015
Symbolic algorithms for language equivalence and Kleene algebra with tests. Zbl 1346.68120
Pous, Damien
4
2015
Petri automata for Kleene allegories. Zbl 1392.68285
Brunet, Paul; Pous, Damien
2
2015
Coinduction up-to in a fibrational setting. Zbl 1395.68195
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan
12
2014
Bisimulations up-to: beyond first-order transition systems. Zbl 1388.68200
Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide
3
2014
Kleene algebra with converse. Zbl 1345.68222
Brunet, Paul; Pous, Damien
1
2014
Checking NFA equivalence with bisimulations up to congruence. Zbl 1301.68169
Bonchi, Filippo; Pous, Damien
22
2013
Kleene algebra with tests and Coq tools for while programs. Zbl 1317.68229
Pous, Damien
9
2013
Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180
Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra
2
2013
Enhancements of the bisimulation proof method. Zbl 1285.68111
Pous, Damien; Sangiorgi, Davide
17
2012
Deciding Kleene algebras in Coq. Zbl 1238.68146
Braibant, Thomas; Pous, Damien
9
2012
Innocent strategies as presheaves and interactive equivalences for CCS. Zbl 1424.68103
Hirschowitz, Tom; Pous, Damien
1
2012
Tactics for reasoning modulo AC in Coq. Zbl 1350.68227
Braibant, Thomas; Pous, Damien
3
2011
An efficient Coq tactic for deciding Kleene algebras. Zbl 1291.68330
Braibant, Thomas; Pous, Damien
13
2010
On bisimilarity and substitution in presence of replication. Zbl 1288.68182
Hirschkoff, Daniel; Pous, Damien
2
2010
Untyping typed algebraic structures and colouring proof nets of cyclic linear logic. Zbl 1287.03107
Pous, Damien
1
2010
A distribution law for CCS and a new congruence result for the \(\pi \)-calculus. Zbl 1149.68063
Hirschkoff, Daniel; Pous, Damien
3
2008
Using bisimulation proof techniques for the analysis of distributed abstract machines. Zbl 1146.68053
Pous, Damien
2
2008
Complete lattices and up-to techniques. Zbl 1138.68041
Pous, Damien
8
2007
New up-to techniques for weak bisimulation. Zbl 1118.68095
Pous, Damien
4
2007
An efficient abstract machine for safe ambients. Zbl 1116.68056
Hirschkoff, Daniel; Pous, Damien; Sangiorgi, Davide
4
2007
On bisimulation proofs for the analysis of distributed abstract machines. Zbl 1211.68271
Pous, Damien
2
2007
Weak bisimulation up to elaboration. Zbl 1151.68551
Pous, Damien
4
2006
Up-to techniques for weak bisimulation. Zbl 1084.68085
Pous, Damien
5
2005
all top 5

Cited by 125 Authors

11 Pous, Damien
9 Silva, Alexandra
8 Sangiorgi, Davide
7 Rot, Jurriaan
6 Bonchi, Filippo
6 Struth, Georg
5 Bonsangue, Marcello Maria
5 Rutten, Jan J. M. M.
5 Stucke, Insa
4 Brunet, Paul
4 Hirschkoff, Daniel
3 Armstrong, Alasdair
3 Berghammer, Rudolf
3 Doczkal, Christian
3 Durier, Adrien
3 Hasuo, Ichiro
3 Kozen, Dexter C.
3 Luttik, Bas
3 Smolka, Gert
3 Traytel, Dmitry
2 Caltais, Georgiana
2 Cho, Kenta
2 Höfner, Peter
2 Kataoka, Toshiki
2 König, Barbara
2 Küpper, Sebastian
2 Mamouras, Konstantinos
2 Melo de Sousa, Simão
2 Moreira, Nelma
2 Nipkow, Tobias
2 Pereira, David P.
2 Petrisan, Daniela Luan
2 Sprunger, David
2 Xu, Xian
1 Abel, Andreas M.
1 Ayala-Rincón, Mauricio
1 Ballester-Bolinches, Adolfo
1 Basin, David A.
1 Bengtson, Jesper
1 Bhatt, Bhargav Nagaraja
1 Bidinger, Philippe
1 Biernacki, Dariusz
1 Blanchette, Jasmin Christian
1 Blanqui, Frédéric
1 Boulmé, Sylvain
1 Bouzy, Aymeric
1 Braibant, Thomas
1 Brengos, Tomasz
1 Compagnoni, Adriana B.
1 Coquand, Thierry
1 Cosme-Llópez, Enric
1 Dagnino, Francesco
1 Danilenko, Nikita
1 de Carvalho-Segundo, Washington
1 de Frutos-Escrig, David
1 Diskin, Zinovy
1 Dreier, Jannik
1 Ene, Cristian
1 Erkens, Rick
1 Farmer, William M.
1 Fernández, Maribel
1 Foster, Simon
1 Gadducci, Fabio
1 Glück, Roland
1 Gomes, Victor B. F.
1 Gregorio-Rodríguez, Carlos
1 Guttmann, Walter
1 Holík, Lukáš
1 Inoue, Jun-Ichiro
1 Iosif, Radu
1 Jacobs, Bart
1 Kahl, Wolfram
1 Kappé, Tobias
1 Klinge, Titus H.
1 Koprowski, Adam
1 Krauss, Alexander
1 Krstić, Srđan
1 Kuperberg, Denis
1 Kurz, Alexander
1 Lafourcade, Pascal
1 Lakhnech, Yassine
1 Lanese, Ivan
1 Lathrop, James I.
1 Laurence, Michael R.
1 Lengál, Ondřej
1 Lenglet, Sergueï
1 Lin, Anthony Widjaja
1 Lochbihler, Andreas
1 Lutz, Jack H.
1 Maibaum, Thomas Stephen Edward
1 Majumdar, Anirban
1 Majumdar, Rupak
1 Malecha, Gregory
1 Maréchal, Alexandre
1 Miller, Dale Allen
1 Monreale, Giacoma Valentina
1 Nowak, David E.
1 Paulson, Lawrence Charles
1 Peressotti, Marco
1 Pérez, Jorge A.
...and 25 more Authors

Citations by Year