@inproceedings{clones14,
author = {Viktória Fördős and Melinda Tóth and Tamás Kozsik},
title = {Clone Wars},
booktitle = {Proc. 3rd Workshop on Software Quality Analysis, Monitoring, Improvement and Applications},
series = {CEUR Workshop Proceedings},
volume = 1266,
pages = {15--22},
year = 2014,
url = {http://ceur-ws.org/Vol-1266/SQAMIA2014_Paper3.pdf},
issn = {1613-0073}
}
@inproceedings{cse12,
author = {Artyom Antyipin and Attila Góbi and Tamás Kozsik},
title = {Manipulating Infinite Data in {C++} Using Lazy Shared Objects},
booktitle = {Proceedings of CSE 2012 International Scientific Conference on Computer Scinece and Engineering},
year = 2012,
pages = {103--110}
}
@inproceedings{fopara_2011,
author = {Péter Diviánszky and Attila Góbi and Tamás Kozsik},
title = {Size Analysis of Higher-Order Functions},
booktitle = {Draft Proceedings of the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis},
year = 2011,
pages = {23--37}
}
@inproceedings{icai2010_scope,
author = {Attila Góbi and Tamás Kozsik and Mónika Mészáros and Artyom Antyipin and Dorián Batha and Tamás Kiss},
title = {Untangling Type Inference and Scope Analysis},
booktitle = {Proc. 8th Int'l Conf. on Applied Informatics (ICAI), Eger, Hungary, January 27--30, 2010},
year = 2011,
volume = {2},
pages = {157--164}
}
@inproceedings{icai2010_complexity,
author = {Gábor Páli and Tamás Kozsik},
title = {Measuring Software Complexity by Types},
booktitle = {Proc. 8th Int'l Conf. on Applied Informatics (ICAI), Eger, Hungary, January 27--30, 2010},
year = 2011,
volume = {2},
pages = {429--436}
}
@inproceedings{cse2010,
author = {Barna, Imre and Bauer, Péter and Bernád, Kinga and Hernáth, Zsolt and Horváth, Zoltán and Kőszegi, Balázs and Kovács, Gergely and Kozsik, Tamás and Lengyel, Zsolt and Roth, Róbert and Sike, Sándor and Takács, Gábor},
title = {"ODF Mobile Edition – Towards the development of a mobile office software"},
pages = {224--230},
booktitle = {Proceedings of CSE 2010 International Scientific Conference on Computer Science and Engineering},
year = {2010},
publisher = {The University of Technology Košice},
isbn = {978-80-8086-164-3},
language = {english}
}
@inproceedings{kept09-proc,
author = {Horv{\'a}th, Zolt{\'a}n and L{\"o}vei, L{\'a}szl{\'o} and Kozsik, Tam{\'a}s and Kitlei, R{\'o}bert and Boz{\'o}, Istv{\'a}n and T{\'o}th, Melinda and Kir{\'a}ly, Roland},
title = {Modeling {S}emantic {K}nowledge in {E}rlang for {R}efactoring},
booktitle = {International Conference on Knowledge Engineering, Principles and Techniques, KEPT 2009, Selected papers},
year = 2009,
pages = {38--53},
note = {Invited paper. Earlier version appeared in \url{journals.html#kept09}{Studia Universitatis Informatica, 54:7-16, 2009.}}
}
@inproceedings{education09csmw,
author = {Zolt{\'a}n Horv{\'a}th and Tam{\'a}s Kozsik and L{\'a}szl{\'o} L{\"o}vei},
title = {Mobility Supported Software Engineering Education in Cooperation with Industrial Partners},
booktitle = {Proceedings of 1st Computer Science Mobility Workshop (CSMW 2009)},
year = {2009},
address = {AAU Klagenfurt, Austria},
pages = {55--61},
isbn = {978-3-9500593-4-2}
}
@inproceedings{euc08,
title = {Automated syntax manipulation in {RefactorErl}},
author = {R{\'o}bert Kitlei and L{\'a}szl{\'o} L{\"o}vei and Melinda T{\'o}th and Zolt{\'a}n Horv{\'a}th and Tam{\'a}s Kozsik and Roland Kir{\'a}ly and Istv{\'a}n Boz{\'o} and Csaba Hoch and D{\'a}niel Horp{\'a}csi},
booktitle = {Proceedings of 14th International Erlang/OTP User Conference},
year = {2008},
url = {http://www.erlang.se/euc/08/}
}
@inproceedings{wasdett08,
title = {Building a {R}efactoring {T}ool for {E}rlang},
author = {Zolt{\'a}n Horv{\'a}th and L{\'a}szl{\'o} L{\"o}vei and Tam{\'a}s Kozsik and R{\'o}bert Kitlei and Nagyn{\'e} V{\'i}g, Anik{\'o} and Nagy, Tam{\'a}s and Melinda T{\'o}th and Roland Kir{\'a}ly},
editor = {Mens, K. and van den Brand, M. and Kuhn, A. and Kienle, H.M. and Wuyts, R.},
booktitle = {1st International Workshop on Academic Software Development Tools and Techniques (WASDeTT-1)},
year = {2008},
url = {http://scg.unibe.ch/wiki/wasdett2008/},
note = {11 pages}
}
@misc{mpool08,
title = {Object Based Multiparadigm Concepts for Verification of Functional Components},
author = {Tejfel, M{\'a}t{\'e} and Kozsik, Tam{\'a}s and Horv{\'a}th, Zolt{\'a}n},
howpublished = {In Proc. of MPOOL 2008, ECOOP Workshop},
year = {2008},
note = {9 pages},
url = {http://homepages.fh-regensburg.de/~mpool/mpool08/submissions/Mate.pdf}
}
@inproceedings{08-tfp,
author = {Tejfel, M{\'a}t{\'e} and Kozsik, Tam{\'a}s},
title = {An {O}perational {S}emantics of {T}emporal {P}roperties in
{F}unctional {P}rograms},
booktitle = {Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP)},
editor = {Achten, Peter and Koopman, Pieter and Moraz{\'a}n, Marco T.},
year = 2008,
pages = {396-406},
note = {Technical report: ICIS-R08007, Radboud University Nijmegen}
}
@inproceedings{08-cse,
author = {Pataki, Norbert and Sz{\"u}gyi, Zal{\'a}n and Kozsik, Tam{\'a}s},
title = {On the Correctness of Aspect-Oriented Programs},
booktitle = {Proc. of CSE 2008 International Scientific Conference on Computer Science and Engineering},
year = {2008},
pages = {126-132}
}
@inproceedings{provecs07,
author = {Istenes, Zolt{\'a}n and Kozsik, Tam{\'a}s},
title = {Safe mobile code controlling a robot},
booktitle = {Proc. First International Workshop on Property Verification for Software Components and Services, ProVeCS},
editor = {Attiogb{\'e}, Christian and Kr{\"o}ning, Daniel},
year = 2007,
series = {ETH Technical Report 576},
url = {http://www.lina.univ-nantes.fr/provecs/provecs2007proceedings.pdf},
note = {\url{journals.html#annales09robot}{Final paper: Annales Univ. Sci. Budapest., Sect. Comp. 30:175-190, 2009}}
}
@inproceedings{splst07cppcc,
title = {Commanding a robot in a safe way},
author = {Zolt{\'a}n Istenes and Tam{\'a}s Kozsik},
pages = {167-177},
booktitle = {Proceedings of the 10th Symposium on Programming Languages and Software Tools},
isbn = {978 963 463 925 1},
editor = {Horv{\'a}th, Zolt{\'a}n and Kozma, L{\'a}szl{\'o} and Zs{\'o}k, Vikt{\'o}ria},
publisher = {Eötvös University Press},
year = {2007},
note = {\url{journals.html#annales09robot}{Final paper: Annales Univ. Sci. Budapest., Sect. Comp. 30:175-190, 2009}}
}
@inproceedings{splst07erlang,
title = {Introducing Records by Refactoring in {E}rlang Programs},
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},
pages = {292-309},
booktitle = {Proceedings of the 10th Symposium on Programming Languages and Software Tools},
isbn = {978 963 463 925 1},
editor = {Horv{\'a}th, Zolt{\'a}n and Kozma, L{\'a}szl{\'o} and Zs{\'o}k, Vikt{\'o}ria},
publisher = {Eötvös University Press},
year = {2007}
}
@inproceedings{splst07sio,
title = {Semantic {M}odel for {P}roving {P}roperties of {C}lean {O}bject {I/O} {P}rograms},
author = {Tejfel, M{\'a}t{\'e} and Kozsik, Tam{\'a}s and Horv{\'a}th, Zolt{\'a}n},
pages = {346-359},
booktitle = {Proceedings of the 10th Symposium on Programming Languages and Software Tools},
isbn = {978 963 463 925 1},
editor = {Horv{\'a}th, Zolt{\'a}n and Kozma, L{\'a}szl{\'o} and Zs{\'o}k, Vikt{\'o}ria},
year = {2007},
publisher = {Eötvös University Press},
note = {\url{journals.html#annales09sio}{Final paper: Annales Univ. Sci. Budapest., Sect. Comp. 31:107-147, 2009}}
}
@inproceedings{euc06,
author = {Li, Huiquing and Thompson, Simon J. and L{\"o}vei, L{\'a}szl{\'o} and Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s and V{\'i}g, Anik{\'o} and Nagy, Tam{\'a}s},
title = {Refactoring {E}rlang Programs},
booktitle = {Proceedings of the 12th International Erlang/OTP User Conference, Stockholm},
year = 2006,
note = {10 pages},
url = {http://www.erlang.se/euc/06/}
}
@incollection{ifl06draft,
title = {Proving Program Properties Specified with Subtype Marks},
booktitle = {Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages (IFL'06)},
author = {Kozsik, Tam{\'a}s},
editor = {Horv{\'a}th, Zolt{\'a}n and Zs{\'o}k, Vikt{\'o}ria},
pages = {246--263},
year = {2006},
isbn = {963 463 876 7},
publisher = {E{\"o}tv{\"o}s Lor{\'a}nd University, Faculty of Informatics, Department of Programming Languages and Compilers},
note = {Technical Report No: 2006-S01. \url{referred.html#ifl06}{Final paper appeared in LNCS 4449}}
}
@incollection{ifl06draftsio,
title = {Simplified Model of {C}lean {O}bject {I/O} for Machine-Verified Proofs},
booktitle = {Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages (IFL'06)},
author = {Tejfel, M{\'a}t{\'e} and Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s},
editor = {Horv{\'a}th, Zolt{\'a}n and Zs{\'o}k, Vikt{\'o}ria},
pages = {206--213},
year = {2006},
isbn = {963 463 876 7},
publisher = {E{\"o}tv{\"o}s Lor{\'a}nd University, Faculty of Informatics, Department of Programming Languages and Compilers},
note = {Technical Report No: 2006-S01}
}
@inproceedings{icai04,
author = {Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s and Tejfel, M{\'a}t{\'e}},
title = {Verifying invariants of abstract functional objects -- a case study},
booktitle = {6th International Conference on Applied Informatics},
editor = {Cs{\H o}ke, Lajos and others},
volume = {1},
pages = {201-209},
year = 2004
}
@incollection{eci04,
author = {Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s},
title = {Teaching of {P}arallel and {D}istributed {S}oftware {D}esign},
editor = {Hud{\'a}k, S. and Koll{\'a}r, J.},
booktitle = {Proceedings of the Sixth International Scientific Conference Electronic Computers and Informatics, ECI 2004},
year = 2004,
address = {Kosice-Herl'any, Slovakia},
pages = {151-156},
publisher = {Department of Computers and Informatics of FEI, The University of Technology Kosice},
isbn = {8-080-73150-0}
}
@inproceedings{sci04,
author = {Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s},
title = {A Functional Approach to Designing Parallel and Distributed Software},
booktitle = {8th World Multi-Conference on Systemics, Cybernetics and Informatics},
volume = {XIV},
series = {Computer and Information Systems, Technologies and Applications},
pages = {167-172},
year = 2004
}
@inproceedings{ifl02,
author = {Daxkobler, K{\'a}roly and Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s},
title = {A Prototype of {CPPCC} -- Safe Functional Mobile Code in {C}lean},
booktitle = {Proceedings of Implementation of Functional Languages, IFL'02},
pages = {320-329},
year = 2002,
address = {Madrid, Spain}
}
@incollection{ifl00,
author = {Kozsik, Tam{\'a}s and van Arkel, Diederik and Plasmeijer, Rinus},
title = {Subtyping with Strengthening Type Invariants},
booktitle = {Proceedings of the 12th International Workshop on Implementation of Functional Languages},
editor = {Mohnen, Markus and Koopman, Pieter},
publisher = {Aachener Informatik-Berichte},
year = 2000,
address = {Aachen, Germany},
pages = {315-330},
url = {papers/ifl00.pdf}
}
@inproceedings{ifl99,
author = {Horv{\'a}th, Zolt{\'a}n and Achten, Peter and Kozsik, Tam{\'a}s and Plasmeijer, Rinus},
title = {Verification of the Temporal Properties of Dynamic {C}lean Processes},
booktitle = {Proceedings of the 11th International Workshop on Implementation of Functional Languages (IFL'99)},
editor = {Clack, C. and Koopman, P.},
year = 1999,
address = {Lochem, The Netherlands},
pages = {203-218},
url = {papers/ifl99.pdf}
}
@inproceedings{fusst99aop,
author = {Guly{\'a}s, L{\'a}szl{\'o} and Kozsik, Tam{\'a}s},
title = {The Use of Aspect-Oriented Programming in Scientific Simulations},
booktitle = {Software Technology, Fenno-Ugric Symposium (FUSST'99)},
editor = {Penjam, Jaan},
note = {{Technical Report CS 104/99}},
year = 1999,
address = {Tallinn, Estonia},
pages = {17-28},
url = {papers/fusst99aop.pdf}
}
@inproceedings{fusst99temp,
author = {Horv{\'a}th, Zolt{\'a}n and Achten, Peter and Kozsik, Tam{\'a}s and Plasmeijer, Rinus},
title = {Proving the Temporal Properties of the Unique World},
booktitle = {Software Technology, Fenno-Ugric Symposium (FUSST'99)},
editor = {Penjam, Jaan},
note = {{Technical Report CS 104/99}},
year = 1999,
address = {Tallinn, Estonia},
pages = {113-125},
url = {papers/fusst99temp.pdf}
}
@inproceedings{miskolc99,
author = {Guly{\'a}s, L{\'a}szl{\'o} and Kozsik, Tam{\'a}s},
title = {{M}odel {D}esign {I}nterface -- A {CASE} Tool for the {M}ulti-{A}gent {M}odeling {L}anguage},
booktitle = {Section Proceedings of the 2nd International Conference of PhD Students, Engineering Sciences},
year = 1999,
publisher = {University of Miskolc},
pages = {97-104},
url = {papers/miskolc99.pdf}
}
@inproceedings{ecoop98,
author = {F{\'o}thi, {\'A}kos and Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s and Ny{\'e}kyn{\'e} G., Judit and Venczel, Tibor},
title = {A Formal Semantics of Internal Object Concurrency},
booktitle = {Proceedings of the Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)},
series = {Technical Report},
publisher = {Munich University of Technology},
year = 1998,
pages = {85-94},
note = {\url{journals.html#puma00}{Also appeared: PU.M.A. 11(2):293-308, 2000}}
}
@inproceedings{splst97,
author = {Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s and Venczel, Tibor},
title = {On Composing Problems and Parallel Programs},
booktitle = {Proceedings of the Fifth Symposium on Programming Languages and Software Tools},
year = 1997,
pages = {1-12},
address = {Jyv{\"a}skyl{\"a}, Finland},
publisher = {University of Helsinki},
series = {Report C-1997-37},
url = {papers/splst97.pdf}
}
@inproceedings{splst95,
author = {F{\'o}thi, {\'A}kos and Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s},
title = {Parallel Elementwise Processing---A Novel Version},
booktitle = {Proceedings of The Fourth Symposium on Programming Languages and Software Tools},
editor = {Varga, L{\'a}szl{\'o}},
year = 1995,
address = {Visegr{\'a}d, Hungary},
pages = {180-194},
note = {\url{journals.html#annales98}{Final paper: Annales Univ. Sci. Budapest., Sect. Comp. 17:105-124, 1998}}
}
This file was generated by bibtex2html 1.97.