Jan Rasmus Tikovsky

According to our database, Jan Rasmus Tikovsky authored at least 3 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Concolic Testing of Functional Logic Programs.

Jan Rasmus Tikovsky

Proceedings of the Declarative Programming and Knowledge Management, 2017

2016

A Parser Generator System for Level-based Programming Languages.

Michael Hanus, Jan Rasmus Tikovsky

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

2014

Integration of Finite Domain Constraints in KiCS2.

Michael Hanus, Björn Peemöller, Jan Rasmus Tikovsky

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 2014