Researchers
Ognjanović, Zoran
Results 141-160 of 305
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2014 | Hierarchies of probabilistic logics![]() | Ikodinović, Nebojša | Article | 21M21 |
| 2013 | Analyzing the Exhaustiveness of the Synapse Protocol | Petar Maksimović; Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2013 | ONTOLOGIJA ZA NCD STANDARDE ZA OPIS DIGITALNIH DOKUMENATA I KOLEKCIJA | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2013 | Komunikacija mašina-mašina javnim kanalima: Koncept i izazovi bezbednosti | Mihaljević, Miodrag | Conference Paper | Mp. category will be shown later |
| 2013 | Hierarchies of probability logics![]() | Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2013 | Logics with generalized measure operators![]() | Ikodinović, Nebojša | Article | 21aM21a |
| 2013 | Dealing with satisfiability problem in default logic using Bee-colony optimization![]() | Stojanovic, Tatjana | Conference Paper | Mp. category will be shown later |
| 2013 | Unapređenje web prezentacije Spomenika kulture Matematičkog instituta Srpske akademije nauke i umetnosti, Spomenici kulture | Ognjanović, Zoran | Technical reports | Mp. category will be shown later |
| 2013 | History of Mathematical Logic in Serbia![]() | Borisavljević, Mirjana | Book parts | Mp. category will be shown later |
| 2013 | Probabilistic logics for objects located in space and time | Doder, Dragan | Article | 21M21 |
| 2013 | Serbia-forum, interaktivna i dinamička aplikacija za skupljanje, skladištenje i virtuelno predstavljanje digitalizovane nacionalne baštine Srbije | Marinković, Bojan | Technical reports | Mp. category will be shown later |
| 2013 | Transforming electronic medical books to diagnostic decision support systems using relational database management systems | Stošović, Milan | Book parts | Mp. category will be shown later |
| 2013 | On definable operators in certain probability logics | Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2013 | The Serbia-forum Cultural Heritage Digitization Project with Emphasis on Semantic Indexing | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
| 2013 | Progress and Innovative Ideas for the Serbia-Forum Cultural Heritage Digitization Project | Jelisavčić, Vladisav | Conference Paper | Mp. category will be shown later |
| 2013 | A first-order conditional probability logic with iterations | Milosevic, Milos; Ognjanović, Zoran | Article | 23M23 |
| 2013 | Serbia Forum | Ognjanović, Zoran | Technical reports | Mp. category will be shown later |
| 2013 | Applications of probabilistic and related logics to decision support in medicine | Perović, Aleksandar | Book parts | Mp. category will be shown later |
| 2013 | Cultural Monuments in Serbia: Web GIS and Mapping of Toplica District | Valjarević, Aleksandar | Conference Paper | Mp. category will be shown later |
| 2013 | Formal Description of the Chord Protocol using Isabelle/HOL Proof Assistant | Marinković, Bojan | Conference Paper | Mp. category will be shown later |
