[:en]Publications:
On the Closure of Description Logics under Substitutions. Description Logics 2016 with Rachid Echahed, Martin Strecker
Ensuring Correctness of Model Transformations While Remaining Decidable. ICTAC 2016 with Rachid Echahed, Martin Strecker
Proving Correctness of Logically Decorated Graph Rewriting Systems. FSCD 2016 with Rachid Echahed, Martin Strecker
Provably Correct Graph Transformations with Small-tALC. ICTERI 2015 with Nadezhda Baklanova, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs. IFIP TCS 2014 with Rachid Echahed, Martin Strecker[:]
