Nils Gesbert

21 papers A* 2A 2Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Efficient iterative programs with distributed data collections.
J. Log. Algebraic Methods Program.
Sarah Chlyah, Nils Gesbert, Pierre Genevès, Nabil Layaïda
2025 J jnl
Schema-Based Query Optimisation for Graph Databases.
Proc. ACM Manag. Data
Chandan Sharma, Pierre Genevès, Nils Gesbert, Nabil Layaïda
2024 J jnl
Schema-Based Query Optimisation for Graph Databases.
CoRR
Chandan Sharma, Pierre Genevès, Nils Gesbert, Nabil Layaïda
2023 J jnl
Efficient Iterative Programs with Distributed Data Collections.
CoRR
Sarah Chlyah, Nils Gesbert, Pierre Genevès, Nabil Layaïda
2020 J jnl
Backward type inference for XML queries.
Theor. Comput. Sci.
Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda
2020 — conf
On the Optimization of Recursive Relational Queries: Application to Graph Queries.
SIGMOD Conference
Louis Jachiet, Pierre Genevès, Nils Gesbert, Nabil Layaïda
2016 J jnl
Behavioral Types in Programming Languages.
Found. Trends Program. Lang.
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
2015 J jnl
A Logical Approach to Deciding Semantic Subtyping.
ACM Trans. Program. Lang. Syst.
Nils Gesbert, Pierre Genevès, Nabil Layaïda
2015 J jnl
Efficiently Deciding μ-Calculus with Converse over Finite Trees.
ACM Trans. Comput. Log.
Pierre Genevès, Nabil Layaïda, Alan Schmitt, Nils Gesbert
2015 J jnl
Modular Session Types for Objects
Log. Methods Comput. Sci.
Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos
2015 A conf
XQuery and static typing: tackling the problem of backward axes.
ICFP
Pierre Genevès, Nils Gesbert
2014 — conf
Session Types as Generic Process Types.
EXPRESS/SOS
Simon J. Gay, Nils Gesbert, António Ravara
2011 A conf
Parametric polymorphism and semantic subtyping: the logical connection.
ICFP
Nils Gesbert, Pierre Genevès, Nabil Layaïda
2010 A* conf
Modular session types for distributed object-oriented programming.
POPL
Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira
2009 J jnl
A theory of contracts for Web services.
ACM Trans. Program. Lang. Syst.
Giuseppe Castagna, Nils Gesbert, Luca Padovani
2008 A* conf
A theory of contracts for web services.
POPL
Giuseppe Castagna, Nils Gesbert, Luca Padovani
2007 — conf
A Theory of Contracts for Web Services.
PLAN-X
Giuseppe Castagna, Nils Gesbert, Luca Padovani
2004 J jnl
Apport des spécifications pour les modèles de bases de données géographiques.
Rev. Int. Géomatique
Nils Gesbert, Thérèse Libourel, Sébastien Mustière
2004 — conf
Formalisation des spécifications de bases de données géographiques pour une meilleure compréhension des données.
INFORSID
Nils Gesbert
2004 — conf
Formalisation of Geographical Database Specifications.
ADBIS (Local Proceedings)
Nils Gesbert
2003 J jnl
A formal model for the specifications of geographic databases.
Res. Comput. Sci.
David Sheeren, Nils Gesbert, Sébastien Mustière