Author of the publication

Hets: The Heterogeneous Tool Set

, , and . Maya: Maintaining Structured Developments, volume 4180 of Lecture Notes in Artificial Intelligence, Springer, (2006)

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

How to write consistent CASL design specifications. (2000)CoFI note M-8.Heterogeneous specification and the heterogeneous tool set. Universitaet Bremen, (2005)Hets User Guide, , and . Department of Computer Science; Universität Bremen; http://www.informatik.uni-bremen.de/, (2006)OSMonto - An Ontology of OpenStreetMap Tags, , , , and . State of the map Europe (SOTM-EU) 2011, (2011)Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design, , and . Logica Univeralis, 4 (2): 255-333 (2010)Ontologie-basierte Routenplanung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap, , and . Magdeburger Logistiktagung, (2011)What is a Logic? (revised version), , , and . Logica Universalis, second edition, page 111-133. Birkhäuser, (2007)An Institutional View on Categorical Logic, , , , and . Int J Software Informatics, 1, page 129-152. (2007)Three Semantics for the Core of the Distributed Ontology Language, , and . IJCAI 2013, (2013)IJCAI 2013 track on Best Papers in Sister Conferences.Parametrized Exceptions, , and . Algebra and Coalgebra in Computer Science, volume 3629 of Lecture Notes in Computer Science, page 424-438. Springer; Berlin; http://www.springer.de, (2005)