Michael Vanden Boom
|
Michael Vanden Boom
Doctoral Student
Student,
Balliol College
michael.vandenboom AT cs DOT ox DOT ac DOT uk
Room 347, Wolfson Building, Parks Road, Oxford OX1 3QD |
Recent News
Miscellaneous
Oxford papers accepted to the 39th International Colloquium on Automata, Languages and Programming
Selected Publications
| Weak Cost Monadic Logic over Infinite Trees Michael Vanden Boom In 36th International Symposium on Mathematical Foundations of Computer Science (MFCS 2011). August, 2011. |
| Quasi−Weak Cost Automata: A New Variant of Weakness Denis Kuperberg and Michael Vanden Boom
Accepted to FSTTCS 2011. |
Info
|
Themes |
|
|
Supervisor |
|
