`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:

### Wrote 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.