Items where Person is "Brenas, Jon Haël"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 4. Conference or Workshop ItemBaklanova, Nadezhda and Brenas, Jon Haël and Makhlouf, Amani and Percebois, Christian and Strecker, Martin and Tran, Hanh Nhi. Coding, Executing and Verifying Graph Transformations with small-tALCQe. (2016) In: International Workshop Graph Computation Models, Part of STAF 2016 (GCM 2016), 4 July 2016 (Vienna, Austria). Brenas, Jon Haël and Echahed, Rachid and Strecker, Martin. On the Closure of Description Logics under Substitutions. (2016) In: 29th International Workshop on Description Logics (DL 2016), 22 April 2016 - 25 April 2016 (Cape Town, South Africa). Brenas, Jon Haël and Echahed, Rachid and Strecker, Martin. Proving Correctness of Logically Decorated Graph Rewriting Systems. (2016) In: 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), 22 June 2016 - 26 June 2016 (Porto, Portugal). Baklanova, Nadezhda and Brenas, Jon Haël and Echahed, Rachid and Percebois, Christian and Strecker, Martin and Tran, Hanh Nhi. Provably correct graph transformations with small-tALC. (2015) In: 11th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2015), 14 May 2015 - 16 May 2015 (Lviv, Ukraine). |