OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Dr Stephan Kreutzer Reader in Computer ScienceNon-Tutorial Fellow, Linacre College+44 (0)1865 6 10759+44-1865-273 839 (Fax)
Room 414, Wolfson Building, Parks Road, Oxford OX1 3QD
My research interests are in logic in computer science, in particular
Publications Teaching Personal Page: contact details and further information
selected publications (View all)
On Brambles, Grid-Like Minors, and Parameterized Intractability of Monadic Second-Order Logic
Stephan Kreutzer, Siamak Tazari
In Symposium on Discrete Algorithms (SODA) 2010.
Details | BibTeX | Link (pdf)
On the Parameterised Intractability of Monadic Second-Order Logic
Stephan Kreutzer
In Computer Science Logic (CSL) 2009.
Algorithmic Meta-Theorems
In International Workshop on Exact and Parameterized Computation (IWPEC) 2008.
themes
Information Systems
projects
Analysis of evaluation and satisfiability problems
student
Sebastian Ordyniak
