Formalisation of Geographical Database Specifications. - Nils Gesbert (ADBIS (Local Proceedings), 2004)

Formalisation des spécifications de bases de données géographiques pour une meilleure compréhension des données. - Nils Gesbert (INFORSID, 2004)

Apport des spécifications pour les modèles de bases de données géographiques. - Nils Gesbert; Thérèse Libourel; Sébastien Mustière (Rev. Int. Géomatique, 2004)

A theory of contracts for Web services. - Giuseppe Castagna; Nils Gesbert; Luca Padovani (ACM Trans. Program. Lang. Syst., 2009)

Modular session types for distributed object-oriented programming. - Simon J. Gay; Vasco Thudichum Vasconcelos; António Ravara; Nils Gesbert; Alexandre Z. Caldeira (POPL, 2010)

Parametric polymorphism and semantic subtyping: the logical connection. - Nils Gesbert; Pierre Genevès; Nabil Layaïda (ICFP, 2011)

Session Types as Generic Process Types. - Simon J. Gay; Nils Gesbert; António Ravara (EXPRESS/SOS, 2014)

XQuery and static typing: tackling the problem of backward axes. - Pierre Genevès; Nils Gesbert (ICFP, 2015)

Modular Session Types for Objects - Simon J. Gay; Nils Gesbert; António Ravara; Vasco Thudichum Vasconcelos (Log. Methods Comput. Sci., 2015)

Efficiently Deciding μ-Calculus with Converse over Finite Trees. - Pierre Genevès; Nabil Layaïda; Alan Schmitt; Nils Gesbert (ACM Trans. Comput. Log., 2015)

A Logical Approach to Deciding Semantic Subtyping. - Nils Gesbert; Pierre Genevès; Nabil Layaïda (ACM Trans. Program. Lang. Syst., 2015)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

On the Optimization of Recursive Relational Queries: Application to Graph Queries. - Louis Jachiet; Pierre Genevès; Nils Gesbert; Nabil Layaïda (SIGMOD Conference, 2020)

Backward type inference for XML queries. - Hyeonseung Im; Pierre Genevès; Nils Gesbert; Nabil Layaïda (Theor. Comput. Sci., 2020)

Efficient iterative programs with distributed data collections. - Sarah Chlyah; Nils Gesbert; Pierre Genevès; Nabil Layaïda (J. Log. Algebraic Methods Program., 2025)

Schema-Based Query Optimisation for Graph Databases. - Chandan Sharma; Pierre Genevès; Nils Gesbert; Nabil Layaïda (Proc. ACM Manag. Data, 2025)