Travelled to:1 × Austria
1 × Czech Republic
1 × Estonia
1 × France
1 × India
1 × Italy
1 × Japan
1 × USA
2 × Portugal
Collaborated with:∅ D.Hirschkoff F.Bonchi P.Brunet A.D.0002 F.Boyer O.Gruber D.Petrisan J.Rot T.Hirschowitz A.Schmitt J.Stefani
Talks about:algebra (3) kleen (3) up (3) congruenc (2) equival (2) bisimul (2) compon (2) proof (2) reconfigur (1) wellfound (1)
Person: Damien Pous
DBLP: Pous:Damien
Contributed to:
2015
20152014
20132013
2010
2010
2007
200520052018Wrote 11 papers:
- LICS-2015-BrunetP #automaton #petri net
- Petri Automata for Kleene Allegories (PB, DP), pp. 68–79.
- POPL-2015-Pous #algebra #algorithm #equivalence #testing
- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests (DP), pp. 357–368.
- LICS-CSL-2014-BonchiPPR #induction
- Coinduction up-to in a fibrational setting (FB, DP, DP, JR), p. 9.
- ICSE-2013-BoyerGP #component #configuration management #robust
- Robust reconfigurations of component assemblies (FB, OG, DP), pp. 13–22.
- POPL-2013-BonchiP #automaton #bisimulation #congruence #equivalence #nondeterminism
- Checking NFA equivalence with bisimulations up to congruence (FB, DP), pp. 457–468.
- CSL-2010-Pous #algebra #linear #logic #proving
- Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic (DP), pp. 484–498.
- ICALP-v2-2010-HirschkoffP #on the #replication #similarity
- On Bisimilarity and Substitution in Presence of Replication (DH, DP), pp. 454–465.
- FoSSaCS-2007-HirschkoffP #congruence #π-calculus
- A Distribution Law for CCS and a New Congruence Result for the π-Calculus (DH, DP), pp. 228–242.
- GPCE-2005-HirschkoffHPSS #component #programming
- Component-Oriented Programming with Sharing: Containment is Not Ownership (DH, TH, DP, AS, JBS), pp. 389–404.
- ICALP-2005-Pous #bisimulation
- Up-to Techniques for Weak Bisimulation (DP), pp. 730–741.
- CSL-2018-DasP #algebra #proving
- Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices) (AD0, DP), p. 18.