( en | de | ru )

 

Disambiguation of "Haarslev, Volker"

Author of the publication

copydeleteadd this publication to your clipboard
A Unified Ontology-Based Process Model for Software Maintenance and Comprehension

, , , , , and . Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, volume 4364 of LNCS, page 56--65. Springer Berlin/Heidelberg, (2007)
DOI: 10.1007/978-3-540-69489-2_8

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.

Volker Haarslev

Volker

Volker Nürnberg

Bildungsmanagement als Aufgabengebiet der Wirtschaftsdidaktik: zwischen Anspruch und Wirklichekit ; mit Schulleiterbefragung Baden-Württemberg. PädH Karlsruhe, (2009)

Volker Tympel

Untersuchungen zur Anwendung von mehrdimensionalen Korrelationsverfahren bei der Determination von Kanten mit hochauflösenden optischen Messmaschinen. TU Ilmenau, (2009)

Volker Korz

Zelluläre, systemische und Verhaltenskorrelate zu Lernen und Gedächtnisformierung. Uni Magdeburg, habilitation, (2009)
 

Other publications of authors with the same name

Racer: A Core Inference Engine for the Semantic Web, and . Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON2003), page 27--36. Sanibel Island, Florida, USA, (October 2003)\\ http://www.cs.concordia.ca/~haarslev/publications/ \\ ISWC-2003.pdf.Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions., , and . Description Logics, volume 49 of CEUR Workshop Proceedings, CEUR-WS.org, (2001)Ontological Approach for the Semantic Recovery of Traceability Links between Software Artifacts, , , and . IET Software, 2 (3): 185--203 (June 2008)Special issue on Language Engineering.Description of the RACER System and its Applications., and . Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, volume 49 of CEUR Workshop Proceedings, (2001)A Unified Ontology-Based Process Model for Software Maintenance and Comprehension, , , , , and . Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, volume 4364 of LNCS, page 56--65. Springer Berlin/Heidelberg, (2007)Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics, , and . IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning, page 61--75. London, UK, Springer-Verlag, (2001)A Framework for Parallelizing OWL Classification in Description Logic Reasoners., and . CoRR, (2019)High Performance Reasoning with Very Large Knowledge Bases:A Practical Case Study, and . Int. Jt. Conf. on Artificial Intelligence, (2001)High Performance Reasoning with Very Large Knowledge Bases, and . (July 2000)Parallel TBox Classification in Description Logics - First Experimental Results., and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 485-490. IOS Press, (2010)