Nils Gesbert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2004–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | SIGMOD | On the Optimization of Recursive Relational Queries: Application to Graph Queries. | Louis Jachiet, Pierre Genevs, Nils Gesbert, Nabil Layada |
| 2015 | ICFP | XQuery and static typing: tackling the problem of backward axes. | Pierre Genevs, Nils Gesbert |
| 2011 | ICFP | Parametric polymorphism and semantic subtyping: the logical connection. | Nils Gesbert, Pierre Genevs, Nabil Layada |
| 2010 | POPL | Modular session types for distributed object-oriented programming. | Simon J. Gay, Vasco Thudichum Vasconcelos, Antnio Ravara, Nils Gesbert, Alexandre Z. Caldeira |
| 2008 | POPL | A theory of contracts for web services. | Giuseppe Castagna, Nils Gesbert, Luca Padovani |
| 2004 | ADBIS | Formalisation of Geographical Database Specifications. | Nils Gesbert |