Concepedia

Dominik Schoop

DS

5

Publications

133

Citations

5

H-Index

1995

Active since

Affiliations

University of Manchester(Current)

Dominik Schoop is an author at University of Manchester specializing in computational geometry, geometric modeling, and geometry.

Top concepts

GeometryNatural SciencesDiscrete GeometryGeometry ModelingComputational GeometryLanguageSemanticsEngineeringLinguisticsDiscrete Differential Geometry

Publications per year

1995–2018

5

Publications

5

A Complete Axiom System for Polygonal Mereotopology of the Real Plane

Ian Pratt‐Hartmann, Dominik Schoop · Journal of Philosophical Logic · 1998 · 65 citations

Geometric Modeling, Discrete Geometry, Geometric Algorithm +9

Expressivity in polygonal, plane mereotopology

Ian Pratt‐Hartmann, Dominik Schoop · Journal of Symbolic Logic · 2000 · 31 citations

Geometry, Higher-order Logic, Semantics +18

The compositional approach for representing medical concept systems.

Jochen Bernauer, Martin Franz, Dominik Schoop et al. · PubMed · 1995 · 13 citations

Knowledge Representation, Partitive Relations, Expressive Formalism +14

A Formal Model to Facilitate Security Testing in Modern Automotive Systems

Eduardo dos Santos, Andrew Simpson, Dominik Schoop · Electronic Proceedings in Theoretical Computer Science · 2018 · 13 citations · Full text

Elementary Polyhedral Mereotopology

Ian Pratt‐Hartmann, Dominik Schoop · Journal of Philosophical Logic · 2002 · 11 citations

Geometric Modeling, Discrete Geometry, Engineering +7

Rows per page

1–5 of 5