Zoltán Horváth

Orcid: 0000-0001-9213-2681

Affiliations:
  • Eötvös Loránd University, Budapest, Hungary


According to our database1, Zoltán Horváth authored at least 44 papers between 1995 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A MILP approach combined with clustering to solve a special petrol station replenishment problem.
Central Eur. J. Oper. Res., March, 2024

2023
A physics-based reduced order model for urban air pollution prediction.
CoRR, 2023

2021
Traquest Model: A Novel Model for ACID Concurrent Computations.
Acta Cybern., 2021

Edge Computing for Communication Service Providers: A Review on the Architecture, Ownership and Governing Models.
Proceedings of the International Conference on Software, 2021

New COVID protocol for elite athletes to returning to sport.
Proceedings of the 14th International Congress on Image and Signal Processing, 2021

2017
Battery consumption of smartphone sensors.
J. Reliab. Intell. Environ., 2017

Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study.
Proceedings of the Proceedings Fifth International Workshop on Verification and Program Transformation, 2017

A novel unified approach to invariance conditions for a linear dynamical system.
Appl. Math. Comput., 2017

Smart class schedule with indoor positioning.
Proceedings of the 4th International Conference on Systems and Informatics, 2017

Indoor autonomous drone development.
Proceedings of the 13th International Conference on Natural Computation, 2017

Towards context aware computations offloading in 5G.
Proceedings of the 11th European Conference on Software Architecture, 2017

2016
Strong stability preserving explicit peer methods.
J. Comput. Appl. Math., 2016

Static Analysis for Divide-and-Conquer Pattern Discovery.
Comput. Informatics, 2016

2015
On Preservation of Positivity in Some Finite Element Methods for the Heat Equation.
Comput. Methods Appl. Math., 2015

MILP models for the optimization of real production lines.
Central Eur. J. Oper. Res., 2015

Battery Consumption of Smartphone Sensors.
Proceedings of the 11th International Conference on Signal-Image Technology & Internet-Based Systems, 2015

Sensitivity of Sensors Built in Smartphones.
Proceedings of the Harmony Search Algorithm, 2015

2014
Refactorings to Enable Parallelization.
Proceedings of the Trends in Functional Programming, 2014

More Sensors or Better Algorithm?
Proceedings of the Service Science and Knowledge Innovation, 2014

Discovering parallel pattern candidates in Erlang.
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013
Integrated experimental design and nonlinear optimization to handle computationally expensive models under resource constraints.
J. Glob. Optim., 2013

New effective MILP models for PFSPs arising from real applications.
Central Eur. J. Oper. Res., 2013

2012
Hybrid Bacterial Iterated Greedy heuristics for the Permutation Flow Shop Problem.
Proceedings of the IEEE Congress on Evolutionary Computation, 2012

2010
Feldspar: A domain specific language for digital signal processing algorithms.
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

2009
Speculative Scheduling of Parameter Sweep Applications Using Job Behavior Descriptions.
Int. J. Grid High Perform. Comput., 2009

Motivations, technologies, and sustainability models of wireless municipal networks.
IEEE Commun. Mag., 2009

Elimination of RLAN interference on weather radars by channel allocation in 5 GHz band.
Proceedings of the International Conference on Ultra Modern Telecommunications, 2009

Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs.
Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2008
Motivations, Design and Business Models of Wireless Community Networks.
Mob. Networks Appl., 2008

HypereiDoc - An XML Based Framework Supporting Cooperative Text Editions.
Proceedings of the Advances in Databases and Information Systems, 2008

2007
Wireless community networks: motivations, design and business models.
Proceedings of the 3rd International ICSTConference on Wireless Internet, 2007

Introducing records by refactoring.
Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007, 2007

Refactoring in Erlang, a Dynamic Functional Language.
Proceedings of the 1st Workshop on Refactoring Tools, 2007

Use Cases for Refactoring in Erlang.
Proceedings of the Central European Functional Programming School, Second Summer School, 2007

2006
Developing on Exact Quality and Classification System for Plant Improvement.
J. Univers. Comput. Sci., 2006

Extending the Sparkle Core language with object abstraction.
Acta Cybern., 2006

Coordination Language for Distributed Clean.
Acta Cybern., 2006

2005
A method for job scheduling in Grid based on job execution status.
Multiagent Grid Syst., 2005

Data access optimization on grid systems.
Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

Designing Distributed Computational Skeletons in D-Clean and D-Box.
Proceedings of the Central European Functional Programming School, First Summer School, 2005

Temporal Properties of Clean Programs Proven in Sparkle-T.
Proceedings of the Central European Functional Programming School, First Summer School, 2005

2003
Clean-CORBA Interface for Parallel Functional Programming on Clusters.
Proceedings of the Eighth Symposium on Programming Languages and Software Tools, 2003

Proving Invariants of Functional Programs.
Proceedings of the Eighth Symposium on Programming Languages and Software Tools, 2003

1995
Parallel Asynchronous Computation of the Values of an Assotiative Function.
Acta Cybern., 1995


  Loading...