| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rainer Breitling, Frank J. Bruggeman, Corrado Priami, Adelinde M. Uhrmacher |
Formal Methods in Molecular Biology (Dagstuhl Seminar 11151).  |
Dagstuhl Reports  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink (eds.) |
Transactions on Computational Systems Biology XIII |
T. Comp. Sys. Biology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo |
Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer. |
UKSim |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Lecca, Ozan Kahramanogullari, Daniele Morpurgo, Corrado Priami, Ross A. Soo |
Poster: Modelling the tumor shrinkage pharmacodynamics with BlenX. |
ICCABS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. Integrative Bioinformatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Romanel, Corrado Priami |
On the computational power of BlenX. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Judit Zámborszky, Corrado Priami |
BlenX-based compositional modeling of complex reaction mechanisms |
FBTC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Larcher, Corrado Priami, Alessandro Romanel |
Modelling Self-assembly in BlenX. |
T. Comp. Sys. Biology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Rainer Breitling, David Gilbert, Monika Heiner, Adelinde M. Uhrmacher (eds.) |
Transactions on Computational Systems Biology XII, Special Issue on Modeling Methodologies |
T. Comp. Sys. Biology |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ozan Kahramanogullari, Ferenc Jordán, Corrado Priami |
Composability: Perspectives in Ecological Modeling. |
ANB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adaoha E. C. Ihekwaba, Phuong T. Nguyen, Corrado Priami |
Elucidation of functional consequences of signalling pathway interactions. |
BMC Bioinformatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | I. Mura, Davide Prandi, Corrado Priami, Alessandro Romanel |
Exploiting non-Markovian Bio-Processes. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami |
Algorithmic systems biology. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Ralph-Johan Back, Ion Petre (eds.) |
Transactions on Computational Systems Biology XI |
T. Comp. Sys. Biology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Corrado Priami |
Visualization in process algebra models of biological systems. |
The Fourth Paradigm |
2009 |
DBLP BibTeX RDF |
|
| 1 | Corrado Priami, Paola Quaglia, Alessandro Romanel |
BlenX Static and Dynamic Semantics. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alida Palmisano, I. Mura, Corrado Priami |
From ODES to Language-Based, Executable Models of Biological Systems. |
Pacific Symposium on Biocomputing |
2009 |
DBLP BibTeX RDF |
|
| 1 | Paola Lecca, Alida Palmisano, Corrado Priami, G. Sanguinetti |
A new probabilistic generative model of parameter inference in biochemical networks. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
biochemical networks, parameter estimation, systems biology, maximum likelihood methods |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Paolo Ballarini, Paola Quaglia |
BlenX4Bio - BlenX for Biologists. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. Integrative Bioinformatics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Prandi, Corrado Priami, Paola Quaglia |
Communicating by compatibility. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Romanel, Corrado Priami |
On the decidability and complexity of the structural congruence for beta-binders. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami |
Preface. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun S. Soyer |
Evolving BlenX programs to simulate the evolution of biological networks. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Corrado Priami, Paola Quaglia |
An Automatic Translation of SBML into Beta-Binders. |
IEEE/ACM Trans. Comput. Biology Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
modeling, Process algebras, systems biology, biological systems, translation tool, Systems Biology Markup Language (SBML) |
| 1 | Lorenzo Dematté, Corrado Priami, Alessandro Romanel |
The Beta Workbench: a computational tool to study the dynamics of biological systems. |
Briefings in Bioinformatics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Dematté, Corrado Priami, Alessandro Romanel |
Modelling and simulation of biological processes in BlenX. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
computational biology, systems biology, modelling and simulation, process calculi |
| 1 | Corrado Priami, Falko Dressler, Özgür B. Akan, Alioune Ngom (eds.) |
Transactions on Computational Systems Biology X |
T. Comp. Sys. Biology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami (eds.) |
Transactions on Computational Systems Biology IX |
T. Comp. Sys. Biology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Dematté, Corrado Priami, Alessandro Romanel |
The BlenX Language: A Tutorial. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Leye, Adelinde M. Uhrmacher, Corrado Priami |
A Bounded-Optimistic, Parallel Beta-Binders Simulator. |
DS-RT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Lecca, Corrado Priami |
Cell Cycle Control in Eukaryotes: A BioSpi model. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Alessandro Romanel |
The Decidability of the Structural Congruence for Beta-binders. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa |
Control Flow Analysis for BioAmbients. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Corrado Priami |
Biological Transactions for Quantitative Models. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami (eds.) |
Transactions on Computational Systems Biology VIII |
T. Comp. Sys. Biology |
2007 |
DBLP BibTeX RDF |
|
| 1 | Corrado Priami |
Computational Thinking in Biology. |
T. Comp. Sys. Biology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Dematté, Corrado Priami, Alessandro Romanel |
BetaWB: modelling and simulating biological processes. |
SCSC |
2007 |
DBLP DOI BibTeX RDF |
systems biology, stochastic simulation, process calculi |
| 1 | Linda Brodo, Pierpaolo Degano, Corrado Priami |
A Stochastic Semantics for BioAmbients. |
PaCT |
2007 |
DBLP DOI BibTeX RDF |
Stochastic Operational Semantics, Systems Biology, Process Calculi |
| 1 | Maria Luisa Guerriero, John K. Heath, Corrado Priami |
An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. |
CMSB |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun S. Soyer |
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways. |
CMSB |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel |
Modeling Static Biological Compartments with Beta-binders. |
AB |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Eccher, Corrado Priami |
Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus. |
Bioinformatics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia |
Beta-binders for Biological Quantitative Experiments. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami |
Process Calculi and Life Science. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson (eds.) |
Transactions on Computational Systems Biology VII |
T. Comp. Sys. Biology |
2006 |
DBLP BibTeX RDF |
|
| 1 | Corrado Priami, Luca Cardelli, Stephen Emmott (eds.) |
Transactions on Computational Systems Biology IV |
T. Comp. Sys. Biology |
2006 |
DBLP BibTeX RDF |
|
| 1 | Corrado Priami, Xiaohua Hu, Yi Pan, Tsau Young Lin (eds.) |
Transactions on Computational Systems Biology V |
T. Comp. Sys. Biology |
2006 |
DBLP BibTeX RDF |
|
| 1 | Corrado Priami, Gordon D. Plotkin (eds.) |
Transactions on Computational Systems Biology VI |
T. Comp. Sys. Biology |
2006 |
DBLP BibTeX RDF |
|
| 1 | Radu Mardare, Corrado Priami |
Decidable Extensions of Hennessy-Milner Logic. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher (eds.) |
Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006 |
Simulation and Verification of Dynamic Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde Uhrmacher |
Developing An Hierarchical Simulator for Beta-binders. |
PADS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami (eds.) |
Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings |
CMSB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
Checking security policies through an enhanced Control Flow Analysis. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
Authentication primitives for secure protocol specifications. |
Future Generation Comp. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami |
Performance Evaluation of Security Protocols Specified in LySa. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami |
A Quantitative Study of Two Attacks. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mardare, Corrado Priami |
Logical Analysis of Biological Systems. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Davide Prandi, Corrado Priami, Paola Quaglia |
Process Calculi in a Biological Context. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Corrado Priami, Emanuela Merelli, Pedro Pablo Gonzalez, Andrea Omicini (eds.) |
Transactions on Computational Systems Biology III |
T. Comp. Sys. Biology |
2005 |
DBLP BibTeX RDF |
|
| 1 | Corrado Priami, Paola Quaglia |
Operational Patterns in Beta-Binders. |
T. Comp. Sys. Biology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Corrado Priami, Paola Quaglia |
Modeling Kohn Interaction Maps with Beta-Binders: An Example. |
T. Comp. Sys. Biology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami (eds.) |
Transactions on Computational Systems Biology I |
T. Comp. Sys. Biology |
2005 |
DBLP BibTeX RDF |
|
| 1 | Corrado Priami, Alexander Zelikovsky (eds.) |
Transactions on Computational Systems Biology II |
T. Comp. Sys. Biology |
2005 |
DBLP BibTeX RDF |
|
| 1 | Corrado Priami, Paola Quaglia (eds.) |
Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers |
Global Computing |
2005 |
DBLP BibTeX RDF |
|
| 1 | Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami |
On Evaluating the Performance of Security Protocols. |
PaCT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Adelinde Uhrmacher, Corrado Priami |
Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS. |
Winter Simulation Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami |
Preface to the special issue on Security in global computing. |
Int. J. Inf. Sec. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Curti, Pierpaolo Degano, Corrado Priami, Cosima Tatiana Baldari |
Modelling biochemical pathways through enhanced pi-calculus. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami |
Prefac. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Lecca, Corrado Priami, Paola Quaglia, B. Rossi, Carlo Laudanna, G. Constantin |
A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment. |
Simulation |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mardare, Corrado Priami |
A Logical Approach to Security in the Context of Ambient Calculus. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Katerina Pokozy-Korenblat, Corrado Priami |
Toward Extracting ?-calculus from UML Sequence and State Diagrams. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Paola Quaglia |
Modelling the dynamics of biosystems. |
Briefings in Bioinformatics |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Lecca, Corrado Priami, Carlo Laudanna, G. Constantin |
A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules. |
Pacific Symposium on Biocomputing |
2004 |
DBLP BibTeX RDF |
|
| 1 | Paola Lecca, Corrado Priami, Carlo Laudanna, G. Constantin |
Predicting cell adhesion probability via the biochemical stochastic pi-calculus. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
Stochastic ?-calculus, cell adhesion mechanics, formal models J@process algebra, lymphocyte recruitment, concurrency theory |
| 1 | Katerina Pokozy-Korenblat, Corrado Priami, Paola Quaglia |
Performance Analysis of a UML Micro-business Case Study. |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin |
Model Checking Biological Systems Described Using Ambient Calculus. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami, Paola Quaglia |
Beta Binders for Biological Interactions. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Fabio Gadducci, Corrado Priami |
Causality and Replication in Concurrent Processes. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
Authentication Primitives for Protocol Specifications. |
PaCT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami (eds.) |
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 |
2003 |
DBLP BibTeX RDF |
|
| 1 | Linda Brodo, Pierpaolo Degano, Corrado Priami |
Reflecting Mobile Ambients into the p-Calculus. |
Global Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami |
Performance Evaluation for Global Computation. |
Global Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami (eds.) |
Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings |
CMSB |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pierpaolo Degano, Corrado Priami |
Enhanced Operational Semantics in Systems Biology. |
CMSB |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami |
Simulation and verification I: design environments for complex systems. |
Winter Simulation Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Fabio Gadducci, Corrado Priami |
A causal semantics for CCS via rewriting logic. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
Primitives for authentication in process algebras. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Corrado Priami |
Language-based Performance Prediction for Distributed and Mobile Systems. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Nottegar, Corrado Priami, Pierpaolo Degano |
Performance Evaluation of Mobile Processes via Abstract Machines. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
Calculi for mobility, enhanced operational semantics, formal methodology, performance evaluation, stochastic models |
| 1 | Corrado Priami, Aviv Regev, Ehud Y. Shapiro, William Silverman |
Application of a stochastic name-passing calculus to representation and simulation of molecular processes. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
Names of the -calculus agents handled locally. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Corrado Priami |
Enhanced operational semantics. |
ACM Comput. Surv. |
2001 |
DBLP DOI BibTeX RDF |
process algebra, parametric models |
| 1 | Linda Brodo, Pierpaolo Degano, Corrado Priami |
A tool for quantitative analysis of calculus processes. |
ICALP Satellite Workshops |
2000 |
DBLP BibTeX RDF |
|
| 1 | Corrado Priami, Ugo Solitro |
Functional features of a calculus for logic and concurrency. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pierpaolo Degano, Corrado Priami |
Non-Interleaving Semantics for Mobile Processes. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")