Máté Tejfel Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2010
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Máté Tejfel, Zoltán Horváth, Tamás Kozsik: Extending the Sparkle Core language with object abstraction. Acta Cybern. 17(2) (2006)
2005
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Máté Tejfel, Zoltán Horváth, Tamás Kozsik: Temporal Properties of Clean Programs Proven in Sparkle-T. CEFP 2005: 168-190
2003
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Zoltán Horváth, Tamás Kozsik, Máté Tejfel: Proving Invariants of Functional Programs. SPLST 2003: 115-126

Coauthor Index

1István Bozó
[c4] [c3]
2Zoltán Horváth
[c3] [j1] [c2] [c1]
3Róbert Kitlei
[c4]
4Tamás Kozsik
[c4] [c3] [j1] [c2] [c1]
5László Lövei
[c3]
6Melinda Tóth
[c4] [c3]
Last update Mon May 20 05:22:23 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page