Publications

In proceedings of conferences
  1. Topological Sorting with Regular Constraints. (doi)
    ICALP 2018
  2. Continuity and Rational Functions. (doi)
    ICALP 2017
  3. Regular Separability of Parikh Automata. (doi)
    ICALP 2017
  4. A crevice on the Crane Beach: Finite-degree predicates. (doi)
    LICS 2017
  5. Separability of Reachability Sets of Vector Addition Systems. (doi)
    STACS 2017
  6. Schema Validation via Streaming Circuits. (doi)
    PODS 2016
  7. Finite-Degree Predicates and Two-Variable First-Order Logic. (doi)
    CSL 2015
  8. Alternation Hierarchies of First Order Logic with Regular Predicates. (doi)
    FCT 2015
  9. A Circuit Complexity Approach to Transductions. (doi)
    MFCS (1) 2015
  10. Classes of Languages Generated by the Kleene Star of a Word. (doi)
    MFCS (1) 2015
  11. Monadic Second-Order Logic with Arbitrary Monadic Predicates. (doi)
    MFCS (1) 2014
  12. Two-variable first order logic with modular predicates over words. (doi)
    STACS 2013
In journals
  1. Classes of languages generated by the Kleene star of a word. (doi)
    Inf. Comput. 2018
  2. Monadic Second-Order Logic with Arbitrary Monadic Predicates. (doi)
    ACM Trans. Comput. Log. 2017
In Arxiv
  1. Continuity and Rational Functions. (doi)
    CoRR 2018
  2. A Crevice on the Crane Beach: Finite-Degree Predicates. (doi)
    CoRR 2017
  3. A Dichotomy on Constrained Topological Sorting. (doi)
    CoRR 2017
  4. Monadic Second-Order Logic with Arbitrary Monadic Predicates. (doi)
    CoRR 2017
  5. Separability of Reachability Sets of Vector Addition Systems. (doi)
    CoRR 2016
  6. Regular Separability of Parikh Automata. (doi)
    CoRR 2016
  7. Finite-Degree Predicates and Two-Variable First-Order Logic. (doi)
    CoRR 2015
  8. Adding modular predicates. (doi)
    CoRR 2014