Zoltán Horváth

57 papers B 1C 3Misc 1Journal 19Unranked 20
YearRankTypeTitle / Venue / Authors
2024 J jnl
A MILP approach combined with clustering to solve a special petrol station replenishment problem.
Central Eur. J. Oper. Res.
Tamás Hajba, Zoltán Horváth, Dániel Heitz, Bálint Psenák
2024 — ed.
Proceedings of the Eleventh Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Novi Sad, Serbia, September 9-11, 2024.
SQAMIA
Marjan Hericko, Vladimir Kurbalija, Luka Pavlic, Gordana Rakic, Hannu Jaakkola, Zoltán Horváth, Mirjana Ivanovic
2023 J jnl
A physics-based reduced order model for urban air pollution prediction.
CoRR
Moaad Khamlich, Giovanni Stabile, Gianluigi Rozza, László Környei, Zoltán Horváth
2021 Misc conf
Edge Computing for Communication Service Providers: A Review on the Architecture, Ownership and Governing Models.
SoftCOM
Charles Ferrari, Benedek Kovács, Melinda Tóth, Zoltán Horváth, Anna Reale
2021 — conf
New COVID protocol for elite athletes to returning to sport.
CISP-BMEI
Zoltán Horváth, Dóra Nagy
2021 J jnl
Traquest Model: A Novel Model for ACID Concurrent Computations.
Acta Cybern.
Dániel Balázs Rátai, Zoltán Horváth, Zoltán Porkoláb, Melinda Tóth
2019 — ed.
Central European Functional Programming School - 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers
CEFP
Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth
2017 J jnl
A novel unified approach to invariance conditions for a linear dynamical system.
Appl. Math. Comput.
Zoltán Horváth, Yunfei Song, Tamás Terlaky
2017 J jnl
Battery consumption of smartphone sensors.
J. Reliab. Intell. Environ.
Zoltán Horváth, Ildiko Jenak, Ferenc Brachmann
2017 — conf
Indoor autonomous drone development.
ICNC-FSKD
Zoltán Horváth, Norbert Zentai, Ildiko Jenak
2017 — conf
Smart class schedule with indoor positioning.
ICSAI
Zoltán Horváth, Donludee Jaisut, Adel Osztopanyi, Kitti Sugar
2017 — conf
Towards context aware computations offloading in 5G.
ECSA (Companion)
Anna Reale, Melinda Tóth, Zoltán Horváth
2017 — conf
Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study.
VPT@ETAPS
Dániel Horpácsi, Judit Köszegi, Zoltán Horváth
2016 — ed.
Proceedings of the Fifth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, Budapest, Hungary, August 29-31, 2016.
SQAMIA
Zoran Budimac, Zoltán Horváth, Tamás Kozsik
2016 J jnl
Static Analysis for Divide-and-Conquer Pattern Discovery.
Comput. Informatics
Tamás Kozsik, Melinda Tóth, István Bozó, Zoltán Horváth
2016 J jnl
Strong stability preserving explicit peer methods.
J. Comput. Appl. Math.
Zoltán Horváth, Helmut Podhaisky, Rüdiger Weiner
2015 — conf
Battery Consumption of Smartphone Sensors.
SITIS
Zoltán Horváth, Ildiko Jenak
2015 — ed.
Central European Functional Programming School - 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
CEFP
Viktória Zsók, Zoltán Horváth, Lehel Csató
2015 J jnl
MILP models for the optimization of real production lines.
Central Eur. J. Oper. Res.
Tamás Hajba, Zoltán Horváth
2015 J jnl
On Preservation of Positivity in Some Finite Element Methods for the Heat Equation.
Comput. Methods Appl. Math.
Panagiotis Chatzipantelidis, Zoltán Horváth, Vidar Thomée
2015 — conf
Sensitivity of Sensors Built in Smartphones.
ICHSA
Zoltán Horváth, Ildiko Jenak, Tianhang Wu, Cui Xuan
2014 — conf
Discovering parallel pattern candidates in Erlang.
Erlang Workshop
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
2014 — conf
More Sensors or Better Algorithm?
ICISO
Zoltán Horváth, Hanna Horvath
2014 — conf
Refactorings to Enable Parallelization.
Trends in Functional Programming
István Bozó, Viktoria Fordós, Dániel Horpácsi, Zoltán Horváth, Tamás Kozsik, Judit Köszegi, Melinda Tóth
2013 J jnl
Integrated experimental design and nonlinear optimization to handle computationally expensive models under resource constraints.
J. Glob. Optim.
János D. Pintér, Zoltán Horváth
2013 J jnl
New effective MILP models for PFSPs arising from real applications.
Central Eur. J. Oper. Res.
Tamás Hajba, Zoltán Horváth
2012 — ed.
Central European Functional Programming School - 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
CEFP
Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer
2012 B conf
Hybrid Bacterial Iterated Greedy heuristics for the Permutation Flow Shop Problem.
IEEE Congress on Evolutionary Computation
Krisztián Balázs, Zoltán Horváth, László T. Kóczy
2011 — ed.
Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
Trends in Functional Programming
Rex L. Page, Zoltán Horváth, Viktória Zsók
2010 — ed.
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
CEFP
Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók
2010 C conf
Feldspar: A domain specific language for digital signal processing algorithms.
MEMOCODE
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
2009 — conf
Elimination of RLAN interference on weather radars by channel allocation in 5 GHz band.
ICUMT
Zoltán Horváth, Dávid Varga
2009 — conf
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs.
CEFP
Melinda Tóth, István Bozó, Zoltán Horváth, László Lövei, Máté Tejfel, Tamás Kozsik
2009 J jnl
Motivations, technologies, and sustainability models of wireless municipal networks.
IEEE Commun. Mag.
Károly Farkas, Csaba A. Szabó, Zoltán Horváth
2009 — ed.
Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009, Komárno, Slovakia, June 2-4, 2009.
Trends in Functional Programming
Zoltán Horváth, Viktória Zsók, Peter Achten, Pieter W. M. Koopman
2009 J jnl
Speculative Scheduling of Parameter Sweep Applications Using Job Behavior Descriptions.
Int. J. Grid High Perform. Comput.
Attila Ulbert, László Csaba Lorincz, Tamás Kozsik, Zoltán Horváth
2008 — ed.
Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
CEFP
Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók
2008 C conf
HypereiDoc - An XML Based Framework Supporting Cooperative Text Editions.
ADBIS
Péter Bauer, Zsolt Hernáth, Zoltán Horváth, Gyula Mayer, Zsolt Parragi, Zoltán Porkoláb, Zsolt Sztupák
2008 — ed.
Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
IFL
Olaf Chitil, Zoltán Horváth, Viktória Zsók
2008 J jnl
Motivations, Design and Business Models of Wireless Community Networks.
Mob. Networks Appl.
Csaba A. Szabó, Károly Farkas, Zoltán Horváth
2008 — ed.
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008
Erlang Workshop
Soon Tee Teoh, Zoltán Horváth
2007 — ed.
Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
IFL
Zoltán Horváth, Viktória Zsók, Andrew Butterfield
2007 — conf
Introducing records by refactoring.
Erlang Workshop
László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király
2007 — conf
Refactoring in Erlang, a Dynamic Functional Language.
WRT
László Lövei, Zoltán Horváth, Tamás Kozsik, Roland Király, Anikó Nagyné Víg, Tamás Nagy
2007 — conf
Use Cases for Refactoring in Erlang.
CEFP
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
2007 — conf
Wireless community networks: motivations, design and business models.
WICON
Csaba A. Szabó, Zoltán Horváth, Károly Farkas
2006 — ed.
Central European Functional Programming School, First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
CEFP
Zoltán Horváth
2006 J jnl
Coordination Language for Distributed Clean.
Acta Cybern.
Zoltán Horváth, Zoltán Hernyák, Viktória Zsók
2006 J jnl
Developing on Exact Quality and Classification System for Plant Improvement.
J. Univers. Comput. Sci.
József Berke, Zsolt Polgár, Zoltán Horváth, Tamás Nagy
2006 J jnl
Extending the Sparkle Core language with object abstraction.
Acta Cybern.
Máté Tejfel, Zoltán Horváth, Tamás Kozsik
2005 J jnl
A method for job scheduling in Grid based on job execution status.
Multiagent Grid Syst.
László Csaba Lorincz, Tamás Kozsik, Attila Ulbert, Zoltán Horváth
2005 C conf
Data access optimization on grid systems.
WETICE
László Csaba Lorincz, Tamás Kozsik, Attila Ulbert, Zoltán Horváth
2005 — conf
Designing Distributed Computational Skeletons in D-Clean and D-Box.
CEFP
Viktória Zsók, Zoltán Hernyák, Zoltán Horváth
2005 — conf
Temporal Properties of Clean Programs Proven in Sparkle-T.
CEFP
Máté Tejfel, Zoltán Horváth, Tamás Kozsik
2003 — conf
Clean-CORBA Interface for Parallel Functional Programming on Clusters.
SPLST
Zoltán Horváth, Zoltán Varga, Viktória Zsók
2003 — conf
Proving Invariants of Functional Programs.
SPLST
Zoltán Horváth, Tamás Kozsik, Máté Tejfel
1995 J jnl
Parallel Asynchronous Computation of the Values of an Assotiative Function.
Acta Cybern.
Zoltán Horváth