 | Up a level |
Ghilezan, Silvia; Ivetic, Jelena; Kasterovic, Simona; Ognjanovic, Zoran; Savic, Nenad (3 January 2020). Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. In: Herzig, Andreas; Kontinen, Juha (eds.) Foundations of Information and Knowledge Systems. Lecture Notes in Computer Science: Vol. 12012 (pp. 122-139). Springer 10.1007/978-3-030-39951-1_8
Marinkovic, Bojan; Glavan, Paola; Ognjanovic, Zoran; Studer, Thomas (2019). A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. Journal of logic and computation, 29(5), pp. 803-830. Oxford University Press 10.1093/logcom/exz007
Doder, Dragan; Savic, Nenad; Ognjanovic, Zoran (2019). Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities. Journal of logic, language and information, 29(1), pp. 77-107. Springer Netherlands 10.1007/s10849-019-09301-7
Marinkovic, Bojan; Glavan, Paola; Ognjanovic, Zoran; Doder, Dragan; Studer, Thomas (September 2019). Probabilistic Consensus of the Blockchain Protocol. Lecture notes in computer science, 11726, pp. 469-480. Springer 10.1007/978-3-030-29765-7_39
