Parallel Programs Implementing Abstract Data Type Operations - A Case Study. - Tamás Kozsik (ECOOP Workshops, 1998)

The Multi-Agent Modelling Language and the Model Design Interface. - László Gulyás; Tamás Kozsik; John B. Corliss (J. Artif. Soc. Soc. Simul., 1999)

An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming. - István Zólyomi; Zoltán Porkoláb; Tamás Kozsik (GPCE, 2003)

Proving Invariants of Functional Programs. - Zoltán Horváth; Tamás Kozsik; Máté Tejfel (SPLST, 2003)

Tutorial on Subtype Marks. - Tamás Kozsik (CEFP, 2005)

Temporal Properties of Clean Programs Proven in Sparkle-T. - Máté Tejfel; Zoltán Horváth; Tamás Kozsik (CEFP, 2005)

Data access optimization on grid systems. - László Csaba Lorincz; Tamás Kozsik; Attila Ulbert; Zoltán Horváth (WETICE, 2005)

A method for job scheduling in Grid based on job execution status. - László Csaba Lorincz; Tamás Kozsik; Attila Ulbert; Zoltán Horváth (Multiagent Grid Syst., 2005)

Proving Program Properties Specified with Subtype Marks. - Tamás Kozsik (IFL, 2006)

Extending the Sparkle Core language with object abstraction. - Máté Tejfel; Zoltán Horváth; Tamás Kozsik (Acta Cybern., 2006)

Use Cases for Refactoring in Erlang. - Tamás Kozsik; Zoltán Csörnyei; Zoltán Horváth; Roland Király; Róbert Kitlei; László Lövei; Tamás Nagy; Melinda Tóth; Anikó Nagyné Víg (CEFP, 2007)

Refactoring in Erlang, a Dynamic Functional Language. - László Lövei; Zoltán Horváth; Tamás Kozsik; Roland Király; Anikó Nagyné Víg; Tamás Nagy (WRT, 2007)

Introducing records by refactoring. - László Lövei; Zoltán Horváth; Tamás Kozsik; Roland Király (Erlang Workshop, 2007)

Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs. - Melinda Tóth; István Bozó; Zoltán Horváth; László Lövei; Máté Tejfel; Tamás Kozsik (CEFP, 2009)

Speculative Scheduling of Parameter Sweep Applications Using Job Behavior Descriptions. - Attila Ulbert; László Csaba Lorincz; Tamás Kozsik; Zoltán Horváth (Int. J. Grid High Perform. Comput., 2009)

Analysis of preprocessor constructs in Erlang. - Róbert Kitlei; István Bozó; Tamás Kozsik; Máté Tejfel; Melinda Tóth (Erlang Workshop, 2010)

High-level multicore programming with C++11. - Zalán Szügyi; Márk Török; Norbert Pataki; Tamás Kozsik (Comput. Sci. Inf. Syst., 2012)

Clean Up the Web! - Rapid Client-Side Web Development with Clean. - László Domoszlai; Tamás Kozsik (The Beauty of Functional Code, 2013)

Low Level Conditional Move Optimization. - Artyom Antyipin; Attila Góbi; Tamás Kozsik (Acta Cybern., 2013)

Discovering parallel pattern candidates in Erlang. - István Bozó; Viktoria Fordós; Zoltán Horváth; Melinda Tóth; Dániel Horpácsi; Tamás Kozsik; Judit Köszegi; Adam D. Barwell; Christopher Brown 002; Kevin Hammond (Erlang Workshop, 2014)

Refactorings to Enable Parallelization. - István Bozó; Viktoria Fordós; Dániel Horpácsi; Zoltán Horváth; Tamás Kozsik; Judit Köszegi; Melinda Tóth (Trends in Functional Programming, 2014)

Clone Wars. - Viktoria Fordós; Melinda Tóth; Tamás Kozsik (SQAMIA, 2014)

UML Model Execution via Code Generation. - Gergely Dévai; Máté Karácsony; Boldizsár Németh; Róbert Kitlei; Tamás Kozsik (EXE@MoDELS, 2015)

Static Analysis for Divide-and-Conquer Pattern Discovery. - Tamás Kozsik; Melinda Tóth; István Bozó; Zoltán Horváth (Comput. Informatics, 2016)

Pattern Candidate Discovery and Parallelization Techniques. - Melinda Tóth; István Bozó; Tamás Kozsik (IFL, 2017)

Free the Conqueror! Refactoring divide-and-conquer functions. - Tamás Kozsik; Melinda Tóth; István Bozó (Future Gener. Comput. Syst., 2018)

Quantum Optimization for the Graph Coloring Problem with Space-Efficient Embedding. - Zsolt Tabi; Kareem H. El-Safty; Zsófia Kallus; Péter Hága; Tamás Kozsik; Adam Glos; Zoltán Zimborás (QCE, 2020)

Programming language for unified computing with classical and quantum bits. - Gergely Gálfi; Tamás Kozsik; Zoltán Zimborás (GI-Jahrestagung, 2022)

Inferring The Best Static Analysis Tool For Null Pointer Dereference in Java Source Code. - Midya Alqaradaghi; Tamás Kozsik (SQAMIA, 2022)

Simulation of Photonic Quantum Computers Enhanced by Data-Flow Engines. - Péter Rakyta; Ágoston Kaposi; Zoltán Kolarovszki; Tamás Kozsik; Zoltán Zimborás (ERCIM News, 2022)

On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (Max-)k-SAT with Integer Programming. - Gregory Morse; Tamás Kozsik (ICACS, 2023)

Constructing Generalized Unitary Group Designs. - Ágoston Kaposi; Zoltán Kolarovszki; Adrian Solymos; Tamás Kozsik; Zoltán Zimborás (ICCS (5), 2023)

Simulating Sparse and Shallow Gaussian Boson Sampling. - Zoltán Kolarovszki; Ágoston Kaposi; Tamás Kozsik; Zoltán Zimborás (ICCS (5), 2023)

Minimal Path Delay Leading Zero Counters on Xilinx FPGAs. - Gregory Morse; Tamás Kozsik; Péter Rakyta (ICCS (3), 2023)

Design and Implement an Accurate Automated Static Analysis Checker to Detect Insecure Use of SecurityManager. - Midya Alqaradaghi; Muhammad Zafar Iqbal Nazir; Tamás Kozsik (Comput., 2023)

Multi-Project Multi-Environment Approach - An Enhancement to Existing DevOps and Continuous Integration and Continuous Deployment Tools. - Baasanjargal Erdenebat; Bayarjargal Bud; Temuulen Batsuren; Tamás Kozsik (Comput., 2023)

Comparative Analysis of Container Build Methods: A Performance Evaluation. - Baasanjargal Erdenebat; Tamás Kozsik (MIPRO, 2024)

Comprehensive Evaluation of Static Analysis Tools for Their Performance in Finding Vulnerabilities in Java Code. - Midya Alqaradaghi; Tamás Kozsik (IEEE Access, 2024)

A compact QUBO encoding of computational logic formulae demonstrated on cryptography constructions. - Gregory Morse; Tamás Kozsik; Oskar Mencer; Péter Rakyta (CoRR, 2024)

Piquasso: A Photonic Quantum Computer Simulation Software Platform. - Zoltán Kolarovszki; Tomasz Rybotycki; Péter Rakyta; Ágoston Kaposi; Boldizsár Poór; Szabolcs Jóczik; Dániel T. R. Nagy 001; Henrik Varga; Kareem H. El-Safty; Gregory Morse; Michal Oszmaniec; Tamás Kozsik; et al. (Quantum, 2025)