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
- 2024
[c70]Matteo Tolloso
, Silvia Giulia Galfrè, Arianna Pavone, Marco Podda, Alina Sîrbu, Corrado Priami:
How Much Do DNA and Protein Deep Embeddings Preserve Biological Information? CMSB 2024: 209-225- 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]Pierpaolo Degano, Fabio Gadducci, Corrado Priami:
Causality and Replication in Concurrent Processes. Ershov Memorial Conference 2003: 307-318 - [c26]Linda Brodo, Pierpaolo Degano, Corrado Priami:
Reflecting Mobile Ambients into the p-Calculus. Global Computing 2003: 25-56 - [c25]Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami:
Performance Evaluation for Global Computation. Global Computing 2003: 229-253 - [c24]Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami:
Authentication Primitives for Protocol Specifications. PaCT 2003: 49-65 - [c23]Corrado Priami:
Simulation and verification I: design environments for complex systems. WSC 2003: 897-905 - [c22]Radu Mardare, Corrado Priami:
A Logical Approach to Security in the Context of Ambient Calculus. MEFISTO 2003: 3-29 - [c21]Paola Lecca, Corrado Priami:
Cell Cycle Control in Eukaryotes: A BioSpi model. BioConcur@CONCUR 2003: 51-63 - [c20]Katerina Pokozy-Korenblat, Corrado Priami:
Toward Extracting ?-calculus from UML Sequence and State Diagrams. CVUML 2003: 51-72 - [c19]Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa:
Control Flow Analysis for BioAmbients. BioConcur@CONCUR 2003: 65-79 - [e2]Corrado Priami:
Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings. Lecture Notes in Computer Science 2602, Springer 2003, ISBN 3-540-00605-2 [contents] - [e1]Corrado Priami:
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers. Lecture Notes in Computer Science 2874, Springer 2003, ISBN 3-540-20583-7 [contents] - 2002
- [j18]Corrado Priami:
Language-based Performance Prediction for Distributed and Mobile Systems. Inf. Comput. 175(2): 119-145 (2002) - [j17]Pierpaolo Degano, Fabio Gadducci, Corrado Priami:
A causal semantics for CCS via rewriting logic. Theor. Comput. Sci. 275(1-2): 259-282 (2002) - [j16]Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami:
Primitives for authentication in process algebras. Theor. Comput. Sci. 283(2): 271-304 (2002) - 2001
- [j15]Pierpaolo Degano, Corrado Priami:
Enhanced operational semantics. ACM Comput. Surv. 33(2): 135-176 (2001) - [j14]Corrado Priami, Aviv Regev, Ehud Shapiro, William Silverman:
Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80(1): 25-31 (2001) - [j13]Chiara Bodei, Pierpaolo Degano, Corrado Priami:
Names of the -calculus agents handled locally. Theor. Comput. Sci. 253(2): 155-184 (2001) - [j12]Chiara Nottegar, Corrado Priami, Pierpaolo Degano:
Performance Evaluation of Mobile Processes via Abstract Machines. IEEE Trans. Software Eng. 27(10): 867-889 (2001) - 2000
- [c18]Linda Brodo, Pierpaolo Degano, Corrado Priami:
A tool for quantitative analysis of calculus processes. ICALP Satellite Workshops 2000: 535-550 - [c17]Corrado Priami, Ugo Solitro:
Functional features of a calculus for logic and concurrency. WFLP 2000: 144-153
1990 – 1999
- 1999
- [j11]Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen:
Causality for Debugging Mobile Agents. Acta Informatica 36(5): 335-374 (1999) - [j10]Corrado Priami:
Operational Methods in Theoretical Computer Science. ACM Comput. Surv. 31(3es): 13 (1999) - [j9]Pierpaolo Degano, Corrado Priami:
Non-Interleaving Semantics for Mobile Processes. Theor. Comput. Sci. 216(1-2): 237-270 (1999) - [c16]Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami:
Authentication via Localized Names. CSFW 1999: 98-110 - [c15]Chiara Nottegar, Corrado Priami, Pierpaolo Degano:
Semantic-Driven Performance Evaluation (Extended Abstract). FASE 1999: 204-218 - 1998
- [j8]Pierpaolo Degano, Corrado Priami:
LR Techniques for Handling Syntax Errors. Comput. Lang. 24(2): 73-98 (1998) - [c14]Chiara Bodei, Pierpaolo Degano, Corrado Priami:
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. SAS 1998: 168-183 - 1997
- [c13]Chiara Bodei, Corrado Priami:
True Concurrency via Abstract Interpretation. SAS 1997: 202-216 - 1996
- [j7]Pierpaolo Degano, Corrado Priami:
Enhanced Operational Semantics. ACM Comput. Surv. 28(2): 352-354 (1996) - [j6]Paola Inverardi, Corrado Priami:
Automatic Verification of Distributed Systems: The Process Algebra Approach. Formal Methods Syst. Des. 8(1): 7-38 (1996) - [c12]Corrado Priami:
Integrating Behavioural and Performance Analysis with Topology Information. HICSS (1) 1996: 508-516 - [c11]Chiara Bodei, Pierpaolo Degano, Corrado Priami:
Mobile Processes with a Distributed Environment. ICALP 1996: 490-501 - [c10]Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami:
Mobile Processes with Local Clocks. LOMAPS 1996: 296-319 - [c9]Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen:
Analysis of Facile Programs: A Case Study. LOMAPS 1996: 345-369 - [c8]Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen:
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. SAS 1996: 98-112 - 1995
- [j5]Corrado Priami:
Stochastic pi-Calculus. Comput. J. 38(7): 578-589 (1995) - [j4]Pierpaolo Degano, Corrado Priami:
Comparison of Syntactic Error Handling in LR Parsers. Softw. Pract. Exp. 25(6): 657-679 (1995) - [c7]Pierpaolo Degano, Corrado Priami:
A Transitional Semantics of Full Prolog. GULP-PRODE 1995: 511-520 - [c6]Alan Mycroft, Pierpaolo Degano, Corrado Priami:
Complexity as a Basis for Comparing Semantic Models of Concurrency. ASIAN 1995: 141-155 - [c5]Pierpaolo Degano, Corrado Priami:
Causality for Mobile Processes. ICALP 1995: 660-671 - [c4]Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami:
An Efficient Verifier of Truly Concurrent Properties. PaCT 1995: 36-50 - 1994
- [j3]Paola Inverardi, Corrado Priami, Daniel Yankelevich:
Automatizing Parametric Reasoning on Distributed Concurrent Systems. Formal Aspects Comput. 6(6): 676-695 (1994) - [c3]Corrado Priami, Daniel Yankelevich:
Read-Write Causality. MFCS 1994: 567-576 - 1993
- [j2]U. Bianchi, Pierpaolo Degano, Stefano Mannucci, Simone Martini, Bruno Mojana, Corrado Priami, E. Salvatori:
Generating the analytic component parts of syntax-directed editors with efficient-error recovery. J. Syst. Softw. 23(1): 65-79 (1993) - [c2]Paola Inverardi, Corrado Priami, Daniel Yankelevich:
Extended Transition Systems for Parametric Bisimulation. ICALP 1993: 558-569 - 1992
- [c1]Pierpaolo Degano, Corrado Priami:
Proved Trees. ICALP 1992: 629-640 - 1991
- [j1]Paola Inverardi, Corrado Priami:
Evaluation of Tools for the Analysis of Communicating Systems. Bull. EATCS 45: 158-185 (1991)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
