 | 2010 |
| 16 |  | 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 |
| 15 |  | 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 |
| 14 |  | Attila Ulbert,
László Csaba Lorincz,
Tamás Kozsik,
Zoltán Horváth:
Speculative Scheduling of Parameter Sweep Applications Using Job Behavior Descriptions.
IJGHPC 1(1): 22-38 (2009) |
| 2007 |
| 13 |  | 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 |
| 12 |  | László Lövei,
Zoltán Horváth,
Tamás Kozsik,
Roland Király:
Introducing records by refactoring.
Erlang Workshop 2007: 18-28 |
| 11 |  | 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 |
| 2006 |
| 10 |  | Tamás Kozsik:
Proving Program Properties Specified with Subtype Marks.
IFL 2006: 163-180 |
| 9 |  | 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 |  | Máté Tejfel,
Zoltán Horváth,
Tamás Kozsik:
Temporal Properties of Clean Programs Proven in Sparkle-T.
CEFP 2005: 168-190 |
| 7 |  | Tamás Kozsik:
Tutorial on Subtype Marks.
CEFP 2005: 191-222 |
| 6 |  | László Csaba Lorincz,
Tamás Kozsik,
Attila Ulbert,
Zoltán Horváth:
Data access optimization on grid systems.
WETICE 2005: 319-324 |
| 5 |  | 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 |  | 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 |  | 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 |