Segui
Tamás Kozsik
Tamás Kozsik
Dept. Programming Languages and Compilers, ELTE Eötvös Loránd University, Budapest, Hungary
Email verificata su elte.hu - Home page
Titolo
Citata da
Citata da
Anno
Quantum optimization for the graph coloring problem with space-efficient embedding
Z Tabi, KH El-Safty, Z Kallus, P Hága, T Kozsik, A Glos, Z Zimborás
2020 IEEE international conference on quantum computing and engineering (QCE …, 2020
642020
Modeling semantic knowledge in Erlang for refactoring
Z Horváth, L Lövei, T Kozsik, R Kitlei, M Tóth, I Bozó, R Király
Knowledge Engineering: Principles and Techniques, Proceedings of the …, 2009
522009
Refactoring erlang programs
H Li, S Thompson, L Lövei, Z Horváth, T Kozsik, A Víg, T Nagy
The Proceedings of 12th International Erlang/OTP User Conference, 2006
502006
The multi-agent modelling language and the model design interface
L Gulyás, T Kozsik, JB Corliss
Journal of Artificial Societies and Social Simulation 2 (3), 8, 1999
401999
Discovering parallel pattern candidates in Erlang
I Bozó, V Fordós, Z Horvath, M Tóth, D Horpácsi, T Kozsik, J Köszegi, ...
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 13-23, 2014
352014
UML Model Execution via Code Generation.
G Devai, M Karácsony, B Németh, R Kitlei, T Kozsik
EXE@ MoDELS, 9-15, 2015
242015
An extension to the subtype relationship in C++ implemented with template metaprogramming
I Zólyomi, Z Porkoláb, T Kozsik
Generative Programming and Component Engineering: Second International …, 2003
242003
Extending the sparkle core language with object abstraction
M Tejfel, Z Horváth, T Kozsik
Acta Cybernetica 17 (2), 419-445, 2005
232005
Impact analysis of Erlang programs using behaviour dependency graphs
M Tóth, I Bozó, Z Horváth, L Lövei, M Tejfel, T Kozsik
Central European Functional Programming School: Third Summer School, CEFP …, 2010
202010
The use of aspect-oriented programming in scientific simulations
L Gulyás, T Kozsik
Proceedings of Sixth Fenno-Ugric Symposium on Software Technology, Estonia, 1999
191999
Use cases for refactoring in erlang
T Kozsik, Z Csörnyei, Z Horváth, R Király, R Kitlei, L Lövei, T Nagy, M Tóth, ...
Central European Functional Programming School: Second Summer School, CEFP …, 2008
182008
Refactorings to enable parallelization
I Bozó, V Fördős, D Horpácsi, Z Horváth, T Kozsik, J Kőszegi, M Tóth
Trends in Functional Programming: 15th International Symposium, TFP 2014 …, 2015
162015
Introducing records by refactoring
L Lövei, Z Horváth, T Kozsik, R Király
Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 18-28, 2007
162007
Refactoring in Erlang, a Dynamic Functional Language
L Lövei, Z Horváth, T Kozsik, R Király, A Vıg, T Nagy
Proceedings of the 1st Workshop on Refactoring Tools, 45-46, 2007
162007
Building a refactoring tool for Erlang
Z Horváth, L Lövei, T Kozsik, R Kitlei, AN Víg, T Nagy, M Tóth, R Király
Workshop on Advanced Software Development Tools and Techniques, WASDETT 2008, 2008
152008
Proving Invariants of Functional Programs.
Z Horváth, T Kozsik, M Tejfel
SPLST, 115-126, 2003
152003
Automated Syntax Manipulation in RefactorErl. 14th International Erlang/OTP User Conference
R Kitlei, L Lövei, M Tóth, Z Horváth, T Kozsik, T Kozsik, R Király, I Bozó, ...
Stockholm, November 13, 2008
142008
The multi-agent modeling language
L Gulyás, T Kozsik, S Fazekas
Proceedings of Proceedings of the 4th International Conference on Applied …, 1999
141999
Verification of the Temporal Properties of Dynamic Clean Processes
Z Horváth, PM Achten, T Kozsik, R Plasmeijer
[Sl]:[Sn], 1999
141999
Refactoring erlang programs
L Lövei, Z Horváth, T Kozsik, A Víg, T Nagy
Periodica Polytechnica Electrical Engineering (Archives) 51 (3-4), 75-84, 2007
122007
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20