Olivier Serre

Olivier Serre

Université Paris Cité - Paris / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4728092
Paris City University
person_outline Olivier Serre's MOST POPULAR ARTICLES
1-) Collapsible pushdown automata and recursion schemes M Hague, AS Murawski, CHL Ong, O Serre 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 452-461, 2008 1622008
2-) Visibly pushdown gamesC Löding, P Madhusudan, O SerreInternational Conference on Foundations of Software Technology and …, 2004882004
3-) Parity games played on transition graphs of one-counter processes O Serre International Conference on Foundations of Software Science and Computation …, 2006 802006
4-) Recursion schemes and logical reflectionCH Broadbent, A Carayol, CHL Ong, O Serre2010 25th Annual IEEE Symposium on Logic in Computer Science, 120-129, 2010692010
5-) Regularity problems for visibly pushdown languagesV Bárány, C Löding, O SerreSTACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science …, 2006612006