Researchers



Results 1-20 of 23
Issue DateTitleAuthor(s)TypeМp-cat.
2026Critical Analysis of Energy Consumption in Neuro-Computational SystemsKipelkin, Ivan; Kamenko, Ilija  ; Ivošević, Jovan  ; Fedorova, Alina; Zharkov, Grigory; Maricic, Jovana  ; Bratic, Stojanka  ; Pilipovic, Nebojsa  ; Samardzic, Natasa  ; Dautovic, Stanisa  ;
Medojević, Milovan  ; Bajac, Branimir; Vallverdú, Jordi; Žunić, Dragiša  ; Restuccia, Francesco; Alessio, Vincenzo; Longo, Francesco; Merlino, Giovanni; Bruneo, Dario; Distefano, Salvatore; Toschev, Alexander; Mikhaylov, Alexey; Erokhin, Victor; Talanov, Max  ;
Article
21M21
2023A verifiable model of a minimal market operating sequentially, with price and time discreteŽunić, Dragiša  Article
Mp. category will be shown later
2019Nanoparticle shapes: Quantification by elongation, convexity and circularity measuresKopanja, Lazar ; Lončar, Boris B.; Žunić, Dragiša  ; Tadić, Marin  Article
23M23
2019Formalization of Automated Trading Systems in a Concurrent Linear FrameworkCervesato, Iliano; Khan, Sharjeel; Reis, Giselle; Žunić, Dragiša  Conference Paper
Mp. category will be shown later
2018A Congruence Relation for Restructuring Classical TermsPierre Lescanne; Zunic, Dragisa  Conference Paper
Mp. category will be shown later
2017A congruence relation for restructuring classical termsŽunić, Dragiša D.  ; P. LescanneConference Paper
Mp. category will be shown later
2017Mera izduženosti u kvantifikovanju oblika nanočesticaKopanja, Lazar S. ; Žunić, Dragiša D.  ; Tadić, Marin M.  ; Lončar, Boris B. Conference Paper
Mp. category will be shown later
2017Standard classical logic as protocol for process communicationŽunić, Dragiša D.  Conference Paper
Mp. category will be shown later
2016Shape Interpretation of Second-Order Moment InvariantsŽunić, Joviša  ; Žunić, Dragiša  Article
21aM21a
2016Asterix calculus - classical computation in detailŽunić, Dragiša  ; P. LescanneConference Paper
Mp. category will be shown later
2016Quantifying shapes of nanoparticles using modified circularity and ellipticity measuresKopanja, Lazar ; Žunić, Dragiša  ; Lončar, Boris B. ; Gyergyek, Sašo; Tadić, Marin  Article
21M21
2016Core-shell superparamagnetic iron oxide nanoparticle (SPION) clusters: TEM micrograph analysis, particle design and shape analysisKopanja, Lazar ; Kralj, Slavko; Žunić, Dragiša  ; Lončar, Boris B. ; Tadić, Marin  Article
21aM21a
2015Kvantifikovanje oblika nanočestica pomoću cirkularnostiKopanja, Lazar ; Žunić, Dragiša D.  ; Lončar, Boris B. ; Tadić, Marin M.  Conference Paper
Mp. category will be shown later
2013The unessential in classical logic and computationŽunić, Dragiša  ; Pierre LescanneConference Paper
Mp. category will be shown later
2012Computational interpretation of classical logic with explicit structural rulesSilvia Ghilezan  ; Pierre Lescanne; Žunić, Dragiša  Other
Mp. category will be shown later
2012Classical computing with negationŽunić, Dragiša  ; Pierre LescanneConference Paper
Mp. category will be shown later
2012Shape rectangularity measuresŽunić, Dragiša  ; MARTINEZ-ORTIZ, CARLOS; Žunić, Joviša  Article
23M23
2011Intuitionistic sequent-style calculus with explicit structural rulesGilezan, Silvia  ; Žunić, Dragiša  ; Ivetić, Jelena  ; Lescanne, PierreConference Paper
Mp. category will be shown later
2011Measuring shape rectangularitiesCarlos Martinez-Ortiz; Žunić, Dragiša  ; Žunić, Joviša  Conference Paper
Mp. category will be shown later
2011Classical logic proofs' essence and diagrammatic computationŽunić, Dragiša  ; Pierre LescanneConference Paper
Mp. category will be shown later