Paolo Zuliani

Paolo Zuliani

Newcastle University

H-index: 23

Europe-United Kingdom

About Paolo Zuliani

Paolo Zuliani, With an exceptional h-index of 23 and a recent h-index of 17 (since 2020), a distinguished researcher at Newcastle University, specializes in the field of Quantum Computation, Verification, Model Checking, Systems Biology.

His recent articles reflect a diverse array of research interests and contributions to the field:

Safe Reach Set Computation via Neural Barrier Certificates

Cooperation between autotrophic and heterotrophic denitrifiers under low C/N ratios revealed by individual-based modelling

Quantum Computing

Formal Verification of Quantum Programs: Theory, Tools, and Challenges

Computational Modelling of Immune Interaction and Epidermal Homeostasis in Psoriasis

ARCH-COMP23 Category report: stochastic models

Computational modelling to predict how extracellular polymeric substances production on biofilm mechanics and detachment

Barrier Certificates for a Computational Model of Epileptic Seizures

Paolo Zuliani Information

University

Position

Senior Lecturer (Associate Professor) School of Computing UK

Citations(all)

3264

Citations(since 2020)

1424

Cited By

2400

hIndex(all)

23

hIndex(since 2020)

17

i10Index(all)

50

i10Index(since 2020)

32

Email

University Profile Page

Newcastle University

Google Scholar

View Google Scholar Profile

Paolo Zuliani Skills & Research Interests

Quantum Computation

Verification

Model Checking

Systems Biology

Top articles of Paolo Zuliani

Title

Journal

Author(s)

Publication Date

Safe Reach Set Computation via Neural Barrier Certificates

arXiv preprint arXiv:2404.18813

Alessandro Abate

Sergiy Bogomolov

Alec Edwards

Kostiantyn Potomkin

Sadegh Soudjani

...

2024/4/29

Cooperation between autotrophic and heterotrophic denitrifiers under low C/N ratios revealed by individual-based modelling

Science of The Total Environment

Wei Xing

Daoqing Gao

Yan Wang

Bowen Li

Zexi Zhang

...

2024/2/21

Quantum Computing

Business & Information Systems Engineering

Michael Nofer

Kevin Bauer

Oliver Hinz

Wil van der Aalst

Christof Weinhardt

2023/8

Formal Verification of Quantum Programs: Theory, Tools, and Challenges

Marco Lewis

Sadegh Soudjani

Paolo Zuliani

2023/12/16

Computational Modelling of Immune Interaction and Epidermal Homeostasis in Psoriasis

bioRxiv

Dinika Paramalingam

Bowen Li

Nick J Reynolds

Paolo Zuliani

2023/2/23

ARCH-COMP23 Category report: stochastic models

Alessandro Abate

Henk Blom

Nathalie Cauchi

Joanna Delicaris

Sofie Haesaert

...

2023/10/18

Computational modelling to predict how extracellular polymeric substances production on biofilm mechanics and detachment

APS March Meeting Abstracts

Jinju Chen

Yuqing Xia

Jayathilake Pahala Gedara

Bowen Li

Paolo Zuliani

...

2023

Barrier Certificates for a Computational Model of Epileptic Seizures

John F Ingham

Yujiang Wang

Paolo Zuliani

Sadegh Soudjani

2023/10/1

Verification of Quantum Systems Using Barrier Certificates

Marco Lewis

Paolo Zuliani

Sadegh Soudjani

2023/9/15

Predicting partner fitness based on spatial structuring in a light-driven microbial community

PLOS Computational Biology

Jonathan K Sakkos

María Santos-Merino

Emmanuel J Kokarakis

Bowen Li

Miguel Fuentes-Cabrera

...

2023/5/3

730 Modelling altered cell proliferation and differentiation in psoriasis

Journal of Investigative Dermatology

D Paramalingam

B Li

N Reynolds

P Zuliani

2023/5/1

Edmund Melson Clarke, Jr.(1945–2020)

Formal Methods in System Design

Sicun Gao

Orna Grumberg

Paolo Zuliani

2022/6

Matrix Representation of Arbitrarily Controlled Quantum Gates

arXiv preprint arXiv:2205.02525

Marco Lewis

Sadegh Soudjani

Paolo Zuliani

2022/5/5

Modelling and optimisation of a DNA stack nano-device using probabilistic model checking

Bowen Li

Neil Mackenzie

Ben Shirt-Ediss

Natalio Krasnogor

Paolo Zuliani

2022

089 3D Computational Modelling of Immune Interaction and Epidermal Homeostasis in Psoriasis

Journal of Investigative Dermatology

D Paramalingam

B Li

NJ Reynolds

P Zuliani

2022/12/1

Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis

PLOS Computational Biology

Fedor Shmarov

Graham R Smith

Sophie C Weatherhead

Nick J Reynolds

Paolo Zuliani

2022/9/30

Coupled CFD‐DEM modeling to predict how EPS affects bacterial biofilm deformation, recovery and detachment under flow conditions

Biotechnology and Bioengineering

Yuqing Xia

Pahala G Jayathilake

Bowen Li

Paolo Zuliani

David Deehan

...

2022/9

Arch-comp21 category report: Stochastic models

Alessandro Abate

Henk Blom

Marc Bouissou

Nathalie Cauchi

Hassane Chraibi

...

2021/12/6

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

N Watson

N Wilson

F Shmarov

P Zuliani

NJ Reynolds

...

2021/11

Investigating the growth of an engineered strain of Cyanobacteria with an Agent-Based Model and a Recurrent Neural Network

bioRxiv

Jonathan Sakkos

Joe Weaver

Connor Robertson

Bowen Li

Denis Taniguchi

...

2021/10/12

See List of Professors in Paolo Zuliani University(Newcastle University)

Co-Authors

H-index: 102
Edmund Clarke

Edmund Clarke

Carnegie Mellon University

H-index: 49
James R Faeder

James R Faeder

University of Pittsburgh

H-index: 47
André Platzer

André Platzer

Carnegie Mellon University

H-index: 22
Sicun Gao

Sicun Gao

University of California, San Diego

H-index: 16
Haijun Gong, Ph.D.

Haijun Gong, Ph.D.

Saint Louis University

H-index: 8
Fedor Shmarov

Fedor Shmarov

Manchester University

academic-engine