| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2017 | Justification logic with approximate conditional probabilities | Ognjanović, Zoran   ; Savić, Nenad ; Studer, Thomas | Conference Paper | Mp. category will be shown later |
| 2017 | A first-order logic for reasoning about higher-order upper and lower probabilities | Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2017 | Logics with lower and upper probability operators | Savić, Nenad ; Doder, Dragan ; Ognjanović, Zoran | Article | 21M21 |
| 2017 | Towards Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; SAVIĆ, NENAD D. | Conference Paper | Mp. category will be shown later |
| 2016 | Probabilistic reasoning in types systems | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; SAVIĆ, NENAD | Conference Paper | Mp. category will be shown later |
| 2016 | Towards probabilistic reasoning about lambda terms with intersection types | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; SAVIĆ, NENAD D. | Conference Paper | Mp. category will be shown later |
| 2015 | Normalisation in substructural term calculi | Gilezan, Silvia ; Ivetić, Jelena ; SAVIĆ, NENAD | Conference Paper | Mp. category will be shown later |
| 2015 | A logic with upper and lower probability operators | SAVIĆ, NENAD D. ; Doder, Dragan ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2015 | An Optimization of Lambda Type assignments via Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Article | Mp. category will be shown later |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; SAVIĆ, NENAD | Conference Paper | Mp. category will be shown later |
| 2013 | Hematological evaluation of Rainbow trout (Oncorhynchus mykiss) fingerlings from different hatcheries | R. Dekić; A. Ivanc; SAVIĆ, NENAD D. ; Manojlović, Maja S. ; Ćetković, Dejan B. ; Obradović, Saša V. | Conference Paper | Mp. category will be shown later |