`Travelled to:`

1 × Croatia

1 × Italy

1 × Japan

`Collaborated with:`

M.Grohe ∅ A.Krebs O.Verbitsky

`Talks about:`

bound (2) test (2) hierarchi (1) existenti (1) quantifi (1) isomorph (1) approach (1) variabl (1) consist (1) algebra (1)

## Person: Christoph Berkholz

### DBLP: Berkholz:Christoph

### Contributed to:

### Wrote 3 papers:

- ICALP-v1-2015-BerkholzG #algebra #graph #morphism #testing
- Limitations of Algebraic Approaches to Graph Isomorphism Testing (CB, MG), pp. 155–166.
- CSL-2013-BerkholzKV #bound #logic #quantifier
- Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy (CB, AK, OV), pp. 61–80.
- LICS-2012-Berkholz #bound #game studies #testing
- Lower Bounds for Existential Pebble Games and k-Consistency Tests (CB), pp. 25–34.