Simon Doherty
Publication Activity (10 Years)
Years Active: 2004-2022
Publications (10 Years): 27
Publications (10 Years): 27
Publications
- Simon Doherty, Sadegh Dalvandi, Brijesh Dongol, Heike Wehrheim
- Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
- Sadegh Dalvandi, Brijesh Dongol, Simon Doherty, Heike Wehrheim
- James Cranch, Simon Doherty, Georg Struth
- James Cranch, Simon Doherty, Georg Struth
- James Cranch, Simon Doherty, Georg StruthConvolution and Concurrency. CoRR (2020)
- Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim
- Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
- Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim
- Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
- Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick
- Simon Doherty, John DerrickCausal Linearizability. CoRR (2016)
- Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
- Simon Doherty, John Derrick
- Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
- Simon Doherty, Lindsay Groves
- Simon Doherty, Mark Moir
- Robert Colvin, Simon Doherty, Lindsay Groves
- Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir