Martin Strecker

Identifiers

• name variant Martin Strecker 0.60 · backfill

Papers (3)

1. On the Verification of Logically Decorated Graph Transformations cs.LO · 2018 · author #3
2. Abstracting an operational semantics to finite automata cs.PL · 2014 · author #4
3. SROIQsigma is decidable cs.LO · 2014 · author #3

Mentions

• 1409.7841 #4 · backfill · confidence 0.70 Martin Strecker
• 1406.6605 #3 · backfill · confidence 0.70 Martin Strecker

Frequent Coauthors

• Jon Ha\"el Brenas 2 shared papers
• Rachid Echahed 2 shared papers
• Jan-Georg Smaus 1 shared papers
• Nadezhda Baklanova 1 shared papers
• Wilmer Ricciotti 1 shared papers