Stephan Kreutzer
|
Dr
Stephan
Kreutzer
Room 414, Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
My research interests are in logic in computer science, in particular- computational model theory,
- applications to graph algorithms,
- finite model theory,
- database and descriptive complexity theory,
- verification.
Links
Publications
Teaching
Personal Page: contact details and further information
Selected Publications
| On Brambles‚ Grid−Like Minors‚ and Parameterized Intractability of Monadic Second−Order Logic Stephan Kreutzer and 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. Details | BibTeX | Link (pdf) |
| Algorithmic Meta−Theorems Stephan Kreutzer In International Workshop on Exact and Parameterized Computation (IWPEC). 2008. Details | BibTeX | Link (pdf) |
Info
|
Themes |
|
|
Projects |
|
|
Student |