Travelled to:1 × Germany
1 × Romania
3 × Hungary
Collaborated with:∅ Z.Horváth M.Tejfel I.Zólyomi Z.Porkoláb M.Tóth L.Lövei I.Bozó Z.Csörnyei R.Király R.Kitlei T.Nagy A.N.Víg
Talks about:program (3) subtyp (3) properti (2) erlang (2) mark (2) use (2) relationship (1) metaprogram (1) implement (1) behaviour (1)
Person: Tamás Kozsik
DBLP: Kozsik:Tam=aacute=s
Contributed to:
20092007
20062005
2003Wrote 6 papers:
- CEFP-2009-TothBHLTK #behaviour #dependence #erlang #graph #impact analysis #source code #using
- Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs (MT, IB, ZH, LL, MT, TK), pp. 372–390.
- CEFP-2007-KozsikCHKKLNTV #case study #erlang #refactoring
- Use Cases for Refactoring in Erlang (TK, ZC, ZH, RK, RK, LL, TN, MT, ANV), pp. 250–285.
- IFL-2006-Kozsik #proving #type system
- Proving Program Properties Specified with Subtype Marks (TK), pp. 163–180.
- CEFP-2005-Kozsik #tutorial #type system
- Tutorial on Subtype Marks (TK), pp. 191–222.
- CEFP-2005-TejfelHK #source code
- Temporal Properties of Clean Programs Proven in Sparkle-T (MT, ZH, TK), pp. 168–190.
- GPCE-2003-ZolyomiPK #c++ #metaprogramming #type system
- An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming (IZ, ZP, TK), pp. 209–227.