Tamás Kozsik

According to our database, Tamás Kozsik authored at least 39 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A compact QUBO encoding of computational logic formulae demonstrated on cryptography constructions.

Gregory Morse, Tamás Kozsik, Oskar Mencer, Peter Rakyta

CoRR, 2024

Comprehensive Evaluation of Static Analysis Tools for Their Performance in Finding Vulnerabilities in Java Code.

Midya Alqaradaghi, Tamás Kozsik

IEEE Access, 2024

Comparative Analysis of Container Build Methods: A Performance Evaluation.

Baasanjargal Erdenebat, Tamás Kozsik

Proceedings of the 47th MIPRO ICT and Electronics Convention, 2024

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., December, 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., November, 2023

Minimal Path Delay Leading Zero Counters on Xilinx FPGAs.

Gregory Morse, Tamás Kozsik, Peter Rakyta

Proceedings of the Computational Science - ICCS 2023, 2023

Simulating Sparse and Shallow Gaussian Boson Sampling.

Zoltán Kolarovszki, Ágoston Kaposi, Tamás Kozsik, Zoltán Zimborás

Proceedings of the Computational Science - ICCS 2023, 2023

Constructing Generalized Unitary Group Designs.

Ágoston Kaposi, Zoltán Kolarovszki, Adrian Solymos, Tamás Kozsik, Zoltán Zimborás

Proceedings of the Computational Science - ICCS 2023, 2023

On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (Max-)k-SAT with Integer Programming.

Gregory Morse, Tamás Kozsik

Proceedings of the 7th International Conference on Algorithms, Computing and Systems, 2023

2022

Simulation of Photonic Quantum Computers Enhanced by Data-Flow Engines.

Peter Rakyta, Ágoston Kaposi, Zoltán Kolarovszki, Tamás Kozsik, Zoltán Zimborás

ERCIM News, 2022

Inferring The Best Static Analysis Tool For Null Pointer Dereference in Java Source Code.

Midya Alqaradaghi, Tamás Kozsik

Proceedings of the Ninth Workshop on Software Quality Analysis, 2022

Programming language for unified computing with classical and quantum bits.

Gergely Gálfi, Tamás Kozsik, Zoltán Zimborás

Proceedings of the 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26., 2022

2020

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

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2020

2018

Free the Conqueror! Refactoring divide-and-conquer functions.

Tamás Kozsik, Melinda Tóth, István Bozó

Future Gener. Comput. Syst., 2018

2017

Pattern Candidate Discovery and Parallelization Techniques.

Melinda Tóth, István Bozó, Tamás Kozsik

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

2016

Static Analysis for Divide-and-Conquer Pattern Discovery.

Tamás Kozsik, Melinda Tóth, István Bozó, Zoltán Horváth

Comput. Informatics, 2016

2015

UML Model Execution via Code Generation.

Gergely Dévai, Máté Karácsony, Boldizsár Németh, Róbert Kitlei, Tamás Kozsik

Proceedings of the 1st International Workshop on Executable Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

2014

Clone Wars.

Viktoria Fordós, Melinda Tóth, Tamás Kozsik

Proceedings of the 3rd Workshop on Software Quality Analysis, 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

Proceedings of the Trends in Functional Programming, 2014

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, Kevin Hammond

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013

Low Level Conditional Move Optimization.

Artyom Antyipin, Attila Góbi, Tamás Kozsik

Acta Cybern., 2013

Clean Up the Web! - Rapid Client-Side Web Development with Clean.

László Domoszlai, Tamás Kozsik

Proceedings of the Beauty of Functional Code, 2013

2012

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

2010

Analysis of preprocessor constructs in Erlang.

Róbert Kitlei, István Bozó, Tamás Kozsik, Máté Tejfel, Melinda Tóth

Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010

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

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

Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2007

Introducing records by refactoring.

László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király

Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, 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

Proceedings of the 1st Workshop on Refactoring Tools, 2007

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

Proceedings of the Central European Functional Programming School, Second Summer School, 2007

2006

Extending the Sparkle Core language with object abstraction.

Máté Tejfel, Zoltán Horváth, Tamás Kozsik

Acta Cybern., 2006

Proving Program Properties Specified with Subtype Marks.

Tamás Kozsik

Proceedings of the Implementation and Application of Functional Languages, 2006

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

Data access optimization on grid systems.

László Csaba Lorincz, Tamás Kozsik, Attila Ulbert, Zoltán Horváth

Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

Temporal Properties of Clean Programs Proven in Sparkle-T.

Máté Tejfel, Zoltán Horváth, Tamás Kozsik

Proceedings of the Central European Functional Programming School, First Summer School, 2005

Tutorial on Subtype Marks.

Tamás Kozsik

Proceedings of the Central European Functional Programming School, First Summer School, 2005

2003

Proving Invariants of Functional Programs.

Zoltán Horváth, Tamás Kozsik, Máté Tejfel

Proceedings of the Eighth Symposium on Programming Languages and Software Tools, 2003

An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming.

István Zólyomi, Zoltán Porkoláb, Tamás Kozsik

Proceedings of the Generative Programming and Component Engineering, 2003

1999

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

1998

Parallel Programs Implementing Abstract Data Type Operations - A Case Study.

Tamás Kozsik

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998