Publikace projektu
- randtoolbox: Toolbox for Pseudo and Quasi Random Number Generation (2009)
- Neuronové sítě jako modely analogových výpočtů (2006)
- On the NP-Completeness of Some Graph Cluster Measures (2005)
- Feasible Disjunction Property and Feasible Interpolation in Modal Logic (2007)
- An Explicit Polynomial Size Hitting Set for Restricted 1-Branching Programs Width 3 (2005)
- A Characterization of Hitting Sets for 1-Branching Programs of Width 3 (Revised Version) (2009)
- A Characterization of Hitting Sets for 1 Branching Programs of Width 3 (2008)
- Representation of Continuous Archimedean Radial Fuzzy Systems (2004)
- Boolean Functions with a Simple Certificate for CNF Complexity. (2010)
- Residuated Logics based on Strict Triangular Norms with an Involutive Negation (2006)
- On Product Logic with Truth-Constants (2006)
- Computational Complexity of t-norm based Propositional Fuzzy Logics with Rational Truth Constants (2006)
- Formal Systems of Fuzzy Logic and their Fragments (2007)