Yngve Lamo

Identifiers

• name variant Yngve Lamo 0.60 · backfill

Papers (6)

1. Towards the Coordination and Verification of Heterogeneous Systems with Data and Time cs.SE · 2025 · author #3
2. BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models cs.SE · 2024 · author #4
3. Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models cs.SE · 2024 · author #5
4. The Visual Debugger Tool cs.SE · 2024 · author #4
5. The Visual Debugger: Past, Present, and Future cs.SE · 2024 · author #4
6. A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems cs.SE · 2023 · author #4

Mentions

• 2508.12325 #3 · arxiv_oai · confidence 0.70 Yngve Lamo
• 2311.05243 #4 · arxiv_oai · confidence 0.70 Yngve Lamo
• 2408.06028 #4 · arxiv_oai · confidence 0.70 Yngve Lamo
• 2407.03965 #5 · arxiv_oai · confidence 0.70 Yngve Lamo
• 2404.12932 #4 · arxiv_oai · confidence 0.70 Yngve Lamo
• 2403.03683 #4 · arxiv_oai · confidence 0.70 Yngve Lamo

Frequent Coauthors

• Adrian Rutle 6 shared papers
• Tim Kr\"auter 6 shared papers
• Harald K\"onig 5 shared papers
• Patrick St\"unkel 3 shared papers
• Francisco Dur\'an 1 shared papers