Modern set-theoretic techniques applied to classic problems concerning Lindelof sp...
DOMINATION, DECOMPOSITIONS AND TOPOLOGICAL GAMES IN Cp-THEORY
Topological methods and rigorous numerics for bifurcations of dynamical systems
Persistent homology and its generators applied to protein folding
Set-oriented rigorous topological-numerical approach to the analysis of chaotic It...