Michael Vanden Boom : Publications
|
[1] |
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. |
|
[2] |
Weak Cost Automata over Infinite Trees Michael Vanden Boom PhD Thesis University of Oxford. October, 2012. |
|
[3] |
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. |
|
[4] |
Quasi−Weak Cost Automata: A New Variant of Weakness Denis Kuperberg and Michael Vanden Boom In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011). Pages 66−77. December, 2011. |