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}

}