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