Knowledge-Based Systems Group ▲ Sign in to save

• ▲ Wil M. P. van der Aalst

  Schiller International University · Fraunhofer Institute for Applied Information Technology Business, Management and Accounting
  103k

  citations

  148

  h-index

  476

  Aachen papers
• ▲ Matthias Jarke

  Computer Science
  15.6k

  citations

  59

  h-index

  65

  Aachen papers
• ▲ Christian Brecher

  RWTH Aachen University Engineering
  12.4k

  citations

  42

  h-index

  280

  Aachen papers
• ▲ Gerhard Lakemeyer

  RWTH Aachen University Computer Science
  5.42k

  citations

  33

  h-index

  73

  Aachen papers
• ▲ Tim Niemueller

  RWTH Aachen University Computer Science
  590

  citations

  14

  h-index

  2

  Aachen papers
• ▲ Martin Liebenberg

  RWTH Aachen University Engineering
  392

  citations

  8

  h-index

  8

  Aachen papers
• ▲ Till Hofmann

  RWTH Aachen University Computer Science
  94

  citations

  5

  h-index

  21

  Aachen papers
• ▲ Alex Mitrevski

  Hochschule Bonn-Rhein-Sieg · Fraunhofer Institute for Intelligent Analysis and Information Systems Engineering
  85

  citations

  6

  h-index

  1

  Aachen papers
• ▲ Mohamed Behery

  RWTH Aachen University Engineering
  68

  citations

  5

  h-index

  17

  Aachen papers
• ▲ Mostafa M. Gomaa

  RWTH Aachen University Computer Science
  61

  citations

  5

  h-index

  1

  Aachen papers
• ▲ Hayyan Helal

  RWTH Aachen University Business, Management and Accounting
  27

  citations

  3

  h-index

  11

  Aachen papers
• ▲ Tarik Viehmann

  RWTH Aachen University Computer Science
  25

  citations

  3

  h-index

  15

  Aachen papers
• ▲ Daniel Habering

  RWTH Aachen University Computer Science
  7

  citations

  1

  h-index

  2

  Aachen papers
• ▲ Daniel Swoboda

  RWTH Aachen University Engineering
  3

  citations

  1

  h-index

  5

  Aachen papers

14 results

• Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories

  2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

  0

  citations