| 2010 | ||
|---|---|---|
| c4 | 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 | ||
| c3 | 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 | |
| 2006 | ||
| j1 | Máté Tejfel, Zoltán Horváth, Tamás Kozsik: Extending the Sparkle Core language with object abstraction. Acta Cybern. 17(2) (2006) | |
| 2005 | ||
| c2 | Máté Tejfel, Zoltán Horváth, Tamás Kozsik: Temporal Properties of Clean Programs Proven in Sparkle-T. CEFP 2005: 168-190 | |
| 2003 | ||
| c1 | Zoltán Horváth, Tamás Kozsik, Máté Tejfel: Proving Invariants of Functional Programs. SPLST 2003: 115-126 | |
| 1 | István Bozó | |
| 2 | Zoltán Horváth | |
| 3 | Róbert Kitlei | |
| 4 | Tamás Kozsik | |
| 5 | László Lövei | |
| 6 | Melinda Tóth |
Data released under the ODC-BY 1.0 license — See also our legal information page