Publications by Dr Paolo Zuliani - ePrints

Browsing publications by Dr Paolo Zuliani.

Newcastle Authors	Title	Year
Dr Bowen Li Dr Paolo Zuliani Professor Thomas Curtis	Cooperation between autotrophic and heterotrophic denitrifiers under low C/N ratios revealed by individual-based modelling	2024
Dr Yuqing Xia Dr Bowen Li Dr Paolo Zuliani Professor David Deehan Dr Jinju Chen et al.	Coupled CFD-DEM modelling to predict how EPS affects bacterial biofilm deformation, recovery and detachment under flow conditions	2022
Dr Fedor Shmarov Dr Graham Smith Dr Sophie Weatherhead Professor Nick Reynolds Dr Paolo Zuliani et al.	Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis	2022
Dr Yuqing Xia Dr Bowen Li Dr Paolo Zuliani Dr Jinju Chen	CFD-DEM modelling of biofilm streamer oscillations and their cohesive failure in fluid flow	2021
Konstantinos Georgopoulos Dr Clive Emary Dr Paolo Zuliani	Comparison of quantum-walk implementations on noisy intermediate-scale quantum computers	2021
Konstantinos Georgopoulos Dr Clive Emary Dr Paolo Zuliani	Modeling and simulating the noisy behavior of near-term quantum computers	2021
Dr Nina Wilson Dr Fedor Shmarov Dr Paolo Zuliani Professor Nick Reynolds Dr Sophie Weatherhead et al.	The use of psoriasis biomarkers, including trajectory of clinical response, to predict clearance and remission duration to UVB phototherapy	2021
Dr Fedor Shmarov Dr Sadegh Soudjani Dr Paolo Zuliani	Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems	2020
Mariia Vasileva Dr Fedor Shmarov Dr Paolo Zuliani	Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes	2020
Dr Oluwole Oyebamiji Professor Darren Wilkinson Dr Bowen Li Dr Paolo Zuliani Professor Thomas Curtis et al.	Bayesian emulation and calibration of an individual-based model of microbial communities	2019
Dr Valentina Gogulancea Dr Rebeca Gonzalez-Cabaleiro Dr Bowen Li Dr Denis Taniguchi Dr Jinju Chen et al.	Individual based model links thermodynamics, chemical speciation and environmental conditions to microbial growth	2019
Dr Bowen Li Dr Paolo Zuliani Professor Thomas Curtis Dr Jinju Chen	Modelling bacterial twitching in fluid flows: a CFD-DEM approach	2019
Dr Bowen Li Dr Denis Taniguchi Dr Jayathilake Pahala Gedara Dr Valentina Gogulancea Dr Rebeca Gonzalez-Cabaleiro et al.	NUFEB: A Massively Parallel Simulator for Individual-based Modelling of Microbial Communities	2019
Dr Lewis Grozinger Ruud Stoof Dr Harold Fellermann Dr Paolo Zuliani Dr Angel Goni-Moreno et al.	Pathways to cellular supremacy in biocomputing	2019
Dr Oluwole Oyebamiji Professor Darren Wilkinson Dr Jayathilake Pahala Gedara Professor Stephen Rushton Dr Bowen Li et al.	A Bayesian approach to modelling the impact of hydrodynamic shear stress on biofilm deformation	2018
Jeremy Revell Dr Paolo Zuliani	Stochastic Rate Parameter Inference Using the Cross-Entropy Method	2018
Dr Jayathilake Pahala Gedara Dr Prashant Gupta Dr Bowen Li Dr Curtis Madsen Dr Oluwole Oyebamiji et al.	A mechanistic individual-based model of microbial communities	2017
Linda Anticoli Dr Paolo Zuliani	Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains	2017
Dr Fedor Shmarov Dr Paolo Zuliani	SMT-based synthesis of safe and robust PID controllers for stochastic hybrid systems	2017
Dr Goksel Misirli Dr Curtis Madsen Owen Gilfellon Dr Paolo Zuliani Professor Anil Wipat et al.	Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualisation	2016
Dr Paolo Zuliani	High-level modeling and verification of cellular signaling	2016
Fedor Shmarov Dr Paolo Zuliani	Probabilistic hybrid systems verification via SMT and Monte Carlo techniques	2016
Fedor Shmarov Dr Paolo Zuliani	SMT-based reasoning for uncertain hybrid domains	2016
Linda Anticoli Dr Paolo Zuliani	Towards Quantum Programs Verification: From Quipper Circuits to QPMC	2016
Dr Curtis Madsen Dr Fedor Shmarov Dr Paolo Zuliani	BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models	2015
Dr Fedor Shmarov Dr Paolo Zuliani	ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems	2015
Dr Paolo Zuliani	SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems	2015
Dr Paolo Zuliani	Statistical model checking for biological applications	2015
Dr Paolo Zuliani	Towards personalized prostate cancer therapy using delta-reachability analysis	2015
Dr Paolo Zuliani	Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions	2014
Julija Rusakovica Dr Jennifer Hallinan Professor Anil Wipat Dr Paolo Zuliani	Probabilistic Latent Semantic Analysis Applied to Whole Bacterial Genomes Identifies Common Genomic Features	2014
Dr Paolo Zuliani	Bayesian statistical model checking with application to Stateflow/Simulink verification	2013
Dr Paolo Zuliani	Model checking of a synchronous diabetes-cancer logical network	2013
Dr Paolo Zuliani	Model checking for studying timing of events in T cell differentiation	2012
Dr Paolo Zuliani	Rare-event verification for stochastic hybrid systems	2012
Dr Paolo Zuliani	Statistical model checking for Markov decision processes	2012
Dr Paolo Zuliani	Analog circuit verification by statistical model checking	2011
Dr Paolo Zuliani	Formal analysis for logical models of pancreatic cancer	2011
Dr Paolo Zuliani	Model checking of a diabetes-cancer model	2011
Dr Paolo Zuliani	Statistical model checking for cyber-physical systems	2011
Dr Paolo Zuliani	Symbolic model checking of signaling pathways in pancreatic cancer	2011
Dr Paolo Zuliani	Analysis and verification of the HMGB1 signaling pathway	2010
Dr Paolo Zuliani	Bayesian statistical model checking with application to Simulink/Stateflow verification	2010
Dr Paolo Zuliani	Statistical verification of probabilistic properties with unbounded Until	2010
Dr Paolo Zuliani	A Bayesian Approach to Model Checking Biological Systems	2009
Dr Paolo Zuliani	Reasoning about faulty quantum programs	2009
Dr Paolo Zuliani	A formal derivation of Grover's quantum search algorithm	2007
Dr Paolo Zuliani	An Empirical Exploration of the Distributions of theChidamber and Kemerer Object-Oriented Metrics Suite	2005
Dr Paolo Zuliani	Compiling quantum programs	2005
Dr Paolo Zuliani	On counterfactual computation	2005
Dr Paolo Zuliani	Quantum programming with mixed states	2005
Dr Paolo Zuliani	Non-deterministic quantum programming	2004
Dr Paolo Zuliani	Logical Reversibility	2001