BibTex
@phdthesis{PHD,
author = {Alessandro Romanel},
title = {{Dynamic Biological Modelling: a language-based approach}},
school = {{University of Trento}},
year = {2010},
yype = {{PhD} in {C}omputer {S}cience},
}
@inproceedings{R10,
author = {Alessandro Romanel},
title = {Self-assembly processes with cooperativity},
booktitle = {{PASTA} 2010}},
year = {2010}
}
@incollection{CLPPR10,
author = {Lorenzo Dematt{\'e} and
Roberto Larcher and
Alida Palmisano and
Corrado Priami and
Alessandro Romanel},
title = {{P}rogramming {B}iology in {B}len{X}},
booktitle = {{S}ystems {B}iology for {S}ignaling {N}etworks}},
editor = {Sangdun Choi},
year = {2010},
chapter = {31},
volume = {1},
pages = {777-820},
publisher = {Springer}
}
@misc{PRW10,
author = {Benjamin C. Pierce and
Alessandro Romanel and
Daniel Wagner},
title = {The {S}pider {C}alculus: {C}omputing in {A}ctive {G}raphs},
year = {2010}
}
@article{MRJ10,
author = {Tommaso Mazza and
Alessandro Romanel and
Ferenc Jord{\'a}n},
title = {Estimating the divisibility of complex biological networks by sparseness indices},
journal = {Briefings in Bioinformatics},
volume = {11},
number = {3},
year = {2010},
pages = {364-374}
}
@article{LPR10,
author = {Roberto Larcher and
Corrado Priami and
Alessandro Romanel},
title = {Modelling self-assembly in {B}len{X}},
journal = {Transactions on Computational Systems Biology XII},
editor = {LNCS},
volume = {5945},
year = {2010},
pages = {163-198}
}
@article{RP10,
author = {Alessandro Romanel and
Corrado Priami},
title = {On the computational power of {\textsf{BlenX}}},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {2},
year = {2010},
pages = {542-565}
}
@inproceedings{PQR09,
author = {Corrado Priami and
Paola Quaglia and
Alessandro Romanel},
title = {{\textsf{BlenX} Static and Dynamic Semantics}},
booktitle = {CONCUR},
year = {2009},
pages = {37-52},
publisher = {Springer},
series = {LNCS},
volume = {5710},
year = {2009}
}
@inproceedings{MPPR09,
author = {Ivan Mura and
Davide Prandi and
Corrado Priami and
Alessandro Romanel},
title = {{E}xploiting non-{M}arkovian {B}io-{P}rocesses}},
booktitle = {QAPL},
year = {2009},
pages = {83--98},
publisher = {Elsevier},
series = {ENTCS},
volume = {253},
issue = {3},
year = {2009},
}
@inproceedings{R09,
author = {Alessandro Romanel},
title = {Towards a process calculi approach to study the evolution of biological networks},
booktitle = {PASTA 2009},
year = {2009},
}
@inproceedings{dagstuhl09,
author = {Paolo Ballarini and
Attila Csik{\'a}sz-Nagy and
Adrien Faure and
Roberto Larcher and
Paola Lecca and
Tommaso Mazza and
Ivan Mura and
Ferenc Jord{\'a}n and
Alida Palmisano and
Alessandro Romanel and
Sean Sedwards and
Heike Siebert and
Sylvain Soliman and
Denis Thieffry and
Judit Z{\'a}mborszky},
title = {Analyzing various models of Circadian Clock and Cell Cycle coupling},
booktitle = {Formal Methods in Molecular Biology},
year = {2009},
editor = {Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
number = {09091},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
address = {Dagstuhl, Germany},
}
@article{DPRS08,
author = {Lorenzo Dematt{\'e} and
Corrado Priami and
Alessandro Romanel and
Orkun Soyer},
title = {{Evolving \textsf{BlenX} programs to simulate the evolution of biological networks}},
journal = {Theor. Comput. Sci.},
volume = {408},
number = {1},
year = {2008},
pages = {83-96}
}
@article{DPR08_3,
author = {Lorenzo Dematt{\'e} and
Corrado Priami and
Alessandro Romanel},
title = {{The Beta Workbench: a computational tool to study the dynamics of biological systems}},
journal = {Brief. Bioinform.},
volume = {9},
number = {5},
year = {2008},
pages = {437-449},
publisher = {Oxford Journals, Oxford University Press}
}
@article{RP08,
author = {Alessandro Romanel and
Corrado Priami},
title = {On the decidability and complexity of the structural congruence for beta-binders},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {1-2},
year = {2008},
pages = {156-169}
}
@book{DPR08_2,
author = {Lorenzo Dematt{\'e} and
Corrado Priami and
Alessandro Romanel},
title = {{The \textsf{BlenX} Language: A Tutorial}},
booktitle = {SFM 2008},
editor = {LNCS},
year = {2008},
pages = {313-365},
publisher = {Springer-Verlag}
}
@article{DPR08,
author = {Lorenzo Dematt{\'e} and
Corrado Priami and
Alessandro Romanel},
title = {{Modelling and simulation of biological processes in \textsf{BlenX}}},
journal = {SIGMETRICS Performance Evaluation Review},
volume = {35},
number = {4},
year = {2008},
pages = {32-39}
}
@inproceedings{DPR07,
author = {Lorenzo Dematt\'{e} and
Corrado Priami and
Alessandro Romanel},
title = {{BetaWB: modelling and simulating biological processes}},
booktitle = {SCSC: Proceedings of the 2007 summer computer simulation conference},
year = {2007},
isbn = {1-56555-316-0},
pages = {777-784},
location = {San Diego, California},
publisher = {Society for Computer Simulation International},
address = {San Diego, CA, USA},
}
@article{PR07,
author = {Corrado Priami and
Alessandro Romanel},
title = {{The Decidability of the Structural Congruence for Beta-binders}},
journal = {Electronic Notes in Theoretical Compututer Science},
volume = {171},
number = {2},
year = {2007},
issn = {1571-0661},
pages = {155-170},
doi = {http://dx.doi.org/10.1016/j.entcs.2007.05.014},
publisher = {Elsevier Science Publishers B. V.},
address = {Amsterdam, The Netherlands, The Netherlands},
}
@inproceedings{DPRS07,
author = {Lorenzo Dematt{\'e} and
Corrado Priami and
Alessandro Romanel and
Orkun Soyer},
title = {{A Formal and Integrated Framework to Simulate Evolution of Biological Pathways}},
booktitle = {CMSB},
editor = {LNBI},
year = {2007},
pages = {106-120},
publisher = {Springer-Verlag}
}
@inproceedings{GPR07,
author = {Maria Luisa Guerriero and
Corrado Priami and
Alessandro Romanel},
title = {{Modeling Static Biological Compartments with Beta-binders}},
booktitle = {AB},
editor = {LNCS},
year = {2007},
pages = {247-261},
publisher = {Springer-Verlag}
}
@inproceedings{DPPR07,
author = {Lorenzo Dematt\'{e} and
Davide Prandi and
Corrado Priami and
Alessandro Romanel},
title = {{Effective Index: A formal measure of drug effects}},
booktitle = {2nd Conference Foundations of Systems Biology in Engineering},
year = {2007},
pages = {485-490},
location = {Stuttgart, Germany}
}
@article{SRM05,
author = {A. Sboner and
A. Romanel and
A. Malossini and
F. Ciocchetta and
F. Demichelis and
I. Azzini and
E. Blanzieri and
R. Dell'Anna},
title = {Simple Methods for Peak and Valley Detection in Time Series Microarray Data},
year = {2005}
}