Marinković, Bojan

Network Lab View Statistics Email Alert

Loading... 3 0 20 0 false

Full Name

Marinković, Bojan

ORCID

0000-0002-9533-0330

Scopus Author ID

56011873200

Country

Serbia

Loading... 2 0 20 0 false

Refined By:

Subject: Blockchain | Formal model | Multi-agent systems | Specification/verification | Temporal epistemic logic with probabilities

Results 1-1 of 1 (Search time: 0.001 seconds).

	Author(s)	Title	Issue Date	Appears in	Rank
1	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

Results 1-2 of 2 (Search time: 0.0 seconds).

Acronym	Title	Start date	Completion	P-Investigator
PROJECT 174026	Representations of logical structures and formal languages and their application in computing	01-01-2011	31-12-2019	Ghilezan, Silvia
PROJECT 144013	Representations of logical structures and their application in computer science	01-01-2006	31-12-2010	Ognjanović, Zoran