 | 2009 |
|---|
| 11 |       | Corrado Priami,
Paola Quaglia,
Alessandro Romanel:
BlenX Static and Dynamic Semantics.
CONCUR 2009: 37-52 |
| 10 | | I. Mura,
Davide Prandi,
Corrado Priami,
Alessandro Romanel:
Exploiting non-Markovian Bio-Processes.
Electr. Notes Theor. Comput. Sci. 253(3): 83-98 (2009) |
| 2008 |
|---|
| 9 | | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel:
The BlenX Language: A Tutorial.
SFM 2008: 313-365 |
| 8 | | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel:
The Beta Workbench: a computational tool to study the dynamics of biological systems.
Briefings in Bioinformatics 9(5): 437-449 (2008) |
| 7 | | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel:
Modelling and simulation of biological processes in BlenX.
SIGMETRICS Performance Evaluation Review 35(4): 32-39 (2008) |
| 6 | | Alessandro Romanel,
Corrado Priami:
On the decidability and complexity of the structural congruence for beta-binders.
Theor. Comput. Sci. 404(1-2): 156-169 (2008) |
| 5 | | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel,
Orkun Soyer:
Evolving BlenX programs to simulate the evolution of biological networks.
Theor. Comput. Sci. 408(1): 83-96 (2008) |
| 2007 |
|---|
| 4 | | Maria Luisa Guerriero,
Corrado Priami,
Alessandro Romanel:
Modeling Static Biological Compartments with Beta-binders.
AB 2007: 247-261 |
| 3 | | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel,
Orkun Soyer:
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways.
CMSB 2007: 106-120 |
| 2 | | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel:
BetaWB: modelling and simulating biological processes.
SCSC 2007: 777-784 |
| 1 | | Corrado Priami,
Alessandro Romanel:
The Decidability of the Structural Congruence for Beta-binders.
Electr. Notes Theor. Comput. Sci. 171(2): 155-170 (2007) |
