VLDB 2026 Research / reviewers in the wild / expert

Zoltán Kovács

dblp:69/4076 · DBLP profile ↗
← Back
10ranked-venue papers
6as first author
2since 2021 · last 2025
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 7 · 5 first-author · 1 since 2021Artificial intelligence and machine learning · 5 · 3 first-author · 1 since 2021Software engineering, systems software and programming languages · 3 · 2 first-authorSystems, architecture and hardware · 1
YearPublicationVenuePosition
2025 A simple proof of correctness of folding the regular heptagon
Zoltán Kovács
 J. Autom. Reason.1
2024 Computing with Tarski formulas and semi-algebraic sets in a web browser
Zoltán Kovács, Christopher W. Brown 0001, Tomás Recio, Róbert Vajda
 J. Symb. Comput.1
2020 "Mathemachines" via LEGO, GeoGebra and CindyJS
Zoltán Kovács
 CASC1
2020 Special issue on dynamic geometry and automated reasoning
Francisco Botana, Zoltán Kovács, Tomás Recio
 J. Symb. Comput.2
2020 Reasoning about linkages with dynamic geometry
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
 J. Symb. Comput.1
2019 Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations
Zoltán Kovács, Pavel Pech
 CICM1
2018 Automated Determination of Isoptics with Dynamic Geometry
Thierry N. Dana-Picard, Zoltán Kovács
 CICM2
2018 Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools
Zoltán Kovács
 CICM1
2015 Automated Theorem Proving in GeoGebra: Current Achievements
Francisco Botana, Markus Hohenwarter, Predrag Janicic, Zoltán Kovács, Ivan Petrovic, Tomás Recio, Simon Weitzhofer
 J. Autom. Reason.4
2009 Effective mars rover platform design with Hardware / Software co-design
abstract
Nowadays in embedded system design it is essential to use Hardware/Software (HW/SW) co-design. This paper is about the development of an autonomic mobile navigation with HW/SW co-design. We managed to design such a system that won the first prize at one of the greatest Mars rover competitions in Hungary. The paper demonstrates how to keep the project costs and system design process time low with this methodology. The hardware-software partitioning is discussed in details. This paper is going to deal with the possible and already used technologies in details by emphasizing their advantages.
Gábor Marosy, Zoltán Kovács, Gyula Horváth
 DDECS2