Johann Blieberger

Identifiers

• name variant Johann Blieberger 0.60 · backfill

Papers (3)

1. Safe Non-blocking Synchronization in Ada 202x cs.PL · 2018 · author #1
2. Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints cs.DC · 2015 · author #3
3. Shared Memory Concurrent System Verification using Kronecker Algebra cs.LO · 2011 · author #2

Mentions

• 1109.5522 #2 · backfill · confidence 0.70 Johann Blieberger

Frequent Coauthors

• Bernd Burgstaller 2 shared papers
• Minyoung Jung 1 shared papers
• Robert Mittermayr 1 shared papers