Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCorrado Priami
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c69]Irene Testa, Giuseppe Prencipe, Corrado Priami, Alina Sîrbu:
Comparison of Machine Learning Classifiers on Integrated Transcriptomic Data. IEEE Big Data 2023: 4987-4996- 2022
- [j63]Alessio Gravina
, Jennifer L. Wilson, Davide Bacciu, Kevin Grimes, Corrado Priami:
Controlling astrocyte-mediated synaptic pruning signals for schizophrenia drug repurposing with deep graph networks. PLoS Comput. Biol. 18(5) (2022) - [c68]Melissa J. Morine, Corrado Priami, Edith Coronado, Juliana Haber, Jim Kaput:
A Comprehensive and Holistic Health Database. ICDH 2022: 202-207 - [e22]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:
IEEE International Conference on Digital Health, ICDH 2022, Barcelona, Spain, July 10-16, 2022. IEEE 2022, ISBN 978-1-6654-8149-6 [contents] - 2021
- [j62]Giulia Simoni, Chanchala Kaddi, Mengdi Tao, Federico Reali, Danilo Tomasoni, Corrado Priami, Karim Azer, Susana Neves-Zaph, Luca Marchetti:
A robust computational pipeline for model-based and data-driven phenotype clustering. Bioinform. 37(9): 1269-1277 (2021) - 2020
- [j61]Alan Ramponi, Stefano Giampiccolo, Danilo Tomasoni, Corrado Priami, Rosario Lombardo:
High-Precision Biomedical Relation Extraction for Reducing Human Curation Efforts in Industrial Applications. IEEE Access 8: 150999-151011 (2020) - [j60]Giulia Simoni, Vo Hong Thanh, Corrado Priami, Luca Marchetti:
A comparison of deterministic and stochastic approaches for sensitivity analysis in computational systems biology. Briefings Bioinform. 21(2): 527-540 (2020) - [j59]Alessio Rossi, Eleonora Da Pozzo, Dario Menicagli, Chiara Tremolanti, Corrado Priami, Alina Sîrbu, David A. Clifton, Claudia Martini, Davide Morelli:
A Public Dataset of 24-h Multi-Levels Psycho-Physiological Responses in Young Healthy Adults. Data 5(4): 91 (2020)
2010 – 2019
- 2019
- [j58]Giulia Tini, Luca Marchetti, Corrado Priami, Marie-Pier Scott-Boyer:
Multi-omics integration - a comparison of unsupervised clustering methodologies. Briefings Bioinform. 20(4): 1269-1279 (2019) - [j57]Vo Hong Thanh, Roberto Zunino, Corrado Priami:
Efficient formulation of the rejection-based algorithm for biochemical reactions with delays. Int. J. Bioinform. Res. Appl. 15(2): 159-173 (2019) - 2017
- [b2]Luca Marchetti, Corrado Priami, Vo Hong Thanh:
Simulation Algorithms for Computational Systems Biology. Texts in Theoretical Computer Science. An EATCS Series, Springer 2017, ISBN 978-3-319-63111-0, pp. 1-205 - [j56]Luca Marchetti, Rosario Lombardo, Corrado Priami:
HSimulator: Hybrid Stochastic/Deterministic Simulation of Biochemical Reaction Networks. Complex. 2017: 1232868:1-1232868:12 (2017) - [j55]Luca Marchetti, Emilio Siena, Mario Lauria, Denise Maffione, Nicola Pacchiani, Corrado Priami, Duccio Medini:
Exploring the Limitations of Peripheral Blood Transcriptional Biomarkers in Predicting Influenza Vaccine Responsiveness. Complex. 2017: 3017632:1-3017632:9 (2017) - [j54]Federico Reali, Corrado Priami, Luca Marchetti:
Optimization Algorithms for Computational Systems Biology. Frontiers Appl. Math. Stat. 3: 6 (2017) - [j53]Vo Hong Thanh, Roberto Zunino, Corrado Priami:
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 14(3): 657-667 (2017) - 2016
- [j52]Luca Marchetti, Corrado Priami, Vo Hong Thanh:
HRSSA - Efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks. J. Comput. Phys. 317: 301-317 (2016) - 2015
- [b1]Corrado Priami, Melissa J. Morine:
Analysis of Biological Systems. Imperial College Press 2015, ISBN 9781783266876, pp. 1-432 - [j51]Mario Lauria, Petros Moyseos, Corrado Priami:
SCUDO: a tool for signature-based clustering of expression profiles. Nucleic Acids Res. 43(Webserver-Issue): W188-W192 (2015) - [j50]Simone Rizzetto, Corrado Priami, Attila Csikász-Nagy:
Qualitative and Quantitative Protein Complex Prediction Through Proteome-Wide Simulations. PLoS Comput. Biol. 11(10) (2015) - [c67]Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami:
Pierpaolo Degano. Programming Languages with Applications to Biology and Security 2015: 1-6 - [c66]Roberto Zunino, Durica Nikolic, Corrado Priami, Ozan Kahramanogullari, Tommaso Schiavinotto:
ℓ: An Imperative DSL to Stochastically Simulate Biological Systems. Programming Languages with Applications to Biology and Security 2015: 354-374 - [e21]Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami:
Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 9465, Springer 2015, ISBN 978-3-319-25526-2 [contents] - 2014
- [j49]Roswitha Gostner, Bianca Baldacci, Melissa J. Morine, Corrado Priami:
Graphical Modeling Tools for Systems Biology. ACM Comput. Surv. 47(2): 16:1-16:21 (2014) - 2013
- [c65]Dang Hung Tran, Thanh-Phuong Nguyen, Laura Caberlotto, Corrado Priami:
Inference of Autism-Related Genes by Integrating Protein-Protein Interactions and miRNA-Target Interactions. KSE (1) 2013: 299-311 - 2012
- [j48]Paola Lecca, Daniele Morpurgo, Gianluca Fantaccini, Alessandro Casagrande, Corrado Priami:
Inferring biochemical reaction pathways: the case of the gemcitabine pharmacokinetics. BMC Syst. Biol. 6: 51 (2012) - [c64]Corrado Priami, Paola Quaglia, Roberto Zunino:
An imperative language of self-modifying graphs for biological systems. SAC 2012: 1903-1909 - [c63]Durica Nikolic, Corrado Priami, Roberto Zunino:
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. SEFM 2012: 16-32 - [c62]Ozan Kahramanogullari, James F. Lynch, Corrado Priami:
Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches. SEFM Satellite Events 2012: 154-171 - [p2]Corrado Priami:
Algorithmic Systems Biology - Computer Science Propels Systems Biology. Handbook of Natural Computing 2012: 1835-1862 - [e20]Corrado Priami, Ion Petre, Erik P. de Vink:
Transactions on Computational Systems Biology XIV - Special Issue on Computational Models for Cell Processes. Lecture Notes in Computer Science 7625, Springer 2012, ISBN 978-3-642-35523-3 [contents] - 2011
- [j47]Thanh-Phuong Nguyen, Marco Scotti, Melissa J. Morine, Corrado Priami:
Model-based clustering reveals vitamin D dependent multi-centrality hubs in a network of vitamin-related proteins. BMC Syst. Biol. 5: 195 (2011) - [c61]Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo:
Poster: Modelling the tumor shrinkage pharmacodynamics with BlenX. ICCABS 2011: 251 - [c60]Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo:
Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer. UKSim 2011: 75-80 - [e19]Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink:
Transactions on Computational Systems Biology XIII. Lecture Notes in Computer Science 6575, Springer 2011, ISBN 978-3-642-19747-5 [contents] - [i5]Rainer Breitling, Frank J. Bruggeman, Corrado Priami, Adelinde M. Uhrmacher:
Formal Methods in Molecular Biology (Dagstuhl Seminar 11151). Dagstuhl Reports 1(4): 41-64 (2011) - 2010
- [j46]Tommaso Mazza, Gennaro Iaccarino, Corrado Priami:
Snazer: the simulations and networks analyzer. BMC Syst. Biol. 4: 1 (2010) - [j45]Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami:
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient. J. Integr. Bioinform. 7(1) (2010) - [j44]Alessandro Romanel, Corrado Priami:
On the computational power of BlenX. Theor. Comput. Sci. 411(2): 542-565 (2010) - [j43]Roberto Larcher, Corrado Priami, Alessandro Romanel:
Modelling Self-assembly in BlenX. Trans. Comp. Sys. Biology 12: 163-198 (2010) - [c59]Ozan Kahramanogullari, Ferenc Jordán, Corrado Priami:
Composability: Perspectives in Ecological Modeling. ANB 2010: 136-148 - [c58]Judit Zámborszky, Corrado Priami:
BlenX-based compositional modeling of complex reaction mechanisms. FBTC 2010: 85-102 - [e18]Corrado Priami, Rainer Breitling, David R. Gilbert, Monika Heiner, Adelinde M. Uhrmacher:
Transactions on Computational Systems Biology XII, Special Issue on Modeling Methodologies. Lecture Notes in Computer Science 5945, Springer 2010, ISBN 978-3-642-11711-4 [contents]
2000 – 2009
- 2009
- [j42]Adaoha E. C. Ihekwaba, Phuong T. Nguyen, Corrado Priami:
Elucidation of functional consequences of signalling pathway interactions. BMC Bioinform. 10: 370 (2009) - [j41]Maria Luisa Guerriero, Anna Dudka, Nicholas Underhill-Day, John K. Heath, Corrado Priami:
Narrative-based computational modelling of the Gp130/JAK/STAT signalling pathway. BMC Syst. Biol. 3: 40 (2009) - [j40]Corrado Priami:
Algorithmic systems biology. Commun. ACM 52(5): 80-88 (2009) - [c57]Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia:
Process Calculi Abstractions for Biology. Algorithmic Bioprocesses 2009: 463-486 - [c56]Corrado Priami, Paolo Ballarini, Paola Quaglia:
BlenX4Bio - BlenX for Biologists. CMSB 2009: 26-51 - [c55]Corrado Priami, Paola Quaglia, Alessandro Romanel:
BlenX Static and Dynamic Semantics. CONCUR 2009: 37-52 - [c54]Alida Palmisano, Ivan Mura, Corrado Priami:
From ODES to Language-Based, Executable Models of Biological Systems. Pacific Symposium on Biocomputing 2009: 239-250 - [c53]Paola Lecca, Alida Palmisano, Corrado Priami, Guido Sanguinetti:
A new probabilistic generative model of parameter inference in biochemical networks. SAC 2009: 758-765 - [c52]Paola Lecca, Alida Palmisano, Corrado Priami:
Deducing Chemical Reaction Rate Constants and Their Regions of Confidence from Noisy Measurements of Time Series of Concentration. UKSim 2009: 200-205 - [c51]Ivan Mura, Davide Prandi, Corrado Priami, Alessandro Romanel:
Exploiting non-Markovian Bio-Processes. QAPL 2009: 83-98 - [p1]Luca Cardelli, Corrado Priami:
Visualization in process algebra models of biological systems. The Fourth Paradigm 2009: 99-105 - [e17]Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami:
Formal Methods in Molecular Biology, 22.02. - 27.02.2009. Dagstuhl Seminar Proceedings 09091, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [e16]Corrado Priami, Ralph-Johan Back, Ion Petre:
Transactions on Computational Systems Biology XI. Lecture Notes in Computer Science 5750, Springer 2009, ISBN 978-3-642-04185-3 [contents] - [i4]Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami:
09091 Abstracts Collection - Formal Methods in Molecular Biology. Formal Methods in Molecular Biology 2009 - [i3]Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami:
09091 Executive Summary - Formal Methods in Molecular Biology. Formal Methods in Molecular Biology 2009 - 2008
- [j39]Lorenzo Dematté, Corrado Priami, Alessandro Romanel:
The Beta Workbench: a computational tool to study the dynamics of biological systems. Briefings Bioinform. 9(5): 437-449 (2008) - [j38]Nicola Segata, Enrico Blanzieri, Corrado Priami:
Towards the integration of computational systems biology and high-throughput data: supporting differential analysis of microarray gene expression data. J. Integr. Bioinform. 5(1) (2008) - [j37]Davide Prandi, Corrado Priami, Paola Quaglia:
Communicating by compatibility. J. Log. Algebraic Methods Program. 75(2): 167-181 (2008) - [j36]Lorenzo Dematté, Corrado Priami, Alessandro Romanel:
Modelling and simulation of biological processes in BlenX. SIGMETRICS Perform. Evaluation Rev. 35(4): 32-39 (2008) - [j35]Federica Ciocchetta, Corrado Priami, Paola Quaglia:
An Automatic Translation of SBML into Beta-Binders. IEEE ACM Trans. Comput. Biol. Bioinform. 5(1): 80-90 (2008) - [j34]Corrado Priami:
Preface. Theor. Comput. Sci. 391(3): 189 (2008) - [j33]Alessandro Romanel, Corrado Priami:
On the decidability and complexity of the structural congruence for beta-binders. Theor. Comput. Sci. 404(1-2): 156-169 (2008) - [j32]Lorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun S. Soyer:
Evolving BlenX programs to simulate the evolution of biological networks. Theor. Comput. Sci. 408(1): 83-96 (2008) - [c50]Stefan Leye, Adelinde M. Uhrmacher, Corrado Priami:
A Bounded-Optimistic, Parallel Beta-Binders Simulator. DS-RT 2008: 139-148 - [c49]Lorenzo Dematté, Corrado Priami, Alessandro Romanel:
The BlenX Language: A Tutorial. SFM 2008: 313-365 - [e15]Corrado Priami:
Transactions on Computational Systems Biology IX. Lecture Notes in Computer Science 5121, Springer 2008, ISBN 978-3-540-88764-5 [contents] - [e14]Corrado Priami, Falko Dressler, Özgür B. Akan, Alioune Ngom:
Transactions on Computational Systems Biology X. Lecture Notes in Computer Science 5410, Springer 2008, ISBN 978-3-540-92272-8 [contents] - 2007
- [j31]Corrado Priami:
Computational Thinking in Biology. Trans. Comp. Sys. Biology 8: 63-76 (2007) - [c48]Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel:
Modeling Static Biological Compartments with Beta-binders. AB 2007: 247-261 - [c47]Lorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun S. Soyer:
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways. CMSB 2007: 106-120 - [c46]Maria Luisa Guerriero, John K. Heath, Corrado Priami:
An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. CMSB 2007: 136-151 - [c45]Linda Brodo, Pierpaolo Degano, Corrado Priami:
A Stochastic Semantics for BioAmbients. PaCT 2007: 22-34 - [c44]Lorenzo Dematté, Corrado Priami, Alessandro Romanel:
BetaWB: modelling and simulating biological processes. SCSC 2007: 777-784 - [e13]Corrado Priami:
Transactions on Computational Systems Biology VIII. Lecture Notes in Computer Science 4780, Springer 2007, ISBN 978-3-540-76638-4 [contents] - 2006
- [j30]Claudio Eccher, Corrado Priami:
Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus. Bioinform. 22(24): 3075-3081 (2006) - [c43]Radu Mardare, Corrado Priami:
Decidable Extensions of Hennessy-Milner Logic. FORTE 2006: 196-211 - [c42]Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher:
Developing An Hierarchical Simulator for Beta-binders. PADS 2006: 92-102 - [c41]Federica Ciocchetta, Corrado Priami:
Biological Transactions for Quantitative Models. MeCBIC@ICALP 2006: 55-67 - [c40]Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia:
Beta-binders for Biological Quantitative Experiments. QAPL 2006: 101-117 - [c39]Corrado Priami, Alessandro Romanel:
The Decidability of the Structural Congruence for Beta-binders. MeCBIC@ICALP 2006: 155-170 - [e12]Corrado Priami:
Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings. Lecture Notes in Computer Science 4210, Springer 2006, ISBN 3-540-46166-3 [contents] - [e11]David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher:
Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006. Dagstuhl Seminar Proceedings 06161, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - [e10]Corrado Priami, Luca Cardelli, Stephen Emmott:
Transactions on Computational Systems Biology IV. Lecture Notes in Computer Science 3939, Springer 2006, ISBN 3-540-33245-6 [contents] - [e9]Corrado Priami, Xiaohua Hu, Yi Pan, Tsau Young Lin:
Transactions on Computational Systems Biology V. Lecture Notes in Computer Science 4070, Springer 2006, ISBN 3-540-36048-4 [contents] - [e8]Corrado Priami, Gordon D. Plotkin:
Transactions on Computational Systems Biology VI. Lecture Notes in Computer Science 4220, Springer 2006, ISBN 3-540-45779-8 [contents] - [e7]Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson:
Transactions on Computational Systems Biology VII. Lecture Notes in Computer Science 4230, Springer 2006, ISBN 3-540-48837-5 [contents] - [i2]David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher:
06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems. Simulation and Verification of Dynamic Systems 2006 - [i1]Hanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher:
06161 Executive Summary -- Simulation and Verification of Dynamic Systems. Simulation and Verification of Dynamic Systems 2006 - 2005
- [j29]Davide Prandi, Corrado Priami, Paola Quaglia:
Process Calculi in a Biological Context. Bull. EATCS 85: 53-69 (2005) - [j28]Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami:
Authentication primitives for secure protocol specifications. Future Gener. Comput. Syst. 21(4): 645-653 (2005) - [j27]Radu Mardare, Corrado Priami:
Logical Analysis of Biological Systems. Fundam. Informaticae 64(1-4): 275-289 (2005) - [j26]Chiara Bodei, Pierpaolo Degano, Corrado Priami:
Checking security policies through an enhanced Control Flow Analysis. J. Comput. Secur. 13(1): 49-85 (2005) - [j25]Corrado Priami, Paola Quaglia:
Operational Patterns in Beta-Binders. Trans. Comp. Sys. Biology 1: 50-65 (2005) - [j24]Federica Ciocchetta, Corrado Priami, Paola Quaglia:
Modeling Kohn Interaction Maps with Beta-Binders: An Example. Trans. Comp. Sys. Biology 3: 33-48 (2005) - [c38]Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami:
On Evaluating the Performance of Security Protocols. PaCT 2005: 1-15 - [c37]Adelinde M. Uhrmacher, Corrado Priami:
Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS. WSC 2005: 317-326 - [c36]Corrado Priami:
Process Calculi and Life Science. APC 25 2005: 301-304 - [e6]Corrado Priami, Paola Quaglia:
Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3267, Springer 2005, ISBN 3-540-24101-9 [contents] - [e5]Corrado Priami:
Transactions on Computational Systems Biology I. Lecture Notes in Computer Science 3380, Springer 2005, ISBN 3-540-25422-6 [contents] - [e4]Corrado Priami, Alexander Zelikovsky:
Transactions on Computational Systems Biology II. Lecture Notes in Computer Science 3680, Springer 2005, ISBN 3-540-29401-5 [contents] - [e3]Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea Omicini:
Transactions on Computational Systems Biology III. Lecture Notes in Computer Science 3737, Springer 2005, ISBN 3-540-30883-0 [contents] - 2004
- [j23]Corrado Priami, Paola Quaglia:
Modelling the dynamics of biosystems. Briefings Bioinform. 5(3): 259-269 (2004) - [j22]Corrado Priami:
Preface to the special issue on Security in global computing. Int. J. Inf. Sec. 2(3-4): 125 (2004) - [j21]Paola Lecca, Corrado Priami, Paola Quaglia, Barbara Rossi, Carlo Laudanna, Gabriela Constantin:
A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment. Simul. 80(6): 273-288 (2004) - [j20]Corrado Priami:
Prefac. Theor. Comput. Sci. 325(1): 1-2 (2004) - [j19]Michele Curti, Pierpaolo Degano, Corrado Priami, Cosima Tatiana Baldari:
Modelling biochemical pathways through enhanced pi-calculus. Theor. Comput. Sci. 325(1): 111-140 (2004) - [c35]Corrado Priami, Paola Quaglia:
Beta Binders for Biological Interactions. CMSB 2004: 20-33 - [c34]Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin:
Model Checking Biological Systems Described Using Ambient Calculus. CMSB 2004: 85-103 - [c33]Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia:
Performance Analysis of a UML Micro-business Case Study. Global Computing 2004: 107-126 - [c32]Paola Lecca, Corrado Priami, Carlo Laudanna, Gabriela Constantin:
A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules. Pacific Symposium on Biocomputing 2004: 521-532 - [c31]Paola Lecca, Corrado Priami, Carlo Laudanna, Gabriela Constantin:
Predicting cell adhesion probability via the biochemical stochastic pi-calculus. SAC 2004: 211-212 - [c30]Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami:
A Quantitative Study of Two Attacks. WISP@ICATPN 2004: 65-85 - [c29]Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami:
Performance Evaluation of Security Protocols Specified in LySa. QAPL 2004: 167-189 - 2003
- [c28]Pierpaolo Degano, Corrado Priami:
Enhanced Operational Semantics in Systems Biology. CMSB 2003: 178-181 - [c27]