Corrado Priami
Orcid: 0000-0002-3261-6235
According to our database1,
Corrado Priami
authored at least 140 papers
between 1991 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2023
Proceedings of the IEEE International Conference on Big Data, 2023
2022
Controlling astrocyte-mediated synaptic pruning signals for schizophrenia drug repurposing with deep graph networks.
PLoS Comput. Biol., 2022
Proceedings of the IEEE International Conference on Digital Health, 2022
2021
A robust computational pipeline for model-based and data-driven phenotype clustering.
Bioinform., 2021
2020
A Public Dataset of 24-h Multi-Levels Psycho-Physiological Responses in Young Healthy Adults.
Data, 2020
A comparison of deterministic and stochastic approaches for sensitivity analysis in computational systems biology.
Briefings Bioinform., 2020
High-Precision Biomedical Relation Extraction for Reducing Human Curation Efforts in Industrial Applications.
IEEE Access, 2020
2019
Efficient formulation of the rejection-based algorithm for biochemical reactions with delays.
Int. J. Bioinform. Res. Appl., 2019
Briefings Bioinform., 2019
2017
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-319-63111-0, 2017
Efficient Constant-Time Complexity Algorithm for Stochastic Simulation of Large Reaction Networks.
IEEE ACM Trans. Comput. Biol. Bioinform., 2017
Frontiers Appl. Math. Stat., 2017
Exploring the Limitations of Peripheral Blood Transcriptional Biomarkers in Predicting Influenza Vaccine Responsiveness.
Complex., 2017
HSimulator: Hybrid Stochastic/Deterministic Simulation of Biochemical Reaction Networks.
Complex., 2017
2016
HRSSA - Efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks.
J. Comput. Phys., 2016
2015
Qualitative and Quantitative Protein Complex Prediction Through Proteome-Wide Simulations.
PLoS Comput. Biol., 2015
Nucleic Acids Res., 2015
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
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
Proceedings of the Handbook of Natural Computing, 2012
Inferring biochemical reaction pathways: the case of the gemcitabine pharmacokinetics.
BMC Syst. Biol., 2012
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
2011
Model-based clustering reveals vitamin D dependent multi-centrality hubs in a network of vitamin-related proteins.
BMC Syst. Biol., 2011
Proceedings of the 13th UKSim-AMSS International Conference on Computer Modelling and Simulation, Cambridge University, Emmanuel College, Cambridge, UK, 30 March, 2011
Proceedings of the IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences, 2011
2010
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient.
J. Integr. Bioinform., 2010
Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010
Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010
2009
Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009
BMC Syst. Biol., 2009
BMC Bioinform., 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
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the Biocomputing 2009: Proceedings of the Pacific Symposium, 2009
Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009
Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009
Proceedings of the Algorithmic Bioprocesses, 2009
Proceedings of the Fourth Paradigm: Data-Intensive Scientific Discovery, 2009
2008
Theor. Comput. Sci., 2008
Theor. Comput. Sci., 2008
IEEE ACM Trans. Comput. Biol. Bioinform., 2008
SIGMETRICS Perform. Evaluation Rev., 2008
Towards the integration of computational systems biology and high-throughput data: supporting differential analysis of microarray gene expression data.
J. Integr. Bioinform., 2008
The Beta Workbench: a computational tool to study the dynamics of biological systems.
Briefings Bioinform., 2008
Proceedings of the Formal Methods for Computational Systems Biology, 2008
Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008
2007
Proceedings of the 2007 Summer Computer Simulation Conference, 2007
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
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007
Proceedings of the Algebraic Biology, Second International Conference, 2007
2006
Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006
Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006
Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006
Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus.
Bioinform., 2006
Proceedings of the 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, 2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006
2005
Trans. Comp. Sys. Biology, 2005
J. Comput. Secur., 2005
Future Gener. Comput. Syst., 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Process Calculi in a Biological Context.
Bull. 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
Proceedings of the Parallel Computing Technologies, 2005
2004
Theor. Comput. Sci., 2004
A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment.
Simul., 2004
Int. J. Inf. Sec., 2004
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Proceedings of the Biocomputing 2004, 2004
Proceedings of the Global Computing, IST/FET International Workshop, 2004
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004
2003
Proceedings of the Workshop on the Compositional Verification of UML Models, 2003
Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003
Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003
Proceedings of the Parallel Computing Technologies, 2003
Proceedings of the Global Computing. Programming Environments, 2003
Proceedings of the Global Computing. Programming Environments, 2003
Proceedings of the Perspectives of Systems Informatics, 2003
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003
2002
Inf. Comput., 2002
2001
IEEE Trans. Software Eng., 2001
Application of a stochastic name-passing calculus to representation and simulation of molecular processes.
Inf. Process. Lett., 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.
Proceedings of the ICALP Workshops 2000, 2000
1999
Proceedings of the Fundamental Approaches to Software Engineering, 1999
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999
1998
Proceedings of the Static Analysis, 5th International Symposium, 1998
1997
Proceedings of the Static Analysis, 4th International Symposium, 1997
1996
Formal Methods Syst. Des., 1996
Proceedings of the Static Analysis, Third International Symposium, 1996
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996
Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996
1995
Proceedings of the Parallel Computing Technologies, 1995
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995
Proceedings of the Algorithms, 1995
A Transitional Semantics of Full Prolog.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995
1994
Formal Aspects Comput., 1994
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994
1993
Generating the analytic component parts of syntax-directed editors with efficient-error recovery.
J. Syst. Softw., 1993
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993
1992
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
1991
Evaluation of Tools for the Analysis of Communicating Systems.
Bull. EATCS, 1991