| 2025 |
— |
conf |
PROMISE
Milad Abdullah, David Georg Reichelt, Vojtech Horký, Lubomír Bulej, Tomás Bures, Petr Tuma
|
| 2023 |
B |
conf |
SEAA
Milad Abdullah, Lubomír Bulej, Tomás Bures, Vojtech Horký, Petr Tuma
|
| 2023 |
— |
conf |
ICPE (Companion)
Lubomír Bulej, Vojtech Horký, Michele Tucci, Petr Tuma, François Farquet, David Leopoldseder, Aleksandar Prokopec
|
| 2022 |
B |
conf |
SEAA
Milad Abdullah, Lubomír Bulej, Tomás Bures, Petr Hnetynka, Vojtech Horký, Petr Tuma
|
| 2020 |
B |
conf |
ICPE
Lubomír Bulej, Vojtech Horký, Petr Tuma, François Farquet, Aleksandar Prokopec
|
| 2020 |
J |
jnl |
CoRR
Lubomír Bulej, Vojtech Horký, Petr Tuma, François Farquet, Aleksandar Prokopec
|
| 2019 |
B |
conf |
MASCOTS
Lubomír Bulej, Vojtech Horký, Petr Tuma
|
| 2018 |
— |
conf |
ICPE Companion
Petr Kubát, Lubomír Bulej, Tomás Bures, Vojtech Horký, Petr Tuma
|
| 2018 |
— |
conf |
ICSA Companion
Ilias Gerostathopoulos, Christian Prehofer, Lubomír Bulej, Tomás Bures, Vojtech Horký, Petr Tuma
|
| 2017 |
— |
conf |
ICPE Companion
Lubomír Bulej, Vojtech Horký, Petr Tuma
|
| 2017 |
B |
conf |
ICPE
Petr Stefan, Vojtech Horký, Lubomír Bulej, Petr Tuma
|
| 2017 |
J |
jnl |
Autom. Softw. Eng.
Lubomír Bulej, Tomás Bures, Vojtech Horký, Jaroslav Kotrc, Lukás Marek, Tomás Trojánek, Petr Tuma
|
| 2016 |
B |
conf |
ICPE
Vojtech Horký, Jaroslav Kotrc, Peter Libic, Petr Tuma
|
| 2016 |
— |
conf |
SiSoS@ECSA
Ilias Gerostathopoulos, Tomás Bures, Sanny Schmid, Vojtech Horký, Christian Prehofer, Petr Tuma
|
| 2015 |
B |
conf |
ICPE
Vojtech Horký, Peter Libic, Antonín Steinhauser, Petr Tuma
|
| 2015 |
— |
conf |
EPEW
Peter Libic, Lubomír Bulej, Vojtech Horký, Petr Tuma
|
| 2015 |
— |
ch. |
The ASCENS Approach
Lubomír Bulej, Tomás Bures, Ilias Gerostathopoulos, Vojtech Horký, Jaroslav Keznikl, Lukás Marek, Max Tschaikowski, Mirco Tribastone, Petr Tuma
|
| 2015 |
— |
ch. |
The ASCENS Approach
Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev
|
| 2015 |
B |
conf |
ICPE
Vojtech Horký, Peter Libic, Lukás Marek, Antonín Steinhauser, Petr Tuma
|
| 2014 |
B |
conf |
ICPE
Peter Libic, Lubomír Bulej, Vojtech Horký, Petr Tuma
|
| 2014 |
— |
conf |
ISoLA (1)
Tomás Bures, Vojtech Horký, Michal Kit, Lukás Marek, Petr Tuma
|
| 2013 |
B |
conf |
ICPE
Lubomír Bulej, Tomás Bures, Vojtech Horký, Jaroslav Keznikl
|
| 2013 |
— |
conf |
EPEW
Vojtech Horký, Frantisek Haas, Jaroslav Kotrc, Martin Lacina, Petr Tuma
|
| 2012 |
— |
conf |
COMPSAC Workshops
Lubomír Bulej, Tomás Bures, Vojtech Horký, Jaroslav Keznikl, Petr Tuma
|