Tim Mller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2024–2025
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | GPCE | A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios. | Christopher A. Esterhuyse, Tim Mller, L. Thomas van Binsbergen |
| 2025 | SEC | COLIBRI: Optimizing Multi-party Secure Neural Network Inference Time for Transformers. | Daphnee Chabal, Tim Mller, Eloise Zhang, Dolly Sapra, Cees de Laat, Zoltn dm Mann |
| 2024 | FORTE | JustAct: Actions Universally Justified by Partial Dynamic Policies. | Christopher A. Esterhuyse, Tim Mller, L. Thomas van Binsbergen |