dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Volker Haarslev Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKejia Wu, Volker Haarslev: A Parallel Reasoner for the Description Logic ALC. Description Logics 2012
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaleh Roosta Pour, Volker Haarslev: Algebraic Reasoning for SHIQ. Description Logics 2012
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMina Aslani, Volker Haarslev: Concurrent Classification of OWL Ontologies - An Empirical Evaluation. Description Logics 2012
2011
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArash Shaban-Nejad, Volker Haarslev: An enhanced graph-oriented approach for change management in distributed biomedical ontologies and linked data. BIBM Workshops 2011: 615-622
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Roberto Sebastiani, Michele Vescovi: Automated Reasoning in ALCQ\mathcal{ALCQ} via SMT. CADE 2011: 283-298
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArash Shaban-Nejad, Volker Haarslev: An abstract representation model for evolutionary analysis of multi-agent interactions. IEEE Congress on Evolutionary Computation 2011: 2002-2009
2010
116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, David Toman, Grant E. Weddell: Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010 CEUR-WS.org 2010
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJocelyne Faddoul, Volker Haarslev: Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results. Description Logics 2010
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMina Aslani, Volker Haarslev: TBox Classification in Parallel: Design and First Evaluation. Description Logics 2010
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMina Aslani, Volker Haarslev: Parallel TBox Classification in Description Logics - First Experimental Results. ECAI 2010: 485-490
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArash Shaban-Nejad, Volker Haarslev: Strategic Health Information Management and Forecast: The Birdwatching Approach. ICCCI (3) 2010: 457-468
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNasim Farsiniamarj, Volker Haarslev: Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic H. AI Commun. 23(2-3): 205-240 (2010)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJocelyne Faddoul, Volker Haarslev: Algebraic tableau reasoning for the description logic SHOQ. J. Applied Logic 8(4): 334-355 (2010)
2009
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJocelyne Faddoul, Volker Haarslev, Ralf Möller: Algebraic Tableau Algorithm for ALCOQ. Description Logics 2009
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNasim Farsinia, Volker Haarslev: Optimizing Reasoning with Qualified Number Restrictions in SHQ. Description Logics 2009
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArash Shaban-Nejad, Volker Haarslev: Bio-medical Ontologies Maintenance and Change Management. Biomedical Data and Applications 2009: 143-168
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArash Shaban-Nejad, Olga Ormandjieva, Mohamad Kassab, Volker Haarslev: Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications CoRR abs/0906.1842: (2009)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: A formal framework for description logics with uncertainty. Int. J. Approx. Reasoning 50(9): 1399-1415 (2009)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Alasoud, Volker Haarslev, Nematollaah Shiri: An empirical comparison of ontology matching techniques. J. Information Science 35(4): 379-397 (2009)
2008
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArash Shaban-Nejad, Volker Haarslev: Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference versus cladistics. BIBE 2008: 1-7
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller: A Hybrid Tableau Algorithm for ALCQ. Description Logics 2008
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJiewen Wu, Volker Haarslev: Planning of Axiom Absorption. Description Logics 2008
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancis Gasse, Ulrike Sattler, Volker Haarslev: Rewriting Rules into SROIQ Axioms. Description Logics 2008
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Möller, Volker Haarslev, Sebastian Wandelt: The Revival of Structural Subsumption in Tableau-based Reasoners. Description Logics 2008
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMina Aslani, Volker Haarslev: Towards Parallel Classifcation of TBoxes. Description Logics 2008
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller: A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. ECAI 2008: 725-726
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArash Shaban-Nejad, Volker Haarslev: An ontology-empowered model for annotating protein-protein interaction data: a case study for budding yeast. IRI 2008: 357-362
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Alasoud, Volker Haarslev, Nematollaah Shiri: An Effective Ontology Matching Technique. ISMIS 2008: 585-590
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArash Shaban-Nejad, Volker Haarslev: Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education. ITiCSE 2008: 375
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArash Shaban-Nejad, Volker Haarslev: Incremental Biomedical Ontology Change Management through Learning Agents. KES-AMSTA 2008: 526-535
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic. URSW (LNCS Vol.) 2008: 385-402
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYonggang Zhang, René Witte, Juergen Rilling, Volker Haarslev: Ontological approach for the semantic recovery of traceability links between software artefacts. IET Software 2(3): 185-203 (2008)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: On the Scalability of Description Logic Instance Retrieval. J. Autom. Reasoning 41(2): 99-142 (2008)
2007
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris: Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 CEUR-WS.org 2007
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArash Shaban-Nejad, Volker Haarslev: Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus. AIME 2007: 277-286
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArash Shaban-Nejad, Volker Haarslev: Managing Conceptual Revisions in a Temporal Fungal Taxonomy. CBMS 2007: 624-632
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Ding, Volker Haarslev, Jiewen Wu: A New Mapping from ALCI to ALC. Description Logics 2007
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Ding, Volker Haarslev: An ExpTime Tableau Decision Procedure for ALCQI. Description Logics 2007
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmineh Fadhil, Volker Haarslev: OntoVQL: A Graphical Query Language for OWL Ontologies. Description Logics 2007
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: Optimizing Tableau Reasoning in ALC Extended with Uncertainty. Description Logics 2007
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Deng, Volker Haarslev, Nematollaah Shiri: Measuring Inconsistencies in Ontologies. ESWC 2007: 326-340
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArash Shaban-Nejad, Volker Haarslev: Towards a framework for requirement change management in healthcare software applications. OOPSLA Companion 2007: 807-808
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Deng, Volker Haarslev, Nematollaah Shiri: Using Patterns to Explain Inferences in. Computational Intelligence 23(3): 373-392 (2007)
2006
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYonggang Zhang, Juergen Rilling, Volker Haarslev: An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns. COMPSAC (1) 2006: 333-342
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher J. O. Baker, Xiao Su, Greg Butler, Volker Haarslev: Ontoligent Interactive Query Tool. CSWWS 2006: 155-169
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Deng, Volker Haarslev, Nematollaah Shiri: Resolution Based Explanations for Reasoning in the Description Logic ALC. CSWWS 2006: 189-204
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: Completion Rules for Uncertainty Reasoning with the Description Logic ALC. CSWWS 2006: 205-225
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Zuo, Volker Haarslev: High Performance Absorption Algorithms for Terminological Reasoning. Description Logics 2006
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Möller, Volker Haarslev, Michael Wessel: On the Scalability of Description Logic Instance Retrieval. Description Logics 2006
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Ding, Volker Haarslev: Tableau Caching for Description Logics with Inverse and Transitive Roles. Description Logics 2006
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: Uncertainty Reasoning in Description Logics: A Generic Approach. FLAIRS Conference 2006: 818-823
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Möller, Volker Haarslev, Michael Wessel: On the Scalability of Description Logic Instance Retrieval. KI 2006: 188-201
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuergen Rilling, Yonggang Zhang, Wen Jun Meng, René Witte, Volker Haarslev, Philippe Charland: A Unified Ontology-Based Process Model for Software Maintenance and Comprehension. MoDELS Workshops 2006: 56-65
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Alasoud, Volker Haarslev, Nematollaah Shiri: A Multi-level Matching Algorithm for Combining Similarity Measures in Ontology Integration. ODBIS 2006: 1-17
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmineh Fadhil, Volker Haarslev: GLOO: A Graphical Query Language for OWL Ontologies. OWLED 2006
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQing Lu, Volker Haarslev: OntoKBEval: DL-based Evaluation of OWL Ontologies. OWLED 2006
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYonggang Zhang, René Witte, Juergen Rilling, Volker Haarslev: Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution. WSE 2006: 41-49
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher J. O. Baker, Arash Shaban-Nejad, Xiao Su, Volker Haarslev, Greg Butler: Semantic web infrastructure for fungal enzyme biotechnologists. J. Web Sem. 4(3): 168-180 (2006)
2005
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Deng, Volker Haarslev, Nematollaah Shiri: A Resolution Based Framework to Explain Reasoning in Description Logics. Description Logics 2005
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller, Michael Wessel: Description Logic Inference Technology: Lessions Learned in the Trenches. Description Logics 2005
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKruthi Bhoopalam, Volker Haarslev: Fire – Extending Racer by an Engine for SWRL Rules. Description Logics 2005
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCuiMing Chen, Volker Haarslev, JiaoYue Wang: LAS: Extending Racer by a Large ABox Store. Description Logics 2005
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Ding, Volker Haarslev: Towards Efficient Reasoning for Description Logics with Inverse Roles. Description Logics 2005
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXi Deng, Volker Haarslev, Nematollaah Shiri: A Framework for Explaining Reasoning in Description Logics. ExaCt 2005: 55-61
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: A Generic Framework for Description Logics with Uncertainty. ISWC-URSW 2005: 77-86
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArash Shaban-Nejad, Christopher J. O. Baker, Volker Haarslev, Greg Butler: The FungalWeb Ontology: Semantic Web Challenges in Bioinformatics and Genomics. International Semantic Web Conference 2005: 1063-1066
2004
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004 CEUR-WS.org 2004
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller, Ragnhild Van Der Straeten, Michael Wessel: Extended Query Facilities for Racer and an Application to Software-Engineering Problems. Description Logics 2004
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ying Lu, Nematollaah Shiri: OntoXpl: Exploration of OWL Ontologies. Description Logics 2004
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. KR 2004: 163-174
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ying Lu, Nematollaah Shiri: ONTOXPL - Intelligent Exploration of OWL Ontologies. Web Intelligence 2004: 624-627
2003
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Möller, Volker Haarslev: Description Logic Systems. Description Logic Handbook 2003: 282-305
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Möller, Ronald Cornet, Volker Haarslev: Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents. Description Logics 2003
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Incremental Query Answering for Implementing Document Retrieval Services. Description Logics 2003
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Racer: A Core Inference Engine for the Semantic Web. EON 2003
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Description Logic Systems with Concrete Domains: Applications for the Semantic Web. KRDB 2003
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmar Isli, Volker Haarslev, Ralf Möller: Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning CoRR cs.AI/0307048: (2003)
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Möller, Volker Haarslev: Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems. KI 17(3): 10- (2003)
2002
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMary Hegarty, Volker Haarslev, N. Hari Narayanan: Diagrammatic Reasoning. KI 16(4): 38-39 (2002)
2001
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Martina Timmann, Ralf Möller: Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. Description Logics 2001
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Description of the RACER System and its Applications. Description Logics 2001
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Optimizing Reasoning in Description Logics with Qualified Number Restrictions. Description Logics 2001
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. IJCAI 2001: 161-168
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller, Michael Wessel: The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. IJCAR 2001: 29-44
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan: Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. IJCAR 2001: 61-75
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: RACER System Description. IJCAR 2001: 701-706
2000
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Anderson, Peter Cheng, Volker Haarslev: Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings Springer 2000
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: High Performance Reasoning with Very Large Knowledge Bases. Description Logics 2000: 143-152
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Optimizing TBox and ABox Reasoning with Pseudo Models. Description Logics 2000: 153-162
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnni-Yasmin Turhan, Volker Haarslev: Adapting Optimization Techniques to Description Logics with Concrete Domains. Description Logics 2000: 247-256
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wessel, Volker Haarslev, Ralf Möller: ALCRA - ALC with Role Axioms. Description Logics 2000: 267-276
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. KR 2000: 273-284
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Consistency Testing: The RACE Experience. TABLEAUX 2000: 57-61
1999
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. Description Logics 1999
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel: On Terminological Default Reasoning about Spatial Information: Extended Abstract. Description Logics 1999
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: RACE System Description. Description Logics 1999
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. TABLEAUX 1999: 24-28
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller, Michael Wessel: On Specifying Semantics of Visual Spatial Query Languages. VL 1999: 4-11
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Carsten Lutz, Ralf Möller: A Description Logic with Concrete Domains and a Role-forming Predicate Operator. J. Log. Comput. 9(3): 351-384 (1999)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev: A Logic-based Formalism for Reasoning about Visual Representations. J. Vis. Lang. Comput. 10(4): 421-445 (1999)
1998
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan: HAM-ALC. Description Logics 1998
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan: Implementing an ALCRP(D) ABox Reasoner - Progress Report. Description Logics 1998
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Carsten Lutz, Ralf Möller: Foundations of Spatioterminological Reasoning with Description Logics. KR 1998: 112-123
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wessel, Volker Haarslev: VISCO: Bringing Visual Spatial Querying to Reality. VL 1998: 170-177
1997
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences. Description Logics 1997
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Michael Wessel: Querying GIS with Animated Spatial Sketches. VL 1997: 201-208
1996
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev: Using Description Logic for Reasoning about Diagrammatical Notations. Description Logics 1996: 124-128
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Michael Wessel: GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations. VL 1996: 204-211
1995
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietrich Fahrenholtz, Volker Haarslev: Visualization of Strand(tm) Processes. VL 1995: 114-115
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev: Formal Semantics of Visual Languages using Spatial Reasoning. VL 1995: 156-163
1994
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller, Carsten Schröder: Combining Spatial and Terminological Reasoning. KI 1994: 142-153
1992
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Visualization and graphical layout in object-oriented systems. J. Vis. Lang. Comput. 3(1): 1-23 (1992)
1991
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth M. Kahn, Vijay A. Saraswat, Volker Haarslev: Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung. GI Jahrestagung 1991: 427-436
1990
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Möller, Volker Haarslev: Layoutspezifikationen für komplexe graphische Objekte. Graphik und KI 1990: 78-91
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: A Framework for Visualizing Object-Oriented Systems. OOPSLA/ECOOP 1990: 237-244
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: A Declarative Formalism for Specifying Graphical Layout. VL 1990: 54-59
1989
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme. Software-Ergonomie 1989: 427-436
1988
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Eine graphische Umgebung zur experimentellen Bildverarbeitung. DAGM-Symposium 1988: 319-325
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev, Ralf Möller: Visualisierung und Animation in der experimentellen Bildauswertung. Visualisierungstechniken und Algorithmen 1988: 213-223
1987
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Haarslev: Eine ergonomische Benutzerschnittstelle für den Anwendungsbereich der Bildfolgenauswertung. Software-Ergonomie 1987: 176-186
1985
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelmut Faasch, Volker Haarslev: Konzeption einer neuen Ada-Programmierumgebung für die Bildfolgenauswertung. DAGM-Symposium 1985: 191-195
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonie S. Dreschler-Fischer, Volker Haarslev: Konzeption für ein Bildverarbeitungssystem zur Lösung des Korrespondenzproblems bei Stereo-Bildfolgen im Rahmen einer komfortablen ADA-Programmierumgebung. Robotersysteme 1: 29-34 (1985)

