Corrado Priami

168 papers A* 4B 13C 2Misc 7Journal 68Unranked 48
YearRankTypeTitle / Venue / Authors
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
2026 J jnl
Machine Learning for analysis of Multiple Sclerosis cross-tissue bulk and single-cell transcriptomics data.
CoRR
Francesco Massafra, Samuele Punzo, Silvia Giulia Galfrè, Alessandro Maglione, Simone Pernice, Stefano Forti, Simona Rolla, Marco Beccuti, Marinella Clerico, Corrado Priami, Alina Sîrbu
2025 J jnl
A Machine Learning Pipeline for Multiple Sclerosis Biomarker Discovery: Comparing explainable AI and Traditional Statistical Approaches.
CoRR
Samuele Punzo, Silvia Giulia Galfrè, Francesco Massafra, Alessandro Maglione, Corrado Priami, Alina Sîrbu
2025 J jnl
MIEO: encoding clinical data to enhance cardiovascular event prediction.
CoRR
Davide Borghini, Davide Marchi, Angelo Nardone, Giordano Scerra, Silvia Giulia Galfrè, Alessandro Pingitore, Giuseppe Prencipe, Corrado Priami, Alina Sîrbu
2024 — conf
How Much Do DNA and Protein Deep Embeddings Preserve Biological Information?
CMSB
Matteo Tolloso, Silvia Giulia Galfrè, Arianna Pavone, Marco Podda, Alina Sîrbu, Corrado Priami
2023 B conf
Comparison of Machine Learning Classifiers on Integrated Transcriptomic Data.
IEEE Big Data
Irene Testa, Giuseppe Prencipe, Corrado Priami, Alina Sîrbu
2022 — conf
A Comprehensive and Holistic Health Database.
ICDH
Melissa J. Morine, Corrado Priami, Edith Coronado, Juliana Haber, Jim Kaput
2022 J jnl
Controlling astrocyte-mediated synaptic pruning signals for schizophrenia drug repurposing with deep graph networks.
PLoS Comput. Biol.
Alessio Gravina, Jennifer L. Wilson, Davide Bacciu, Kevin Grimes, Corrado Priami
2022 — ed.
IEEE International Conference on Digital Health, ICDH 2022, Barcelona, Spain, July 10-16, 2022
ICDH
Sheikh Iqbal Ahamed, Claudio Agostino Ardagna, Hongyi Bian, Mario A. Bochicchio, Carl K. Chang, Rong N. Chang, Ernesto Damiani, Lin Liu, Misha Pavel, Corrado Priami, Hossain Shahriar, Robert Ward, Fatos Xhafa, Jia Zhang, Farhana H. Zulkernine
2021 J jnl
A robust computational pipeline for model-based and data-driven phenotype clustering.
Bioinform.
Giulia Simoni, Chanchala Kaddi, Mengdi Tao, Federico Reali, Danilo Tomasoni, Corrado Priami, Karim Azer, Susana Neves-Zaph, Luca Marchetti
2020 J jnl
A Public Dataset of 24-h Multi-Levels Psycho-Physiological Responses in Young Healthy Adults.
Data
Alessio Rossi, Eleonora Da Pozzo, Dario Menicagli, Chiara Tremolanti, Corrado Priami, Alina Sîrbu, David A. Clifton, Claudia Martini, Davide Morelli
2020 J jnl
A comparison of deterministic and stochastic approaches for sensitivity analysis in computational systems biology.
Briefings Bioinform.
Giulia Simoni, Vo Hong Thanh, Corrado Priami, Luca Marchetti
2020 J jnl
High-Precision Biomedical Relation Extraction for Reducing Human Curation Efforts in Industrial Applications.
IEEE Access
Alan Ramponi, Stefano Giampiccolo, Danilo Tomasoni, Corrado Priami, Rosario Lombardo
2019 J jnl
Efficient formulation of the rejection-based algorithm for biochemical reactions with delays.
Int. J. Bioinform. Res. Appl.
Vo Hong Thanh, Roberto Zunino, Corrado Priami
2019 J jnl
Multi-omics integration - a comparison of unsupervised clustering methodologies.
Briefings Bioinform.
Giulia Tini, Luca Marchetti, Corrado Priami, Marie-Pier Scott-Boyer
2017 J jnl
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks.
IEEE ACM Trans. Comput. Biol. Bioinform.
Vo Hong Thanh, Roberto Zunino, Corrado Priami
2017 J jnl
Exploring the Limitations of Peripheral Blood Transcriptional Biomarkers in Predicting Influenza Vaccine Responsiveness.
Complex.
Luca Marchetti, Emilio Siena, Mario Lauria, Denise Maffione, Nicola Pacchiani, Corrado Priami, Duccio Medini
2017 J jnl
HSimulator: Hybrid Stochastic/Deterministic Simulation of Biochemical Reaction Networks.
Complex.
Luca Marchetti, Rosario Lombardo, Corrado Priami
2017 J jnl
Optimization Algorithms for Computational Systems Biology.
Frontiers Appl. Math. Stat.
Federico Reali, Corrado Priami, Luca Marchetti
2017 — book
Simulation Algorithms for Computational Systems Biology
Luca Marchetti, Corrado Priami, Vo Hong Thanh
2016 J jnl
HRSSA - Efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks.
J. Comput. Phys.
Luca Marchetti, Corrado Priami, Vo Hong Thanh
2015 — book
Analysis of Biological Systems
Corrado Priami, Melissa J. Morine
2015 — conf
Pierpaolo Degano.
Programming Languages with Applications to Biology and Security
Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami
2015 — ed.
Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
Programming Languages with Applications to Biology and Security
Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami
2015 J jnl
Qualitative and Quantitative Protein Complex Prediction Through Proteome-Wide Simulations.
PLoS Comput. Biol.
Simone Rizzetto, Corrado Priami, Attila Csikász-Nagy
2015 J jnl
SCUDO: a tool for signature-based clustering of expression profiles.
Nucleic Acids Res.
Mario Lauria, Petros Moyseos, Corrado Priami
2015 — conf
ℓ: An Imperative DSL to Stochastically Simulate Biological Systems.
Programming Languages with Applications to Biology and Security
Roberto Zunino, Durica Nikolic, Corrado Priami, Ozan Kahramanogullari, Tommaso Schiavinotto
2014 J jnl
Graphical Modeling Tools for Systems Biology.
ACM Comput. Surv.
Roswitha Gostner, Bianca Baldacci, Melissa J. Morine, Corrado Priami
2013 — conf
Inference of Autism-Related Genes by Integrating Protein-Protein Interactions and miRNA-Target Interactions.
KSE (1)
Dang Hung Tran, Thanh-Phuong Nguyen, Laura Caberlotto, Corrado Priami
2012 B conf
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation.
SEFM
Durica Nikolic, Corrado Priami, Roberto Zunino
2012 — ch.
Algorithmic Systems Biology - Computer Science Propels Systems Biology.
Handbook of Natural Computing
Corrado Priami
2012 — conf
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches.
SEFM Satellite Events
Ozan Kahramanogullari, James F. Lynch, Corrado Priami
2012 Misc conf
An imperative language of self-modifying graphs for biological systems.
SAC
Corrado Priami, Paola Quaglia, Roberto Zunino
2012 J jnl
Inferring biochemical reaction pathways: the case of the gemcitabine pharmacokinetics.
BMC Syst. Biol.
Paola Lecca, Daniele Morpurgo, Gianluca Fantaccini, Alessandro Casagrande, Corrado Priami
2012 — ed.
Transactions on Computational Systems Biology XIV - Special Issue on Computational Models for Cell Processes
Trans. Computational Systems Biology
Corrado Priami, Ion Petre, Erik P. de Vink
2011 J jnl
Formal Methods in Molecular Biology (Dagstuhl Seminar 11151).
Dagstuhl Reports
Rainer Breitling, Frank J. Bruggeman, Corrado Priami, Adelinde M. Uhrmacher
2011 J jnl
Model-based clustering reveals vitamin D dependent multi-centrality hubs in a network of vitamin-related proteins.
BMC Syst. Biol.
Thanh-Phuong Nguyen, Marco Scotti, Melissa J. Morine, Corrado Priami
2011 — conf
Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer.
UKSim
Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo
2011 — conf
Poster: Modelling the tumor shrinkage pharmacodynamics with BlenX.
ICCABS
Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo
2011 — ed.
Transactions on Computational Systems Biology XIII
Trans. Computational Systems Biology
Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink
2010 — conf
BlenX-based compositional modeling of complex reaction mechanisms
FBTC
Judit Zámborszky, Corrado Priami
2010 — conf
Composability: Perspectives in Ecological Modeling.
ANB
Ozan Kahramanogullari, Ferenc Jordán, Corrado Priami
2010 J jnl
Modelling Self-assembly in BlenX.
Trans. Comp. Sys. Biology
Roberto Larcher, Corrado Priami, Alessandro Romanel
2010 J jnl
On the computational power of BlenX.
Theor. Comput. Sci.
Alessandro Romanel, Corrado Priami
2010 J jnl
Snazer: the simulations and networks analyzer.
BMC Syst. Biol.
Tommaso Mazza, Gennaro Iaccarino, Corrado Priami
2010 J jnl
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient.
J. Integr. Bioinform.
Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
2010 — ed.
Transactions on Computational Systems Biology XII, Special Issue on Modeling Methodologies
Trans. Computational Systems Biology
Corrado Priami, Rainer Breitling, David R. Gilbert, Monika Heiner, Adelinde M. Uhrmacher
2009 — conf
09091 Abstracts Collection - Formal Methods in Molecular Biology.
Formal Methods in Molecular Biology
Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami
2009 — conf
09091 Executive Summary - Formal Methods in Molecular Biology.
Formal Methods in Molecular Biology
Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami
2009 Misc conf
A new probabilistic generative model of parameter inference in biochemical networks.
SAC
Paola Lecca, Alida Palmisano, Corrado Priami, Guido Sanguinetti
2009 J jnl
Algorithmic systems biology.
Commun. ACM
Corrado Priami
2009 B conf
BlenX Static and Dynamic Semantics.
CONCUR
Corrado Priami, Paola Quaglia, Alessandro Romanel
2009 — conf
BlenX4Bio - BlenX for Biologists.
CMSB
Corrado Priami, Paolo Ballarini, Paola Quaglia
2009 — conf
Deducing Chemical Reaction Rate Constants and Their Regions of Confidence from Noisy Measurements of Time Series of Concentration.
UKSim
Paola Lecca, Alida Palmisano, Corrado Priami
2009 J jnl
Elucidation of functional consequences of signalling pathway interactions.
BMC Bioinform.
Adaoha E. C. Ihekwaba, Phuong T. Nguyen, Corrado Priami
2009 — conf
Exploiting non-Markovian Bio-Processes.
QAPL
Ivan Mura, Davide Prandi, Corrado Priami, Alessandro Romanel
2009 — ed.
Formal Methods in Molecular Biology, 22.02. - 27.02.2009
Formal Methods in Molecular Biology
Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami
2009 Misc conf
From ODES to Language-Based, Executable Models of Biological Systems.
Pacific Symposium on Biocomputing
Alida Palmisano, Ivan Mura, Corrado Priami
2009 J jnl
Narrative-based computational modelling of the Gp130/JAK/STAT signalling pathway.
BMC Syst. Biol.
Maria Luisa Guerriero, Anna Dudka, Nicholas Underhill-Day, John K. Heath, Corrado Priami
2009 — conf
Process Calculi Abstractions for Biology.
Algorithmic Bioprocesses
Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
2009 — ed.
Transactions on Computational Systems Biology XI
Trans. Computational Systems Biology
Corrado Priami, Ralph-Johan Back, Ion Petre
2009 — ch.
Visualization in process algebra models of biological systems.
The Fourth Paradigm
Luca Cardelli, Corrado Priami
2008 C conf
A Bounded-Optimistic, Parallel Beta-Binders Simulator.
DS-RT
Stefan Leye, Adelinde M. Uhrmacher, Corrado Priami
2008 J jnl
An Automatic Translation of SBML into Beta-Binders.
IEEE ACM Trans. Comput. Biol. Bioinform.
Federica Ciocchetta, Corrado Priami, Paola Quaglia
2008 J jnl
Communicating by compatibility.
J. Log. Algebraic Methods Program.
Davide Prandi, Corrado Priami, Paola Quaglia
2008 J jnl
Evolving BlenX programs to simulate the evolution of biological networks.
Theor. Comput. Sci.
Lorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun S. Soyer
2008 J jnl
Modelling and simulation of biological processes in BlenX.
SIGMETRICS Perform. Evaluation Rev.
Lorenzo Dematté, Corrado Priami, Alessandro Romanel
2008 J jnl
On the decidability and complexity of the structural congruence for beta-binders.
Theor. Comput. Sci.
Alessandro Romanel, Corrado Priami
2008 J jnl
Preface.
Theor. Comput. Sci.
Corrado Priami
2008 J jnl
The Beta Workbench: a computational tool to study the dynamics of biological systems.
Briefings Bioinform.
Lorenzo Dematté, Corrado Priami, Alessandro Romanel
2008 — conf
The BlenX Language: A Tutorial.
SFM
Lorenzo Dematté, Corrado Priami, Alessandro Romanel
2008 J jnl
Towards the integration of computational systems biology and high-throughput data: supporting differential analysis of microarray gene expression data.
J. Integr. Bioinform.
Nicola Segata, Enrico Blanzieri, Corrado Priami
2008 — ed.
Transactions on Computational Systems Biology IX
Trans. Computational Systems Biology
Corrado Priami
2008 — ed.
Transactions on Computational Systems Biology X
Trans. Computational Systems Biology
Corrado Priami, Falko Dressler, Özgür B. Akan, Alioune Ngom
2007 — conf
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways.
CMSB
Lorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun S. Soyer
2007 B conf
A Stochastic Semantics for BioAmbients.
PaCT
Linda Brodo, Pierpaolo Degano, Corrado Priami
2007 — conf
An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra.
CMSB
Maria Luisa Guerriero, John K. Heath, Corrado Priami
2007 — conf
BetaWB: modelling and simulating biological processes.
SCSC
Lorenzo Dematté, Corrado Priami, Alessandro Romanel
2007 J jnl
Computational Thinking in Biology.
Trans. Comp. Sys. Biology
Corrado Priami
2007 — conf
Modeling Static Biological Compartments with Beta-binders.
AB
Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel
2007 — ed.
Transactions on Computational Systems Biology VIII
Trans. Computational Systems Biology
Corrado Priami
2006 — conf
06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems.
Simulation and Verification of Dynamic Systems
David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher
2006 — conf
06161 Executive Summary -- Simulation and Verification of Dynamic Systems.
Simulation and Verification of Dynamic Systems
Hanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher
2006 — conf
Beta-binders for Biological Quantitative Experiments.
QAPL
Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia
2006 — conf
Biological Transactions for Quantitative Models.
MeCBIC@ICALP
Federica Ciocchetta, Corrado Priami
2006 — ed.
Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings
CMSB
Corrado Priami
2006 C conf
Decidable Extensions of Hennessy-Milner Logic.
FORTE
Radu Mardare, Corrado Priami
2006 J jnl
Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus.
Bioinform.
Claudio Eccher, Corrado Priami
2006 B conf
Developing An Hierarchical Simulator for Beta-binders.
PADS
Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher
2006 — ed.
Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006
Simulation and Verification of Dynamic Systems
David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher
2006 — conf
The Decidability of the Structural Congruence for Beta-binders.
MeCBIC@ICALP
Corrado Priami, Alessandro Romanel
2006 — ed.
Transactions on Computational Systems Biology IV
Trans. Computational Systems Biology
Corrado Priami, Luca Cardelli, Stephen Emmott
2006 — ed.
Transactions on Computational Systems Biology V
Trans. Computational Systems Biology
Corrado Priami, Xiaohua Hu, Yi Pan, Tsau Young Lin
2006 — ed.
Transactions on Computational Systems Biology VI
Trans. Computational Systems Biology
Corrado Priami, Gordon D. Plotkin
2006 — ed.
Transactions on Computational Systems Biology VII
Trans. Computational Systems Biology
Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson
2005 J jnl
Authentication primitives for secure protocol specifications.
Future Gener. Comput. Syst.
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
2005 J jnl
Checking security policies through an enhanced Control Flow Analysis.
J. Comput. Secur.
Chiara Bodei, Pierpaolo Degano, Corrado Priami
2005 Misc conf
Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS.
WSC
Adelinde M. Uhrmacher, Corrado Priami
2005 — ed.
Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
Global Computing
Corrado Priami, Paola Quaglia
2005 J jnl
Logical Analysis of Biological Systems.
Fundam. Informaticae
Radu Mardare, Corrado Priami
2005 J jnl
Modeling Kohn Interaction Maps with Beta-Binders: An Example.
Trans. Comp. Sys. Biology
Federica Ciocchetta, Corrado Priami, Paola Quaglia
2005 B conf
On Evaluating the Performance of Security Protocols.
PaCT
Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
2005 J jnl
Operational Patterns in Beta-Binders.
Trans. Comp. Sys. Biology
Corrado Priami, Paola Quaglia
2005 — conf
Process Calculi and Life Science.
APC 25
Corrado Priami
2005 J jnl
Process Calculi in a Biological Context.
Bull. EATCS
Davide Prandi, Corrado Priami, Paola Quaglia
2005 — ed.
Transactions on Computational Systems Biology I
Trans. Computational Systems Biology
Corrado Priami
2005 — ed.
Transactions on Computational Systems Biology II
Trans. Computational Systems Biology
Corrado Priami, Alexander Zelikovsky
2005 — ed.
Transactions on Computational Systems Biology III
Trans. Computational Systems Biology
Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea Omicini
2004 Misc conf
A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules.
Pacific Symposium on Biocomputing
Paola Lecca, Corrado Priami, Carlo Laudanna, Gabriela Constantin
2004 — conf
A Quantitative Study of Two Attacks.
WISP@ICATPN
Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami
2004 J jnl
A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment.
Simul.
Paola Lecca, Corrado Priami, Paola Quaglia, Barbara Rossi, Carlo Laudanna, Gabriela Constantin
2004 — conf
Beta Binders for Biological Interactions.
CMSB
Corrado Priami, Paola Quaglia
2004 — conf
Model Checking Biological Systems Described Using Ambient Calculus.
CMSB
Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin
2004 J jnl
Modelling biochemical pathways through enhanced pi-calculus.
Theor. Comput. Sci.
Michele Curti, Pierpaolo Degano, Corrado Priami, Cosima Tatiana Baldari
2004 J jnl
Modelling the dynamics of biosystems.
Briefings Bioinform.
Corrado Priami, Paola Quaglia
2004 — conf
Performance Analysis of a UML Micro-business Case Study.
Global Computing
Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia
2004 — conf
Performance Evaluation of Security Protocols Specified in LySa.
QAPL
Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
2004 Misc conf
Predicting cell adhesion probability via the biochemical stochastic pi-calculus.
SAC
Paola Lecca, Corrado Priami, Carlo Laudanna, Gabriela Constantin
2004 J jnl
Prefac.
Theor. Comput. Sci.
Corrado Priami
2004 J jnl
Preface to the special issue on Security in global computing.
Int. J. Inf. Sec.
Corrado Priami
2003 — conf
A Logical Approach to Security in the Context of Ambient Calculus.
MEFISTO
Radu Mardare, Corrado Priami
2003 B conf
Authentication Primitives for Protocol Specifications.
PaCT
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
2003 — conf
Causality and Replication in Concurrent Processes.
Ershov Memorial Conference
Pierpaolo Degano, Fabio Gadducci, Corrado Priami
2003 — conf
Cell Cycle Control in Eukaryotes: A BioSpi model.
BioConcur@CONCUR
Paola Lecca, Corrado Priami
2003 — ed.
Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings
CMSB
Corrado Priami
2003 — conf
Control Flow Analysis for BioAmbients.
BioConcur@CONCUR
Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa
2003 — conf
Enhanced Operational Semantics in Systems Biology.
CMSB
Pierpaolo Degano, Corrado Priami
2003 — ed.
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers
Global Computing
Corrado Priami
2003 — conf
Performance Evaluation for Global Computation.
Global Computing
Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami
2003 — conf
Reflecting Mobile Ambients into the p-Calculus.
Global Computing
Linda Brodo, Pierpaolo Degano, Corrado Priami
2003 Misc conf
Simulation and verification I: design environments for complex systems.
WSC
Corrado Priami
2003 — conf
Toward Extracting ?-calculus from UML Sequence and State Diagrams.
CVUML
Katerina Pokozy-Korenblat, Corrado Priami
2002 J jnl
A causal semantics for CCS via rewriting logic.
Theor. Comput. Sci.
Pierpaolo Degano, Fabio Gadducci, Corrado Priami
2002 J jnl
Language-based Performance Prediction for Distributed and Mobile Systems.
Inf. Comput.
Corrado Priami
2002 J jnl
Primitives for authentication in process algebras.
Theor. Comput. Sci.
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
2001 J jnl
Application of a stochastic name-passing calculus to representation and simulation of molecular processes.
Inf. Process. Lett.
Corrado Priami, Aviv Regev, Ehud Shapiro, William Silverman
2001 J jnl
Enhanced operational semantics.
ACM Comput. Surv.
Pierpaolo Degano, Corrado Priami
2001 J jnl
Names of the -calculus agents handled locally.
Theor. Comput. Sci.
Chiara Bodei, Pierpaolo Degano, Corrado Priami
2001 J jnl
Performance Evaluation of Mobile Processes via Abstract Machines.
IEEE Trans. Software Eng.
Chiara Nottegar, Corrado Priami, Pierpaolo Degano
2000 — conf
A tool for quantitative analysis of calculus processes.
ICALP Satellite Workshops
Linda Brodo, Pierpaolo Degano, Corrado Priami
2000 — conf
Functional features of a calculus for logic and concurrency.
WFLP
Corrado Priami, Ugo Solitro
1999 — conf
Authentication via Localized Names.
CSFW
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami
1999 J jnl
Causality for Debugging Mobile Agents.
Acta Informatica
Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
1999 J jnl
Non-Interleaving Semantics for Mobile Processes.
Theor. Comput. Sci.
Pierpaolo Degano, Corrado Priami
1999 J jnl
Operational Methods in Theoretical Computer Science.
ACM Comput. Surv.
Corrado Priami
1999 B conf
Semantic-Driven Performance Evaluation (Extended Abstract).
FASE
Chiara Nottegar, Corrado Priami, Pierpaolo Degano
1998 B conf
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.
SAS
Chiara Bodei, Pierpaolo Degano, Corrado Priami
1998 J jnl
LR Techniques for Handling Syntax Errors.
Comput. Lang.
Pierpaolo Degano, Corrado Priami
1997 B conf
True Concurrency via Abstract Interpretation.
SAS
Chiara Bodei, Corrado Priami
1996 — conf
Analysis of Facile Programs: A Case Study.
LOMAPS
Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
1996 J jnl
Automatic Verification of Distributed Systems: The Process Algebra Approach.
Formal Methods Syst. Des.
Paola Inverardi, Corrado Priami
1996 J jnl
Enhanced Operational Semantics.
ACM Comput. Surv.
Pierpaolo Degano, Corrado Priami
1996 — conf
Integrating Behavioural and Performance Analysis with Topology Information.
HICSS (1)
Corrado Priami
1996 — conf
Mobile Processes with Local Clocks.
LOMAPS
Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami
1996 A* conf
Mobile Processes with a Distributed Environment.
ICALP
Chiara Bodei, Pierpaolo Degano, Corrado Priami
1996 B conf
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile.
SAS
Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen
1995 — conf
A Transitional Semantics of Full Prolog.
GULP-PRODE
Pierpaolo Degano, Corrado Priami
1995 B conf
An Efficient Verifier of Truly Concurrent Properties.
PaCT
Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami
1995 A* conf
Causality for Mobile Processes.
ICALP
Pierpaolo Degano, Corrado Priami
1995 J jnl
Comparison of Syntactic Error Handling in LR Parsers.
Softw. Pract. Exp.
Pierpaolo Degano, Corrado Priami
1995 — conf
Complexity as a Basis for Comparing Semantic Models of Concurrency.
ASIAN
Alan Mycroft, Pierpaolo Degano, Corrado Priami
1995 J jnl
Stochastic pi-Calculus.
Comput. J.
Corrado Priami
1994 J jnl
Automatizing Parametric Reasoning on Distributed Concurrent Systems.
Formal Aspects Comput.
Paola Inverardi, Corrado Priami, Daniel Yankelevich
1994 B conf
Read-Write Causality.
MFCS
Corrado Priami, Daniel Yankelevich
1993 A* conf
Extended Transition Systems for Parametric Bisimulation.
ICALP
Paola Inverardi, Corrado Priami, Daniel Yankelevich
1993 J jnl
Generating the analytic component parts of syntax-directed editors with efficient-error recovery.
J. Syst. Softw.
U. Bianchi, Pierpaolo Degano, Stefano Mannucci, Simone Martini, Bruno Mojana, Corrado Priami, E. Salvatori
1992 A* conf
Proved Trees.
ICALP
Pierpaolo Degano, Corrado Priami
1991 J jnl
Evaluation of Tools for the Analysis of Communicating Systems.
Bull. EATCS
Paola Inverardi, Corrado Priami