| 2025 |
A* |
conf |
ASE
Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek
|
| 2025 |
— |
conf |
TACAS (3)
Levente Bajczi, Zsófia Ádám, Zoltán Micskei
|
| 2025 |
J |
jnl |
Acta Cybern.
Bertalan Zoltán Péter, Zsófia Ádám, Zoltán Micskei, Imre Kocsis
|
| 2024 |
— |
conf |
TACAS (3)
Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg
|
| 2024 |
— |
conf |
TACAS (3)
Levente Bajczi, Zsófia Ádám, Zoltán Micskei
|
| 2024 |
— |
conf |
TACAS (3)
Levente Bajczi, Dániel Szekeres, Milán Mondok, Zsófia Ádám, Márk Somorjai, Csanád Telbisz, Mihály Dobos-Kovács, Vince Molnár
|
| 2024 |
— |
conf |
TACAS (3)
Levente Bajczi, Csanád Telbisz, Márk Somorjai, Zsófia Ádám, Mihály Dobos-Kovács, Dániel Szekeres, Milán Mondok, Vince Molnár
|
| 2023 |
— |
conf |
LSFA/HCVS
Márk Somorjai, Mihály Dobos-Kovács, Zsófia Ádám, Levente Bajczi, András Vörös
|
| 2023 |
— |
conf |
NFM
Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bes, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernández Adiego
|
| 2022 |
— |
conf |
FormaliSE@ICSE
Levente Bajczi, Zsófia Ádám, Vince Molnár
|
| 2022 |
— |
conf |
TACAS (2)
Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, Vince Molnár
|
| 2021 |
— |
conf |
TACAS (2)
Zsófia Ádám, Gyula Sallai, Ákos Hajdu
|