Luksa Norbert; Kozsik Tamás: Parallelisation of Haskell programs by refactoring.
Antyipin Artyom; Góbi Attila; Kozsik Tamás: Low level conditional move optimization. In: Acta cybernetica, (21) 1. pp. 5-20. (2013)
Góbi Attila; Szűgyi Zalán; Kozsik Tamás: Embedding a query language into C++.
Lövei László; Tejfel Máté; Mészáros Mónika; Horváth Zoltán; Kozsik Tamás: Comparing specification with proved properties of clean dynamics : [abstract].
Horváth Zoltán; Lövei László; Kozsik Tamás; Víg Anikó; Nagy Tamás: Refactoring Erlang programs : [abstract].
Tejfel Máté; Horváth Zoltán; Kozsik Tamás: Extending the Sparkle Core language with object abstraction. In: Acta cybernetica, (17) 2. pp. 419-445. (2005)
Horváth Zoltán; Kozsik Tamás; Tejfel Máté: Extending the Sparkle Core language with object : [abstract].