Országos Doktori Tanács

Személyi adatlap

Kozsik, Tamás

személyes adatok
név
Kozsik Tamás

Az adatok frissességéről nyilatkozott: 2024-06-09

doktori iskolák
időszak
2007-11-01 –
testületi tagságok
szavazati jogú belső tag

Doktori Iskola Tanácsa
Eötvös Loránd Tudományegyetem
Informatika Doktori Iskola

elérhetőségek
fokozatok
tudományos fokozat
PhD
fokozat megszerzésének éve
2006
fokozat tudományága
fokozatot kiadó intézmény neve
Eötvös Loránd Tudományegyetem
címek
tudományos cím
Habilitáció
cím megszerzésének éve
cím tudományága
címet kiadó intézmény neve
Eötvös Loránd Tudományegyetem
munkahelyek
1996 –
kutatás
kutatási terület
programozási nyelvek; formális módszerek; programelemzés és -transzformáció; párhuzamos, konkurrens és elosztott számítások
jelenlegi kutatásainak tudományága
informatikai tudományok
doktori képzés
közlemények
2022

Morse Gregory, Alqaradaghi Midya, Kozsik Tamas: Control flow obfuscation with irreducible loopsand self-modifying code

PUBLICATIONES MATHEMATICAE DEBRECEN 100: (Supplementum) pp. 617-637.

dokumentum típusa: Folyóiratcikk

nyelv: angol

2022

M Alqaradaghi, G Morse, T Kozsik: Detecting security vulnerabilities with static analysis – A case study

POLLACK PERIODICA: AN INTERNATIONAL JOURNAL FOR ENGINEERING AND INFORMATION SCIENCES 17: (2) pp. 1-7.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 3

nyelv: angol

2020

Tabi Z., El-Safty K.H., Kallus Z., Haga P., Kozsik T., Glos A., Zimboras Z.: Quantum Optimization for the Graph Coloring Problem with Space-Efficient Embedding

In: Hausi, A. Müller; Greg, Byrd; Candace, Culhane; Erik, DeBenedictis; Travis, Humble (szerk.) Proceedings IEEE International Conference on Quantum Computing and Engineering (QCE20) Quantum Week 2020, IEEE Computer Society (2020) pp. 56-62.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 34

nyelv: angol

2017

Kozsik T, Tóth M, Bozó I: Free the Conqueror! Refactoring divide-and-conquer functions

FUTURE GENERATION COMPUTER SYSTEMS 79: (2) pp. 687-699.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 9

nyelv: angol

2014

István Bozó, Viktoria Fordós, Zoltán Horvath, Melinda Tóth, Dániel Horpácsi, Tamás Kozsik, Judit Köszegi, Adam Barwell, Christopher Brown, Kevin Hammond: Discovering parallel pattern candidates in Erlang

In: Laura, M Castro; Hans, Svensson (szerk.) Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang, ACM Press (2014) pp. 13-23.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 20

nyelv: angol

2008

Kozsik T., Csörnyei Z., Horváth Z., Király R., Kitlei R., Lövei L., Nagy T., Tóth M., Vig A.: Use Cases for Refactoring in Erlang

LECTURE NOTES IN COMPUTER SCIENCE 5161: pp. 250-285.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 8

nyelv: angol

2005

Tejfel M, Horváth Z, Kozsik T: Extending the Sparkle Core language with object abstraction

ACTA CYBERNETICA 17: (2) pp. 419-445.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 18

nyelv: angol

1999

Gulyás L, Kozsik T, Corliss JB: The multi-agent modelling language and the model design interface

JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION 2: (3) 8

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 32

nyelv: angol