Gábor Horváth

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2023
Drone-Based Imaging Polarimetry of Dark Lake Patches from the Viewpoint of Flying Polarotactic Insects with Ecological Implication.
Remote. Sens., 2023

Improved Short-Term Wind Power Forecasts: Low-Latency Feedback Error Correction Using Ramp Prediction and Data From Nearby Farms.
IEEE Access, 2023

2021
Improved Loop Execution Modeling in the Clang Static Analyzer.
Acta Cybern., October, 2021

Report on the Differential Testing of Static Analyzers.
Acta Cybern., October, 2021

Static Analyses for C++ in the Presence of Separate Compilation
PhD thesis, 2021

2019
Retaining semantic information in the static analysis of real-world software.
Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019

Detecting C++ Lifetime Errors with Symbolic Execution.
Proceedings of the 9th Balkan Conference on Informatics, 2019

Categorization of C++ Classes for Static Lifetime Analysis.
Proceedings of the 9th Balkan Conference on Informatics, 2019

On the Validated Usage of the C++ Standard Template Library.
Proceedings of the 9th Balkan Conference on Informatics, 2019

2018
BIOMICS: a Theory of Interaction Computing.
Proceedings of the Computational Matter, 2018

Permutation polynomials over finite rings.
Finite Fields Their Appl., 2018

[Engineering Paper] Challenges of Implementing Cross Translation Unit Analysis in Clang Static Analyzer.
Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018

Implementation and evaluation of cross translation unit symbolic execution for C family languages.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
Polynomial functions over finite commutative rings.
Theor. Comput. Sci., 2017

Code Generation in Serializers and Comparators of Apache Flink.
Proceedings of the 12th Workshop on Implementation, 2017

2016
Source language representation of function summaries in static analysis.
Proceedings of the 11th Workshop on Implementation, 2016

2015
Path reconstruction based on gyroscope bias estimation using GPS.
Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2015

2012
BIOMICS Project: Biological and Mathematical Basis of Interaction Computing.
Int. J. Unconv. Comput., 2012

2011
A lower bound for the number of blocks of t-(v, k, λ) designs with t odd.
Discret. Math., 2011

An Estimation of the Shortest and Largest Average Path Length in Graphs of Given Density
CoRR, 2011

2010
Lie Group Analysis of a p53-mdm2 ODE Model.
Proceedings of the Digital Ecosystems - Third International Conference, 2010

2009
Concept validation of an automatic passenger counting system for trams.
Proceedings of the 5th International Symposium on Applied Computational Intelligence and Informatics, 2009

2008
Applications of High Precision Imaging Polarimetry.
Proceedings of the 4th International Symposium on Computational Aesthetics in Graphics, 2008

2002
On an additive property of sequences of nonnegative integers.
Period. Math. Hung., 2002

2000
IEEE ECBS'99 TC Architecture Working Group (AWG) Report.
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1981
Functor state machines.
Acta Cybern., 1981


  Loading...