@misc{llvm13,
author = {D{\'a}vid Juh{\'a}sz and Tam{\'a}s Kozsik},
title = {{LLVM} backend for {TILE64}},
howpublished = {Poster at 2013 European LLVM Conference, Paris, France},
year = {2013}
}
@inproceedings{ifl08,
title = {Preprocessor and whitespace-aware toolset for {Erlang}
source code manipulation (extended abstract)},
author = {R{\'o}bert Kitlei and L{\'a}szl{\'o} L{\"o}vei and Tam{\'a}s Nagy
and Zolt{\'a}n Horv{\'a}th and Tam{\'a}s Kozsik},
booktitle = {Implementation and Application of Functional Languages,
20th International Symposium, IFL 2008},
editor = {Sven-Bodo Scholz},
address = {Hatfield, Hertfordshire, UK},
pages = {167--169},
month = {September},
year = {2008},
note = {Technical Report No. 474,
School of Computer Science, University of Hertfordshire}
}
@misc{macs08,
title = {Load-time transformation of property-carrying code (abstract)},
author = {Tam{\'a}s Kozsik and Andr{\'a}s Horv{\'a}th and Gergely D{\'e}vai},
year = 2008,
howpublished = {7th Joint Conference on Mathematics and Computer Science,
Cluj, Romania, 3--6 July 2008.},
url = {http://www.cs.ubbcluj.ro/{\textasciitilde{}}macs/abstracts.php}
}
@inproceedings{ifl07,
title = {An {I}nterpretation of {T}emporal {P}roperties in {F}unctional {P}rograms -- {E}xtended {A}bstract},
author = {Tejfel, M{\'a}t{\'e} and Kozsik, Tam{\'a}s and Horv{\'a}th, Zolt{\'a}n},
editor = {Chitil, Olaf},
booktitle = {Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007},
publisher = {Computing Laboratory, University of Kent},
pages = {224-228},
note = {Technical Report No. 12-07},
year = 2007
}
@inproceedings{wrt07,
title = {Refactoring in {E}rlang, a {D}ynamic {F}unctional {L}anguage},
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 and Anik{\'o} V{\'i}g and Tam{\'a}s Nagy},
booktitle = {Proceedings of the 1st Workshop on Refactoring Tools},
address = {Berlin, Germany},
pages = {45--46},
month = {July},
year = {2007},
issn = {1436-9915},
url = {http://plc.inf.elte.hu/erlang/pub/wrt07_erlang_abstract.pdf},
urltag = {extended abstract},
posterurl = {http://plc.inf.elte.hu/erlang/pub/wrt07_erlang_poster.pdf}
}
@inproceedings{macs06sparkle,
title = {Proving Composing Specifications in {S}parkle},
author = {Tejfel, M{\'a}t{\'e} and Kozsik, Tam{\'a}s and Horv{\'a}th, Zolt{\'a}n},
pages = {90},
booktitle = {6th Joint Conference on Mathematics and Computer Science (MaCS'06), Abstracts},
year = 2006,
editor = {Cs{\"o}rnyei, Zolt{\'a}n}
}
@inproceedings{macs06,
title = {Proving Program Properties Specified with Subtype Marks},
author = {Kozsik, Tam{\'a}s},
pages = {55},
booktitle = {6th Joint Conference on Mathematics and Computer Science (MaCS'06), Abstracts},
year = 2006,
editor = {Cs{\"o}rnyei, Zolt{\'a}n},
note = {\url{referred.html#ifl06}{Full paper appeared in LNCS 4449}}
}
@inproceedings{macs06cppcc,
title = {Proving the Correctness of Mobile Code in {B}},
author = {Istenes, Zolt{\'a}n and Kozsik, Tam{\'a}s and Hoch, Csaba and T{\'o}th, L{\'a}szl{\'o} Attila},
pages = {45},
booktitle = {6th Joint Conference on Mathematics and Computer Science (MaCS'06), Abstracts},
year = 2006,
editor = {Cs{\"o}rnyei, Zolt{\'a}n},
note = {\url{journals.html#puma08}{Full paper: PU.M.A. 17(3-4):323-342, 2006}}
}
@inproceedings{cscs06,
title = {Comparing Specification with Proved Properties of {C}lean {D}ynamics},
author = {L{\"o}vei, L{\'a}szl{\'o} and Tejfel, M{\'a}t{\'e} and M{\'e}sz{\'a}ros, M{\'o}nika and Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s},
pages = {71},
booktitle = {Conference of PhD Students in Computer Science, CSCS 2006, Volume of extended abstracts},
year = 2006
}
@inproceedings{cscs06erlang,
author = {Horv{\'a}th, Zolt{\'a}n and L{\"o}vei, L{\'a}szl{\'o} and Kozsik, Tam{\'a}s and V{\'i}g, Anik{\'o} and Nagy, Tam{\'a}s},
title = {Refactoring {E}rlang {P}rograms},
booktitle = {Conference of PhD Students in Computer Science, CSCS 2006, Volume of extended abstracts},
year = 2006,
pages = {58},
note = {\url{journals.html#periodica07}{Full paper: Per. Pol. Elec. Eng., 51(3-4):75-84, 2007}}
}
@misc{hsn06,
title = {Refactoring {E}rlang {P}rograms},
author = {Horv{\'a}th, Zolt{\'a}n and L{\"o}vei, L{\'a}szl{\'o} and Kozsik, Tam{\'a}s and V{\'i}g, Anik{\'o} and Nagy, Tam{\'a}s},
howpublished = {Conference poster},
year = {2006},
note = {High Speed Networking Workshop}
}
@misc{05-swarmfest,
title = {The {M}ulti-{A}gent {S}imulation {S}uite ({MASS}) and the
{F}unctional {A}gent-{B}ased {L}anguage of {S}imulation ({FABLES})},
author = {L{\'a}szl{\'o} Guly{\'a}s and S{\'a}ndor Bartha and
Tam{\'a}s Kozsik and R{\'o}bert Szalai and Attila Korompai and
G{\'a}bor Tatai},
year = {2005},
note = {Extended abstract for {SwarmFest} 2005, Turin, Italy},
url = {http://www.swarm.org/wiki/SwarmFest2005/Program}
}
@inproceedings{macs04-ineq,
author = {Kozsik, Tam{\'a}s},
title = {The expressive power of inequalities},
pages = {55},
booktitle = {Fifth Joint Conference on Mathematics and Computer Science (5th MaCS)},
year = 2004,
editor = {Cs{\"o}rnyei, Zolt{\'a}n},
address = {Debrecen, Hungary},
note = {Abstract}
}
@inproceedings{macs04-safety,
author = {Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s and Tejfel, M{\'a}t{\'e}},
title = {Verifying Safety Properties of Abstract Functional Objects},
pages = {47},
booktitle = {Fifth Joint Conference on Mathematics and Computer Science (5th MaCS)},
year = 2004,
address = {Debrecen, Hungary},
note = {Abstract}
}
@inproceedings{cscs04,
author = {Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s and Tejfel, M{\'a}t{\'e}},
title = {Extending the {S}parkle {C}ore language with object abstraction},
booktitle = {Conference of PhD students on Computer Sciences (CSCS)},
year = 2004,
address = {Szeged, Hungary},
note = {\url{journals.html#acta07}{Full paper: Acta Cybernetica 17:419-445, 2005}}
}
@incollection{ecoop02,
author = {Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s},
title = {Safe Mobile Code -- {CPPCC}: {C}ertified {P}roved-{P}roperty-{C}arrying {C}ode},
booktitle = {Object-Oriented Technology. ECOOP 2002 Workshop Reader: ECOOP 2002 Workshops and Posters, M{\'a}laga, Spain, June 10--14, 2002. Proceedings},
note = {As a part of: Grzegorz Czajkowski and Jan Vitek, Resource Management for Safe Languages},
year = 2002,
publisher = {Springer},
address = {Berlin/Heidelberg},
series = {LNCS},
volume = {2548},
pages = {8-10},
issn = {0302-9743 (Print) 1611-3349 (Online)}
}
@inproceedings{macs99,
author = {Frohner, {\'A}kos and Kozsik, Tam{\'a}s and Varga, L{\'a}szl{\'o}},
title = {Design and implementation of synchronisation patterns using an extension to {UML}: A case study},
booktitle = {Proceedings of the 3rd Joint Conference on Mathematics and Computer Science},
year = 1999,
address = {Visegr{\'a}d, Hungary},
pages = 28,
note = {\url{journals.html#puma02}{Full paper: PU.M.A. 13(1-2):133-158, 2002}}
}
@inproceedings{teleteaching98,
author = {Guly{\'a}s, L{\'a}szl{\'o} and Kozsik, Tam{\'a}s and Czabala, P{\'e}ter and Corliss, John B.},
title = {Telemodelling -- Overview of a System},
booktitle = {Teleteaching '98. Distance Learning, Training and Education. Short Papers, XV. IFIP World Computer Congress},
editor = {Davies, Gordon},
organization = {International Federation for Information Processing},
note = {Short paper},
publisher = {{\"O}sterreichische Computer Gesellschaft},
year = 1998,
address = {Vienna, Austria},
url = {papers/teleteaching98.pdf}
}
@incollection{ecoop98abstract,
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 = {Object-Oriented Technology (ECOOP'98 Workshop Reader)},
editor = {Demeyer, Serge and Bosch, Jan},
series = {LNCS},
volume = {1543},
publisher = {Springer},
year = 1998,
address = {Heidelberg, Germany},
pages = {176},
note = {\url{proceedings.html#ecoop98}{Full paper: Proc. 2nd ECOOP WS on Precise Behavioral Semantics, p. 85-94, 1998.}}
}
@incollection{ecoop98phdws,
author = {Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s and Venczel, Tibor},
title = {Parallel Programs Implementing Abstract Data Type Operations -- A Case Study (abstract)},
booktitle = {Object-Oriented Technology (ECOOP'98 Workshop Reader)},
editor = {Demeyer, Serge and Bosch, Jan},
series = {LNCS},
volume = {1543},
publisher = {Springer},
year = 1998,
address = {Heidelberg, Germany},
pages = {15--16},
note = {DBLP Record 'conf/ecoopw/Kozsik98'. \url{journals.html#puma00}{Full paper: PU.M.A. 11(2):293-308, 2000}}
}
@inproceedings{mam97,
author = {Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s and Venczel, Tibor},
title = {Parallel Programs Implementing Abstract Data Type Operations},
booktitle = {Collection of Abstracts of the Second Joint Conference on Modern Applied Mathematics},
pages = {40},
year = 1997,
address = {Ilieni, Romania},
note = {\url{journals.html#puma00}{Full paper: PU.M.A. 11(2):293-308, 2000}}
}
@inproceedings{dapsys96,
author = {Horv{\'a}th, Zolt{\'a}n and Kozsik, Tam{\'a}s and Venczel, Tibor},
title = {On {C}omposing {P}roblems and {P}arallel {P}rograms---{E}xtended abstract},
booktitle = {Proceedings of the Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'96)},
editor = {Podhorszki, Norbert and others},
note = {KFKI-1996-09/M,N Report (1996).
{\url{proceedings.html#splst97}{Full paper appeared in Proc. of 5th Symp. on Progr. Lang. and Software Tools}}},
year = 1996,
address = {Miskolc, Hungary},
pages = {225-226}
}
@inproceedings{otdk93,
author = {Czabala, P{\'e}ter and Kozsik, Tam{\'a}s},
title = {{\"U}zenettov{\'a}bb{\'i}t{\'a}s transzputerh{\'a}l{\'o}zatokban},
booktitle = {A XXI. OTDK Informatika szekci{\'o} programja},
series = {Veszpr{\'e}mi Egyetem, VE-52/1993},
pages = {49},
year = 1993
}
This file was generated by bibtex2html 1.97.