Publications

Publications of the Department 1999-2003

2003

Nyékyné Gaizler J. (szerk.) et al.: Programozási nyelvek;
Egyetemi tankönyv, Budapest, 2003, Kiskapu, 789 o.

Fóthi Á. Nyéky-Gaizler J., Porkoláb Zoltán: The Structured Complexity of Object-Oriented Programs
Mathematical and Computer Modelling 38 (2003) 815-827. ISSN 0895-7177, Elsevier Ltd, Oxford.

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, Vol. 38/7-9 , pp. 865-875. Elsevier, 2003.

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: ECOOP'02 Workshop Reader, Lecture Notes in Computer Science vol.2548. Springer 2003. pp. 8-10.

Horváth Z. - Kozsik T. - Tejfel M.: Proving Invariants of Functional Programs
In Proceedings of Eighth Symposium on Programming Languages and Software Tools, Kuopio, Finland, June 17-18, 2003., pp. 115-126 (lektorált)

Horváth Z. - Varga Z. - Zsók V.: Clean-Corba Interface for Parallel Functional Programming on Clusters,
In Proceedings of Eighth Symposium on Programming Languages and Software Tools, Kuopio, Finland, June 17-18, 2003., pp. 127-136. (lektorált)

Zsók V. - Horváth Z. - Varga Z.: Functional Programs on Clusters, In: Striegnitz, Jörg; Davis, Kei (Eds.) (2003)
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.

István Zólyomi, Zoltán Porkoláb, Tamás Kozsik: An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming,
Generative Programming and Component Engineering LNCS Vol.2830(2003) pp. 209-227.

Zólyomi István, Porkoláb Zoltán, Kozsik Tamás: An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming.
Technical Report 2003-P04, Institute of Informatics, Eötvös Loránd University, Budapest, June 2003.

Pásztor Varga K. - Várterész M.: Some Rewriting Systems as a Background of Proving Methods.
Kalmár Workshop on Logic and Computer Science, Technical Report, Szeged, Hungary, October 2003, pp. 213-227.

Kozsik Tamás: Assign predicates to subtype marks - a case study,
Technical Report 2003-P01, Institute of Informatics, Eötvös Loránd University, Budapest.

Kozsik Tamás: The Application of an Associative Function on the Prefixes of a Series,
Technical Report 2003-P03, Institute of Informatics, Eötvös Loránd University, Budapest.

Kozsik Tamás: Subtyping with subtype marks,
Technical Report 2003-P05, Institute of Informatics, Eötvös Loránd University, Budapest.

2002

Nyékyné Gaizler J. (szerk.) et al.: J2EE útikalauz Java programozóknak;
Budapest, 2002, ELTE TTK Hallg. Alapítvány 719 o.

Nyékyné Gaizler J.; Kozsik T.; Porkoláb Z.: Az adattípus a programozási nyelvekben;
Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002., pp. 954-958.

Nyéky-Gaizler J.: A Comparison of Programming Languages;
Course on the University of Klagenfurt (Austria) 2002 Spring;

Nyékyné Gaizler J.: A típusok a programozási nyelvek oktatásában,
Babes-Bolyai Egyetem, Kolozsvár, Románia, 2002.

Horváth Z.: A párhuzamos programozás alapjai, egyetemi előadás jegyzete (100 oldal), Bp., 1995-2002.,
http://people.inf.elte.hu/hz/

Horváth Z.-Hernyák Z.-Kozsik T.-Tejfel M.- Ulbert A.: A Data Intensive Application on a Cluster - Parallel Elementwise Processing.
In: Distributed and Parallel Systems, Cluster and Grid Computing, Kluwer, 2002. pp. 46-53.

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

Ildiko Laszlo, Zoltan Fuzessy, Gerd Haeusler: The effect of the high surface roughness in a comparative process,
Optics and Lasers in Engineering, Vol. 37 (1), 39-49, (2002)

V. Zsók, Z. Horváth, M. Tejfel: Parallel Functional Programming on Cluster,
Conference of PhD Students in Computer Science, Volume of Extended Abstract, Szeged, Hungary, July 1-4, 2002, pp. 114.

Zsók V., Horváth Z., Tejfel M.: Párhuzamos funkcionális programozás (Parallel Functional Programming),
Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002., pp. 1085-1094.

Hegedűs H., Horváth Z., Zsók V.: Haskell és a Clean nyelv összehasonlító elemzése (Comparative Analysis of Haskel and Clean),
Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002., pp. 1075-1084.

Katalin Pásztor Varga, Magda Várterész: Comparison and Usability of two Rewriting Systems for Theorem Proving.
PuMA Pure Mathematics and Applications, Volume 13, No. 1-2, pp. 293-302, 2002.

Pásztor Varga K.: A number theoretical approach to the allocation problem of a pipelined dataflow model.
Proceedings of International Conf. on Parallel Computing in Elecrical Engineering. Warsaw, Poland. 22-25 September 2002. pp. 199-202. IEEE Computer Society.

Horváth Z. - Tejfel M. - Pásztorné Varga K.: Funkcionális programok helyessége.
Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002., pp. 942-946.

Pásztorné Varga K. Várterész Magda, Bognár Katalin: Az alkalmazásorientált logika oktatásának problémái ma a tudományegyetemeken.
Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002, pp. 942-946.

Csörnyei Zoltán, Kovács Lehel, Légrádi Gábor: Purely Functional Programming and the Object Oriented Inheritance,
PuMA Pure Mathematics and Applications, Volume 13, No. 1.-2. pp. 125-132, 2002.

Csörnyei Zoltán, Nagy Sára: Típuselmélet és az objektum-elvű programozás,
Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002.

Hegedűs Hajnalka, Horváth Zoltán, Zsók Viktória: A Haskell és a Clean nyelv összehasonlító elemzése.
Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002, pages 1075-1084.

Frohner Ákos, Kozsik Tamás, Varga László: Design and implementation of synchronisation patterns using an extension to UML: A case study,
PuMA Pure Mathematics and Applications, Volume 13, No. 1-2. pp. 133-158, 2002.

2001

Nyékyné Gaizler J. (szerk.) et al.: Java 2 útikalauz programozóknak:1.3;
Budapest, 2001, ELTE TTK Hallg. Alapítvány 1443 o.

Nyékyné Gaizler J. (szerk.) et al.: Java 2 referencia programozóknak:1.3;
Budapest, 2001, ELTE TTK Hallg. Alapítvány 684 o.

Fóthi Á., Nyéky-Gaizler J. Porkoláb Z.: The Complexity of Object-Oriented Programs;
ICAI'01 5th International Conference on Applied Informatics, Ed. Emőd Kovács et al. Eger, 2001.,

L. Kozma, Á. Frohner, T. Kozsik, Z. Porkoláb: Beyond 2000, Beyond Object-Orientation,
ICAI'01 5th International Conference on Applied Informatics, Ed. Emőd Kovács et al. Eger, 2001., pp. 125-134.

Ildiko Laszlo: Comparative measurement methods – the effect of the high surface roughness,
ODIMAP III, Proceedings, Pavia, Italy (Sept. 20-22, 2001)

B. Garita, H. Guiterrez, I. Laszlo, J.H. Blatt,: Automated alignment by hybrid video and 3D Miore with both conventional and parallel processing,
SPIE Conference, Boston, 5-8 November 2000;Proceedings of SPIE, Vol. 4189, 129-135 (2001).

Z. Horváth, V. Zsók, P. Serrarens, R. Plasmeijer: Parallel Elementwise Processable Functions in Concurrent Clean,
Selected paper of 5th International Conference on Applied Informatics, ICAI’2001, Eger, Hungary, 28 January-3 February, to appear in Computers & Mathematics With Applications, Elsevier.

V. Zsók, Z. Horváth: Skeleton Algorithms in Concurrent Clean,
4th Joint Conference on Mathematics and Computer Science, Abstracts, Felix-Oradea, Romania, June 5-10, 2001, pp. 99.

Pásztor Varga K. - Várterész M.: A Generalized Approach to the Theorem Proving Methods.
5th ICAI'01 5th International Conference on Applied Informatics, Ed. Emőd Kovács et al. Eger, 2001., pp. 191-200.

Csörnyei Zoltán, Kovács Lehel, Légrádi Gábor: Purely Functional Programming and the Object Oriented Programming,
Studia XLVI. 1 pp. 101-110, 2001.

Csörnyei Zoltán: Fordítási algoritmusok, Erdélyi Tankönyvtanács, Kolozsvár, 2001.

Horváth Zoltán, Kozsik Tamás, Venczel Tibor: Parallel Programs Implementing Abstract Data Type Operations,
PuMA Pure Mathematics and Applications, Volume 11, No. 2. pp. 293-308, 2001.

2000

Nyékyné Gaizler J. (szerk.) et al.: Java 2 útikalauz programozóknak;
Budapest, 1999, 2000, ELTE TTK Hallg. Alapítvány 1802 o.

Fóthi Á., Nyéky-Gaizler J., Harangozó É.: Abstraction strategies in practice;
Annales Univ. Sci. Bud. Sect. Comp. 19(2000) 75-92.

Fóthi Á., Nyéky-Gaizler J. Porkoláb Z.: On the Complexity of Object-Oriented Programs;
ECOOP'2000 10th Workshop for PhD Students in Object-Oriented Systems, ECOOP'2000, France, Nice, 2000, Abstract to appear in: ECOOP'2000 Workshop Reader, Lecture Notes in Computer Science

G.Horváth, G.G. Járos, J. N. Gaizler: Teleonic study of accidents in anaesthesia, Part I. Theoretical background;
World Congress/ISSS 2000, Toronto, CA, 2000.

Nyékyné Gaizler J.: Programozási nyelvek öszehasonlító elemzése
Babes-Bolyai Egyetem, Kolozsvár, Románia, 2000.

Horváth Z.- Kozsik T.- Venczel T.: Parallel Programs Implementing Abstract Data Type Operations.
PuMA Pure Mathematics and Applications, Volume 11, No. 2. pp. 293-308, 2000.

Horváth Z.-Zsók V.-Serrarens, P.- Plasmeijer, R.: Reactive Skeletons in Concurrent Clean.
Extended abstract. CSCS’2000, Szeged, Hungary, July. 2000.

Ákos Frohner, Zoltán Porkoláb, László Varga: Code Generation from UML Models,
Periodica Polytechnica, Ser El. Eng. Vol.44(2000) No.2 pp. 141-157.

Porkoláb Zoltán: Programozási Nyelvek és Programozási Paradigmák,
Plenáris előadás. IV. Magyar Objektum Orientált Konferencia, Budapest, 2000.

Z. Fuzessy, F.Gyimesi, B. Raczkevi, J. Makai, J.Kornis, I.Laszlo: Holographic illumination for comparative mea surement,
Optics Communications, 132, (1996) 29-34; Selected SPIE Papers on CD-ROM, Volume 15, Disc2, 2000.

I. Laszlo, Z. Fuzessy, J. Kornis, F. Gyimesi: Comparative measurement by speckle interferometry using holographically reconstructed master object,
Opt. Eng., 36 (12), 3323-3326, (December 1997); Selected SPIE Papers on CD-ROM, Volume 15, Disc2, 2000.

I. Laszlo, Z. Fuzessy, J. Kornis: Comparative Difference Digital Speckle Pattern Interferometry,
64th Annual Meeting, FIT Melbourne, Florida, p. 62-63 (2000).

Pásztor Varga K.: Logical Background of Theorem Proving Methods.
WSCS’2000: Workshop for Students of Computer Science. Kosice, Slovakia, June 2000., pp. 115-118.

Pásztorné Varga K., Kozma László: A logika alkalmazásának hatása: Új irányok megjelenése. Eredmények újragondolása.
Magyar informatikusok II. világtalálkozója. Budapest, 2000. június 5-8 konferenciakiadvány. Gábor Dénes Főiskola, Budapest. pp. 589-590 és 793-796

Csörnyei Zoltán, Nagy Sára: Új irányok a fordítóprogramok oktatásában, Magyar Informatikusok II. Világtalálkozója, pp. 333-334, 2000.

Kozsik Tamás, Diederik van Arkel, Rinus Plasmeijer: Subtyping with Strengthening Type Invariants
Proceedings of the 12th International Workshop on Implementation of Functional Languages, pp. 315-330, Aachener Informatik-Berichte, 2000.

1999

Nyékyné Gaizler J. (szerk.) et al.: Az Ada95 programozási nyelv;
Egyetemi tankönyv, Budapest, 1999. ELTE Eötvös Kiadó 576 o.

