default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTamás Kozsik
Person information
- affiliation: Eötvös Loránd University, Budapest, Hungary
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j11]Midya Alqaradaghi
, Tamás Kozsik:
Comprehensive Evaluation of Static Analysis Tools for Their Performance in Finding Vulnerabilities in Java Code. IEEE Access 12: 55824-55842 (2024)- 2023
- [j10]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): 247 (2023) - [j9]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): 254 (2023) - 2018
- [j8]Tamás Kozsik, Melinda Tóth, István Bozó:
Free the Conqueror! Refactoring divide-and-conquer functions. Future Gener. Comput. Syst. 79: 687-699 (2018) - 2016
- [j7]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): 764-791 (2016) - 2013
- [j6]Artyom Antyipin, Attila Góbi, Tamás Kozsik:
Low Level Conditional Move Optimization. Acta Cybern. 21(1): 5-20 (2013) - 2012
- [j5]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): 1187-1202 (2012) - 2009
- [j4]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): 22-38 (2009) - 2006
- [j3]Máté Tejfel, Zoltán Horváth, Tamás Kozsik:
Extending the Sparkle Core language with object abstraction. Acta Cybern. 17(2): 419-445 (2006) - 2005
- [j2]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): 197-208 (2005) - 1999
- [j1]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)
Conference and Workshop Papers
- 2024
- [c26]Baasanjargal Erdenebat, Tamás Kozsik:
Comparative Analysis of Container Build Methods: A Performance Evaluation. MIPRO 2024: 1960-1966 - 2023
- [c25]Gregory Morse, Tamás Kozsik:
On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (Max-)k-SAT with Integer Programming. ICACS 2023: 145-153 - [c24]Zoltán Kolarovszki, Ágoston Kaposi, Tamás Kozsik, Zoltán Zimborás:
Simulating Sparse and Shallow Gaussian Boson Sampling. ICCS (5) 2023: 209-223 - [c23]Ágoston Kaposi, Zoltán Kolarovszki, Adrian Solymos, Tamás Kozsik, Zoltán Zimborás:
Constructing Generalized Unitary Group Designs. ICCS (5) 2023: 233-245 - [c22]Gregory Morse, Tamás Kozsik, Peter Rakyta:
Minimal Path Delay Leading Zero Counters on Xilinx FPGAs. ICCS (3) 2023: 626-640 - 2022
- [c21]Gergely Gálfi, Tamás Kozsik, Zoltán Zimborás:
Programming language for unified computing with classical and quantum bits. GI-Jahrestagung 2022: 1101-1105 - [c20]Midya Alqaradaghi, Tamás Kozsik:
Inferring The Best Static Analysis Tool For Null Pointer Dereference in Java Source Code. SQAMIA 2022 - 2020
- [c19]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: 56-62 - 2017
- [c18]Melinda Tóth, István Bozó, Tamás Kozsik:
Pattern Candidate Discovery and Parallelization Techniques. IFL 2017: 1:1-1:26 - 2015
- [c17]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: 9-15 - 2014
- [c16]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: 13-23 - [c15]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: 104-121 - [c14]Viktoria Fordós, Melinda Tóth, Tamás Kozsik:
Clone Wars. SQAMIA 2014: 15-22 - 2013
- [c13]László Domoszlai, Tamás Kozsik:
Clean Up the Web! - Rapid Client-Side Web Development with Clean. The Beauty of Functional Code 2013: 133-150 - 2010
- [c12]Róbert Kitlei, István Bozó, Tamás Kozsik, Máté Tejfel, Melinda Tóth:
Analysis of preprocessor constructs in Erlang. Erlang Workshop 2010: 45-56 - 2009
- [c11]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: 372-390 - 2007
- [c10]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: 250-285 - [c9]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: 44-45 - [c8]László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király:
Introducing records by refactoring. Erlang Workshop 2007: 18-28 - 2006
- [c7]Tamás Kozsik:
Proving Program Properties Specified with Subtype Marks. IFL 2006: 163-180 - 2005
- [c6]Máté Tejfel, Zoltán Horváth, Tamás Kozsik:
Temporal Properties of Clean Programs Proven in Sparkle-T. CEFP 2005: 168-190 - [c5]Tamás Kozsik:
Tutorial on Subtype Marks. CEFP 2005: 191-222 - [c4]László Csaba Lorincz, Tamás Kozsik, Attila Ulbert, Zoltán Horváth:
Data access optimization on grid systems. WETICE 2005: 319-324 - 2003
- [c3]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: 209-227 - [c2]Zoltán Horváth, Tamás Kozsik, Máté Tejfel:
Proving Invariants of Functional Programs. SPLST 2003: 115-126 - 1998
- [c1]Tamás Kozsik:
Parallel Programs Implementing Abstract Data Type Operations - A Case Study. ECOOP Workshops 1998: 15-16
Editorship
- 2016
- [e1]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. CEUR Workshop Proceedings 1677, CEUR-WS.org 2016 [contents]
Informal and Other Publications
- 2024
- [i2]Gregory Morse, Tamás Kozsik, Oskar Mencer, Peter Rakyta:
A compact QUBO encoding of computational logic formulae demonstrated on cryptography constructions. CoRR abs/2409.07501 (2024) - 2022
- [i1]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)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 00:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
