Papers in proceedings

[1]

Viktória Fördős, Melinda Tóth, and Tamás Kozsik. Clone wars. In Proc. 3rd Workshop on Software Quality Analysis, Monitoring, Improvement and Applications, volume 1266 of CEUR Workshop Proceedings, pages 15-22, 2014. [ bib | .pdf ]

[2]

Artyom Antyipin, Attila Góbi, and Tamás Kozsik. Manipulating infinite data in C++ using lazy shared objects. In Proceedings of CSE 2012 International Scientific Conference on Computer Scinece and Engineering, pages 103-110, 2012. [ bib ]

[3]

Péter Diviánszky, Attila Góbi, and Tamás Kozsik. Size analysis of higher-order functions. In Draft Proceedings of the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, pages 23-37, 2011. [ bib ]

[4]

Attila Góbi, Tamás Kozsik, Mónika Mészáros, Artyom Antyipin, Dorián Batha, and Tamás Kiss. Untangling type inference and scope analysis. In Proc. 8th Int'l Conf. on Applied Informatics (ICAI), Eger, Hungary, January 27-30, 2010, volume 2, pages 157-164, 2011. [ bib ]

[5]

Gábor Páli and Tamás Kozsik. Measuring software complexity by types. In Proc. 8th Int'l Conf. on Applied Informatics (ICAI), Eger, Hungary, January 27-30, 2010, volume 2, pages 429-436, 2011. [ bib ]

[6]

Imre Barna, Péter Bauer, Kinga Bernád, Zsolt Hernáth, Zoltán Horváth, Balázs Kőszegi, Gergely Kovács, Tamás Kozsik, Zsolt Lengyel, Róbert Roth, Sándor Sike, and Gábor Takács. "odf mobile edition – towards the development of a mobile office software". In Proceedings of CSE 2010 International Scientific Conference on Computer Science and Engineering, pages 224-230. The University of Technology Košice, 2010. [ bib ]

[7]

Zoltán Horváth, László Lövei, Tamás Kozsik, Róbert Kitlei, István Bozó, Melinda Tóth, and Roland Király. Modeling Semantic Knowledge in Erlang for Refactoring. In International Conference on Knowledge Engineering, Principles and Techniques, KEPT 2009, Selected papers, pages 38-53, 2009. Invited paper. Earlier version appeared in Studia Universitatis Informatica, 54:7-16, 2009. [ bib ]

[8]

Zoltán Horváth, Tamás Kozsik, and László Lövei. Mobility supported software engineering education in cooperation with industrial partners. In Proceedings of 1st Computer Science Mobility Workshop (CSMW 2009), pages 55-61, AAU Klagenfurt, Austria, 2009. [ bib ]

[9]

Róbert Kitlei, László Lövei, Melinda Tóth, Zoltán Horváth, Tamás Kozsik, Roland Király, István Bozó, Csaba Hoch, and Dániel Horpácsi. Automated syntax manipulation in RefactorErl. In Proceedings of 14th International Erlang/OTP User Conference, 2008. [ bib | http ]

[10]

Zoltán Horváth, László Lövei, Tamás Kozsik, Róbert Kitlei, Anikó Nagyné Víg, Tamás Nagy, Melinda Tóth, and Roland Király. Building a Refactoring Tool for Erlang. In K. Mens, M. van den Brand, A. Kuhn, H.M. Kienle, and R. Wuyts, editors, 1st International Workshop on Academic Software Development Tools and Techniques (WASDeTT-1), 2008. 11 pages. [ bib | http ]

[11]

Máté Tejfel, Tamás Kozsik, and Zoltán Horváth. Object based multiparadigm concepts for verification of functional components. In Proc. of MPOOL 2008, ECOOP Workshop, 2008. 9 pages. [ bib | .pdf ]

[12]

Máté Tejfel and Tamás Kozsik. An Operational Semantics of Temporal Properties in Functional Programs. In Peter Achten, Pieter Koopman, and Marco T. Morazán, editors, Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP), pages 396-406, 2008. Technical report: ICIS-R08007, Radboud University Nijmegen. [ bib ]

[13]

Norbert Pataki, Zalán Szügyi, and Tamás Kozsik. On the correctness of aspect-oriented programs. In Proc. of CSE 2008 International Scientific Conference on Computer Science and Engineering, pages 126-132, 2008. [ bib ]

[14]

Zoltán Istenes and Tamás Kozsik. Safe mobile code controlling a robot. In Christian Attiogbé and Daniel Kröning, editors, Proc. First International Workshop on Property Verification for Software Components and Services, ProVeCS, ETH Technical Report 576, 2007. Final paper: Annales Univ. Sci. Budapest., Sect. Comp. 30:175-190, 2009. [ bib | .pdf ]

[15]

Zoltán Istenes and Tamás Kozsik. Commanding a robot in a safe way. In Zoltán Horváth, László Kozma, and Viktória Zsók, editors, Proceedings of the 10th Symposium on Programming Languages and Software Tools, pages 167-177. Eötvös University Press, 2007. Final paper: Annales Univ. Sci. Budapest., Sect. Comp. 30:175-190, 2009. [ bib ]

[16]

László Lövei, Zoltán Horváth, Tamás Kozsik, and Roland Király. Introducing records by refactoring in Erlang programs. In Zoltán Horváth, László Kozma, and Viktória Zsók, editors, Proceedings of the 10th Symposium on Programming Languages and Software Tools, pages 292-309. Eötvös University Press, 2007. [ bib ]

