Concepedia

Máté Kovács

MK

10

Publications

189

Citations

10

H-Index

2007

Active since

Affiliations

Budapest University of Technology and Economics(Current)

Technical University of Munich

Máté Kovács is an author at Budapest University of Technology and Economics specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsSoftware AnalysisFormal VerificationSystem SoftwareProgram AnalysisSystems EngineeringSoftware Design

Publications per year

2007–2022

10

Publications

10

Relational abstract interpretation for the verification of 2-hypersafety properties

Máté Kovács, Helmut Seidl, Bernd Finkbeiner · 2013 · 34 citations

Engineering, Verification, Higher-order Logic +17

Simulation and Formal Analysis of Workflow Models

Máté Kovács, László Gönczy · Electronic Notes in Theoretical Computer Science · 2008 · 24 citations · Full text

Engineering, Workflow Model, Verification +18

Modeling and Verification of Reliable Messaging by Graph Transformation Systems

László Gönczy, Máté Kovács, Dániel Varró · Electronic Notes in Theoretical Computer Science · 2007 · 23 citations · Full text

Web Service Specification, Engineering, Core Soa Metamodel +22

Conjugation between 3D and 2D aromaticity: does it really exist? The case of carborane-fused heterocycles

Dániel Buzsáki, Máté Kovács, Evelyn Hümpfner et al. · Chemical Science · 2022 · 23 citations · Full text

Thermal–hydraulic analyses and experimental modelling of MSFR

Bogdán Yamaji, Attila Aszódi, Máté Kovács et al. · Annals of Nuclear Energy · 2013 · 19 citations

Experimental Modelling, Core Thermal Hydraulics, Engineering +7

Rows per page

1–5 of 10