Dragisa Zunic

According to our database, Dragisa Zunic authored at least 10 papers between 2007 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Formalization of Automated Trading Systems in a Concurrent Linear Framework.

Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

2017

A Congruence Relation for Restructuring Classical Terms.

Dragisa Zunic, Pierre Lescanne

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

2016

Shape Interpretation of Second-Order Moment Invariants.

Jovisa D. Zunic, Dragisa Zunic

J. Math. Imaging Vis., 2016

2014

Shape ellipticity from Hu moment invariants.

Dragisa Zunic, Jovisa D. Zunic

Appl. Math. Comput., 2014

2013

Shape ellipticity based on the first Hu moment invariant.

Dragisa Zunic, Jovisa D. Zunic

Inf. Process. Lett., 2013

2012

Shape Rectangularity Measures.

Dragisa Zunic, Carlos Martinez-Ortiz, Jovisa D. Zunic

Int. J. Pattern Recognit. Artif. Intell., 2012

Computational interpretation of classical logic with explicit structural rules

Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic

CoRR, 2012

2011

Measuring shape rectangularities.

Carlos Martinez-Ortiz, Dragisa Zunic, Jovisa D. Zunic

Proceedings of the 2011 IEEE International Symposium on Signal Processing and Information Technology, 2011

2009

Intuitionistic Sequent-Style Calculus with Explicit Structural Rules.

Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Dragisa Zunic

Proceedings of the Logic, Language, and Computation, 2009

2007

Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X.

Dragisa Zunic

PhD thesis, 2007