Skip Navigation Links
Skip navigation links
Department
Staff
Courses
Projects
Conferences
Publications
Skip navigation links
Department
Staff
Courses
Projects
Conferences
Publications
Technical Reports
Tanszék - Magyar
Publications 
 

 2014

Embedded resource tool in HaskellAttila Góbi, Tamás Kozsik, Barnabás KrálikSTUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA LIX:(Special Issue 1) pp. 129-136. (2014) 10th Joint Conference on Mathematics and Computer Science. Cluj-Napoca, Románia: 2014.05.21 -2014.05.25.
Elements of Functional Programming LanguagesGábor Páli, Zoltán Horváth, Viktória Zsók, Máté  Tejfel, Judit Nyéky-GaizlerIn: Nyékyné Gaizler Judit (szerk.) Advanced Programming Languages. 1110 p. Budapest: Eötvös Loránd Tudományegyetem, 2014. pp. 856-931. (ISBN:978-963-284-450-3)
Reduction of Regresson Tests for Erlang Based on Impact AnalysisZ Horvath, I Bozó, M TóthSTUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA 59: pp. 31-46. (2014) MACS. Cluj-Napoca, Románia: 2014.05.21 -2014.05.25.

 2013

Random number generator for C++ template metaprogramsZalán Szűgyi, Tamás Cséri, Zoltán Porkoláb13th Symosium on Programming Languages and Software Tools
STL conform infinite streamsZalán Szűgyi, Attila GóbiAIP Conference Proceedings
A Practical Comparison of the Structured and the Functional Programming ParadigmsMelinda Simon, Gergely Dévai, Zoltán Porkoláb, Norbert PatakiProc. of the Twelfth International Conference on Informatics, pp. 110-115.
Implementing monads for C++ template metaprogramsÁbel Sinkovics, Zoltán PorkolábJournal of Science of Computer Programing
Domain-Specific Language Integration with C++ Template MetaprogrammingÁbel Sinkovics, Zoltán PorkolábMarjan Mernik (ed): Formal and Practical Aspects of Domain-Specific Languages: Recent Developments. Hershey: Information Science Reference, 2013. pp. 33-56. (ISBN:978-1-4666-2092-6)
DSL in C++ Template MetaprogramZoltán Porkoláb, Ábel Sinkovics, István SirokiTutorial for DSL 2013, Cluj, July 2013.
Generating type-safe script languages from functional APIsGábor Horváth, Gábor Kozár, Zalán SzűgyiProceedings of the Twelfth International Conference on Informatics
Comparison of DC and MC/DC code coveragesZalán Szűgyi, Zoltán PorkolábProceedings of the Twelfth International Conference on Informatics
Embedding and Parsing Combined for Efficient Language DesignGergely, Dévai; Dániel, Leskó; Máté, TejfelProceedings of International Conference on Software Engineering and Applications, SCITEPRESS Digital Library, 2013.
The EDSL's struggle for their sourcesGergely, Dévai; Dániel, Leskó; Máté, TejfelDSL 2013 Summer School, Cluj-Napoca, Romania, 2013.
RefactorErl, a static source code analysis and transformation toolTóth, M., Bozó, I.Talk at the Budapest Erlang User Group Meetup, Budapest, Hungary, December  2013.
Processable Erlang Data in C++Németh, A., Tóth, M. Talk and extended abstract On Middle-European Conference on Applied Theoretical Computer Science (MATCOS), Koper, Slovenia, October, 2013.
Identifying Code Clones with RefactorErlFördős, V. and Tóth, M. In Proceedings of the 13th Symposium on Programming Languages and Software Tools, Szeged, Hungary, August, 2013.
Reduction of regression tests for Erlang based on impact analysisTóth, M., Bozó, I., Horváth, Z.In Proceedings of the 25th Symposium on Implementation and Application of Functional Languages. Nijmegen, NL, August 2013.
Intermediate representations of functional programming languages for software quality controlTóth, M.Talk at the 13th Workshop on "Software Engineering Education and Reverse Engineering”, DAAD WS, Bansko, Bulgaria, August 2013.
Analysing, Refactoring, and Extending the Language with one Tool!Tóth, M.Tutorial at the 8th Erlang User Conference 2013, Stockholm, Sweden, May 2013.
Parallel Functional Programming Using D-CleanZsók ViktóriaPhD, 101. p.
Static analysis of function calls in Erlang: Refining the static function call graph with dynamic call information by using data-flow analysisDániel, Horpácsi; Judit, KőszegiDániel Horpácsi, Judit Kőszegi
LLVM backend for TILE64Dávid Juhász and Tamás KozsikPoster at 2013 European LLVM Conference, Paris, France
Clean up the Web! In The Beauty of Functional CodeLászló Domoszlai and Tamás KozsikVolume 8106 of LNCS, pages 133-150.
Low level conditional move optimizationArtyom Antyipin, Attila Góbi, and Tamás KozsikActa Cybernetica, 21:5-20.
Workflow Description in Cyber-Physical SystemsT. Kozsik, A. Lörincz, D. Juhász, L. Domoszlai, D. Horpácsi, M. Tóth, Z. HorváthStudia Universitatis Babes-Bolyai Series Informatica, INFORMATICA  2, 20-30 p.

 

 2012

Improving quality of software analyser and transformer tools using specification based testingMáté Tejfel, Melinda Tóth, István Bozó, Dániel Horpácsi, Zoltán HorváthAppearing in ANNALES Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae Sectio Computatorica ISSN: 0138-9491
Extending Little Languages into Big SystemsGábor Páli4th Central European Functional Programming Summer School (CEFP), Budapest, Hungary, June 14 -- 24, 2011, Revisited Selected Lectures, Lecture Notes in Computer Science (LNCS), Vol. 7241, pp. 295--312, Springer-Verlag, ISSN: 0302-9743
Declarative Scheduling of Dataflow NetworksGábor PáliAnnales Universitatis Scientarium Budapestiensis de Rolando Eötvös Nomiatae, Sectio Computatorica, Vol. 36(2012)
Static Analysis of Complex Software Systems Implemented in ErlangTóth, M., Bozó, I.In Central European Functional Programming Summer School – Fourth Summer School, CEFP 2011,  Revisited Selected Lectures, Lecture Notes in Computer Science (LNCS), Vol. 7241, pp. 451-514, Springer-Verlag, ISSN: 0302-9743
RefactorErl - Távközlési szoftverek elemzése és átalakításaBozó István, Horváth Zoltán, Király Roland, Kitlei Róbert, Kozsik Tamás, Lövei László, Tóth Melinda, Tejfel MátéPoster at ELTE-IK Open Day (Nyilt Nap), January, 2012
Compile-time advances of the C++ Standard Template LibraryNorbert PatakiAnnales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio  Computatorica, Vol. 36, Selected papers of 9th Joint Conference on Mathematics and Computer Science MaCS 2012, pp. 341-353.
Compiling Haskell to JavaScript through Clean's coreLászló Domoszlai and Rinus PlasmeijerAnnales Universitatis Scientarium Budapestiensis de Rolando Eötvös Nomiatae, Sectio Computatorica, Vol. 36(2012)
A C++ pearl – self-referring streamsAttila Góbi, Zalán Szügyi, Tamás KozsikAnnales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio  Computatorica, Vol. 36, Selected papers of 9th Joint Conference on Mathematics and Computer Science MaCS 2012, pp. 157-174
Safe Iterator Framework for the C++ Standard Template LibraryNorbert PatakiActa Electrotechnica et Informatica 12(1), pp. 17-24.
Task-specific style verification Norbert Pataki, Tamás Cséri, Zalán SzűgyiAIP Conf. Proc. Vol. 1479, NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics, pp. 490-493
High-level Multicore Programming with C++11Zalán Szűgyi, Márk Török, Norbert Pataki, Tamás KozsikComputer Science and Information Systems, Vol. 9, No. 3, pp. 1187-1202.
Towards Warning Annotations in C++11Norbert Pataki, Márk TörökProceedings of CSE 2012 International Scientific Conference on Computer Scinece and Engineering, pp. 79-86
Rule-based assignment of comments to AST nodes in C++ programsCséri, T., Szűgyi, Z., Porkoláb, Z.In proc. of Conference of 5th Balkan Conference in Informatics (BCI)
Detecting Process Relationships in Erlang Programs,Melinda Tóth, István BozóIn Proceedings of the 24th Symposium on Implementation and Application of Functional Languages. Oxford, UK, September 2012.

 2011

