Tamás Kozsik

41 papers B 1C 1Misc 1Journal 14Unranked 23
YearRankTypeTitle / Venue / Authors
2025 J jnl
Piquasso: A Photonic Quantum Computer Simulation Software Platform.
Quantum
Zoltán Kolarovszki, Tomasz Rybotycki, Péter Rakyta, Ágoston Kaposi, Boldizsár Poór, Szabolcs Jóczik, Dániel T. R. Nagy, Henrik Varga, Kareem H. El-Safty, Gregory Morse, Michal Oszmaniec, Tamás Kozsik, Zoltán Zimborás
2024 J jnl
A compact QUBO encoding of computational logic formulae demonstrated on cryptography constructions.
CoRR
Gregory Morse, Tamás Kozsik, Oskar Mencer, Péter Rakyta
2024 — conf
Comparative Analysis of Container Build Methods: A Performance Evaluation.
MIPRO
Baasanjargal Erdenebat, Tamás Kozsik
2024 J jnl
Comprehensive Evaluation of Static Analysis Tools for Their Performance in Finding Vulnerabilities in Java Code.
IEEE Access
Midya Alqaradaghi, Tamás Kozsik
2023 — conf
Constructing Generalized Unitary Group Designs.
ICCS (5)
Ágoston Kaposi, Zoltán Kolarovszki, Adrian Solymos, Tamás Kozsik, Zoltán Zimborás
2023 J jnl
Design and Implement an Accurate Automated Static Analysis Checker to Detect Insecure Use of SecurityManager.
Comput.
Midya Alqaradaghi, Muhammad Zafar Iqbal Nazir, Tamás Kozsik
2023 — conf
Minimal Path Delay Leading Zero Counters on Xilinx FPGAs.
ICCS (3)
Gregory Morse, Tamás Kozsik, Péter Rakyta
2023 J jnl
Multi-Project Multi-Environment Approach - An Enhancement to Existing DevOps and Continuous Integration and Continuous Deployment Tools.
Comput.
Baasanjargal Erdenebat, Bayarjargal Bud, Temuulen Batsuren, Tamás Kozsik
2023 — conf
On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (Max-)k-SAT with Integer Programming.
ICACS
Gregory Morse, Tamás Kozsik
2023 — conf
Simulating Sparse and Shallow Gaussian Boson Sampling.
ICCS (5)
Zoltán Kolarovszki, Ágoston Kaposi, Tamás Kozsik, Zoltán Zimborás
2022 — conf
Inferring The Best Static Analysis Tool For Null Pointer Dereference in Java Source Code.
SQAMIA
Midya Alqaradaghi, Tamás Kozsik
2022 — conf
Programming language for unified computing with classical and quantum bits.
GI-Jahrestagung
Gergely Gálfi, Tamás Kozsik, Zoltán Zimborás
2022 J jnl
Simulation of Photonic Quantum Computers Enhanced by Data-Flow Engines.
ERCIM News
Péter Rakyta, Ágoston Kaposi, Zoltán Kolarovszki, Tamás Kozsik, Zoltán Zimborás
2020 Misc conf
Quantum Optimization for the Graph Coloring Problem with Space-Efficient Embedding.
QCE
Zsolt Tabi, Kareem H. El-Safty, Zsófia Kallus, Péter Hága, Tamás Kozsik, Adam Glos, Zoltán Zimborás
2018 J jnl
Free the Conqueror! Refactoring divide-and-conquer functions.
Future Gener. Comput. Syst.
Tamás Kozsik, Melinda Tóth, István Bozó
2017 — conf
Pattern Candidate Discovery and Parallelization Techniques.
IFL
Melinda Tóth, István Bozó, Tamás Kozsik
2016 — ed.
Proceedings of the Fifth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Budapest, Hungary, August 29-31, 2016.
SQAMIA
Zoran Budimac, Zoltán Horváth, Tamás Kozsik
2016 J jnl
Static Analysis for Divide-and-Conquer Pattern Discovery.
Comput. Informatics
Tamás Kozsik, Melinda Tóth, István Bozó, Zoltán Horváth
2015 — conf
UML Model Execution via Code Generation.
EXE@MoDELS
Gergely Dévai, Máté Karácsony, Boldizsár Németh, Róbert Kitlei, Tamás Kozsik
2014 — conf
Clone Wars.
SQAMIA
Viktoria Fordós, Melinda Tóth, Tamás Kozsik
2014 — conf
Discovering parallel pattern candidates in Erlang.
Erlang Workshop
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
2014 — conf
Refactorings to Enable Parallelization.
Trends in Functional Programming
István Bozó, Viktoria Fordós, Dániel Horpácsi, Zoltán Horváth, Tamás Kozsik, Judit Köszegi, Melinda Tóth
2013 — conf
Clean Up the Web! - Rapid Client-Side Web Development with Clean.
The Beauty of Functional Code
László Domoszlai, Tamás Kozsik
2013 J jnl
Low Level Conditional Move Optimization.
Acta Cybern.
Artyom Antyipin, Attila Góbi, Tamás Kozsik
2012 J jnl
High-level multicore programming with C++11.
Comput. Sci. Inf. Syst.
Zalán Szügyi, Márk Török, Norbert Pataki, Tamás Kozsik
2010 — conf
Analysis of preprocessor constructs in Erlang.
Erlang Workshop
Róbert Kitlei, István Bozó, Tamás Kozsik, Máté Tejfel, Melinda Tóth
2009 — conf
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs.
CEFP
Melinda Tóth, István Bozó, Zoltán Horváth, László Lövei, Máté Tejfel, Tamás Kozsik
2009 J jnl
Speculative Scheduling of Parameter Sweep Applications Using Job Behavior Descriptions.
Int. J. Grid High Perform. Comput.
Attila Ulbert, László Csaba Lorincz, Tamás Kozsik, Zoltán Horváth
2007 — conf
Introducing records by refactoring.
Erlang Workshop
László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király
2007 — conf
Refactoring in Erlang, a Dynamic Functional Language.
WRT
László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király, Anikó Nagyné Víg, Tamás Nagy
2007 — conf
Use Cases for Refactoring in Erlang.
CEFP
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
2006 J jnl
Extending the Sparkle Core language with object abstraction.
Acta Cybern.
Máté Tejfel, Zoltán Horváth, Tamás Kozsik
2006 — conf
Proving Program Properties Specified with Subtype Marks.
IFL
Tamás Kozsik
2005 J jnl
A method for job scheduling in Grid based on job execution status.
Multiagent Grid Syst.
László Csaba Lorincz, Tamás Kozsik, Attila Ulbert, Zoltán Horváth
2005 C conf
Data access optimization on grid systems.
WETICE
László Csaba Lorincz, Tamás Kozsik, Attila Ulbert, Zoltán Horváth
2005 — conf
Temporal Properties of Clean Programs Proven in Sparkle-T.
CEFP
Máté Tejfel, Zoltán Horváth, Tamás Kozsik
2005 — conf
Tutorial on Subtype Marks.
CEFP
Tamás Kozsik
2003 B conf
An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming.
GPCE
István Zólyomi, Zoltán Porkoláb, Tamás Kozsik
2003 — conf
Proving Invariants of Functional Programs.
SPLST
Zoltán Horváth, Tamás Kozsik, Máté Tejfel
1999 J jnl
The Multi-Agent Modelling Language and the Model Design Interface.
J. Artif. Soc. Soc. Simul.
László Gulyás, Tamás Kozsik, John B. Corliss
1998 — conf
Parallel Programs Implementing Abstract Data Type Operations - A Case Study.
ECOOP Workshops
Tamás Kozsik