Fortran Program to determine diffusion constants. - Zoltán Kovács; István Mezey (Comput. Chem., 1981)

Special Applications in Surface Fitting. - Thomas Hermann 002; Zoltán Kovács; Tamás Várady (Geometric Modeling, 1997)

On Merging Reduction of the Process Network Synthesis Problem. - Cs. Holló; Zoltán Blázsik; Csanád Imreh; Zoltán Kovács (Acta Cybern., 1999)

Synthesis of Optimal Workflow Structure. - József Tick; Zoltán Kovács; Ferenc Friedler (J. Univers. Comput. Sci., 2006)

Treating measurement uncertainty in complete conformity control system. - Zsolt Tibor Kosztyán; Tibor Csizmadia; Csaba Hegedüs; Zoltán Kovács (SCSS (1), 2008)

Heuristic algorithms for a complex parallel machine scheduling problem. - Zoltán Blázsik; Csanád Imreh; Zoltán Kovács (Central Eur. J. Oper. Res., 2008)

Effective mars rover platform design with Hardware / Software co-design. - Gábor Marosy; Zoltán Kovács; Gyula Horváth (DDECS, 2009)

Logistikmanagement der Produktauslaufphase: Ansätze zur Kundenorientierung und Kostenreduzierung im Lebenszykluskonzept. - Zoltán Kovács; Noémi Szalai (PBFT, 2009)

Taste Attributes Profiling in Carrot Juice Using an Electronic Tongue. - Zoltán Kovács; Dániel Szöllosi; András Fekete; Koichi Yoshida; Emiko Ishikawa; Sandrine Isz; Marion Bonnefille (PerMIn, 2012)

Economically optimal control of batch diafiltration processes. - Martin Jelemenský; Radoslav Paulen; Miroslav Fikar; Zoltán Kovács (CCA, 2013)

Multi-objective optimal control of ultrafiltration/diafiltration processes. - Martin Jelemenský; Radoslav Paulen; Miroslav Fikar; Zoltán Kovács (ECC, 2013)

The Relation Tool in GeoGebra 5. - Zoltán Kovács (ADG, 2014)

A Singular web service for geometric computations. - Francisco Botana; Zoltán Kovács (Ann. Math. Artif. Intell., 2015)

Time-optimal operation of multi-component batch diafiltration. - Martin Jelemenský; Radoslav Paulen; Miroslav Fikar; Zoltán Kovács (Comput. Chem. Eng., 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., 2015)

Giac and GeoGebra - Improved Gröbner Basis Computations. - Zoltán Kovács; Bernard Parisse (Computer Algebra and Polynomials, 2015)

Towards the Automatic Discovery of Theorems in GeoGebra. - Miguel A. Abánades; Francisco Botana; Zoltán Kovács; Tomás Recio; Csilla Sólyom-Gecse (ICMS, 2016)

Development of automatic reasoning tools in GeoGebra. - Miguel A. Abánades; Francisco Botana; Zoltán Kovács; Tomás Recio; Csilla Sólyom-Gecse (ACM Commun. Comput. Algebra, 2016)

New tools in GeoGebra offering novel opportunities to teach loci and envelopes. - Francisco Botana; Zoltán Kovács (CoRR, 2016)

GeoGebra Tools with Proof Capabilities. - Zoltán Kovács; Csilla Sólyom-Gecse (CoRR, 2016)

Smart Sensing System for the Prognostic Monitoring of Bone Health. - Nasrin Afsarimanesh; Asif I. Zia; Subhas Chandra Mukhopadhyay; Marlena Kruger; Pak-Lam Yu; Jürgen Kosel; Zoltán Kovács (Sensors, 2016)

No, This is not a Circle. - Zoltán Kovács (CoRR, 2017)

A note about Euler's inequality and automated reasoning with dynamic geometry. - Zoltán Kovács; Róbert Vajda (CoRR, 2017)

Foreword. - Thierry N. Dana-Picard; Wolfram Koepf; Ilias S. Kotsireas; Zoltán Kovács; Alexander N. Prokopenya; Werner M. Seiler (Math. Comput. Sci., 2017)

Real-time Animated Dynamic Geometry in the Classrooms by Using Fast Gröbner Basis Computations. - Zoltán Kovács (Math. Comput. Sci., 2017)

Towards an Automated Geometer. - Francisco Botana; Zoltán Kovács; Tomás Recio (AISC, 2018)

Discovering Geometry Theorems in Regular Polygons. - Zoltán Kovács (AISC, 2018)

Automated Determination of Isoptics with Dynamic Geometry. - Thierry N. Dana-Picard; Zoltán Kovács (CICM, 2018)

Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools. - Zoltán Kovács (CICM, 2018)

Advantages and Dangers on Utilizing GeoGebra Automated Reasoning Tools. - Zoltán Kovács (CICM Workshops, 2018)

Detecting truth on components. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (CoRR, 2018)

Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations. - Zoltán Kovács; Pavel Pech (CICM, 2019)

Individual Tree Species Classification Using Airborne Hyperspectral Imagery And Lidar Data. - Péter Burai; László Beko; Csaba Lenart; Tamás Tomor; Zoltán Kovács (WHISPERS, 2019)

Rewriting input expressions in complex algebraic geometry provers. - Zoltán Kovács; Tomás Recio; Csilla Sólyom-Gecse (Ann. Math. Artif. Intell., 2019)

Portfolio theorem proving and prover runtime prediction for geometry. - Mladen Nikolic; Vesna Marinkovic; Zoltán Kovács; Predrag Janicic (Ann. Math. Artif. Intell., 2019)

Synthesis algorithms for the reliability analysis of processing systems. - Zoltán Kovács; Ákos Orosz; Ferenc Friedler (Central Eur. J. Oper. Res., 2019)

Towards a Geometry Automated Provers Competition. - Nuno Baeta; Pedro Quaresma; Zoltán Kovács (ThEdu@CADE, 2019)

Efficiency of local minima and GLM techniques in sinkhole extraction from a LiDAR-based terrain model. - Péter Enyedi; Melinda Pap; Zoltán Kovács; László Takács-Szilágyi; Szilárd Szabó (Int. J. Digit. Earth, 2019)

Achievements and Challenges in Automatic Locus and Envelope Animations in Dynamic Geometry. - Zoltán Kovács (Math. Comput. Sci., 2019)

Standard Analytical Methods, Sensory Evaluation, NIRS and Electronic Tongue for Sensing Taste Attributes of Different Melon Varieties. - Dzsenifer Németh; Gábor Balázs; Hussein G. Daood; Zoltán Kovács; Zsanett Bodor; John-Lewis Zinia Zaukuu; Viktor Szentpeteri; Zoltán Kókai; Noemi Kappel (Sensors, 2019)

GeoGebra and the realgeom Reasoning Tool. - Róbert Vajda; Zoltán Kovács (PAAR+SC²@IJCAR, 2020)

"Mathemachines" via LEGO, GeoGebra and CindyJS. - Zoltán Kovács (CASC, 2020)

Steps to Visible Aquaphotomics. - Vladyslav Bozhynov; Oleksandr Mashchenko; Pavla Urbanová; Zoltán Kovács (IWBBIO, 2020)

Merging Maple and GeoGebra Automated Reasoning Tools. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (MC, 2020)

Towards Automated Discovery of Geometrical Theorems in GeoGebra. - Zoltán Kovács; Jonathan H. Yu (CoRR, 2020)

Special issue on dynamic geometry and automated reasoning. - Francisco Botana; Zoltán Kovács; Tomás Recio (J. Symb. Comput., 2020)

Reasoning about linkages with dynamic geometry. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (J. Symb. Comput., 2020)

Automated Detection of Interesting Properties in Regular Polygons. - Zoltán Kovács (Math. Comput. Sci., 2020)

Historical Evolution and Food Control Achievements of Near Infrared Spectroscopy, Electronic Nose, and Electronic Tongue - Critical Overview. - Balkis Aouadi; John-Lewis Zinia Zaukuu; Flora Vitális; Zsanett Bodor; Orsolya Fehér; Zoltan Gillay; György Bázár; Zoltán Kovács (Sensors, 2020)

Sensory and Physicochemical Evaluation of Acacia and Linden Honey Adulterated with Sugar Syrup. - Zsanett Bodor; Zoltán Kovács; Mahmoud Said Rashed; Zoltán Kókai; István Dalmadi; Csilla Benedek (Sensors, 2020)

Classification of Bee Pollen and Prediction of Sensory and Colorimetric Attributes - A Sensometric Fusion Approach by e-Nose, e-Tongue and NIR. - László Sipos; Rita Végh; Zsanett Bodor; John-Lewis Zinia Zaukuu; Géza Hitka; György Bázár; Zoltán Kovács (Sensors, 2020)

Detection and Quantification of Tomato Paste Adulteration Using Conventional and Rapid Analytical Methods. - Flora Vitális; John-Lewis Zinia Zaukuu; Zsanett Bodor; Balkis Aouadi; Géza Hitka; Timea Kaszab; Viktoria Zsom-Muha; Zoltan Gillay; Zoltán Kovács (Sensors, 2020)

Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities. - Zoltán Kovács; Róbert Vajda (CICM Workshops, 2021)

Automated reasoning tools in GeoGebra discovery. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (ACM Commun. Comput. Algebra, 2021)

Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski. - Christopher W. Brown 001; Zoltán Kovács; Róbert Vajda (ADG, 2021)

Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra. - Zoltán Kovács; Róbert Vajda (ADG, 2021)

Online Generation of Proofs Without Words. - Alexander Thaller; Zoltán Kovács (ADG, 2021)

GeoGebra Discovery in Context. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (ADG, 2021)

Symbolic Comparison of Geometric Quantities in GeoGebra. - Zoltán Kovács; Róbert Vajda (ThEdu@CADE, 2021)

Automated Discovery of Geometrical Theorems in GeoGebra. - Zoltán Kovács; Jonathan H. Yu (ThEdu@CADE, 2021)

XaoS 4.0 and Beyond: Fractals in Mathematics Education. - Anurag Aggarwal; Zoltán Kovács; J. B. Langston; Jonathan Wolfe (Math. Comput. Sci., 2021)

A Mechanical Geometer. - Francisco Botana; Zoltán Kovács; Tomás Recio (Math. Comput. Sci., 2021)

Two almost-circles, and two real ones. - Zoltán Kovács (Math. Comput. Sci., 2021)

Validation of Visually Interpreted Corine Land Cover Classes with Spectral Values of Satellite Images and Machine Learning. - Orsolya Gyöngyi Varga; Zoltán Kovács; László Beko; Péter Burai; Zsuzsanna Csatáriné Szabó; Imre Holb; Sarawut Ninsawat; Szilárd Szabó (Remote. Sens., 2021)

Near-Infrared Spectroscopy and Aquaphotomics for Monitoring Mung Bean (Vigna radiata) Sprout Growth and Validation of Ascorbic Acid Content. - David Tjandra Nugraha; John-Lewis Zinia Zaukuu; Juan Pablo Aguinaga Bósquez; Zsanett Bodor; Flora Vitális; Zoltán Kovács (Sensors, 2021)

Standardized Extraction Techniques for Meat Analysis with the Electronic Tongue: A Case Study of Poultry and Red Meat Adulteration. - John-Lewis Zinia Zaukuu; Zoltan Gillay; Zoltán Kovács (Sensors, 2021)

