Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation. - Alexander Scivos; Bernhard Nebel (COSIT, 2001)

Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning. - Bernhard Nebel; Alexander Scivos (Künstliche Intell., 2002)

The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning. - Alexander Scivos; Bernhard Nebel (Spatial Cognition, 2004)

Dependency Calculus: Reasoning in a General Point Relation Algebra. - Marco Ragni; Alexander Scivos (KI, 2005)

Reachability and Dependency Calculi: Reasoning in Network Algebras. - Alexander Scivos (Spatial Cognition, 2006)