Juraj Hromkovič
algorithm algorithmics algorithms ant colony optimization approximation automata calculus combinatorial optimization complexity eco-grammar systems evolutionary algorithms game theory nondeterminstic computation optimization probabilistic transformations