Author of the publication

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.

 

Other publications of authors with the same name

Institutions for SQL Database Schemas and Datasets., and . WADT, volume 11563 of Lecture Notes in Computer Science, page 67-86. Springer, (2019)Generic Ontology Design Patterns: Roles and Change over Time., , and . CoRR, (2020)Generic Ontology Design Patterns: Roles and Change over Time, , and . (2020)Generic ontology design patterns at work, , and . JOWO 2019 The Joint Ontology Workshops, volume 2518 of IAOA-Series, CEUR-WS, (2019)Interpretable Ontology Extension in Chemistry, , , , and . Semantic Web Journal, (accepted)HasCasl: Integrated higher-order specification and program development., and . Theor. Comput. Sci., 410 (12-13): 1217-1260 (2009)Creating a HasCASL library, , , and . 14th Brazilian Symposium on Programming Languages (SBLP 2010), (2010)Standard annotations for parsers and static semantic checkers - a proposal. (1998)CoFI note T-6.Two "functional programming" sublanguages of CASL. (1998)CoFI note L-9.Specifying real numbers in CASL, , and . Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, volume 1827 of Lecture Notes in Computer Science, page 146--161. Springer; Berlin; http://www.springer.de, (2000)