Timo Lang

According to our database, Timo Lang authored at least 18 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

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

Proceedings of the 21st European Conference on Computer Systems, 2026

2025

Bifurcation Logic: Separation Through Ordering.

Didier Galmiche, Timo Lang, Daniel Méry, David J. Pym

Proceedings of the Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge, November, 2025

Analytic Proofs for Tense Logic.

Agata Ciabattoni, Timo Lang, Revantha Ramanayake

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2025

Playing with Modalities (Invited Talk).

Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, Christian G. Fermüller

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning.

Didier Galmiche, Timo Lang, David J. Pym

Proceedings of the Simulation Tools and Techniques, 2024

A Simple Token Game and its Logic.

Christian G. Fermüller, Robert Freiman, Timo Lang

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023

Some Analytic Systems of Rules.

Timo Lang

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Cut-Restriction: From Cuts to Analytic Cuts.

Agata Ciabattoni, Timo Lang, Revantha Ramanayake

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

From Semantic Games to Provability: The Case of Gödel Logic.

Alexandra Pavlova, Robert Freiman, Timo Lang

Stud Logica, 2022

A theory of cut-restriction: first steps.

Agata Ciabattoni, Timo Lang, Revantha Ramanayake

CoRR, 2022

2021

Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics.

Agata Ciabattoni, Timo Lang, Revantha Ramanayake

J. Symb. Log., 2021

Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics.

A. R. Balasubramanian, Timo Lang, Revantha Ramanayake

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Dynamic Lockstep Processors for Applications with Functional Safety Relevance.

Hans Dermot Doran, Timo Lang

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

A Reduction in Violation Logic.

Timo Lang

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.

Christian G. Fermüller, Timo Lang, Alexandra Pavlova

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2020

2019

A Game Model for Proofs with Costs.

Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Bounded Sequent Calculi for Non-classical Logics via Hypersequents.

Agata Ciabattoni, Timo Lang, Revantha Ramanayake

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2017

Interpreting Sequent Calculi as Client-Server Games.

Christian G. Fermüller, Timo Lang

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017