Thomas A Henzinger (IST Austria

Identifiers

• name variant Thomas A Henzinger (IST Austria 0.60 · backfill

Papers (1)

1. Expressiveness and Closure Properties for Quantitative Languages cs.LO · 2010 · author #3

Mentions

• 1007.4018 #3 · backfill · confidence 0.70 Thomas A Henzinger (IST Austria

Frequent Coauthors

• EPFL Switzerland) 1 shared papers
• Krishnendu Chatterjee (IST Austria) 1 shared papers
• Laurent Doyen (CNRS France) 1 shared papers