Autori: Studer Thomas
| Naslov | A logic of interactive proofs (Article) |
| Autori | Lehnherr David Ognjanovic Zoran D  Studer Thomas
|
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2022), vol. 32 br. 8, str. 1645-1658 |
| Projekat | Science Fund of the Republic of Serbia project AI4TrustBC; Swiss National Science Foundation [200020_184625] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
     |
| Naslov | Probabilistic justification logic (Article) |
| Autori | Kokkinis Ioannis Ognjanovic Zoran D Studer Thomas
|
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2020), vol. 30 br. 1, str. 257-280 |
| Projekat | SNSF project [153169]; Serbian Ministry of Education, Science and Technological Development |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol (Article) |
| Autori | Marinkovic Bojan B Glavan Paola Ognjanovic Zoran D Studer Thomas
|
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2019), vol. 29 br. 5, str. 803-830 |
| Projekat | Serbian Ministry of Education, Science and Technology Development through Matematicki institut SANU [ON174026, III44006]; Ministarstvo znanosti, obrazovanja i sporta republike Hrvatske; Swiss National Science Foundation (S |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | First steps towards probabilistic justification logic (Article) |
| Autori | Kokkinis Ioannis Maksimovic Petar Ognjanovic Zoran D Studer Thomas
|
| Info | LOGIC JOURNAL OF THE IGPL, (2015), vol. 23 br. 4, str. 662-687 |
| Projekat | SNSF [153169]; Serbian Ministry of Education, Science and Technological Development [III44006, ON174026] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
