Mark Weyer

Available identifiers

zbMath Open weyer.markMaRDI QIDQ639282

List of research outcomes

Publication	Date of Publication	Type
Decidability Results for the Boundedness Problem	2014-09-05	Paper
Tree-width for first order formulae	2012-04-03	Paper
Quadratic kernelization for convex recoloring of trees	2011-09-20	Paper
Tree-Width for First Order Formulae	2009-11-12	Paper
Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems	2009-11-12	Paper
Boundedness of Monadic Second-Order Formulae over Finite Words	2009-07-14	Paper
Quadratic Kernelization for Convex Recoloring of Trees	2009-03-06	Paper
Understanding the Complexity of Induced Subgraph Isomorphisms	2008-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q5451198	2008-03-18	Paper
Bounded fixed-parameter tractability and reducibility	2007-09-28	Paper
Bounded fixed-parameter tractability and \(\log^{2}n\) nondeterministic bits	2006-01-10	Paper
Automata, Languages and Programming	2005-08-24	Paper
Parameterized and Exact Computation	2005-08-23	Paper
Decidability of S1S and S2S	2003-07-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mark Weyer