OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Brenas, Jon Haël"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Conference or Workshop Item

Baklanova, 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).

This list was generated on Sun Aug 9 00:06:15 2020 CEST.