BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Croatia
1 × Finland
1 × Greece
1 × Japan
2 × USA
2 × United Kingdom
Collaborated with:
A.Carayol M.Hague C.H.Broadbent C.L.Ong V.Gripon C.Löding A.Haddad A.S.Murawski A.Meyer
Talks about:
game (5) pushdown (4) collaps (4) recurs (4) scheme (3) automata (2) qualit (2) higher (2) order (2) logic (2)

Person: Olivier Serre

DBLP DBLP: Serre:Olivier

Contributed to:

LICS 20152015
ICFP 20132013
ICALP (2) 20122012
LICS 20122012
LICS 20112011
LICS 20102010
ICALP (2) 20092009
LICS 20082008
FoSSaCS 20062006
ICALP 20042004

Wrote 12 papers:

LICS-2015-CarayolS #game studies #how #question
How Good Is a Strategy in a Game with Nature? (AC, OS), pp. 609–620.
ICFP-2013-BroadbentCHS #approach #higher-order #named #verification
C-SHORe: a collapsible approach to higher-order verification (CHB, AC, MH, OS), pp. 13–24.
ICALP-v2-2012-BroadbentCHS #automaton
A Saturation Method for Collapsible Pushdown Systems (CHB, AC, MH, OS), pp. 165–176.
LICS-2012-CarayolS #automaton #effectiveness #equivalence #recursion #safety
Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection (AC, OS), pp. 165–174.
Qualitative Tree Languages (AC, AH, OS), pp. 13–22.
LICS-2010-BroadbentCOS #logic #recursion
Recursion Schemes and Logical Reflection (CHB, AC, CHLO, OS), pp. 120–129.
ICALP-v2-2009-GriponS #concurrent #game studies #probability
Qualitative Concurrent Stochastic Games with Imperfect Information (VG, OS), pp. 200–211.
LICS-2008-CarayolHMOS #automaton #game studies #higher-order
Winning Regions of Higher-Order Pushdown Games (AC, MH, AM, CHLO, OS), pp. 193–204.
LICS-2008-HagueMOS #automaton #recursion
Collapsible Pushdown Automata and Recursion Schemes (MH, ASM, CHLO, OS), pp. 452–461.
FoSSaCS-2006-LodingS #logic #recursion #source code
Propositional Dynamic Logic with Recursive Programs (CL, OS), pp. 292–306.
FoSSaCS-2006-Serre #game studies #graph #process
Parity Games Played on Transition Graphs of One-Counter Processes (OS), pp. 337–351.
ICALP-2004-Serre #complexity #game studies
Games with Winning Conditions of High Borel Complexity (OS), pp. 1150–1162.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.