- On Planar Boolean CSP2015 | Faculty of Mathematics and Physics
- Laslett's transform for the Boolean model in R^d2006 | Faculty of Mathematics and Physics
- Dichotomy for Symmetric Boolean PCSPs2019 | Faculty of Mathematics and Physics
- Recognition of interval Boolean functions2008 | Faculty of Mathematics and Physics
- Recognition of Interval Boolean Functions2006 | Faculty of Mathematics and Physics
- Succinctness of Switch-List Representations of Boolean Functions2018 | Faculty of Mathematics and Physics
- Interval Representations of Boolean Functions2007 | Faculty of Mathematics and Physics
- Recognition of Positive 2-Interval Boolean Functions +12007 | Faculty of Mathematics and Physics
- Compiling SL representations of Boolean functions into OBDDs2020 | Faculty of Mathematics and Physics
- Boolean functions with long prime implicants +12012 | Faculty of Mathematics and Physics
- Constructivizability of the Boolean algebra B(ω) with a distinguished automorphism +12012 | Faculty of Mathematics and Physics, Faculty of Social Sciences, Centre for Economic Research and Graduate Education
- Classes of Boolean Formulae with Effectively Solvable SAT2010 | Faculty of Mathematics and Physics
- Interval Representations of 2-Monotonic and Threshold Boolean Functions2006 | Faculty of Mathematics and Physics
- On Boolean ranges of Banaschewski functions2018 | Faculty of Mathematics and Physics
- Interval Extensions of Partially Defined Boolean Functions2006 | Faculty of Mathematics and Physics
- Computable categoricity of the Boolean algebra B(omega) with a distinguished automorphism2013 | Faculty of Mathematics and Physics, Faculty of Social Sciences, Centre for Economic Research and Graduate Education
- Quotients of Boolean algebras and regular subalgebras2010 | Publication without faculty affiliation
- Between Path-Consistency and Higher Order Consistencies in Boolean Satisfiability2011 | Faculty of Mathematics and Physics
- Renamable interval Boolean functions2008 | Faculty of Mathematics and Physics
- Renamable Interval Boolean Functions2006 | Faculty of Mathematics and Physics
- Analysing DNA Microarray Data Using Boolean Techniques2011 | Faculty of Mathematics and Physics
- Boolean functions with a simple certificate for CNF complexity2012 | Faculty of Mathematics and Physics
- On the gap between the complexity of SAT and minimization for certain classes of boolean formulas2014 | Faculty of Mathematics and Physics
- Generating Implied Boolean Constraints via Singleton Consistency +12007 | Faculty of Mathematics and Physics
- Path Homomorphisms, Graph Colorings, and Boolean Matrices2010 | Faculty of Mathematics and Physics
- Proofs of several conjectures on linear codes from Boolean functions2019 | Faculty of Mathematics and Physics