Tamás Kozsik

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 15

Top Topics

Static Analysis

Top Venues

Comput. Informatics

Publications

Midya Alqaradaghi, Tamás Kozsik
Comprehensive Evaluation of Static Analysis Tools for Their Performance in Finding Vulnerabilities in Java Code. IEEE Access 12 (2024)
Baasanjargal Erdenebat, Tamás Kozsik
Comparative Analysis of Container Build Methods: A Performance Evaluation. MIPRO (2024)
Gregory Morse, Tamás Kozsik, Peter Rakyta
Minimal Path Delay Leading Zero Counters on Xilinx FPGAs. ICCS (3) (2023)
Gregory Morse, Tamás Kozsik
On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (Max-)k-SAT with Integer Programming. ICACS (2023)
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. Comput. 12 (12) (2023)
Ágoston Kaposi, Zoltán Kolarovszki, Adrian Solymos, Tamás Kozsik, Zoltán Zimborás
Constructing Generalized Unitary Group Designs. ICCS (5) (2023)
Zoltán Kolarovszki, Ágoston Kaposi, Tamás Kozsik, Zoltán Zimborás
Simulating Sparse and Shallow Gaussian Boson Sampling. ICCS (5) (2023)
Midya Alqaradaghi, Muhammad Zafar Iqbal Nazir, Tamás Kozsik
Design and Implement an Accurate Automated Static Analysis Checker to Detect Insecure Use of SecurityManager. Comput. 12 (12) (2023)
Midya Alqaradaghi, Tamás Kozsik
Inferring The Best Static Analysis Tool For Null Pointer Dereference in Java Source Code. SQAMIA (2022)
Gergely Gálfi, Tamás Kozsik, Zoltán Zimborás
Programming language for unified computing with classical and quantum bits. GI-Jahrestagung (2022)
Peter Rakyta, Ágoston Kaposi, Zoltán Kolarovszki, Tamás Kozsik, Zoltán Zimborás
Simulation of Photonic Quantum Computers Enhanced by Data-Flow Engines. ERCIM News 2022 (128) (2022)
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. QCE (2020)
Tamás Kozsik, Melinda Tóth, István Bozó
Free the Conqueror! Refactoring divide-and-conquer functions. Future Gener. Comput. Syst. 79 (2018)
Melinda Tóth, István Bozó, Tamás Kozsik
Pattern Candidate Discovery and Parallelization Techniques. IFL (2017)
Tamás Kozsik, Melinda Tóth, István Bozó, Zoltán Horváth
Static Analysis for Divide-and-Conquer Pattern Discovery. Comput. Informatics 35 (4) (2016)
Gergely Dévai, Máté Karácsony, Boldizsár Németh, Róbert Kitlei, Tamás Kozsik
UML Model Execution via Code Generation. EXE@MoDELS (2015)
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. Trends in Functional Programming (2014)
Viktoria Fordós, Melinda Tóth, Tamás Kozsik
Clone Wars. SQAMIA (2014)
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, Kevin Hammond
Discovering parallel pattern candidates in Erlang. Erlang Workshop (2014)
László Domoszlai, Tamás Kozsik
Clean Up the Web! - Rapid Client-Side Web Development with Clean. The Beauty of Functional Code (2013)
Artyom Antyipin, Attila Góbi, Tamás Kozsik
Low Level Conditional Move Optimization. Acta Cybern. 21 (1) (2013)
Zalán Szügyi, Márk Török, Norbert Pataki, Tamás Kozsik
High-level multicore programming with C++11. Comput. Sci. Inf. Syst. 9 (3) (2012)
Róbert Kitlei, István Bozó, Tamás Kozsik, Máté Tejfel, Melinda Tóth
Analysis of preprocessor constructs in Erlang. Erlang Workshop (2010)
Attila Ulbert, László Csaba Lorincz, Tamás Kozsik, Zoltán Horváth
Speculative Scheduling of Parameter Sweep Applications Using Job Behavior Descriptions. Int. J. Grid High Perform. Comput. 1 (1) (2009)
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. CEFP (2009)
László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király
Introducing records by refactoring. Erlang Workshop (2007)
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. WRT (2007)
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. CEFP (2007)
Máté Tejfel, Zoltán Horváth, Tamás Kozsik
Extending the Sparkle Core language with object abstraction. Acta Cybern. 17 (2) (2006)
Tamás Kozsik
Proving Program Properties Specified with Subtype Marks. IFL (2006)
Tamás Kozsik
Tutorial on Subtype Marks. CEFP (2005)
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. Multiagent Grid Syst. 1 (3) (2005)
Máté Tejfel, Zoltán Horváth, Tamás Kozsik
Temporal Properties of Clean Programs Proven in Sparkle-T. CEFP (2005)
László Csaba Lorincz, Tamás Kozsik, Attila Ulbert, Zoltán Horváth
Data access optimization on grid systems. WETICE (2005)
Zoltán Horváth, Tamás Kozsik, Máté Tejfel
Proving Invariants of Functional Programs. SPLST (2003)
István Zólyomi, Zoltán Porkoláb, Tamás Kozsik
An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming. GPCE (2003)
László Gulyás, Tamás Kozsik, John B. Corliss
The Multi-Agent Modelling Language and the Model Design Interface. J. Artif. Soc. Soc. Simul. 2 (4) (1999)
Tamás Kozsik
Parallel Programs Implementing Abstract Data Type Operations - A Case Study. ECOOP Workshops (1998)