Witold Charatonik

Two-Variable Logic with Counting and Trees

Witold Charatonik, Piotr Witkowski · 2013 · 44 citations

Humanities, Computer Science, Mathematics +11

Set constraints with projections are in NEXPTIME

Witold Charatonik, Leszek Pacholski · 2002 · 44 citations

Computing, Computer Science, Algorithms +12

Negative set constraints with equality

Witold Charatonik, Leszek Pacholski · 2002 · 41 citations

Computing, Computer Science, Algorithms +9

Model checking mobile ambients

Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon et al. · Theoretical Computer Science · 2003 · 39 citations · Full text

Computing, Computer Systems, Formal Methods +4

Two-variable Logic with Counting and a Linear Order

Witold Charatonik, Piotr Witkowski · Logical Methods in Computer Science · 2016 · 32 citations · Full text

Humanities, Computer Science, Mathematics +14