| 2025 |
J |
jnl |
Sci. Comput. Program.
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
|
| 2025 |
— |
conf |
SPLC (A)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
|
| 2025 |
J |
jnl |
J. Syst. Softw.
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
|
| 2025 |
— |
conf |
SPLC (A)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
|
| 2025 |
J |
jnl |
Formal Aspects Comput.
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
|
| 2025 |
J |
jnl |
CoRR
Gustavo Rezende Silva, Juliane Päßler, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen, Carlos Hernández Corbato
|
| 2025 |
J |
jnl |
Frontiers Robotics AI
Gustavo Rezende Silva, Juliane Päßler, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen, Carlos Hernández Corbato
|
| 2024 |
— |
conf |
xAI (2)
Clemens Dubslaff, Verena Klös, Juliane Päßler
|
| 2023 |
B |
conf |
iFM
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
|
| 2023 |
J |
jnl |
CoRR
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
|
| 2023 |
A |
conf |
SEAMS
Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato
|
| 2023 |
J |
jnl |
CoRR
Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato
|
| 2022 |
— |
conf |
ISoLA (1)
Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen
|