Paolo Zuliani | Ricerc@Sapienza

Pubblicazioni

Titolo	Pubblicato in	Anno
Cooperation between autotrophic and heterotrophic denitrifiers under low C/N ratios revealed by individual-based modelling	SCIENCE OF THE TOTAL ENVIRONMENT	2024
Automated Verification of Silq Quantum Programs using SMT Solvers	Proceedings of QSW 2024: 3rd IEEE International Conference on Quantum Software	2024
T-Count Optimizing Genetic Algorithm for Quantum State Preparation	Proceedings of QSW 2024: 3rd IEEE International Conference on Quantum Software	2024
Safe Reach Set Computation via Neural Barrier Certificates	Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2024	2024
Predicting partner fitness based on spatial structuring in a light-driven microbial community	PLOS COMPUTATIONAL BIOLOGY	2023
Verification of Quantum Systems Using Barrier Certificates	Quantitative Evaluation of Systems	2023
Formal Verification of Quantum Programs: Theory, Tools and Challenges	ACM TRANSACTIONS ON QUANTUM COMPUTING	2023
Barrier Certificates for a Computational Model of Epileptic Seizures	2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)	2023
Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis	PLOS COMPUTATIONAL BIOLOGY	2022
Coupled CFD‐DEM modeling to predict how EPS affects bacterial biofilm deformation, recovery and detachment under flow conditions	BIOTECHNOLOGY AND BIOENGINEERING	2022
Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations	From Data to Models and Back	2022
Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking	28th International Conference on DNA Computing and Molecular Programming (DNA 28)	2022
Modeling and simulating the noisy behavior of near-term quantum computers	PHYSICAL REVIEW A	2021
The use of psoriasis biomarkers, including trajectory of clinical response, to predict clearance and remission duration to UVB phototherapy	JOURNAL OF THE EUROPEAN ACADEMY OF DERMATOLOGY AND VENEREOLOGY	2021
CFD–DEM modelling of biofilm streamer oscillations and their cohesive failure in fluid flow	BIOTECHNOLOGY AND BIOENGINEERING	2021
Comparison of quantum-walk implementations on noisy intermediate-scale quantum computers	PHYSICAL REVIEW A	2021
ARCH-COMP21 Category Report: Stochastic Models	8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)	2021
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems	IEEE ACCESS	2020
ARCH-COMP20 Category Report: Stochastic Models		2020
An Evaluation of Estimation Techniques for Probabilistic Verification	Verification and Evaluation of Computer and Communication Systems	2020