Thomas Studer

Cited by

	All	Since 2019
Citations	1484	685
h-index	24	15
i10-index	44	25

160

120

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 37 7 10 1 17 13 12 31 53 51 42 56 46 57 62 101 90 75 118 116 146 80 111 104

Public access

View all

38 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Roman KuznetsInstitute of Computer Science of the Czech Academy of SciencesVerified email at logic.at
Zoran OgnjanovicResearch Professor, Matematicki institut SANUVerified email at mi.sanu.ac.rs
Ioannis KokkinisUniversity of the AegeanVerified email at aegean.gr
Kai BrünnlerProfessor of Computer Science, Bern University of Applied SciencesVerified email at bfh.ch
Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterVerified email at gc.cuny.edu
Federico FaroldiVerified email at ugent.be
Bojan MarinkovicMathematical Institute of the Serbian Academy of Sciences and ArtsVerified email at mi.sanu.ac.rs
Meghdad GhariUniversity of IsfahanVerified email at ltr.ui.ac.ir
Bryan Renne—Verified email at renne.org
Petar MaksimovićResearch Fellow @ Imperial College LondonVerified email at imperial.ac.uk
Yanjing Wang (王彦晶)Professor of Logic, Peking UniversityVerified email at pku.edu.cn
Dragan DoderUtrecht UniversityVerified email at uu.nl
Mehdi DastaniProfessor, Chair for Intelligent Systems, Utrecht UniversityVerified email at uu.nl
Melvin FittingProfessor, City University of New YorkVerified email at lehman.cuny.edu
Christian CachinUniversity of Bern, Cryptology and Data Security GroupVerified email at inf.unibe.ch

Thomas Studer

Universität Bern

Verified email at iam.unibe.ch - Homepage

Logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Justifications, Ontology, and Conservativity. R Kuznets, T Studer Advances in modal logic, 437-458, 2012	70	2012
Justifications for common knowledge S Bucheli, R Kuznets, T Studer Journal of Applied Non-Classical Logics 21 (1), 35-60, 2011	68	2011
Logics of proofs and justifications R Kuznets, T Studer College Publications, 2019	63	2019
On the proof theory of the modal mu-calculus T Studer Studia Logica 89, 343-363, 2008	60	2008
First Steps towards Probabilistic Justification Logic I Kokkinis, P Maksimovic, Z Ognjanovic, T Studer Journal of IGPL, 2015	54	2015
Probabilistic ABox Reasoning: Preliminary Results. M Dürig, T Studer Description Logics, 104-111, 2005	46	2005
Syntactic cut-elimination for common knowledge K Brünnler, T Studer Annals of Pure and Applied Logic 160 (1), 82-95, 2009	45	2009
Data privacy for knowledge bases P Stouppa, T Studer International Symposium on Logical Foundations of Computer Science, 409-421, 2009	43	2009
Probabilistic justification logic I Kokkinis, Z Ognjanović, T Studer International Symposium on Logical Foundations of Computer Science, 174-186, 2015	42	2015
Cut-free common knowledge G Jäger, M Kretz, T Studer Journal of Applied Logic 5 (4), 681-689, 2007	41	2007
A formal model of data privacy P Stouppa, T Studer International Andrei Ershov Memorial Conference on Perspectives of System …, 2006	37	2006
Canonical completeness of infinitary μ G Jäger, M Kretz, T Studer The Journal of Logic and Algebraic Programming 76 (2), 270-292, 2008	36	2008
A logic of knowing why C Xu, Y Wang, T Studer Synthese 198 (2), 1259-1285, 2021	35	2021
Update as evidence: Belief expansion R Kuznets, T Studer Logical Foundations of Computer Science: International Symposium, LFCS 2013 …, 2013	34	2013
Provable data privacy K Stoffel, T Studer Database and Expert Systems Applications: 16th International Conference …, 2005	33	2005
Universes in explicit mathematics G Jäger, R Kahle, T Studer Annals of Pure and Applied Logic 109 (3), 141-162, 2001	33	2001
Relationale Datenbanken T Studer Springer Berlin Heidelberg, 2016	32	2016
Realizing public announcements by justifications S Bucheli, R Kuznets, T Studer Journal of Computer and System Sciences 80 (6), 1046-1066, 2014	32	2014
Decidability for some justification logics with negative introspection T Studer The Journal of Symbolic Logic 78 (2), 388-402, 2013	32	2013
Extending the system T0 of explicit mathematics: the limit and Mahlo axioms G Jäger, T Studer Annals of Pure and Applied Logic 114 (1-3), 79-101, 2002	31	2002

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors