Concepedia

András Kovács

AK

Statistics

Publications

3

Citations

75

H-Index

3

Active since

2018

Affiliations

Eötvös Loránd University(Current)

András Kovács is an author at Eötvös Loránd University specializing in formal methods, engineering, and automated reasoning.

ORCID

Top concepts

Publications per year

2018–2022

3

Publications

3

Constructing quotient inductive-inductive types

Ambrus Kaposi, András Kovács, Thorsten Altenkirch · Proceedings of the ACM on Programming Languages · 2019 · 43 citations · Full text

, , +7

Staged compilation with two-level type theory

András Kovács · Proceedings of the ACM on Programming Languages · 2022 · 18 citations · Full text

, , +16

A Syntax for Higher Inductive-Inductive Types

Ambrus Kaposi, András Kovács · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 14 citations · Full text

, , +10

1–3 of 3