Travelled to:1 × France
1 × Japan
2 × Italy
Collaborated with:A.Krebs M.Grohe M.Zhukovskii C.Berkholz J.Köbler S.Kuhnert B.Laubner
Talks about:isomorph (2) variabl (2) logic (2) graph (2) depth (2) bound (2) represent (1) hierarchi (1) subgraph (1) quantifi (1)
Person: Oleg Verbitsky
DBLP: Verbitsky:Oleg
Contributed to:
2015
2013
201020062017Wrote 5 papers:
- LICS-2015-KrebsV #bound #logic #refinement
- Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth (AK, OV), pp. 689–700.
- CSL-2013-BerkholzKV #bound #logic #quantifier
- Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy (CB, AK, OV), pp. 61–80.
- ICALP-v1-2010-KoblerKLV #canonical #graph #representation
- Interval Graphs: Canonical Representation in Logspace (JK, SK, BL, OV), pp. 384–395.
- ICALP-v1-2006-GroheV #game studies #graph #morphism #parallel #testing
- Testing Graph Isomorphism in Parallel by Playing a Game (MG, OV), pp. 3–14.
- CSL-2017-VerbitskyZ #complexity #first-order #morphism #on the
- On the First-Order Complexity of Induced Subgraph Isomorphism (OV, MZ), p. 16.