Paolo Zuliani
Orcid: 0000-0001-6033-5919
According to our database1,
Paolo Zuliani
authored at least 64 papers
between 2000 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Predicting partner fitness based on spatial structuring in a light-driven microbial community.
PLoS Comput. Biol., 2023
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
2022
Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis.
PLoS Comput. Biol., September, 2022
Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking.
Proceedings of the 28th International Conference on DNA Computing and Molecular Programming, 2022
2021
Proceedings of the From Data to Models and Back, 2021
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
2020
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems.
IEEE Access, 2020
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes.
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2019
NUFEB: A massively parallel simulator for individual-based modelling of microbial communities.
PLoS Comput. Biol., 2019
Bayesian emulation and calibration of an individual-based model of microbial communities.
J. Comput. Sci., 2019
2018
CoRR, 2018
Proceedings of the Computational Methods in Systems Biology, 2018
2017
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
CoRR, 2017
\mathtt Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains.
Proceedings of the New Frontiers in Quantitative Methods in Informatics, 2017
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2017
2016
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization.
Bioinform., 2016
Proceedings of the Reversible Computation - 8th International Conference, 2016
Proceedings of the Hardware and Software: Verification and Testing, 2016
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016
Proceedings of the Planning for Hybrid Systems, 2016
2015
Int. J. Softw. Tools Technol. Transf., 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems.
Proceedings of the Computational Methods in Systems Biology, 2015
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models.
Proceedings of the Computational Methods in Systems Biology, 2015
Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015
2014
Probabilistic Latent Semantic Analysis Applied to Whole Bacterial Genomes Identifies Common Genomic Features.
J. Integr. Bioinform., 2014
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty.
CoRR, 2014
CoRR, 2014
Proceedings of the Computational Methods in Systems Biology, 2014
2013
Bayesian statistical model checking with application to Stateflow/Simulink verification.
Formal Methods Syst. Des., 2013
Studies of biological networks with statistical model checking: application to immune system cells.
Proceedings of the ACM Conference on Bioinformatics, 2013
2012
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
2011
Proceedings of the Tools for Practical Software Verification, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer.
Proceedings of the ISCA 3rd International Conference on Bioinformatics and Computational Biology, 2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011
2010
Proceedings of the Formal Methods: Foundations and Applications, 2010
Bayesian statistical model checking with application to Simulink/Stateflow verification.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010
Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010
2009
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009
2007
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007
2005
An Empirical Exploration of the Distributions of the Chidamber and Kemerer Object-Oriented Metrics Suite.
Empir. Softw. Eng., 2005
Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005
Proceedings of the Unconventional Computation, 4th International Conference, 2005
Proceedings of the E-Government: Towards Electronic Democracy, International Conference, 2005
Proceedings of the 2005 National Conference on Digital Government Research, 2005
2003
Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003
2001
2000
Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000