|
Publications
|
|
|
Embedded resource tool in Haskell | Attila Góbi, Tamás Kozsik, Barnabás Králik | STUDIA 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 Languages | Gábor Páli, Zoltán Horváth, Viktória Zsók, Máté Tejfel, Judit Nyéky-Gaizler | In: 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 Analysis | Z Horvath, I Bozó, M Tóth | STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA 59: pp. 31-46. (2014) MACS. Cluj-Napoca, Románia: 2014.05.21 -2014.05.25. |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
Random number generator for C++ template metaprograms | Zalán Szűgyi, Tamás Cséri, Zoltán Porkoláb | 13th Symosium on Programming Languages and Software Tools | STL conform infinite streams | Zalán Szűgyi, Attila Góbi | AIP Conference Proceedings | A Practical Comparison of the Structured and the Functional Programming Paradigms | Melinda Simon, Gergely Dévai, Zoltán Porkoláb, Norbert Pataki | Proc. of the Twelfth International Conference on Informatics, pp. 110-115. | Implementing monads for C++ template metaprograms | Ábel Sinkovics, Zoltán Porkoláb | Journal of Science of Computer Programing | Domain-Specific Language Integration with C++ Template Metaprogramming | Ábel Sinkovics, Zoltán Porkoláb | Marjan 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 Metaprogram | Zoltán Porkoláb, Ábel Sinkovics, István Siroki | Tutorial for DSL 2013, Cluj, July 2013. | Generating type-safe script languages from functional APIs | Gábor Horváth, Gábor Kozár, Zalán Szűgyi | Proceedings of the Twelfth International Conference on Informatics | Comparison of DC and MC/DC code coverages | Zalán Szűgyi, Zoltán Porkoláb | Proceedings of the Twelfth International Conference on Informatics | Embedding and Parsing Combined for Efficient Language Design | Gergely, Dévai; Dániel, Leskó; Máté, Tejfel | Proceedings of International Conference on Software Engineering and Applications, SCITEPRESS Digital Library, 2013. | The EDSL's struggle for their sources | Gergely, Dévai; Dániel, Leskó; Máté, Tejfel | DSL 2013 Summer School, Cluj-Napoca, Romania, 2013. | RefactorErl, a static source code analysis and transformation tool | Tó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 RefactorErl | Fö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 analysis | Tó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 control | Tó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-Clean | Zsók Viktória | PhD, 101. p. | Static analysis of function calls in Erlang: Refining the static function call graph with dynamic call information by using data-flow analysis | Dániel, Horpácsi; Judit, Kőszegi | Dániel Horpácsi, Judit Kőszegi | LLVM backend for TILE64 | Dávid Juhász and Tamás Kozsik | Poster at 2013 European LLVM Conference, Paris, France | Clean up the Web! In The Beauty of Functional Code | László Domoszlai and Tamás Kozsik | Volume 8106 of LNCS, pages 133-150. | Low level conditional move optimization | Artyom Antyipin, Attila Góbi, and Tamás Kozsik | Acta Cybernetica, 21:5-20. | Workflow Description in Cyber-Physical Systems | T. Kozsik, A. Lörincz, D. Juhász, L. Domoszlai, D. Horpácsi, M. Tóth, Z. Horváth | Studia Universitatis Babes-Bolyai Series Informatica, INFORMATICA 2, 20-30 p. |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
|
Improving quality of software analyser and transformer tools using specification based testing | Máté Tejfel, Melinda Tóth, István Bozó, Dániel Horpácsi, Zoltán Horváth | Appearing in ANNALES Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae Sectio Computatorica ISSN: 0138-9491 | Extending Little Languages into Big Systems | Gábor Páli | 4th 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 Networks | Gábor Páli | Annales Universitatis Scientarium Budapestiensis de Rolando Eötvös Nomiatae, Sectio Computatorica, Vol. 36(2012) | Static Analysis of Complex Software Systems Implemented in Erlang | Tó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ása | Bozó 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 Library | Norbert Pataki | Annales 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 core | László Domoszlai and Rinus Plasmeijer | Annales Universitatis Scientarium Budapestiensis de Rolando Eötvös Nomiatae, Sectio Computatorica, Vol. 36(2012) | A C++ pearl – self-referring streams | Attila Góbi, Zalán Szügyi, Tamás Kozsik | Annales 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 Library | Norbert Pataki | Acta Electrotechnica et Informatica 12(1), pp. 17-24. | Task-specific style verification | Norbert Pataki, Tamás Cséri, Zalán Szűgyi | AIP 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++11 | Zalán Szűgyi, Márk Török, Norbert Pataki, Tamás Kozsik | Computer Science and Information Systems, Vol. 9, No. 3, pp. 1187-1202. | Towards Warning Annotations in C++11 | Norbert Pataki, Márk Török | Proceedings of CSE 2012 International Scientific Conference on Computer Scinece and Engineering, pp. 79-86 | Rule-based assignment of comments to AST nodes in C++ programs | Csé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. |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
Proceedings of the Workshop on Generative Technologies 2011, (WGT 2011), | Zoltán Porkoláb, Norbert Pataki | WGT 2011 - ETAPS (European Joint Conferences on Theory and Practice of Software, 2011, Saarbrücken, Germany | A More Efficient and Type-Safe Version of FastFlow | Zalán Szűgyi, Norbert Pataki | Proceedings of Workshop on Generative Technologies (WGT 2011), pp. 24-37 | Towards a Multicore C++ Standard Template Library | Zalán Szűgyi, Márk Török, Norbert Pataki | Proceedings of Workshop on Generative Technologies (WGT 2011), pp. 38-48. | Parallization of the Standard Template Library on Multicore Architectures | Norbert Pataki, Zalán Szűgyi, Márk Török | Spring Wind 2011, Tavaszi Szél 2011 Konferenciakötet, pp. 423-428 | Advanced Functor Framework for C++ Standard Template Library | Norbert Pataki | Studia Universitatis Babes-Bolyai, Informatica, LVI, 1, pp. 99-113 | Static analysis and refactoring towards Erlang multicore programming | Tó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 steps | Bozó, 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 tool | Tó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 Metaprograms | Norbert Pataki, József Mihalicza, Zalán Szűgyi, Viktor Májer, Zoltán Porkoláb | Proceedings of the 8th International Conference on Applied Informatics (ICAI 2010), Vol. 2., p. 451 | SQL Code Complexity Analysis | Melinda Simon, Norbert Pataki | Proceedings of the 8th International Conference on Applied Informatics (ICAI 2010), Vol. 1., pp. 353-359. | C++ Standard Template Library by Ranges | Norbert Pataki | Proceedings of the 8th International Conference on Applied Informatics (ICAI 2010) Vol. 2., pp. 367-374 | Measuring the Overhead of C++ Standard Template Library Safe Variants | Norbert 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) 2010 | Zoltán Porkoláb, Norbert Pataki | Electronic Notes in Theoretical Computer Science (ENTCS) Vol. 264(5), pp. 1-122 | Advantages of a Multi-Paradigm Programming Language in Agent-Based Model Definition | Richá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 Library | Norbert Pataki, Zoltán Porkoláb | Proceedings of the Federated Conference on Computer Science and Information Systems, pp. 919-922 | Syntax Check of Embedded SQL in C++ with Proto | Zalán Szűgyi, Zoltán Porkoláb | Proceedings of the 8th International Conference on Applied Informatics (ICAI 2010) Vol. 2., pp. 383-390 | C++ Standard Template Library by Safe Functors | Norbert Pataki | Proceedings 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 Experiments | László Gulyás, Attila Szabó, Richárd Legéndi, Tamás Máhr, Rajmund Bocsi, George Kampis | Proceedings of 2011 Computational Social Science Society of America Annual Conference | Effects of Time-Dependent Edge Dynamics on Properties of Cumulative Networks | Richard O. Legendi and Laszlo Gulyas | Proceedings of the Satellite Meeting EPNACS 2011 within ECCS'11 | Multicore C++ Standard Template Library with C++0x | Zalán Szűgyi, Márk Török, Norbert Pataki, Tamás Kozsik | AIP 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 Maps | Zalán Szűgyi, Norbert Pataki, Zoltán Porkoláb | Proceedings of 12th Symposium on Programming Languages and Software Tools, pp. 8-19 | Compiler Support for Profiling C++ Template Metaprograms | József Mihalicza, Norbert Pataki, Zoltán Porkoláb | Proceedings of 12th Symposium on Programming Languages and Software Tools, pp. 32-43 | Subtle Methods in C++ | Zalán Szűgyi, Norbert Pataki, József Mihalicza | Acta Electrotechnica et Informatica 11(3), pp. 11-16 | A Client-Server Model for Editing ODF Documents on Mobile Devices | I. 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ács | Acta Electrotecnhica et Informatica, Vol. 11(3), 2011. pp. 17-20. | C++ Standard Template Library by template specialized containers | Norbert Pataki | Acta Universitatis Sapientiae, Informatica, Vol. 3(2), pp. 141-157 | Agents in Multicore Realm | Márk Török, Zalán Szűgyi, Norbert Pataki | Proceedings of the Eleventh International Conference on Informatics, Informatics 2011, pp. 213-215 | Advanced Safe Iterators for the C++ Standard Template Library | Norbert Pataki | Proceedings of the Eleventh International Conference on Informatics, Informatics 2011, pp. 86-89 | Multicore C++ Standard Template Library in a Generative Way | Zalán Szűgyi, Márk Török, Norbert Pataki | Electronic Notes in Theoretical Computer Science (ENTCS) Vol. 279(3), pp. 63-72 | Generative Version of the FastFlow Multicore Library | Zalán Szűgyi, Norbert Pataki | Electronic Notes in Theoretical Computer Science (ENTCS) Vol. 279(3), pp. 73-84 | Proceedings of the Third Workshop on Generative Technologies (WGT) 2011 | Zoltán Porkoláb, Norbert Pataki | Electronic Notes in Theoretical Computer Science (ENTCS) Vol. 279(3), pp. 1-96 | C++ Standard Template Library by infinite iterators | Tamás Kozsik, Norbert Pataki, Zalán Szűgyi | Annales Mathematicae et Informaticae, Vol. 38, pp. 75-86 | Implementing a non-strict purely functional language in JavaScript | László Domoszlai, Eddy Bruël, Jan Martin Jansen | Acta Univ. Sapientiae, Inform. 3, No. 1, 76-98 | Static Analysis Based Support for Program Comprehension in Erlang | Tó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 files | Kará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 analysis | Talk at the 16th Erlang User Conference 2011, Stockholm, Sweden, November 2011. | RefactorErl - Source Code Analysis and Refactoring in Erlang | Bozó, 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 steps | Bozó, 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 Analysis | Tó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 Erlang | Tóth, M. | Talk at the High Speed Network Workshop 2011, Budapest, Hungary, May 2011 | RefactorErl: a source code analyser and transformer tool | Tó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ása | Bozó 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özzel | Diviánszky Péter, Páli Gábor | Informatikai a felsőoktatásban (IF) 2011, Debrecen, 2011. augusztus 24--26., konferenciakötet, pp. 518--525. | Size analysis of higher-order functions | Attila Góbi, Olha Shkaravska, Marko van Eekelen | Proceedings of the 12th International Symposium on Trends in Functional Programming, pp. 77–91, (2011) | 4D Ariadne the Static Debugger of Java Programs | Zalán Szűgyi, István Forgács, Zoltán Porkoláb | Periodica Polytechnica Electrical Engineering and Computer Science |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
C++ Standard Template Library in a Safer Way | Norbert Pataki, Zalán Szűgyi, Gergely Dévai | Workshop on Generative Technologies 2010 (WGT 2010), pp. 46-55. | Proceedings of the Workshop on Generative Technologies 2010, (WGT 2010) | Zoltán Porkoláb, Norbert Pataki | WGT 2010 - ETAPS (European Joint Conferences on Theory and Practice of Software, 2010, Paphos, Cyprus | Visualization of C++ Template Metaprograms | Zoltán Borók-Nagy, Viktor Májer, József Mihalicza, Norbert Pataki, Zoltán Porkoláb | Proceedings 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 Pataki | Proceedings of International Scientific Conference on Computer Science and Engineering (CSE 2010), pp. 93-100. | C++ Standard Template Libary by safe functors | Norbert Pataki | Abstracts of the 8th Joint Conference on Mathematics and Computer Science (MaCS'10), p.44. | C++ Metastring Library and its Applications | Zalán Szűgyi, Ábel Sinkovics, Norbert Pataki, Zoltán Porkoláb | Proceedings of Generative and Transformational Techniques in Software Engineering 2009, LNCS 6491, pp. 461-480. | Testing by C++ Template Metaprograms | Norbert Pataki | Acta Universitatis Sapientiae, Informatica, 2, 2, pp. 154−167 | C++ exam methodology | Norbert Pataki, Zalán Szűgyi | Annales Mathematicae et Informaticae 37, pp.211-223 | Software engineering education in cooperation with industrial partners | Zoltán Horváth, Tamás Kozsik, and László Lövei | Teaching Mathematics and Computer Science, 8(1):133-148. | Analysis of preprocessor constructs in Erlang | Róbert Kitlei, István Bozó, Tamás Kozsik, Máté Tejfel, and Melinda Tóth | Proceedings of the 9th ACM SIGPLAN workshop on Erlang, pages 45-56, New York, NY, USA, 2010. ACM. | Implementatitons of Programming Languages I. | Zoltan, Csörnyei | Universitatis Budapestinensis de Rolando Eötvös, Budapest. | Translation Methods of Programming Languages | Zoltan Csörnyei | Farkas Gyula Szakkollégium, Babes-Bolyai Tudományegyetem, Kolozsvár. | Parallel programming techniques and linear type systems | Gábor Alagi, Zoltán Csörnyei, Katalin Pásztor Varga | Komarno, Slovakia, p. 11, ISBN 978-80-8122-003-6 | D-Clean Semantics for Generating Distributed Computation Nodes | Viktó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-Clean | Zsó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 Programming | Horváth Z., Zsók V., Achten, P., Koopman, P. | Volume 10, Intellect Ltd., United Kingdom, 2010, 192 p. | Central European Functional Programming School | Horvá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ók | Abstracts 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 Theorema | Sinka 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ók | ICAI 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 Persson | Proceedings of the ODES-8: 8th Workshop on Optimizations for DSP and Embedded Systems, workshop associated with IEEE/ACM International Symposium on Code Generation and Optimization | Impact analysis of Erlang programs using behaviour dependency graphs | Tó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 Metaprograms | Zoltán Porkoláb | CEFP 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 Library | Zoltan Porkolab, Abel Sinkovics | Proceedings 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 Interfaces | Károly Tilly, Zoltán Porkoláb | International Journal of Enterprise Information Systems, ISSN: 1548-1115, 2010, pp:29-43. | nth order flow analysis for Erlang | Tó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ában | Biró 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ával | Horpácsi, D. and Leskó, D. | Scientific Students' Associations Conference, ELTE, Budapest, Hungary | Implementing structural complexity metrics in Erlang | Király, R. and Kitlei, R. | 8th International Conference on Applied Informatics, ICAI 2010 | Erlang Semantic Query Language | Lövei, L., Hajós, L., and Tóth, M. | 8th International Conference on Applied Informatics, ICAI 2010 | Slicing Erlang programs | Bozó, I., Tóth, M., and Horváth, Z. | 8th International Conference on Applied Informatics, ICAI 2010 | Applying the Query Language to support program comprehension | Tó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 programs | Tóth, M. and Bozó, I. | In 7th Conference of PhD Students in Computer Science, CSCS 2010 | A Domain Specific Language for Digital Signal Processing algorithms | Emil Axelsson, Koen Claessen, Gergely Devai, Zoltan Horvath, Karin Keijzer, | Chalmers University of Technology, Eotvos Lorand University | Non-monadic Models of Mutable References | Pé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 software | Barna Imre, Bauer Péter, Bernád Kinga (Kolozsvár), Hernáth Zsolt, Horváth Zoltán, Kőszegi Balázs, Kovács Gergely, Kozsik Tamás, Lengyel Zsolt Roth Róbert (Kolozsvár), Sike Sándor, Takács Gábor | 8th International Conference on Applied Informatics | A client-server model for editing ODF documents on mobile devices | Barna Imre, Bauer Péter, Bernád Kinga (Kolozsvár), Hernáth Zsolt, Horváth Zoltán, Kőszegi Balázs, Kovács Gergely, Kozsik Tamás, Lengyel Zsolt Roth Róbert (Kolozsvár), Sike Sándor, Takács Gábor | Proceedings 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 Transformations | Lengyel Zsolt, Sike Sándor | Conference of PhD Students in Computer Science, CSCS 2010 | Introducing ODF to Mobile Platforms | Barna Imre, Bauer Péter, Bernád Kinga (Kolozsvár), Hernáth Zsolt, Horváth Zoltán, Kőszegi Balázs, Kovács Gergely, Kozsik Tamás, Lengyel Zsolt Roth Róbert (Kolozsvár), Sike Sándor, Takács Gábor | OpenOffice.org Conference 2010 | Introducing ODF to Mobile Platforms | Horváth, Z. | Informatik-Kolloquium der Friedrich-Schiller-Universität Jena, Germany, Oct 20, 2010. | RefactorErl: a source code analyser and transformer tool | Tóth, M. and Horváth, Z. | In Erlang User Conference 2010, Stockholm, Sweden | RefactorErl: a source code analyser and transformer tool | Tóth, M. | In Tutorial Workshop 2010, Stockholm, Sweden | Dependency Graphs for Parallelizing Erlang Programs | Tó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 Erlang | Tó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 Programs | Zalán Szűgyi, István Forgács, Zoltán Porkoláb | Extended 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ása | Bozó 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 Types | Gábor Páli, Tamás Kozsik | Proceedings 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 analysis | Attila Góbi, Tamás Kozsik, Mónika Mészáros, Artyom Antyipin, Dorián Batha, Tamás Kiss | The 8th International Conference on Applied Informatics (ICAI) 2010 | Type inference in Gb | Attila Góbi, Tamás Kozsik | 8th Joint Conference on Mathematics and Computer Science (8th MaCS) 196–209, 2010 | Detaching and reconstructing the documentary structure of source code | Mónika Mészáros, Péter Diviánszky, Attila Góbi, Andrea Kovács, Dániel Leskó, Gábor Páli | The 8th International Conference on Applied Informatics (ICAI), 2010 |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
A Semantic Model for Proving Properties of Clean Object I/O Programs | Tejfel 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 DSP | Karina Bunyik, Gergely Dévai, Zoltán Gera, Zsolt Gyulavári, Zoltán Horváth, Mary Sheeran, Emil Axelsson, András Vajda, Peter Brauer | Poster, ELTE Innovation Day, 2009. | Infrastructure for Analysis of F# Programs | Péter Diviánszky, Zoltán Horváth, Mónika Mészáros, Gábor Páli, Artyom Antyipin, Dorián Batha, Andrea Kovács, Péter Kovács, Judit Kőszegi, Dániel Leskó | Poster, ELTE Innovation Day, 2009. | The HypereiDoc project | Péter Bauer, Tamás Cséri, Zoltán Horváth, Máté Kovács, Zsolt Hernáth, László Horváth, Erika Juhász, Gyula Mayer | Poster. ELTE Innovation Day, 2009 | The D-Clean and D-Box Distributed Programming Environment | Zoltán Hernyák, Zoltán Horváth, Viktória Zsók | Poster, ELTE Innovation Day, 2009. | Refactoring in Erlang, a Dynamic Functional Language | Lá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 level | Gergely Dévai | Acta Universitatis Sapientiae, Informatica, 1(1):15-34 | A tool for formally specifying the C++ Standard Template Library | Gergely Dévai, Norbert Pataki | Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computatorica, 31:147-166 | CEEPUS Network for Computer Science Education | Horvá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 Partners | Horvá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 way | Istenes, Zoltán and Kozsik, Tamás | Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computatorica, 30:175-190 | Analysis of profiling techniques for C++ template metaprograms | Zoltán Porkoláb, József Mihalicza, Norbert Pataki, Ádám Sipos | Annales 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 Framework | Pó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 methods | Biczó 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.0 | Biczó, 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 Code | Norbert Pataki, Zoltán Porkoláb, Melinda Simon, Zoltán Vincellér | Local Proceedings of Advances in Databases and Information Systems (ADBIS 2009), pp. 117-130 | Towards More Sophisticated Access Control | József Mihalicza, Norbert Pataki, Zoltán Porkoláb, Ádám Sipos | Proceedings 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) 2008 | Zoltán Porkoláb, Norbert Pataki | ENTCS Vol. 238, Issue 2, pp. 1-82 | Layout Preserving Parser for Refactoring in Erlang | Kitlei, R., Lövei, L., Nagy, T., Horváth, Z., Kozsik, T. | Acta Electrotechnica et Informatica, vol. 9., no. 3., pp. 54-63 | C++ Method Utilities | Zalán Szűgyi, Norbert Pataki, József Mihalicza, Zoltán Porkoláb | Proceedings of the Tenth International Conference on Informatics (Informatics 2009), pp. 112-117 | Adaptive, safe mobile robot programming in the intelligent space | Laszlo 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 Refactoring | Zoltá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ály | Studia Universitatis Informatica, 54:7-16 | Szoftverrendszerek fejlesztésének oktatása projektfeladat keretén belül | Zoltán Horváth, Tamás Kozsik, and László Lövei | INFODIDACT 2009 Informatika Szakmódszertani Konferencia, Szombathely, Hungary, 2009. 8 pages, appeared on CD. | Távközlési szoftverek elemzése és átalakítása | Bozó, 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 RefactorErl | Lövei, L., Tóth, M., Horváth, Z. | In Property-based Testing Tutorial Workshop 2009, Stockholm, Sweden | Restructuring Erlang programs using function related refactorings | Tó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 language | Bozó, 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ása | Bozó 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 Code | Pé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. |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
Programming Language Elements for Correctness Proofs | Gergely Dévai | Acta Cybernetica, 18(3):403-425 | Speculative scheduling of parameter sweep applications using job behavior descriptions | Ulbert 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 Lectures | Horvá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 Erlang | Kozsik 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 editions | Bauer P., Hernáth Zs., Horváth Z. Mayer, Gy. Parragi, Zs., Porkoláb, Z., Sztupák Zs | Advances 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 Z | In 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 Language | Nagy, 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 Workshop | Horváth Z. | EWS'08, Victoria, British Columbia, Canada, September 27, 2008, ACM, ISBN: 978-1-60558-065-4 | Automated syntax manipulation in RefactorErl | Kitlei 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 Education | Zsók V., Horváth Z. | In CD Proc. of ICERI 2008, Spain, ISBN 978-84-612-5091-2, 8 pages. | Refactoring Module Structure | Lö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álata | Tejfel, M. | PhD thesis | Static rules of variable scoping in Erlang | László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király, and Róbert Kitlei | Proceedings of the 7th International Conference on Applied Informatics, volume 2, pages 137-145. 2008 | An Operational Semantics of Temporal Properties in Functional Programs | Máté Tejfel and Tamás Kozsik | Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP), pages 396-406, 2008 | Languages of Logic and their Applications | K. Pásztor Varga, M. Várterész | Computers and Mathematics with Applications, pp 1660-1669 | Java 2 útikalauz programozóknak 5.0 | Judit Nyékyné Gaizler and Attila Lakatos (eds) | ELTE TTK Hallgatói Alapítvány, Budapest, Hungary | On the Correctness of Aspect-Oriented Programs | Norbert Pataki, Zalán Szűgyi, Tamás Kozsik | Proc. of CSE 2008 International Scientific Conference on Computer Science and Engineering, pp. 126-132 | The AV-graph in SQL-Based Environment | Norbert Pataki, Melinda Simon, Zoltán Porkoláb | Proc. 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 Specification | Norbert Pataki, Gergely Dévai | Conference 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 Pataki | WGT 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 Coverage | Zalán Szűgyi, Zoltán Porkoláb | Conference of PhD Students in Computer Science, CSCS 2008, Volume of extended abstracts, 2008, pp. 59 | Quantitative Comparison of MC/DC and DC Test Methods | Zalán Szűgyi, Zoltán Porkoláb | Proc. 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áb | In 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 Control | Krisztián Pócza, Mihály Biczó, Zoltán Porkoláb | In 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áb | In 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.0 | Biczó, M., Pócza, K. | Proceedings of the Workshop on Generative Technologies 2008 (WGT 2008), pages 67-75, Budapest (Hungary) | docx2tex: Word 2007 to TEX | Pó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 Environment | Biczó,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.0 | Pó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 RefactorErl | Kitlei, 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 Eclipse | Li, 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 Coverage | Zalán Szűgyi, Zoltán Porkoláb | Periodica. Polytechnica. Electrical Engineering, 52/3-4 |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
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 Butterfield | Lecture 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 Nagy | Periodica Polytechnica | Towards an Agent Integrated Speculative Scheduling Service. | László Csaba Lőrincz, Attila Ulbert, Zoltán Horváth, Tamás Kozsik | Proceedings 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ók | International Technology, Education and Development Conference (INTED 2007), March 7th-9th, 2007, Valencia, Spain, | Coopertive work and learning. | János Kurtz, Zoltán Porkoláb | International 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ész | Proceedings 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ók | Proceedings of the 7th International Conference on Applied Informatics (ICAI), Eger, Hungary, 2007, jan. 28-31., Eger, Hungary, | The Is_Namespace predicate. | József Mihalicza | Proceedings 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 Zivkovic | Proceedings 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áb | Proceedings 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áb | Proceedings 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 Sipos | Proceedings 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áb | Proceedings 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ás | Proceedings 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áb | Proceedings 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áb | Proceedings 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áb | Proceedings 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áth | University of Novi Sad, Serbia, April | Concept of Type in Clean. | Zoltán Horváth | University of Novi Sad, Serbia, April | International Cooperation in Computer Science, the HU-19 CEEPUS Network | Zoltán Horváth | University of Novi Sad, Serbia, April | Verification of Functional Program Components | Zoltán Horváth, Tamás Kozsik, Máté Tejfel | Heriot-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 Kozsik | University of Cranfield, UK, January | Logical background of Prolog. | Katalin Pásztorné Varga | Technical University of Kosice, Slovakia, April 18 | Template metaprogramming: When, Why, and How?, Invited talk. | Zoltán Porkoláb | 6th International Conference on Applied Informatics (ICAI), Eger, Hungary, January 28-31. | D-Clean | Viktória Zsók | University of Novi Sad, Serbia, April | Az automatikus tételbizonyításról és a Prolog logikai hátteréről. | Katalin Pásztorné Varga | Babes-Bolyai University, Cluj, Romania | Verification of Functional Program Components. (Bizonyítottan Helyes Funkcionális Programkomponensek.) | Zoltán Horváth, Tamás Kozsik, Máté Tejfel | Szoftvertechnológia Fórum, February 7 | Programozási nyelvek - Programozási paradigmák. | Zoltán Porkoláb | INFO Savaria konferencia, Szombathely, Hungary | Introducing Records by Refactoring in Erlang Programs | László Lövei, Zoltán Hováth, Tamás Kozsik, Roland Király | Symposium on Programming Languages and Software Tools 2007 (ISBN 978-963-463-925-1), SPLST 2007, Dobogókő, Hungary, June 14-16, 2007, Eötvös University Press, pp. 292-309. | Semantic Model for Proving Properties of Clean Object I/O Programs | Máté Tejfel, Tamás Kozsik, Zoltán Horváth | Symposium on Programming Languages and Software Tools 2007 (ISBN 978-963-463-925-1), SPLST 2007, Dobogókő, Hungary, June 14-16, 2007, Eötvös University Press, pp. 346-359. | Improving the Distributed Elementwise Processing Implementation in D-Clean | Viktória Zsók, Zoltán Hernyák, Zoltán Horváth | In Proc. of. the 10th Symposium on Programming Languages and Software Tools 2007 (ISBN 978-963-463-925-1), SPLST 2007, Dobogókő, Hungary, June 14-16, 2007, Eötvös University Press, 256-264. | Introducing records by refactoring | Lö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örnyei | In: 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 robot | Zoltán Istenes and Tamás Kozsik | Proc. First International Workshop on Property Verification for Software Components and Services, ProVeCS, ETH Technical Report 576, 2007 | Commanding a robot in a safe way | Zoltán Istenes and Tamás Kozsik | Proceedings of the 10th Symposium on Programming Languages and Software Tools, pages 167-177, 2007 | An Interpretation of Temporal Properties in Functional Programs - Extended Abstract | Máté Tejfel, Tamás Kozsik, and Zoltán Horváth | Implementation and Application of Functional Languages, 19th International Symposium, IFL 2007, pages 224-228. | Towards Profiling C++ Template Metaprograms | Zoltán Porkoláb, József Mihalicza, Norbert Pataki, Ádám Sipos | In Proc. of. the 10th Symposium on Programming Languages and Software Tools 2007 (ISBN 978-963-463-925-1), SPLST 2007, Dobogókő, Hungary, June 14-16, 2007, Eötvös University Press, 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ók | Proceedings of 19th International Symposium of Implementation and Application of Functional Languages (IFL 2007), pp. 489-502 | Towards verified usage of the C++ Standard Template Library | Gergely Dévai, Norbert Pataki | Proc. of. the 10th Symposium on Programming Languages and Software Tools 2007 (ISBN 978-963-463-925-1), SPLST 2007, Dobogókő, Hungary, June 14-16, 2007, Eötvös University Press, pp. 360-371. | Lazy Data Types in C++ Template Metaprograms | Ádám Sipos, Norbert Pataki, Zoltán Porkoláb | Proc. of. 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL 2007) | Separation logic style reasoning in a renement based language | Gergely Dévai, Zoltán Csörnyei | In Proceedings of the 7th International Conference on Applied Informatics | An Improvement on the Access Control Features of C# | Krisztián Pócza, Norbert Pataki | Proceedings of Sixteenth Electrotechnical and Computer Science Conference (ERK 2007), Vol. B. pp. 38-41 | Towards a Software Metric for Generic Programming Paradigm | Norbert Pataki, Krisztián Pócza, Zoltán Porkoláb | Proceedings of Sixteenth Electrotechnical and Computer Science Conference (ERK 2007), Vol. A. pp. 342-345 | Inconsistencies of Metrics in C++ Standard Template Library | Zoltán Porkoláb, Ádám Sipos, Norbert Pataki | Proc. of 11th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering QAOOSE Workshop, ECOOP 2007, pp. 2-6 |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
Fordítóprogramok | Zoltán Csörnyei | | Central European Functional Programming School. First Summer School, CEFP 2005, Budapest, Hungary, July 2005. Revised Selected Lectures. | Zoltán Horváth | Lecture Notes in Computer Science (ISSN 0302-9743), 4164, pages 256 | Típuselmélet | Zoltán Csörnyei | | | Zoltán Horváth, Viktória Zsók | Proceedings 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 Science | Zoltán Csörnyei | Book of abstract, MaCS'06, 6th Joint Conference on Mathematics and Computer Science, Budapest, | Construction of Wavelets and Applications | Ildikó László, Ferenc Schipp, S. P. Kozaitis | JUCS, 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áb | Short communication papers proceedings of .NET Technologies 2006, Plzen, | Temporal properties of Clean programs proven in Sparkle-T | Máté Tejfel, Zoltán Horváth, Tamás Kozsik | Central 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-Box | Viktória Zsók, Zoltán Hernyák, Zoltán Horváth | Central 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 Metaprogramming | Zoltán Porkoláb, István Zólyomi | Generative and Transformational Techniques in Software Engineering,Lecture Notes in Computer Science, Vol. 4143, pages 459-470. | Tutorial on Subtype Marks | Tamás Kozsik | Central 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 Marks | Tamás Kozsik | Proceedings 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 Nagy | Conference 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'06 | Zoltán Csörnyei, Ádám Balogh | Proceedings 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ók | Proceedings 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 Library | Norbert Pataki, Zoltán Porkoláb, Zoltán Istenes | Proceedings 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 Library | Zoltán Porkoláb, József Mihalicza, Ádám Sipos | ACM Digital Library ,, pages 255-264. | "LORD: Lay-Out Relationship and Domain Definition Language"". " | András Benczúr, Zsolt Hernáth, Zoltán Porkoláb | 10th 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áb | 15th International Electrotechnical and Computer Science Conference, | Unique Identifiers in Pure Functional Languages. | Péter Diviánszky | Proceedings 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ák | Proceedings 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áth | 5th 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 Nagy | Proceedings of the 12th International Erlang/OTP User Conference, Stockholm, November 9-10, 2006, Stockholm, Sweden, | Measuring the Complexity of Aspect-Oriented Programs with Multiparadigm Metric | Norbert Pataki, Ádám Sipos, Zoltán Porkoláb | 10th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering QAOOSE Workshop, ECOOP 2006, Nantes, Nantes, France, | Teaching Multiparadigm Programming Based on Object-Oriented Programming | Zoltán Porkoláb, Viktória Zsók | 10th 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 Languages | Zoltán Csörnyei, Ádám Balogh | CSCS2006, The 5th Conference of PhD Students in Computer Science, | Multiple Inheritance of System Predicate Class | Zoltán Csörnyei, Ádám Balogh | Book of abstracts, MaCS'06, 6th Joint Conference on Mathematics and Computer Science, Pécs, Hungary, | ?-Calculus and Rewriting Systems | Zoltán Csörnyei | Book of abstracts, MaCS'06, 6th Joint Conference on Mathematics and Computer Science, Pécs, Hungary, | Structural Complexity Metrics on SDL Programs | Norbert Pataki, Ádám Sipos, Zoltán Porkoláb | Conference 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 Nagy | Conference poster at High Speed Networking Workshop, HSN 2006, | Proving Composing Specifications in Sparkle. Abstract. | Máté Tejfel, Tamás Kozsik, Zoltán Horváth | 6th Joint Conference on Mathematics and Computer Science, Book of Abstracts. , Pécs, Hungary,, pages 90 | Proving Program Properties Specified with Subtype Marks | Tamás Kozsik | 6th Joint Conference on Mathematics and Computer Science, Book of Abstracts. , Pécs, Hungary,, pages 55 | Proving the Correctness of Mobile Code in B | Zoltán Istenes, Tamás Kozsik, Csaba Hoch, László Attila Tóth | 6th 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 Kozsik | Proceedings 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 Kozsik | Conference of PhD Students in Computer Science, CSCS 2006, Volume of extended abstracts, 2006,, pages 71 | Programming Language Elements for Proof Construction. | Gergely Dévai | 6th 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ész | 6th Joint Conference on Mathematics and Computer Science (MaCS 06), Abstracts, Pécs, Hungary, July 12-15, 2006, Pécs, Hungary, | Altípusjeles típusok | Tamá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ály | Analysis 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és | Zoltá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áth | Technical University of Kosice, Slovakia, March 14 | The Verification of Parallel Programs. | Zoltán Horváth | Technical University of Kosice, Slovakia, March 14 | Functional programming. | Zoltán Horváth | Polytechnical Engineering College, Subotica, Serbia, April | Refactoring Erlang Programs. | Zoltán Horváth, László Lövei, Tamás Kozsik, Anikó Víg, Tamás Nagy | Friedrich-Schiller-University Jena, Germany, October 23 | C++ Template Metaprogramming | Zoltán Porkoláb | Technische Universiteit Eindhoven, The Netherland | C++ Metaprogramming | Zoltán Porkoláb | Technical University of Kosice, Slovakia | JoCaML. | Viktória Zsók | University of Nantes, France | D-Clean | Viktória Zsók | Technical University of Kosice, Slovakia | A (matematikai) logika. A Boole függvények alkalmazásai. | Katalin Pásztorné Varga | Polytechnical Engineering College, Subotica, Serbia, May | Az automatikus tételbizonyításról és a Prolog logikai hátteréről. | Katalin Pásztorné Varga | Babes-Bolyai University, Cluj, Romania | Funkcionális programozás nyelvi elemei | Zoltán Horváth | Technical University of Kosice, Slovakia, March | Funkcionális programozás nyelvi elemei | Zoltán Horváth | Polytechnical Engineering College, Subotica, Serbia, April | Proving the correctness of mobile Java code | Zoltán Istenes, Tamás Kozsik, Csaba Hoch, and László Attila Tóth | Pure Mathematics and Applications, 17(3-4):323-342, 2006 | Programming language elements for correctness proofs | Gergely Dévai | In Proceedings of Conference of PhD Students in Computer Science | Programming language elements for proof construction | Gergely Dévai | Pure Mathematics and Applications, 17(3-4):263-288 |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
Fordítóprogramok elemzési algoritmusai | Zoltán Csörnyei | Informatikai Algoritmusok 2. , pages 960-1010. | Párhuzamos és elosztott programozás | Zoltán Horváth | Bevezetés a programozásba III. rész | Petri-hálók alkalmazása elosztott programok vizsgálatára | Zoltán Horváth, Máté Tejfel | Informatikai Algoritmusok 2. , pages 1168-1227. | A method for job scheduling in Grid based on job execution status | Lá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 Framework | Krisztián Pócza, Mihály Biczó, Zoltán Porkoláb | Conference proceedings of .NET Technologies 2005, Plzen, | Data access optimization on grid systems | László Csaba Lőrincz, Tamás Kozsik, Attila Ulbert, Zoltán Horváth | Proceedings 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 Clean | Zoltán Horváth, Zoltán Hernyák, Viktória Zsók | Acta Cybernetica, 17, pages 247-271. | Extending the Sparkle Core Language with object abstraction | Máté Tejfel, Zoltán Horváth, Tamás Kozsik | Acta Cybernetica, 17, pages 419-445. | Distributed Pattern Design in D-Clean | Viktória Zsók, Zoltán Hernyák, Zoltán Horváth | Proceedings of the Ninth Symposium on Programming Languages and Software Tools,, pages 220-234. | Multilevel fusion for enhanced feature detection | Trond Ostrem, Samuel P. Kozaitis, Ildikó László | Proc. SPIE 5817, | Autonomous Applications - Towards a Better Data Integration Model | András Benczúr, Zsolt Hernáth, Zoltán Porkoláb | 9th Advances in Databases and Information Systems, Tallin,, pages 150-163. | Towards a multiparadigm complexity measure | Zoltán Porkoláb, Ádám Sillye | 9th 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ész | The 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ók | Proceedings 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ánszky | Proceedings 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. Kozaitis | Informatics 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áb | Informatika 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ók | Informatika 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á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. | Programozási nyelvek a dokumentumkezelésben | Hajnalka Hegedűs, Zoltán Horváth, Zoltán Porkoláb | Informatika 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ája | Zoltán Porkoláb, Tamás Kozsik, Viktória Zsók | Informatika 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ész | Informatika 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és | Zoltá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ók | Friedrich-Schiller-University Jena, Germany, November 7 | „Research Activities at Eötvös Loránd University”. Computer Science Seminar | Tamás Kozsik | Dept. Comp. Sci., Florida Institute of Technology. Melbourne FL USA, January 21 | Teaching a Relational Model of Programming. | Judit Nyékyné Gaizler | University Klagenfurt, Austria | C++ Template Metaprogramming | Zoltán Porkoláb | University Wien, Vienna, Austria | Distributed Programming and Metaprogramming in C++ | Zoltán Porkoláb | University Klagenfurt, Austria | C++ Metaprogramming | Zoltán Porkoláb | Constantine University, Nitra, Slovakia | C++ Metaprogramming | Zoltán Porkoláb | Babes-Bolyai University, Cluj, Romania | C++ Metaprogramming | Zoltán Porkoláb | University Wien, Vienna, Austria | Parallel Functional Programming. | Viktória Zsók | University of Helsinki, Finland, May 23-25 | Az automatikus tételbizonyításról és a Prolog logikai hátteréről. | Katalin Pásztorné Varga | Babes-Bolyai University, Cluj, Romania | Bizonyítottan helyes funkcionális programkód. | Zoltán Horváth | Eötvös Loránd University of Sciences, Budapest, Hungary, May 2 | A Clean programozási nyelv | Zoltán Horváth | Babes-Bolyai University, Cluj, Romania | Párhuzamos Funkcionális Programozás | Viktória Zsók | University 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 Tatai | Extended abstract for SwarmFest 2005, Turin, Ital |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
Towards a General Template Introspection Library | István Zólyomi, Zoltán Porkoláb | Generative 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 Kozsik | Proceedings 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 Boost | István Zólyomi, Zoltán Porkoláb | Boost 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ólyomi | 18th 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áth | Proceedings 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 abstract | Péter Diviánszky, Rozália Szabó-Nacsa, Zoltán Horváth | Proceedings 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ók | Proceedings 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ók | 18th 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 Kozsik | Proceedings of The 8th World Multi-Conference on Systemics, Cybernetics and Informatics, SCI 2004. Ivited session: Methodologies and Models for Parallel Programs Design, Invited Session at, Systemics. 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ók | Proceedings 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áth | Proceedings 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övei | Proceedings 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é Tejfel | Proceedings 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áth | Conference 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é Tejfel | Fifth Joint Conference on Mathematics and Computer Science, Volume of extended abstracts. Debrecen, Hungary, June 9-12, 2004. ,, pages 47 | The expressive power of inequalities | Tamás Kozsik | Proceedings of 5th Joint Conference on Mathematics and Computer Science (5th MaCS), Debrecen, Hungary, | Usability of Some Theorem Proving Systems. | Katalin Pásztorné Varga | 5th 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ész | Proceedings 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 Metrics | Zoltán Porkoláb, Ádám Sillye | ICAI'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áb | ICAI'04 6th International Conference on Applied Informatics, Eger, Hungary,, pages 445-454. | Deklaratív nyelvek Függőségi Analízise és Tanulása | Gyö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és | Zoltán Horváth | | „Reasoning with Sparkle: a case study”. Technical Report | Tamás Kozsik | | Proving Properties of Components of Functional Programs. | Zoltán Horváth | University Nitra, Slovakia, March 15 | Design of Parallel and Dsitributed Systems. | Zoltán Horváth | University Klagenfurt, Austria, November | Proving Invarians of Functional Programs. | Zoltán Horváth | Friedrich-Schiller-University Jena, Germany, December 13 | Specification and Verification of Erlang Programs in EWT. | László Lövei | HSM Workshop, Budapest, Hungary | Parallel Functional Programming. | Viktória Zsók | Technical University of Tampere, Finland | Az automatikus tételbizonyításról és a Prolog logikai hátteréről. | Katalin Pásztorné Varga | Babes-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ész | Zoltán Horváth | Eö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ás | Zoltán Horváth | Eötvös Loránd University of Sciences, Budapest, Hungary, April 2 | A Clean programozási nyelv | Zoltán Horváth | Babes-Bolyai University, Cluj, Romania | Funkcionális programok átfogalmazása. | Péter Diviánszky | Eötvös Loránd University of Sciences, Budapest, Hungary, November 4 |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
Programozási nyelvek | Judit Nyékyné Gaizler | | A matematikai logika alkalmazásszemléletű tárgyalása | Katalin Pásztorné Varga, Magda Várterész | | Funkcionális programozási nyelvek elemei | Zoltán Horváth | Programozási nyelvek, pages 589-636. | Alprogramok | Tamás Kozsik | Programozási nyelvek, pages 202?275. | Típussal való paraméterezés | Hajnalka Hegedűs, Tamás Marcinkovics, Judit Nyékiné Gaizler, Tamás Kozsik | Programozási nyelvek, pages 352-388. | Párhuzamos nyelvi elemek | Máté Tejfel, Viktória Zsók | Programozási nyelvek, pages 501-561. | Aspektusorientált programozás | Péter Csontos, Tamás Kozsik | Programozá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 Plasmeijer | Mathematical 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áb | Mathematical and Computer Modelling, Vol. 38., pages 815-827. | An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming | István Zólyomi, Zoltán Porkoláb, Tamás Kozsik | Generative Programming and Component Engineering,Lecture Notes in Computer Science, Vol. 2830, pages 209-227. | Proving Invariants of Functional Programs | Zoltán Horváth, Tamás Kozsik, Máté Tejfel | Proceedings of Eighth Symposium on Programming Languages and Software Tools, Kuopio, Finland,, pages 115-126 | Clean-Corba Interface for Parallel Functional Programming on Clusters | Zoltán Horváth, Zoltán Varga, Viktória Zsók | Proceedings 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 Varga | Proceedings 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óthy | Proceedings of the Kalmár Workshop 2003, Szeged, Hungary, | Some Rewriting Systems as a Background of Proving Methods. | Katalin Pásztorné Varga, Magda Várterész | Kalmá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ámai | Zoltá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-S02 | Máté Tejfel | | Rangsorolási algoritmusok. Technical report. | Gábor Zsolt Kovács, Norbert Pataki | | „Subtyping with subtype marks”. Technical Report 2003-P05 | Tamás Kozsik | | Proving Properties of Components of Functional Programs. | Zoltán Horváth | University Klagenfurt, Austria, October 24 | Generic Programming | Zoltán Porkoláb | J. Kepler University,Linz, Austria | Parallel Language Elements in Functional Languages | Viktória Zsók | Paisii Hilendarski University, Plovdiv, Bulgaria, June 26 | Az automatikus tételbizonyításról és a Prolog logikai hátteréről. | Katalin Pásztorné Varga | Babes-Bolyai University, Cluj, Romania | Funkcionális mobil kód helyessége. | Zoltán Horváth | University of Szeged, Hungary, February 25 | Funkcionális programok helyessége. | Zoltán Horváth | Eötvös Loránd University of Sciences, Budapest, Hungary, November 6 | A Clean programozási nyelv | Zoltán Horváth | Babes-Bolyai University, Cluj, Romania | The application of an associative function on the prefixes of a series | Tamás Kozsik | Technical Report 2003-P03, Eötvös Loránd University, Faculty of Informatics, Budapest, Hungary, 2003. | Assign predicates to subtype marks--a case study | Tamás Kozsik | Technical Report 2003-P01, Eötvös Loránd University, Faculty of Informatics, Budapest, Hungary, 2003. |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
J2EE útikalauz Java programozóknak | Nyékyné Gaizler J. (szerk.) et al. | Budapest, 2002, ELTE TTK Hallg. Alapítvány 719 o. | Az adattípus a programozási nyelvekben | Nyé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 Languages | Nyéky-Gaizler J. | Course on the University of Klagenfurt (Austria) 2002 Spring; | A típusok a programozási nyelvek oktatásában | Nyé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 process | Ildiko Laszlo, Zoltan Fuzessy, Gerd Haeusler | Optics and Lasers in Engineering, Vol. 37 (1), 39-49, (2002) | Parallel Functional Programming on Cluster | V. Zsók, Z. Horváth, M. Tejfel | Conference 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ész | PuMA 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 Katalin | Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002, pp. 942-946. | Purely Functional Programming and the Object Oriented Inheritance | Csörnyei Zoltán, Kovács Lehel, Légrádi Gábor | PuMA Pure Mathematics and Applications, Volume 13, No. 1.-2. pp. 125-132, 2002. | Típuselmélet és az objektum-elvű programozás | Csörnyei Zoltán, Nagy Sára | Informatika 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ória | Informatika a felsőoktatásban'02. Debrecen, Aug. 28-30, 2002, pages 1075-1084. | Subtyping with Strengthening Type Invariants. Summer School and Workshop on Generic Programming | Tamás Kozsik | St Anne's College, Oxford, UK, August 26-30 | Constructs of Functional Languages. | Viktória Zsók | Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, November | Verified Mobile Code in Functional Environment. | Viktória Zsók | Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, December | Elosztott funkcionális programok helyessége. | Zoltán Horváth | Informá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ó Varga | Pure Mathematics and Applications (PU.M.A.), 13(1-2):133-158 | Towards better optimization of resource allocation | Zoltán Horváth, Tamás Kozsik, and Attila Ulbert | http://aszt.inf.elte.hu/~grid/, 2002. |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
Java 2 útikalauz programozóknak | Nyékyné Gaizler J. (szerk.) et al. | Budapest, 2001, ELTE TTK Hallg. Alapítvány 1443 o. | Java 2 referencia programozóknak | Nyékyné Gaizler J. (szerk.) et al. | Budapest, 2001, ELTE TTK Hallg. Alapítvány 684 o. | The Complexity of Object-Oriented Programs | Fó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-Orientation | L. Kozma, Á. Frohner, T. Kozsik, Z. Porkoláb | ICAI'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 roughness | Ildiko Laszlo | ODIMAP III, Proceedings, Pavia, Italy (Sept. 20-22, 2001) | Automated alignment by hybrid video and 3D Miore with both conventional and parallel processing | B. Garita, H. Guiterrez, I. Laszlo, J.H. Blatt | SPIE Conference, Boston, 5-8 November 2000;Proceedings of SPIE, Vol. 4189, 129-135 (2001). | Parallel Elementwise Processable Functions in Concurrent Clean | Z. Horváth, V. Zsók, P. Serrarens, R. Plasmeijer | 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. | Skeleton Algorithms in Concurrent Clean | V. Zsók, Z. Horváth | 4th 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 Programming | Csörnyei Zoltán, Kovács Lehel, Légrádi Gábor | Studia XLVI. 1 pp. 101-110, 2001. | Fordítási algoritmusok | Csörnyei Zoltán | Erdélyi Tankönyvtanács, Kolozsvár, 2001. | Java 2 útikalauz programozóknak 1.3 | Judit Nyékyné Gaizler, Ákos Frohner, and Tamás Kozsik (eds) | ELTE TTK Hallgatói Alapítvány, Budapest, Hungary |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
Java 2 útikalauz programozóknak | Nyékyné Gaizler J. (szerk.) et al. | Budapest, 1999, 2000, ELTE TTK Hallg. Alapítvány 1802 o. | Abstraction strategies in practice | Fóthi Á., Nyéky-Gaizler J., Harangozó É. | Annales Univ. Sci. Bud. Sect. Comp. 19(2000) 75-92. | On the Complexity of Object-Oriented Programs | Fó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 background | G.Horváth, G.G. Járos, J. N. Gaizler | World Congress/ISSS 2000, Toronto, CA, 2000. | Programozási nyelvek öszehasonlító elemzése | Nyé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ó Varga | Periodica Polytechnica, Ser El. Eng. Vol.44(2000) No.2 pp. 141-157. | Programozási Nyelvek és Programozási Paradigmák | Porkoláb Zoltán | Plenáris előadás. IV. Magyar Objektum Orientált Konferencia, Budapest, 2000. | Holographic illumination for comparative mea surement | Z. Fuzessy, F.Gyimesi, B. Raczkevi, J. Makai, J.Kornis, I.Laszlo | Optics Communications, 132, (1996) 29-34; Selected SPIE Papers on CD-ROM, Volume 15, Disc2, 2000. | Comparative measurement by speckle interferometry using holographically reconstructed master object | I. Laszlo, Z. Fuzessy, J. Kornis, F. Gyimesi | Opt. Eng., 36 (12), 3323-3326, (December 1997); Selected SPIE Papers on CD-ROM, Volume 15, Disc2, 2000. | Comparative Difference Digital Speckle Pattern Interferometry | I. Laszlo, Z. Fuzessy, J. Kornis | 64th 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ása | Pá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ában | Csörnyei Zoltán, Nagy Sára | Magyar Informatikusok II. Világtalálkozója, pp. 333-334, 2000. | Programozási nyelvek - Programozási paradigmák. | Zoltán Porkoláb | IV. Hungarian Object-Oriented Conference, Budapest, Hungary | Subtyping with strengthening type invariants | Tamás Kozsik, Diederik van Arkel, and Rinus Plasmeijer | Proceedings of the 12th International Workshop on Implementation of Functional Languages, pages 315-330, 2000 |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
Az Ada95 programozási nyelv | Nyékyné Gaizler J. (szerk.) et al. | Egyetemi tankönyv, Budapest, 1999. ELTE Eötvös Kiadó 576 o. | A Formal Semantics of Internal Object Concurrency | Fó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 Class | Fó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ében | Nyé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 Libraries | Zoltán Porkoláb, Róbert Kisteleki | ICAI'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 Them | G. Haeusler, P. Ettl, M. Schenk, G. Bhon, I. Laszlo | ICO IV, Springer Series in Optical Sciences, 74, 328-342, (1999) | Automated Theorem Proving - Some Problem | K. Pásztor-Varga | Third 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ás | Csörnyei Zoltán, Nagy Sára | Informatika a felsőoktatásban’99. Debrecen, 1999 aug. 27-30. Konferencia kiadvány. pp- 583-586. | Dynamic grammars and compilers | Csörnyei Zoltán | Third Joint Conference on Mathematics and Computer Science, 1999. | The Use of Aspect-Oriented Programming in Scientific Simulations | Gulyás László, Kozsik Tamás | Software 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 Language | Gulyás László, Kozsik Tamás, Fazekas Sándor | Proceedings 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 Language | Gulyás László, Kozsik Tamás | Section Proceedings of the 2nd International Conference of PhD Students, Engineering Sciences, pp. 97-104, 1999. | The Multi-Agent Modelling Language and the Model Design Interface | László Gulyás, Tamás Kozsik, and John B. Corliss | Journal of Artificial Societies and Social Simulation, 2(3) |
|
Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | Edit in Browser | /_layouts/images/icxddoc.gif | /en/publications/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | View in Web Browser | /_layouts/images/ichtmxls.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | Snapshot in Excel | /_layouts/images/ewr134.gif | /en/publications/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
|
|
|