Mélanie König

According to our database, Mélanie König authored at least 12 papers between 2012 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Empirical Assessment of the Perception of Software Product Line Engineering by an SME before Migrating its Code Base.

Thomas Georges, Marianne Huchard, Mélanie König, Clémentine Nebut, Chouki Tibermacine

CoRR, December, 2025

Empirical Assessment of the Perception of Software Product Line Engineering by an SME before Migrating its Code Base.

Thomas Georges, Marianne Huchard, Mélanie König, Clémentine Nebut, Chouki Tibermacine

Dataset, November, 2025

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

Bridging the gap between user stories and feature models by leveraging version control systems: A step towards software product line migration.

Thomas Georges, Marianne Huchard, Mélanie König, Clémentine Nebut, Chouki Tibermacine

Inf. Softw. Technol., 2025

2023

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

Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, 2023

2021

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

Proceedings of the 9th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021

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

Query Rewriting for Existential Rules with Compiled Preorder.

Mélanie König, Michel Leclère, Marie-Laure Mugnier

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

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

PhD thesis, 2014

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

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Sound, Complete, and Minimal Query Rewriting for Existential Rules.

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo

Proceedings of the IJCAI 2013, 2013

2012

A Sound and Complete Backward Chaining Algorithm for Existential Rules.

Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012