Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(10)
Daniel Hirschkoff
10
ENS Lyon
4
Tom Hirschowitz
2
Davide Sangiorgi
2
Thomas Braibant
2
Conferences
(8)
ICALP
2
APLAS
1
CONCUR
1
COORDINATION
1
CSL
1
Journals
(5)
CORR
3
TCS
2
JLP
1
ENTCS
1
LMCS
1
Keywords
(33)
Embed
Subscribe
Academic
Authors
Damien Pous
Edit
Damien Pous
The French National Institute for Research in Computer Science and Control
Publications: 24
|
Citations: 76
|
G-Index: 8
|
H-Index: 5
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Software Engineering
,
Scientific Computing
View FAQ about top research area and research interests
Collaborated with
10 co-authors
from 2005 to 2011
; Cited by
47 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(24)
BibTeX
|
RIS
|
RefWorks
Download
Deciding Kleene Algebras in Coq
Thomas Braibant
,
Damien Pous
Journal:
Computing Research Repository - CORR
, vol. abs/1105.4, 2011
An Efficient Coq Tactic for Deciding Kleene Algebras
(
Citations: 3
)
Thomas Braibant
,
Damien Pous
Published in 2010.
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic
(
Citations: 2
)
Damien Pous
Conference:
Computer Science Logic - CSL
, pp. 484-498, 2010
On Bisimilarity and Substitution in Presence of Replication
Daniel Hirschkoff
,
Damien Pous
Conference:
International Colloquium on Automata, Languages and Programming - ICALP
, pp. 454-465, 2010
Encapsulation and Dynamic Modularity in the Pi-Calculus
Daniel Hirschkoff
,
Aurélien Pardon
,
Tom Hirschowitz
,
Samuel Hym
,
Damien Pous
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 241, pp. 85-100, 2009
Order by:
Citations
(76 times by 44 publications)
On the expressiveness and decidability of higher-order process calculi
Ivan Lanese
,
Jorge A. Pérez
,
Davide Sangiorgi
,
Alan Schmitt
Journal:
Information and Computation/information and Control - IANDC
, vol. 209, no. 2, pp. 198-226, 2011
A decentralised graphical implementation of mobile ambients
Fabio Gadducci
,
Giacoma Valentina Monreale
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 80, no. 2, pp. 113-136, 2011
An Efficient Coq Tactic for Deciding Kleene Algebras
(
Citations: 3
)
Thomas Braibant
,
Damien Pous
Published in 2010.
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic
(
Citations: 2
)
Damien Pous
Conference:
Computer Science Logic - CSL
, pp. 484-498, 2010
Knots as processes: a new kind of invariant
(
Citations: 1
)
L. G. Meredith
,
David F. Snyder
Journal:
Computing Research Repository - CORR
, vol. abs/1009.2, 2010
Comments