Emulation-Completeness of Programming Languages.

Tamás Kozsik http://kto.web.elte.hu/en/ https://scholar.google.com/citations?user=Jq_f_XAAAAAJ https://orcid.org/0000-0003-4484-9172 https://www.wikidata.org/entity/Q113470022 Eötvös Loránd University, Budapest, Hungary

Gregory Morse Tamás Kozsik Emulation-Completeness of Programming Languages. 2026 April abs/2604.11021 CoRR https://doi.org/10.48550/arXiv.2604.11021 db/journals/corr/corr2604.html#abs-2604-11021 streams/journals/corr

Gregory Morse Tamás Kozsik Fully Dynamic Breadth First Search and Spanning Trees in Directed Graphs. 2026 April abs/2604.12370 CoRR https://doi.org/10.48550/arXiv.2604.12370 db/journals/corr/corr2604.html#abs-2604-12370 streams/journals/corr

Gregory Morse Tamás Kozsik Tamper-Proofing with Self-Modifying Code. 2026 April abs/2604.12407 CoRR https://doi.org/10.48550/arXiv.2604.12407 db/journals/corr/corr2604.html#abs-2604-12407 streams/journals/corr

Gregory Morse Tamás Kozsik Fully Dynamic Maintenance of Loop Nesting Forests in Reducible Flow Graphs. 2026 April abs/2604.13664 CoRR https://doi.org/10.48550/arXiv.2604.13664 db/journals/corr/corr2604.html#abs-2604-13664 streams/journals/corr

Gregory Morse Tamás Kozsik Erlang Binary and Source Code Obfuscation. 2026 April abs/2604.13675 CoRR https://doi.org/10.48550/arXiv.2604.13675 db/journals/corr/corr2604.html#abs-2604-13675 streams/journals/corr

Zoltán Kolarovszki Tomasz Rybotycki Péter Rakyta Ágoston Kaposi Boldizsár Poór Szabolcs Jóczik Dániel T. R. Nagy 0001 Henrik Varga Kareem H. El-Safty Gregory Morse Michal Oszmaniec Tamás Kozsik Zoltán Zimborás Piquasso: A Photonic Quantum Computer Simulation Software Platform. 1708 2025 9 Quantum https://doi.org/10.22331/q-2025-04-15-1708 db/journals/quantum/quantum9.html#KolarovszkiRRKPJNVEMOKZ25 streams/journals/quantum

Midya Alqaradaghi Tamás Kozsik Comprehensive Evaluation of Static Analysis Tools for Their Performance in Finding Vulnerabilities in Java Code. 55824-55842 2024 12 IEEE Access https://doi.org/10.1109/ACCESS.2024.3389955 db/journals/access/access12.html#AlqaradaghiK24

Baasanjargal Erdenebat Tamás Kozsik Comparative Analysis of Container Build Methods: A Performance Evaluation. 1960-1966 2024 MIPRO https://doi.org/10.1109/MIPRO60963.2024.10569255 conf/mipro/2024 db/conf/mipro/mipro2024.html#ErdenebatK24

Gregory Morse Tamás Kozsik Oskar Mencer Péter Rakyta A compact QUBO encoding of computational logic formulae demonstrated on cryptography constructions. 2024 abs/2409.07501 CoRR https://doi.org/10.48550/arXiv.2409.07501 db/journals/corr/corr2409.html#abs-2409-07501 streams/journals/corr

Midya Alqaradaghi Muhammad Zafar Iqbal Nazir Tamás Kozsik Design and Implement an Accurate Automated Static Analysis Checker to Detect Insecure Use of SecurityManager. 247 2023 November 12 Comput. 12 https://doi.org/10.3390/computers12120247 db/journals/computers/computers12.html#AlqaradaghiNK23

Baasanjargal Erdenebat Bayarjargal Bud Temuulen Batsuren Tamás Kozsik Multi-Project Multi-Environment Approach - An Enhancement to Existing DevOps and Continuous Integration and Continuous Deployment Tools. 254 2023 December 12 Comput. 12 https://doi.org/10.3390/computers12120254 db/journals/computers/computers12.html#ErdenebatBBK23

