| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
CoRR
|
| 2025 | C | conf |
ICFEM
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Proc. ACM Program. Lang.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Proc. ACM Program. Lang.
|
| 2025 | Misc | conf |
SAC
|
| 2025 | — | conf |
Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods.
ICML (Position Papers)
|
| 2025 | J | jnl |
IEEE Trans. Neural Networks Learn. Syst.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Proc. Priv. Enhancing Technol.
|
| 2025 | J | jnl |
Proc. ACM Softw. Eng.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2023 | Misc | conf |
SETTA
|
| 2023 | — | conf |
QRS Companion
|
| 2021 | — | conf |
QRS Companion
|
| 2021 | C | conf |
SEKE
|