Nils Gesbert

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 5

Top Topics

Graph Databases

Xml Query Languages

Boolean Expressions

Top Venues

Found. Trends Program. Lang.

ACM Trans. Comput. Log.

Publications

Chandan Sharma, Pierre Genevès, Nils Gesbert, Nabil Layaïda
Schema-Based Query Optimisation for Graph Databases. CoRR (2024)
Sarah Chlyah, Nils Gesbert, Pierre Genevès, Nabil Layaïda
Efficient Iterative Programs with Distributed Data Collections. CoRR (2023)
Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda
Backward type inference for XML queries. Theor. Comput. Sci. 823 (2020)
Louis Jachiet, Pierre Genevès, Nils Gesbert, Nabil Layaïda
On the Optimization of Recursive Relational Queries: Application to Graph Queries. SIGMOD Conference (2020)
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Pierre Genevès, Nabil Layaïda, Alan Schmitt, Nils Gesbert
Efficiently Deciding μ-Calculus with Converse over Finite Trees. ACM Trans. Comput. Log. 16 (2) (2015)
Pierre Genevès, Nils Gesbert
XQuery and static typing: tackling the problem of backward axes. ICFP (2015)
Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos
Modular Session Types for Objects Log. Methods Comput. Sci. 11 (4) (2015)
Nils Gesbert, Pierre Genevès, Nabil Layaïda
A Logical Approach to Deciding Semantic Subtyping. ACM Trans. Program. Lang. Syst. 38 (1) (2015)
Simon J. Gay, Nils Gesbert, António Ravara
Session Types as Generic Process Types. EXPRESS/SOS (2014)
Nils Gesbert, Pierre Genevès, Nabil Layaïda
Parametric polymorphism and semantic subtyping: the logical connection. ICFP (2011)
Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira
Modular session types for distributed object-oriented programming. POPL (2010)
Giuseppe Castagna, Nils Gesbert, Luca Padovani
A theory of contracts for Web services. ACM Trans. Program. Lang. Syst. 31 (5) (2009)
Giuseppe Castagna, Nils Gesbert, Luca Padovani
A theory of contracts for web services. POPL (2008)
Giuseppe Castagna, Nils Gesbert, Luca Padovani
A Theory of Contracts for Web Services. PLAN-X (2007)
Nils Gesbert
Formalisation des spécifications de bases de données géographiques pour une meilleure compréhension des données. INFORSID (2004)
Nils Gesbert, Thérèse Libourel, Sébastien Mustière
Apport des spécifications pour les modèles de bases de données géographiques. Rev. Int. Géomatique 14 (2) (2004)
Nils Gesbert
Formalisation of Geographical Database Specifications. ADBIS (Local Proceedings) (2004)