- The Complexity of Temporal Constraint Satisfaction Problems +12010 | Faculty of Mathematics and Physics
- Proof Compexity of Propositional Default Logic2010 | Faculty of Mathematics and Physics
- A proof complexity generator2009 | Faculty of Mathematics and Physics
- Parameterized Complexity of Generalized Domination Problems2010 | Faculty of Mathematics and Physics
- Sentence Ambiguity, Grammaticality and Complexity Probes2022 | Faculty of Mathematics and Physics
- Complexity of the packing coloring problem of trees2010 | Faculty of Mathematics and Physics
- Graph Sharing Games: Complexity and Connectivity2010 | Faculty of Mathematics and Physics
- On the Complexity of Reductions by Restarting Automata.2014 | Faculty of Mathematics and Physics
- Parameterized Complexity of Arc-Weighted Directed Steiner Problems2009 | Faculty of Mathematics and Physics
- The complexity of Equality Constraint Languages +12006 | Faculty of Mathematics and Physics
- Algorithms III - Complexity2007 | Faculty of Mathematics and Physics
- Algorithms III - Complexity2007 | Faculty of Education
- On the descriptional complexity of simple RL-automataPublication without faculty affiliation
- Computational Complexity in Graph Theory2007 | Faculty of Mathematics and Physics
- On the Complexity of Hierarchical Associative Memories2009 | Faculty of Mathematics and Physics
- The Complexity of Equality Constraint Languages2008 | Faculty of Mathematics and Physics
- Twelve problems in proof complexity +12008 | Faculty of Mathematics and Physics
- On the complexity of the G-reconstruction problem +12005 | Faculty of Mathematics and Physics
- Restarting Automata Inference ComplexityPublication without faculty affiliation
- On the computational complexity of partial covers of theta graphs2008 | Faculty of Mathematics and Physics
- Towards Analyzing Space Complexity of Streaming XML Transformations2008 | Faculty of Mathematics and Physics
- On the computational complexity of partial covers of Theta graphs2005 | Faculty of Mathematics and Physics
- Structure and complexity of locally constrained graph homomorphisms2007 | Faculty of Mathematics and Physics
- City and Complexity2007 | Publication without faculty affiliation
- On Complexity of the Universe2007 | Faculty of Mathematics and Physics
- Nested Temporal Networks with Alternatives: Recognition and Tractability2008 | Faculty of Mathematics and Physics