@inproceedings{tfp14,
author = {Boz\'{o}, Istv\'{a}n and F{\"o}rd{\H o}s, Vikt{\'o}ria and Horp{\'a}csi, D{\'a}niel and Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam\'{a}s and Kőszegi, Judit and T\'{o}th, Melinda},
title = {Refactorings to Enable Parallelization},
booktitle = {{Trends in Functional Programming}},
year = {2015},
isbn = {978-3-319-14674-4},
series = {Lecture Notes in Computer Science},
volume = {8843},
editor = {Hage, Jurriaan and McCarthy, Jay},
doi = {10.1007/978-3-319-14675-1_7},
url = {http://dx.doi.org/10.1007/978-3-319-14675-1_7},
publisher = {Springer International Publishing},
pages = {104--121},
location = {Soesterberg, The Netherlands}
}
@inproceedings{erlws14,
author = {Boz\'{o}, Istv\'{a}n and F{\"o}rd{\H o}s, Vikt{\'o}ria and Horv{\'a}th, Zolt{\'a}n and T\'{o}th, Melinda and Horp{\'a}csi, D{\'a}niel and Kozsik, Tam\'{a}s and Kőszegi, Judit and Barwell, Adam and Brown, Christopher and Hammond, Kevin},
title = {Discovering parallel pattern candidates in {Erlang}},
booktitle = {{Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang}},
year = {2014},
isbn = {978-1-4503-3038-1},
pages = {13--23},
location = {G{\"o}teborg, Sweden},
doi = {http://doi.acm.org/10.1145/2633448.2633453},
publisher = {ACM},
address = {New York, NY, USA}
}
@inproceedings{rinus61,
title = {Clean up the {Web}!},
author = {László Domoszlai and Tamás Kozsik},
booktitle = {The Beauty of Functional Code},
series = {LNCS},
volume = {8106},
year = 2013,
pages = {133--150}
}
@inproceedings{aip2011,
title = {Multicore {C++} {S}tandard {T}emplate {L}ibrary with {C++0x}},
author = {Zalán Szűgyi and Márk Török and Norbert Pataki and Tamás Kozsik},
booktitle = {{NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics}},
series = {AIP Conf. Proc.},
volume = {1389},
year = 2011,
pages = {857--860},
doi = {10.1063/1.3636868}
}
@inproceedings{macs10,
title = {Type inference in {G}b},
author = {Attila Góbi and Tamás Kozsik},
booktitle = {8th Joint Conference on Mathematics and Computer Science, Selected Papers},
editor = {Horia F. Pop and Antal Bege},
year = {2011},
pages = {197--210},
isbn = {978-963-9056-38-1}
}
@inproceedings{cefp09,
title = {Impact analysis of {E}rlang programs using behaviour dependency graphs},
author = {Melinda T{\'o}th and István Boz{\'o} and Zolt{\'a}n Horv{\'a}th and L{\'a}szl{\'o} L{\"o}vei and M{\'a}t{\'e} Tejfel and Tam{\'a}s Kozsik},
booktitle = {Central European Functional Programming Summer School, Third Summer School, CEFP 2009, Revised Selected Lectures},
series = {LNCS},
publisher = {Springer Berlin/Heidelberg},
volume = {6299},
year = 2010,
pages = {372--390},
isbn = {978-3-540-88058-5},
issn = {0302-9743 (Print) 1611-3349 (Online)},
url = {http://www.springerlink.com/content/d52777m6u0251t4x/},
doi = {10.1007/978-3-642-17685-2_11}
}
@inproceedings{erlws10,
author = {Kitlei, R\'{o}bert and Boz\'{o}, Istv\'{a}n and Kozsik, Tam\'{a}s and Tejfel, M\'{a}t\'{e} and T\'{o}th, Melinda},
title = {Analysis of preprocessor constructs in Erlang},
booktitle = {Erlang '10: Proceedings of the 9th ACM SIGPLAN workshop on Erlang},
year = {2010},
isbn = {978-1-4503-0253-1},
pages = {45--56},
location = {Baltimore, Maryland, USA},
doi = {http://doi.acm.org/10.1145/1863509.1863517},
publisher = {ACM},
address = {New York, NY, USA}
}
@incollection{cefp07,
title = {Use {Cases} for {Refactoring} in {Erlang}},
author = {Kozsik, Tam\'as and Cs{\"o}rnyei, Zolt\'an and Horv\'ath, Zolt\'an
and Kir\'aly, Roland and Kitlei, R\'obert and L\"ovei, L\'aszl\'o
and Nagy, Tam{\'a}s and T{\'o}th, Melinda and V{\'i}g, Anik{\'o}},
booktitle = {Central European Functional Programming School
(The Second Central European Summer School, CEFP 2007,
Cluj, Romania, June 23--30, 2007), Revised Selected Lectures},
series = {LNCS},
publisher = {Springer Berlin/Heidelberg},
volume = {5161},
year = 2008,
pages = {250--285},
isbn = {978-3-540-88058-5},
issn = {0302-9743 (Print) 1611-3349 (Online)},
url = {http://www.springerlink.com/content/lmv02q02701g2300/},
note = {rev: Zbl 1170.68414, DBLP Record 'conf/cefp/KozsikCHKKLNTV07'}
}
@incollection{erlws07,
title = {Introducing Records by Refactoring},
author = {L{\'a}szl{\'o} L{\"o}vei and Zolt{\'a}n Horv{\'a}th and Tam{\'a}s Kozsik and Roland Kir{\'a}ly},
booktitle = {Proceedings of the 2007 ACM SIGPLAN Erlang Workshop},
pages = {18-28},
year = {2007},
publisher = {ACM Press},
note = {DBLP Record 'conf/erlang/LoveiHKK07'},
doi = {10.1145/1292520.1292524}
}
@inproceedings{icai07-erlang,
title = {Static rules of variable scoping in {Erlang}},
author = {L\"ovei, L\'aszl\'o and Horv\'ath, Zolt\'an and
Kozsik, Tam\'as and Kir\'aly, Roland and Kitlei, R\'obert},
booktitle = {Proceedings of the 7th International Conference
on Applied Informatics},
volume = 2,
editor = {Em\H od Kov\'acs and P\'eter Olajos and Tibor T\'om\'acs},
year = 2008,
pages = {137--145},
note = {rev: Zbl 1183.68197}
}
@inproceedings{icai07-tmp,
title = {Properties of {C++} template metaprograms},
author = {Pataki, Norbert and Kozsik, Tam\'as and Porkol\'ab, Zolt\'an},
booktitle = {Proceedings of the 7th International Conference
on Applied Informatics},
volume = 2,
editor = {Em\H od Kov\'acs and P\'eter Olajos and Tibor T\'om\'acs},
year = 2008,
pages = {265--270},
note = {rev: Zbl pre05662531}
}
@incollection{ifl06,
author = {Kozsik, Tam{\'a}s},
title = {Proving {P}rogram {P}roperties {S}pecified with {S}ubtype {M}arks},
editor = {Horv{\'a}th, Zolt{\'a}n and Zs{\'o}k, Vikt{\'o}ria and Butterfield, Andrew},
booktitle = {Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006, Budapest, Hungary, September 2006, Revised Selected Papers},
series = {LNCS},
volume = {4449},
publisher = {Springer},
year = 2007,
pages = {163-180},
url = {http://www.springerlink.com/content/v11205378153j204/},
note = {rev: Zbl pre05527742, DBLP Record 'conf/ifl/Kozsik06'}
}
@incollection{dapsys07,
author = {L{\H o}rincz, L{\'a}szl{\'o} Csaba and Ulbert, Attila and Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s},
title = {{Towards an Agent Integrated Speculative Scheduling Service}},
booktitle = {Distributed and Parallel Systems - Cluster and Grid Computing},
editor = {Kacsuk, P{\'e}ter and Fahringer, Thomas and N{\'e}meth, Zsolt},
year = 2007,
pages = {211-220},
publisher = {Springer},
url = {http://www.springerlink.com/content/gmw5h23172634415/}
}
@incollection{cefp05sparklet,
author = {Tejfel, M{\'a}t{\'e} and Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s},
title = {Temporal {P}roperties of {C}lean {P}rograms {P}roven in {S}parkle-{T}},
editor = {Horv{\'a}th, Zolt{\'a}n},
booktitle = {Central European Functional Programming School (The First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4--15, 2005), Revised Selected Lectures},
series = {LNCS},
volume = {4164},
publisher = {Springer},
year = 2006,
pages = {168-190},
url = {http://www.springerlink.com/content/h27v325r61382560/},
note = {rev: Zbl 1156.68337, DBLP Record 'conf/cefp/TejfelHK05'}
}
@incollection{cefp05,
author = {Kozsik, Tam{\'a}s},
title = {Tutorial on {S}ubtype {M}arks},
editor = {Horv{\'a}th, Zolt{\'a}n},
booktitle = {Central European Functional Programming School (The First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4--15, 2005), Revised Selected Lectures},
series = {LNCS},
volume = {4164},
publisher = {Springer},
year = 2006,
pages = {191-222},
url = {http://www.springerlink.com/content/956r3404663n8284/},
note = {rev: Zbl 1156.68334, DBLP Record 'conf/cefp/Kozsik05'}
}
@incollection{etngrid05,
author = {L{\H o}rincz, L{\'a}szl{\'o} Csaba and Kozsik, Tam{\'a}s and Ulbert, Attila and Horv{\'a}th, Zolt{\'a}n},
title = {Data access optimization on grid systems},
booktitle = {Proceedings of the Fourteenth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Link{\"o}ping, Sweden (Emerging Technologies for Next Generation GRID (ETNGRID) Workshop)},
year = 2005,
pages = {319-324},
publisher = {IEEE Computer Society},
issn = {1524-4547},
isbn = {0-7695-2362-5},
note = {DBLP Record 'conf/wetice/LorinczKUH05'},
doi = {10.1109/WETICE.2005.28}
}
@incollection{gpce03,
author = {Z{\'o}lyomi, Istv{\'a}n and Porkol{\'a}b, Zolt{\'a}n and Kozsik, Tam{\'a}s},
title = {An Extension to the Subtype Relationship in {C++} Implemented with Template Metaprogramming},
booktitle = {Generative Programming and Component Engineering 2003, Proceedings},
editor = {Pfenning, Frank and Smaragdakis, Yannis},
year = 2003,
series = {LNCS},
number = {2830},
publisher = {Springer},
pages = {209-227},
isbn = {3-540-20102-5},
url = {http://www.springerlink.com/content/8fbcfj0e9nqb6yuj/},
note = {DBLP Record 'conf/gpce/ZolyomiPK03'}
}
@inproceedings{splst03,
author = {Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s and Tejfel, M{\'a}t{\'e}},
title = {Proving Invariants of Functional Programs},
booktitle = {Proceedings of the Eighth Symposium on Programming Languages and Software Tools, SPLST'03, Kuopio, Finland, June 17--18},
editor = {Kilpel{\"a}inen, Pekka and P{\"a}ivinen, Niina},
year = 2003,
publisher = {University of Kuopio, Department of Computer Science},
pages = {115-126},
isbn = {951 781 265 5},
issn = {0787-6416},
note = {DBLP Record 'conf/splst/HorvathKT03'},
url = {papers/splst03.pdf}
}
@incollection{dapsys02,
author = {Horv{\'a}th, Zolt{\'a}n and Herny{\'a}k, Zolt{\'a}n and Kozsik, Tam{\'a}s and Tejfel, M{\'a}t{\'e} and Ulbert, Attila},
title = {A Data Intensive Computation on a Cluster},
booktitle = {Distributed and Parallel Systems - Cluster and Grid Computing},
editor = {Kacsuk, P{\'e}ter and Kranzlm{\"u}ller, Dieter and N{\'e}meth, Zsolt and Volkert, Jens},
series = {The Springer International Series in Engineering and Computer Science},
volume = 706,
year = 2002,
pages = {46-53},
isbn = {978-1-4020-7209-3},
publisher = {Springer},
url = {http://www.springer.com/computer/communications/book/978-1-4020-7209-3}
}
@inproceedings{icai01,
author = {Frohner, {\'A}kos and Kozma, L{\'a}szl{\'o} and Kozsik, Tam{\'a}s and Porkol{\'a}b, Zolt{\'a}n},
title = {Beyond 2000, Beyond Object-orientation},
booktitle = {Proceedings of 5th International Conference on Applied Informatics (ICAI'01)},
editor = {Kov{\'a}cs, Em{\H o}d and Winkler, Zolt{\'a}n},
year = 2001,
address = {Eger-Noszvaj, Hungary},
pages = {125-134},
note = {rev: Zbl 1103.68449},
url = {papers/icai01.pdf}
}
@inproceedings{icai99,
author = {Guly{\'a}s, L{\'a}szl{\'o} and Kozsik, Tam{\'a}s and Fazekas, S{\'a}ndor},
title = {The {M}ulti-{A}gent {M}odeling {L}anguage},
booktitle = {Proceedings of 4th International Conference on Applied Informatics (ICAI'99)},
editor = {Kov{\'a}cs, Em{\H o}d and Winkler, Zolt{\'a}n},
year = 1999,
address = {Eger-Noszvaj, Hungary},
pages = {43-50},
note = {rev: Zbl 0999.68615},
url = {papers/icai99.pdf}
}
This file was generated by bibtex2html 1.97.