pith. sign in

Harald K\"onig

Identifiers

  • name variant Harald K\"onig 0.60 · backfill

Papers (8)

  1. Towards the Coordination and Verification of Heterogeneous Systems with Data and Time cs.SE · 2025 · author #4
  2. BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models cs.SE · 2024 · author #5
  3. Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models cs.SE · 2024 · author #4
  4. The Visual Debugger Tool cs.SE · 2024 · author #2
  5. A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems cs.SE · 2023 · author #3
  6. Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput cs.LO · 2019 · author #2
  7. Van Kampen Colimits and Path Uniqueness math.CT · 2017 · author #1
  8. Characterizing Van Kampen Squares via Descent Data cs.DM · 2012 · author #1

Mentions

  • 2508.12325 #4 · arxiv_oai · confidence 0.70 Harald K\"onig
  • 2311.05243 #3 · arxiv_oai · confidence 0.70 Harald K\"onig
  • 2408.06028 #5 · arxiv_oai · confidence 0.70 Harald K\"onig
  • 2407.03965 #4 · arxiv_oai · confidence 0.70 Harald K\"onig
  • 2404.12932 #2 · arxiv_oai · confidence 0.70 Harald K\"onig
  • 1710.09784 #1 · arxiv_oai · confidence 0.70 Harald K\"onig
  • 1911.11302 #2 · arxiv_oai · confidence 0.70 Harald K\"onig
  • 1209.1435 #1 · arxiv_oai · confidence 0.70 Harald K\"onig
  • 1209.1435 #1 · backfill · confidence 0.70 Harald K\"onig

Frequent Coauthors