( en | de | ru )

 

Disambiguation of "Brenas, Jon Haël"

Author of the publication

copydeleteadd this publication to your clipboard
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs.

, , and . IFIP TCS, volume 8705 of Lecture Notes in Computer Science, page 164-178. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Haël Mughrabi

Christian Haellmigk

Frieda Haellmigk

Rolf-Peter Haelbich

Philip Haellmigk

 

Other publications of authors with the same name

A Change Management Dashboard for the SIEMA Global Malaria Surveillance Infrastructure., , , and . ISWC (Posters, Demos & Industry Tracks), volume 1963 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Verifying Graph Transformations with Guarded Logics., , and . TASE, page 124-131. IEEE Computer Society, (2018)Provably Correct Graph Transformations with Small-tALC., , , , , and . ICTERI, volume 1356 of CEUR Workshop Proceedings, page 78-93. CEUR-WS.org, (2015)Adverse Childhood Experiences Ontology for Mental Health Surveillance, Research, and Evaluation: Advanced Knowledge Representation and Semantic Web Techniques., , and . CoRR, (2019)Reasoning Formally About Database Queries and Updates., , and . FM, volume 11800 of Lecture Notes in Computer Science, page 556-572. Springer, (2019)Hoare-like verification of graph transformation. (Raisonnement sur les transformations de graphes).. Grenoble Alpes University, France, (2016)A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs., , and . IFIP TCS, volume 8705 of Lecture Notes in Computer Science, page 164-178. Springer, (2014)An Ontological Framework to Improve Surveillance of Adverse Childhood Experiences (ACEs)., , and . EFMI-STC, volume 258 of Studies in Health Technology and Informatics, page 31-35. IOS Press, (2019)A Hybrid Recommender System to Guide Assessment and Surveillance of Adverse Childhood Experiences., , and . ICIMTH, volume 262 of Studies in Health Technology and Informatics, page 332-335. IOS Press, (2019)Exploring Semantic Data Federation to Enable Malaria Surveillance Queries., , , , and . MIE, volume 247 of Studies in Health Technology and Informatics, page 6-10. IOS Press, (2018)