Jade Alglave
Publication Activity (10 Years)
Years Active: 2009-2021
Publications (10 Years): 9
Publications (10 Years): 9
Publications
- Jade Alglave, Will Deacon, Richard Grisenthwaite, Antoine Hacquard, Luc Maranget
- Jade Alglave, Patrick Cousot, Caterina Urban
- Jade Alglave, Patrick Cousot
- Jade Alglave
- Jade Alglave
- Alex Horn, Jade Alglave
- Jade Alglave, Daniel Kroening, Michael Tautschnig
- Jade Alglave, Luc Maranget, Michael TautschnigHerding Cats. CoRR (2013)
- Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
- Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams
- Jade Alglave
- Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
- Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams
- Jade Alglave, Luc Maranget
- Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell