Travelled to:
1 × Romania
2 × Hungary
Collaborated with:
T.Kozsik M.Tejfel V.Zsók Z.Hernyák 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 (2) erlang (2) clean (2) use (2) distribut (1) behaviour (1) skeleton (1) refactor (1) properti (1) analysi (1)
♂ Person: Zoltán Horváth
DBLP: Horv=aacute=th:Zolt=aacute=n
Facilitated 9 volumes:
Contributed to:
Wrote 4 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.
- CEFP-2005-TejfelHK #source code
- Temporal Properties of Clean Programs Proven in Sparkle-T (MT, ZH, TK), pp. 168–190.
- CEFP-2005-ZsokHH #design #distributed
- Designing Distributed Computational Skeletons in D-Clean and D-Box (VZ, ZH, ZH), pp. 223–256.