Travelled to:1 × Finland
1 × Greece
1 × Iceland
1 × Portugal
Collaborated with:I.Adler A.Atserias A.Blumensath M.Otto Y.Chen M.Thurley J.Flum M.Grohe
Talks about:formula (2) order (2) nondeterminist (1) relationship (1) understand (1) constraint (1) satisfact (1) tractabl (1) subgraph (1) isomorph (1)
Person: Mark Weyer
DBLP: Weyer:Mark
Contributed to:
2009
200920082004Wrote 5 papers:
- CSL-2009-AdlerW #first-order
- Tree-Width for First Order Formulae (IA, MW), pp. 71–85.
- CSL-2009-AtseriasW #consistency #constraints #decidability #problem
- Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems (AA, MW), pp. 102–116.
- ICALP-v2-2009-BlumensathOW #bound #finite #higher-order #monad #word
- Boundedness of Monadic Second-Order Formulae over Finite Words (AB, MO, MW), pp. 67–78.
- ICALP-A-2008-ChenTW #complexity #comprehension #morphism
- Understanding the Complexity of Induced Subgraph Isomorphisms (YC, MT, MW), pp. 587–596.
- ICALP-2004-FlumGW #bound #nondeterminism #parametricity
- Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits (JF, MG, MW), pp. 555–567.