Statistics
Publications
2
Citations
24
H-Index
2
Active since
2004
Affiliations
Helsinki Institute of Physics(Current)
Heikki Tauriainen is an author at Helsinki Institute of Physics specializing in algorithms, model checking, and büchi automata.
Publications per year
2004–2006
2
2
Nested emptiness search for generalized Buchi automata
Heikki Tauriainen · 2004 · 14 citations
Nested emptiness search for generalized Büchi automata
Heikki Tauriainen · 2006 · 10 citations
1–2 of 2