Research

Research publications

[20] D. Zunic: A verifiable model of a minimal market operating sequentially, with price andtime discrete, Journal of Computer and Forensic Sciences, Vol. 2, Issue 1, pp. 7-17. June 2023. 

[19] I. Cervesato, S. Khan, G. Reis, D. Zunic: Formalization of automated trading systems in a concurrent linear framework, Proceeding of Linearity and Trends in Linear Logic and Applications TLLA (affiliated with FCSD and FLOC) - Oxford UK, July 2018, pp. 1-15 (2019).  [doi]

[18]  D. Zunic, P. Lescanne: A congruence relation for restructuring classical terms, 18th Italian Conference on Theoretical Computer Science, ICTCS, Naples, Italy, September 2017. Proceedings here or article here.

[17]  D. Zunic: Standard classical logic as protocol for process communication, Logic and Applications Conference, LAP, Dubrovnik, Croatia, September 2017. Search here for abstract.

[16]  J. Zunic, D. Zunic: Shape interpretation of second-order moment invariants, Journal of Mathematical Imaging and Vision, Vol. 56, Issue 1, pp. 125-136 (2016). [doi] (M22)

[15]  L. Kopanja, D. Žunić, B. Lončar, S. Gyergyek and M. Tadić: Quantifying shapes of nanoparticles using modified circularity and ellipticity measures, Measurement Vol. 92, pp. 252-263  (2016). [doi] (M21)

[14]  S. Ghilezan, P. Lescanne, D. Zunic: Computational interpretation of classical logic with explicit structural rules (draft), search here for pdf.  [bibtex]

[13]   L. Kopanja, S. Kralj, D. Zunic, M. Tadic: Core-shell superparamagnetic iron oxide nanoparticle clusters: Tem micrograph analysis, particle design and shape analysis, Ceramics International, Vol. 42, Issue 9, pp. 10976 - 10984 (2016). [doi] (M21)

[12]   D. Žunić, J. Žunić: Shape ellipticity from Hu moment invariants, Applied Mathematics and Computation, vol. 226, pp. 406-414, 2014). [doi] (M21)

[11]   D. Žunić, C. Martinez-Ortiz, J. Žunić: Shape rectangularity measures, International Journal of Pattern Recognition and Artificial Intelligence, IJPRAI, Vol. 26, No. 6, pp. 1254002 [23 pages] (2012) [doi]  (M23)

[10]    D. Žunić, J. Žunić: Shape ellipticity based on the first Hu moment invariant, Information Processing Letters, Volume 113, Issues 19–21, pp. 807–810 (2013) [doi] (M22)

[09]    D. Žunić, P. Lescanne: Classical computing with negation, International Conference of Numerical Analysis and Applied Mathematics, ICNAAM 2012, Kos, Greece, September 2012. AIP Conf. Proc. Vol. 1479, pp. 474-477 (2012). [doi]

[08]    S. Ghilezan, J. Ivetic, P. Lescanne, D. Žunić: Intuitionistic sequent-style calculus with explicit structural rules, 8th Int. Symp. on Language, Logic and Computation,  TbiLLC, Bakuriani, Georgia, Sept. 2009. Springer LNCS Vol. 6618, pp. 101-124 (2011). [doi] [slides]

[07]    C. M. Ortiz, D. Žunić, J. Žunić: Measuring shape rectangularities, pp 369-374, IEEE International Symposium on Signal Processing and Information Technology, ISSPIT, Bilbao, Spain, December 14-17, 2011. [doi] 

[06]    D. Žunić, J. Žunić. Measuring shape rectangularity, Electronic Letters IET, ISSN: 0013-5194, Vol. 47, No. 7, pp. 441-444(2011). [doi]  (M22)

[05]    P. Lescanne, D. Žunić: Classical proofs’ essence and diagrammatic computation. International Conference on Numerical Analysis and Applied Mathematics, ICNAAM 2011, Halkidiki, Greece, Sept. 2011. AIP Conf. Proc., Vol. 1389, pp. 792-797 (2011).  [doi]

[04]    P. Lescanne, D. Žunić: Computing with diagrams in classical logic. Informal proceedings of Reduction Strategies in Revriting and Programming (ENTCS series), WRS, Hagenberg, Austria, 2008., Risc-Linz 2008-09, p. 91-109 (2008).  [pdf]

[03]    P. Lescanne, D. Žunić: Rewriting diagrams for computing and interpreting classical logic. Proc. of 11th International Workshop on Algebraic Development Techniques, WADT, Univ. Pisa tech. report, p. 39-40, Pisa, Italy, 2008. http://eprints.adm.unipi.it/2208/1/TR-08-15.pdf.gz

[02]    D. Žunić: Bike sharing system: sustainable mobility and clean energy. Proceedings of 2nd EMUNI Research Conference, June 2010, Vol 2, pp. 1255-1260 (2010). Search here for [pdf] and here for [slides].

[01]    D. Žunić, P. Lescanne: Erasure and duplication in the classical computation. Journees Francophones des Langages Applicatifs, Proc. of JFLA07, pp. 103-118(2007), Aix-les-Bains, France, 2007. Search here for [pdf].

    Ph.D. thesis

            Defended at Ecole Normale Supérieure de Lyon (ENS Lyon, grande école in France).

Title: Computing with Sequents and diagrams in classical logic – calculi *X, dX and ©X  >  Search HERE for pdf.

Advisor: Prof Pierre Lescanne, Ecole Normale Superieure de Lyon, France.

Committee members:  Hugo Herbelin - Ecole Polytechnique Paris, Stefen van Bakel - Imperial College London, Pierre Lescanne - ENS Lyon, Delia Kesner - University Paris VII, Yves Lafont - University of Marseille, Christian Urban - Technical University Munich.

   Other

            Textbook: S. Likavec, D. Žunić, B. Carić: Poslovna matematika (udžbenik), Fakultet za Ekonomiju i Inženjerski Menadžment, Univ. Privredna Akademija, Novi Sad, 2008.

            Slides: Search > here < for presentations.