Gregory Morse Tamás Kozsik On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (Max-)k-SAT with Integer Programming. 145-153 2023 ICACS https://doi.org/10.1145/3631908.3631929 https://www.wikidata.org/entity/Q130828217 conf/icacs2/2023 db/conf/icacs2/icacs2023.html#MorseK23 Zoltán Kolarovszki Ágoston Kaposi Tamás Kozsik Zoltán Zimborás Simulating Sparse and Shallow Gaussian Boson Sampling. 209-223 2023 ICCS (5) https://doi.org/10.1007/978-3-031-36030-5_17 conf/iccS/2023-5 db/conf/iccS/iccS2023-5.html#KolarovszkiKKZ23 Ágoston Kaposi Zoltán Kolarovszki Adrian Solymos Tamás Kozsik Zoltán Zimborás Constructing Generalized Unitary Group Designs. 233-245 2023 ICCS (5) https://doi.org/10.1007/978-3-031-36030-5_19 conf/iccS/2023-5 db/conf/iccS/iccS2023-5.html#KaposiKSKZ23 Gregory Morse Tamás Kozsik Péter Rakyta Minimal Path Delay Leading Zero Counters on Xilinx FPGAs. 626-640 2023 ICCS (3) https://doi.org/10.1007/978-3-031-36024-4_48 conf/iccS/2023-3 db/conf/iccS/iccS2023-3.html#MorseKR23 Gergely Gálfi Tamás Kozsik Zoltán Zimborás Programming language for unified computing with classical and quantum bits. 1101-1105 2022 GI-Jahrestagung https://doi.org/10.18420/inf2022_93 conf/gi/2022 db/conf/gi/gi2022.html#GalfiKZ22 Midya Alqaradaghi Tamás Kozsik Inferring The Best Static Analysis Tool For Null Pointer Dereference in Java Source Code. 2022 SQAMIA https://ceur-ws.org/Vol-3237/paper-alq.pdf conf/sqamia/2022 db/conf/sqamia/sqamia2022.html#AlqaradaghiK22

Péter Rakyta Ágoston Kaposi Zoltán Kolarovszki Tamás Kozsik Zoltán Zimborás Simulation of Photonic Quantum Computers Enhanced by Data-Flow Engines. 2022 2022 ERCIM News 128 https://ercim-news.ercim.eu/en128/special/simulation-of-photonic-quantum-computers-enhanced-by-data-flow-engines db/journals/ercim/ercim2022.html#RakytaKKKZ22

Zsolt Tabi Kareem H. El-Safty Zsófia Kallus Péter Hága Tamás Kozsik Adam Glos Zoltán Zimborás Quantum Optimization for the Graph Coloring Problem with Space-Efficient Embedding. 56-62 2020 QCE https://doi.org/10.1109/QCE49297.2020.00018 conf/qce/2020 db/conf/qce/qce2020.html#TabiEKHKGZ20

Tamás Kozsik Melinda Tóth István Bozó Free the Conqueror! Refactoring divide-and-conquer functions. 687-699 2018 79 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2017.05.011 db/journals/fgcs/fgcs79.html#KozsikTB18

Melinda Tóth István Bozó Tamás Kozsik Pattern Candidate Discovery and Parallelization Techniques. 1:1-1:26 2017 IFL https://doi.org/10.1145/3205368.3205369 conf/ifl/2017 db/conf/ifl/ifl2017.html#TothBK17

Tamás Kozsik Melinda Tóth István Bozó Zoltán Horváth Static Analysis for Divide-and-Conquer Pattern Discovery. 764-791 2016 35 Comput. Informatics 4 http://www.cai.sk/ojs/index.php/cai/article/view/3377 db/journals/cai/cai35.html#KozsikTBH16

