Laura Kovács
发表
Martin Suda,
David Damestani,
Laura Kovács,
2019,
2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Ezio Bartocci,
Laura Kovács,
Miroslav Stankovic,
2020,
TACAS.
Ezio Bartocci,
Laura Kovács,
Miroslav Stankovic,
2020,
ICTAC.
Laura Kovács,
Andreas Humenberger,
2021,
VMCAI.
Laura Kovács,
Gergely Kovásznai,
Krisztián Gajdár,
2019,
2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Ezio Bartocci,
Joost-Pieter Katoen,
Laura Kovács,
2020,
ArXiv.