Tomović, S.; Ognjanović, Z.; Doder, D. A first-order logic for reasoning about knowledge and probability. (English) Zbl 1446.03038 ACM Trans. Comput. Log. 21, No. 2, Article No. 16, 30 p. (2020). MSC: 03B42 03B48 68T27 68T42 PDF BibTeX XML Cite \textit{S. Tomović} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 16, 30 p. (2020; Zbl 1446.03038) Full Text: DOI
Tomović, Siniša; Mihaljević, Miodrag J.; Perović, Aleksandar; Ognjanović, Zoran A protocol for provably secure authentication of a tiny entity to a high performance computing one. (English) Zbl 1400.94187 Math. Probl. Eng. 2016, Article ID 9289050, 9 p. (2016). MSC: 94A62 94A60 PDF BibTeX XML Cite \textit{S. Tomović} et al., Math. Probl. Eng. 2016, Article ID 9289050, 9 p. (2016; Zbl 1400.94187) Full Text: DOI
Tomović, Siniša; Ognjanović, Zoran; Doder, Dragan Probabilistic common knowledge among infinite number of agents. (English) Zbl 06507043 Destercke, Sébastien (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 13th European conference, ECSQARU 2015, Compiègne, France, July 15–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20806-0/pbk; 978-3-319-20807-7/ebook). Lecture Notes in Computer Science 9161. Lecture Notes in Artificial Intelligence, 496-505 (2015). MSC: 68T37 PDF BibTeX XML Cite \textit{S. Tomović} et al., Lect. Notes Comput. Sci. 9161, 496--505 (2015; Zbl 06507043) Full Text: DOI