Nils Gesbert

According to our database, Nils Gesbert authored at least 16 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Schema-Based Query Optimisation for Graph Databases.

Chandan Sharma, Pierre Genevès, Nils Gesbert, Nabil Layaïda

CoRR, 2024

2023

Efficient Iterative Programs with Distributed Data Collections.

Sarah Chlyah, Nils Gesbert, Pierre Genevès, Nabil Layaïda

CoRR, 2023

2020

Backward type inference for XML queries.

Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda

Theor. Comput. Sci., 2020

On the Optimization of Recursive Relational Queries: Application to Graph Queries.

Louis Jachiet, Pierre Genevès, Nils Gesbert, Nabil Layaïda

Proceedings of the 2020 International Conference on Management of Data, 2020

2016

Behavioral Types in Programming Languages.

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

Found. Trends Program. Lang., 2016

2015

A Logical Approach to Deciding Semantic Subtyping.

Nils Gesbert, Pierre Genevès, Nabil Layaïda

ACM Trans. Program. Lang. Syst., 2015

Efficiently Deciding μ-Calculus with Converse over Finite Trees.

Pierre Genevès, Nabil Layaïda, Alan Schmitt, Nils Gesbert

ACM Trans. Comput. Log., 2015

Modular Session Types for Objects

Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos

Log. Methods Comput. Sci., 2015

XQuery and static typing: tackling the problem of backward axes.

Pierre Genevès, Nils Gesbert

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Session Types as Generic Process Types.

Simon J. Gay, Nils Gesbert, António Ravara

Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014

2011

Parametric polymorphism and semantic subtyping: the logical connection.

Nils Gesbert, Pierre Genevès, Nabil Layaïda

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Modular session types for distributed object-oriented programming.

Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

A theory of contracts for Web services.

Giuseppe Castagna, Nils Gesbert, Luca Padovani

ACM Trans. Program. Lang. Syst., 2009

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

Formalisation des spécifications de bases de données géographiques pour une meilleure compréhension des données.

Nils Gesbert

Proceedings of the Actes du XXIIème Congrès INFORSID, Biarritz, France, 25-28 mai, 2004, 2004

Formalisation of Geographical Database Specifications.

Nils Gesbert

Proceedings of the Advances in Databases and Information Systems, 2004