BibSonomy :: author  ::

bookmarks

publications

(248)

• Evolving BlenX programs to simulate the evolution of biological networks.
  Lorenzo Dematté and Corrado Priami and Alessandro Romanel and Orkun Soyer Theor. Comput. Sci. 408 83-96 (2008)
  to dblp by dblp on 2008-11-18 00:00:00
  | URL | BibTeX  
• The Beta Workbench: a computational tool to study the dynamics of biological systems.
  Lorenzo Dematté and Corrado Priami and Alessandro Romanel Briefings in Bioinformatics 9 437-449 (2008)
  to dblp by dblp on 2008-09-16 00:00:00
  | URL | BibTeX  
• On the decidability and complexity of the structural congruence for beta-binders.
  Alessandro Romanel and Corrado Priami Theor. Comput. Sci. 404 156-169 (2008)
  to dblp by dblp on 2008-08-21 00:00:00
  | URL | BibTeX  
• BetaWB: modelling and simulating biological processes.
  Lorenzo Dematté and Corrado Priami and Alessandro Romanel SCSC 777-784 (2007)
  to dblp by dblp on 2008-07-11 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  
• Feedbacks and Oscillations in the Virtual Cell VICE.
  Davide Chiarugi and M. Chinellato and Pierpaolo Degano and G. Lo Brutto and Roberto Marangoni CMSB 93-107 (2006)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• The BlenXLanguage: A Tutorial.
  Lorenzo Dematté and Corrado Priami and Alessandro Romanel SFM 313-365 (2008)
  to dblp by dblp on 2008-06-09 00:00:00
  | URL | BibTeX  
• A Petri Net Approach to Verify and Debug Simulation Models.
  Peter Kemper and Carsten Tepper Simulation and Verification of Dynamic Systems (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting.
  Matteo Cavaliere and Sean Sedwards Simulation and Verification of Dynamic Systems (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• Context Dependent Analysis of BioAmbients.
  Henrik Pilegaard and Hanne Riis Nielson and Flemming Nielson Simulation and Verification of Dynamic Systems (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX