Luc Maranget
Publication Activity (10 Years)
Years Active: 1991-2022
Publications (10 Years): 7
Publications (10 Years): 7
Publications
- Jade Alglave, Will Deacon, Richard Grisenthwaite, Antoine Hacquard, Luc Maranget
- 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, 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
- Luc Maranget
- Qin Ma, Luc Maranget
- Qin Ma, Luc Maranget
- Louis Mandel, Luc Maranget
- Luc Maranget
- Qin Ma, Luc Maranget
- Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget
- Luc Maranget
- Qin Ma, Luc Maranget
- Qin Ma, Luc Maranget
- Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
- Luc Maranget
- Fabrice Le Fessant, Luc Maranget
- Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
- Jean-Jacques Lévy, Luc Maranget
- Thérèse Hardin, Luc Maranget
- Fabrice Le Fessant, Luc Maranget
- Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
- Thérèse Hardin, Luc Maranget, Bruno Pagano
- Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy
- Luc Maranget
- Luc Maranget