Corrado Priami

According to our database1, Corrado Priami
  • authored at least 126 papers between 1991 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks.
IEEE/ACM Trans. Comput. Biology Bioinform., 2017

2016
HRSSA - Efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks.
J. Comput. Physics, 2016

2015
Qualitative and Quantitative Protein Complex Prediction Through Proteome-Wide Simulations.
PLoS Computational Biology, 2015

SCUDO: a tool for signature-based clustering of expression profiles.
Nucleic Acids Research, 2015

ℓ: An Imperative DSL to Stochastically Simulate Biological Systems.
Proceedings of the Programming Languages with Applications to Biology and Security, 2015

Pierpaolo Degano.
Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014
Graphical Modeling Tools for Systems Biology.
ACM Comput. Surv., 2014

2013
Inference of Autism-Related Genes by Integrating Protein-Protein Interactions and miRNA-Target Interactions.
Proceedings of the Knowledge and Systems Engineering, 2013

2012
Algorithmic Systems Biology - Computer Science Propels Systems Biology.
Proceedings of the Handbook of Natural Computing, 2012

Inferring biochemical reaction pathways: the case of the gemcitabine pharmacokinetics.
BMC Systems Biology, 2012

A Rule-Based and Imperative Language for Biochemical Modeling and Simulation.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Algorithmic Systems Ecology: Experiments on Multiple Interaction Types and Patches.
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

An imperative language of self-modifying graphs for biological systems.
Proceedings of the ACM Symposium on Applied Computing, 2012

2011
Formal Methods in Molecular Biology (Dagstuhl Seminar 11151).
Dagstuhl Reports, 2011

Model-based clustering reveals vitamin D dependent multi-centrality hubs in a network of vitamin-related proteins.
BMC Systems Biology, 2011

Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer.
Proceedings of the 13th UKSim-AMSS International Conference on Computer Modelling and Simulation, Cambridge University, Emmanuel College, Cambridge, UK, 30 March, 2011

Poster: Modelling the tumor shrinkage pharmacodynamics with BlenX.
Proceedings of the IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences, 2011

2010
Modelling Self-assembly in BlenX.
Trans. Computational Systems Biology, 2010

On the computational power of BlenX.
Theor. Comput. Sci., 2010

Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient.
J. Integrative Bioinformatics, 2010

BlenX-based compositional modeling of complex reaction mechanisms
Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

Snazer: the simulations and networks analyzer.
BMC Systems Biology, 2010

Composability: Perspectives in Ecological Modeling.
Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010

2009
Exploiting non-Markovian Bio-Processes.
Electr. Notes Theor. Comput. Sci., 2009

Algorithmic systems biology.
Commun. ACM, 2009

Narrative-based computational modelling of the Gp130/JAK/STAT signalling pathway.
BMC Systems Biology, 2009

Elucidation of functional consequences of signalling pathway interactions.
BMC Bioinformatics, 2009

Deducing Chemical Reaction Rate Constants and Their Regions of Confidence from Noisy Measurements of Time Series of Concentration.
Proceedings of the UKSim'11, 2009

A new probabilistic generative model of parameter inference in biochemical networks.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

From ODES to Language-Based, Executable Models of Biological Systems.
Proceedings of the Biocomputing 2009: Proceedings of the Pacific Symposium, 2009

09091 Executive Summary - Formal Methods in Molecular Biology.
Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009

09091 Abstracts Collection - Formal Methods in Molecular Biology.
Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009

BlenX Static and Dynamic Semantics.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

BlenX4Bio - BlenX for Biologists.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Visualization in process algebra models of biological systems.
Proceedings of the Fourth Paradigm: Data-Intensive Scientific Discovery, 2009

2008
On the decidability and complexity of the structural congruence for beta-binders.
Theor. Comput. Sci., 2008

Preface.
Theor. Comput. Sci., 2008

Evolving BlenX programs to simulate the evolution of biological networks.
Theor. Comput. Sci., 2008

An Automatic Translation of SBML into Beta-Binders.
IEEE/ACM Trans. Comput. Biology Bioinform., 2008

Modelling and simulation of biological processes in BlenX.
SIGMETRICS Performance Evaluation Review, 2008

Communicating by compatibility.
J. Log. Algebr. Program., 2008

Towards the integration of computational systems biology and high-throughput data: supporting differential analysis of microarray gene expression data.
J. Integrative Bioinformatics, 2008

The Beta Workbench: a computational tool to study the dynamics of biological systems.
Briefings in Bioinformatics, 2008

The BlenX Language: A Tutorial.
Proceedings of the Formal Methods for Computational Systems Biology, 2008

A Bounded-Optimistic, Parallel Beta-Binders Simulator.
Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

2007
Computational Thinking in Biology.
Trans. Computational Systems Biology, 2007

The Decidability of the Structural Congruence for Beta-binders.
Electr. Notes Theor. Comput. Sci., 2007

Control Flow Analysis for BioAmbients.
Electr. Notes Theor. Comput. Sci., 2007

Cell Cycle Control in Eukaryotes: A BioSpi model.
Electr. Notes Theor. Comput. Sci., 2007

Biological Transactions for Quantitative Models.
Electr. Notes Theor. Comput. Sci., 2007

BetaWB: modelling and simulating biological processes.
Proceedings of the 2007 Summer Computer Simulation Conference, 2007

A Stochastic Semantics for BioAmbients.
Proceedings of the Parallel Computing Technologies, 2007

An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

A Formal and Integrated Framework to Simulate Evolution of Biological Pathways.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

Modeling Static Biological Compartments with Beta-binders.
Proceedings of the Algebraic Biology, Second International Conference, 2007

2006
Process Calculi and Life Science.
Electr. Notes Theor. Comput. Sci., 2006

