LIST OF PUBLICATIONS

 

EDITOR OF BOOKS PUBLISHED ABROAD

 

  1. Horváth Z. (Ed.): Central European Functional Programming School. First Summer School, CEFP 2005, Budapest, Hungary, July 2005. Revised Selected Lectures. (ISBN 3-540-46843-9). In.: Lecture Notes in Computer Science (ISSN 0302-9743), vol. 4164. Springer, 2006. 256 pages.

 

  1. Horváth Z.-Zsók V.-Butterfield A.(Eds): Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers.. In: Lecture Notes in Computer Science (ISSN 0302-9743) vol. 4699.  Springer 2007.

 

  1. Chitil, O.-Horváth Z.-Zsók V. (Eds): Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, September, 2007, Revised Selected Papers.. In: Lecture Notes in Computer Science (ISSN 0302-9743) vol. 5083.  Springer 2008.

 

  1. Horváth Z., Plasmeijer, R., Soós, A., Zsók V. (Eds): Central European Functional Programming School. Second Summer School, CEFP 2007. Revised Selected Lectures. Lecture Notes in Computer Science, (ISSN 0302-9743), vol. 5161. Springer 2008.

 

  1. Horváth Z., Zsók V., Achten, P., Koopman, P. (eds): Trends in Functional Programming. ISBN: 978-3-642-22940-4, Lecture Notes in Computer Science, Volume 10, Intellect Ltd., United Kingdom, 2010, 192 p.

 

6.      Horváth Z., Plasmeijer, R., Zsók V. (Eds): Central European Functional Programming School. Third Summer School, CEFP 2009. Revised Selected Lectures. Lecture Notes in Computer Science, (ISSN 0302-9743), vol. 6299. Springer 2010.

 

7.      Horváth Z., Plasmeijer, R., Zsók V. (Eds): Central European Functional Programming School. Fourth Summer School, CEFP 2011. Revised Selected Lectures. Lecture Notes in Computer Science, (ISSN 0302-9743), in preparation. Book chapters available in draft version at: http://plc.inf.elte.hu/cefp/materials/

 

8.      Page, R., Horváth Z., Zsók V. (Eds): Trends in Functional Programming 2010, Lecture Notes in Computer Science, (ISSN 0302-9743), vol. 6546, Springer, 2011. ISBN: 978-3-642-22940-4

 

 

CHAPTERS OF TEXTBOOKS

 

  1. Horváth, Zoltán: Lexical elements. Chapter of the textbook. In.:  Nyékyné Gaizler Judit ed.: The Programming Language Ada’95 (in Hungarian) ISBN 963 463 238 6). Eötvös Kiadó, Budapest, 1999.  pp. 31-33.

 

  1. Horváth, Zoltán: Statements. Chapter of the textbook. In:  Nyékyné Gaizler Judit ed.: The Programming Language Ada’95 (in Hungarian) (ISBN 963 463 238 6). Eötvös Kiadó, Budapest, 1999.  pp. 91-99.

 

  1. Horváth, Zoltán: Packages. Chapter of the textbook. In:  Nyékyné Gaizler Judit ed.: The Programming Language Ada’95 (in Hungarian) (ISBN 963 463 238 6). Eötvös Kiadó, Budapest, 1999.  pp. 143-162.

 

  1. Horváth, Zoltán: Scope and visibility. Chapter of the textbook. In:  Nyékyné Gaizler Judit ed.: The Programming Language Ada’95 (in Hungarian) (ISBN 963 463 238 6). Eötvös Kiadó, Budapest, 1999.  pp. 163-170.

 

5.      Horváth, Zoltán: Structure of programs.  Chapter of the textbook. In:  Nyékyné Gaizler Judit ed.: The Programming Language Ada’95 (in Hungarian) (ISBN 963 463 238 6). Eötvös Kiadó, Budapest, 1999.  pp. 171-187.

 

6.      Horváth, Zoltán: Concepts of Functional Programming Languages. Separate chapter of textbook. In: Nyékyné Gaizler Judit ed.: Comparative Analysis of Programming Languages (in Hungarian). (ISBN 963 9301 47 7). Kiskapu Kiadó, Budapest, 2003. pp. 589-636.

 

7.      Horváth, Zoltán: Parallel and distributed programming. (in Hungarian). Separate chapter of digital textbook. In.: Fóthi, Á.-Horváth, Z.: Introduction to programming. (in Hungarian) (ISBN: 963 463 757 4). Part III.  ELTE Faculty of Informatics, (Oktatási Minisztérium támogatásával). 2005. http://people.inf.elte.hu/ekonyvtar/, 183 printed pages.

 

8.      Horváth, Z.-Tejfel, M.: Applications of Petri-nets for Analysis of Distributed Programs. (in Hungarian) Separate chapter of textbook. In.: Iványi, A. ed.: Algorithms of Informatics 2. (in Hungarian). ISBN: 963 463 775 2 Chapter 24. ELTE Eötvös Kiadó, 2005. pp. 1168-1227.

 

9.      Attila Ulbert, László Csaba Lőrincz, Tamás Kozsik, Zoltán Horváth: Speculative Scheduling of Parameter Sweep Applications Using Job Behaviour Descriptions. In.: Emmanuel Udoh (Ed.): Cloud, Grid and High Performance Computing: Emerging Applications ISBN 978 1 60960 603 9 Chapter 5, Indiana Institute of Technology, USA, 2011., pp. 72-89.

 

 

LECTURE NOTES

 

1.      Horváth, Z. (editor): Feladatgyűjtemény és fogalomgyűjtemány a Bevezetés a programozáshoz tárgyhoz, ELTE, TTK, Általános Számítástudományi Tanszék, 1998-1992. 8 + 12 oldal.

 

  1. Horváth, Z.: LaTeX alapismeretek, ELTE, TTK, Általános Számítástudományi Tanszék, http://people.inf.elte.hu/hz/latexismerteto.ps, 1996-1998, 22 oldal.

 

  1. Horváth, Z.: Oktatási segédlet a Párhuzamos folyamatok II. (Folyamatalgebra) tárgyhoz, ELTE, TTK, Általános Számítástudományi Tanszék,  http://people.inf.elte.hu/hz/parh_foly/pf2.ps,1998. 22 oldal.

 

PAPERS IN PERIODICALS

 

  JOURNAL PAPERS IN FOREIGN PERIODICALS

 

