BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Damien Pous
SearchCollections
Map detail
Damien Pous13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDamien PousADamien PousResearcherKleene Algebra with Tests and Coq Tools for While ProgramsWKleene Algebra with Tes...preprint / 2013Symbolic Algorithms for Language Equivalence and Kleene Algebra with TestsWSymbolic Algorithms for...preprint / 2014Untyping Typed Algebras and Colouring Cyclic Linear LogicWUntyping Typed Algebras...preprint / 2012Innocent strategies as presheaves and interactive equivalences for CCSWInnocent strategies as ...preprint / 2011Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)WInnocent strategies as ...preprint / 2012Tactics for Reasoning modulo AC in CoqWTactics for Reasoning m...preprint / 2011A Distribution Law for CCS and a New Congruence Result for the pi-calculusWA Distribution Law for ...preprint / 2008Deciding Kleene Algebras in CoqWDeciding Kleene Algebra...preprint / 2012Coinduction up to in a fibrational settingWCoinduction up to in a ...preprint / 2014Formal verification in Coq of program properties involving the global state effectWFormal verification in ...preprint / 2013Program certification with computational effectsWProgram certification w...preprint / 2014Hilbert-Post completeness for the state and the exception effectsWHilbert-Post completene...preprint / 2015
Person12 links

Damien Pous

Researcher

PaperKleene Algebra with Tests and Coq Tools for While ProgramsAuthorship / preprint / 2013PaperSymbolic Algorithms for Language Equivalence and Kleene Algebra with TestsAuthorship / preprint / 2014PaperUntyping Typed Algebras and Colouring Cyclic Linear LogicAuthorship / preprint / 2012PaperInnocent strategies as presheaves and interactive equivalences for CCSAuthorship / preprint / 2011PaperInnocent strategies as presheaves and interactive equivalences for CCS (expanded version)Authorship / preprint / 2012PaperTactics for Reasoning modulo AC in CoqAuthorship / preprint / 2011PaperA Distribution Law for CCS and a New Congruence Result for the pi-calculusAuthorship / preprint / 2008PaperDeciding Kleene Algebras in CoqAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)