Zoran Budimac Zoltán Horváth Tamás Kozsik Proceedings of the Fifth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Budapest, Hungary, August 29-31, 2016. SQAMIA CEUR-WS.org CEUR Workshop Proceedings 1677 2016 https://ceur-ws.org/Vol-1677 https://nbn-resolving.org/urn:nbn:de:0074-1677-8 db/conf/sqamia/sqamia2016.html Gergely Dévai Máté Karácsony Boldizsár Németh Róbert Kitlei Tamás Kozsik UML Model Execution via Code Generation. 9-15 2015 EXE@MoDELS https://ceur-ws.org/Vol-1560/paper2.pdf conf/models/2015exe db/conf/models/exe2015.html#DevaiKNKK15 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 0002 Kevin Hammond Discovering parallel pattern candidates in Erlang. 13-23 2014 Erlang Workshop https://doi.org/10.1145/2633448.2633453 conf/erlang/2014 db/conf/erlang/erlang2014.html#BozoFHTHKKBBH14 István Bozó Viktoria Fordós Dániel Horpácsi Zoltán Horváth Tamás Kozsik Judit Köszegi Melinda Tóth Refactorings to Enable Parallelization. 104-121 2014 Trends in Functional Programming https://doi.org/10.1007/978-3-319-14675-1_7 conf/sfp/2014 db/conf/sfp/tfp2014.html#BozoFHHKKT14 Viktoria Fordós Melinda Tóth Tamás Kozsik Clone Wars. 15-22 2014 SQAMIA https://ceur-ws.org/Vol-1266/SQAMIA2014_Paper3.pdf conf/sqamia/2014 db/conf/sqamia/sqamia2014.html#FordosTK14

Artyom Antyipin Attila Góbi Tamás Kozsik Low Level Conditional Move Optimization. 5-20 2013 21 Acta Cybern. 1 https://doi.org/10.14232/actacyb.21.1.2013.2 db/journals/actaC/actaC21.html#AntyipinGK13

László Domoszlai Tamás Kozsik Clean Up the Web! - Rapid Client-Side Web Development with Clean. 133-150 2013 The Beauty of Functional Code https://doi.org/10.1007/978-3-642-40355-2_10 conf/birthday/2013plasmeijer db/conf/birthday/plasmeijer2013.html#DomoszlaiK13

Zalán Szügyi Márk Török Norbert Pataki Tamás Kozsik High-level multicore programming with C++11. 1187-1202 2012 9 Comput. Sci. Inf. Syst. 3 https://doi.org/10.2298/CSIS111231027S db/journals/comsis/comsis9.html#SzugyiTPK12

Róbert Kitlei István Bozó Tamás Kozsik Máté Tejfel Melinda Tóth Analysis of preprocessor constructs in Erlang. 45-56 2010 Erlang Workshop https://doi.org/10.1145/1863509.1863517 conf/erlang/2010 db/conf/erlang/erlang2010.html#KitleiBKTT10

Attila Ulbert László Csaba Lorincz Tamás Kozsik Zoltán Horváth Speculative Scheduling of Parameter Sweep Applications Using Job Behavior Descriptions. 22-38 2009 1 Int. J. Grid High Perform. Comput. 1 https://doi.org/10.4018/jghpc.2009010103 db/journals/ijghpc/ijghpc1.html#UlbertLKH09

Melinda Tóth István Bozó Zoltán Horváth László Lövei Máté Tejfel Tamás Kozsik Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs. 372-390 2009 CEFP https://doi.org/10.1007/978-3-642-17685-2_11 conf/cefp/2009 db/conf/cefp/cefp2009.html#TothBHLTK09 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 Use Cases for Refactoring in Erlang. 250-285 2007 CEFP https://doi.org/10.1007/978-3-540-88059-2_7 conf/cefp/2007 db/conf/cefp/cefp2007.html#KozsikCHKKLNTV07 László Lövei Zoltán Horváth Tamás Kozsik Roland Király Anikó Nagyné Víg Tamás Nagy Refactoring in Erlang, a Dynamic Functional Language. 44-45 2007 WRT http://netfiles.uiuc.edu/dig/RefactoringWorkshop/ conf/ecoop/2007wrt db/conf/ecoop/wrt2007.html#LoveiHKKVN07 László Lövei Zoltán Horváth Tamás Kozsik Roland Király Introducing records by refactoring. 18-28 2007 Erlang Workshop https://doi.org/10.1145/1292520.1292524 conf/erlang/2007 db/conf/erlang/erlang2007.html#LoveiHKK07

