Concepedia

Jörg Hoffmann

JH

35

Publications

1.3K

Citations

20

H-Index

2001

Active since

Affiliations

Saarland University(Current)

Data61

Australian National University

Max Planck Society

Jörg Hoffmann is an author at Saarland University specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceAutomated ReasoningSystems EngineeringFormal MethodsFormal VerificationArtificial IntelligencePlanningData ScienceRobot Learning

Publications per year

2001–2022

35

Publications

35

The Deterministic Part of IPC-4: An Overview

Jörg Hoffmann, Stefan Edelkamp · Journal of Artificial Intelligence Research · 2005 · 137 citations · Full text

Artificial Intelligence, Engineering, Game Theory +22

Conformant planning via heuristic forward search: A new approach

Jörg Hoffmann, Ronen I. Brafman · Artificial Intelligence · 2006 · 130 citations

Heuristic Forward Search, Engineering, Ai Planning +9

Beyond soundness: on the verification of semantic business process models

Ingo Weber, Jörg Hoffmann, Jan Mendling · Distributed and Parallel Databases · 2010 · 102 citations · Full text

Business Process, Engineering, Formal Modeling +11

Merge-and-Shrink Abstraction

Malte Helmert, Patrik Haslum, Jörg Hoffmann et al. · Journal of the ACM · 2014 · 84 citations · Full text

Relational Queries, Theory Of Computing, Engineering +14

Conformant Planning via Heuristic Forward Search: A New Approach

Ronen I. Brafman, Jörg Hoffmann, Shlomo Zilberstein et al. · 2004 · 74 citations

Rows per page

1–5 of 35