Mélanie König

12 papers A* 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Bridging the gap between user stories and feature models by leveraging version control systems: A step towards software product line migration.
Inf. Softw. Technol.
Thomas Georges, Marianne Huchard, Mélanie König, Clémentine Nebut, Chouki Tibermacine
2025 J jnl
CGsmiles: A Versatile Line Notation for Molecular Representations across Multiple Resolutions.
J. Chem. Inf. Model.
Fabian Grünewald, Leif Seute, Riccardo Alessandri, Mélanie König, Peter C. Kroon
2025 J jnl
Empirical Assessment of the Perception of Software Product Line Engineering by an SME before Migrating its Code Base.
CoRR
Thomas Georges, Marianne Huchard, Mélanie König, Clémentine Nebut, Chouki Tibermacine
2023 — conf
Guiding Feature Models Synthesis from User-Stories: An Exploratory Approach.
VaMoS
Thomas Georges, Liam Rice, Marianne Huchard, Mélanie König, Clémentine Nebut, Chouki Tibermacine
2021 — conf
Variability Extraction from Simulator I/O Data Schemata in Agriculture Decision-Support Software.
FCA4AI@IJCAI
Thomas Georges, Marianne Huchard, Mélanie König, Clémentine Nebut, Chouki Tibermacine
2015 A* conf
Query Rewriting for Existential Rules with Compiled Preorder.
IJCAI
Mélanie König, Michel Leclère, Marie-Laure Mugnier
2015 J jnl
Sound, complete and minimal UCQ-rewriting for existential rules.
Semantic Web
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2014 — —
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
2013 — conf
On the Exploration of the Query Rewriting Space with Existential Rules.
RR
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2013 J jnl
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules.
CoRR
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2013 A* conf
Sound, Complete, and Minimal Query Rewriting for Existential Rules.
IJCAI
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
2012 — conf
A Sound and Complete Backward Chaining Algorithm for Existential Rules.
RR
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo