# Thomas Studer

Orcid: 0000-0002-0949-3302
According to our database

Collaborative distances:

^{1}, Thomas Studer authored at least 73 papers between 2000 and 2025.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2025

Theor. Comput. Sci., 2025

2024

J. Log. Comput., 2024

Coalgebraic Proof Translations for Non-Wellfounded Proofs.

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

CoRR, 2023

Proceedings of the Logic, Language, Information, and Computation, 2023

Proceedings of the Logic and Argumentation - 5th International Conference, 2023

Proceedings of the Logic and Argumentation - 5th International Conference, 2023

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

J. Log. Comput., 2022

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2021

Synth., 2021

J. Log. Comput., 2021

Proceedings of the Logic, Language, Information, and Computation, 2021

2020

J. Log. Comput., 2020

J. Log. Comput., 2020

CoRR, 2020

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

Proceedings of the Logic, 2020

2019

A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol.

J. Log. Comput., 2019

FLAP, 2019

Proceedings of the Logic, Language, Information, and Computation, 2019

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

Proceedings of the 2019 IEEE-RIVF International Conference on Computing and Communication Technologies, 2019

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2018

Proceedings of the Advances in Modal Logic 12, 2018

2017

Proceedings of the Ninth Workshop on Methods for Modalities, 2017

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016

Log. J. IGPL, 2016

FLAP, 2016

CoRR, 2016

2015

Log. J. IGPL, 2015

CoRR, 2015

2014

Trans. Data Priv., 2014

J. Comput. Syst. Sci., 2014

Log. J. IGPL, 2014

2013

Logica Universalis, 2013

J. Symb. Log., 2013

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2012

Proceedings of the Proceedings 8th Workshop on Fixed Points in Computer Science, 2012

Ann. Pure Appl. Log., 2012

Proceedings of the Advances in Modal Logic 9, 2012

2011

Logica Universalis, 2011

J. Appl. Non Class. Logics, 2011

Proceedings of the Logic, Language, Information and Computation, 2011

Proceedings of the Logic, Language, and Computation, 2011

Proceedings of the Perspectives of Systems Informatics, 2011

Proceedings of the Seventh International Conference on Computational Intelligence and Security, 2011

2010

CoRR, 2010

2009

Inf. Process. Lett., 2009

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

Proceedings of the Perspectives of Systems Informatics, 2009

2008

Stud Logica, 2008

Math. Log. Q., 2008

J. Log. Algebraic Methods Program., 2008

2007

J. Appl. Log., 2007

Proceedings of the 5th Workshop on Methods for Modalities, 2007

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Proceedings of the Database and Expert Systems Applications, 18th International Conference, 2007

2006

J. Appl. Log., 2006

Proceedings of the Perspectives of Systems Informatics, 2006

2005

Ann. Pure Appl. Log., 2005

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Proceedings of the Database and Expert Systems Applications, 16th International Conference, 2005

2002

Extending the system T<sub>0</sub> of explicit mathematics: the limit and Mahlo axioms.

Ann. Pure Appl. Log., 2002

2001

Theor. Comput. Sci., 2001

J. Log. Comput., 2001

J. Log. Algebraic Methods Program., 2001

Ann. Pure Appl. Log., 2001

Proceedings of the Proof Theory in Computer Science, International Seminar, 2001

2000

Proceedings of the Computer Science Logic, 2000