Concepedia

Stijn Heymans

SH

Statistics

Publications

14

Citations

291

H-Index

12

Active since

2003

Affiliations

Vrije Universiteit Brussel(Current)

Universität Innsbruck

Free University of Bozen-Bolzano

Stijn Heymans is an author at Vrije Universiteit Brussel specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningSemanticsFormal MethodsSemantic WebDescription LogicsComputer ScienceLogic ProgrammingFormal VerificationLanguage

Publications per year

2003–2013

14

Publications

14

Semantic Business Process Repository

Zhilei Ma, Branimir Wetzstein, Darko Anicic et al. · Fachbereich Informatik (University of Stuttgart) · 2007 · 44 citations

Semantic validation of the use of SNOMED CT in HL7 clinical documents

Stijn Heymans, Matthew McKennirey, Joshua A Phillips · Journal of Biomedical Semantics · 2011 · 37 citations · Full text

Guarded hybrid knowledge bases

Stijn Heymans, Jos de Bruijn, Livia Predoiu et al. · Theory and Practice of Logic Programming · 2008 · 32 citations

Engineering, Verification, Well-founded Semantics +18

Open answer set programming with guarded programs

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir · ACM Transactions on Computational Logic · 2008 · 25 citations

Guarded Oasp, Engineering, Verification +17

Open answer set programming for the semantic web

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir · Journal of Applied Logic · 2006 · 23 citations

Web Semantics, Engineering, Information Retrieval +9

1–5 of 14