The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Damien Pous: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Damien Pous
    Weak Bisimulation Up to Elaboration. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:390-405 [Conf]
  2. Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
    A Correct Abstract Machine for Safe Ambients. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:17-32 [Conf]
  3. Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani
    Component-Oriented Programming with Sharing: Containment is Not Ownership. [Citation Graph (0, 0)][DBLP]
    GPCE, 2005, pp:389-404 [Conf]
  4. Damien Pous
    Up-to Techniques for Weak Bisimulation. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:730-741 [Conf]
  5. Daniel Hirschkoff, Damien Pous
    A Distribution Law for CCS and a New Congruence Result for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:228-242 [Conf]
  6. Daniel Hirschkoff, Damien Pous
    A Distribution Law for CCS and a New Congruence Result for the pi-calculus [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  7. Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
    An efficient abstract machine for Safe Ambients. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:71, n:2, pp:114-149 [Journal]
  8. Damien Pous
    New up-to techniques for weak bisimulation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:380, n:1-2, pp:164-180 [Journal]

  9. Complete Lattices and Up-To Techniques. [Citation Graph (, )][DBLP]


  10. Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic. [Citation Graph (, )][DBLP]


  11. On Bisimilarity and Substitution in Presence of Replication. [Citation Graph (, )][DBLP]


  12. On Bisimulation Proofs for the Analysis of Distributed Abstract Machines. [Citation Graph (, )][DBLP]


  13. An Efficient Coq Tactic for Deciding Kleene Algebras. [Citation Graph (, )][DBLP]


  14. On characterising strong bisimilarity in a fragment of CCS with replication [Citation Graph (, )][DBLP]


  15. Encapsulation and Dynamic Modularity in the Pi-Calculus [Citation Graph (, )][DBLP]


  16. Encapsulation and Dynamic Modularity in the pi-calculus. [Citation Graph (, )][DBLP]


Search in 0.081secs, Finished in 0.082secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002