Michael Vanden Boom
|
Michael
Vanden Boom
Research Assistant
michael.vandenboom AT cs DOT ox DOT ac DOT uk
Room 357, Wolfson Building, Parks Road, Oxford OX1 3QD |
Selected Publications
| On the Expressive Power of Cost Logics over Infinite Words Denis Kuperberg and Michael Vanden Boom In 39th International Colloquium on Automata‚ Languages‚ and Programming (ICALP (2) 2012). Pages 287−298. July, 2012. |
| Weak Cost Automata over Infinite Trees Michael Vanden Boom PhD Thesis University of Oxford. October, 2012. |
| Weak Cost Monadic Logic over Infinite Trees Michael Vanden Boom In 36th International Symposium on Mathematical Foundations of Computer Science (MFCS 2011). Pages 580−591. August, 2011. |
Info
|
Themes |
|
|
Supervisor |
|
