Thomas Studer

Hivatkozott rá

	Összes	2019 óta
Hivatkozások	1486	685
h-index	24	15
i10-index	44	25

160

120

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

Nyilvános hozzáférés

Összes megtekintése

39 cikk

0 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Roman KuznetsInstitute of Computer Science of the Czech Academy of SciencesE-mail megerősítve itt: logic.at
Zoran OgnjanovicResearch Professor, Matematicki institut SANUE-mail megerősítve itt: mi.sanu.ac.rs
Ioannis KokkinisUniversity of the AegeanE-mail megerősítve itt: aegean.gr
Kai BrünnlerProfessor of Computer Science, Bern University of Applied SciencesE-mail megerősítve itt: bfh.ch
Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterE-mail megerősítve itt: gc.cuny.edu
Federico FaroldiE-mail megerősítve itt: ugent.be
Bojan MarinkovicMathematical Institute of the Serbian Academy of Sciences and ArtsE-mail megerősítve itt: mi.sanu.ac.rs
Meghdad GhariUniversity of IsfahanE-mail megerősítve itt: ltr.ui.ac.ir
Bryan Renne—E-mail megerősítve itt: renne.org
Petar MaksimovićResearch Fellow @ Imperial College LondonE-mail megerősítve itt: imperial.ac.uk
Yanjing Wang (王彦晶)Professor of Logic, Peking UniversityE-mail megerősítve itt: pku.edu.cn
Dragan DoderUtrecht UniversityE-mail megerősítve itt: uu.nl
Mehdi DastaniProfessor, Chair for Intelligent Systems, Utrecht UniversityE-mail megerősítve itt: uu.nl
Melvin FittingProfessor, City University of New YorkE-mail megerősítve itt: lehman.cuny.edu
Christian CachinUniversity of Bern, Cryptology and Data Security GroupE-mail megerősítve itt: inf.unibe.ch

Követés

Thomas Studer

Universität Bern

E-mail megerősítve itt: iam.unibe.ch - Kezdőlap

Logic


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
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

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők