Mathematical Modelas and Optimization Methods on Large-Scale Systems

View Statistics Email Alert

Primary Data

Project Acronym
PROJECT 174010
 
Project title
Mathematical Modelas and Optimization Methods on Large-Scale Systems
Project Coordinator
Co-Investigator(s)
Project URL
 
Start date
01-01-2011
Completion
31-12-2019
 

Grants

OA Mandate
 
Currency
EUR
 
Grant number
174010
 

Publications
(All)

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

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

Author(s)TitleIssue DateAppears inRank
1Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Doder, Dragan; Studer, ThomasProbabilistic consensus of the blockchain protocol1-Jan-2019Lecture 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-480M33