A Sound and Complete Backward Chaining Algorithm for Existential Rules. - Mélanie König; Michel Leclère; Marie-Laure Mugnier; Michaël Thomazo (RR, 2012)

Sound, Complete, and Minimal Query Rewriting for Existential Rules. - Mélanie König; Michel Leclère; Marie-Laure Mugnier; Michaël Thomazo (IJCAI, 2013)

On the Exploration of the Query Rewriting Space with Existential Rules. - Mélanie König; Michel Leclère; Marie-Laure Mugnier; Michaël Thomazo (RR, 2013)

Interrogation de grandes bases de connaissances : algorithmes de réécriture de requêtes conjonctives en présence de règles existentielles Soutenue le. (Ontology-based Query Answering). - Mélanie König (2014)

Query Rewriting for Existential Rules with Compiled Preorder. - Mélanie König; Michel Leclère; Marie-Laure Mugnier (IJCAI, 2015)

Sound, complete and minimal UCQ-rewriting for existential rules. - Mélanie König; Michel Leclère; Marie-Laure Mugnier; Michaël Thomazo (Semantic Web, 2015)

Variability Extraction from Simulator I/O Data Schemata in Agriculture Decision-Support Software. - Thomas Georges; Marianne Huchard; Mélanie König; Clémentine Nebut; Chouki Tibermacine (FCA4AI@IJCAI, 2021)

Guiding Feature Models Synthesis from User-Stories: An Exploratory Approach. - Thomas Georges; Liam Rice; Marianne Huchard; Mélanie König; Clémentine Nebut; Chouki Tibermacine (VaMoS, 2023)

CGsmiles: A Versatile Line Notation for Molecular Representations across Multiple Resolutions. - Fabian Grünewald; Leif Seute; Riccardo Alessandri; Mélanie König; Peter C. Kroon (J. Chem. Inf. Model., 2025)