Bruno Marnette

According to our database, Bruno Marnette authored at least 15 papers between 2005 and 2019.

Collaborative distances:

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

2019

Inferring Javascript types using Graph Neural Networks.

Jessica Schrouff, Kai Wohlfahrt, Bruno Marnette, Liam Atkinson

CoRR, 2019

2018

A picture is worth a thousand words: Code clone detection based on image similarity.

Chaiyong Ragkhitwetsagul, Jens Krinke, Bruno Marnette

Proceedings of the 12th IEEE International Workshop on Software Clones, 2018

2012

Resolution and Datalog Rewriting Under Value Invention and Equality Constraints

Bruno Marnette

CoRR, 2012

2011

++Spicy: an OpenSource Tool for Second-Generation Schema Mapping and Data Exchange.

Bruno Marnette, Giansalvatore Mecca, Paolo Papotti, Salvatore Raunich, Donatello Santoro

Proc. VLDB Endow., 2011

2010

Tractable schema mappings under oblivious termination.

Bruno Marnette

PhD thesis, 2010

Scalable Data Exchange with Functional Dependencies.

Bruno Marnette, Giansalvatore Mecca, Paolo Papotti

Proc. VLDB Endow., 2010

Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications.

Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, Andreas Pieris

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Static analysis of schema-mappings ensuring oblivious termination.

Bruno Marnette, Floris Geerts

Proceedings of the Database Theory, 2010

Datalog Relaunched: Simulation Unification and Value Invention.

François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert

Proceedings of the Datalog Reloaded - First International Workshop, 2010

2009

Generalized schema-mappings: from termination to tractability.

Bruno Marnette

Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results.

Georg Gottlob, Gianluigi Greco, Bruno Marnette

Proceedings of the Graph Theory, 2009

SPARQLog: SPARQL with Rules and Quantification.

François Bry, Tim Furche, Bruno Marnette, Clemens Ley, Benedikt Linse, Olga Poppe

Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

2008

Taming Existence in RDF Querying.

François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

2007

Polynomial Constraints for Sets with Cardinality Bounds.

Bruno Marnette, Viktor Kuncak, Martin C. Rinard

Proceedings of the Foundations of Software Science and Computational Structures, 2007

2005

On Algorithms and Complexity for Sets with Cardinality Constraints.

Viktor Kuncak, Martin C. Rinard, Bruno Marnette

Proceedings of the Deduction and Applications, 23.-28. October 2005, 2005