CUFinder

Simon Docherty

About Simon Docherty

Simon Docherty, With an exceptional h-index of 8 and a recent h-index of 7 (since 2020), a distinguished researcher at University College London, specializes in the field of Logic, Theoretical Computer Science.

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

Reductive Logic, Proof-Search, and Coalgebra: A Perspective from Resource Semantics

A bunched logic for conditional independence

Provability in BI's Sequent Calculus is Decidable

Partially observable concurrent Kleene algebra

Simon Docherty Information

University

Position

___

Citations(all)

117

Citations(since 2020)

96

Cited By

68

hIndex(all)

8

hIndex(since 2020)

7

i10Index(all)

3

i10Index(since 2020)

2

Email

University Profile Page

Google Scholar

Simon Docherty Skills & Research Interests

Logic

Theoretical Computer Science

Top articles of Simon Docherty

Reductive Logic, Proof-Search, and Coalgebra: A Perspective from Resource Semantics

2023/8/2

Simon Docherty
Simon Docherty

H-Index: 5

A bunched logic for conditional independence

2021/6/29

Simon Docherty
Simon Docherty

H-Index: 5

Alexandra Silva
Alexandra Silva

H-Index: 19

Provability in BI's Sequent Calculus is Decidable

arXiv preprint arXiv:2103.02343

2021/3/3

Alexander Gheorghiu
Alexander Gheorghiu

H-Index: 1

Simon Docherty
Simon Docherty

H-Index: 5

Partially observable concurrent Kleene algebra

arXiv preprint arXiv:2007.07593

2020/7/15

Paul Brunet
Paul Brunet

H-Index: 7

Simon Docherty
Simon Docherty

H-Index: 5

Tobias Kappé
Tobias Kappé

H-Index: 7

Jurriaan Rot
Jurriaan Rot

H-Index: 11

Alexandra Silva
Alexandra Silva

H-Index: 19

See List of Professors in Simon Docherty University(University College London)