Scholar

Thomas Studer

Google Scholar ID: P0ibLlUAAAAJ

Universität Bern

Logic

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,593

H-index

25

i10-index

48

Publications

20

Co-authors

15

list available

Publications

4 items

Uniform Lyndon Interpolation via Non-wellfounded Proofs

2026

Cited

0

Simplicial Belief

Colloquium on Structural Information & Communication Complexity · 2026

Cited

3

Hypergraph Semantics for Doxastic Logics

2025

Cited

0

Knowledge and Common Knowledge of Strategies

2025

Cited

0

Co-authors

5 total

Institute of Computer Science of the Czech Academy of Sciences

Professor, Chair for Intelligent Systems, Utrecht University

Christian Cachin

University of Bern, Cryptology and Data Security Group

Yanjing Wang (王彦晶)

Professor of Logic, Peking University

Utrecht University