Stephan Kreutzer

Dr Stephan Kreutzer

Professor of Computer Science

Former Member

Non-Tutorial Fellow, Linacre College

Themes:

• Data, Knowledge and Action

Completed Projects:

• more…

See Also:

• Publications
• Teaching
• Personal Page: contact details and further information

Interests

• computational model theory,
• applications to graph algorithms,
• finite model theory,
• database and descriptive complexity theory,
• verification.

Selected Publications

View AllManage 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 about On Brambles‚ Grid−Like Minors‚ and Parameterized Intractability of Monadic Second−Order Logic | BibTeX data for On Brambles‚ Grid−Like Minors‚ and Parameterized Intractability of Monadic Second−Order Logic | Download (pdf) of On Brambles‚ Grid−Like Minors‚ and Parameterized Intractability of Monadic Second−Order Logic

• On the Parameterised Intractability of Monadic Second−Order Logic

  Stephan Kreutzer

  In Computer Science Logic (CSL). 2009.

  Details about On the Parameterised Intractability of Monadic Second−Order Logic | BibTeX data for On the Parameterised Intractability of Monadic Second−Order Logic | Download (pdf) of On the Parameterised Intractability of Monadic Second−Order Logic

• Algorithmic Meta−Theorems

  Stephan Kreutzer

  In International Workshop on Exact and Parameterized Computation (IWPEC). 2008.

  Details about Algorithmic Meta−Theorems | BibTeX data for Algorithmic Meta−Theorems | Download (pdf) of Algorithmic Meta−Theorems

Completed Projects

• Analysis of evaluation and satisfiability problems

Past Student