default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVolker Haarslev
Person information
- affiliation: Concordia University, Montreal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j19]Razieh Mehri, Volker Haarslev
, Hamidreza Chinaei:
A machine learning approach for optimizing heuristic decision-making in Web Ontology Language reasoners. Comput. Intell. 37(1): 273-314 (2021)
2010 – 2019
- 2019
- [j18]Zixi Quan, Volker Haarslev:
A parallel computing architecture for high-performance OWL reasoning. Parallel Comput. 83: 34-46 (2019) - [i6]Razieh Mehri, Volker Haarslev, Hamidreza Chinaei:
Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners. CoRR abs/1904.09443 (2019) - [i5]Zixi Quan, Volker Haarslev:
A Framework for Parallelizing OWL Classification in Description Logic Reasoners. CoRR abs/1906.07749 (2019) - 2018
- [c118]Humaira Farid, Volker Haarslev:
Handling Nominals and Inverse Roles using Algebraic Reasoning. Description Logics 2018 - [i4]Humaira Farid, Volker Haarslev:
Handling Nominals and Inverse Roles using Algebraic Reasoning. CoRR abs/1810.00916 (2018) - [i3]Razieh Mehri, Volker Haarslev, Hamidreza Chinaei:
Optimizing Heuristics for Tableau-based OWL Reasoners. CoRR abs/1810.06617 (2018) - 2017
- [c117]Nikoo Zolfaghar Karahroodi, Volker Haarslev:
A Consequence-based Algebraic Calculus for SHOQ. Description Logics 2017 - [c116]Razieh Mehri, Volker Haarslev:
Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning. Description Logics 2017 - [c115]Jelena Vlasenko, Volker Haarslev, Brigitte Jaumard:
Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions. FroCoS 2017: 95-112 - [c114]Zixi Quan, Volker Haarslev:
A Parallel Shared-Memory Architecture for OWL Ontology Classification. ICPP Workshops 2017: 200-209 - 2016
- [j17]Ralf Möller, Özgür L. Özçep, Volker Haarslev, Anahita Nafissi, Michael Wessel:
Abductive Conjunctive Query Answering w.r.t. Ontologies. Künstliche Intell. 30(2): 177-182 (2016) - [c113]Jelena Vlasenko, Maryam Daryalal, Volker Haarslev, Brigitte Jaumard:
A Saturation-based Algebraic Reasoner for ELQ. PAAR@IJCAR 2016: 110-124 - 2015
- [j16]Arash Shaban-Nejad, Volker Haarslev:
Managing changes in distributed biomedical ontologies using hierarchical distributed graph transformation. Int. J. Data Min. Bioinform. 11(1): 53-83 (2015) - 2013
- [c112]Volker Haarslev:
Speed-forming your ontology or how to improve reasoning performance for your OWL ontology. CSWS 2013: 3 - [c111]Kejia Wu, Volker Haarslev:
Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning. Description Logics 2013: 1011-1023 - [c110]Kejia Wu, Volker Haarslev:
Parallel OWL Reasoning: Merge Classification. JIST 2013: 211-227 - [c109]Ming Zuo, Volker Haarslev:
Intelligent Tableau Algorithm for DL Reasoning. TABLEAUX 2013: 273-287 - 2012
- [j15]Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel:
The RacerPro knowledge representation and reasoning system. Semantic Web 3(3): 267-277 (2012) - [c108]Jinan El-Hachem, Volker Haarslev:
When Mommy Blogs Are Semantically Tagged. JIST 2012: 313-318 - [c107]Mina Aslani, Volker Haarslev:
Concurrent Classification of OWL Ontologies - An Empirical Evaluation. Description Logics 2012 - [c106]Laleh Roosta Pour, Volker Haarslev:
Algebraic Reasoning for SHIQ. Description Logics 2012 - [c105]Kejia Wu, Volker Haarslev:
A Parallel Reasoner for the Description Logic ALC. Description Logics 2012 - [c104]Jinan El-Hachem, Arash Shaban-Nejad, Volker Haarslev, Laurette Dubé, David L. Buckeridge:
An OWL 2-Based Knowledge Platform Combining the Social and Semantic Webs for an Ambient Childhood Obesity Prevention System. ANT/MobiWIS 2012: 110-119 - 2011
- [c103]Arash Shaban-Nejad, Volker Haarslev:
An enhanced graph-oriented approach for change management in distributed biomedical ontologies and linked data. BIBM Workshops 2011: 615-622 - [c102]Volker Haarslev, Roberto Sebastiani, Michele Vescovi:
Automated Reasoning in ALCQ\mathcal{ALCQ} via SMT. CADE 2011: 283-298 - [c101]Arash Shaban-Nejad, Volker Haarslev:
An abstract representation model for evolutionary analysis of multi-agent interactions. IEEE Congress on Evolutionary Computation 2011: 2002-2009 - 2010
- [j14]Nasim 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) - [j13]Jocelyne Faddoul, Volker Haarslev:
Algebraic tableau reasoning for the description logic SHOQ. J. Appl. Log. 8(4): 334-355 (2010) - [c100]Mina Aslani, Volker Haarslev:
TBox Classification in Parallel: Design and First Evaluation. Description Logics 2010 - [c99]Jocelyne Faddoul, Volker Haarslev:
Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results. Description Logics 2010 - [c98]Mina Aslani, Volker Haarslev:
Parallel TBox Classification in Description Logics - First Experimental Results. ECAI 2010: 485-490 - [c97]Arash Shaban-Nejad, Volker Haarslev:
Strategic Health Information Management and Forecast: The Birdwatching Approach. ICCCI (3) 2010: 457-468 - [e4]Volker 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 Workshop Proceedings 573, CEUR-WS.org 2010 [contents]
2000 – 2009
- 2009
- [j12]Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri:
A formal framework for description logics with uncertainty. Int. J. Approx. Reason. 50(9): 1399-1415 (2009) - [j11]Ahmed Alasoud, Volker Haarslev, Nematollaah Shiri:
An empirical comparison of ontology matching techniques. J. Inf. Sci. 35(4): 379-397 (2009) - [c96]Jocelyne Faddoul, Volker Haarslev, Ralf Möller:
Algebraic Tableau Algorithm for ALCOQ. Description Logics 2009 - [c95]Nasim Farsinia, Volker Haarslev:
Optimizing Reasoning with Qualified Number Restrictions in SHQ. Description Logics 2009 - [p4]Ralf Möller, Volker Haarslev:
Tableau-Based Reasoning. Handbook on Ontologies 2009: 509-528 - [p3]Arash Shaban-Nejad, Volker Haarslev:
Bio-medical Ontologies Maintenance and Change Management. Biomedical Data and Applications 2009: 143-168 - [i2]Arash 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) - 2008
- [j10]Yonggang Zhang, René Witte, Juergen Rilling, Volker Haarslev:
Ontological approach for the semantic recovery of traceability links between software artefacts. IET Softw. 2(3): 185-203 (2008) - [j9]Volker Haarslev, Ralf Möller:
On the Scalability of Description Logic Instance Retrieval. J. Autom. Reason. 41(2): 99-142 (2008) - [c94]Arash Shaban-Nejad, Volker Haarslev:
Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference versus cladistics. BIBE 2008: 1-7 - [c93]Mina Aslani, Volker Haarslev:
Towards Parallel Classification of TBoxes. Description Logics 2008 - [c92]Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller:
A Hybrid Tableau Algorithm for ALCQ. Description Logics 2008 - [c91]Francis Gasse, Ulrike Sattler, Volker Haarslev:
Rewriting Rules into SROIQ Axioms. Description Logics 2008 - [c90]Ralf Möller, Volker Haarslev, Sebastian Wandelt:
The Revival of Structural Subsumption in Tableau-based Reasoners. Description Logics 2008 - [c89]Jiewen Wu, Volker Haarslev:
Planning of Axiom Absorption. Description Logics 2008 - [c88]Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller:
A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. ECAI 2008: 725-726 - [c87]Arash Shaban-Nejad, Volker Haarslev:
An ontology-empowered model for annotating protein-protein interaction data: a case study for budding yeast. IRI 2008: 357-362 - [c86]Ahmed Alasoud, Volker Haarslev, Nematollaah Shiri:
An Effective Ontology Matching Technique. ISMIS 2008: 585-590 - [c85]Arash Shaban-Nejad, Volker Haarslev:
Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education. ITiCSE 2008: 375 - [c84]Arash Shaban-Nejad, Volker Haarslev:
Incremental Biomedical Ontology Change Management through Learning Agents. KES-AMSTA 2008: 526-535 - [c83]Francis Gasse, Volker Haarslev:
DLRule: A Rule Editor plug-in for Protege. OWLED (Spring) 2008 - [c82]Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri:
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic. URSW (LNCS Vol.) 2008: 385-402 - 2007
- [j8]Xi Deng, Volker Haarslev, Nematollaah Shiri:
Using Patterns to Explain Inferences in. Comput. Intell. 23(3): 373-392 (2007) - [c81]Arash Shaban-Nejad, Volker Haarslev:
Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus. AIME 2007: 277-286 - [c80]Arash Shaban-Nejad, Volker Haarslev:
Managing Conceptual Revisions in a Temporal Fungal Taxonomy. CBMS 2007: 624-632 - [c79]Yu Ding, Volker Haarslev:
An ExpTime Tableau Decision Procedure for ALCQI. Description Logics 2007 - [c78]Yu Ding, Volker Haarslev, Jiewen Wu:
A New Mapping from ALCI to ALC. Description Logics 2007 - [c77]Amineh Fadhil, Volker Haarslev:
OntoVQL: A Graphical Query Language for OWL Ontologies. Description Logics 2007 - [c76]Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri:
Optimizing Tableau Reasoning in ALC Extended with Uncertainty. Description Logics 2007 - [c75]Xi Deng, Volker Haarslev, Nematollaah Shiri:
Measuring Inconsistencies in Ontologies. ESWC 2007: 326-340 - [c74]Arash Shaban-Nejad, Volker Haarslev:
Towards a framework for requirement change management in healthcare software applications. OOPSLA Companion 2007: 807-808 - [c73]Shamima Mithun, Leila Kosseim, Volker Haarslev:
Resolving Quantifier and Number Restriction to Question OWL Ontologies. SKG 2007: 218-223 - [e3]Diego 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 Workshop Proceedings 250, CEUR-WS.org 2007 [contents] - 2006
- [j7]Christopher J. O. Baker, Arash Shaban-Nejad, Xiao Su, Volker Haarslev, Greg Butler:
Semantic web infrastructure for fungal enzyme biotechnologists. J. Web Semant. 4(3): 168-180 (2006) - [c72]Yonggang Zhang, Juergen Rilling, Volker Haarslev:
An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns. COMPSAC (1) 2006: 333-342 - [c71]Christopher J. O. Baker, Xiao Su, Greg Butler, Volker Haarslev:
Ontoligent Interactive Query Tool. CSWWS 2006: 155-169 - [c70]Xi Deng, Volker Haarslev, Nematollaah Shiri:
Resolution Based Explanations for Reasoning in the Description Logic ALC. CSWWS 2006: 189-204 - [c69]Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri:
Completion Rules for Uncertainty Reasoning with the Description Logic ALC. CSWWS 2006: 205-225 - [c68]Yu Ding, Volker Haarslev:
Tableau Caching for Description Logics with Inverse and Transitive Roles. Description Logics 2006 - [c67]Ralf Möller, Volker Haarslev, Michael Wessel:
On the Scalability of Description Logic Instance Retrieval. Description Logics 2006 - [c66]Ming Zuo, Volker Haarslev:
High Performance Absorption Algorithms for Terminological Reasoning. Description Logics 2006 - [c65]Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri:
Uncertainty Reasoning in Description Logics: A Generic Approach. FLAIRS 2006: 818-823 - [c64]Ralf Möller, Volker Haarslev, Michael Wessel:
On the Scalability of Description Logic Instance Retrieval. KI 2006: 188-201 - [c63]Juergen 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 - [c62]Ahmed Alasoud, Volker Haarslev, Nematollaah Shiri:
A Multi-level Matching Algorithm for Combining Similarity Measures in Ontology Integration. ODBIS 2006: 1-17 - [c61]Amineh Fadhil, Volker Haarslev:
GLOO: A Graphical Query Language for OWL Ontologies. OWLED 2006 - [c60]Qing Lu, Volker Haarslev:
OntoKBEval: DL-based Evaluation of OWL Ontologies. OWLED 2006 - [c59]Yonggang Zhang, René Witte, Juergen Rilling, Volker Haarslev:
Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution. WSE 2006: 41-49 - 2005
- [c58]Kruthi Bhoopalam, Volker Haarslev:
Fire - Extending Racer by an Engine for SWRL Rules. Description Logics 2005 - [c57]CuiMing Chen, Volker Haarslev, JiaoYue Wang:
LAS: Extending Racer by a Large ABox Store. Description Logics 2005 - [c56]Xi Deng, Volker Haarslev, Nematollaah Shiri:
A Resolution Based Framework to Explain Reasoning in Description Logics. Description Logics 2005 - [c55]Yu Ding, Volker Haarslev:
Towards Efficient Reasoning for Description Logics with Inverse Roles. Description Logics 2005 - [c54]Volker Haarslev, Ralf Möller, Michael Wessel:
Description Logic Inference Technology: Lessions Learned in the Trenches. Description Logics 2005 - [c53]Xi Deng, Volker Haarslev, Nematollaah Shiri:
A Framework for Explaining Reasoning in Description Logics. ExaCt 2005: 55-61 - [c52]Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri:
A Generic Framework for Description Logics with Uncertainty. ISWC-URSW 2005: 77-86 - [c51]Arash Shaban-Nejad, Christopher J. O. Baker, Volker Haarslev, Greg Butler:
The FungalWeb Ontology: Semantic Web Challenges in Bioinformatics and Genomics. ISWC 2005: 1063-1066 - 2004
- [c50]Volker Haarslev, Ying Lu, Nematollaah Shiri:
OntoXpl: Exploration of OWL Ontologies. Description Logics 2004 - [c49]Volker 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 - [c48]Volker Haarslev, Ralf Möller:
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. KR 2004: 163-174 - [c47]Volker Haarslev, Ying Lu, Nematollaah Shiri:
ONTOXPL - Intelligent Exploration of OWL Ontologies. Web Intelligence 2004: 624-627 - [e2]Volker Haarslev, Ralf Möller:
Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. CEUR Workshop Proceedings 104, CEUR-WS.org 2004 [contents] - 2003
- [j6]Ralf Möller, Volker Haarslev:
Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems. Künstliche Intell. 17(3): 10- (2003) - [c46]Volker Haarslev, Ralf Möller:
Incremental Query Answering for Implementing Document Retrieval Services. Description Logics 2003 - [c45]Ralf Möller, Ronald Cornet, Volker Haarslev:
Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents. Description Logics 2003 - [c44]Volker Haarslev, Ralf Möller:
Racer: A Core Inference Engine for the Semantic Web. EON 2003 - [c43]Volker Haarslev, Ralf Möller:
Description Logic Systems with Concrete Domains: Applications for the Semantic Web. KRDB 2003 - [p2]Ralf Möller, Volker Haarslev:
Description Logic Systems. Description Logic Handbook 2003: 282-305 - [i1]Amar Isli, Volker Haarslev, Ralf Möller:
Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning. CoRR cs.AI/0307048 (2003) - 2002
- [j5]Mary Hegarty, Volker Haarslev, N. Hari Narayanan:
Diagrammatic Reasoning. Künstliche Intell. 16(4): 38-39 (2002) - [c42]Volker Haarslev, Ralf Möller:
Optimization Strategies for Instance Retrieval. Description Logics 2002 - [c41]Volker Haarslev, Ralf Möller:
Practical Reasoning in RACER with a Concrete Domain for Linear Inequations. Description Logics 2002 - [c40]Alissa Kaplunova, Volker Haarslev, Ralf Möller:
Adding ternary complex roles to ALCRP(D). Description Logics 2002 - [p1]Volker Haarslev, Ralf Möller, Michael Wessel:
Visual Spatial Query Languages: A Semantics Using Description Logic. Diagrammatic Representation and Reasoning 2002: 387-403 - 2001
- [c39]Volker Haarslev, Ralf Möller, Michael Wessel:
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. IJCAR 2001: 29-44 - [c38]Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan:
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. IJCAR 2001: 61-75 - [c37]Volker Haarslev, Ralf Möller:
RACER System Description. IJCAR 2001: 701-706 - [c36]Volker Haarslev, Ralf Möller:
Description of the RACER System and its Applications. Description Logics 2001 - [c35]Volker Haarslev, Ralf Möller:
Optimizing Reasoning in Description Logics with Qualified Number Restrictions. Description Logics 2001 - [c34]Volker Haarslev, Martina Timmann, Ralf Möller:
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. Description Logics 2001 - [c33]Volker Haarslev, Ralf Möller:
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. IJCAI 2001: 161-168 - 2000
- [c32]Volker Haarslev, Ralf Möller:
High Performance Reasoning with Very Large Knowledge Bases. Description Logics 2000: 143-152 - [c31]Volker Haarslev, Ralf Möller:
Optimizing TBox and ABox Reasoning with Pseudo Models. Description Logics 2000: 153-162 - [c30]Anni-Yasmin Turhan, Volker Haarslev:
Adapting Optimization Techniques to Description Logics with Concrete Domains. Description Logics 2000: 247-256 - [c29]Michael Wessel, Volker Haarslev, Ralf Möller:
ALCRA - ALC with Role Axioms. Description Logics 2000: 267-276 - [c28]Volker Haarslev, Ralf Möller:
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. KR 2000: 273-284 - [c27]Volker Haarslev, Ralf Möller:
Consistency Testing: The RACE Experience. TABLEAUX 2000: 57-61 - [e1]Michael Anderson, Peter C.-H. Cheng, Volker Haarslev:
Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings. Lecture Notes in Computer Science 1889, Springer 2000, ISBN 3-540-67915-4 [contents]
1990 – 1999
- 1999
- [j4]Volker 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) - [j3]Volker Haarslev:
A Logic-based Formalism for Reasoning about Visual Representations. J. Vis. Lang. Comput. 10(4): 421-445 (1999) - [c26]Volker Haarslev, Ralf Möller:
An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. Description Logics 1999 - [c25]Volker Haarslev, Ralf Möller:
RACE System Description. Description Logics 1999 - [c24]Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel:
On Terminological Default Reasoning about Spatial Information: Extended Abstract. Description Logics 1999 - [c23]Volker Haarslev, Ralf Möller:
Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. TABLEAUX 1999: 24-28 - [c22]Volker Haarslev, Ralf Möller, Michael Wessel:
On Specifying Semantics of Visual Spatial Query Languages. VL 1999: 4-11 - 1998
- [c21]Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan:
HAM-ALC. Description Logics 1998 - [c20]Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan:
Implementing an ALCRP(D) ABox Reasoner - Progress Report. Description Logics 1998 - [c19]Volker Haarslev, Carsten Lutz, Ralf Möller:
Foundations of Spatioterminological Reasoning with Description Logics. KR 1998: 112-123 - [c18]Michael Wessel, Volker Haarslev:
VISCO: Bringing Visual Spatial Querying to Reality. VL 1998: 170-177 - 1997
- [c17]Volker Haarslev, Ralf Möller:
Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences. Description Logics 1997 - [c16]Volker Haarslev, Michael Wessel:
Querying GIS with Animated Spatial Sketches. VL 1997: 201-208 - 1996
- [c15]Volker Haarslev:
Using Description Logic for Reasoning about Diagrammatical Notations. Description Logics 1996: 124-128 - [c14]Volker Haarslev, Michael Wessel:
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations. VL 1996: 204-211 - 1995
- [c13]Dietrich Fahrenholtz, Volker Haarslev:
Visualization of Strand(tm) Processes. VL 1995: 114-115 - [c12]Volker Haarslev:
Formal Semantics of Visual Languages using Spatial Reasoning. VL 1995: 156-163 - 1994
- [c11]Volker Haarslev, Ralf Möller, Carsten Schröder:
Combining Spatial and Terminological Reasoning. KI 1994: 142-153 - 1992
- [j2]Volker Haarslev, Ralf Möller:
Visualization and graphical layout in object-oriented systems. J. Vis. Lang. Comput. 3(1): 1-23 (1992) - 1991
- [c10]Kenneth M. Kahn, Vijay A. Saraswat, Volker Haarslev:
Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung. GI Jahrestagung 1991: 427-436 - 1990
- [c9]Ralf Möller, Volker Haarslev:
Layoutspezifikationen für komplexe graphische Objekte. Graphik und KI 1990: 78-91 - [c8]Volker Haarslev, Ralf Möller:
A Framework for Visualizing Object-Oriented Systems. OOPSLA/ECOOP 1990: 237-244 - [c7]Volker Haarslev, Ralf Möller:
A Declarative Formalism for Specifying Graphical Layout. VL 1990: 54-59
1980 – 1989
- 1989
- [c6]Volker Haarslev, Ralf Möller:
Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme. Software-Ergonomie 1989: 427-436 - 1988
- [c5]Volker Haarslev, Ralf Möller:
Eine graphische Umgebung zur experimentellen Bildverarbeitung. DAGM-Symposium 1988: 319-325 - [c4]Volker Haarslev, Ralf Möller:
Visualisierung und Animation in der experimentellen Bildauswertung. Visualisierungstechniken und Algorithmen 1988: 213-223 - [c3]Volker Haarslev, Ralf Möller:
Visualization of experimental systems. VL 1988: 175-182 - 1987
- [c2]Volker Haarslev:
Eine ergonomische Benutzerschnittstelle für den Anwendungsbereich der Bildfolgenauswertung. Software-Ergonomie 1987: 176-186 - 1986
- [b1]Volker Haarslev:
Interaktion in Systemen zur Bildfolgenauswertung, basierend auf einem objektorientierten Ansatz. University of Hamburg, Germany, 1986, pp. 1-193 - 1985
- [j1]Leonie 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) - [c1]Helmut Faasch, Volker Haarslev:
Konzeption einer neuen Ada-Programmierumgebung für die Bildfolgenauswertung. DAGM-Symposium 1985: 191-195
Coauthor Index
[j17] [j15] [c96] [p4] [j9] [c92] [c90] [c88] [c67] [c64] [c54] [c49] [c48] [e2] [j6] [c46] [c45] [c44] [c43] [p2] [i1] [c42] [c41] [c40] [p1] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c29] [c28] [c27] [j4] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c17] [c11] [j2] [c9] [c8] [c7] [c6] [c5] [c4] [c3]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
