Timo Lang

24 papers A* 2A 1B 8C 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 A conf
Lessons Learned from Incorporating Formal Methods in Huawei Cloud Reliability.
EuroSys
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 B conf
Analytic Proofs for Tense Logic.
TABLEAUX
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2025 B conf
Bifurcation Logic: Separation Through Ordering.
TARK
Didier Galmiche, Timo Lang, Daniel Méry, David J. Pym
2025 B conf
Playing with Modalities (Invited Talk).
CSL
Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, Christian G. Fermüller
2024 B conf
A Simple Token Game and its Logic.
LPAR
Christian G. Fermüller, Robert Freiman, Timo Lang
2024 — conf
Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning.
SimuTools
Didier Galmiche, Timo Lang, David J. Pym
2024 J jnl
Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning.
CoRR
Didier Galmiche, Timo Lang, David J. Pym
2023 A* conf
Cut-Restriction: From Cuts to Analytic Cuts.
LICS
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2023 J jnl
Cut-restriction: from cuts to analytic cuts.
CoRR
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2023 B conf
Some Analytic Systems of Rules.
TABLEAUX
Timo Lang
2022 J jnl
A theory of cut-restriction: first steps.
CoRR
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2022 J jnl
From Semantic Games to Provability: The Case of Gödel Logic.
Stud Logica
Alexandra Pavlova, Robert Freiman, Timo Lang
2022 J jnl
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.
Logica Universalis
Christian G. Fermüller, Timo Lang, Alexandra Pavlova
2021 — conf
A Reduction in Violation Logic.
DEON
Timo Lang
2021 J jnl
Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics.
J. Symb. Log.
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2021 A* conf
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics.
LICS
A. R. Balasubramanian, Timo Lang, Revantha Ramanayake
2021 J jnl
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics.
CoRR
A. R. Balasubramanian, Timo Lang, Revantha Ramanayake
2021 C conf
Dynamic Lockstep Processors for Applications with Functional Safety Relevance.
ETFA
Hans Dermot Doran, Timo Lang
2021 J jnl
Dynamic Lockstep Processors for Applications with Functional Safety Relevance.
CoRR
Hans Dermot Doran, Timo Lang
2020 — conf
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.
IPMU (1)
Christian G. Fermüller, Timo Lang, Alexandra Pavlova
2019 B conf
A Game Model for Proofs with Costs.
TABLEAUX
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2019 J jnl
A Game Model for Proofs with Costs.
CoRR
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2019 B conf
Bounded Sequent Calculi for Non-classical Logics via Hypersequents.
TABLEAUX
Agata Ciabattoni, Timo Lang, Revantha Ramanayake
2017 B conf
Interpreting Sequent Calculi as Client-Server Games.
TABLEAUX
Christian G. Fermüller, Timo Lang