Concepedia

Jonathan Hayman

JH

Statistics

Publications

4

Citations

125

H-Index

4

Active since

2006

Affiliations

Université Paris Cité(Current)

Laboratory Preuves, Programmes et Systèmes

University of Cambridge

Jonathan Hayman is an author at Université Paris Cité specializing in computing, computer science, and petri nets.

Publications per year

2006–2014

4

Publications

4

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models

Vincent Danos, Jérôme Ferêt, Walter Fontana et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 70 citations · Full text

Life Sciences, Biology, Molecular Biology +13

The unfolding of general Petri nets

Jonathan Hayman, Glynn Winskel · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2008 · 22 citations · Full text

Computing, Computer Science, Knowledge Representation +6

Independence and Concurrent Separation Logic

Jonathan Hayman, Glynn Winskel · 2006 · 17 citations

Computing, Computer Science, Computer Systems +14

Strategies as Concurrent Processes

Simon Castellan, Jonathan Hayman, Marc Lasson et al. · Electronic Notes in Theoretical Computer Science · 2014 · 16 citations · Full text

Computing, Computer Science, Formal Methods +15

1–4 of 4