A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets. - Zoltán Kovács; Christopher W. Brown 001; Tomás Recio; Róbert Vajda (SYNASC, 2022)

Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom? - Christopher W. Brown 001; Zoltán Kovács; Tomás Recio; Róbert Vajda; M. Pilar Vélez (Math. Comput. Sci., 2022)

Towards Detection of Partial Truth via Real Geometry. - Christopher W. Brown 001; Zoltán Kovács; Simone Luksch; Tomás Recio; Róbert Vajda; M. Pilar Vélez (SC-Square@ISSAC, 2023)

Showing Proofs, Assessing Difficulty with GeoGebra Discovery. - Zoltán Kovács; Tomás Recio; M. Pilar Vélez (ADG, 2023)

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned. - Belén Ariño-Morera; Zoltán Kovács; Tomás Recio; Piedad Tolmos (ADG, 2023)

The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt. - Anna Käferböck; Zoltán Kovács (ADG, 2023)

Open Source Prover in the Attic. - Zoltán Kovács; Alexander Vujic (ADG, 2023)

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery. - Amela Hota; Zoltán Kovács; Alexander Vujic (ADG, 2023)

Using Java Geometry Expert as Guide in the Preparations for Math Contests. - Ines Ganglmayr; Zoltán Kovács (ADG, 2023)

Dynamic and automated constructions of plane curves. - Thierry N. Dana-Picard; Zoltán Kovács (Maple Trans., 2023)

Application of Near Infrared Spectroscopy to Monitor the Quality Change of Sour Cherry Stored under Modified Atmosphere Conditions. - Gergo Szabo; Flora Vitális; Zsuzsanna Horvath-Mezofi; Mónika Göb; Juan Pablo Aguinaga Bósquez; Zoltan Gillay; Tamás Zsom; Lien Le Phuong Nguyen; Géza Hitka; Zoltán Kovács; Laszlo Friedrich (Sensors, 2023)

Automated Exploration of Envelopes and Offsets with Networking of Technologies. - Thierry N. Dana-Picard; Zoltán Kovács (Math. Comput. Sci., 2023)

Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition. - Christopher W. Brown 001; Zoltán Kovács; Tomás Recio (ACM Commun. Comput. Algebra, 2023)

Formalization of geometry, automated and interactive geometric reasoning. - Zoltán Kovács; Predrag Janicic (Ann. Math. Artif. Intell., 2023)

A Technological Approach to Teaching Inequalities, Propositional and Predicate Logic. - Zoltán Kovács; Reinhard Oldenburg (PAAR+SC²@IJCAR, 2024)

A note on Erdős's mysterious remark. - Zoltán Kovács (CoRR, 2024)

Computing with Tarski formulas and semi-algebraic sets in a web browser. - Zoltán Kovács; Christopher W. Brown 001; Tomás Recio; Róbert Vajda (J. Symb. Comput., 2024)

GNU Aris: a web application for students. - Saksham Attri; Zoltán Kovács; Aaron Windischbauer (ThEdu@CADE, 2024)

The ShowProof Command in GeoGebra Discovery: Towards the Automated Ranking of Elementary Geometry Theorems. - Zoltán Kovács; Bernard Parisse; Tomás Recio; M. Pilar Vélez; Jonathan H. Yu (ACM Commun. Comput. Algebra, 2024)

Multicommodity network flow model of a human resource allocation problem considering time periods. - Zsolt Ercsey; Zoltán Kovács (Central Eur. J. Oper. Res., 2024)

Advanced Digital Solutions for Food Traceability: Enhancing Origin, Quality, and Safety Through NIRS, RFID, Blockchain, and IoT. - Matyas Lukacs; Fruzsina Toth; Roland Horvath; Gyula Solymos; Boglárka Alpár; Peter Varga; Istvan Kertesz; Zoltan Gillay; László Baranyai; Jozsef Felfoldi; Quang D. Nguyen; Zoltán Kovács; et al. (J. Sens. Actuator Networks, 2025)