Bruno Marnette

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 2

Top Venues

CoRR

IWSC

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Jessica Schrouff, Kai Wohlfahrt, Bruno Marnette, Liam Atkinson
Inferring Javascript types using Graph Neural Networks. CoRR (2019)
Chaiyong Ragkhitwetsagul, Jens Krinke, Bruno Marnette
A picture is worth a thousand words: Code clone detection based on image similarity. IWSC (2018)
Bruno Marnette
Resolution and Datalog Rewriting Under Value Invention and Equality Constraints CoRR (2012)
Bruno Marnette, Giansalvatore Mecca, Paolo Papotti, Salvatore Raunich, Donatello Santoro
++Spicy: an OpenSource Tool for Second-Generation Schema Mapping and Data Exchange. Proc. VLDB Endow. 4 (12) (2011)
Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, Andreas Pieris
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. LICS (2010)
Bruno Marnette, Giansalvatore Mecca, Paolo Papotti
Scalable Data Exchange with Functional Dependencies. Proc. VLDB Endow. 3 (1) (2010)
François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert
Datalog Relaunched: Simulation Unification and Value Invention. Datalog (2010)
Bruno Marnette, Floris Geerts
Static analysis of schema-mappings ensuring oblivious termination. ICDT (2010)
Bruno Marnette
Generalized schema-mappings: from termination to tractability. PODS (2009)
Georg Gottlob, Gianluigi Greco, Bruno Marnette
HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results. Graph Theory, Computational Intelligence and Thought (2009)
François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette
Taming Existence in RDF Querying. RR (2008)
Bruno Marnette, Viktor Kuncak, Martin C. Rinard
Polynomial Constraints for Sets with Cardinality Bounds. FoSSaCS (2007)
Bruno Marnette, Viktor Kuncak, Martin C. Rinard
On Algorithms and Complexity for Sets with Cardinality Constraints CoRR (2005)
Viktor Kuncak, Martin C. Rinard, Bruno Marnette
On Algorithms and Complexity for Sets with Cardinality Constraints. Deduction and Applications (2005)

Bruno Marnette.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bruno Marnette