Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Paolo Zuliani.

Newcastle AuthorsTitleYearFull text
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 conditions2022
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 flow2021
Konstantinos Georgopoulos
Dr Clive Emary
Dr Paolo Zuliani
Comparison of quantum-walk implementations on noisy intermediate-scale quantum computers2021
Konstantinos Georgopoulos
Dr Clive Emary
Dr Paolo Zuliani
Modeling and simulating the noisy behavior of near-term quantum computers2021
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 phototherapy2021
Dr Fedor Shmarov
Dr Sadegh Soudjani
Dr Paolo Zuliani
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems2020
Mariia Vasileva
Dr Fedor Shmarov
Dr Paolo Zuliani
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes2020
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 communities2019
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 growth2019
Dr Bowen Li
Dr Paolo Zuliani
Professor Thomas Curtis
Dr Jinju Chen
Modelling bacterial twitching in fluid flows: a CFD-DEM approach2019
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 Communities2019
Lewis Grozinger
Ruud Stoof
Dr Harold Fellermann
Dr Paolo Zuliani
Dr Angel Goni-Moreno
et al.
Pathways to cellular supremacy in biocomputing2019
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 deformation2018
Jeremy Revell
Dr Paolo Zuliani
Stochastic Rate Parameter Inference Using the Cross-Entropy Method2018
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 communities2017
Linda Anticoli
Dr Paolo Zuliani
Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains2017
Dr Fedor Shmarov
Dr Paolo Zuliani
SMT-based synthesis of safe and robust PID controllers for stochastic hybrid systems2017
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 visualisation2016
Dr Paolo Zuliani
High-level modeling and verification of cellular signaling2016
Fedor Shmarov
Dr Paolo Zuliani
Probabilistic hybrid systems verification via SMT and Monte Carlo techniques2016
Fedor Shmarov
Dr Paolo Zuliani
SMT-based reasoning for uncertain hybrid domains2016
Linda Anticoli
Dr Paolo Zuliani
Towards Quantum Programs Verification: From Quipper Circuits to QPMC2016
Dr Curtis Madsen
Dr Fedor Shmarov
Dr Paolo Zuliani
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models2015
Dr Fedor Shmarov
Dr Paolo Zuliani
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems2015
Dr Paolo Zuliani
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems2015
Dr Paolo Zuliani
Statistical model checking for biological applications2015
Dr Paolo Zuliani
Towards personalized prostate cancer therapy using delta-reachability analysis2015
Dr Paolo Zuliani
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions2014
Julija Rusakovica
Dr Jennifer Hallinan
Professor Anil Wipat
Dr Paolo Zuliani
Probabilistic Latent Semantic Analysis Applied to Whole Bacterial Genomes Identifies Common Genomic Features2014
Dr Paolo Zuliani
Bayesian statistical model checking with application to Stateflow/Simulink verification2013
Dr Paolo Zuliani
Model checking of a synchronous diabetes-cancer logical network2013
Dr Paolo Zuliani
Model checking for studying timing of events in T cell differentiation2012
Dr Paolo Zuliani
Rare-event verification for stochastic hybrid systems2012
Dr Paolo Zuliani
Statistical model checking for Markov decision processes2012
Dr Paolo Zuliani
Analog circuit verification by statistical model checking2011
Dr Paolo Zuliani
Formal analysis for logical models of pancreatic cancer2011
Dr Paolo Zuliani
Model checking of a diabetes-cancer model2011
Dr Paolo Zuliani
Statistical model checking for cyber-physical systems2011
Dr Paolo Zuliani
Symbolic model checking of signaling pathways in pancreatic cancer2011
Dr Paolo Zuliani
Analysis and verification of the HMGB1 signaling pathway2010
Dr Paolo Zuliani
Bayesian statistical model checking with application to Simulink/Stateflow verification2010
Dr Paolo Zuliani
Statistical verification of probabilistic properties with unbounded Until2010
Dr Paolo Zuliani
A Bayesian Approach to Model Checking Biological Systems2009
Dr Paolo Zuliani
Reasoning about faulty quantum programs2009
Dr Paolo Zuliani
A formal derivation of Grover's quantum search algorithm2007
Dr Paolo Zuliani
An Empirical Exploration of the Distributions of theChidamber and Kemerer Object-Oriented Metrics Suite2005
Dr Paolo Zuliani
Compiling quantum programs2005
Dr Paolo Zuliani
On counterfactual computation2005
Dr Paolo Zuliani
Quantum programming with mixed states2005
Dr Paolo Zuliani
Non-deterministic quantum programming2004
Dr Paolo Zuliani
Logical Reversibility2001