Máté Tejfel Zoltán Horváth Tamás Kozsik Extending the Sparkle Core language with object abstraction. 2006 17 Acta Cybern. 2 https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3675 db/journals/actaC/actaC17.html#TejfelHK06 419-445

Tamás Kozsik Proving Program Properties Specified with Subtype Marks. 163-180 2006 conf/ifl/2006 IFL https://doi.org/10.1007/978-3-540-74130-5_10 db/conf/ifl/ifl2006.html#Kozsik06

László Csaba Lorincz Tamás Kozsik Attila Ulbert Zoltán Horváth A method for job scheduling in Grid based on job execution status. 197-208 2005 1 Multiagent Grid Syst. 3 https://doi.org/10.3233/mgs-2005-1305 db/journals/mags/mags1.html#LorinczKUH05

Máté Tejfel Zoltán Horváth Tamás Kozsik Temporal Properties of Clean Programs Proven in Sparkle-T. 168-190 2005 conf/cefp/2005 CEFP https://doi.org/10.1007/11894100_6 db/conf/cefp/cefp2005.html#TejfelHK05 Tamás Kozsik Tutorial on Subtype Marks. 191-222 2005 conf/cefp/2005 CEFP https://doi.org/10.1007/11894100_7 db/conf/cefp/cefp2005.html#Kozsik05 László Csaba Lorincz Tamás Kozsik Attila Ulbert Zoltán Horváth Data access optimization on grid systems. 319-324 2005 conf/wetice/2005 WETICE https://doi.org/10.1109/WETICE.2005.28 https://doi.ieeecomputersociety.org/10.1109/WETICE.2005.28 db/conf/wetice/wetice2005.html#LorinczKUH05 István Zólyomi Zoltán Porkoláb Tamás Kozsik An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming. 209-227 https://doi.org/10.1007/978-3-540-39815-8_13 2003 conf/gpce/2003 GPCE db/conf/gpce/gpce2003.html#ZolyomiPK03 Zoltán Horváth Tamás Kozsik Máté Tejfel Proving Invariants of Functional Programs. 115-126 2003 conf/splst/2003 SPLST db/conf/splst/splst2003.html#HorvathKT03

László Gulyás Tamás Kozsik John B. Corliss The Multi-Agent Modelling Language and the Model Design Interface. 1999 2 J. Artif. Soc. Soc. Simul. 4 http://jasss.soc.surrey.ac.uk/2/3/8.html db/journals/jasss/jasss2.html#GulyasKC99

Tamás Kozsik Parallel Programs Implementing Abstract Data Type Operations - A Case Study. 15-16 1998 conf/ecoopw/1998 ECOOP Workshops db/conf/ecoopw/ecoopw98.html#Kozsik98 Midya Alqaradaghi Artyom Antyipin Adam D. Barwell Temuulen Batsuren István Bozó Christopher Brown 0002 Bayarjargal Bud Zoran Budimac John B. Corliss Zoltán Csörnyei Gergely Dévai László Domoszlai Kareem H. El-Safty Baasanjargal Erdenebat Viktória FördósViktoria Fordós Gergely Gálfi Adam Glos Attila Góbi László Gulyás Péter Hága Kevin Hammond Dániel Horpácsi Zoltán Horváth Szabolcs Jóczik Zsófia Kallus Ágoston Kaposi Máté Karácsony Roland Király Róbert Kitlei Zoltán Kolarovszki Judit Köszegi László Csaba Lorincz László Lövei Oskar Mencer Gregory Morse Dániel Nagy 0001Dániel T. R. Nagy 0001 Tamás Nagy Muhammad Zafar Iqbal Nazir Boldizsár Németh Michal Oszmaniec Norbert Pataki Boldizsár Poór Zoltán Porkoláb Peter RakytaPéter Rakyta Tomasz Rybotycki Adrian Solymos Zalán Szügyi Zsolt Tabi Máté Tejfel Márk Török Melinda Tóth Attila Ulbert Henrik Varga Anikó Nagyné Víg Zoltán Zimborás István Zólyomi