Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X. - Dragisa Zunic (2007)

Intuitionistic Sequent-Style Calculus with Explicit Structural Rules. - Silvia Ghilezan; Jelena Ivetic; Pierre Lescanne; Dragisa Zunic (TbiLLC, 2009)

Measuring shape rectangularities. - Carlos Martinez-Ortiz; Dragisa Zunic; Jovisa D. Zunic (ISSPIT, 2011)

Computational interpretation of classical logic with explicit structural rules - Silvia Ghilezan; Pierre Lescanne; Dragisa Zunic (CoRR, 2012)

Shape Rectangularity Measures. - Dragisa Zunic; Carlos Martinez-Ortiz; Jovisa D. Zunic (Int. J. Pattern Recognit. Artif. Intell., 2012)

Shape ellipticity based on the first Hu moment invariant. - Dragisa Zunic; Jovisa D. Zunic (Inf. Process. Lett., 2013)

Shape ellipticity from Hu moment invariants. - Dragisa Zunic; Jovisa D. Zunic (Appl. Math. Comput., 2014)

Shape Interpretation of Second-Order Moment Invariants. - Jovisa D. Zunic; Dragisa Zunic (J. Math. Imaging Vis., 2016)

A Congruence Relation for Restructuring Classical Terms. - Dragisa Zunic; Pierre Lescanne (ICTCS/CILC, 2017)

Formalization of Automated Trading Systems in a Concurrent Linear Framework. - Iliano Cervesato; Sharjeel Khan; Giselle Reis; Dragisa Zunic (Linearity-TLLA@FLoC, 2018)