Daniel Thoma

Identifiers

• name variant Daniel Thoma 0.60 · backfill

Papers (5)

1. Runtime Verification For Timed Event Streams With Partial Information cs.LO · 2019 · author #5
2. TeSSLa: Temporal Stream-based Specification Language cs.FL · 2018 · author #6
3. Model-checking Counting Temporal Logics on Flat Structures cs.LO · 2017 · author #5
4. On Freeze LTL with Ordered Attributes cs.LO · 2015 · author #2
5. Ordered Navigation on Multi-attributed Data Words cs.LO · 2014 · author #4

Mentions

• 1504.06355 #2 · backfill · confidence 0.70 Daniel Thoma
• 1404.6064 #4 · backfill · confidence 0.70 Daniel Thoma

Frequent Coauthors

• Martin Leucker 4 shared papers
• Normann Decker 3 shared papers
• Malte Schmitz 2 shared papers
• Peter Habermehl 2 shared papers
• Torben Scheffel 2 shared papers
• Arnaud Sangnier 1 shared papers
• C\'esar S\'anchez 1 shared papers
• Lukas Convent 1 shared papers
• Sebastian Hungerecker 1 shared papers