Integration of Finite Domain Constraints in KiCS2. - Michael Hanus; Björn Peemöller; Jan Rasmus Tikovsky (Software Engineering (Workshops), 2014)

A Parser Generator System for Level-based Programming Languages. - Michael Hanus; Jan Rasmus Tikovsky (Software Engineering (Workshops), 2016)

Concolic Testing of Functional Logic Programs. - Jan Rasmus Tikovsky (DECLARE, 2017)