Produzione Scientifica Alessandro Romanel


  • A Romanel, L Jensen, L Cardelli, A Csikász-Nagy., "Transcriptional regulation is a major controller of cell cycle transition dynamics" in PLOS ONE, v. 7, n. 1 (2012). - DOI: 10.1371/journal.pone.0029716 - vedi dettaglio
  • T Mazza, A Romanel, F Jordán, "Estimating the divisibility of complex biological networks by sparseness indices" in BRIEFINGS IN BIOINFORMATICS, v. 11, n. 3 (2010), p. 364-374. - DOI: 10.1093/bib/bbp060 - vedi dettaglio
  • R Larcher, C Priami, A Romanel, "Modelling self-assembly in BlenX" in C Priami, R Breitling, D Gilbert, M Heiner, A Uhrmacher (a cura di), Transactions on Computational Systems Biology XII, Germany: Springer, 2010, p. 163-198. - (LNCS; 5945). - DOI: 10.1007/978-3-642-11712-1_5 - vedi dettaglio
  • A Romanel, C Priami, "On the Computational Power of BlenX" in THEORETICAL COMPUTER SCIENCE, v. 411, n. 2 (2010), p. 542-565. - DOI: 10.1016/j.tcs.2009.09.038 - vedi dettaglio
  • L. Dematté, R. Larcher, A. Palmisano, C. Priami, A. Romanel, "Programming Biology in BlenX" in S. Choi (a cura di), Systems Biology for Signaling Networks, Berlin: Springer, 2010, p. 777-820. - (Systems Biology; 1). - ISBN: 9781441957962. - DOI: 10.1007/978-1-4419-5797-9 - vedi dettaglio
  • A Romanel, "Self-assembly processes with cooperativity" in 9th Workshop on Process Algebra and Stochastically Timed Activities, London: Imperial College, 2010. Atti di: 9th Workshop on Process Algebra and Stochastically Timed Activities, London, 7th September 2010 - vedi dettaglio
  • C. Priami, P. Quaglia, A. Romanel, "BlenX Static and Dynamic Semantics" in CONCUR 2009: Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009: Proceedings, Berlin: Springer, 2009, p. 37-52 -(Lecture Notes in Computer Science. Theoretical Computer Science and General Issues; 5710). - ISBN: 9783642040801. Atti di: CONCUR 2009, Berlin, 1st-4th September 2009 - vedi dettaglio
  • I. Mura, D. Prandi, C. Priami, A. Romanel, "Exploiting non-Markovian Bio-Processes" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 253, n. 3 (2009), p. 83-98. - DOI: 10.1016/j.entcs.2009.10.007 - vedi dettaglio
  • A Romanel, "Towards a process calculi approach to study the evolution of biological networks" in 8th Workshop on Process Algebra and Stochastically Timed Activities, Edinburgh: Informatics Forum, 2009. Atti di: 8th Workshop on Process Algebra and Stochastically Timed Activities, Edinburgh, 27th August 2009 - vedi dettaglio
  • L. Demattè, C. Priami, A. Romanel, O. Soyer, "Evolving BlenX programs to simulate the evolution of biological networks" in THEORETICAL COMPUTER SCIENCE, v. 408, n. 1 (2008), p. 83-96. - DOI: 10.1016/j.tcs.2008.07.013 - vedi dettaglio
  • L. Demattè, C. Priami, A. Romanel, "Modelling and simulation of biological processes in BlenX" in PERFORMANCE EVALUATION REVIEW, v. 35, n. 4 (2008), p. 32-39. - DOI: 10.1145/1364644.1364653 - vedi dettaglio
  • A. Romanel, C. Priami, "On the Decidability and Complexity of the Structural Congruence for Beta-binders" in THEORETICAL COMPUTER SCIENCE, v. 404, n. 1-2 (2008), p. 156-169. - DOI: 10.1016/j.tcs.2008.04.007 - vedi dettaglio
  • L. Demattè, C. Priami, A. Romanel, "The Beta Workbench: a computational tool to study the dynamics of biological systems" in BRIEFINGS IN BIOINFORMATICS, v. 9, n. 5 (2008), p. 437-449. - DOI: 10.1093/bib/bbn023 - vedi dettaglio
  • L. Demattè, C. Priami, A. Romanel, "The BlenX Language: A Tutorial" in M. Bernardo, P. Degano, G. Zavattaro (a cura di), Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, Berlin/Heidelberg: Springer , 2008, p. 313-365. - (Lecture Notes in Computer Science. Programming and Software Engineering; 5016). - ISBN: 9783540688921 - vedi dettaglio
  • L. Demattè, C. Priami, A. Romanel, O. Soyer, "A Formal and Integrated Framework to Simulate Evolution of Biological Pathways" in Computational Methods in Systems Biology: International Conference CMSB 2007: Proceedings, Berlin: Springer, 2007, p. 106-120 -(Lecture Notes in Computer Science. Lecture Notes in Bioinformatics; 4695). - ISBN: 9783540751397. Atti di: CMSB 2007, Edinburgh, 20th-21st September 2007. - URL: http://www.springerlink.com/content/07j045r162r355h5/fulltext.pdf - vedi dettaglio
  • L. Demattè, C. Priami, A. Romanel, "BetaWB: modelling and simulating biological processes" in Proceedings of the Summer Computer Simulation Conference, SCSC '07 : the Mission Valley Marriott, San Diego, California, July 15 - 18, 2007, San Diego (CA): Society for Computer Simulation International, 2007, p. 777-784 -(Simulation series; 39 (4)). Atti di: SCSC 2007, San Diego (CA), 15th-18th July 2007 - vedi dettaglio
  • L. Demattè, D. Prandi, C. Priami, A. Romanel, "Effective Index: A formal measure of drug effects" in Proceedings: 2nd Conference Foundations of Systems Biology in Engineering: Plenary and contributed papers; September 9 - 12, 2007, University of Stuttgart, Germany, Stuttgart: Fraunhofer IRB Verlag, 2007, p. 485-490. - ISBN: 9783816774365. Atti di: FOSBE 2007, Stuttgart, 9th-12th September 2007 - vedi dettaglio
  • M. L. Guerriero, C. Priami, A. Romanel, "Modeling Static Biological Compartments with Beta-binders" in Algebraic Biology: Second International Conference: Proceedings, Berlin: Springer, 2007, p. 247-261 -(Lecture Notes in Computer Science. Theoretical Computer Science and General Issues; 4545). - ISBN: 9783540734321. Atti di: AB 2007, Castle of Hagenberg (Austria), 2nd-4th July 2007. - URL: http://www.springerlink.com/content/1h34662w403u2764/ - vedi dettaglio
  • A. Sboner, A. Romanel, A. Malossini, F. Ciocchetta, F. Demichelis, I. Azzini, E. Blanzieri, R. Dell'anna, "Simple methods for peak and valley detection in time series microrray data" in Methods of Microarray Data Analysis V, Berlin: Springer, 2007, p. 27-44. - ISBN: 9780387345680 - vedi dettaglio
  • C. Priami, A. Romanel, "The Decidability of the Structural Congruence for Beta-binders" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 171, n. 2 (2007), p. 155-170. - URL: http://scienceserver.cilea.it.ezp.biblio.unitn.it/pdflinks/10072616443817168.pdf . - DOI: 10.1016/j.entcs.2007.05.014 - vedi dettaglio