[17]

Máté Tejfel, Tamás Kozsik, and Zoltán Horváth. Semantic Model for Proving Properties of Clean Object I/O Programs. In Zoltán Horváth, László Kozma, and Viktória Zsók, editors, Proceedings of the 10th Symposium on Programming Languages and Software Tools, pages 346-359. Eötvös University Press, 2007. Final paper: Annales Univ. Sci. Budapest., Sect. Comp. 31:107-147, 2009. [ bib ]

[18]

Huiquing Li, Simon J. Thompson, László Lövei, Zoltán Horváth, Tamás Kozsik, Anikó Víg, and Tamás Nagy. Refactoring Erlang programs. In Proceedings of the 12th International Erlang/OTP User Conference, Stockholm, 2006. 10 pages. [ bib | http ]

[19]

Tamás Kozsik. Proving program properties specified with subtype marks. In Zoltán Horváth and Viktória Zsók, editors, Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages (IFL'06), pages 246-263. Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, 2006. Technical Report No: 2006-S01. Final paper appeared in LNCS 4449. [ bib ]

[20]

Máté Tejfel, Zoltán Horváth, and Tamás Kozsik. Simplified model of Clean Object I/O for machine-verified proofs. In Zoltán Horváth and Viktória Zsók, editors, Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages (IFL'06), pages 206-213. Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, 2006. Technical Report No: 2006-S01. [ bib ]

[21]

Zoltán Horváth, Tamás Kozsik, and Máté Tejfel. Verifying invariants of abstract functional objects - a case study. In Lajos Csőke et al., editors, 6th International Conference on Applied Informatics, volume 1, pages 201-209, 2004. [ bib ]

[22]

Zoltán Horváth and Tamás Kozsik. Teaching of Parallel and Distributed Software Design. In S. Hudák and J. Kollár, editors, Proceedings of the Sixth International Scientific Conference Electronic Computers and Informatics, ECI 2004, pages 151-156. Department of Computers and Informatics of FEI, The University of Technology Kosice, Kosice-Herl'any, Slovakia, 2004. [ bib ]

[23]

Zoltán Horváth and Tamás Kozsik. A functional approach to designing parallel and distributed software. In 8th World Multi-Conference on Systemics, Cybernetics and Informatics, volume XIV of Computer and Information Systems, Technologies and Applications, pages 167-172, 2004. [ bib ]

[24]

Károly Daxkobler, Zoltán Horváth, and Tamás Kozsik. A prototype of CPPCC - safe functional mobile code in Clean. In Proceedings of Implementation of Functional Languages, IFL'02, pages 320-329, Madrid, Spain, 2002. [ bib ]

[25]

Tamás Kozsik, Diederik van Arkel, and Rinus Plasmeijer. Subtyping with strengthening type invariants. In Markus Mohnen and Pieter Koopman, editors, Proceedings of the 12th International Workshop on Implementation of Functional Languages, pages 315-330. Aachener Informatik-Berichte, Aachen, Germany, 2000. [ bib | .pdf ]

[26]

Zoltán Horváth, Peter Achten, Tamás Kozsik, and Rinus Plasmeijer. Verification of the temporal properties of dynamic Clean processes. In C. Clack and P. Koopman, editors, Proceedings of the 11th International Workshop on Implementation of Functional Languages (IFL'99), pages 203-218, Lochem, The Netherlands, 1999. [ bib | .pdf ]

[27]

László Gulyás and Tamás Kozsik. The use of aspect-oriented programming in scientific simulations. In Jaan Penjam, editor, Software Technology, Fenno-Ugric Symposium (FUSST'99), pages 17-28, Tallinn, Estonia, 1999. Technical Report CS 104/99. [ bib | .pdf ]

[28]

Zoltán Horváth, Peter Achten, Tamás Kozsik, and Rinus Plasmeijer. Proving the temporal properties of the unique world. In Jaan Penjam, editor, Software Technology, Fenno-Ugric Symposium (FUSST'99), pages 113-125, Tallinn, Estonia, 1999. Technical Report CS 104/99. [ bib | .pdf ]

[29]

László Gulyás and Tamás Kozsik. Model Design Interface - a CASE tool for the Multi-Agent Modeling Language. In Section Proceedings of the 2nd International Conference of PhD Students, Engineering Sciences, pages 97-104. University of Miskolc, 1999. [ bib | .pdf ]

[30]

Ákos Fóthi, Zoltán Horváth, Tamás Kozsik, Judit Nyékyné G., and Tibor Venczel. A formal semantics of internal object concurrency. In Proceedings of the Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications), Technical Report, pages 85-94. Munich University of Technology, 1998. Also appeared: PU.M.A. 11(2):293-308, 2000. [ bib ]

[31]

Zoltán Horváth, Tamás Kozsik, and Tibor Venczel. On composing problems and parallel programs. In Proceedings of the Fifth Symposium on Programming Languages and Software Tools, Report C-1997-37, pages 1-12, Jyväskylä, Finland, 1997. University of Helsinki. [ bib | .pdf ]

[32]

Ákos Fóthi, Zoltán Horváth, and Tamás Kozsik. Parallel elementwise processing-a novel version. In László Varga, editor, Proceedings of The Fourth Symposium on Programming Languages and Software Tools, pages 180-194, Visegrád, Hungary, 1995. Final paper: Annales Univ. Sci. Budapest., Sect. Comp. 17:105-124, 1998. [ bib ]

This file was generated by bibtex2html 1.97.