Browsing by Author Studer, Thomas
Showing results 8 to 11 of 11
< previous
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Doder, Dragan; Studer, Thomas | Probabilistic consensus of the blockchain protocol | 1-Jan-2019 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019; Belgrade; Serbia; 18 September 2019 through 20 September 2019; 11726 LNAI; 469-480 | M33 |
Kokkinis, Ioannis; Ognjanović, Zoran ; Studer, Thomas | Probabilistic justification logic | 1-Jan-2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Symposium on Logical Foundations of Computer Science, LFCS 2016; Deerfield Beach; United States; 4 January 2016 through 7 January 2016; 9537; 174-186 | M33 |
Kokkinis, Ioannis; Ognjanović, Zoran ; Studer, Thomas | Probabilistic justification logic | 23-Jan-2020 | Journal of Logic and Computation; 30(1); 257-280 | M21 |
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | 1-Sep-2019 | Journal of Logic and Computation; 29(5); 803-830 | M21 |