Concepedia

Tamás Kozsik

TK

6

Publications

102

Citations

6

H-Index

1999

Active since

Affiliations

Eötvös Loránd University(Current)

Tamás Kozsik is an author at Eötvös Loránd University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisSoftware DesignSoftware EngineeringLinguisticsSystem SoftwareSoftware Testing

Publications per year

1999–2024

6

Publications

6

The Multi-Agent Modelling Language and the Model Design Interface

László Gulyás, Tamás Kozsik, John B. Corliss · RePEc: Research Papers in Economics · 1999 · 23 citations · Full text

Supported Simulation Kernels, Agent Development Tool, Agent-oriented Software Engineering +15

Refactoring Erlang programs

László Lövei, Zoltán Horváth, Tamás Kozsik et al. · Periodica Polytechnica Electrical Engineering · 2007 · 22 citations

Software Maintenance, Engineering, Refactoring Tool +16

Discovering parallel pattern candidates in Erlang

István Bozó, Viktória Fördős, Zoltán Horváth et al. · 2014 · 21 citations

Engineering, Compiler Technology, Pattern Discovery +28

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

Midya Alqaradaghi, Tamás Kozsik · IEEE Access · 2024 · 15 citations · Full text

Free the Conqueror! Refactoring divide-and-conquer functions

Tamás Kozsik, Melinda Tóth, István Bozó · Future Generation Computer Systems · 2017 · 11 citations · Full text

Engineering, Program Analysis, Divide-and-conquer Functions +6

Rows per page

1–5 of 6