Thomas Studer

Παρατίθεται από

	Όλα	Από το 2020
Παραθέσεις	1503	582
h-index	25	14
i10-index	44	20

160

120

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420258 37 7 10 1 17 14 11 30 55 52 42 56 46 57 63 101 90 74 118 116 146 80 110 109 16

Δημόσια πρόσβαση

Προβολή όλων

39 άρθρα

0 άρθρα

διαθέσιμα

μη διαθέσιμα

Σύμφωνα με εντολές χρηματοδότησης

Συν-συγγραφείς

Roman KuznetsInstitute of Computer Science of the Czech Academy of SciencesΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα logic.at
Zoran OgnjanovicResearch Professor, Matematicki institut SANUΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mi.sanu.ac.rs
Ioannis KokkinisUniversity of the AegeanΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα aegean.gr
Kai BrünnlerProfessor of Computer Science, Bern University of Applied SciencesΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα bfh.ch
Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα gc.cuny.edu
Federico FaroldiΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ugent.be
Bojan MarinkovicMathematical Institute of the Serbian Academy of Sciences and ArtsΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mi.sanu.ac.rs
Meghdad GhariUniversity of IsfahanΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ltr.ui.ac.ir
Bryan Renne—Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα renne.org
Petar MaksimovićResearch Fellow @ Imperial College LondonΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα imperial.ac.uk
Yanjing Wang (王彦晶)Professor of Logic, Peking UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα pku.edu.cn
Dragan DoderUtrecht UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uu.nl
Mehdi DastaniProfessor, Chair for Intelligent Systems, Utrecht UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uu.nl
Melvin FittingProfessor, City University of New YorkΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα lehman.cuny.edu
Christian CachinUniversity of Bern, Cryptology and Data Security GroupΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα inf.unibe.ch

Παρακολούθηση

Thomas Studer

Universität Bern

Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα iam.unibe.ch - Αρχική σελίδα

Logic


Τίτλος Ταξινόμηση με βάση τις αναφορές Ταξινόμηση κατά έτος Ταξινόμηση κατά τίτλο	Παρατίθεται από Παρατίθεται από	Έτος
Justifications, Ontology, and Conservativity. R Kuznets, T Studer Advances in modal logic, 437-458, 2012	71	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	65	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 logic of knowing why C Xu, Y Wang, T Studer Synthese 198 (2), 1259-1285, 2021	37	2021
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
Update as evidence: Belief expansion R Kuznets, T Studer Logical Foundations of Computer Science: International Symposium, LFCS 2013 …, 2013	34	2013
Relationale Datenbanken T Studer Springer Berlin Heidelberg, 2016	33	2016
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
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

Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.

Άρθρα 1–20

Παραθέσεις ανά έτος

Διπλότυπες αναφορές

Συγχωνευμένες αναφορές

Προσθήκη από κοινού συγγραφέωνΣυν-συγγραφείς

Παρακολούθηση

Παρατίθεται από

Συν-συγγραφείς