Coauthor Index

1Ahmed Alasoud [69] [95] [104]
2Michael Anderson [36]
3Mina Aslani [98] [113] [114] [120]
4Christopher J. O. Baker [57] [65] [78]
5Kruthi Bhoopalam [62]
6Gregory Butler (Greg Butler) [57] [65] [78]
7Diego Calvanese [89]
8Philippe Charland [70]
9CuiMing Chen [61]
10Peter Cheng [36]
11Ronald Cornet [50]
12Xi Deng [59] [64] [77] [80] [82]
13Yu Ding [60] [73] [85] [86]
14Leonie S. Dreschler-Fischer [1]
15Helmut Faasch [2]
16Jocelyne Faddoul [97] [102] [109] [110] [115]
17Amineh Fadhil [68] [84]
18Dietrich Fahrenholtz [14]
19Nasim Farsiniamarj (Nasim Farsinia) [97] [102] [108] [111]
20Enrico Franconi [89]
21Francis Gasse [100]
22Mary Hegarty [44]
23Amar Isli [46]
24Kenneth M. Kahn [10]
25Mohamad Kassab [106]
26Domenico Lembo [89]
27Qing Lu [67]
28Ying Lu [52] [54]
29Carsten Lutz [20] [24]
30Wen Jun Meng [70]
31Ralf Möller [4] [5] [6] [7] [8] [9] [11] [12] [18] [20] [21] [22] [24] [25] [26] [27] [28] [29] [30] [31] [32] [34] [35] [37] [38] [39] [40] [41] [42] [43] [45] [46] [47] [48] [49] [50] [51] [53] [55] [56] [63] [71] [74] [90] [97] [99] [102] [109]
32Boris Motik [89]
33N. Hari Narayanan [44]
34Olga Ormandjieva [106]
35Hsueh-Ieng Pai [58] [72] [76] [83] [92] [105]
36Laleh Roosta Pour [121]
37Juergen Rilling [66] [70] [79] [91]
38Vijay A. Saraswat [10]
39Ulrike Sattler [100]
40Carsten Schröder [12]
41Roberto Sebastiani [118]
42Arash Shaban-Nejad [57] [65] [81] [87] [88] [93] [94] [96] [103] [106] [107] [112] [117] [119]
43Nematollaah Shiri [52] [54] [58] [59] [64] [69] [72] [76] [77] [80] [82] [83] [92] [95] [104] [105]
44Ragnhild Van Der Straeten [55]
45Xiao Su [65] [78]
46Sergio Tessaris [89]
47Martina Timmann [43]
48David Toman [116]
49Anni-Yasmin Turhan [21] [22] [28] [33] [38] [89]
50Michele Vescovi [118]
51Sebastian Wandelt [99]
52JiaoYue Wang [61]
53Grant E. Weddell [116]
54Michael Wessel [15] [17] [19] [25] [28] [32] [39] [55] [63] [71] [74]
55René Witte [66] [70] [91]
56Jiewen Wu [86] [101]
57Kejia Wu [122]
58Yonggang Zhang [66] [70] [79] [91]
59Ming Zuo [75]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page