The Decidability of the Structural Congruence for Beta-binders. - Corrado Priami; Alessandro Romanel (MeCBIC@ICALP, 2006)

Modeling Static Biological Compartments with Beta-binders. - Maria Luisa Guerriero; Corrado Priami; Alessandro Romanel (AB, 2007)

A Formal and Integrated Framework to Simulate Evolution of Biological Pathways. - Lorenzo Dematté; Corrado Priami; Alessandro Romanel; Orkun S. Soyer (CMSB, 2007)

BetaWB: modelling and simulating biological processes. - Lorenzo Dematté; Corrado Priami; Alessandro Romanel (SCSC, 2007)

The BlenX Language: A Tutorial. - Lorenzo Dematté; Corrado Priami; Alessandro Romanel (SFM, 2008)

The Beta Workbench: a computational tool to study the dynamics of biological systems. - Lorenzo Dematté; Corrado Priami; Alessandro Romanel (Briefings Bioinform., 2008)

Modelling and simulation of biological processes in BlenX. - Lorenzo Dematté; Corrado Priami; Alessandro Romanel (SIGMETRICS Perform. Evaluation Rev., 2008)

Evolving BlenX programs to simulate the evolution of biological networks. - Lorenzo Dematté; Corrado Priami; Alessandro Romanel; Orkun S. Soyer (Theor. Comput. Sci., 2008)

On the decidability and complexity of the structural congruence for beta-binders. - Alessandro Romanel; Corrado Priami (Theor. Comput. Sci., 2008)

BlenX Static and Dynamic Semantics. - Corrado Priami; Paola Quaglia; Alessandro Romanel (CONCUR, 2009)

Analyzing various models of Circadian Clock and Cell Cycle coupling. - Attila Csikász-Nagy; Adrien Fauré; Roberto Larcher; Paola Lecca; Ivan Mura; Ferenc Jordán; Alida Palmisano; Alessandro Romanel; Sean Sedwards; Heike Siebert; Sylvain Soliman; Denis Thieffry; et al. (Formal Methods in Molecular Biology, 2009)

Exploiting non-Markovian Bio-Processes. - Ivan Mura; Davide Prandi; Corrado Priami; Alessandro Romanel (QAPL, 2009)

Estimating the divisibility of complex biological networks by sparseness indices. - Tommaso Mazza; Alessandro Romanel; Ferenc Jordán (Briefings Bioinform., 2010)

On the computational power of BlenX. - Alessandro Romanel; Corrado Priami (Theor. Comput. Sci., 2010)

Modelling Self-assembly in BlenX. - Roberto Larcher; Corrado Priami; Alessandro Romanel (Trans. Comp. Sys. Biology, 2010)

Dynamic Biological Modelling: a language-based approach. - Alessandro Romanel (2010)

On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. - Chiara Bodei; Luca Bortolussi; Davide Chiarugi; Maria Luisa Guerriero; Alberto Policriti; Alessandro Romanel (Comput. Biol. Chem., 2015)

EthSEQ: ethnicity annotation from whole exome sequencing data. - Alessandro Romanel; Tuo Zhang; Olivier Elemento; Francesca Demichelis (Bioinform., 2017)

Exploring functionally annotated transcriptional consensus regulatory elements with CONREL. - Davide Dalfovo; Samuel Valentini; Alessandro Romanel (Database J. Biol. Databases Curation, 2020)

ABEMUS: platform-specific and data-informed detection of somatic SNVs in cfDNA. - Nicola Casiraghi; Francesco Orlando; Yari Ciani; Jenny Xiang; Andrea Sboner; Olivier Elemento; Gerhardt Attard; Himisha Beltran; Francesca Demichelis; Alessandro Romanel (Bioinform., 2020)

Synggen: fast and data-driven generation of synthetic heterogeneous NGS cancer data. - Riccardo Scandino; Federico Calabrese; Alessandro Romanel (Bioinform., 2023)

Integrative Computational Analysis of Common EXO5 Haplotypes: Impact on Protein Dynamics, Genome Stability, and Cancer Progression. - Fabio Mazza; Davide Dalfovo; Alessio Bartocci; Gianluca Lattanzi; Alessandro Romanel (J. Chem. Inf. Model., 2025)