Остановите войну!
for scientists:
default search action
Zoltán Horváth
- > Home > Persons > Zoltán Horváth
Publications
- 2021
- [j17]Dániel Balázs Rátai, Zoltán Horváth, Zoltán Porkoláb, Melinda Tóth:
Traquest Model: A Novel Model for ACID Concurrent Computations. Acta Cybern. 25(2): 435-468 (2021) - [c24]Charles Ferrari, Benedek Kovács, Melinda Tóth, Zoltán Horváth, Anna Reale:
Edge Computing for Communication Service Providers: A Review on the Architecture, Ownership and Governing Models. SoftCOM 2021: 1-6 - 2019
- [e12]Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth:
Central European Functional Programming School - 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers. Lecture Notes in Computer Science 10094, Springer 2019, ISBN 978-3-030-28345-2 [contents] - 2017
- [c23]Anna Reale, Melinda Tóth, Zoltán Horváth:
Towards context aware computations offloading in 5G. ECSA (Companion) 2017: 89-92 - [c20]Dániel Horpácsi, Judit Köszegi, Zoltán Horváth:
Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study. VPT@ETAPS 2017: 92-108 - 2016
- [j14]Tamás Kozsik, Melinda Tóth, István Bozó, Zoltán Horváth:
Static Analysis for Divide-and-Conquer Pattern Discovery. Comput. Informatics 35(4): 764-791 (2016) - [e11]Zoran Budimac, Zoltán Horváth, Tamás Kozsik:
Proceedings of the Fifth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Budapest, Hungary, August 29-31, 2016. CEUR Workshop Proceedings 1677, CEUR-WS.org 2016 [contents] - 2015
- [e10]Viktória Zsók, Zoltán Horváth, Lehel Csató:
Central European Functional Programming School - 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8606, Springer 2015, ISBN 978-3-319-15939-3 [contents] - 2014
- [c17]István Bozó, Viktoria Fordós, Zoltán Horváth, Melinda Tóth, Dániel Horpácsi, Tamás Kozsik, Judit Köszegi, Adam D. Barwell, Christopher Brown, Kevin Hammond:
Discovering parallel pattern candidates in Erlang. Erlang Workshop 2014: 13-23 - [c15]István Bozó, Viktoria Fordós, Dániel Horpácsi, Zoltán Horváth, Tamás Kozsik, Judit Köszegi, Melinda Tóth:
Refactorings to Enable Parallelization. Trends in Functional Programming 2014: 104-121 - 2012
- [e9]Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer:
Central European Functional Programming School - 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7241, Springer 2012, ISBN 978-3-642-32095-8 [contents] - 2011
- [e8]Rex L. Page, Zoltán Horváth, Viktória Zsók:
Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6546, Springer 2011, ISBN 978-3-642-22940-4 [contents] - 2010
- [c13]Emil Axelsson, Koen Claessen, Gergely Dévai, Zoltán Horváth, Karin Keijzer, Bo Lyckegård, Anders Persson, Mary Sheeran, Josef Svenningsson, András Vajda:
Feldspar: A domain specific language for digital signal processing algorithms. MEMOCODE 2010: 169-178 - [e7]Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók:
Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures. Lecture Notes in Computer Science 6299, Springer 2010, ISBN 978-3-642-17684-5 [contents] - 2009
- [j7]Attila Ulbert, László Csaba Lorincz, Tamás Kozsik, Zoltán Horváth:
Speculative Scheduling of Parameter Sweep Applications Using Job Behavior Descriptions. Int. J. Grid High Perform. Comput. 1(1): 22-38 (2009) - [c12]Melinda Tóth, István Bozó, Zoltán Horváth, László Lövei, Máté Tejfel, Tamás Kozsik:
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs. CEFP 2009: 372-390 - [e6]Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter W. M. Koopman:
Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009, Komárno, Slovakia, June 2-4, 2009. Trends in Functional Programming 10, Intellect 2009, ISBN 978-1-84150-405-6 [contents] - 2008
- [c10]Péter Bauer, Zsolt Hernáth, Zoltán Horváth, Gyula Mayer, Zsolt Parragi, Zoltán Porkoláb, Zsolt Sztupák:
HypereiDoc - An XML Based Framework Supporting Cooperative Text Editions. ADBIS 2008: 14-29 - [e5]Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók:
Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures. Lecture Notes in Computer Science 5161, Springer 2008, ISBN 978-3-540-88058-5 [contents] - [e3]Olaf Chitil, Zoltán Horváth, Viktória Zsók:
Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Lecture Notes in Computer Science 5083, Springer 2008, ISBN 978-3-540-85372-5 [contents] - 2007
- [c9]Tamás Kozsik, Zoltán Csörnyei, Zoltán Horváth, Roland Király, Róbert Kitlei, László Lövei, Tamás Nagy, Melinda Tóth, Anikó Nagyné Víg:
Use Cases for Refactoring in Erlang. CEFP 2007: 250-285 - [c8]László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király, Anikó Nagyné Víg, Tamás Nagy:
Refactoring in Erlang, a Dynamic Functional Language. WRT 2007: 44-45 - [c7]László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király:
Introducing records by refactoring. Erlang Workshop 2007: 18-28 - [e2]Zoltán Horváth, Viktória Zsók, Andrew Butterfield:
Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4449, Springer 2007, ISBN 978-3-540-74129-9 [contents] - 2006
- [j5]Zoltán Horváth, Zoltán Hernyák, Viktória Zsók:
Coordination Language for Distributed Clean. Acta Cybern. 17(2): 247-271 (2006) - [j4]Máté Tejfel, Zoltán Horváth, Tamás Kozsik:
Extending the Sparkle Core language with object abstraction. Acta Cybern. 17(2): 419-445 (2006) - [j3]József Berke, Zsolt Polgár, Zoltán Horváth, Tamás Nagy:
Developing on Exact Quality and Classification System for Plant Improvement. J. Univers. Comput. Sci. 12(9): 1154-1164 (2006) - 2005
- [j2]László Csaba Lorincz, Tamás Kozsik, Attila Ulbert, Zoltán Horváth:
A method for job scheduling in Grid based on job execution status. Multiagent Grid Syst. 1(3): 197-208 (2005) - [c5]Máté Tejfel, Zoltán Horváth, Tamás Kozsik:
Temporal Properties of Clean Programs Proven in Sparkle-T. CEFP 2005: 168-190 - [c4]Viktória Zsók, Zoltán Hernyák, Zoltán Horváth:
Designing Distributed Computational Skeletons in D-Clean and D-Box. CEFP 2005: 223-256 - [c3]László Csaba Lorincz, Tamás Kozsik, Attila Ulbert, Zoltán Horváth:
Data access optimization on grid systems. WETICE 2005: 319-324 - 2003
- [c2]Zoltán Horváth, Tamás Kozsik, Máté Tejfel:
Proving Invariants of Functional Programs. SPLST 2003: 115-126 - [c1]Zoltán Horváth, Zoltán Varga, Viktória Zsók:
Clean-CORBA Interface for Parallel Functional Programming on Clusters. SPLST 2003: 127-136
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-03-12 02:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint