Statistics
Publications
9
Citations
472
H-Index
9
Active since
2008
Nils Gesbert is an author at University of Glasgow specializing in computing, computer science, and type systems.
Publications per year
2008–2020
9
9
Modular session types for distributed object-oriented programming
Simon J. Gay, Vasco T. Vasconcelos, António Ravara et al. · 2010 · 86 citations
A theory of contracts for web services
Giuseppe Castagna, Nils Gesbert, Luca Padovani · 2008 · 84 citations
On the Optimization of Recursive Relational Queries: Application to Graph Queries
Louis Jachiet, Pierre Genevès, Nils Gesbert et al. · 2020 · 29 citations · Full text
Computing, Computer Science, Algebra +16
Modular session types for objects
Simon J. Gay, Nils Gesbert, António Ravara et al. · Logical Methods in Computer Science · 2015 · 17 citations · Full text
1–5 of 9