еНаука - преглед
Преглед према Аутор Maksimović, Petar
Приказ резултата 1 до 8 од 8
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2015 | Analyzing the exhaustiveness of the Synapse protocol | Marinković, Bojan ; Ciancaglini, Vincenzo; Ognjanović, Zoran ; Glavan, Paola; Liquori, Luigi; Maksimović, Petar | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2013 | Development and verification of probability logics and logical frameworks | Maksimović, Petar | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2015 | First steps towards probabilistic justification logic | Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran ; Studer, Thomas | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2017 | Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема | Simić, Danijela | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2014 | Modern technologies and methodologies concerning permanent monitoring of position changes and entity state in space and time (✓) | Ninkov, Toša ; Sušić, Zoran ; Marković, Marko ; Ninkov, Đorđe; Maksimović, Petar | Научни чланак | Мп категорија ће бити приказана накнадно. |
1990 | Porez na promet proizvoda i usluga u gradskoj zajednici Novi Sad | Popović, Dejan M.; Leko, Ivan; Maksimović, Petar | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2006 | Simple characterization of functionally complete one-element sets of propositional connectives (✓) | Maksimović, Petar; Janičić, Predrag | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2001 | Uticaj kvaliteta materijala na pouzdanost termoenergetskog postrojenja | Šijački-Žeravčić, Vera ; Anđelić, Biljana; Bakić, Gordana ; Đukić, Miloš ; Milanović, Dušan; Vlajčić, Aleksandar; Maksimović, Petar | Научни чланак | Мп категорија ће бити приказана накнадно. |