Papers in referred proceedings

[1]
István Bozó, Viktória Fördős, Dániel Horpácsi, Zoltán Horváth, Tamás Kozsik, Judit Kőszegi, and Melinda Tóth. Refactorings to enable parallelization. In Jurriaan Hage and Jay McCarthy, editors, Trends in Functional Programming, volume 8843 of Lecture Notes in Computer Science, pages 104-121. Springer International Publishing, 2015. [ bib | DOI | http ]
[2]
István Bozó, Viktória Fördős, Zoltán Horváth, Melinda Tóth, Dániel Horpácsi, Tamás Kozsik, Judit Kőszegi, Adam Barwell, Christopher Brown, and Kevin Hammond. Discovering parallel pattern candidates in Erlang. In Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang, pages 13-23, New York, NY, USA, 2014. ACM. [ bib | DOI ]
[3]
László Domoszlai and Tamás Kozsik. Clean up the Web! In The Beauty of Functional Code, volume 8106 of LNCS, pages 133-150, 2013. [ bib ]
[4]
Zalán Szűgyi, Márk Török, Norbert Pataki, and Tamás Kozsik. Multicore C++ Standard Template Library with C++0x. In NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics, volume 1389 of AIP Conf. Proc., pages 857-860, 2011. [ bib | DOI ]
[5]
Attila Góbi and Tamás Kozsik. Type inference in Gb. In Horia F. Pop and Antal Bege, editors, 8th Joint Conference on Mathematics and Computer Science, Selected Papers, pages 197-210, 2011. [ bib ]
[6]
Melinda Tóth, István Bozó, Zoltán Horváth, László Lövei, Máté Tejfel, and Tamás Kozsik. Impact analysis of Erlang programs using behaviour dependency graphs. In Central European Functional Programming Summer School, Third Summer School, CEFP 2009, Revised Selected Lectures, volume 6299 of LNCS, pages 372-390. Springer Berlin/Heidelberg, 2010. [ bib | DOI | http ]
[7]
Róbert Kitlei, István Bozó, Tamás Kozsik, Máté Tejfel, and Melinda Tóth. Analysis of preprocessor constructs in erlang. In Erlang '10: Proceedings of the 9th ACM SIGPLAN workshop on Erlang, pages 45-56, New York, NY, USA, 2010. ACM. [ bib | DOI ]
[8]
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, and Anikó Víg. Use Cases for Refactoring in Erlang. In Central European Functional Programming School (The Second Central European Summer School, CEFP 2007, Cluj, Romania, June 23-30, 2007), Revised Selected Lectures, volume 5161 of LNCS, pages 250-285. Springer Berlin/Heidelberg, 2008. rev: Zbl 1170.68414, DBLP Record 'conf/cefp/KozsikCHKKLNTV07'. [ bib | http ]
[9]
László Lövei, Zoltán Horváth, Tamás Kozsik, and Roland Király. Introducing records by refactoring. In Proceedings of the 2007 ACM SIGPLAN Erlang Workshop, pages 18-28. ACM Press, 2007. DBLP Record 'conf/erlang/LoveiHKK07'. [ bib | DOI ]
[10]
László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király, and Róbert Kitlei. Static rules of variable scoping in Erlang. In Emőd Kovács, Péter Olajos, and Tibor Tómács, editors, Proceedings of the 7th International Conference on Applied Informatics, volume 2, pages 137-145, 2008. rev: Zbl 1183.68197. [ bib ]
[11]
Norbert Pataki, Tamás Kozsik, and Zoltán Porkoláb. Properties of C++ template metaprograms. In Emőd Kovács, Péter Olajos, and Tibor Tómács, editors, Proceedings of the 7th International Conference on Applied Informatics, volume 2, pages 265-270, 2008. rev: Zbl pre05662531. [ bib ]
[12]
Tamás Kozsik. Proving Program Properties Specified with Subtype Marks. In Zoltán Horváth, Viktória Zsók, and Andrew Butterfield, editors, Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006, Budapest, Hungary, September 2006, Revised Selected Papers, volume 4449 of LNCS, pages 163-180. Springer, 2007. rev: Zbl pre05527742, DBLP Record 'conf/ifl/Kozsik06'. [ bib | http ]
[13]
László Csaba Lőrincz, Attila Ulbert, Zoltán Horváth, and Tamás Kozsik. Towards an Agent Integrated Speculative Scheduling Service. In Péter Kacsuk, Thomas Fahringer, and Zsolt Németh, editors, Distributed and Parallel Systems - Cluster and Grid Computing, pages 211-220. Springer, 2007. [ bib | http ]
[14]
Máté Tejfel, Zoltán Horváth, and Tamás Kozsik. Temporal Properties of Clean Programs Proven in Sparkle-T. In Zoltán Horváth, editor, Central European Functional Programming School (The First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005), Revised Selected Lectures, volume 4164 of LNCS, pages 168-190. Springer, 2006. rev: Zbl 1156.68337, DBLP Record 'conf/cefp/TejfelHK05'. [ bib | http ]
[15]
Tamás Kozsik. Tutorial on Subtype Marks. In Zoltán Horváth, editor, Central European Functional Programming School (The First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005), Revised Selected Lectures, volume 4164 of LNCS, pages 191-222. Springer, 2006. rev: Zbl 1156.68334, DBLP Record 'conf/cefp/Kozsik05'. [ bib | http ]
[16]
László Csaba Lőrincz, Tamás Kozsik, Attila Ulbert, and Zoltán Horváth. Data access optimization on grid systems. In Proceedings of the Fourteenth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Linköping, Sweden (Emerging Technologies for Next Generation GRID (ETNGRID) Workshop), pages 319-324. IEEE Computer Society, 2005. DBLP Record 'conf/wetice/LorinczKUH05'. [ bib | DOI ]
[17]
István Zólyomi, Zoltán Porkoláb, and Tamás Kozsik. An extension to the subtype relationship in C++ implemented with template metaprogramming. In Frank Pfenning and Yannis Smaragdakis, editors, Generative Programming and Component Engineering 2003, Proceedings, number 2830 in LNCS, pages 209-227. Springer, 2003. DBLP Record 'conf/gpce/ZolyomiPK03'. [ bib | http ]
[18]
Zoltán Horváth, Tamás Kozsik, and Máté Tejfel. Proving invariants of functional programs. In Pekka Kilpeläinen and Niina Päivinen, editors, Proceedings of the Eighth Symposium on Programming Languages and Software Tools, SPLST'03, Kuopio, Finland, June 17-18, pages 115-126. University of Kuopio, Department of Computer Science, 2003. DBLP Record 'conf/splst/HorvathKT03'. [ bib | .pdf ]
[19]
Zoltán Horváth, Zoltán Hernyák, Tamás Kozsik, Máté Tejfel, and Attila Ulbert. A data intensive computation on a cluster. In Péter Kacsuk, Dieter Kranzlmüller, Zsolt Németh, and Jens Volkert, editors, Distributed and Parallel Systems - Cluster and Grid Computing, volume 706 of The Springer International Series in Engineering and Computer Science, pages 46-53. Springer, 2002. [ bib | http ]
[20]
Ákos Frohner, László Kozma, Tamás Kozsik, and Zoltán Porkoláb. Beyond 2000, beyond object-orientation. In Emőd Kovács and Zoltán Winkler, editors, Proceedings of 5th International Conference on Applied Informatics (ICAI'01), pages 125-134, Eger-Noszvaj, Hungary, 2001. rev: Zbl 1103.68449. [ bib | .pdf ]
[21]
László Gulyás, Tamás Kozsik, and Sándor Fazekas. The Multi-Agent Modeling Language. In Emőd Kovács and Zoltán Winkler, editors, Proceedings of 4th International Conference on Applied Informatics (ICAI'99), pages 43-50, Eger-Noszvaj, Hungary, 1999. rev: Zbl 0999.68615. [ bib | .pdf ]

This file was generated by bibtex2html 1.97.