Andreas Holzer

Identifiers

• name variant Andreas Holzer 0.60 · backfill

Papers (3)

1. Error Invariants for Concurrent Traces cs.SE · 2016 · author #1
2. Local Linearizability cs.PL · 2015 · author #3
3. On the Structure and Complexity of Rational Sets of Regular Languages cs.FL · 2013 · author #1

Mentions

• 1502.07118 #3 · backfill · confidence 0.70 Andreas Holzer
• 1305.6074 #1 · backfill · confidence 0.70 Andreas Holzer

Frequent Coauthors

• Helmut Veith 2 shared papers
• Ali Sezgin 1 shared papers
• Ana Sokolova 1 shared papers
• Andreas Haas 1 shared papers
• Christian Schallhart 1 shared papers
• Christoph M. Kirsch 1 shared papers
• Daniel Schwartz-Narbonne 1 shared papers
• Georg Weissenbacher 1 shared papers
• Hannes Payer 1 shared papers
• Michael Lippautz 1 shared papers
• Michael Tautschnig 1 shared papers
• Mitra Tabaei Befrouei 1 shared papers
• Thomas A. Henzinger 1 shared papers
• Thomas Wies 1 shared papers