Istraživači
Ognjanović, Zoran
Rezultati 261-280 od 305
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2003 | The second conference of the National digitisation centre of Serbia and Montenegro: Digitisation from a Balkan perspective | Dobreva, Milena; Ognjanović, Zoran   | Ostalo | Mp kategorija će biti prikazana naknadno. |
| 2003 | A genetic algorithm for PSAT | Ognjanović, Zoran ; Midić, Uroš; Kratica, Jozef | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2002 | A probabilistic logic based on propositional intuitionistic logic | Marković, Zoran; Ognjanović, Zoran ; Rašković, Miodrag | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2001 | Completeness theorem for a first order linear-time logic | Ognjanović, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2001 | On classical logicwith probability operators: A short survay | Rašković, Miodrag; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2001 | Kolekcija tehničkih rešenja sa naprednim kriptografskim mehanizmima za servise zaštite podataka | Mihaljević, Miodrag J. ; Marković, Zoran; Urošević, Dragan ; Ognjanović, Zoran | Tehničko rešenje | Mp kategorija će biti prikazana naknadno. |
| 2001 | Primena genetskih algoritama na SAT problem | Ognjanović, Zoran ; Kratica, Jozef ; Milovanović, Miloš | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2001 | A genetic algorithm for satisfiability problem in a probabilistic logic: A first report | Ognjanović, Zoran ; Kratica, Jozef ; Milovanović, Miloš | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2001 | An automated theorem prover for the probability logic LPP | Rašković, Miodrag; Ognjanović, Zoran ; Petrović, Vladimir; Majstorović, Uroš | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2001 | The resolution tableau for logics of likelihood | Ognjanović, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2000 | Some first-order probability logics | Ognjanović, Zoran ; Rašković, Miodrag | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2000 | On two approaches to modal theorem proving | Ognjanović, Zoran ; Timotijević, Tatjana | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2000 | A new program for cryptographic authetification control of data | Bojanić, Slobodan; Mihaljević, Miodrag J. ; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1999 | New software for cryptographic control of data integrity | Bojanić, Slobodan; Mihaljević, Miodrag J. ; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1999 | Neke verovatnosne logike i njihove primene u računarstvu | Ognjanović, Zoran | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 1999 | Some probability logics with new types of probability operators | Ognjanović, Zoran ; Rašković, Miodrag | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 1999 | A first order probability logic, LPQ | Rašković, Miodrag; Ognjanović, Zoran | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 1998 | A logic for temporal and probabilistic reasoning | Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1997 | The completeness theorem for a temporal logic with probabilistic operators | Ognjanović, Zoran ; Rašković, Miodrag | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1997 | Sredstva za arhiviranje i prikazivanje multimedijalnih baza preko Interneta | Mijajlović, Žarko; Korać, Miomir; Ognjanović, Zoran | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |