Bruno Marnette

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