Gábor Horváth

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 19

Top Topics

Symbolic Execution

Diffuse Reflection

Piecewise Polynomial

Top Venues

Publications

Péter Takács, Adalbert Tibiássy, Balázs Bernáth, Viktor Gotthard, Gábor Horváth
Reflection-Polarization Characteristics of Greenhouses Studied by Drone-Polarimetry Focusing on Polarized Light Pollution of Glass Surfaces. Remote. Sens. 16 (14) (2024)
Péter Takács, Dénes Száz, Balázs Bernáth, István Pomozi, Gábor Horváth
Polarized Light Pollution of Fixed-Tilt Photovoltaic Solar Panels Measured by Drone-Polarimetry and Its Visual-Ecological Importance. Remote. Sens. 16 (7) (2024)
Gabor Hannak, Gábor Horváth, Attila Kádár, Márk Dániel Szalai
Bilateral-Weighted Online Adaptive Isolation Forest for anomaly detection in streaming data. Stat. Anal. Data Min. 16 (3) (2023)
Chanaka Keerthisinghe, Ana Rita Silva, Paulino Tardáguila, Gábor Horváth, Aijun Deng, Thomas N. Theis
Improved Short-Term Wind Power Forecasts: Low-Latency Feedback Error Correction Using Ramp Prediction and Data From Nearby Farms. IEEE Access 11 (2023)
Dénes Száz, Péter Takács, Balázs Bernáth, György Kriska, András Barta, István Pomozi, Gábor Horváth
Drone-Based Imaging Polarimetry of Dark Lake Patches from the Viewpoint of Flying Polarotactic Insects with Ecological Implication. Remote. Sens. 15 (11) (2023)
Gábor Horváth, Réka Nikolett Kovács, Péter Szécsi
Report on the Differential Testing of Static Analyzers. Acta Cybern. 25 (4) (2021)
Péter György Szécsi, Gábor Horváth, Zoltán Porkoláb
Improved Loop Execution Modeling in the Clang Static Analyzer. Acta Cybern. 25 (4) (2021)
Gábor Horváth, Edith Kovács, Roland Molontay, Szabolcs Nováczki
Copula-Based Anomaly Scoring and Localization for Large-Scale, High-Dimensional Continuous Data. ACM Trans. Intell. Syst. Technol. 11 (3) (2020)
Gábor Horváth
Retaining semantic information in the static analysis of real-world software. SPLASH (Companion Volume) (2019)
Bence Babati, Gábor Horváth, Norbert Pataki, Attila Páter-Részeg
On the Validated Usage of the C++ Standard Template Library. BCI (2019)
Gábor Horváth, Edith Kovács, Roland Molontay, Szabolcs Nováczki
Copula-based anomaly scoring and localization for large-scale, high-dimensional continuous data. CoRR (2019)
Réka Kovács, Gábor Horváth, Zoltán Porkoláb
Detecting C++ Lifetime Errors with Symbolic Execution. BCI (2019)
Gábor Horváth, Norbert Pataki
Categorization of C++ Classes for Static Lifetime Analysis. BCI (2019)
Gábor Horváth, Péter Szécsi, Zoltán Gera, Dániel Krupp, Norbert Pataki
Implementation and evaluation of cross translation unit symbolic execution for C family languages. ICSE (Companion Volume) (2018)
Dalma Görcsös, Gábor Horváth, Anett Mészáros
Permutation polynomials over finite rings. Finite Fields Their Appl. 49 (2018)
Gábor Horváth, Péter Szécsi, Zoltán Gera, Dániel Krupp, Norbert Pataki
[Engineering Paper] Challenges of Implementing Cross Translation Unit Analysis in Clang Static Analyzer. SCAM (2018)
Gábor Horváth, Norbert Pataki, Márton Balassi
Code Generation in Serializers and Comparators of Apache Flink. ICOOOLPS@ECOOP (2017)
Balázs Bulyovszky, Gábor Horváth
Polynomial functions over finite commutative rings. Theor. Comput. Sci. 703 (2017)
Gábor Horváth, Norbert Pataki
Source language representation of function summaries in static analysis. ICOOOLPS@ECOOP (2016)
Istvan Engedy, Gábor Horváth
Path reconstruction based on gyroscope bias estimation using GPS. I2MTC (2015)
Paolo Dini, Chrystopher L. Nehaniv, Attila Egri-Nagy, Maria J. Schilstra, Daniel Schreckling, Joachim Posegga, Gábor Horváth, Alastair J. Munro
BIOMICS Project: Biological and Mathematical Basis of Interaction Computing. Int. J. Unconv. Comput. 8 (4) (2012)
László Gulyás, Gábor Horváth, Tamás Cséri, George Kampis
An Estimation of the Shortest and Largest Average Path Length in Graphs of Given Density CoRR (2011)
Gábor Horváth
A lower bound for the number of blocks of t-(v, k, λ) designs with t odd. Discret. Math. 311 (12) (2011)
Gábor Horváth, Paolo Dini
Lie Group Analysis of a p53-mdm2 ODE Model. OPAALS (2010)
Roland Kovács, László Nádai, Gábor Horváth
Concept validation of an automatic passenger counting system for trams. SACI (2009)
László Neumann, Ramón Hegedüs, Gábor Horváth, Rafael García
Applications of High Precision Imaging Polarimetry. CAe (2008)
Gábor Horváth, Chrystopher L. Nehaniv, Csaba A. Szabó
An assertion concerning functionally complete algebras and NP-completeness. Theor. Comput. Sci. 407 (1-3) (2008)
Gábor Horváth, Csaba A. Szabó
The Complexity of Checking Identities over Finite Groups. Int. J. Algebra Comput. 16 (5) (2006)
Gábor Horváth
On an additive property of sequences of nonnegative integers. Period. Math. Hung. 45 (1-2) (2002)
Tim O'Neill, John Leaney, David Rowe, Hugo Simpson, Murali Rangarajan, Jurgen Weiss, Zoltán Papp, Ted Bapty, Byron Purves, Gábor Horváth, Edwin D. de Jong
IEEE ECBS'99 TC Architecture Working Group (AWG) Report. ECBS (2000)
Gábor Horváth
Functor state machines. Acta Cybern. 5 (2) (1981)