Fóthi Á., Horváth Z., Kozsik T., Nyékyné Gaizler J., Venczel T.: A Formal Semantics of Internal Object Concurrency;
In: Proceedings of Workshop#6 : Precise Behavioural Semantics, ECOOP'98, Brüsszel, 1998 (10 oldal).Abstract in: ECOOP'98 Workshop Reader, Lecture Notes in Computer Science vol 1543 (1999) 175-176.

Fóthi Á., Nyéky-Gaizler J. Porkoláb Z.: On the Complexity of Class;
In: Penjam J. ed., Proc . of the Software technology Fenno-Ugric Symposium FUSST'99, Sagadi, Estonia, 1999. August, ISBN 9985-894-12-X, Institute of Cybernetics at TTU, ed: Jaan Penjam

Nyékyné Gaizler 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 programtervezo matematikus képzésében;
Informatika a Felsooktatásban'99, Országos Konferencia, Debrecen, 1999. ISBN 963 03 8318 7 Ö, és ISBN 963 03 8319 5, Debreceni Egyetemi Szövetség, szerk: Csirik János, Herdon Miklós

Harmat K.-Tandi P.-Horváth Z.-Wierich, M.- Plasmeijer, R.: Web Computing in Clean.
ICAI'99 4th International Conference on Applied Informatics, Ed: Emőd Kovács et al., Eger-Noszvaj, 1999., pp. 87-93.

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.

Horváth Z.-Achten, P.-Kozsik T.- Plasmeijer, R.: Proving the Temporal Properties of theUnique World.
Proceedings of the Sixth Symposium on Programming Languages and Software Tools, Tallin, Estonia, August, 1999., pp. 113-125.

Horváth Z.-Achten, P.-Kozsik T.- Plasmeijer, R.: Verification of the Temporal Properties of Dynamic Clean Processes.
Proceedings of Implementation of FunctionalLanguages'99, Lochem, The Netherlands, Sept. 7-10, 1999. pp. 203-218.

Zoltán Porkoláb, Róbert Kisteleki: Alternative Generic Libraries,
ICAI'99 4th International Conference on Applied Informatics, Ed: Emőd Kovács et al., Eger-Noszvaj, 1999., pp. 79-86.

G. Haeusler, P. Ettl, M. Schenk, G. Bhon, I. Laszlo: Limits of Optical Range sensors and How to Exploit Them,
ICO IV, Springer Series in Optical Sciences, 74, 328-342, (1999)

K. Pásztor-Varga: Automated Theorem Proving - Some Problem,
Third Joint conference on Mathematics and Computer Science. Visegrád, 1999, Juin 6- 12.

Kozma László Dr., Pásztorné Varga Katalin Dr.: Tömegoktatás felsőfokon az informatikában. (Elvárások. Kérdőjelek! Megoldások?)
Informatika a felsőoktatásban’99. Debrecen, 1999 aug. 27-30. Konferencia kiadvány.

Csörnyei Zoltán, Nagy Sára: Típusrendszerek és a funkcionális programozás,
Informatika a felsőoktatásban’99. Debrecen, 1999 aug. 27-30. Konferencia kiadvány. pp- 583-586.

Csörnyei Zoltán: Dynamic grammars and compilers,
Third Joint Conference on Mathematics and Computer Science, 1999.

Gulyás László, Kozsik Tamás: The Use of Aspect-Oriented Programming in Scientific Simulations,
Software Technology, Fenno-Ugric Symposium FUSST'99 Proceedings, Technical Report CS 104/99, pp. 17-28, Institute of Cybernetics at TTU, 1999.

Gulyás László, Kozsik Tamás, Fazekas Sándor: The Multi-Agent Modeling Language,
Proceedings of 4th International Conference on Applied Informatics (ICAI'99), pp. 43-50, Molnár és Társa '2001' Kft. 1999.

Gulyás László, Kozsik Tamás: Model Design Interface - A CASE Tool for the Multi-Agent Modeling Language,
Section Proceedings of the 2nd International Conference of PhD Students, Engineering Sciences, pp. 97-104, 1999.

Gulyás László, Kozsik Tamás, John B. Corliss: The Multi-Agent Modelling Language and the Model Design Interface,
Journal of Artificial Societies and Social Simulation, vol 2 no 3, elektronikus, 1999.