| * | 2007 |
|---|
| 12 | EE | 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ó Víg:
Use Cases for Refactoring in Erlang.
CEFP 2007: 250-285 |
| 11 | EE | László Lövei,
Zoltán Horváth,
Tamás Kozsik,
Roland Király:
Introducing records by refactoring.
Erlang Workshop 2007: 18-28 |
| 2006 |
|---|
| 10 | EE | Tamás Kozsik:
Proving Program Properties Specified with Subtype Marks.
IFL 2006: 163-180 |
| 9 | EE | Máté Tejfel,
Zoltán Horváth,
Tamás Kozsik:
Extending the Sparkle Core language with object abstraction.
Acta Cybern. 17(2): (2006) |
| 2005 |
|---|
| 8 | EE | Máté Tejfel,
Zoltán Horváth,
Tamás Kozsik:
Temporal Properties of Clean Programs Proven in Sparkle-T.
CEFP 2005: 168-190 |
| 7 | EE | Tamás Kozsik:
Tutorial on Subtype Marks.
CEFP 2005: 191-222 |
| 6 | EE | László Csaba Lorincz,
Tamás Kozsik,
Attila Ulbert,
Zoltán Horváth:
Data access optimization on grid systems.
WETICE 2005: 319-324 |
| 5 | EE | 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 and Grid Systems 1(3): 197-208 (2005) |
| 2003 |
|---|
| 4 | EE | 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 |
| 3 | | Zoltán Horváth,
Tamás Kozsik,
Máté Tejfel:
Proving Invariants of Functional Programs.
SPLST 2003: 115-126 |
| 1999 |
|---|
| 2 | EE | László Gulyás,
Tamás Kozsik,
John B. Corliss:
The Multi-Agent Modelling Language and the Model Design Interface.
J. Artificial Societies and Social Simulation 2(4): (1999) |
| 1998 |
|---|
| 1 | | Tamás Kozsik:
Parallel Programs Implementing Abstract Data Type Operations - A Case Study.
ECOOP Workshops 1998: 15-16 |
