Igor Walukiewicz

1. Alternating Timed Automata
   2005/12/08 by Sławomir Lasota, Igor Walukiewicz, Lasota, Slawomir +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #semigroups and automata theory
2. The Diagonal Problem for Higher-Order Recursion Schemes is Decidable
   2016/05/02 by Lorenzo Clemente, Clemente, Lorenzo, Paweł Parys +5 · 1 citation
   Computer Science · #semigroups and automata theory #Formal Methods in Verification #Logic, programming, and type systems
3. The Complexity of Games on Higher Order Pushdown Automata
   2007/05/02 by Thierry Cachat, Cachat, Thierry, Igor Walukiewicz +1 · 1 citation
   Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems