Scholar
Dániel Horpácsi
Google Scholar ID: cHVZnacAAAAJ
Eötvös Loránd University
programing languages
formal semantics
static analysis
compilers
formal verification
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
276
H-index
9
i10-index
8
Publications
20
Co-authors
11
list available
Publications
2 items
Dependently Typed Model Composition for Matching Logic
Electronic Proceedings in Theoretical Computer Science · 2026
Cited
0
On a Dependently Typed Encoding of Matching Logic
2025
Cited
0
Co-authors
3 total
Simon Thompson
Professor Emeritus, University of Kent; Professor, Eötvös Loránd University, Budapest
Péter Bereczky
Eötvös Loránd University
Tamás Kozsik
Dept. Programming Languages and Compilers, ELTE Eötvös Loránd University, Budapest, Hungary
