Concepedia

Joshua Holland

JH

2

Publications

60

Citations

2

H-Index

2017

Active since

Affiliations

University of Southampton(Current)

Joshua Holland is an author at University of Southampton specializing in formal verification, engineering, and automated reasoning.

Top concepts

Publications per year

2017–2019

2

Publications

2

Diagrammatic algebra: from linear to concurrent systems

Filippo Bonchi, Joshua Holland, Robin Piedeleu et al. · Proceedings of the ACM on Programming Languages · 2019 · 50 citations · Full text

, , +11

Refinement for Signal Flow Graphs

Filippo Bonchi, Joshua Holland, Duško Pavlović et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 10 citations · Full text

Rows per page

1–2 of 2