Browsing eNauka
Browsing by Author Maksimovic, Petar
Showing results 1 to 7 of 7
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2010 | A logic with conditional probability operators | Doder, Dragan  ; Marinković, Bojan ; Maksimovic, Petar; Perović, Aleksandar  | Article | 24M24 |
| 2012 | An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks | Ciancaglini, Vincenzo; Liquori, Luigi; Giang, Ngo Hoang; Maksimovic, Petar | Conference Paper | Mp. category will be shown later |
| 2016 | An open logical framework | Honsell, Furio; Lenisa, Marina; Scagnetto, Ivan; Liquori, Luigi; Maksimovic, Petar | Article | 21aM21a |
| 2015 | HOCore in Coq | Maksimovic, Petar; Schmitt, Alan | Conference Paper | Mp. category will be shown later |
| 2017 | LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads | Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan | Article | 22M22 |
| 2018 | Plugging-in proof development environments using Locks in LF | Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan | Article | 22M22 |
| 2017 | Towards Logic-Based Verification of JavaScript Programs | Santos, Jose Fragoso; Gardner, Philippa; Maksimovic, Petar; Naudziuniene, Daiva | Conference Paper | Mp. category will be shown later |