Timo Lang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EuroSys | Lessons Learned from Incorporating Formal Methods in Huawei Cloud Reliability. | Claudia Cauli, Timo Lang, Shuo Chen, Sebti Mouelhi, Xin Jin, Subhajit Bandopadhyay, Xusheng Chen, Yazhi Feng, Haoze Song, Linhua Tang, Zhenli Sheng, Ananth Shrinivas Srinath |
| 2025 | CSL | Playing with Modalities (Invited Talk). | Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, Christian G. Fermller |
| 2025 | TABLEAUX | Analytic Proofs for Tense Logic. | Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
| 2024 | LPAR | A Simple Token Game and its Logic. | Christian G. Fermller, Robert Freiman, Timo Lang |
| 2023 | LICS | Cut-Restriction: From Cuts to Analytic Cuts. | Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
| 2023 | TABLEAUX | Some Analytic Systems of Rules. | Timo Lang |
| 2021 | ETFA | Dynamic Lockstep Processors for Applications with Functional Safety Relevance. | Hans Dermot Doran, Timo Lang |
| 2021 | LICS | Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics. | A. R. Balasubramanian, Timo Lang, Revantha Ramanayake |
| 2020 | IPMU | From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gdel Logic. | Christian G. Fermller, Timo Lang, Alexandra Pavlova |
| 2019 | TABLEAUX | Bounded Sequent Calculi for Non-classical Logics via Hypersequents. | Agata Ciabattoni, Timo Lang, Revantha Ramanayake |
| 2019 | TABLEAUX | A Game Model for Proofs with Costs. | Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermller |
| 2017 | TABLEAUX | Interpreting Sequent Calculi as Client-Server Games. | Christian G. Fermller, Timo Lang |