| 2008 |
|---|
| 9 | EE | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel:
The BlenX Language: A Tutorial.
SFM 2008: 313-365 |
| 8 | EE | 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 | EE | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel:
Modelling and simulation of biological processes in BlenX.
SIGMETRICS Performance Evaluation Review 35(4): 32-39 (2008) |
| 6 | EE | 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 | EE | 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 | EE | Maria Luisa Guerriero,
Corrado Priami,
Alessandro Romanel:
Modeling Static Biological Compartments with Beta-binders.
AB 2007: 247-261 |
| 3 | EE | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel,
Orkun Soyer:
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways.
CMSB 2007: 106-120 |
| 2 | EE | Lorenzo Dematté,
Corrado Priami,
Alessandro Romanel:
BetaWB: modelling and simulating biological processes.
SCSC 2007: 777-784 |
| 1 | EE | Corrado Priami,
Alessandro Romanel:
The Decidability of the Structural Congruence for Beta-binders.
Electr. Notes Theor. Comput. Sci. 171(2): 155-170 (2007) |
