Paolo Milazzo - RankMe

128 papers B 1C 2Misc 1Journal 62Unranked 56

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Combining dynamic Bayesian prediction of the crop coefficient with automated lysimetry for highly accurate water-use control. Comput. Electron. Agric. Alexander Kocian, Fatjon Cela, Giulia Carmassi, Simone Citti, Fernando Malorgio, Federica Paganelli, Stefano Chessa, Paolo Milazzo, Luca Incrocci
2026	J	`jnl`	Knowledge Graph Extraction from Biomedical Literature for Alkaptonuria Rare Disease. CoRR Giang Pham, Rebecca Finetti, Caterina Graziani, Bianca Roncaglia, Asma Bendjeddou, Linda Brodo, Sara Brunetti, Moreno Falaschi, Stefano Forti, Silvia Giulia Galfrè, Paolo Milazzo, Corrado Priami, Annalisa Santucci, Ottavia Spiga, Alina Sîrbu
2025	J	`jnl`	Enhancing antibody-antigen interaction prediction with atomic flexibility. PLoS Comput. Biol. Sara Joubbi, Alessio Micheli, Paolo Milazzo, Giorgio Ciano, Stéphane M. Gagné, Pietro Liò, Duccio Medini, Giuseppe Maccari
2025	—	`ed.`	From Data to Models and Back - 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers DataMod Ricardo M. Czekster, Paolo Milazzo
2025	—	`conf`	Improving Antibody-Antigen Interaction Prediction Through Flexibility with ESMFold. BIOSTEC (1) Sara Joubbi, Giuseppe Maccari, Giorgio Ciano, Alessio Micheli, Paolo Milazzo, Duccio Medini
2025	—	`ed.`	Intelligent Transport Systems - 8th International Conference, INTSYS 2024, Pisa, Italy, December 5-6, 2024, Revised Selected Papers INTSYS Alexander Kocian, Paolo Milazzo, Ana Lúcia Henriques Martins, Mirco Nanni, Luca Pappalardo
2025	J	`jnl`	Preface. Nat. Comput. Linda Brodo, Roberta Gori, Paolo Milazzo, Ion Petre
2025	J	`jnl`	Sensitivity analysis on protein-protein interaction networks through deep graph networks. BMC Bioinform. Alessandro Dipalma, Michele Fontanesi, Alessio Micheli, Paolo Milazzo, Marco Podda
2025	J	`jnl`	Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks. Nat. Comput. Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo
2025	—	`conf`	Towards a New Method for Perturbation Analysis in Biochemical Pathways Based on Network Propagation. BIOSTEC (1) Niccolò De Paolis, Paolo Milazzo
2024	J	`jnl`	Antibody design using deep learning: from sequence and structure design to affinity maturation. Briefings Bioinform. Sara Joubbi, Alessio Micheli, Paolo Milazzo, Giuseppe Maccari, Giorgio Ciano, Dario Cardamone, Duccio Medini
2024	J	`jnl`	Causal analysis of positive Reaction Systems. Int. J. Softw. Tools Technol. Transf. Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo, Valeria Montagna, Pasquale Pulieri
2024	—	`ed.`	Computational Methods in Systems Biology - 22nd International Conference, CMSB 2024, Pisa, Italy, September 16-18, 2024, Proceedings CMSB Roberta Gori, Paolo Milazzo, Mirco Tribastone
2024	—	`conf`	Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies. CMSB Juliana Bowles, Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo
2024	—	`conf`	Farming and Automation. How Professional Visions Change with the Introduction of ICT in Greenhouse Cultivation. WorldCIST (1) Silvia Torsi, Luca Incrocci, Stefano Chessa, Alexander Kocian, Paolo Milazzo, Fatjon Cela, Giulia Carmassi
2024	—	`conf`	Gene Importance Assessment Based on Shapley Values for Boolean Networks: Validation and Scalability Analysis. DataMod Giang Pham, Paolo Milazzo
2024	J	`jnl`	Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics. Nat. Comput. Roberto Bruni, Roberta Gori, Paolo Milazzo, Hélène Siboulet
2024	J	`jnl`	RettDb: the Rett syndrome omics database to navigate the Rett syndrome genomic landscape. Database J. Biol. Databases Curation Nico Cillari, Giuseppe Neri, Nadia Pisanti, Paolo Milazzo, Ugo Borello
2024	—	`conf`	Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles. LADC José Luis Conradi Hoffmann, Antônio Augusto Fröhlich, Marcus Völp, Paolo Milazzo
2023	—	`conf`	Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems. DataMod Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo
2023	J	`jnl`	Exploiting the structure of biochemical pathways to investigate dynamical properties with neural networks for graphs. Bioinform. Michele Fontanesi, Alessio Micheli, Paolo Milazzo, Marco Podda
2023	J	`jnl`	IoT based dynamic Bayesian prediction of crop evapotranspiration in soilless cultivations. Comput. Electron. Agric. Alexander Kocian, Giulia Carmassi, Fatjon Cela, Stefano Chessa, Paolo Milazzo, Luca Incrocci
2023	—	`conf`	Pre-trained Models Based on Primary Sequence to Classify Antibody Binding to Protein and Non-protein Targets with 80% Accuracy. CIBB Sara Joubbi, Giuseppe Maccari, Dario Cardamone, Giorgio Ciano, Alessio Micheli, Paolo Milazzo, Duccio Medini
2023	—	`conf`	Preliminary Results on Shapley Value Notions and Propagation Methods for Boolean Networks. DataMod Giang Pham, Paolo Milazzo
2023	J	`jnl`	Quantitative extensions of reaction systems based on SOS semantics. Neural Comput. Appl. Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
2021	—	`conf`	Analysis and Verification of Robustness Properties in Becker-Döring Model. DataMod Lucia Nasti, Roberta Gori, Paolo Milazzo
2021	J	`jnl`	Characterization and computation of ancestors in reaction systems. Soft Comput. Roberto Barbuti, Anna Bernasconi, Roberta Gori, Paolo Milazzo
2021	J	`jnl`	Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity. CoRR Lucia Nasti, Roberta Gori, Paolo Milazzo, Federico Poloni
2021	J	`jnl`	Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation. Theor. Comput. Sci. Roberto Barbuti, Roberta Gori, Paolo Milazzo
2021	J	`jnl`	Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. Fundam. Informaticae Roberto Barbuti, Pasquale Bove, Roberta Gori, Damas P. Gruska, Francesca Levi, Paolo Milazzo
2021	—	`conf`	Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems. TPNC Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
2021	—	`conf`	Formal characterization and efficient verification of a biological robustness property. FormaliSE@ICSE Lucia Nasti, Roberta Gori, Paolo Milazzo
2021	J	`jnl`	Formal characterization and efficient verification of a biological robustness property. CoRR Lucia Nasti, Roberta Gori, Paolo Milazzo
2020	J	`jnl`	A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models. J. Membr. Comput. Roberto Barbuti, Roberta Gori, Paolo Milazzo, Lucia Nasti
2020	—	`conf`	Analysis of COVID-19 Data with PRISM: Parameter Estimation and SIR Modelling. DataMod@CIKM Paolo Milazzo
2020	J	`jnl`	Bayesian Sigmoid-Type Time Series Forecasting with Missing Data for Greenhouse Crops. Sensors Alexander Kocian, Giulia Carmassi, Fatjon Cela, Luca Incrocci, Paolo Milazzo, Stefano Chessa
2020	B	`conf`	Biochemical Pathway Robustness Prediction with Graph Neural Networks. ESANN Marco Podda, Alessio Micheli, Davide Bacciu, Paolo Milazzo
2020	—	`conf`	Classification of Biochemical Pathway Robustness with Neural Networks for Graphs. BIOSTEC (Selected Papers) Marco Podda, Pasquale Bove, Alessio Micheli, Paolo Milazzo
2020	J	`jnl`	Dynamic Bayesian network for crop growth prediction in greenhouses. Comput. Electron. Agric. Alexander Kocian, Daniele Massa, Samantha Cannazzaro, Luca Incrocci, Sara Di Lonardo, Paolo Milazzo, Stefano Chessa
2020	—	`conf`	Prediction of Dynamical Properties of Biochemical Pathways with Graph Neural Networks. BIOINFORMATICS Pasquale Bove, Alessio Micheli, Paolo Milazzo, Marco Podda
2019	J	`jnl`	Formal modeling and analysis of safety-critical human multitasking. Innov. Syst. Softw. Eng. Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
2019	J	`jnl`	Guest editors' foreword. J. Log. Algebraic Methods Program. Vashti Galpin, Paolo Milazzo, Anna Monreale
2019	J	`jnl`	Objective/MC: A high-level model checking language - Formalization of the imperative core and translation into PRISM. J. Intell. Inf. Syst. Paolo Milazzo, Giovanni Pardini
2019	J	`jnl`	Studying Opacity of Reaction Systems through Formula Based Predictors. Fundam. Informaticae Roberta Gori, Damas P. Gruska, Paolo Milazzo
2019	—	`conf`	Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks. BIOINFORMATICS Roberta Gori, Paolo Milazzo, Lucia Nasti
2019	—	`conf`	Validation of a Simulation Algorithm for Safety-Critical Human Multitasking. FM Workshops (1) Giovanna Broccia, Paolo Milazzo, Cristina Belviso, Carmen Berrocal Montiel
2018	J	`jnl`	A Hybrid Automata model of social networking addiction. J. Log. Algebraic Methods Program. Lucia Nasti, Paolo Milazzo
2018	—	`conf`	An Executable Formal Framework for Safety-Critical Human Multitasking. NFM Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
2018	—	`conf`	Computing Preimages and Ancestors in Reaction Systems. TPNC Roberto Barbuti, Anna Bernasconi, Roberta Gori, Paolo Milazzo
2018	—	`conf`	Formalizing a Notion of Concentration Robustness for Biochemical Networks. STAF Workshops Lucia Nasti, Roberta Gori, Paolo Milazzo
2018	J	`jnl`	Generalized contexts for reaction systems: definition and study of dynamic causalities. Acta Informatica Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
2018	—	`conf`	Hidden States in Reaction Systems. CS&P Roberta Gori, Damas P. Gruska, Paolo Milazzo
2018	Misc	`conf`	Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results. EICS Giovanna Broccia, Paolo Masci, Paolo Milazzo
2018	J	`jnl`	Predictors for flat membrane systems. Theor. Comput. Sci. Roberto Barbuti, Roberta Gori, Paolo Milazzo
2018	—	`conf`	Simulating Gene Regulatory Networks using Reaction Systems. CS&P Roberto Barbuti, Pasquale Bove, Roberta Gori, Francesca Levi, Paolo Milazzo
2017	—	`conf`	A Computational Model of Internet Addiction Phenomena in Social Networks. SEFM Workshops Lucia Nasti, Paolo Milazzo
2017	—	`conf`	An Algorithm for Simulating Human Selective Attention. SEFM Workshops Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
2017	—	`conf`	Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. Int. Conf. on Membrane Computing Roberto Barbuti, Roberta Gori, Paolo Milazzo
2016	—	`conf`	A High-Level Model Checking Language with Compile-Time Pruning of Local Variables. STAF Workshops Giovanni Pardini, Paolo Milazzo
2016	—	`conf`	Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems. Int. Conf. on Membrane Computing Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
2016	J	`jnl`	Investigating dynamic causalities in reaction systems. Theor. Comput. Sci. Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
2016	—	`ed.`	Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers STAF Workshops Paolo Milazzo, Dániel Varró, Manuel Wimmer
2016	J	`jnl`	Specialized Predictor for Reaction Systems with Context Properties. Fundam. Informaticae Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
2015	—	`conf`	A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems. SEFM Workshops Suryana Setiawan, Antonio Cerone, Paolo Milazzo
2015	—	`conf`	Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates. SEFM Workshops Roberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
2015	—	`conf`	Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design. GAS@ICSE Paolo Milazzo, Giovanni Pardini, Dario Sestini, Pasquale Bove
2015	J	`jnl`	Component identification in biochemical pathways. Theor. Comput. Sci. Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
2015	J	`jnl`	Minimal probabilistic P systems for modelling ecological systems. Theor. Comput. Sci. Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
2015	—	`conf`	Specialized Predictor for Reaction Systems with Context Properties. CS&P Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
2014	—	`conf`	A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer. SEFM Workshops Sheema Sameen, Roberto Barbuti, Paolo Milazzo, Antonio Cerone
2014	J	`jnl`	Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor. Comput. Sci. Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2014	J	`jnl`	Identification of components in biochemical pathways: extensive application to SBML models. Nat. Comput. Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
2014	J	`jnl`	Simulation of Spatial P system models. Theor. Comput. Sci. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2014	—	`conf`	Systolic Automata and P Systems. Computing with New Resources Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Simone Tini
2013	C	`conf`	A Compositional Semantics of Reaction Systems with Restriction. CiE Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2013	—	`conf`	A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. SEFM Workshops Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2013	—	`conf`	An Algorithm for the Identification of Components in Biochemical Pathways. CS2Bio Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
2013	—	`conf`	Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models. WIVACE Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2013	J	`jnl`	Modular Verification of Qualitative Pathway Models with Fairness. Sci. Ann. Comput. Sci. Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2012	J	`jnl`	Foundational aspects of multiscale modeling of biological systems with process algebras. Theor. Comput. Sci. Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2012	—	`conf`	Modelling Population Dynamics Using Grid Systems. SEFM Satellite Events Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo, Suryana Setiawan
2012	J	`jnl`	On Conditions for Modular Verification in Systems of Synchronising Components. Fundam. Informaticae Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
2012	J	`jnl`	Probabilistic model checking of biological systems with uncertain kinetic rates. Theor. Comput. Sci. Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena
2012	—	`conf`	Towards modular verification of pathways: fairness and assumptions MeCBIC Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
2011	J	`jnl`	A Testing Framework for P Systems CoRR Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
2011	J	`jnl`	An Overview on Operational Semantics in Membrane Computing. Int. J. Found. Comput. Sci. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2011	J	`jnl`	Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach. Trans. Comp. Sys. Biology Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
2011	J	`jnl`	Maximally Parallel Probabilistic Semantics for Multiset Rewriting. Fundam. Informaticae Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena
2011	J	`jnl`	Modular Verification of Interactive Systems with an Application to Biology. Sci. Ann. Comput. Sci. Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
2011	J	`jnl`	Spatial Calculus of Looping Sequences. Theor. Comput. Sci. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2011	J	`jnl`	Spatial P systems. Nat. Comput. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei
2010	J	`jnl`	A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. Fundam. Informaticae Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo
2010	J	`jnl`	A Model for Configuration Management of Open Software Systems CoRR Roberto Barbuti, Giovanni A. Cignoni, Paolo Milazzo
2010	J	`jnl`	A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security. Fundam. Informaticae Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Damas P. Gruska
2010	—	`conf`	Aspects of multiscale modelling in a process algebra for biological systems MeCBIC Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini
2010	J	`jnl`	Compositional semantics of spiking neural P systems. J. Log. Algebraic Methods Program. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2010	—	`conf`	Dynamic Sync-Programs for Modular Verification of Biological Systems. NCMA Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
2010	—	`conf`	Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings. Int. Conf. on Membrane Computing Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2010	—	`conf`	Modelling the Dynamics of an Aedes albopictus Population AMCA-POP Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Elisabetta Rossi
2010	—	`conf`	Modular Verification of Interactive Systems with an Application to Biology. CS2Bio Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
2010	—	`ed.`	Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology, AMCA-POP 2010, Jena, Germany, 25th August 2010. AMCA-POP Paolo Milazzo, Mario de J. Pérez-Jiménez
2009	—	`conf`	A Process Calculus for Molecular Interaction Maps MeCBIC Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
2009	J	`jnl`	An intermediate language for the stochastic simulation of biological systems. Theor. Comput. Sci. Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
2009	—	`conf`	On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems COMPMOD Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini
2009	J	`jnl`	P Systems with Endosomes. Int. J. Comput. Commun. Control Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
2009	J	`jnl`	P Systems with Transport and Diffusion Membrane Channels. Fundam. Informaticae Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2009	—	`conf`	Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. RP Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena
2009	—	`conf`	Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. Ershov Memorial Conference Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
2009	J	`jnl`	Timed P Automata. Fundam. Informaticae Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
2008	J	`jnl`	A P Systems Flat Form Preserving Step-by-step Behaviour. Fundam. Informaticae Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2008	J	`jnl`	Bisimulations in calculi modelling membranes. Formal Aspects Comput. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2008	J	`jnl`	Compositional semantics and behavioral equivalences for P Systems. Theor. Comput. Sci. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2008	J	`jnl`	Design and verification of long-running transactions in a timed framework. Sci. Comput. Program. Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2008	J	`jnl`	Security in a Model for Long-running Transactions. Fundam. Informaticae Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo
2008	—	`conf`	Spatial Calculus of Looping Sequences. FBTC@ICALP Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2008	J	`jnl`	Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways. Trans. Comp. Sys. Biology Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Paolo Tiberi, Angelo Troina
2008	—	`conf`	The Calculus of Looping Sequences. SFM Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2008	—	`conf`	Timed P Automata. MeCBIC Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
2008	—	`conf`	Translating Stochastic CLS into Maude. MeCBIC Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo
2007	—	`conf`	An Intermediate Language for the Simulation of Biological Systems. FBTC@CONCUR Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
2007	—	`conf`	Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. ISBRA Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo
2007	—	`—`	Qualitative and Quantitative Formal Modeling of Biological Systems. Paolo Milazzo
2007	—	`conf`	The Calculus of Looping Sequences for Modeling Biological Membranes. Workshop on Membrane Computing Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2006	J	`jnl`	A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundam. Informaticae Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2006	C	`conf`	Bisimulation Congruences in the Calculus of Looping Sequences. ICTAC Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2006	—	`conf`	Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. FMOODS Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2005	J	`jnl`	A Probabilistic Model for Molecular Systems. Fundam. Informaticae Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2005	—	`conf`	BoPi - A Distributed Machine for Experimenting Web Services Technologies. ACSD Samuele Carpineti, Cosimo Laneve, Paolo Milazzo