| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
IEEE Trans. Intell. Transp. Syst.
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
IEEE Trans. Veh. Technol.
|
| 2025 | J | jnl |
IEEE Trans. Intell. Transp. Syst.
|
| 2025 | C | conf |
ACC
|
| 2025 | J | jnl |
CoRR
|
| 2025 | — | conf |
L4DC
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
IEEE Trans. Intell. Transp. Syst.
|
| 2025 | — | conf |
ITSC
|
| 2025 | J | jnl |
IEEE Trans. Comput. Biol. Bioinform.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
IEEE Internet Things J.
|
| 2025 | C | conf |
ACC
|
| 2025 | J | jnl |
Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems.
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
IEEE ACM Trans. Comput. Biol. Bioinform.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2023 | — | conf |
ITSC
|
| 2023 | C | conf |
IV
|
| 2022 | — | conf |
ITSC
|
| 2022 | — | conf |
WACV (Workshops)
|
| 2021 | — | conf |
SPAC
|
| 2021 | — | conf |
ICCT
|
| 2020 | J | jnl |
Symmetry
|
| 2019 | J | jnl |
Symmetry
|