Beta-binders for Biological Quantitative Experiments.
Electr. Notes Theor. Comput. Sci., 2006

Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus.
Bioinformatics, 2006

Developing An Hierarchical Simulator for Beta-binders.
Proceedings of the 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, 2006

Decidable Extensions of Hennessy-Milner Logic.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

06161 Executive Summary -- Simulation and Verification of Dynamic Systems.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

2005
Operational Patterns in Beta-Binders.
Trans. Computational Systems Biology, 2005

Modeling Kohn Interaction Maps with Beta-Binders: An Example.
, 2005

Checking security policies through an enhanced Control Flow Analysis.
Journal of Computer Security, 2005

Logical Analysis of Biological Systems.
Fundam. Inform., 2005

Authentication primitives for secure protocol specifications.
Future Generation Comp. Syst., 2005

A Quantitative Study of Two Attacks.
Electr. Notes Theor. Comput. Sci., 2005

Performance Evaluation of Security Protocols Specified in LySa.
Electr. Notes Theor. Comput. Sci., 2005

Process Calculi in a Biological Context.
Bulletin of the EATCS, 2005

Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS.
Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

On Evaluating the Performance of Security Protocols.
Proceedings of the Parallel Computing Technologies, 2005

2004
Prefac.
Theor. Comput. Sci., 2004

Modelling biochemical pathways through enhanced pi-calculus.
Theor. Comput. Sci., 2004

A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment.
Simulation, 2004

Preface to the special issue on Security in global computing.
Int. J. Inf. Sec., 2004

Toward Extracting ?-calculus from UML Sequence and State Diagrams.
Electr. Notes Theor. Comput. Sci., 2004

A Logical Approach to Security in the Context of Ambient Calculus.
Electr. Notes Theor. Comput. Sci., 2004

Modelling the dynamics of biosystems.
Briefings in Bioinformatics, 2004

Predicting cell adhesion probability via the biochemical stochastic pi-calculus.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules.
Proceedings of the Biocomputing 2004, 2004

Performance Analysis of a UML Micro-business Case Study.
Proceedings of the Global Computing, IST/FET International Workshop, 2004

Beta Binders for Biological Interactions.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

Model Checking Biological Systems Described Using Ambient Calculus.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003
Simulation and verification I: design environments for complex systems.
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Authentication Primitives for Protocol Specifications.
Proceedings of the Parallel Computing Technologies, 2003

Reflecting Mobile Ambients into the p-Calculus.
Proceedings of the Global Computing. Programming Environments, 2003

Performance Evaluation for Global Computation.
Proceedings of the Global Computing. Programming Environments, 2003

Causality and Replication in Concurrent Processes.
Proceedings of the Perspectives of Systems Informatics, 2003

Enhanced Operational Semantics in Systems Biology.
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002
A causal semantics for CCS via rewriting logic.
Theor. Comput. Sci., 2002

Primitives for authentication in process algebras.
Theor. Comput. Sci., 2002

Language-based Performance Prediction for Distributed and Mobile Systems.
Inf. Comput., 2002

2001
Performance Evaluation of Mobile Processes via Abstract Machines.
IEEE Trans. Software Eng., 2001

Names of the -calculus agents handled locally.
Theor. Comput. Sci., 2001

Application of a stochastic name-passing calculus to representation and simulation of molecular processes.
Inf. Process. Lett., 2001

Enhanced operational semantics.
ACM Comput. Surv., 2001

2000
Functional features of a calculus for logic and concurrency.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

A tool for quantitative analysis of calculus processes.
ICALP Satellite Workshops, 2000

1999
Non-Interleaving Semantics for Mobile Processes.
Theor. Comput. Sci., 1999

Operational Methods in Theoretical Computer Science.
ACM Comput. Surv., 1999

Causality for Debugging Mobile Agents.
Acta Inf., 1999

Semantic-Driven Performance Evaluation (Extended Abstract).
Proceedings of the Fundamental Approaches to Software Engineering, 1999

Authentication via Localized Names.
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1998
LR Techniques for Handling Syntax Errors.
Comput. Lang., 1998

Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.
Proceedings of the Static Analysis, 5th International Symposium, 1998

1997
True Concurrency via Abstract Interpretation.
Proceedings of the Static Analysis, 4th International Symposium, 1997

1996
Automatic Verification of Distributed Systems: The Process Algebra Approach.
Formal Methods in System Design, 1996

Enhanced Operational Semantics.
ACM Comput. Surv., 1996

Understanding Mobile Agents via a Non-Interleaving Semantics for Facile.
Proceedings of the Static Analysis, Third International Symposium, 1996

Analysis of Facile Programs: A Case Study.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Mobile Processes with Local Clocks.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Mobile Processes with a Distributed Environment.
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

Integrating Behavioural and Performance Analysis with Topology Information.
Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

1995
Comparison of Syntactic Error Handling in LR Parsers.
Softw., Pract. Exper., 1995

Stochastic pi-Calculus.
Comput. J., 1995

An Efficient Verifier of Truly Concurrent Properties.
Proceedings of the Parallel Computing Technologies, 1995

Causality for Mobile Processes.
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Complexity as a Basis for Comparing Semantic Models of Concurrency.
Proceedings of the Algorithms, 1995

A Transitional Semantics of Full Prolog.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Automatizing Parametric Reasoning on Distributed Concurrent Systems.
Formal Asp. Comput., 1994

Read-Write Causality.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1993
Generating the analytic component parts of syntax-directed editors with efficient-error recovery.
Journal of Systems and Software, 1993

Extended Transition Systems for Parametric Bisimulation.
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992
Proved Trees.
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991
Evaluation of Tools for the Analysis of Communicating Systems.
Bulletin of the EATCS, 1991


  Loading...