On Algorithms and Complexity for Sets with Cardinality Constraints. - Viktor Kuncak; Martin C. Rinard; Bruno Marnette (Deduction and Applications, 2005)

Polynomial Constraints for Sets with Cardinality Bounds. - Bruno Marnette; Viktor Kuncak; Martin C. Rinard (FoSSaCS, 2007)

Taming Existence in RDF Querying. - François Bry; Tim Furche; Clemens Ley; Benedikt Linse; Bruno Marnette (RR, 2008)

SPARQLog: SPARQL with Rules and Quantification. - François Bry; Tim Furche; Bruno Marnette; Clemens Ley; Benedikt Linse; Olga Poppe (Semantic Web Information Management, 2009)

HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results. - Georg Gottlob; Gianluigi Greco; Bruno Marnette (Graph Theory, Computational Intelligence and Thought, 2009)

Generalized schema-mappings: from termination to tractability. - Bruno Marnette (PODS, 2009)

Datalog Relaunched: Simulation Unification and Value Invention. - François Bry; Tim Furche; Clemens Ley; Bruno Marnette; Benedikt Linse; Sebastian Schaffert (Datalog, 2010)

Static analysis of schema-mappings ensuring oblivious termination. - Bruno Marnette; Floris Geerts (ICDT, 2010)

Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. - Andrea Calì; Georg Gottlob; Thomas Lukasiewicz; Bruno Marnette; Andreas Pieris (LICS, 2010)

Scalable Data Exchange with Functional Dependencies. - Bruno Marnette; Giansalvatore Mecca; Paolo Papotti (Proc. VLDB Endow., 2010)

Tractable schema mappings under oblivious termination. - Bruno Marnette (2010)

++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)

Resolution and Datalog Rewriting Under Value Invention and Equality Constraints - Bruno Marnette (CoRR, 2012)

A picture is worth a thousand words: Code clone detection based on image similarity. - Chaiyong Ragkhitwetsagul; Jens Krinke; Bruno Marnette (IWSC, 2018)

Inferring Javascript types using Graph Neural Networks. - Jessica Schrouff; Kai Wohlfahrt; Bruno Marnette; Liam Atkinson (CoRR, 2019)