Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2023 | A verifiable model of a minimal market operating sequentially, with price and time discrete | Žunić, Dragiša | Научни чланак | Мп категорија ће бити приказана накнадно. |
2019 | Formalization of Automated Trading Systems in a Concurrent Linear Framework | Cervesato, Iliano; Khan, Sharjeel; Reis, Giselle; Žunić, Dragiša | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2019 | Nanoparticle shapes: Quantification by elongation, convexity and circularity measures | Kopanja, Lazar ; Lončar, Boris B.; Žunić, Dragiša ; Tadić, Marin | Научни чланак | 23M23 - Рад у међ. часопису |
2018 | A Congruence Relation for Restructuring Classical Terms | Pierre Lescanne; Zunic, Dragisa | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | A congruence relation for restructuring classical terms | Žunić, Dragiša D. ; P. Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | Standard classical logic as protocol for process communication | Žunić, Dragiša D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | Mera izduženosti u kvantifikovanju oblika nanočestica | Kopanja, Lazar S. ; Žunić, Dragiša D. ; Tadić, Marin M. ; Lončar, Boris B. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2016 | Shape Interpretation of Second-Order Moment Invariants | Žunić, Joviša ; Žunić, Dragiša | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
2016 | Asterix calculus - classical computation in detail | Žunić, Dragiša ; P. Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2016 | Quantifying shapes of nanoparticles using modified circularity and ellipticity measures | Kopanja, Lazar ; Žunić, Dragiša ; Lončar, Boris B. ; Gyergyek, Sašo; Tadić, Marin | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2016 | Core-shell superparamagnetic iron oxide nanoparticle (SPION) clusters: TEM micrograph analysis, particle design and shape analysis | Kopanja, Lazar ; Kralj, Slavko; Žunić, Dragiša ; Lončar, Boris B. ; Tadić, Marin | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
2015 | Kvantifikovanje oblika nanočestica pomoću cirkularnosti | Kopanja, Lazar ; Žunić, Dragiša D. ; Lončar, Boris B. ; Tadić, Marin M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2013 | The unessential in classical logic and computation | Žunić, Dragiša ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2012 | Computational interpretation of classical logic with explicit structural rules | Silvia Ghilezan ; Pierre Lescanne; Žunić, Dragiša | Остало | Мп категорија ће бити приказана накнадно. |
2012 | SHAPE RECTANGULARITY MEASURES | Žunić, Dragiša ; MARTINEZ-ORTIZ, CARLOS; Žunić, Joviša | Научни чланак | 23M23 - Рад у међ. часопису |
2012 | Classical computing with negation | Žunić, Dragiša ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2011 | Measuring shape rectangularity | Žunić, Dragiša ; Žunić, Joviša | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2011 | Measuring Shape Rectangularities | Carlos Martinez-Ortiz; Žunić, Dragiša ; Žunić, Joviša | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2011 | Intuitionistic sequent-style calculus with explicit structural rules | Gilezan, Silvia ; Žunić, Dragiša ; Ivetić, Jelena ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2011 | Classical logic proofs' essence and diagrammatic computation | Žunić, Dragiša ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |