Login / Signup
Jan Rasmus Tikovsky
Publication Activity (10 Years)
Years Active: 2014-2017
Publications (10 Years): 2
Top Topics
Constraint Solver
Answer Set Programming
Fixpoint
Bounded Treewidth
Top Venues
Software Engineering (Workshops)
DECLARE
</>
Publications
</>
Jan Rasmus Tikovsky
Concolic Testing of Functional Logic Programs.
DECLARE
(2017)
Michael Hanus
,
Jan Rasmus Tikovsky
A Parser Generator System for Level-based Programming Languages.
Software Engineering (Workshops)
(2016)
Michael Hanus
,
Björn Peemöller
,
Jan Rasmus Tikovsky
Integration of Finite Domain Constraints in KiCS2.
Software Engineering (Workshops)
(2014)