| 2026 |
— |
conf |
ICAART (5)
Filip Cano
|
| 2026 |
— |
conf |
ICAART (2)
Amartya Hatua, Trung T. Nguyen, Filip Cano, Andrew H. Sung
|
| 2025 |
B |
conf |
RV
Filip Cano, Thomas A. Henzinger, Konstantin Kueffner
|
| 2025 |
J |
jnl |
CoRR
Filip Cano, Thomas A. Henzinger, Konstantin Kueffner
|
| 2025 |
A* |
conf |
AAAI
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
|
| 2025 |
J |
jnl |
CoRR
Filip Cano
|
| 2024 |
— |
conf |
CSLAW
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
|
| 2024 |
B |
conf |
FSCD
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
|
| 2024 |
J |
jnl |
CoRR
Filip Cano, Thomas A. Henzinger, Bettina Könighofer, Konstantin Kueffner, Kaushik Mallik
|
| 2024 |
J |
jnl |
CoRR
Amartya Hatua, Trung T. Nguyen, Filip Cano, Andrew H. Sung
|
| 2024 |
J |
jnl |
Dagstuhl Reports
Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Nickovic, Filip Cano
|
| 2024 |
— |
conf |
CAV (2)
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
|
| 2023 |
J |
jnl |
CoRR
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
|
| 2023 |
— |
conf |
AISoLA
Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu
|
| 2023 |
— |
conf |
AISoLA
Katrine Bjørner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer
|