Cliff B Jones

Cliff B Jones

Newcastle University

H-index: 45

Europe-United Kingdom

About Cliff B Jones

Cliff B Jones, With an exceptional h-index of 45 and a recent h-index of 18 (since 2020), a distinguished researcher at Newcastle University, specializes in the field of Formal Methods, Semantics, Concurrency, Support tools, History.

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

Longitudinal Importance of the Soluble Receptor for Advanced Glycation End-products in COVID-19 Pneumonia

Rapidly Improving Acute Respiratory Distress Syndrome: Clinical and Biologic Features

Molecular Phenotypes of ARDS in the ROSE Trial have Differential Outcomes and Gene Expression Patterns That Differ at Baseline and Longitudinally Over Time

Specifying and reasoning about shared-variable concurrency

Optical coherence tomography angiography, artificial intelligence, and the missing capillaries (vol 141, pg 649, 2023)

Association of SARS-CoV-2 nucleocapsid viral antigen and the receptor for advanced glycation end products with development of severe disease in patients presenting to the …

Effects of the circulating environment of COVID-19 on platelet and neutrophil behavior

Extending rely-guarantee thinking to handle real-time scheduling

Cliff B Jones Information

University

Position

Professor of Computing Science UK

Citations(all)

17413

Citations(since 2020)

1859

Cited By

18501

hIndex(all)

45

hIndex(since 2020)

18

i10Index(all)

155

i10Index(since 2020)

36

Email

University Profile Page

Newcastle University

Google Scholar

View Google Scholar Profile

Cliff B Jones Skills & Research Interests

Formal Methods

Semantics

Concurrency

Support tools

History

Top articles of Cliff B Jones

Title

Journal

Author(s)

Publication Date

Longitudinal Importance of the Soluble Receptor for Advanced Glycation End-products in COVID-19 Pneumonia

KD Wick

L Siegel

C Oldmixon

J Lundgren

BT Thompson

...

2024/5

Rapidly Improving Acute Respiratory Distress Syndrome: Clinical and Biologic Features

Respiratory Research

Evdokia Gavrielatou

Katerina Vaporidi

Vasiliki Tsolaki

Nikos Tserlikakis

George E Zakynthinos

...

2022/4/14

Molecular Phenotypes of ARDS in the ROSE Trial have Differential Outcomes and Gene Expression Patterns That Differ at Baseline and Longitudinally Over Time

American Journal of Respiratory and Critical Care Medicine

Pratik Sinha

Lucile Neyton

Aartik Sarma

Nelson Wu

Chayse Jones

...

2024/2/12

Specifying and reasoning about shared-variable concurrency

Ian J Hayes

Cliff B Jones

Larissa A Meinicke

2023/9/8

Optical coherence tomography angiography, artificial intelligence, and the missing capillaries (vol 141, pg 649, 2023)

JAMA ophthalmology

Amir H Kashani

TY Alvin Liu

Craig Jones

2023/7/1

Association of SARS-CoV-2 nucleocapsid viral antigen and the receptor for advanced glycation end products with development of severe disease in patients presenting to the …

Frontiers in Immunology

Zachary A Matthay

Alexander T Fields

Katherine D Wick

Chayse Jones

H Clifford Lane

...

2023/3/21

Effects of the circulating environment of COVID-19 on platelet and neutrophil behavior

Frontiers in Immunology

Alexander T Fields

Elizabeth A Andraska

Christof Kaltenmeier

Zachary A Matthay

Kimberly Herrera

...

2023/3/14

Extending rely-guarantee thinking to handle real-time scheduling

Formal Methods in System Design

Cliff B Jones

Alan Burns

2023/11/30

Three early formal approaches to the verification of concurrent programs

Minds and Machines

Cliff B Jones

2023/1/23

Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols

arXiv preprint arXiv:2311.15189

Nisansala P Yatapanage

Cliff B Jones

2023/11/26

Robert Lindsay Medcalf, Monash University, Australia

Rongbao Gao

Vijaya Knight

Zachary A Matthay

ZA Matthay

AT Fields

...

2023

Revisiting the ROSE Trial-Why Did Participants with ARDS Identified as Hispanic/Latino Have Lower Mortality When Randomized to Receive Early Neuromuscular Blockade?

K Sullivan

H Zhuo

KD Wick

C Jones

P Sinha

...

2022/5

Fire dynamics in an emerging deforestation frontier in Southwestern Amazonia, Brazil

Fire

Débora Joana Dutra

Liana Oighenstein Anderson

Philip Martin Fearnside

Paulo Maurício Lima de Alencastro Graça

Aurora Miho Yanai

...

2022/12/21

RXC008 suppresses fibrosis in a DSS model as measured by histopathology and magnetic resonance imaging

Peter Bunyard

Debby Laukens

Simon Bos

Adriana Gambardella

Cliff Jones

...

2022

Plasma SARS-CoV-2 nucleocapsid antigen levels are associated with progression to severe disease in hospitalized COVID-19

Critical Care

Katherine D Wick

Aleksandra Leligdowicz

Andrew Willmore

Sidney A Carrillo

Rajani Ghale

...

2022/9/14

Global guidelines for emergency general surgery

James Glasbey

Rachel Moore

A Ademuyiwa

A Adisa

B Biccard

...

2022

The development and deployment of formal methods in the UK

Formal Aspects of Computing

Cliff B Jones

Martyn Thomas

2022/7/6

An approach to formally specifying the behaviour of mixed-criticality systems

Alan Burns

Cliff Jones

2022/7/5

Latent Class Analysis-Derived Hypoinflammatory and Hyperinflammatory Phenotypes Are Generalisable to Sepsis Patients Requiring Intensive Care

P Sinha

J He

K Delucchi

H Zhuo

J Abbott

...

2022/5

Object-Orientation with Parallelism and Persistence (Dagstuhl Seminar 9514)

Burkhard Freitag

Clifford B Jones

Christian Lengauer

Hans-Jörg Schek

2021

See List of Professors in Cliff B Jones University(Newcastle University)

Co-Authors

H-index: 102
Edmund Clarke

Edmund Clarke

Carnegie Mellon University

H-index: 61
Jeannette M Wing

Jeannette M Wing

Columbia University in the City of New York

H-index: 51
Brian Randell

Brian Randell

Newcastle University

H-index: 46
Michael Butler

Michael Butler

University of Southampton

H-index: 35
Alexander Romanovsky

Alexander Romanovsky

Newcastle University

H-index: 33
Dines Bjorner

Dines Bjorner

Danmarks Tekniske Universitet

academic-engine