@incollection{Weyer2002,
  author = "Mark Weyer",
  title = "Decidability of {S1S} and {S2S}",
  booktitle = "Automata, Logics, and Infinite Games: A Guide to Current Research",
  publisher = "Springer",
  year = 2002,
  editor = "Erich Gr{\"a}del and Wolfgang Thomas and Thomas Wilke",
  number = "2500",
  series = "Lecture Notes in Computer Science",
  chapter = "12",
  pages = "207--230"
}

@inproceedings{BlumensathOttoWeyer2009,
  author = "Achim Blumensath and Martin Otto and Mark Weyer",
  title = "Boundedness of Monadic Second-Order Formulae over Finite Words",
  booktitle = "Automata, Languages and Programming, 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5--12, 2009. Proceedings, Part II",
  year = 2009,
  editor = "Susanne Albers and Alberto Marchetti-Spaccamela and Yossi Matias and Sotiris Nikoletseas and Wolfgang Thomas",
  number = "5556",
  series = "Lecture Notre in Computer Science -- Advanced Research in Computing and Software Science",
  pages = "67--78",
  publisher = "Springer"
}


@article{DowneyFlumGroheWeyer2007,
  author = "Rod Downey and J{\"o}rg Flum and Martin Grohe and Mark Weyer",
  title = "Bounded fixed-parameter tractability and reducibility",
  journal = "Annals of Pure and Applied Logic",
  year = 2007,
  volume = "148",
  pages = "1--19"
}


@inproceedings{BodlaenderFellowsLangstonRaganRosamondWeyer2007,
  author = "Hans L. Bodlaender and Michael R. Fellows and Michael A. Langston and Mark A. Ragan and Frances A. Rosamond and Mark Weyer",
  title = "Quadratic Kernelization for Convex Recoloring of Trees",
  booktitle = "Computing and Combinatorics, 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16--19, 2007, Proceedings",
  year = 2007,
  editor = "Guohui Lin",
  number = "4598",
  series = "Lecture Notes in Computer Science",
  pages = "86--96",
  publisher = "Springer"
}

@techreport{BodlaenderFellowsLangstonRaganRosamondWeyer2007a,
  author = "Hans L. Bodlaender and Michael R. Fellows and Michael A. Langston and Mark A. Ragan and Frances A. Rosamond and Mark Weyer",
  title = "Quadratic Kernelization for Convex Recoloring of Trees",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  year = 2007,
  number = "UU-CS-2007-035"
}

@phdthesis{Weyer2007,
  author = "Mark Weyer",
  title = "Modifizierte parametrische Komplexit{\"a}tstheorie",
  school = "Albert-Ludwigs-Universit{\"a}t Freiburg",
  year = 2007,
  type = "Dissertation"
}

@inproceedings{FlumGroheWeyer2004a,
  author = "J{\"o}rg Flum and Martin Grohe and Mark Weyer",
  title = "Bounded fixed-parameter tractability and {$\mathrm{log}^2n$} nondeterministic bits",
  booktitle = "Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings",
  year = 2004,
  editor = "Josep D{\'\i}az and Juhani Karhum{\"a}ki and Arto Lepist{\"o} and Donald Sannella",
  number = "3142",
  series = "Lecture Notes in Computer Science",
  pages = "555--567",
  publisher = "Springer"
}

@techreport{FlumGroheWeyer2004,
  author = "J{\"o}rg Flum and Martin Grohe and Mark Weyer",
  title = "Bounded fixed-parameter tractability and {$\mathrm{log}^2n$} nondeterministic bits",
  institution = "Fakult{\"a}t f{\"u}r Mathematik und Physik",
  year = 2004,
  number = "04",
  address = "Eckerstra{\ss}e 1, 79104 Freiburg, Germany"
}

@article{FlumGroheWeyer2006,
  author = "J{\"o}rg Flum and Martin Grohe and Mark Weyer",
  title = "Bounded fixed-parameter tractability and {$\mathrm{log}^2n$} nondeterministic bits",
  journal = "Journal of Computer and System Sciences",
  year = 2006,
  volume = "72",
  number = "1",
  pages = "34--71",
  month = feb
}


@inproceedings{Weyer2004,
  author = "Mark Weyer",
  title = "Bounded Fixed-Parameter Tractability: The Case {$2^{\mathrm{poly}\left(k\right)}$}",
  booktitle = "Parameterized and Exact Computation: First International Workshop, IWPEC 2004, Bergen, Norway, September 2004. Proceedings",
  year = 2004,
  editor = "Rod Downey and Michael Fellows and Frank Dehne",
  number = "3162",
  series = "Lecture Notes in Computer Science",
  pages = "49--60",
  publisher = "Springer"
}

@inproceedings{ChenThurleyWeyer2008,
  author = "Yijia Chen and Marc Thurley and Mark Weyer",
  title = "Understanding the Complexity of Induced Subgraph Isomorphisms",
  booktitle = "Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 6--13, 2008. Proceedings, Part I",
  year = 2008,

  editor = "Luca Aceto and Ivan Damg{\aa}rd and Leslie Ann Goldberg and Magn{\'u}s M. Halld{\'o}rsson and Anna Ing{\'o}lfsd{\'o}ttir and Igor Walukiewicz",
  number = "5125",
  series = "Lecture Notes in Computer Science",
  pages = "587--596",
  publisher = "Springer"
}