Dragisa Zunic

Orcid: 0000-0002-0345-6797

According to our database1, Dragisa Zunic authored at least 11 papers between 2007 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Critical Analysis of Energy Consumption in Neuro-Computational Systems.
IEEE Access, 2026

2018
Formalization of Automated Trading Systems in a Concurrent Linear Framework.
Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

2017
A Congruence Relation for Restructuring Classical Terms.
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.
J. Math. Imaging Vis., 2016

2014
Shape ellipticity from Hu moment invariants.
Appl. Math. Comput., 2014

2013
Shape ellipticity based on the first Hu moment invariant.
Inf. Process. Lett., 2013

2012
Shape Rectangularity Measures.
Int. J. Pattern Recognit. Artif. Intell., 2012

Computational interpretation of classical logic with explicit structural rules
CoRR, 2012

2011
Measuring shape rectangularities.
Proceedings of the 2011 IEEE International Symposium on Signal Processing and Information Technology, 2011

2009
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules.
Proceedings of the Logic, Language, and Computation, 2009

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


  Loading...