1.      Horváth Z., Zsók V., Serrarens, P., Plasmeijer, R.: Parallel Elementwise Processing in Concurrent Clean. Selected paper of ICAI’2001. Mathematical and Computer Modelling, (ISSN: 0895-7177), Vol. 38/7-9, Elsevier, 2003, pp. 865-875.

 

  1. Lőrincz, L., Cs., Kozsik, T., Ulbert, A., Horváth, Z.: A method for job scheduling in Grid based on job execution status. Multiagent and Grid Systems (ISSN: 1574-1702), Volume 1, Number 3, 2005, pp. 197-208. (http://iospress.metapress.com/content/c86rv058v0h2cy5k/)

 

  1. Ulbert A., Lőrincz L. Cs., Kozsik T., Horváth Z.: Speculative scheduling of parameter sweep applications using job behavior descriptions. International Journal of Grid and High Performance Computing (ISSN: 1938-0259), 2009, Vol. 1. no. 1. pp 22-38.

 

  1. Horváth, Z., Lövei L., Kozsik T., Kitlei R., Víg, A., Nagy, T., Tóth, M., Király, R.: Modeling semantic knowledge in Erlang for refactoring. In: Knowledge Engineering: Principles and Techniques, Proceedings of the International Conference on Knowledge Engineering, Principles and Techniques, KEPT 2009, Sp. Issue, Studia Universitatis Babes-Bolyai, Series Informatica, (ISSN: 1224-869X), Cluj-Napoca, Romania, volume 54 (2009), pp. 7-16.

 

  1. Kitlei, R., Lövei, L.,Nagy, T., Horváth, Z., Kozsik, T.: Layout Preserving Parser for Refactoring in Erlang. Acta Electrotechnica et Informatica, (ISSN 1335-8243) vol. 9, (2009) no. 3, pp 54-63.

 

  1. Bozó, I., Tóth, M., Tejfel, M., Horpácsi, D., Kitlei, R., Kőszegi, J., Horváth, Z.: Using impact analysis based knowledge for validating refactoring steps, In: Proceedings of Knowledge Engineering: Principles and Techniques Conference, KEPT 2011, Studia Universitatis Babes-Bolyai Informatica Journal, Kolozsvár, Románia (ISSN 1224- 869x) vol. 61, 2011, pp. 57-64.

 

 

  PAPERS IN PROCEEDINGS WITH PERIODICAL ID (ISSN)

 

  1. Lőrincz L. Cs., Kozsik T., Ulbert A.-Horváth Z.: Data access optimization on grid systems.  In: Proceedings of the Fourteenth IEEE International Workshops on Enabling Technologies (WETICE'2005): Emerging Technologie for Next-generation GRID (ISBN 0-7695-2362-5), June 13-15, Linköping, Sweden, 2005. IEEE Computer Society Conference Publishing Services (ISSN 1524-4547), pp. 319-324.

 

  1. Tejfel M., Horváth Z., Kozsik T.: Temporal properties of Clean programs proven in Sparkle-T. In: Central European Functional Programming School Revised Selected Lectures. Lecture Notes in Computer Science, (ISSN 0302-9743), vol. 4164, 2006, pp. 168-190.

 

  1. Zsók V., Hernyák Z., Horváth Z.: Designing Distributed Computational Skeletons in D-Clean and D-Box.. In.: Central European Functional Programming School Revised Selected Lectures. Lecture Notes in Computer Science, (ISSN 0302-9743), vol. 4164, 2006, pp. 223-256.

 

  1. Kozsik T., Csörnyei Z., Horváth Z., Király R., Kitlei R., Lövei L., Nagy T., Tóth M., Víg A.: Use cases for refactoring in Erlang, Lecture Notes in Computer Science (ISSN 0302-9743), vol. 5161, Springer, 2008, pp. 264-298.

 

  1. Bauer P. - Hernáth Zs. - Horváth Z. Mayer, Gy. Parragi, Zs., Porkoláb, Z., Sztupák Zs.: HypereiDoc – an XML based framework for supporting cooperative text editions, Advances in Databases and Information Systems (ADBIS 2008), Lecture Notes in Computer Science (ISSN 0302-9743), vol. 5207, pp. 14-29., Springer 2008, 2008

 

  PAPERS IN FOREIGN LANGUAGE IN INTERNATIONAL PERIODICALS PUBLISHED IN HUNGARY

 

1.      Horváth Z.: Fundamental relation operations in the mathematical models of programming, Annales Uni. Sci. Budapest de R. Eötvös Nom. Sectio Computatorica, (ISSN 0138-9491), Tom. X, (1990), pp. 277-298. {MR 92e68113 68Q55 68Q60}.

 

2.      Horváth Z.: Parallel asynchronous computation of the values of an associative function. Acta Cybernetica (ISSN 0324-721X), Vol. 12, No. 1, Szeged (1995), pp. 83-94.

 

3.      Horváth Z.: The Formal Specification of a Problem Solved by a Parallel Program - a Relational Model. Annales Uni. Sci. Budapest de R. Eötvös Nom. Sectio Computatorica, (ISSN 0138-9491) Tom. XVII, (1998), pp. 173-191.

 

4.      Fóthi Á., Horváth Z., Kozsik T.: Parallel Elementwise Processing - A Novel Version. Annales Uni. Sci. Budapest de R. Eötvös Nom. Sectio Computatorica, (ISSN 0138-9491), Tom XVII. (1998) 105-124.

 

5.      Horváth Z., Kozsik T., Venczel T.: Parallel Programs Implementing Abstract Data Type Operations. Pure Mathematics and Applications (PU.M.A.). (ISSN 1218-4586) Volume 11 (2000), Number 2, pp. 293-308.

 

6.      Horváth Z., Hernyák Z., Zsók V: Coordination Language for Distributed Clean, Acta Cybernetica (ISSN 0324-721 X), 17 (2) 2005 pp. 247-271.

(The ACM Digital Library: http://portal.acm.org/citation.cfm?id=1133467)

 

7.      Tejfel M., Horváth Z., Kozsik T.: Extending the Sparkle Core Language with object abstraction. Acta Cybernetica (ISSN 0324-721 X), 17 (2) 2005, pp. 419-445. (The ACM Digital Library: http://portal.acm.org/citation.cfm?id=1133461.1133476)

 

  1. Lövei, L., Horváth, Z., Kozsik, T., Víg, A., Nagy, T.: Refactoring Erlang Programs. To appear in Periodica Polytechnica – Electrical Engineering (ISSN 0324-6000), vol. 51 (3-4), 2007, pp. 75-84.

 

  1. Tejfel M., Kozsik T., Horváth Z.: A Semantic Model for Proving Properties of Clean Object I/O Programs,  to appear in Annales Uni. Sci. Budapest de R. Eötvös Nom. Sectio Computatorica, (ISSN 0138-9491), Vol. 31, 2009, pp. 107-147.

 

  1. Zoltán Horváth, Tamás Kozsik, and László Lövei: Software engineering education in cooperation with industrial partners. Teaching Mathematics and Computer Science, 8(1):133-148, 2010. (ISSN 1589-7389)

 

 

PEER REVIEWED PAPERS IN PROCEEDINGS OF INTERNATIONAL CONFERENCES

 

1.      Horváth Z., Hernyák Z., Kozsik T., Tejfel M., Ulbert A.: A Data Intensive Application on a Cluster - Parallel Elementwise Processing. In: Kacsuk, P., et al. (eds): Distributed and Parallel Systems, Cluster and Grid Computing (ISBN 1-4020-7209-0), The Kluwer International Series in Engineering and Computer Science, Kluwer, 2002. pp. 46-53.

 

2.      Horváth Z., Kozsik T., Tejfel M.: Proving Invariants of Functional Programs
In Kilpelainen,P., Paivinen,N. (eds): Proceedings of Eighth Symposium on Programming Languages and Software Tools, (ISBN 951 781 265 5, ISSN 0787-6416), Kuopio, Finland, June 17-18, 2003, pp. 115-126.

 

  1. Horváth Z., Varga Z., Zsók V.: Clean-Corba Interface for Parallel Functional Programming on Clusters, In  Kilpelainen,P., Paivinen,N. (eds): Proceedings of Eighth Symposium on Programming Languages and Software Tools, (ISBN 951 781 265 5, ISSN 0787-6416), Kuopio, Finland, June 17-18, 2003, pp. 127-136.

 

  1. Zsók V., Hernyák Z., Horváth Z.: Distributed Pattern Design in D-Clean. Vene, V., Meriste,M. (eds): Proceedings of the Ninth Symposium on Programming Languages and Software Tools (ISBN: 9949-11-113-7), Tartu University Press, 2005, pp. 220-234.

                                                 

  1. Horváth, Z., Csörnyei Z., Lövei, L., Zsók, V.: Functional Programming Concepts in Computer Science Education. In: Proceedings of the Seventh International Scientific Conference on Electronic Computers and Informatics (ISBN 80-8073-598-0), ECI 2006. September 20-22th 2006, Kosice-Herlány, 2006. pp. 174-179.

 

  1. Lőrincz L. Cs., Ulbert A., Horváth, Z., Kozsik T.: Towards an Agent Integrated Speculative Scheduling Service. In: Kacsuk, P., Fahringer, T., Németh, Zs.: Distributed and Parallel Systems, From Cluster to Grid Computing, Springer, 2007, pp. 211-222. (ISBN-13: 978-0-387-69857-1)

 

  1. Horváth, Z., Zsók, V.: International Cooperation in Computer Science. International Technology, Education and Development Conference (INTED 2007), March 7th-9th, 2007, Valencia, Spain, 10 pages.

 

  1. László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király: Introducing Records by Refactoring in Erlang Programs, Symposium on Programming Languages and Software Tools 2007 (ISBN 978-963-463-925-1), SPLST 2007, Dobogókő, Hungary, June 14-16, 2007, Eötvös University Press, pp. 292-309.

 

  1. Máté Tejfel, Tamás Kozsik, Zoltán Horváth: Semantic Model for Proving Properties of Clean Object I/O Programs, Symposium on Programming Languages and Software Tools 2007 (ISBN 978-963-463-925-1), SPLST 2007, Dobogókő, Hungary, June 14-16, 2007, Eötvös University Press, pp. 346-359.

 

  1. Viktória Zsók, Zoltán Hernyák, Zoltán Horváth: Improving the Distributed Elementwise Processing Implementation in D-Clean, In Proc. of. the 10th Symposium on Programming Languages and Software Tools 2007 (ISBN 978-963-463-925-1), SPLST 2007, Dobogókő, Hungary, June 14-16, 2007, Eötvös University Press, pp. 256-264.

 

  1. Lövei, L., Horváth, Z., Kozsik, T., Király, R.: Introducing records by refactoring. In Proceedings of the 2007 SIGPLAN Workshop on Erlang Workshop (Freiburg, Germany, October 05 - 05, 2007). Erlang '07. ACM, New York, NY, pp. 18-28. (ISBN:978-1-59593-675-2), DOI= http://doi.acm.org/10.1145/1292520.1292524

 

  1. Kitlei R., Lövei L., Nagy T., Horváth Z.: Layout preserving, automatically generated parser for Erlang refactoring. In Proc. of International Scientific Conference on Computer Science and Engineering, 2008. pp. 83-90.

 

  1. Zsók V., Horváth Z.: Experiences and Challenges in International Higher Education. In CD Proc. of ICERI 2008, Spain, ISBN 978-84-612-5091-2, 8 pages.
  2. Horváth Z., Lövei L., Kozsik T., Kitlei R., Víg A., Nagy T., Tóth M., Király R.: Building a refactoring tool for Erlang. ECOOP Workshop on Advanced Software Development Tools and Techniques, 2008. (http://smallwiki.unibe.ch/wasdett2008/), 11 pages.
  3. Tejfel M., Kozsik T., Horváth Z.: Object Based Multiparadigm Concepts for Verification of Functional Components, In Proc. of MPOOL 2008, ECOOP Workshop, 2008., 9 pages.
  4. Horváth Z., Zsók V.: CEEPUS Network for Computer Science Education. Keynote talk. In: Bollin, A.-Bouchachia, A. (eds): Proceedings of First Computer Science and Mobility Workshop (CSMW 2009), AAU Klagenfurt, Austria, 9-10 April, 2009., ISBN 978-3-9500593-4-2, pp. 5-9.
  5. Horváth Z., Kozsik T., Lövei L.: Mobility Supported Software Engineering Education in Cooperation with Industrial Partners. In: Bollin, A.-Bouchachia, A. (eds): Proceedings of First Computer Science and Mobility Workshop (CSMW 2009), AAU Klagenfurt, Austria, 9-10 April, 2009., ISBN 978-3-9500593-4-2, 55-61.
  6. Horváth, Z., Lövei, L., Kozsik, T., Kitlei, R., Bozó, I., Tóth, M., Király, R.: Modeling semantic knowledge in Erlang for refactoring. Invited talk. International Conference on Knowledge Engineering, Principles and Techniques, KEPT 2009, Selected papers, Cluj-Napoca, Romania, Jul 2-4, 2009, pp. 38-53.

 

  1. Tóth, M., Bozó, I., and Horváth, Z.: Applying the Query Language to support program comprehension. In International Scientific Conference on Computer Science and Engineering, CSE 2010, In: Proceeding of International Scientific Conference on Computer Science and Engineering, pp. 52-59, Stara Lubovna, Slovakia, September 2010. ISBN 978-80-8086-164-3

 

  1. Emil Axelsson, Koen Claessen, Gergely Devai, Zoltan Horvath, Karin Keijzer: A Domain Specific Language for Digital Signal Processing algorithms. "Feldspar: A domain specific language for digital signal processing algorithms," 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), IEEE Computer Society, 2010, pp.169-178. ISBN 978-1-4244-7885-9

 

  1. Barna Imre, Bauer Péter, Bernád Kinga (Kolozsvár), Hernáth Zsolt, Horváth Zoltán, Kőszegi Balázs, Kovács Gergely, Kozsik Tamás, Lengyel Zsolt Roth Róbert (Kolozsvár), Sike Sándor, Takács Gábor: A client-server model for editing ODF documents on mobile devices. Proceedings of CSE 2010 International Scientific Conference on Computer Science and Engineering, ISBN 978-80-8086-164-3, pp. 224-230.

 

  1. Tóth, M., Bozó, I., Horváth, Z. and Tejfel, M.: 1st order flow analysis for Erlang. In proceedings of 8th Joint Conference on Mathematics and Computer Science, Komárno, Slovakia, Selected papers, 2010, Novadat Bt., Győr, p. 403-416.

 

  1. Gergely Dévai, Máté Tejfel, Zoltán Gera, Gábor Páli, Gyula Nagy, Zoltán Horváth, Emil Axelsson, Mary Sheeran, András Vajda, Bo Lyckegard and Anders Persson: Efficient Code Generation from the High-level Domain-specific Language Feldspar for DSPs. Proceedings of the ODES-8: 8th Workshop on Optimizations for DSP and Embedded Systems, workshop associated with IEEE/ACM International Symposium on Code Generation and Optimization pp. 12-20.

 

  1. Tóth, M., Bozó, I., Horváth, Z., Lövei, L., Tejfel, M., and Kozsik, T.: Impact analysis of Erlang programs using behaviour dependency graphs. In Central European Functional Programming Summer School, Lecture Notes in Computer Science, 2010, ISBN: 978-3-642-17684-5, Volume 6299/2010, pp. 372-390.

 

  1. Tóth, M., Bozó, I., Horváth, Z., Erdődi, A.: Static analysis and refactoring towards Erlang multicore programming, Pre-proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES'11, Saarbrücken, Germany. pp. 43-50.

 

 

PAPERS IN REFERRED PROCEEDINGS OF INTERNATIONAL CONFERENCES

 

1.      Fóthi, Á., Horváth, Z., Nyéky Gaizler, J.: A Relational Model of Transformation in Programming. In: Proceedings of the 3rd International Conference on Applied Informatics, Eger-Noszvaj, Hungary, Aug. 26-28, 1997, pp. 335-349.

 

2.      Harmat K., Tandi P., Horváth Z., Wierich, M., Plasmeijer, R.: Web Computing in Clean. In Proceedings of the 4th International Conference on Applied Informatics, Eger- Noszvaj, Hungary, Sept. 1999, 87-93.

 

  1. Diviánszky P., Szabó-Nacsa R., Horváth Z.: Refactoring via Database Representation. In Csőke et al. eds.: Proceedings of 6th International Conference on Applied Informatics, Eger, Hungary, January 27-31, 2004. B.V.B. Press, Vol. I. pp. 129-136.

 

Extended abstract version:  Szabó-Nacsa R., Diviánszky P., Horváth Z.: Prototype Environment for Refactoring Clean Programs. Extended abstract: 5th International Summer School on Advanced Functional Programming, Tartu, Estonia 14-21 August, 2004, in Proceedings of AFP'04 Student Session, pp. 19-23.

 

4.      Dévai, G., Gera, Z., Horváth, Z., Páli G., Tejfel, M.:  Feldspar – a Functional Embedded Language for DSP. Abstract and Poster. ICAI 2010 - 8th International Conference on Applied Informatics, Eger, Hungary, January 27-30, 2010. Vol. 2. pp. 149-156.

 

  1. Barna I., Bauer P., Bernád K., Hernáth, Zs., Horváth, Z., Kőszegi, B., Kovács, G., Kozsik, T., Lengyel, Zs., Róth, R., Sike, S., Takács G.: ODF Mobile Edition – Towards the development of a mobile office software. Abstract. ICAI 2010 - 8th International Conference on Applied Informatics, Eger, Hungary, January 27-30, 2010. Vol. 2. pp. 313-321.

 

 

PAPERS PROCEEDINGS OF INTERNATIONAL CONFERENCES

 

  1. Hegedűs H., Horváth Z.: Distributed Computing Based on Clean Dynamics. In Csőke et al. eds.:  Proceedings of 6th International Conference on Applied Informatics, Eger, Hungary, January 27-31 2004. B.V.B. Press, Vol. I. 181-189 pages.

 

  1. Hernyák Z., Horváth Z., Zsók V.: Clean-CORBA Interface Supporting Pipeline Skeleton. In Csőke et al. eds.: Proceedings of 6th International Conference on Applied Informatics, Eger, Hungary, January 27-31, 2004. B.V.B. Press, Vol. I. pp. 191-200.

 

Position paper version: Horváth Z., Zsók V., Hernyák Z.: Implementing Pipeline Skeleton in Clean using CORBA Channels. Position paper. 18th European Conference on Object-Oriented Programming (ECOOP 2004), University of Oslo, Norway, June 14-18, 2004. Multiparadigm. Programming with Object-Oriented languages (MPOOL '04; Workshop #11), 6 pages.

 

8.      Horváth Z., Kozsik T., Tejfel M.: Verifying invariants of abstract functional objects - a case study.  In Csőke et al. eds.:  6th International Conference on Applied Informatics, Eger, Hungary, January 27-31, 2004. B.V.B. Press, Vol. I. pp. 201-209.

 

9.      Fóthi Á., Horváth Z.: The Weakest Precondition and the Theorem of the Specification. In: Koskimies,K.-Räihä,K., ed., Proceedings of the Second Symposium on Programming Languages and Software Tools, Pirkkala, Finland, August 21-23, 1991, Report A-1991-5, University of Tampere, Department of Computer Science (August, 1991), pp. 39-47.

 

10.  Horváth Z.: The Weakest Precondition and the Specification of Parallel Programs. In: Tombak, M., ed., Proceedings of the Third Symposium on Programming Languages and Software Tools, Käariku, Estonia, August 21-23, 1993 (1993), pp. 24-33.

 

11.  Horváth Z., Kozma L.: Parallel Programming Methodology. In: Bogdany J.-Vesztergombi G., ed., Workshop on Parallel Processing. Technology and Applications. Budapest, Hungary, 10-11 February, 1994, KFKI-94-09/M, N Report (1994) 57-65.

 

12.  Fóthi Á., Horváth Z.: A Parallel Elementwise Processing. In: Ferenczi Sz.-Kacsuk P., ed., Proceedings of the 2nd Austrian-Hungarian Workshop on Transputer Applications, September 29-October 1, 1994, Budapest, Hungary, KFKI-1995-2/M,N Report (1995), pp. 273-282.

 

13.  Horváth Z.: The Formal Specification of a Problem Solved by a Parallel Program - a Relational Model. Proceedings of the Fourth Symposium on Programming Languages and Software Tools (ISBN 963 463 013 8), Visegrád, Hungary, June 8-14, 1995 (1995), pp. 165-179.

 

14.  Fóthi Á., Horváth Z., Kozsik T.: Parallel Elementwise Processing - A Novel Version. Proceedings of the Fourth Symposium on Programming Languages and Software Tools (ISBN 963 463 013 8), Visegrád, Hungary, June 8-14, 1995 (1995), pp. 180-194.

 

15.  Workgroup on Relational Models of Programming - Fóthi Á. and Fekete I.-Gregorics T.-Horváth Z.- Koncz-Nagy M.-Kozics S.-Nyéky-Gaizler J.-Sike S.-Steingart F.-Tőke P.- Vargyas M.-Venczel T.: Some Concepts of a Relational Model of Programming. In: Varga L., ed., Proceedings of the Fourth Symposium on Programming Languages and Software Tools (ISBN 963 463 013 8), Visegrád, Hungary, June 8-14, 1995 (1995), pp. 434-446.

 

16.  Horváth Z., Kozsik T., Venczel T.: On Composing Problems and Parallel Programs. In: Paakki J., ed., Proceedings of the Fifth Symposium on Programming Languages and Software Tools, Jyväskylä, Finland, June 7-8, 1997 (1997) Report C-1997-37, University of Helsinki, pp. 1-12.

 

17.  Fóthi Á., Horváth Z., Nyéky-Gaizler J.: Data Types and Specifications. In: Paakki J., ed.: Proceedings of the Fifth Symposium on Programming Languages and Software Tools, Jyväskylä, Finland, June 7-8, 1997 (1997) Report C-1997-37, University of Helsinki, pp. 135-144.

 

  1. Fóthi Á., Horváth Z., Kozsik T., Nyékyné G.J., Venczel T.: A Formal Semantics of Internal Object Concurrency. In: Kilov, H., Rumpe, B. (eds): Workshop Proceedings of Second ECOOP workshop on precise behavioral semantics (with an Emphasis on OO Business Specifications), ECOOP '98, Brussels, 24 July 1998, TUM-INFO-06-I9813-300/1.-FI, pp. 85-94. 

 

  1. Fóthi, Á., Horváth, Z., Kozsik, T., Nyéky-Gaizler, J., Venczel, T.: A Formal Semantics of Internal Object Concurrency, pp. 176-177,  part of paper: Rumpe, B., Kilov, H.: Second ECOOP workshop on precise behavioral semantics (with an Emphasis on OO Business Specifications). In.: Demeyer, S., Bosch, J. (eds): Object Oriented Technology - ECOOP'98 Workshop Reader: ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 1998. Proceedings. Lecture Notes in Computer Science, (ISSN 0302-9743), vol. 1543 (1999) pp. 175-176.

 

20.  Horváth Z., Zsók V., Serrarens, P., Plasmeijer, R.: Parallel Functional Skeletons in Concurrent Clean. Extended abstract. In: Abstracts of the Third Joint Conference on Mathematics and Computer Science, Jun. 6-12, 1999, Visegrád. Hungary, p. 37.

 

21.  Horváth Z., Achten, P., Kozsik T., Plasmeijer, R.: Proving the Temporal Properties of the Unique World. In: Jaan Penjam (ed.): Software Technology, Proceedings of the Fenno-Ugric Symposium FUSST’99 (ISBN 9985-894-12-X), Tallin, Estonia, August, 1999, pp. 113-125.

 

22.  Horváth Z., Achten, P., Kozsik T., Plasmeijer, R.: Verification of the Temporal Properties of Dynamic Clean Processes. In: Koopman, P. (ed): Proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, Lochem, The Netherlands, Sept. 7-10, 1999. pp. 203-218.

 

23.  Horváth Z., Zsók V., Serrarens, P., Plasmeijer, R.: Reactive Skeletons in Concurrent Clean. Extended abstract. In: Csendes, T. (ed): Conference of PhD Students in Computer Science, Volume of Extended Abstracts, CSCS’2000, Szeged, Hungary, July 20-23. 2000. p. 50.

 

24.  Horváth Z., Kozsik T.:  Safe Mobile Code - CPPCC - Certified Proven Property Carrying Code.  Extended abstract, pp. 8-10., part of: Czajkowski G. and Vitek J.: Resource Management for Safe Languages, pp. 1-14. In: Hernández, J., Moreira, A. (eds): Object Oriented Technology - ECOOP'02 Workshop Reader: ECOOP'02 Workshops and Posters, Lecture Notes in Computer Science, vol.2548. Springer 2003. pp. 8-10.

 

25.  Daxkobler K., Horváth Z., Kozsik T.: Safe Functional Mobile Code in Clean. In: Proceedings of the 14th International Workshop on the Implementation of the Functional Languages, IFL'02, Madrid, Spain, Sept. 7-10, 2002. pp. 203-218.

 

26.  Zsók V., Horváth Z., Varga Z.: Functional Programs on Clusters. In: Striegnitz, Jörg; Davis, Kei (Eds.): Proceedings of the Workshop on Parallel/High-Performance Object-Oriented Scientific Computing, POOSC'03, Interner Bericht FZJ-ZAM-IB-2003-09, Juli 2003, pp. 93-100.

 

  1. Horváth Z., Kozsik T.: A Functional Approach to Designing Parallel and Distributed Software. In: Proceedings of The 8th World Multi-Conference on Systemics, Cybernetics and Informatics, SCI 2004. Ivited session: Methodologies and Models for Parallel Programs Design, Invited Session at, Systemics. Orlando, Florida, USA, July 18-21, 2004. Vol. XIV, Computer and Information Systems, Technologies and Applications, (ISBN 980-6560-13-2), pp. 167-172.

 

  1. Hernyák, Z., Horváth Z., Zsók, V.: Design of Language Elements for Dynamic Distributed Computation of Clean Expressions on Clusters. In: Proceedings of Fifth Symposium on Trends in Functional Programming, TFP 2004, Ludwig-Maximilians University, Munich, Germany, 2004, pp. 257-270.

 

  1. Szabó-Nacsa R., Diviánszky P., Horváth Z.: Prototype Environment for Refactoring Clean programs. Abstract. In: Csendes, T. (ed): Conference of PhD Students in Computer Science, Volume of extended abstracts, CSCS 2004, Szeged, Hungary, July 1-4, 2004, page 113. Full paper submitted.

 

  1. Horváth Z., Kozsik T., Tejfel M.: Verifying Safety Properties of Abstract Functional Objects. Abstract. In: Csörnyei, Z. (ed): Fifth Joint Conference on Mathematics and Computer Science, Volume of extended abstracts. Debrecen, Hungary, June 9-12, 2004. p. 47.

 

  1. Horváth Z., Kozsik T.: Teaching of Parallel and Distributed Software Design. In: Hudák, S., Kollár, J. (eds): Proceedings of the Sixth International Scientific Conference on Electronic Computers and Informatics, ECI 2004 (ISBN 80-8073-150-0). September 22-24, 2004, Košice - Herlany – High Tatras, Slovakia. pp. 151-156.

 

  1. Horváth Z., Hernyák Z., Zsók V.: Implementing Distributed Skeletons using D-Clean and D-Box. In: Butterfield, A. (ed): Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 2005. Dublin, Ireland - 19-21 September 2005. pp. 1-16, 2005.

 

  1.  Zsók V., Horváth Z., Hernyák Z.: Distributed Elementwise Processing in D-Clean. In: Nilsson, H. (ed): Proceedings of the Seventh Symposium on Trends in Functional Programming, TFP’06. Nottingham, UK, 19-21 April 2006, pp. 378-386.

 

  1. Zsók V., Hernyák Z., Horváth Z.: Distributed Computation on Cluster using D-Clean and D-Box. Extended abstract. In: Davis, K., Quintino, T., Striegnitz, J. (eds): 5th Workshop on Parallel/High Performance Object-Oriented Scientific Computing. 3rd July 2006 at ECOOP 2006, 3 pages.

 

  1. Lövei, L., Tejfel, M., Mészáros, M., Horváth, Z., Kozsik, T.: Comparing Specification with Proved Properties of Clean Dynamics. Abstract.  In: Csendes, T. (ed): Conference of PhD Students in Computer Science, CSCS 2006, Volume of extended abstracts, 2006, p. 71.

 

  1. Lövei, L., Horváth, Z., Kozsik, T., Víg, A., Nagy, T.: Refactoring Erlang Programs. Conference poster at High Speed Networking Workshop, HSN 2006, http://plc.inf.elte.hu/erlang/pub/hsn06_erlang_poster.pdf.

 

  1. Horváth, Z., Lövei, L., Kozsik, T., Víg, A., Nagy,T.: Refactoring Erlang Programs. Abstract. Conference of PhD Students in Computer Science, CSCS 2006, Volume of extended abstracts., 2006, p.58.

 

  1. Tejfel M., Kozsik T., Horváth Z.: Proving Composing Specifications in Sparkle. Abstract. In: Csörnyei, Z. (ed): 6th Joint Conference on Mathematics and Computer Science, Book of Abstracts. Pécs, Hungary, 2006, p. 90.

 

  1. Tejfel M., Horváth Z.,Kozsik  T.: Simplified Model of Clean Object I/O for Machine Verified Proofs. In: Proceedings of the 18th International Symposium on Implementation and Application of Functional Programming Languages. ELTE IK TR 2006-S01, 2006, pp 206-213.

 

  1. Li, H., Thompson, S.J., Lövei, L., Horváth, Z., Kozsik, T., Víg, A., Nagy, T.: Refactoring Erlang Programs. In: Proceedings of the 12th International Erlang/OTP User Conference, Stockholm, November 9-10, 2006, 10 pages.

 

  1. Lövei, L., Horváth, Z., Kozsik, T., Király, R.: Static rules for variable scoping in Erlang, In The 7th International Conference on Applied Informatics, ICAI 2007, Eger, Hungary, January 2007. Volume 2, pp 137-145. 2008.
  2. Róbert Kitlei, László Lövei, Tamás Nagy, Anikó Nagyné Vig, Zoltán Horváth, Zoltán Csörnyei: Generic syntactic analyser: ParsErl. In: Proceedings of the 13th International Erlang/OTP User Conference, Stockholm, November 8, 2007, 9 pages.
  3. Nagy, T., Horváth, Z., Lövei, L., Tóth, M., Nagyné Víg, A.: Call Graph and Data Flow Analysis of a Dynamic Functional Language. Abstract. Conference of PhD Students in Computer Science, CSCS 2008, Volume of extended abstracts, 2008, pp. 42-43.

 

  1. Kitlei R., Lövei L., Nagy, T., Horváth Z., Kozsik T.: Preprocessor and whitespace-aware toolset for Erlang source code manipulation - Extended abstract. In: Proceedings of the 19th International Symposium on Implementation and Application of Functional Programming Languages, 2008., 3 pages.

 

45.  Tóth, M. and Horváth, Z.: RefactorErl: a source code analyser and transformer tool. In Erlang User Conference 2010, Stockholm, Sweden, 16th November 2010, pp. 24-36.

 

  1. Tóth, M., Bozó, I., Horváth, Z., Erdődi, A.: Dependency Graphs for Parallelizing Erlang Programs. In Jurriaan Hage (ed) 22nd Symposium on Implementation and Application of Functional Languages, Alphen aan den Rijn, The Netherlands Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010), Technical Report, ISSN: 0924-3275, (pp 180-186).

 

PAPERS IN HUNGARIAN

 

1.      Horváth Z.: Párhuzamos programozási módszertan. (Parallel Programming Methodology) Bakonyi P., Herdon M. (ed.): Informatika a felsőoktatásban'96. (Informatics in the Hungarian Higher Education ‘96.) (ISBN 963 0470 27 6). Debrecen, 27-30 August, 1996, 297-303.

 

2.      Nyékyné G.J., Csörnyei Z., Horváth Z., Hunyadvári L., Kozma L., Márkus T., Porkoláb Z.: Programozási nyelvek specializáció az ELTE programtervező matematikus képzésében. (The specialization of the programming languages in program planning mathematician training at ELTE.) In: Csirik J., Herdon M. (ed.):  Informatika a felsőoktatásban'99. (Informatics in the Hungarian Higher Education ‘99.)  Debrecen, Hungary, 27-29 August 1999, 550-556.

 

3.      Horváth Z., Fóthi Á.: A funkcionális programozási stílus nyelvi eszközei. (Programming Language Concepts of Functional Programming Style) Csirik J., Herdon M. (ed.): Informatika a felsőoktatásban'99. (Informatics in the Hungarian Higher Education ‘99.) Debrecen, 27-29 August 1999, 570-575.

 

  1. Horváth Z., Pásztorné Varga K., Tejfel M.: Funkcionális programok helyessége. (Verification of Functional Programs.). In: Arató P., Herdon M. (ed.): Informatika a felsőoktatásban'02. (Informatics in the Hungarian Higher Education ’02) (ISBN 963 472 691 7), Debrecen, 28-30 August 2002, 942-946.

 

  1. Hegedűs H., Horváth Z., Zsók V.: A Haskell és a Clean nyelv összehasonlító elemzése. (Comparative Analysis of Haskell and Clean). In: Arató P., Herdon M. (eds.): Informatika a felsőoktatásban'02 (Informatics in the Hungarian Higher Education ’02). ISBN 963 472 691 7, Debrecen, 28-30 August 2002, 1075-1084.

 

  1. Zsók V., Horváth Z., Tejfel M.: Párhuzamos funkcionális programozás. (Parallel Functional Programming.) In: Arató P., Herdon M. (szerk): Informatika a felsőoktatásban'02 (Informatics in the Hungarian Higher Education ’02.), (ISBN 963 472 691 7) Debrecen, 28-30 August 2002, 1085-1094.

 

  1. Horváth Z., Tejfel M., László I.: Petri-hálók alkalmazása elosztott programok vizsgálatára. (Applications of Petri-nets for Analysis of Distributed Programs.) Pethő  A., Herdon M. (eds.): Informatika a Felsőoktatásban 2005 (Informatics in the Hungarian Higher Education 2005).  (ISBN 963 472 9096). University of Debrecen, Faculty of Informatics, 2005. Abstract: p.183. Full paper: 5 pages.

 

  1. Hegedűs, H., Horváth, Z., Porkoláb, Z.: Programozási nyelvek a dokumentumkezelésben. Pethő A., Herdon M. (eds.): Informatika a Felsőoktatásban 2005 (Informatics in the Hungarian Higher Education 2005). ISBN 963 472 9096. University of Debrecen, Faculty of Informatics, 2005. Abstract: p. 188. Full paper: 6 pages.

 

  1. Horváth,Z., Csörnyei,Z., Lövei,L., Zsók,V.: Funkcionális programozás témakörei a programtervező képzésben. Pethő A.-Herdon M. (eds.): Informatika a Felsőoktatásban 2005 (Informatics in the Hungarian Higher Education 2005). ISBN 963 472 9096. University of Debrecen, Faculty of Informatics, 2005. Abstract: p. 189. Full paper: 7 pages

 

  1. Horváth Zoltán, Kozsik Tamás, Lövei László: Szoftverrendszerek fejlesztésének oktatása projektfeladat keretén belül. INFODIDACT 2009 Informatika Szakmódszertani Konferencia, 2009. április 23-24, Szombathely, 2009, 8 pages.

 

 

REPORTS

 

  1. Horváth, Z.: Grid számítások modellje, programnyelvi eszközei. (Models and Programming Language Concepts of Grid Computations) Project report, DemoGrid project., 2003.

 

  1. Horváth, Z.:  JGrid: Jini alapú Grid számítási rendszer és integrált grafikus alkalmazás fejlesztő környezet (2003-2004). (JGrid: An Integrated Graphical Application Development and Grid Execution Environment Based on Jini). ELTE project leader report, 2004.

 

  1. Horváth, Z.: A magyar SzuperGrid es KlaszterGrid rendszerek felhasználó-orientált egységesítése. (User oriented unifying of the Hungarian SuperGrid and ClusterGrid systems). ELTE project leader report. 2005.

 

  1. Horváth, Z.: Elosztott funkcionális programok helyessége (Verification of Distributed Functional Programs) Project report, OTKA. http://www.otka.hu, 2006.

 

  1. Horváth, Z., Lövei L., Kozsik T., Víg A., Nagy T., Király R.: Erlang Refactoring. In.: Horváth Z., Kovács A. (eds.): Analysis of refactoring Erlang programs and the start phase of AXD 301. Feasibility Study, 552 pages, 2006. Part. I, pp. 9-407.

 

  1. Horváth, Z., Lövei L., Kozsik T., Víg A., Nagy T., Király R., Tóth M., Kitlei R.: Erlang Refactoring – New Refactoring Steps, 336 pages, May 31., 2007.

 

  1. Horváth, Z., Lövei L., Kozsik T., Víg A., Nagy T., Király R., Tóth M., Kitlei R.: Erlang Refactoring – New Architecture, 180 pages, Oct. 31, 2007.

 

  1. Horváth, Z., Porkoláb Z., Hernáth, Zs., Bauer P., Köllő H., Sztupák Sz., Parragi Sz., Lócsi L., Mayer Gy.: XML standard proposal and editing tool specification for oldgreek texts. 65 pages. Nov. 2007.

 

9.      Horváth,Z., Lövei,L., Kozsik,T., Nagyné Víg,A., Nagy,T., Király,R., Tóth,M., Kitlei,R., Horpácsi, D., Köllő,H., Tóth,K., Hoch,Cs.: Module Structure Refactoring, 160 pages, May 31, 2008.

 

10.  Lövei L., Horváth Z. (eds): Lövei L., Horváth, Z., Csörnyei, Z., Kozsik, T., Király, R., Kitlei, R., Bozó, I., Hoch, Cs., Tóth, M., Horpácsi D., Drienyovszky D., Horváth K: Implementation of Erlang Refactoring, 206 pages, Oct. 31., 2008

 

11.  Lövei L., Horváth Z. (eds): Bozó,I., Drienyovszky D., Horpácsi D., Horváth K.,  Horváth, Z., Király, R., Kitlei, R., Kozsik, T., Lövei, L., Tóth, M.: Progress report on Erlang Refactoring, 62 pages, May. 31., 2009

 

  1. Lövei L., Horváth Z. (eds): Bozó,I., Érdi G., Hajós, L., Horváth, Z., Király, R., Kitlei, R., Kozsik, T., Lövei, L., Nagy, T.,Tóth, M.: Complexity metrics and simple semantic queries for Erlang, 109 pages, Oct. 30., 2009.

 

13.  Tóth, M., Bozó, I., Horváth, Z.: Erlang programok hatásanalízise (Impact analysis of Erlang programs), 17 pages, January 2010.

14.  Bozó, I., Horváth, Z., Tóth, M. et al: Extended semantic queries on Erlang programs, 21 pages, May 2010.

15.  Tóth, M., Horváth, Z., Bozó, I. et al: Extended semantic queries on Erlang programs and comprehensive testing of RefactorErl by QuickCheck , 69 pages, May 2010.

16.  Bozó, I., Horváth, Z., Tóth, M. et al: The influence of refactorings on source code characteristics and extended semantic queries on Erlang programs, 68 pages, October 2010.

17.  Tóth, M., Horváth, Z., Bozó, I. et al: The influence of refactorings on source code characteristics and extended semantic queries on Erlang programs, 97 pages, October 2010.

18.  Bozó, I., Csörnyei, Z., Horváth, Z, Tóth, M.: Adatfolyam gráf Erlang programokhoz és használhatósága szeleteléshez, 21 pages,  January 2011.

 

OTHER REPORTS AND STUDIES

 

  1. Horváth, Z.: A FORTH rendszer lebegőpontos és racionális aritmetikai bővítése, (A Floating Point Extension of the Programming Language FORTH) XVIIIth National Scientific Conference of Students. Third Award. Dunaújváros, Hungary, Apr. 15-17, 1987. (80 pages)

 

  1. Horváth, Z.: On-line folyamatirányító szakértői rendszerek fejlesztése. (Development of On-line Expert Systems for Process Control) In: Fekete I., ed., Szakértõi rendszrek az ipari folyamatirányításban. (Expert Systems in Industrial Process Control.) Technical Report, Department of General Computer Science, Uni. Eötvös, Budapest, Hungary, 1988. (10 pages)

 

3.      Horváth, Z.: Párhuzamos programok relációs programozási modellje. (A Relational Model of Parallel Programs, in Hungarian.)  PhD Thesis. Phd School in Informatics, University Eötvös Loránd, Budapest, Hungary, 1996. (120 pages)

 

4.      Horváth Z.: Párhuzamos funkcionális programozás. Magyar Állami Eötvös Ösztöndíj, kutatási jelentés, 1999. Parallel functional programming. Eötvös Research Fellowship. Project report, 1999.

 

  1. Horváth, Z., Kozsik T., Ulbert A.: Towards better optimization of resource allocation, 2002. 10 oldal.  DemoGid/EDG project report. http://aszt.inf.elte.hu/~grid.

 

6.      Horváth, Z.: Az ErlVer és a modális µ-kalkulus vizsgálata. (The ErlVer and the Modal  µ-calculus) OTKA project study. 2002. 32 pages. http://aszt.inf.elte.hu/~fun_ver.

 

  1. Horváth, Z.: Funkcionális nyelven írt mobil kód, szemantikai tulajdonságai, helyességének bizonyítása. (Verification and Semantics of Mobile Code Written in a Functional Programming Language). Habilitation, University Eötvös Loránd, Budapest, Apr.2, 2004.

 

  1. Horváth Z.: Kutatói jelentés Bolyai János kutatási ösztöndíjjal végzett tevékenységről. (János Bolyai Research Fellowship of  Hungarian Academy of Sciences)

                                                              i.      1/2003. Éves kutatói jelentés (Annual report), 2004. (Elfogadva. Accepted)

                                                            ii.      2/2003. Éves kutatói jelentés (Annual report), 2005. (Kiemelkedő eredménnyel elfogadva. Accepted with excellent qualification.)

                                                          iii.      3/2003. Záró kutatói jelentés,(Final report) 2006. (Elfogadva. Accepted)

 

 

POSTERS

 

  1. Karina Bunyik, Gergely Dévai, Zoltán Gera, Zsolt Gyulavári, Zoltán Horváth, Mary Sheeran, Emil Axelsson, András Vajda, Peter Brauer: A Domain Specific Language for DSP, Poster, ELTE Innovation Day, 2009.
  2. Péter Diviánszky, Zoltán Horváth, Mónika Mészáros, Gábor Páli, Artyom Antyipin, Dorián Batha, Andrea Kovács, Péter Kovács, Judit Kőszegi, Dániel Leskó: Infrastructure for Analysis of F# Programs, Poster, ELTE Innovation Day, 2009.
  3. Péter Bauer, Tamás Cséri, Zoltán Horváth, Máté Kovács, Zsolt Hernáth, László Horváth, Erika Juhász, Gyula Mayer: The HypereiDoc project, Poster. ELTE Innovation Day, 2009.
  4. Zoltán Hernyák, Zoltán Horváth, Viktória Zsók: The D-Clean and D-Box Distributed Programming Environment, Poster, ELTE Innovation Day, 2009.
  5. László Lövei, Zoltán Horváth, Tamás Kozsik, Melinda Tóth, István Bozó: Refactoring in Erlang, a Dynamic Functional Language, Poster, ELTE Innovation Day, 2009.
  6. Tóth, M., Bozó, I., Horváth, Z., Kitlei, R., Király, R., Horpácsi, D., Kőszegi, J.: RefactorErl: a source code analyser and transformer tool, Poster, ELTE Innovation Day, 2010.

 

 

PRESENTATIONS IN FOREIGN LANGUAGES

           

1.      Horváth, Z.: Fundamentale Relationoperationen in den matematischen Modellen der Programmierung. Im Rahmen des zehnjahrigen Bestehens der Partnerschaft zwischen der ELTE in Budapest und Universität Hamburg, Hamburg, 16. Januar, 1990.

 

2.      Horváth, Z.: A Parallel Programming Methodology. Informatik-Kolloquium der Friedrich Schiller Universität Jena, Germany, 1. November, 1995.

3.      Horváth, Z.: Education of Parallel Programming. Informatik-Kolloquium der Friedrich Schiller Universität Jena, Germany, November, 1998.

4.      Horváth, Z.: A Functional Approach to the Education of Programming. University of Nijmegen, The Netherlands, January 28, 1998.

 

5.      Horváth, Z.: Verification of Clean Object I/O Processes. University of Nijmegen, The Netherlands, June, 1999.

 

6.      Horváth,  Z.: Verification of functional programs. Informatik-Kolloquium der Friedrich Schiller Universität Jena, Germany, May, 2000.

 

7.      Horváth, Z.: Functional programming and data structures. Technical University Tampere, Finland, March 2001.

 

8.      Horváth, Z.: Parallel elementwise processing, a skeleton in Clean. Informatik-Kolloquium der Friedrich Schiller Universität Jena, Germany, Nov, 2001.

 

9.      Horváth, Z.: Certified Proven Property Carrying Code. Universität Wien, Austria, May, 2002.

 

10.  Horváth, Z.: CPPCC - Safe Functional Mobile Code. J. Kepler  Universität Linz, Austria, July, 2002.

 

11.  Horváth, Z.: Data Intensive Computing on a Cluster. Informatik-Kolloquium der Friedrich Schiller Universität Jena, Germany, Dec., 2002.

  1. Horváth, Z.: Proving Properties of Components of Functional Programs. Informatics Colloquium, University Klagenfurt, Austria, October 24, 2003.

 

  1. Horváth, Z.: Proving Properties of Components of Functional Programs. University of Nitra, Slovakia, March 15, 2004.

 

14.  Horváth, Z.: Verification of Parallel and Distributed Functional Programs. Kassai Műszaki Egyetem, 2006. márc. 14.

  1. Horváth, Z.: Proving Invariants of Functional Programs. Informatik-Kolloquium der Friedrich-Schiller-Universität Jena, Germany, 13. December, 2004.

 

16.  Horváth, Z.-Hernyák Z.-Zsók V.: Distributed Clean – functional programming on a cluster. Informatik-Kolloquium der Friedrich-Schiller-Universität Jena, Germany, November 7, 2005.

17.  Horváth, Z., Lövei, L., Kozsik, T., Víg,  A., Nagy, T.: Refactoring Erlang Programs. Informatik-Kolloquium der Friedrich-Schiller-Universität Jena, Regionalgruppe Ostthüringen der Gesellschaft für Informatik (GI) und Fachhochschule Jena, 23. Oktober 2006, 28 slides.

18.  Horváth Z.-Kozsik T.-Tejfel M.: Verification of Functional Program Components, Heriot-Watt University, Edinburgh, 12.  Jan. 2007

 

19.  Horváth Z.-Lőrincz L.Cs.-Ulbert A.-Kozsik T.: A method for job scheduling in Grid based on job execution status. University of Cranfield, 16. Jan. 2007

 

20.  Horváth Z.-Kozsik T.-Tejfel M.: Verification of Functional Program Components 
Software Technology Forum.  07. February 2007

21.  Horváth Z.-Lövei L.-Kozsik T.-Király R.-Nagy T.: Introducing Records by Refactoring. Informatik-Kolloquium der Friedrich-Schiller-Universität Jena, Regionalgruppe Ostthüringen der Gesellschaft für Informatik (GI) und  Fachhochschule Jena, 29. Oktober 2007.

  1. Lövei, L., Tóth M., Horváth Z., Kozsik T., Király R., Kitlei R., Bozó, I., Hoch, Cs.:  Reengineering legacy Erlang code by refactoring, PhD workshop, Central European Functional Programming Summer School, May, 2009.

 

  1. Horváth, Z., Kozsik, T., Lövei, L.: Software Engineering Education in Cooperation with Industrial Partners, Informatik-Kolloquium der Friedrich-Schiller-Universität Jena,  23. Oktober 2009.

 

  1. Lövei, L., Tóth M., Horváth Z.: Tutorial on Refactoring and Analysis with RefactorErl. Erlang User Conference 2009, Stockholm, November 13, 2009.

 

  1. Barna Imre, Bauer Péter, Bernád Kinga (Kolozsvár), Hernáth Zsolt, Horváth Zoltán, Kőszegi Balázs, Kovács Gergely, Kozsik Tamás, Lengyel Zsolt Roth Róbert (Kolozsvár), Sike Sándor, Takács Gábor: Introducing ODF to Mobile Platforms. OpenOffice.org Conference 2010

 

  1. Horváth, Z.,: Introducing ODF to Mobile Platforms. Informatik-Kolloquium der Friedrich-Schiller-Universität Jena, Germany, Oct 20, 2010.

 

  1. Bozó, I., Tóth, M., Horváth, Z.: Slicing Erlang programs. Abstract. ICAI 2010 - 8th International Conference on Applied Informatics, Eger, Hungary, January 27-30, 2010.

 

 

PRESENTATIONS IN HUNGARIAN

 

28.  Horváth Z.: Funkcionális mobil kód helyessége (Verification of Functional Mobile Code). University Szeged, Hungary, Feb. 25, 2003

  1. Horváth Z.:  Funkcionális nyelven írt mobil kód, szemantikai tulajdonságai, helyességének bizonyítása. (Verification and Semantics of Mobile Code Written in a Functional Programming Language). Habilitation, University Eötvös Loránd, Budapest, Apr.2, 2004

 

Horváth Z.:  Programszintézis: asszociatív művelet eredményének kiszámítása.(Program synthesis, computation of the result of associative operation). Habilitation, Eötvös Loránd University, Budapest, April 2, 2004

 

  1. Horváth Z.: Bizonyítottan helyes funkcionális programkód.  (Proved Correct Functional Code) Magyar Operációkutatási Társasaság – Eötvös Loránd University Faculty of Informatics, Applied Mathematics and Informatics Seminar, 02 May 2005

 

31.  Horváth Z.: Funkcionális programozás. (Functional Programming) Babes-Bolyai University, Cluj-Napoca, May 2000.

 

  1. Horváth Z.: Funkcionális programok helyessége. (Verification of Functional Programs) Neumann Day 2003, Eötvös Loránd University, Budapest, 06 November 2003.

 

33.  Horváth Z.-Kozsik T.-Tejfel M.: Verification of Functional Program Components, Heriot-Watt University, Edinburgh, 2007. jan. 12.

 

34.  Horváth Z.-Lőrincz L.Cs.-Ulbert A.-Kozsik T.: A method for job scheduling in Grid based on job execution status. University of Cranfield, 2007. jan. 16.

 

35.  Horváth Z.-Kozsik T.-Tejfel M.: Verification of Functional Program Components 
(Bizonyítottan Helyes Funkcionális Programkomponensek) . Szoftvertechnológia Fórum, 2007. február 7.

 

PROCEEDINGS, PUBLICATIONS IN INTERNATIONAL CONFERENCE PROCEEDINGS

 

  1. Horváth, Z.-Zsók V. (eds): Proceedings of the 18th International Symposium on Implementation and Application of Functional Programming Languages. Eötvös Loránd University Faculty of Informatics TR 2006-S01. ISBN 963 463 876 7. 2006.

 

2.      Horváth, Z.- Kozma, L. – Zsók, V. (eds): Proceedings of the 10th Symposium on Programming Languages and Software Tools, Symposium on Programming Languages and Software Tools 2007, Dobogókő, Hungary, June 14-16, 2007. Eötvös Loránd University Faculty of Informatics (Printing: Eötvös Press), 2007. (ISBN 978-963-463-925-1).

3.      Horváth Z. (ed): Erlang'08, Proceedings of the SIGPLAN Erlang Workshop. EWS'08, Victoria, British Columbia, Canada, September 27, 2008, ACM, ISBN: 978-1-60558-065-4

  1. Horváth Z., Zsók V., Achten, P., Koopman, P. (eds): Tenth Symposium on Trends in Functional Programming, TFP 2009, Komarno, , Slovakia, June, 2-4, 2009 (ISBN 978-963-284-076-5), Eötvös Lorán University, Faculty of Infromatics (printing: Eötvös University Press), 1-327.