BibSonomy :: author  ::

bookmarks

publications

(22)

• On characterising strong bisimilarity in a fragment of CCS with replication
  Daniel Hirschkoff and Damien Pous CoRR abs/0810.2061 (2008)
  to dblp by dblp on 2008-11-02 00:00:00
  | URL | BibTeX  
• eXiT*CBR: A framework for case-based medical diagnosis development and experimentation.
  Carles Pous and Albert Pla and Pablo Gay and Beatriz López Industrial Conference on Data Mining - Posters and Workshops 96-105 (2008)
  to dblp by dblp on 2008-09-23 00:00:00
  | URL | BibTeX  
• Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis.
  Carles Pous and Pablo Gay and Albert Pla and Joan Brunet and Judit Sanz and Teresa Ramon y Cajal and Beatriz López AIMSA 322-332 (2008)
  to dblp by dblp on 2008-09-01 00:00:00
  | URL | BibTeX  
• Using bisimulation proof techniques for the analysis of distributed abstract machines.
  Damien Pous Theor. Comput. Sci. 402 199-220 (2008)
  to dblp by dblp on 2008-08-21 00:00:00
  | URL | BibTeX  
• Collecting methods for medical CBR development and experimentation.
  Carles Pous and Albert Pla and Pablo Gay and Beatriz López ECCBR Workshops 89-98 (2008)
  to dblp by dblp on 2008-08-13 00:00:00
  | URL | BibTeX  
• A Distribution Law for CCS and a New Congruence Result for the pi-calculus
  Daniel Hirschkoff and Damien Pous CoRR abs/cs/0608059 (2006)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• On Bisimulation Proofs for the Analysis of Distributed Abstract Machines.
  Damien Pous TGC 150-166 (2006)
  to dblp by dblp on 2007-11-29 00:00:00
  | URL | BibTeX  
• Complete Lattices and Up-To Techniques.
  Damien Pous APLAS 351-366 (2007)
  to dblp by dblp on 2007-11-29 00:00:00
  | URL | BibTeX  
• An efficient abstract machine for Safe Ambients.
  Daniel Hirschkoff and Damien Pous and Davide Sangiorgi J. Log. Algebr. Program. 71 114-149 (2007)
  to dblp by dblp on 2007-11-02 00:00:00
  | URL | BibTeX  
• A Forwarding Spurring Protocol for Multihop Ad Hoc Networks (FURIES).
  Helena Rifà-Pous and Jordi Herrera-Joancomartí NEW2AN 281-293 (2007)
  to dblp by dblp on 2007-08-29 00:00:00
  | URL | BibTeX