BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pous:Damien

Contributed to:

LICS 20152015
POPL 20152015
CSL-LICS 20142014
ICSE 20132013
POPL 20132013
CSL 20102010
ICALP (2) 20102010
FoSSaCS 20072007
GPCE 20052005
ICALP 20052005
CSL 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.