Proceedings of the Workshop on Generative Technologies 2011, (WGT 2011), Zoltán Porkoláb, Norbert PatakiWGT 2011 - ETAPS (European Joint Conferences on Theory and Practice of Software, 2011, Saarbrücken, Germany
A More Efficient and Type-Safe Version of FastFlowZalán Szűgyi, Norbert PatakiProceedings of Workshop on Generative Technologies (WGT 2011), pp. 24-37
Towards a Multicore C++ Standard Template LibraryZalán Szűgyi, Márk Török, Norbert PatakiProceedings of  Workshop on Generative Technologies (WGT 2011), pp. 38-48.
Parallization of the Standard Template Library on Multicore ArchitecturesNorbert Pataki, Zalán Szűgyi, Márk TörökSpring Wind 2011, Tavaszi Szél 2011 Konferenciakötet, pp. 423-428
Advanced Functor Framework for C++ Standard Template LibraryNorbert PatakiStudia Universitatis Babes-Bolyai, Informatica, LVI, 1, pp. 99-113
Static analysis and refactoring towards Erlang multicore programmingTóth, M., Bozó, I., Horváth, Z., Erdődi, A.Pre-proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES'11, Saarbrücken, Germany
Using impact analysis based knowledge for validating refactoring stepsBozó, I., Tóth, M., Tejfel, M., Horpácsi, D., Kitlei, R., Kőszegi, J., Horváth, Z.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. 2011.
 RefactorErl: a source code analyser and transformer toolTóth, M., Bozó, I., Horváth, Z., Kitlei, R., Király, R., Horpácsi, D., Kőszegi, J.Innovation Day, ELTE
Features of C++ Template  MetaprogramsNorbert Pataki, József Mihalicza, Zalán Szűgyi, Viktor Májer, Zoltán PorkolábProceedings of the 8th International Conference on Applied Informatics (ICAI 2010), Vol. 2.,  p. 451
SQL Code Complexity AnalysisMelinda Simon, Norbert PatakiProceedings of the 8th International  Conference on Applied Informatics (ICAI 2010), Vol. 1., pp. 353-359.
C++ Standard Template Library by RangesNorbert PatakiProceedings of the 8th International  Conference on Applied Informatics (ICAI 2010) Vol. 2., pp. 367-374
Measuring the Overhead of C++ Standard Template Library Safe VariantsNorbert Pataki, Zalán Szűgyi, Gergely Dévai Electronic Notes in Theoretical Computer Science (ENTCS) Vol. 264(5), pp. 71-83
Proceedings of the Second Workshop on Generative Technologies (WGT) 2010Zoltán Porkoláb, Norbert PatakiElectronic Notes in Theoretical Computer Science (ENTCS) Vol. 264(5), pp. 1-122
Advantages of a Multi-Paradigm Programming Language in Agent-Based Model DefinitionRichárd O. Legéndi, Attila SzabóProceedings of the 8th International Conference on Applied Informatics (ICAI 2010), Vol. 1, pp. 127-134
Extension of Iterator Traits in the C++ Standard Template LibraryNorbert Pataki, Zoltán PorkolábProceedings of the Federated Conference on Computer Science and Information Systems, pp. 919-922
Syntax Check of Embedded SQL in C++ with ProtoZalán Szűgyi, Zoltán PorkolábProceedings of the 8th International  Conference on Applied Informatics (ICAI 2010) Vol. 2., pp. 383-390
C++ Standard Template Library by Safe FunctorsNorbert PatakiProceedings of the 8th Joint Conference on Mathematics and Computer Science, MaCS 2010, Selected Papers, pp. 363-374.
Tools for Large Scale (Distributed) Agent-Based Computational ExperimentsLászló Gulyás, Attila Szabó, Richárd Legéndi, Tamás Máhr, Rajmund Bocsi, George KampisProceedings of 2011 Computational Social Science Society of America Annual Conference
Effects of Time-Dependent Edge Dynamics on Properties of Cumulative NetworksRichard O. Legendi and Laszlo GulyasProceedings of the Satellite Meeting EPNACS 2011 within ECCS'11
Multicore C++ Standard Template Library with C++0xZalán Szűgyi, Márk Török, Norbert Pataki, Tamás KozsikAIP Conf. Proc. Vol. 1389, NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics, pp. 857-860
Towards More Scalable C++ Concept MapsZalán Szűgyi, Norbert Pataki, Zoltán PorkolábProceedings of 12th Symposium on Programming Languages and Software Tools, pp. 8-19
Compiler Support for Profiling C++ Template MetaprogramsJózsef Mihalicza, Norbert Pataki, Zoltán PorkolábProceedings of 12th Symposium on Programming Languages and Software Tools, pp. 32-43
Subtle Methods in C++Zalán Szűgyi, Norbert Pataki, József MihaliczaActa Electrotechnica et Informatica 11(3), pp. 11-16
A Client-Server Model for Editing ODF Documents on Mobile DevicesI. Barna, P. Bauer, K. Bernád, Zs. Hernáth, B. Kőszegi, G. Kovács, T. Kozsik, Z. Lengyel, R. Roth, S. Sike, G. TakácsActa Electrotecnhica et Informatica, Vol. 11(3), 2011. pp. 17-20.
C++ Standard Template Library by template specialized containersNorbert PatakiActa Universitatis Sapientiae, Informatica, Vol. 3(2), pp. 141-157
Agents in Multicore RealmMárk Török, Zalán Szűgyi, Norbert PatakiProceedings of the Eleventh International Conference on Informatics, Informatics 2011, pp. 213-215
Advanced Safe Iterators for the C++ Standard Template LibraryNorbert PatakiProceedings of the Eleventh International Conference on Informatics, Informatics 2011, pp. 86-89
Multicore C++ Standard Template Library in a Generative WayZalán Szűgyi, Márk Török, Norbert PatakiElectronic Notes in Theoretical Computer Science (ENTCS) Vol. 279(3), pp. 63-72
Generative Version of the FastFlow Multicore LibraryZalán Szűgyi, Norbert PatakiElectronic Notes in Theoretical Computer Science (ENTCS) Vol. 279(3), pp. 73-84
Proceedings of the Third Workshop on Generative Technologies (WGT) 2011Zoltán Porkoláb, Norbert PatakiElectronic Notes in Theoretical Computer Science (ENTCS) Vol. 279(3), pp. 1-96
C++ Standard Template Library by infinite iteratorsTamás Kozsik, Norbert Pataki, Zalán SzűgyiAnnales Mathematicae et Informaticae, Vol. 38, pp. 75-86
Implementing a non-strict purely functional language in JavaScriptLászló Domoszlai, Eddy Bruël, Jan Martin JansenActa Univ. Sapientiae, Inform. 3, No. 1, 76-98
Static Analysis Based Support for Program Comprehension in ErlangTóth, M., Bozó, I., Kőszegi, J. and Horváth, Z.In Acta Electrotechnica et Informatica, Volume 11, Number 03, October 2011. Publisher: Versita, Warsaw, ISSN 1335-8243 (print), ISSN 1338-3957 (online), pages 3-10.
Analysing Erlang BEAM filesKarácsonyi, M., Tóth, M.In Proceedings of the 11th International Conference Informatics'2011, Roznava, Slovakia, November, 2011,  ISBN 978-80-89284-94-8, pages 90-95.
Tóth, M., Bozó, I.Change impact analysisTalk at the 16th Erlang User Conference 2011, Stockholm, Sweden, November 2011.
RefactorErl - Source Code Analysis and Refactoring in ErlangBozó, I., Horpácsi, D., Horváth, Z., Kitlei, R., Köszegi, J., Tejfel. M. and Tóth, M.In Proceedings of the 12th Symposium on Programming Languages and Software Tools, Tallin, Estonia, October, 2011., ISBN 978-9949-23-178-2, pages 138-148.
Using impact analysis based knowledge for validating refactoring stepsBozó, I., Tóth, M., Tejfel, M., Horpácsi, D., Kitlei, R., Kőszegi, J., Horváth, Z.International Conference on Knowledge Engineering, Principles and Techniques, KEPT 2011, Selected papers, Presa Universitara Clujeana, ISSN: 2067-1180, Cluj-Napoca, Romania, Jul 4-6, 2011, pp. 325-336.
Selecting Erlang test cases using impact analysis.Bozó, I., Tóth, M.In Proceedings of Symposium on Computer Languages, Implementations and Tools, Kassandra, Halkidiki, Greece, September, 2011. American Institute of Physics Conference Proceedings 1389, ICNAAM 2011 – 7. ISBN: 978-0-7354-0954-5, pages 802-805.
Reverse Engineering of Complex Software Systems via Static AnalysisTóth, M., Bozó, I., Horváth, Z.Lecture at Central European Functional Programming School, Budapest, Hungary, June, 2011.
Introduction to a Static Source Code Analyser and Transformer Tool for ErlangTóth, M.Talk at the High Speed Network Workshop 2011, Budapest, Hungary, May 2011
RefactorErl: a source code analyser and transformer toolTóth, M., Bozó, I., Horváth, Z., Kitlei, R., Király, R., Horpácsi, D., Kőszegi, J.Poster at the High Speed Network Workshop 2011, Budapest, Hungary, May 2011
RefactorErl - Távközlési szoftverek elemzése és átalakításaBozó István, Horváth Zoltán, Király Roland, Kitlei Róbert, Kozsik Tamás, Lövei László, Tóth Melinda, Tejfel MátéPoster at ELTE-IK Open Day (Nyilt Nap), January, 2011 & November, 2011
A funkcionális programozás tanulásának támogatása interaktív tanulássegítő eszközzelDiviánszky Péter, Páli GáborInformatikai a felsőoktatásban (IF) 2011, Debrecen, 2011. augusztus 24--26., konferenciakötet, pp. 518--525.
Size analysis of higher-order functionsAttila Góbi, Olha Shkaravska, Marko van EekelenProceedings of the 12th International Symposium on Trends in Functional Programming, pp. 77–91, (2011)
4D Ariadne the Static Debugger of Java ProgramsZalán Szűgyi, István Forgács, Zoltán PorkolábPeriodica Polytechnica Electrical Engineering and Computer Science

 2010

C++ Standard Template Library in a Safer WayNorbert Pataki, Zalán Szűgyi, Gergely DévaiWorkshop on Generative Technologies 2010 (WGT 2010), pp. 46-55.
Proceedings of the Workshop on Generative Technologies 2010, (WGT 2010)Zoltán Porkoláb, Norbert PatakiWGT 2010 - ETAPS (European Joint Conferences on Theory and Practice of Software, 2010, Paphos, Cyprus
Visualization of C++ Template MetaprogramsZoltán Borók-Nagy, Viktor Májer, József Mihalicza, Norbert Pataki, Zoltán PorkolábProceedings of Tenth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2010), pp. 167-176.
Sophisticated Methods in C++Zalán Szűgyi, Norbert PatakiProceedings of International Scientific Conference on Computer Science and Engineering (CSE 2010), pp. 93-100.
C++ Standard Template Libary by safe functorsNorbert PatakiAbstracts of the 8th Joint Conference on Mathematics and Computer Science (MaCS'10), p.44.
C++ Metastring Library and its ApplicationsZalán Szűgyi, Ábel Sinkovics, Norbert Pataki, Zoltán PorkolábProceedings of Generative and Transformational Techniques in Software Engineering 2009, LNCS 6491, pp. 461-480.
Testing by C++ Template MetaprogramsNorbert PatakiActa Universitatis Sapientiae, Informatica, 2, 2, pp. 154−167
C++ exam methodologyNorbert Pataki, Zalán SzűgyiAnnales Mathematicae et Informaticae 37, pp.211-223
Software engineering education in cooperation with industrial partnersZoltán Horváth, Tamás Kozsik, and László LöveiTeaching Mathematics and Computer Science, 8(1):133-148.
Analysis of preprocessor constructs in ErlangRóbert Kitlei, István Bozó, Tamás Kozsik, Máté Tejfel, and Melinda TóthProceedings of the 9th ACM SIGPLAN workshop on Erlang, pages 45-56, New York, NY, USA, 2010. ACM.
Implementatitons of Programming Languages I.Zoltan, CsörnyeiUniversitatis Budapestinensis de Rolando Eötvös, Budapest.
Translation Methods of Programming LanguagesZoltan CsörnyeiFarkas Gyula Szakkollégium, Babes-Bolyai Tudományegyetem, Kolozsvár. 
Parallel programming techniques and linear type systemsGábor Alagi, Zoltán Csörnyei, Katalin Pásztor VargaKomarno, Slovakia, p. 11, ISBN 978-80-8122-003-6
D-Clean Semantics for Generating Distributed Computation NodesViktória Zsók Proceedings of the Workshop on Generative Technologies, WGT 2010, Satellite workshop at European Joint Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 27, 2010, pp. 77-84.
An Executable Semantics for D-CleanZsók V., Koopman P., Plasmeijer R.Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages, IFL 2010, Alphen aan den Rijn, September 1-3, 2010, Technical Report UU-CS-2010-020 August, 2010, Utrecht University, The Netherlands
Trends in Functional ProgrammingHorváth Z., Zsók V., Achten, P., Koopman, P.Volume 10, Intellect Ltd., United Kingdom, 2010, 192 p.
Central European Functional Programming SchoolHorváth Z., Plasmeijer R., Zsók V. CEFP 2009, Komárno, Slovakia, May 24-30, 2009, Revised Selected Lectures, Lecture Notes in Computer Science (ISSN: 0302-9743), 1611-3349
D-Clean Semantics for Distributed Computation Viktória ZsókAbstracts of the 8th Joint Conference on Mathematics and Computer Science, MaCS 2010, Komárno, Slovakia, July 14-17, 2010, Selye János University, pp. 62.
Pipelining for Data Parallelization in TheoremaSinka Zs., Jebelean T., Zsók V.MaCs 2010, Komárno, Slovakia, July 14-17, 2010, Selye János University, pp. 50.
Functional Semantics of D-Clean Viktória ZsókICAI 2010, Eger, Hungary, January 27-30, 2010.
Efficient Code Generation from the High-level Domain-specific Language Feldspar for DSPs 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 PerssonProceedings 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
Impact analysis of Erlang programs using behaviour dependency graphsTóth, M., Bozó, I., Horváth, Z., Lövei, L., Tejfel, M., and Kozsik, T.In Central European Functional Programming Summer School, Lecture Notes in Computer Science, 2010
Feldspar – A Functional Embedded Language for Digital Signal Processing Gergely Dévai, Zoltán Gera, Zoltán Horváth, Gábor Páli, Máté Tejfel Proceedings of the 8th International Conference on Applied Informatics Eger, Hungary, January 27–30, 2010.
Functional Programming with C++ Template MetaprogramsZoltán PorkolábCEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures, LNCS Vol 6299, ISBN 978-3-642-17684-5
Domain-specific Language Integration with Compile-time Parser Generator LibraryZoltan Porkolab, Abel SinkovicsProceedings of the 9th International Conference on Generative Programming and Component Engineering, Eindhoven, Netherlands, October 10-13, 2010, ISBN: 978-1-4503-0154-1, pp.137-146.
Semantic User InterfacesKároly Tilly, Zoltán PorkolábInternational Journal of Enterprise Information Systems, ISSN: 1548-1115, 2010, pp:29-43.
nth order flow analysis for ErlangTóth, M., Bozó, I., Horváth, Z., and Tejfel, M.In 8th Joint Conference on Mathematics and Computer Science
Alternatívák a párhuzamos programozás tanításábanBiró Cs., Geda G., Török M.Proceedings of Matematika és Informatika Didaktikai Konferencia, Szatmárnémeti, Romania January 28-30
Véletlenszerû programok nyelvtan alapú generálása QuickCheck használatávalHorpácsi, D. and Leskó, D. Scientific Students' Associations Conference, ELTE, Budapest, Hungary
Implementing structural complexity metrics in ErlangKirály, R. and Kitlei, R.8th International Conference on Applied Informatics, ICAI 2010
Erlang Semantic Query LanguageLövei, L., Hajós, L., and Tóth, M.8th International Conference on Applied Informatics, ICAI 2010
Slicing Erlang programsBozó, I., Tóth, M., and Horváth, Z.8th International Conference on Applied Informatics, ICAI 2010
Applying the Query Language to support program comprehensionTóth, M., Bozó, I., and Horváth, Z.In International Scientific Conference on Computer Science and Engineering, CSE 2010
Building dependency graph for slicing Erlang programsTóth, M. and Bozó, I.In 7th Conference of PhD Students in Computer Science, CSCS 2010
A Domain Specific Language for Digital Signal Processing algorithmsEmil Axelsson, Koen Claessen, Gergely Devai, Zoltan Horvath, Karin Keijzer,Chalmers University of Technology, Eotvos Lorand University
Non-monadic Models of Mutable ReferencesPéter Diviánszky In the programme of the Central European Functional Programming School, Komarno, Slovakia, 25–30 May, Appeared in LNCS 6299, Revised Selected Lectures of CEFP’09, 2010, pp. 147–187
ODF Mobile Edition – Towards the development of a mobile office softwareBarna 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ábor8th International Conference on Applied Informatics
A client-server model for editing ODF documents on mobile devicesBarna 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áborProceedings of CSE 2010 International Scientific Conference on Computer Science and Engineering, pp. 224-230., ISBN 978-80-8086-164-3
Analysis of ODF Document Schema TransformationsLengyel Zsolt, Sike SándorConference of PhD Students in Computer Science, CSCS 2010
Introducing ODF to Mobile PlatformsBarna 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áborOpenOffice.org Conference 2010
Introducing ODF to Mobile PlatformsHorváth, Z.Informatik-Kolloquium der Friedrich-Schiller-Universität Jena, Germany, Oct 20, 2010.
RefactorErl: a source code analyser and transformer toolTóth, M. and Horváth, Z.In Erlang User Conference 2010, Stockholm, Sweden
RefactorErl: a source code analyser and transformer toolTóth, M.In Tutorial Workshop 2010, Stockholm, Sweden
Dependency Graphs for Parallelizing Erlang ProgramsTóth, M., Bozó, I., Horváth, Z., Erdődi, A.In 22nd Symposium on Implementation and Application of Functional Languages, Alphen aan den Rijn, The Netherlands
1st order flow analysis for ErlangTóth, M., Bozó, I., Horváth, Z. and Tejfel, M.In proceedings of 8th Joint Conference on Mathematics and Computer Science, Komárno, Slovakia
DeepTest the Static Debugger of Java ProgramsZalán Szűgyi, István Forgács, Zoltán PorkolábExtended Abstract in proc. of. 7th Conference of PhD Students in Computer Science, CSCS 2010 p. 68.
RefactorErl - Távközlési szoftverek elemzése és átalakításaBozó István, Horváth Zoltán, Király Roland, Kitlei Róbert, Kozsik Tamás, Lövei László, Tóth Melinda, Tejfel MátéPoster at ELTE-IK Open Day (Nyilt Nap), January, 2010 & November, 2010
Measuring Software Complexity by TypesGábor Páli, Tamás KozsikProceedings of the 8th International Conference on Applied Informatics (ICAI), Eger, Hungary, January 27--30, 2010, Vol. 2., pp. 157--164.
Untangling type inference and scope analysisAttila Góbi, Tamás Kozsik, Mónika Mészáros, Artyom Antyipin, Dorián Batha, Tamás KissThe 8th International Conference on Applied Informatics (ICAI) 2010
Type inference in GbAttila Góbi, Tamás Kozsik8th Joint Conference on Mathematics and Computer Science (8th MaCS) 196–209, 2010
Detaching and reconstructing the documentary structure of source codeMónika Mészáros, Péter Diviánszky, Attila Góbi, Andrea Kovács, Dániel Leskó, Gábor PáliThe 8th International Conference on Applied Informatics (ICAI), 2010

 2009

A Semantic Model for Proving Properties of Clean Object I/O ProgramsTejfel M., Kozsik T., Horváth Z.Annales Uni. Sci. Budapest de R. Eötvös Nom. Sectio Computatorica, (ISSN 0138-9491), Tomus XXXI. Budapest, Hungary, 2009, pp. 107–147.
A Domain Specific Language for DSPKarina Bunyik, Gergely Dévai, Zoltán Gera, Zsolt Gyulavári, Zoltán Horváth, Mary Sheeran, Emil Axelsson, András Vajda, Peter BrauerPoster, ELTE Innovation Day, 2009.
Infrastructure for Analysis of F# ProgramsPé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óPoster, ELTE Innovation Day, 2009.
The HypereiDoc projectPé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 MayerPoster. ELTE Innovation Day, 2009
The D-Clean and D-Box Distributed Programming EnvironmentZoltán Hernyák, Zoltán Horváth, Viktória ZsókPoster, ELTE Innovation Day, 2009.
Refactoring in Erlang, a Dynamic Functional LanguageLászló Lövei, Zoltán Horváth, Tamás Kozsik, Melinda Tóth, István BozóPoster, ELTE Innovation Day, 2009
Meta programming on the proof levelGergely DévaiActa Universitatis Sapientiae, Informatica, 1(1):15-34
A tool for formally specifying the C++ Standard Template LibraryGergely Dévai, Norbert PatakiAnnales Universitatis Scientiarum Budapestinensis de Rolando  Eötvös Nominatae, Sectio Computatorica, 31:147-166
CEEPUS Network for Computer Science EducationHorváth Z., Zsók V.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.
Mobility Supported Software Engineering Education in Cooperation with Industrial PartnersHorváth Z., Kozsik T., Lövei L.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.
Commanding a robot in a safe wayIstenes, Zoltán and Kozsik, TamásAnnales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computatorica, 30:175-190
Analysis of profiling techniques for C++ template metaprogramsZoltán Porkoláb, József Mihalicza, Norbert Pataki, Ádám SiposAnnales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computatorica, 30:97-116 (2009)
Towards detailed trace generation using the profiler in the .NET FrameworkPócza K., Biczó M. and Porkoláb Z.Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computatorica, 30:21-40 (2009)
Runtime access control in C# 3.0 using extension methodsBiczó M., Pócza K. and Porkoláb Z.Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computatorica, 30:41-60 (2009)
Generating Functional Implementations of Finite State Automata in C# 3.0Biczó, M., Pócza, K.Electronic Notes in Theoretical Computer Science (ENTCS), Volume 238,  Issue 2  (June 2009), pp 3-12
Measuring Complexity of Embedded SQL CodeNorbert Pataki, Zoltán Porkoláb, Melinda Simon, Zoltán VincellérLocal Proceedings of Advances in Databases and Information Systems (ADBIS 2009), pp. 117-130
Towards More Sophisticated  Access ControlJózsef Mihalicza, Norbert Pataki, Zoltán Porkoláb, Ádám SiposProceedings of 11th Symposium on Programming Languages and Software Tools and 7th Nordic Workshop on Model Driven Software Engineering, pp. 117-131
Proceedings of the First Workshop on Generative Technologies (WGT) 2008Zoltán Porkoláb, Norbert PatakiENTCS Vol. 238, Issue 2, pp. 1-82
Layout Preserving Parser for Refactoring in ErlangKitlei, R., Lövei, L., Nagy, T., Horváth, Z., Kozsik, T.Acta Electrotechnica et Informatica, vol. 9., no. 3., pp. 54-63
C++ Method UtilitiesZalán Szűgyi, Norbert Pataki, József Mihalicza, Zoltán PorkolábProceedings of the Tenth International Conference on Informatics (Informatics 2009), pp. 112-117
Adaptive, safe mobile robot programming in the intelligent spaceLaszlo A. Jeni, Zoltan Istenes, Mate Tejfel, Peter Korondi, Hideki Hashimoto Proceedings of the 2nd conference on Human System Interactions, Catania, Italy, IEEE, Pages: 418-423, ISBN:978-1-4244-3959-1
Modeling Semantic Knowledge in Erlang for RefactoringZoltán Horváth, László Lövei, Tamás Kozsik, Róbert Kitlei, Anikó Víg, Tamás Nagy, Melinda Tóth, and Roland KirályStudia Universitatis Informatica, 54:7-16
Szoftverrendszerek fejlesztésének oktatása projektfeladat keretén belülZoltán Horváth, Tamás Kozsik, and László LöveiINFODIDACT 2009 Informatika Szakmódszertani Konferencia, Szombathely, Hungary, 2009. 8 pages, appeared on CD.
Távközlési szoftverek elemzése és átalakításaBozó, I., Horváth, Z.,  Király, R., Kitlei, R., Kozsik, T., Lövei, L., Tóth, M., Tejfel, M.Poster, Eötvös Loránd University Open Day, Budapest
Refactoring and Analysis with RefactorErlLövei, L., Tóth, M., Horváth, Z. In Property-based Testing Tutorial Workshop 2009, Stockholm, Sweden
Restructuring Erlang programs using function related refactoringsTóth, M., Bozó, I.In proceedings of the 11th Symposium on Programming Languages and Software Tools, p. 162-176, Tampere, Finland
Function related refactorings in a functional programming languageBozó, I., Tóth, M. National Scientific Students' Associations Conference, Debrecen, Hungary (received first prize)
RefactorErl - Távközlési szoftverek elemzése és átalakításaBozó István, Horváth Zoltán, Király Roland, Kitlei Róbert, Kozsik Tamás, Lövei László, Tóth Melinda, Tejfel MátéPoster at ELTE-IK Open Day (Nyilt Nap),  November, 2009
Detaching and Reconstructing the Documentary Structure of Source CodePéter Diviánszky, Attila Góbi, Dániel Leskó, Mónika Mészáros, Gábor Páli(Draft) Proceedings of the 10th Symposium on Trends in Functional Programming (TFP), Komarno, Slovakia, June 2--4, 2009, pp. 43--58.

 2008

Programming Language Elements for Correctness ProofsGergely DévaiActa Cybernetica, 18(3):403-425
Speculative scheduling of parameter sweep applications using job behavior descriptionsUlbert A., Lőrincz L. Cs., Kozsik T., Horváth Z.International Journal of Grid and High Performance Computing (ISSN: 1938-0259), 2008, Vol. 1. no. 1. pp 22-38.
Central European Functional Programming School, Second Summer School, CEFP 2007. Revised Selected LecturesHorváth Z., Plasmeijer, R., Soós, A., Zsók V. Lecture Notes in Computer Science, (ISSN 0302-9743), vol. 5161. Springer 2008.
Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, Freiburg, Germany, September, 2007, Revised Selected Papers.Chitil, O.-Horváth Z.-Zsók V.Lecture Notes in Computer Science (ISSN 0302-9743) vol. 5083.
Use cases for refactoring in ErlangKozsik T., Csörnyei Z., Horváth Z., Király R., Kitlei R., Lövei L., Nagy T., Tóth M., Víg A.Lecture Notes in Computer Science (ISSN 0302-9743), vol. 5161,pp. 264-298.
HypereiDoc – an XML based framework for supporting cooperative text editionsBauer P., Hernáth Zs., Horváth Z. Mayer, Gy. Parragi, Zs., Porkoláb, Z., Sztupák ZsAdvances in Databases and Information Systems (ADBIS 2008), Lecture Notes in Computer Science (ISSN 0302-9743), vol. 5207, pp. 14-29., Springer 2008
Layout preserving, automatically generated parser for Erlang refactoring.Kitlei R., Lövei L., Nagy T., Horváth ZIn Proc. of International Scientific Conference on Computer Science and Engineering, 2008.,pp. 83-90.
Building a refactoring tool for Erlang.Horváth Z., Lövei L., Kozsik T., Kitlei R., Víg A., Nagy T., Tóth M., Király R.ECOOP Workshop on Advanced Software Development Tools and Techniques, 2008. (http://smallwiki.unibe.ch/wasdett2008/), 11 pages.
Object Based Multiparadigm Concepts for Verification of Functional Components.Tejfel M., Kozsik T., Horváth Z.In Proc. of MPOOL 2008, ECOOP Workshop, 2008., 9 pages.
Call Graph and Data Flow Analysis of a Dynamic Functional LanguageNagy, T., Horváth, Z., Lövei, L., Tóth, M., Nagyné Víg, A.Conference of PhD Students in Computer Science, CSCS 2008, Volume of extended abstracts, 2008, pp. 42-43.
Preprocessor and whitespace-aware toolset for Erlang source code manipulation.Kitlei R., Lövei L., Nagy, T., Horváth Z., Kozsik T.Extended abstract. In: Proceedings of the 19th International Symposium on Implementation and Application of Functional Programming Languages, 2008., 3 pages.
Module Structure Refactoring.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.Report,  160 pages, May 31, 2008.
Erlang'08, Proceedings of the SIGPLAN Erlang WorkshopHorváth Z.EWS'08, Victoria, British Columbia, Canada, September 27, 2008, ACM, ISBN: 978-1-60558-065-4
Automated syntax manipulation in RefactorErlKitlei R., Lövei L., Tóth M., Horváth Z., Kozsik T., Király R., Bozó I., Hoch Cs., Horpácsi D.In proc. of Erlang User Conference 2007, Nov. 13, Stockholm, 2008., 6 pages
Experiences and Challenges in International Higher EducationZsók V., Horváth Z.In CD Proc. of ICERI 2008, Spain, ISBN 978-84-612-5091-2, 8 pages.
Refactoring Module StructureLövei, L., Hoch, C., Köllő, H., Nagy, T., Nagyné-Víg, A., Kitlei, R., Király, R.In Proc. of. 7th ACM SIGPLAN Erlang Workshop, ACM SIGPLAN, pp. 83-89.
Funkcionális programozási nyelvek helyességvizsgálataTejfel, M.PhD thesis
Static rules of variable scoping in ErlangLászló Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király, and Róbert KitleiProceedings of the 7th International Conference on Applied Informatics, volume 2, pages 137-145. 2008
An Operational Semantics of Temporal Properties in Functional ProgramsMáté Tejfel and Tamás KozsikDraft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP), pages 396-406, 2008
Languages of Logic and their ApplicationsK. Pásztor Varga, M. VárterészComputers and Mathematics with Applications, pp 1660-1669
Java 2 útikalauz programozóknak 5.0Judit Nyékyné Gaizler and Attila Lakatos (eds)ELTE TTK Hallgatói Alapítvány, Budapest, Hungary
On the Correctness of Aspect-Oriented ProgramsNorbert Pataki, Zalán Szűgyi, Tamás KozsikProc. of CSE 2008 International Scientific Conference on Computer Science and Engineering, pp. 126-132
The AV-graph in SQL-Based EnvironmentNorbert Pataki, Melinda Simon, Zoltán PorkolábProc. of 12th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering QAOOSE Workshop, ECOOP 2008, pp. 11-20
A Comparative Study of C++ Standard Template Library's Formal SpecificationNorbert Pataki, Gergely DévaiConference of PhD Students in Computer Science, CSCS 2008, Volume of extended abstracts, 2008, pp. 48
Proceedings of Workshop on Generative Technologies (WGT 2008)Zoltán Porkoláb, Norbert PatakiWGT 2008 - ETAPS (European Joint Conferences on Theory and Practice of Software
Towards the Modularization of C++ Concept Maps Zalán Szűgyi, Ádám Sipos, Zoltán Porkoláb In proc. of. Workshop on Generative Technologies, 2008
Necessary Test Cases for Decision Coverage and Modified Condition / Decision CoverageZalán Szűgyi, Zoltán PorkolábConference of PhD Students in Computer Science, CSCS 2008, Volume of extended abstracts, 2008, pp. 59
Quantitative Comparison of MC/DC and DC Test MethodsZalán Szűgyi, Zoltán PorkolábProc. of 12th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering QAOOSE Workshop, ECOOP 2008, pp. 1-10
Meta<Fun> - Towards a Functional-Style Interface for C++ Template MetaprogramsÁdám Sipos, Viktória Zsók, Zoltán PorkolábIn Frentiu et al ed.: Studia Universitatis Babes-Bolyai Informatica LIII, 2008/2, Cluj-Napoca, 2008, pp. 55-66.
Securing Distributed .NET Applications Using Advanced Runtime Access ControlKrisztián Pócza, Mihály Biczó, Zoltán PorkolábIn Frentiu et al ed.: Studia Universitatis Babes-Bolyai Informatica LIII, 2008/2, Cluj-Napoca, 2008., pp. 39-54.
Recursive and Dynamic Structures in Generic ProgrammingÁbel Sinkovics, Zoltán PorkolábIn Frentiu et al ed.: Studia Universitatis Babes-Bolyai Informatica LIII, 2008/2, Cluj-Napoca, 2008., pp. 93-104.
Generating Functional Implementations of Finite State Automata in C# 3.0Biczó, M., Pócza, K.Proceedings of the Workshop on Generative Technologies 2008 (WGT 2008), pages 67-75, Budapest (Hungary)
docx2tex: Word 2007 to TEXPócza,K., Biczó,M., Porkoláb,Z.TUGboat, Volume 29, Number 3, 2008 TUG 2008 Conference Proceedings, pages 392-400, Cork (Ireland), 2008
A New Concept of Effective Regression Test Generation in a C++ Specific EnvironmentBiczó,M., Pócza,K., Forgács, I., Porkoláb, Z.Acta Cybernetica 18 (2008), pp 481-501
FC#: Designing an Internal Functional DSL to C# 3.0Pócza,K., Biczó,M., Porkoláb,Z.Proceedings of the Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Technical Report no. 474 (2008), pages 299-314, Hatfield, Hertfordshire (UK), 2008
Automated syntax manipulation in RefactorErlKitlei, R., Lövei, L.,  Tóth, M.,  Horváth, Z.,  Kozsik, T., Király, R., Bozó, I., Hoch, Cs., Horpácsi, D.In Proceedings of the 13th International Erlang/OTP User Conference, Stockholm, Sweden
Refactoring with Wrangler, updated: Data and process refactorings, and integration with EclipseLi, H., Thompson, S.,  Orosz, G., and Tóth, M.In proceedings of the Seventh ACM SIGPLAN Erlang Workshop, pages 61-71, ACM Press, Victoria, British Columbia, Canada
Necessary test cases for Decision Coverage and Modified Condition / Decision CoverageZalán Szűgyi, Zoltán PorkolábPeriodica. Polytechnica. Electrical Engineering, 52/3-4

 2007

Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Zoltán Horváth, Viktória Zsók, Andrew ButterfieldLecture Notes in Computer Science (ISSN 0302-9743)
Refactoring Erlang Programs.László Lövei, Zoltán Horváth, Tamás Kozsik, Anikó Víg, Tamás NagyPeriodica Polytechnica
Towards an Agent Integrated Speculative Scheduling Service.László Csaba Lőrincz, Attila Ulbert, Zoltán Horváth, Tamás KozsikProceedings of Distributed and Parallel Systems, Cluster and Grid Computing, 2006,The Kluwer International Series in Engineering and Computer Science, pages 211-222
International Cooperation in Computer Science. Zoltán Horváth, Viktória ZsókInternational Technology, Education and Development Conference (INTED 2007), March 7th-9th, 2007, Valencia, Spain,
Coopertive work and learning. János Kurtz, Zoltán PorkolábInternational Technology, Education and Development Conference (INTED 2007), March 7th-9th, 2007, Valencia, Spain,
Normal Forms in Many-Valued Logics. Katalin Pásztorné Varga, Magda VárterészProceedings of the 7th International Conference on Applied Informatics (ICAI), Eger, Hungary, 2007, jan. 28-31., Eger, Hungary,
Semantic Issues of D-Clean. Viktória ZsókProceedings of the 7th International Conference on Applied Informatics (ICAI), Eger, Hungary, 2007, jan. 28-31., Eger, Hungary,
The Is_Namespace predicate. József MihaliczaProceedings of the 7th International Conference on Applied Informatics (ICAI), Eger, Hungary, 2007, jan. 28-31., Eger, Hungary,
Application of OO metrics to estimate .NET project software size. Zoltán Porkoláb, Norbert Pataki, Ádám Sipos, Viktória Zsók, Marjan Hericko, Ales ZivkovicProceedings of the 7th International Conference on Applied Informatics (ICAI), Eger, Hungary, 2007, jan. 28-31., Eger, Hungary,
Supporting Generic Programming in CORBA IDL. Ilir Kurti, Zoltán PorkolábProceedings of the 7th International Conference on Applied Informatics (ICAI), Eger, Hungary, 2007, jan. 28-31., Eger, Hungary,
Runtime Access Control in C#. Krisztián Pócza, Mihály Biczó, Zoltán PorkolábProceedings of the 7th International Conference on Applied Informatics (ICAI), Eger, Hungary, 2007, jan. 28-31., Eger, Hungary,
Implementation of a Final State Machine with Active Librarys. Zoltán Juhász, Ádám SiposProceedings of the 7th International Conference on Applied Informatics (ICAI), Eger, Hungary, 2007, jan. 28-31., Eger, Hungary,
SIP Compression in Mobile Device Environment. Zalán Szűgyi, Zoltán PorkolábProceedings of the 7th International Conference on Applied Informatics (ICAI), Eger, Hungary, 2007, jan. 28-31., Eger, Hungary,
Why Code Complexity Metrics Fail on the C++ Standard Template Library.Norbert Pataki, Zoltán Porkoláb, Edit CsizmásProceedings of the 7th International Conference on Applied Informatics (ICAI), Eger, Hungary, 2007, jan. 28-31., Eger, Hungary,
A Cache-Based Inter-Procedural Static Slicing Algorithm.Mihály Biczó, Krisztián Pócza, Zoltán PorkolábProceedings of the 7th International Conference on Applied Informatics (ICAI), Eger, Hungary, 2007, jan. 28-31., Eger, Hungary,
Properties of  C++ Template Metaprograms. Norbert Pataki, Tamás Kozsik, Zoltán PorkolábProceedings of the 7th International Conference on Applied Informatics (ICAI), Eger, Hungary, 2007, jan. 28-31., Eger, Hungary,
On the Correctness of Template Metaprograms.Ádám Sipos, István Zólyomi, Zoltán PorkolábProceedings of the 7th International Conference on Applied Informatics (ICAI), Eger, Hungary, 2007, jan. 28-31., Eger, Hungary,
How a Program Commitee Works?Zoltán HorváthUniversity of Novi Sad, Serbia, April
Concept of Type in Clean. Zoltán HorváthUniversity of Novi Sad, Serbia, April
International Cooperation in Computer Science, the HU-19 CEEPUS NetworkZoltán HorváthUniversity of Novi Sad, Serbia, April
Verification of Functional Program ComponentsZoltán Horváth, Tamás Kozsik, Máté TejfelHeriot-Watt University, Edinburgh, UK, January
A method for job scheduling in Grid based on job execution status.Zoltán Horváth, László Csaba Lőrinz, Attila Ulbert, Tamás KozsikUniversity of Cranfield, UK, January
Logical background of Prolog. Katalin Pásztorné VargaTechnical University of Kosice, Slovakia, April 18
Template metaprogramming: When, Why, and How?, Invited talk. Zoltán Porkoláb6th International Conference on Applied Informatics (ICAI), Eger, Hungary, January 28-31.
D-CleanViktória ZsókUniversity of Novi Sad, Serbia, April
Az automatikus tételbizonyításról és a Prolog logikai hátteréről. Katalin Pásztorné VargaBabes-Bolyai University, Cluj, Romania
Verification of Functional Program Components. (Bizonyítottan Helyes Funkcionális Programkomponensek.)  Zoltán Horváth, Tamás Kozsik, Máté TejfelSzoftvertechnológia Fórum, February 7
Programozási nyelvek - Programozási paradigmák. Zoltán PorkolábINFO Savaria konferencia, Szombathely, Hungary
Introducing Records by Refactoring in Erlang ProgramsLászló Lövei, Zoltán Hováth, Tamás Kozsik, Roland KirálySymposium 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.
Semantic Model for Proving Properties of Clean Object I/O ProgramsMáté Tejfel, Tamás Kozsik, Zoltán HorváthSymposium 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.
Improving the Distributed Elementwise Processing Implementation in D-CleanViktória Zsók, Zoltán Hernyák, Zoltán HorváthIn 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, 256-264.
Introducing records by refactoringLövei, L., Horváth, Z., Kozsik, T., Király, R.In Proceedings of the 2007 SIGPLAN Workshop on Erlang Workshop (Freiburg, Germany, October 05 - 05, 2007). Erlang '07. ACM, New York, NY, 18-28. DOI= http://doi.acm.org/10.1145/1292520.1292524
Generic syntactic analyser: ParsErl.Róbert Kitlei, László Lövei, Tamás Nagy, Anikó Nagyné Vig, Zoltán Horváth, Zoltán CsörnyeiIn: Proceedings of the 13th International Erlang/OTP User Conference, Stockholm, November 8, 2007, 9 pages.
XML standard proposal and editing tool specification for oldgreek texts.Horváth, Z., Porkoláb Z., Hernáth, Zs., Bauer P., Köllő H., Sztupák Sz., Parragi Sz., Lócsi L., Mayer Gy.IKKK report, 65 pages. Nov. 2007.
Introducing Records by Refactoring.Horváth Z.-Lövei L.-Kozsik T.-Király R.-Nagy T.Informatik-Kolloquium der Friedrich-Schiller-Universität Jena, Regionalgruppe Ostthüringen der Gesellschaft für Informatik (GI) und  Fachhochschule Jena, 29. Oktober 2007.
Proceedings of the 10th Symposium on Programming Languages and Software Tools, Symposium on Programming Languages and Software Tools 2007.Horváth, Z., Kozma, L., Zsók, V.SPLST 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).
Safe mobile code controlling a robotZoltán Istenes and Tamás KozsikProc. First International Workshop on Property Verification for Software Components and Services, ProVeCS, ETH Technical Report 576, 2007
Commanding a robot in a safe wayZoltán Istenes and Tamás KozsikProceedings of the 10th Symposium on Programming Languages and Software Tools, pages 167-177, 2007
An Interpretation of Temporal Properties in Functional Programs - Extended AbstractMáté Tejfel, Tamás Kozsik, and Zoltán HorváthImplementation and Application of Functional Languages, 19th International Symposium, IFL 2007, pages 224-228.
Towards Profiling C++ Template MetaprogramsZoltán Porkoláb, József Mihalicza, Norbert Pataki, Ádám SiposIn 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, 96-111.
Meta<Fun> ­ Towards a Functional-Style Interface for C++ Template Metaprograms,Ádám Sipos, Zoltán Porkoláb, Norbert Pataki, Viktória ZsókProceedings of 19th International Symposium of Implementation and Application of Functional Languages (IFL 2007), pp. 489-502
Towards verified usage of the C++ Standard Template LibraryGergely Dévai, Norbert PatakiProc. 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. 360-371.
Lazy Data Types in C++ Template MetaprogramsÁdám Sipos, Norbert Pataki, Zoltán PorkolábProc. of. 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL 2007)
Separation logic style reasoning in a renement based languageGergely Dévai, Zoltán CsörnyeiIn Proceedings of the 7th International Conference on Applied Informatics
An Improvement on the Access Control Features of C#Krisztián Pócza, Norbert PatakiProceedings of Sixteenth Electrotechnical and Computer Science Conference (ERK 2007), Vol. B. pp. 38-41
Towards a Software Metric for Generic Programming ParadigmNorbert Pataki, Krisztián Pócza, Zoltán PorkolábProceedings of Sixteenth Electrotechnical and Computer Science Conference (ERK 2007), Vol. A. pp. 342-345
Inconsistencies of Metrics in C++ Standard Template LibraryZoltán Porkoláb, Ádám Sipos, Norbert PatakiProc. of 11th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering QAOOSE Workshop, ECOOP 2007, pp. 2-6

 2006

FordítóprogramokZoltán Csörnyei
Central European Functional Programming School. First Summer School, CEFP 2005, Budapest, Hungary, July 2005. Revised Selected Lectures. Zoltán HorváthLecture Notes in Computer Science (ISSN 0302-9743), 4164, pages 256
TípuselméletZoltán Csörnyei
Zoltán Horváth, Viktória ZsókProceedings of the 18th International Symposium on Implementation and Application of Functional Programming Languages, Budapest,
Book of abstract, MaCS'06, 6th Joint Conference on Mathematics and Computer ScienceZoltán CsörnyeiBook of abstract, MaCS'06, 6th Joint Conference on Mathematics and Computer Science, Budapest,
Construction of Wavelets and ApplicationsIldikó László, Ferenc Schipp, S. P. KozaitisJUCS, Vol. 19., Nr 9, pages 1278-1291.
Towards Effective Runtime Trace Generation Techniques in the .NET Framework Krisztián Pócza, Mihály Biczó, Zoltán PorkolábShort communication papers proceedings of .NET Technologies 2006, Plzen,
Temporal properties of Clean programs proven in Sparkle-TMáté Tejfel, Zoltán Horváth, Tamás KozsikCentral European Functional Programming School, Revised Selected Lectures,Lecture Notes in Computer Science, Vol. 4164, pages 172-195.
Designing Distributed Computational Skeletons in D-Clean and D-BoxViktória Zsók, Zoltán Hernyák, Zoltán HorváthCentral European Functional Programming School, Revised Selected Lectures,Lecture Notes in Computer Science, Vol. 4164, pages 229-265.
A Feature Composition Problem and a Solution Based on C++ Template MetaprogrammingZoltán Porkoláb, István ZólyomiGenerative and Transformational Techniques in Software Engineering,Lecture Notes in Computer Science, Vol. 4143, pages 459-470.
Tutorial on Subtype MarksTamás KozsikCentral European Functional Programming School (The First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4?15, 2005), Revised Selected Lectures. ,Lecture Notes in Computer Science, Vol. 4161
Proving Program Properties Specified with Subtype MarksTamás KozsikProceedings of 18th International Symposium on Implementation and Application of Functional Languages, IFL 2006,Lecture Notes in Computer Science, Vol. 4449
Refactoring Erlang Programs. Abstract. Zoltán Horváth, László Lövei, Tamás Kozsik, Anikó Víg, Tamás NagyConference of PhD Students in Computer Science, CSCS 2006, Volume of extended abstracts,, pages 58
SysObjC: C extension for development of object-oriented operating systems, PLOS'06Zoltán Csörnyei, Ádám BaloghProceedings of the 3rd workshop on Programming languages and operating systems, 2006, San Jose, California, USA,, pages 1-7.
Functional Programming Concepts in Computer Science Education. Zoltán Horváth, Zoltán Csörnyei, László Lövei, Viktória ZsókProceedings of the Seventh International Scientific Conference on Electronic Computers and Informatics, ECI 2006. September 20-22th 2006, Kosice-Herlány, Slovakia,, pages 174-179.
Towards Soundness Examination of the C++ Standard Template LibraryNorbert Pataki, Zoltán Porkoláb, Zoltán IstenesProceedings of the Seventh International Scientific Conference on Electronic Computers and Informatics, ECI 2006. September 20-22th 2006, Kosice-Herlány, Slovakia,, pages 186-191.
Debugging C++ Template Metaprograms, Generative Programming and Component Engineering The ACM Digital LibraryZoltán Porkoláb, József Mihalicza, Ádám SiposACM Digital Library ,, pages 255-264.
"LORD: Lay-Out Relationship and Domain Definition Language"". "András Benczúr, Zsolt Hernáth, Zoltán Porkoláb10th Advances in Databases and Information Systems, Thessaloniki,, pages 215-230.
Improving Size Estimates with .NET Product Metrics IEEE Ales Zivkovic, Marjan Hericko, Uros Goljat, Zoltán Porkoláb15th International Electrotechnical and Computer Science Conference,
Unique Identifiers in Pure Functional Languages. Péter DiviánszkyProceedings of the Seventh Symposium on Trends in Functional Programming, TFP’06. Nottingham, UK, 19-21 April 2006, Nottingham, UK,
Distributed Elementwise Processing in D-Clean. Viktória Zsók, Zoltán Horváth, Zoltán HernyákProceedings of the Seventh Symposium on Trends in Functional Programming, TFP’06. Nottingham, UK, 19-21 April 2006,, pages 378-386.
Distributed Computation on Cluster using D-Clean and D-Box. Extended abstract. Viktória Zsók, Zoltán Hernyák, Zoltán Horváth5th Workshop on Parallel/High Performance Object-Oriented Scientific Computing. 3rd July 2006 at ECOOP 2006,
Refactoring Erlang Programs.Huiquing Li, Simon J. Thompson, László Lövei, Zoltán Horváth, Tamás Kozsik, Anikó Víg, Tamás NagyProceedings of the 12th International Erlang/OTP User Conference, Stockholm, November 9-10, 2006, Stockholm, Sweden,
Measuring the Complexity of Aspect-Oriented Programs with Multiparadigm MetricNorbert Pataki, Ádám Sipos, Zoltán Porkoláb10th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering QAOOSE Workshop, ECOOP 2006, Nantes, Nantes, France,
Teaching Multiparadigm Programming Based on Object-Oriented ProgrammingZoltán Porkoláb, Viktória Zsók10th Workshop on Pedagogies and Tools for the Teaching and Learning of Object-Oriented Concepts, TLOOC Workshop, ECOOP 2006, Nantes, Nantes, France,
New Method for Designing Polymorphic System Programming LanguagesZoltán Csörnyei, Ádám BaloghCSCS2006, The 5th Conference of PhD Students in Computer Science,
Multiple Inheritance of System Predicate ClassZoltán Csörnyei, Ádám BaloghBook of abstracts, MaCS'06, 6th Joint Conference on Mathematics and Computer Science, Pécs, Hungary,
?-Calculus and Rewriting SystemsZoltán CsörnyeiBook of abstracts, MaCS'06, 6th Joint Conference on Mathematics and Computer Science, Pécs, Hungary,
Structural Complexity Metrics on SDL ProgramsNorbert Pataki, Ádám Sipos, Zoltán PorkolábConference of PhD Students in Computer Science, Volume of extended abstracts,
Refactoring Erlang Programs. László Lövei, Zoltán Horváth, Tamás Kozsik, Anikó Víg, Tamás NagyConference poster at High Speed Networking Workshop, HSN 2006,
Proving Composing Specifications in Sparkle. Abstract. Máté Tejfel, Tamás Kozsik, Zoltán Horváth6th Joint Conference on Mathematics and Computer Science, Book of Abstracts. , Pécs, Hungary,, pages 90
Proving Program Properties Specified with Subtype MarksTamás Kozsik6th Joint Conference on Mathematics and Computer Science, Book of Abstracts. , Pécs, Hungary,, pages 55
Proving the Correctness of Mobile Code in BZoltán Istenes, Tamás Kozsik, Csaba Hoch, László Attila Tóth6th Joint Conference on Mathematics and Computer Science, Book of Abstracts. , Pécs, Hungary,, pages 45
Simplified Model of Clean Object I/O for Machine Verified Proofs. Máté Tejfel, Zoltán Horváth, Tamás KozsikProceedings of the 18th International Symposium on Implementation and Application of Functional Programming Languages. ,, pages 206-213.
Comparing Specification with Proved Properties of Clean Dynamics. Abstract.  László Lövei, Máté Tejfel, Mónika Mészáros, Zoltán Horváth, Tamás KozsikConference of PhD Students in Computer Science, CSCS 2006, Volume of extended abstracts, 2006,, pages 71
Programming Language Elements for Proof Construction. Gergely Dévai6th Joint Conference on Mathematics and Computer Science (MaCS 06), Abstracts, Pécs, Hungary, July 12-15, 2006, Pécs, Hungary, page 31
Remarks to the effectiveness of some resolution strategies. Katalin Pásztorné Varga, Magda Várterész6th Joint Conference on Mathematics and Computer Science (MaCS 06), Abstracts, Pécs, Hungary, July 12-15, 2006, Pécs, Hungary,
Altípusjeles típusokTamás Kozsik
Elosztott funkcionális programok helyessége. Kutatási jelentés. OTKA témavezetői záróbeszámolóZoltán Horváth
Erlang Refactoring. Zoltán Horváth, László Lövei, Tamás Kozsik, Anikó Víg, Tamás Nagy, Roland KirályAnalysis of refactoring Erlang programs and the start phase of AXD 301. Feasibility Study. Part I., pages 9-407.
Kutatói jelentés Bolyai János kutatási ösztöndíjjal végzett tevékenységről.       2003/3. Záró kutatói jelentésZoltán Horváth
Jelenleg használatos szoftvermetrikák összehasonlító elemzése. Technical report. Zoltán Porkoláb, Norbert Pataki, Ádám Sipos
On Multiparadigm Software Complexity Metrics. Technical report. Ádám Sipos, Norbert Pataki, Zoltán Porkoláb
Agents in Service-Oriented Grid. Technical report. László Csaba Lőrincz
Structural Complexity Metrics on SDL Programs (extended abstract). Ádám Sipos
On Multiparadigm Software Complexity Metrics (extended abstract)Ádám Sipos
Paradigma-független metrik alkalmazásai (poszter). Technical report. Norbert Pataki, Ádám Sipos, Zoltán Porkoláb
Verification of Parallel and Distributed Functional Programs. Zoltán HorváthTechnical University of Kosice, Slovakia, March 14
The Verification of Parallel Programs.Zoltán HorváthTechnical University of Kosice, Slovakia, March 14
Functional programming.Zoltán HorváthPolytechnical Engineering College, Subotica, Serbia, April
Refactoring Erlang Programs. Zoltán Horváth, László Lövei, Tamás Kozsik, Anikó Víg, Tamás NagyFriedrich-Schiller-University Jena, Germany, October 23
C++ Template MetaprogrammingZoltán PorkolábTechnische Universiteit Eindhoven, The Netherland
C++ MetaprogrammingZoltán PorkolábTechnical University of Kosice, Slovakia
JoCaML.Viktória ZsókUniversity of Nantes, France
D-CleanViktória ZsókTechnical University of Kosice, Slovakia
A (matematikai) logika. A Boole függvények alkalmazásai. Katalin Pásztorné VargaPolytechnical Engineering College, Subotica, Serbia, May
Az automatikus tételbizonyításról és a Prolog logikai hátteréről. Katalin Pásztorné VargaBabes-Bolyai University, Cluj, Romania
Funkcionális programozás nyelvi elemeiZoltán HorváthTechnical University of Kosice, Slovakia, March
Funkcionális programozás nyelvi elemeiZoltán HorváthPolytechnical Engineering College, Subotica, Serbia, April
Proving the correctness of mobile Java codeZoltán Istenes, Tamás Kozsik, Csaba Hoch, and László Attila TóthPure Mathematics and Applications, 17(3-4):323-342, 2006
Programming language elements for correctness proofsGergely DévaiIn Proceedings of Conference of PhD Students in Computer Science
Programming language elements for proof constructionGergely DévaiPure Mathematics and Applications, 17(3-4):263-288

 2005

Fordítóprogramok elemzési algoritmusaiZoltán CsörnyeiInformatikai Algoritmusok 2. , pages 960-1010.
Párhuzamos és elosztott programozásZoltán HorváthBevezetés a programozásba III. rész
Petri-hálók alkalmazása elosztott programok vizsgálatáraZoltán Horváth, Máté TejfelInformatikai Algoritmusok 2. , pages 1168-1227.
A method for job scheduling in Grid based on job execution statusLászló Csaba Lőrincz, Tamás Kozsik, Attila Ulbert, Zoltán Horváth Multiagent and Grid Systems , Vol. 1, Nr 3, pages 197-208.
Cross-language Program Slicing in the .NET FrameworkKrisztián Pócza, Mihály Biczó, Zoltán PorkolábConference proceedings of .NET Technologies 2005, Plzen,
Data access optimization on grid systemsLászló Csaba Lőrincz, Tamás Kozsik, Attila Ulbert, Zoltán HorváthProceedings of the Fourteenth IEEE International Workshops on Enabling Technologies (WETICE'2005): Emerging Technologies  for Next-generation GRID (ISBN 0-7695-2362-5), Linköping,, pages 319-324
Coordination Language for Distributed CleanZoltán Horváth, Zoltán Hernyák, Viktória ZsókActa Cybernetica, 17, pages 247-271.
Extending the Sparkle Core Language with object abstractionMáté Tejfel, Zoltán Horváth, Tamás KozsikActa Cybernetica, 17, pages 419-445.
Distributed Pattern Design in D-CleanViktória Zsók, Zoltán Hernyák, Zoltán HorváthProceedings of the Ninth Symposium on Programming Languages and Software Tools,, pages 220-234.
Multilevel fusion for enhanced feature detectionTrond Ostrem, Samuel P. Kozaitis, Ildikó LászlóProc. SPIE 5817,
Autonomous Applications - Towards a Better Data Integration ModelAndrás Benczúr, Zsolt Hernáth, Zoltán Porkoláb9th Advances in Databases and Information Systems, Tallin,, pages 150-163.
Towards a multiparadigm complexity measureZoltán Porkoláb, Ádám Sillye9th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering QAOOSE Workshop, ECOOP 2005, Glasgow,, pages 134-142.
Theorem Proving Methods, Implementations: An Overview.Katalin Pásztorné Varga, Magda VárterészThe 9th Symposium on Programming Languages and Software Tools, SPLST 2005. August 13-14, Tartu, Estonia,
Implementing Distributed Skeletons using D-Clean and D-Box.Zoltán Hernyák, Zoltán Horváth, Viktória ZsókProceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 2005. Dublin, Ireland - 19-21 September 2005. , Dublin, Ireland,, pages 1-16.
Substructural Functional Programming. Péter DiviánszkyProceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 2005. Dublin, Ireland - 19-21 September 2005. , Dublin, Ireland,
New Methods for Mathematical Analysis – Wavelets.Ildikó László, Ferenc Schipp, S. P. KozaitisInformatics in High Education, Conference, Debrecen, Hungary (CD) 2005.,
Petri-hálók alkalmazása elosztott programok vizsgálatára. Zoltán Horváth, Máté Tejfel, Ildikó LászlóInformatika a Felsőoktatásban 2005.  , Debrecen, Hungary,Informatika a Felsőoktatásban 2005.  , pages 183.
Programozási nyelvek a dokumentumkezelésben.Hajnalka Hegedűs, Zoltán Horváth, Zoltán PorkolábInformatika a Felsőoktatásban 2005.  , Debrecen, Hungary,Informatika a Felsőoktatásban 2005.  , pages 188.
Funkcionális programozás témakörei a programtervező képzésben. Zoltán Horváth, Zoltán Csörnyei, László Lövei, Viktória ZsókInformatika a Felsőoktatásban 2005.  , Debrecen, Hungary,Informatika a Felsőoktatásban 2005.  , pages 189.
Petri-hálók alkalmazása elosztott rendszerek vizsgálatáraZoltán Horváth, Máté Tejfel, Ildikó LászlóInformatika a Felsőoktatásban 2005.  , Debrecen, Hungary,Informatika a Felsőoktatásban 2005. 
Programozási nyelvek a dokumentumkezelésbenHajnalka Hegedűs, Zoltán Horváth, Zoltán PorkolábInformatika a Felsőoktatásban 2005.  , Debrecen, Hungary,Informatika a Felsőoktatásban 2005. 
Új szoftverparadigmák nyelvi támogatása: a jelen oktatása - a holnap technológiájaZoltán Porkoláb, Tamás Kozsik, Viktória ZsókInformatika a Felsőoktatásban 2005.  , Debrecen, Hungary,Informatika a Felsőoktatásban 2005. 
Számítástudomány, logika, informatikaoktatás. Katalin Pásztorné Varga, Magda VárterészInformatika a Felsőoktatásban 2005.  , Debrecen, Hungary,Informatika a Felsőoktatásban 2005.  , pages 235.
A magyar SzuperGrid es KlaszterGrid rendszerek felhasználó-orientált egységesítése. ElTE munkacsoport témavezetői projektbeszámoló.Zoltán Horváth
Kutatói jelentés Bolyai János kutatási ösztöndíjjal végzett tevékenységről.       2003/2. Éves kutatói jelentésZoltán Horváth
A C++ Standard Template Library helyességvizsgálata. Technical report. Norbert Pataki
Java programok bonyolultságát mérő program, Eclipse plugin. Technical report. Zoltán Porkoláb, Norbert Pataki, Ádám Sipos
Hatékony metaprogramozás. Technical report. Ádám Sipos
Distributed Clean – functional programming on a cluster. Zoltán Horváth, Zoltán Hernyák, Viktória ZsókFriedrich-Schiller-University Jena, Germany, November 7
„Research Activities at Eötvös Loránd University”. Computer Science SeminarTamás KozsikDept. Comp. Sci., Florida Institute of Technology. Melbourne FL USA, January 21
Teaching a Relational Model of Programming. Judit Nyékyné GaizlerUniversity Klagenfurt, Austria
C++ Template MetaprogrammingZoltán PorkolábUniversity Wien, Vienna, Austria
Distributed Programming and Metaprogramming in C++Zoltán PorkolábUniversity Klagenfurt, Austria
C++ MetaprogrammingZoltán PorkolábConstantine University, Nitra, Slovakia
C++ MetaprogrammingZoltán PorkolábBabes-Bolyai University, Cluj, Romania
C++ MetaprogrammingZoltán PorkolábUniversity Wien, Vienna, Austria
Parallel Functional Programming. Viktória ZsókUniversity of Helsinki, Finland, May 23-25
Az automatikus tételbizonyításról és a Prolog logikai hátteréről. Katalin Pásztorné VargaBabes-Bolyai University, Cluj, Romania
Bizonyítottan helyes funkcionális programkód.  Zoltán HorváthEötvös Loránd University of Sciences, Budapest, Hungary, May 2
A Clean programozási nyelvZoltán HorváthBabes-Bolyai University, Cluj, Romania
Párhuzamos Funkcionális ProgramozásViktória ZsókUniversity Nitra, Slovakia
The Multi-Agent Simulation Suite (MASS) and the Functional Agent-Based Language of Simulation (FABLES)László Gulyás, Sándor Bartha, Tamás Kozsik, Róbert Szalai, Attila Korompai, and Gábor TataiExtended abstract for SwarmFest 2005, Turin, Ital

 2004

Towards a General Template Introspection LibraryIstván Zólyomi, Zoltán PorkolábGenerative Programming and Component Engineering,Lecture Notes in Computer Science, Vol. 3286, pages 266-282.
Teaching of Parallel and Distributed Software Design. Zoltán Horváth, Tamás KozsikProceedings of the Sixth International Scientific Conference on Electronic Computers and Informatics, ECI 2004 September 22-24, Kosice-Herlány, Slovakia,, pages 151-156.
Improving concept checking in BoostIstván Zólyomi, Zoltán PorkolábBoost Workshop, OOPSLA 2004, Vancouver,
An anomaly of subtype relations at component refinement, and a generative solution in C++Zoltán Porkoláb, István Zólyomi18th European Conference on Object-Oriented Programming (ECOOP 2004), University of Oslo, MPOOL Workshop, Oslo, Norway,, pages 39-44.
Refactoring via Database Representation. Péter Diviánszky, Rozália Szabó-Nacsa, Zoltán HorváthProceedings of 6th International Conference on Applied Informatics, Eger, Hungary, January 27-31,  2004. , Eger, Hungary,, pages 129-136.
Prototype Environment for Refactoring Clean Programs. Extended abstractPéter Diviánszky, Rozália Szabó-Nacsa, Zoltán HorváthProceedings of AFP'04 Student Session, Tartu, Estonia,, pages 19-23.
Clean-CORBA Interface Supporting Pipeline Skeleton. Zoltán Hernyák, Zoltán Horváth, Viktória ZsókProceedings of 6th International Conference on Applied Informatics, Eger, Hungary, January 27-31,  2004. , Eger, Hungary,, pages 191-200.
Implementing Pipeline Skeleton in Clean using CORBA Channels. Position paper. Zoltán Hernyák, Zoltán Horváth, Viktória Zsók18th European Conference on Object-Oriented Programming (ECOOP 2004), University of Oslo, MPOOL Workshop, Oslo, Norway,
A Functional Approach to Designing Parallel and Distributed Software.Zoltán Horváth, Tamás KozsikProceedings 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. July 18-21, 2004. Vol. XIV, Computer and Information S
Design of Language Elements for Dynamic Distributed Computation of Clean Expressions on Clusters. Zoltán Hernyák, Zoltán Horváth, Viktória ZsókProceedings of Fifth Symposium on Trends in Functional Programming, TFP 2004, Ludwig-Maximilians University, Munich, Germany,, pages 257-270.
Distributed Computing Based on Clean Dynamics.Hajnalka Hegedűs, Zoltán HorváthProceedings of 6th International Conference on Applied Informatics, Eger, Hungary, January 27-31,  2004. , Eger, Hungary,, pages 181-189.
Compiling P-Grade programs for the JGrid architecture. László LöveiProceedings of 6th International Conference on Applied Informatics, Eger, Hungary, January 27-31,  2004. , Eger, Hungary,, pages 197-205.
Verifying invariants of abstract functional objects - a case study.  Zoltán Horváth, Tamás Kozsik, Máté TejfelProceedings of 6th International Conference on Applied Informatics, Eger, Hungary, January 27-31,  2004. , Eger, Hungary,, pages 201-209.
Prototype Environment for Refactoring Clean programs. Abstract.Rozália Szabó-Nacsa, Péter Diviánszky, Zoltán HorváthConference of PhD Students in Computer Science, Volume of extended abstracts, CSCS 2004, Szeged, Hungary, July 1-4, 2004,, pages 113
Verifying Safety Properties of Abstract Functional Objects. Abstract.Zoltán Horváth, Tamás Kozsik, Máté TejfelFifth Joint Conference on Mathematics and Computer Science, Volume of extended abstracts. Debrecen, Hungary, June 9-12, 2004. ,, pages 47
The expressive power of inequalitiesTamás KozsikProceedings of 5th Joint Conference on Mathematics and Computer Science (5th MaCS), Debrecen, Hungary,
Usability of Some Theorem Proving Systems.Katalin Pásztorné Varga5th Joint Conference on Mathematics and Computer Science, Debrecen, Hungary, June 9-12, 2004. Volume of Abstracts, Debrecen, Hungary,, pages 81
Languages of Logic and Applications. Katalin Pásztorné Varga, Magda VárterészProceedings of the 6th International Conference on Applied Informatics, Eger, Hungary, January 27-31 2004. Vol. I., Eger, Hungary,, pages 484
Comparison of Object-Oriented and Paradigm Independent Software Complexity MetricsZoltán Porkoláb, Ádám SillyeICAI'04 6th International Conference on Applied Informatics, Eger, Hungary,, pages 435-444.
A generative approach for family polymorphism in C++István Zólyomi, Zoltán PorkolábICAI'04 6th International Conference on Applied Informatics, Eger, Hungary,, pages 445-454.
Deklaratív nyelvek Függőségi Analízise és TanulásaGyöngyi Kocsisné Szilágyi
JGrid: Jini alapú Grid számítási rendszer és integrált grafikus alkalmazás fejlesztő környezet (2003-2004), ELTE munkacsoport témavezetői projektbeszámolóZoltán Horváth
Kutatói jelentés Bolyai János kutatási ösztöndíjjal végzett tevékenységről.       2003/1. Éves kutatói jelentésZoltán Horváth
„Reasoning with Sparkle: a case study”. Technical ReportTamás Kozsik
Proving Properties of Components of Functional Programs. Zoltán HorváthUniversity Nitra, Slovakia, March 15
Design of Parallel and Dsitributed Systems. Zoltán HorváthUniversity Klagenfurt, Austria, November
Proving Invarians of Functional Programs. Zoltán HorváthFriedrich-Schiller-University Jena, Germany, December 13
Specification and Verification of Erlang Programs in EWT. László LöveiHSM Workshop, Budapest, Hungary
Parallel Functional Programming. Viktória ZsókTechnical University of Tampere, Finland
Az automatikus tételbizonyításról és a Prolog logikai hátteréről. Katalin Pásztorné VargaBabes-Bolyai University, Cluj, Romania
Funkcionális nyelven írt mobil kód, szemantikai tulajdonságai, helyességének bizonyítása. Habilitációs előadás, szakmai, tudományos részZoltán HorváthEötvös Loránd University of Sciences, Budapest, Hungary, April 2
Programszintézis: asszociatív művelet eredményének kiszámítása. Habilitációs előadásZoltán HorváthEötvös Loránd University of Sciences, Budapest, Hungary, April 2
A Clean programozási nyelvZoltán HorváthBabes-Bolyai University, Cluj, Romania
Funkcionális programok átfogalmazása. Péter DiviánszkyEötvös Loránd University of Sciences, Budapest, Hungary, November 4

 2003

Programozási nyelvekJudit Nyékyné Gaizler
A matematikai logika alkalmazásszemléletű tárgyalásaKatalin Pásztorné Varga, Magda Várterész
Funkcionális programozási nyelvek elemeiZoltán HorváthProgramozási nyelvek, pages 589-636.
AlprogramokTamás KozsikProgramozási nyelvek, pages 202?275.
Típussal való paraméterezésHajnalka Hegedűs, Tamás Marcinkovics, Judit Nyékiné Gaizler, Tamás KozsikProgramozási nyelvek, pages 352-388.
Párhuzamos nyelvi elemekMáté Tejfel, Viktória ZsókProgramozási nyelvek, pages 501-561.
Aspektusorientált programozásPéter Csontos, Tamás KozsikProgramozási nyelvek, pages 684-695.
Parallel Elementwise Processing in Concurrent Clean. Selected paper of ICAI’2001.  Zoltán Horváth, Viktória Zsók, P. Serranes, Rinus PlasmeijerMathematical and Computer Modelling, Vol. 38/7-9., pages 865-875
The Structured Complexity of Object-Oriented ProgramsÁkos Fóthi, Judit Nyékyné Gaizler, Zoltán PorkolábMathematical and Computer Modelling, Vol. 38., pages 815-827.
An Extension to the Subtype Relationship in C++ Implemented with Template MetaprogrammingIstván Zólyomi, Zoltán Porkoláb, Tamás KozsikGenerative Programming and Component Engineering,Lecture Notes in Computer Science, Vol. 2830, pages 209-227.
Proving Invariants of Functional ProgramsZoltán Horváth, Tamás Kozsik, Máté TejfelProceedings of Eighth Symposium on Programming Languages and Software Tools, Kuopio, Finland,, pages 115-126
Clean-Corba Interface for Parallel Functional Programming on ClustersZoltán Horváth, Zoltán Varga, Viktória ZsókProceedings of Eighth Symposium on Programming Languages and Software Tools, Kuopio, Finland,, pages 127-136
Functional Programs on Clusters. Viktória Zsók, Zoltán Horváth, Zoltán VargaProceedings of the Workshop on Parallel/High-Performance Object-Oriented Scientific Computing, POOSC'03, Interner Bericht FZJ-ZAM-IB-2003-09,, pages 93-100.
Precise Static Slicing of Constraint Logic Programs. Gyöngyi Szilágyi, Tibor GyimóthyProceedings of the Kalmár Workshop 2003, Szeged, Hungary,
Some Rewriting Systems as a Background of Proving Methods. Katalin Pásztorné Varga, Magda VárterészKalmár Workshop on Logic and Computer Science, Technical Report, Szeged, Hungary, October 2003, Szeged, Hungary,, pages 213-227.
Programok strukturális bonyolultsági mérőszámaiZoltán Porkoláb
Funkcionális nyelven írt mobil kód, szemantikai tulajdonságai, helyességének bizonyítása. Zoltán Horváth
Grid számítások modellje, programnyelvi eszközei. Kutatási jelentés. DemoGrid munkacsoport témavezetői projektbeszámolóZoltán Horváth
Property specification of Sparkle and its extension possibilities. Kutatási jelentés 2003-S02Máté Tejfel
Rangsorolási algoritmusok. Technical report. Gábor Zsolt Kovács, Norbert Pataki
„Subtyping with subtype marks”. Technical Report 2003-P05Tamás Kozsik
Proving Properties of Components of Functional Programs.Zoltán HorváthUniversity Klagenfurt, Austria, October 24
Generic ProgrammingZoltán PorkolábJ. Kepler University,Linz, Austria
Parallel Language Elements in Functional LanguagesViktória ZsókPaisii Hilendarski University, Plovdiv, Bulgaria, June 26
Az automatikus tételbizonyításról és a Prolog logikai hátteréről. Katalin Pásztorné VargaBabes-Bolyai University, Cluj, Romania
Funkcionális mobil kód helyessége. Zoltán HorváthUniversity of Szeged, Hungary, February 25
Funkcionális programok helyessége. Zoltán HorváthEötvös Loránd University of Sciences, Budapest, Hungary, November 6
A Clean programozási nyelvZoltán HorváthBabes-Bolyai University, Cluj, Romania
The application of an associative function on the prefixes of a seriesTamás KozsikTechnical Report 2003-P03, Eötvös Loránd University, Faculty of Informatics, Budapest, Hungary, 2003.
Assign predicates to subtype marks--a case studyTamás KozsikTechnical Report 2003-P01, Eötvös Loránd University, Faculty of Informatics, Budapest, Hungary, 2003.

 2002

J2EE útikalauz Java programozóknakNyékyné Gaizler J. (szerk.) et al.Budapest, 2002, ELTE TTK Hallg. Alapítvány 719 o.
Az adattípus a programozási nyelvekbenNyékyné Gaizler J.; Kozsik T.; Porkoláb Z.Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002., pp. 954-958.
A Comparison of Programming LanguagesNyéky-Gaizler J.Course on the University of Klagenfurt (Austria) 2002 Spring;
A típusok a programozási nyelvek oktatásábanNyékyné Gaizler J.Babes-Bolyai Egyetem, Kolozsvár, Románia, 2002.
A párhuzamos programozás alapjai, egyetemi előadás jegyzete (100 oldal), Bp., 1995-2002.Horváth Z.http://people.inf.elte.hu/hz/
A Data Intensive Application on a Cluster - Parallel Elementwise Processing.Horváth Z.-Hernyák Z.-Kozsik T.-Tejfel M.- Ulbert A.In: Distributed and Parallel Systems, Cluster and Grid Computing, Kluwer, 2002. pp. 46-53.
Safe Functional Mobile Code in Clean.Daxkobler K.-Horváth Z.-Kozsik T.In: Proceedings of Implementation of Functional Languages'02, Madrid, Spain, Sept. 7-10, 2002. pp. 203-218.
The effect of the high surface roughness in a comparative processIldiko Laszlo, Zoltan Fuzessy, Gerd HaeuslerOptics and Lasers in Engineering, Vol. 37 (1), 39-49, (2002)
Parallel Functional Programming on ClusterV. Zsók, Z. Horváth, M. TejfelConference of PhD Students in Computer Science, Volume of Extended Abstract, Szeged, Hungary, July 1-4, 2002, pp. 114.
Párhuzamos funkcionális programozás (Parallel Functional Programming)Zsók V., Horváth Z., Tejfel M.Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002., pp. 1085-1094.
Haskell és a Clean nyelv összehasonlító elemzése (Comparative Analysis of Haskel and Clean)Hegedűs H., Horváth Z., Zsók V.Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002., pp. 1075-1084.
Comparison and Usability of two Rewriting Systems for Theorem Proving.Katalin Pásztor Varga, Magda VárterészPuMA Pure Mathematics and Applications, Volume 13, No. 1-2, pp. 293-302, 2002.
A number theoretical approach to the allocation problem of a pipelined dataflow model.Pásztor Varga K.Proceedings of International Conf. on Parallel Computing in Elecrical Engineering. Warsaw, Poland. 22-25 September 2002. pp. 199-202. IEEE Computer Society.
Funkcionális programok helyessége.Horváth Z. - Tejfel M. - Pásztorné Varga K.Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002., pp. 942-946.
Az alkalmazásorientált logika oktatásának problémái ma a tudományegyetemeken.Pásztorné Varga K. Várterész Magda, Bognár KatalinInformatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002, pp. 942-946.
Purely Functional Programming and the Object Oriented InheritanceCsörnyei Zoltán, Kovács Lehel, Légrádi GáborPuMA Pure Mathematics and Applications, Volume 13, No. 1.-2. pp. 125-132, 2002.
Típuselmélet és az objektum-elvű programozásCsörnyei Zoltán, Nagy SáraInformatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002.
A Haskell és a Clean nyelv összehasonlító elemzése.Hegedűs Hajnalka, Horváth Zoltán, Zsók ViktóriaInformatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002, pages 1075-1084.
Subtyping with Strengthening Type Invariants. Summer School and Workshop on Generic ProgrammingTamás KozsikSt Anne's College, Oxford, UK, August 26-30
Constructs of Functional Languages.Viktória ZsókResearch Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, November
Verified Mobile Code in Functional Environment. Viktória ZsókResearch Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, December
Elosztott funkcionális programok helyessége. Zoltán HorváthInformációs Magyarország Hétvége , March 21-24.
Design and implementation of synchronisation patterns using an extension to UML: A case studyÁkos Frohner, Tamás Kozsik, and László VargaPure Mathematics and Applications (PU.M.A.), 13(1-2):133-158
Towards better optimization of resource allocationZoltán Horváth, Tamás Kozsik, and Attila Ulberthttp://aszt.inf.elte.hu/~grid/, 2002.

 2001

Java 2 útikalauz programozóknakNyékyné Gaizler J. (szerk.) et al.Budapest, 2001, ELTE TTK Hallg. Alapítvány 1443 o.
Java 2 referencia programozóknakNyékyné Gaizler J. (szerk.) et al.Budapest, 2001, ELTE TTK Hallg. Alapítvány 684 o.
The Complexity of Object-Oriented ProgramsFóthi Á., Nyéky-Gaizler J. Porkoláb Z.ICAI'01 5th International Conference on Applied Informatics, Ed. Emőd Kovács et al. Eger, 2001.,
Beyond 2000, Beyond Object-OrientationL. Kozma, Á. Frohner, T. Kozsik, Z. PorkolábICAI'01 5th International Conference on Applied Informatics, Ed. Emőd Kovács et al. Eger, 2001., pp. 125-134.
Comparative measurement methods – the effect of the high surface roughnessIldiko LaszloODIMAP III, Proceedings, Pavia, Italy (Sept. 20-22, 2001)
Automated alignment by hybrid video and 3D Miore with both conventional and parallel processingB. Garita, H. Guiterrez, I. Laszlo, J.H. BlattSPIE Conference, Boston, 5-8 November 2000;Proceedings of SPIE, Vol. 4189, 129-135 (2001).
Parallel Elementwise Processable Functions in Concurrent CleanZ. Horváth, V. Zsók, P. Serrarens, R. PlasmeijerSelected paper of 5th International Conference on Applied Informatics, ICAI’2001, Eger, Hungary, 28 January-3 February, to appear in Computers & Mathematics With Applications, Elsevier.
Skeleton Algorithms in Concurrent CleanV. Zsók, Z. Horváth4th Joint Conference on Mathematics and Computer Science, Abstracts, Felix-Oradea, Romania, June 5-10, 2001, pp. 99.
A Generalized Approach to the Theorem Proving Methods.Pásztor Varga K. - Várterész M.5th ICAI'01 5th International Conference on Applied Informatics, Ed. Emőd Kovács et al. Eger, 2001., pp. 191-200.
Purely Functional Programming and the Object Oriented ProgrammingCsörnyei Zoltán, Kovács Lehel, Légrádi GáborStudia XLVI. 1 pp. 101-110, 2001.
Fordítási algoritmusokCsörnyei ZoltánErdélyi Tankönyvtanács, Kolozsvár, 2001.
Java 2 útikalauz programozóknak 1.3Judit Nyékyné Gaizler, Ákos Frohner, and Tamás Kozsik (eds)ELTE TTK Hallgatói Alapítvány, Budapest, Hungary

 2000

Java 2 útikalauz programozóknakNyékyné Gaizler J. (szerk.) et al.Budapest, 1999, 2000, ELTE TTK Hallg. Alapítvány 1802 o.
Abstraction strategies in practiceFóthi Á., Nyéky-Gaizler J., Harangozó É.Annales Univ. Sci. Bud. Sect. Comp. 19(2000) 75-92.
On the Complexity of Object-Oriented ProgramsFóthi Á., Nyéky-Gaizler J. Porkoláb Z.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
Teleonic study of accidents in anaesthesia, Part I. Theoretical backgroundG.Horváth, G.G. Járos, J. N. GaizlerWorld Congress/ISSS 2000, Toronto, CA, 2000.
Programozási nyelvek öszehasonlító elemzéseNyékyné Gaizler J.Babes-Bolyai Egyetem, Kolozsvár, Románia, 2000.
Parallel Programs Implementing Abstract Data Type Operations.Horváth Z.- Kozsik T.- Venczel T.PuMA Pure Mathematics and Applications, Volume 11, No. 2. pp. 293-308, 2000.
Reactive Skeletons in Concurrent Clean.Horváth Z.-Zsók V.-Serrarens, P.- Plasmeijer, R.Extended abstract. CSCS’2000, Szeged, Hungary, July. 2000.
Code Generation from UML ModelsÁkos Frohner, Zoltán Porkoláb, László VargaPeriodica Polytechnica, Ser El. Eng. Vol.44(2000) No.2 pp. 141-157.
Programozási Nyelvek és Programozási ParadigmákPorkoláb ZoltánPlenáris előadás. IV. Magyar Objektum Orientált Konferencia, Budapest, 2000.
Holographic illumination for comparative mea surementZ. Fuzessy, F.Gyimesi, B. Raczkevi, J. Makai, J.Kornis, I.LaszloOptics Communications, 132, (1996) 29-34; Selected SPIE Papers on CD-ROM, Volume 15, Disc2, 2000.
Comparative measurement by speckle interferometry using holographically reconstructed master objectI. Laszlo, Z. Fuzessy, J. Kornis, F. GyimesiOpt. Eng., 36 (12), 3323-3326, (December 1997); Selected SPIE Papers on CD-ROM, Volume 15, Disc2, 2000.
Comparative Difference Digital Speckle Pattern InterferometryI. Laszlo, Z. Fuzessy, J. Kornis64th Annual Meeting, FIT Melbourne, Florida, p. 62-63 (2000).
Logical Background of Theorem Proving Methods.Pásztor Varga K.WSCS’2000: Workshop for Students of Computer Science. Kosice, Slovakia, June 2000., pp. 115-118.
A logika alkalmazásának hatásaPásztorné Varga K., Kozma László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
Új irányok a fordítóprogramok oktatásábanCsörnyei Zoltán, Nagy SáraMagyar Informatikusok II. Világtalálkozója, pp. 333-334, 2000.
Programozási nyelvek - Programozási paradigmák. Zoltán PorkolábIV. Hungarian Object-Oriented Conference, Budapest, Hungary
Subtyping with strengthening type invariantsTamás Kozsik, Diederik van Arkel, and Rinus PlasmeijerProceedings of the 12th International Workshop on Implementation of Functional Languages, pages 315-330, 2000

 1999

Az Ada95 programozási nyelvNyékyné Gaizler J. (szerk.) et al.Egyetemi tankönyv, Budapest, 1999. ELTE Eötvös Kiadó 576 o.
A Formal Semantics of Internal Object ConcurrencyFóthi Á., Horváth Z., Kozsik T., Nyékyné Gaizler J., Venczel T.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.
On the Complexity of ClassFóthi Á., Nyéky-Gaizler J. Porkoláb Z.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
Programozási nyelvek specializáció az ELTE programtervezo matematikus képzésébenNyékyné Gaizler J., Csörnyei Z., Horváth Z., Hunyadvári L., Kozma L., Márkus T., Porkoláb Z.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
Web Computing in Clean.Harmat K.-Tandi P.-Horváth Z.-Wierich, M.- Plasmeijer, R.ICAI'99 4th International Conference on Applied Informatics, Ed: Emőd Kovács et al., Eger-Noszvaj, 1999., pp. 87-93.
Parallel Functional Skeletons in Concurrent Clean. Extended abstract.Horváth Z.-Zsók V.-Serrarens, P.- Plasmeijer, R.In Abstracts of the Third Joint Conference on Mathematics and Computer Science, Jun. 6-12, 1999, Visegrád. Hungary, p. 37.
Proving the Temporal Properties of theUnique World.Horváth Z.-Achten, P.-Kozsik T.- Plasmeijer, R.Proceedings of the Sixth Symposium on Programming Languages and Software Tools, Tallin, Estonia, August, 1999., pp. 113-125.
Verification of the Temporal Properties of Dynamic Clean Processes.Horváth Z.-Achten, P.-Kozsik T.- Plasmeijer, R.Proceedings of Implementation of FunctionalLanguages'99, Lochem, The Netherlands, Sept. 7-10, 1999. pp. 203-218.
Alternative Generic LibrariesZoltán Porkoláb, Róbert KistelekiICAI'99 4th International Conference on Applied Informatics, Ed: Emőd Kovács et al., Eger-Noszvaj, 1999., pp. 79-86.
Limits of Optical Range sensors and How to Exploit ThemG. Haeusler, P. Ettl, M. Schenk, G. Bhon, I. LaszloICO IV, Springer Series in Optical Sciences, 74, 328-342, (1999)
Automated Theorem Proving - Some ProblemK. Pásztor-VargaThird Joint conference on Mathematics and Computer Science. Visegrád, 1999, Juin 6- 12.
Tömegoktatás felsőfokon az informatikában. (Elvárások. Kérdőjelek! Megoldások?)Kozma László Dr., Pásztorné Varga Katalin Dr.Informatika a felsőoktatásban’99. Debrecen, 1999 aug. 27-30. Konferencia kiadvány.
Típusrendszerek és a funkcionális programozásCsörnyei Zoltán, Nagy SáraInformatika a felsőoktatásban’99. Debrecen, 1999 aug. 27-30. Konferencia kiadvány. pp- 583-586.
Dynamic grammars and compilersCsörnyei ZoltánThird Joint Conference on Mathematics and Computer Science, 1999.
The Use of Aspect-Oriented Programming in Scientific SimulationsGulyás László, Kozsik TamásSoftware Technology, Fenno-Ugric Symposium FUSST'99 Proceedings, Technical Report CS 104/99, pp. 17-28, Institute of Cybernetics at TTU, 1999.
The Multi-Agent Modeling LanguageGulyás László, Kozsik Tamás, Fazekas SándorProceedings of 4th International Conference on Applied Informatics (ICAI'99), pp. 43-50, Molnár és Társa '2001' Kft. 1999.
Model Design Interface - A CASE Tool for the Multi-Agent Modeling LanguageGulyás László, Kozsik TamásSection Proceedings of the 2nd International Conference of PhD Students, Engineering Sciences, pp. 97-104, 1999.
The Multi-Agent Modelling Language and the Model Design InterfaceLászló Gulyás, Tamás Kozsik, and John B. CorlissJournal of Artificial Societies and Social Simulation, 2(3)