Gábor Horváth

The complexity of the equivalence problem for nonsolvable groups

Gábor Horváth, László Mérai, Csaba Szabó et al. · Bulletin of the London Mathematical Society · 2007 · 29 citations

Coxeter Group, Geometric Group Theory, Graph Theory +13

THE COMPLEXITY OF CHECKING IDENTITIES OVER FINITE GROUPS

Gábor Horváth, Csaba Szabó · International Journal of Algebra and Computation · 2006 · 29 citations · Full text

Computational Complexity Theory, Engineering, Computational Number Theory +13

On a theorem of Erdős and Fuchs

Gábor Horváth · Acta Arithmetica · 2002 · 15 citations · Full text

Geometry Of Number, Extremal Set Theory, Analytic Number Theory

Source language representation of function summaries in static analysis

Gábor Horváth, Norbert Pataki · 2016 · 14 citations

Engineering, Software Engineering, Context-sensitive Static Analysis +16

ON A GENERALIZATION OF A THEOREM OF ERDŐS AND FUCHS

Gábor Horváth · Acta Mathematica Academiae Scientiarum Hungaricae · 2001 · 13 citations

Geometry Of Number, Extremal Set Theory, Analytic Number Theory +2