BibSonomy :: author  ::

bookmarks

publications

(9)

• Symmetric Distributed Coding of Stereo Video Sequences.
  Marco Tagliasacchi and Giorgio Prandi and Stefano Tubaro ICIP (2) 29-32 (2007)
  to dblp by dblp on 2008-06-25 00:00:00
  | URL | BibTeX  
• Communicating by compatibility.
  Davide Prandi and Corrado Priami and Paola Quaglia J. Log. Algebr. Program. 75 167-181 (2008)
  to dblp by dblp on 2008-06-25 00:00:00
  | URL | BibTeX  
• Formal Analysis of BPMN Via a Translation into COWS.
  Davide Prandi and Paola Quaglia and Nicola Zannone COORDINATION 249-263 (2008)
  to dblp by dblp on 2008-05-30 00:00:00
  | URL | BibTeX  
• Stochastic COWS.
  Davide Prandi and Paola Quaglia ICSOC 245-256 (2007)
  to dblp by dblp on 2007-08-31 00:00:00
  | URL | BibTeX  
• Beta-binders for Biological Quantitative Experiments.
  Pierpaolo Degano and Davide Prandi and Corrado Priami and Paola Quaglia Electr. Notes Theor. Comput. Sci. 164 101-117 (2006)
  to dblp by dblp on 2007-02-12 00:00:00
  | URL | BibTeX  
• A Formal Approach to Molecular Docking.
  Davide Prandi CMSB 78-92 (2006)
  to dblp by dblp on 2006-11-29 00:00:00
  | URL | BibTeX  
• Developing An Hierarchical Simulator for Beta-binders.
  Jan Himmelspach and Paola Lecca and Davide Prandi and Corrado Priami and Paola Quaglia and Adelinde Uhrmacher PADS 92-102 (2006)
  to dblp by dblp on 2006-06-29 00:00:00
  | URL | BibTeX  
• Formal Executable Descriptions of Biological Systems.
  Michele Curti and Davide Prandi and Linda Brodo QEST 2-12 (2005)
  to dblp by dblp on 2006-04-26 00:00:00
  | URL | BibTeX  
• Process Calculi in a Biological Context.
  Davide Prandi and Corrado Priami and Paola Quaglia Bulletin of the EATCS 85 53-69 (2005)
  to dblp by dblp on 2005-11-15 00:00:00
  | URL | BibTeX