BibTeX records: Dragisa Zunic

• > Home > Persons > Dragisa Zunic

@inproceedings{DBLP:journals/corr/abs-1904-06844,
  author       = {Iliano Cervesato and
                  Sharjeel Khan and
                  Giselle Reis and
                  Dragisa Zunic},
  editor       = {Thomas Ehrhard and
                  Maribel Fern{\'{a}}ndez and
                  Valeria de Paiva and
                  Lorenzo Tortora de Falco},
  title        = {Formalization of Automated Trading Systems in a Concurrent Linear
                  Framework},
  booktitle    = {Proceedings Joint International Workshop on Linearity {\&} Trends
                  in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford,
                  UK, 7-8 July 2018},
  series       = {{EPTCS}},
  volume       = {292},
  pages        = {1--14},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.292.1},
  doi          = {10.4204/EPTCS.292.1},
  timestamp    = {Wed, 29 May 2019 13:01:26 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-06844.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/ZunicL17,
  author       = {Dragisa Zunic and
                  Pierre Lescanne},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {A Congruence Relation for Restructuring Classical Terms},
  booktitle    = {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), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {186--197},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/ICTCSpaper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/ZunicL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jmiv/ZunicZ16,
  author       = {Jovisa D. Zunic and
                  Dragisa Zunic},
  title        = {Shape Interpretation of Second-Order Moment Invariants},
  journal      = {J. Math. Imaging Vis.},
  volume       = {56},
  number       = {1},
  pages        = {125--136},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10851-016-0638-8},
  doi          = {10.1007/S10851-016-0638-8},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jmiv/ZunicZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amc/ZunicZ14,
  author       = {Dragisa Zunic and
                  Jovisa D. Zunic},
  title        = {Shape ellipticity from Hu moment invariants},
  journal      = {Appl. Math. Comput.},
  volume       = {226},
  pages        = {406--414},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.amc.2013.10.062},
  doi          = {10.1016/J.AMC.2013.10.062},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amc/ZunicZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/ZunicZ13,
  author       = {Dragisa Zunic and
                  Jovisa D. Zunic},
  title        = {Shape ellipticity based on the first Hu moment invariant},
  journal      = {Inf. Process. Lett.},
  volume       = {113},
  number       = {19-21},
  pages        = {807--810},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ipl.2013.07.020},
  doi          = {10.1016/J.IPL.2013.07.020},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipl/ZunicZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijprai/ZunicMZ12,
  author       = {Dragisa Zunic and
                  Carlos Martinez{-}Ortiz and
                  Jovisa D. Zunic},
  title        = {Shape Rectangularity Measures},
  journal      = {Int. J. Pattern Recognit. Artif. Intell.},
  volume       = {26},
  number       = {6},
  year         = {2012},
  url          = {https://doi.org/10.1142/S021800141254002X},
  doi          = {10.1142/S021800141254002X},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijprai/ZunicMZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1203-4754,
  author       = {Silvia Ghilezan and
                  Pierre Lescanne and
                  Dragisa Zunic},
  title        = {Computational interpretation of classical logic with explicit structural
                  rules},
  journal      = {CoRR},
  volume       = {abs/1203.4754},
  year         = {2012},
  url          = {http://arxiv.org/abs/1203.4754},
  eprinttype    = {arXiv},
  eprint       = {1203.4754},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1203-4754.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isspit/Martinez-OrtizZZ11,
  author       = {Carlos Martinez{-}Ortiz and
                  Dragisa Zunic and
                  Jovisa D. Zunic},
  editor       = {Adel Elmaghraby and
                  Dimitrios N. Serpanos},
  title        = {Measuring shape rectangularities},
  booktitle    = {2011 {IEEE} International Symposium on Signal Processing and Information
                  Technology, {ISSPIT} 2011, Bilbao, Spain, December 14-17, 2011},
  pages        = {369--374},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ISSPIT.2011.6151590},
  doi          = {10.1109/ISSPIT.2011.6151590},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isspit/Martinez-OrtizZZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tbillc/GhilezanILZ09,
  author       = {Silvia Ghilezan and
                  Jelena Ivetic and
                  Pierre Lescanne and
                  Dragisa Zunic},
  editor       = {Nick Bezhanishvili and
                  Sebastian L{\"{o}}bner and
                  Kerstin Schwabe and
                  Luca Spada},
  title        = {Intuitionistic Sequent-Style Calculus with Explicit Structural Rules},
  booktitle    = {Logic, Language, and Computation - 8th International Tbilisi Symposium
                  on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia,
                  September 21-25, 2009. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6618},
  pages        = {101--124},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-22303-7\_7},
  doi          = {10.1007/978-3-642-22303-7\_7},
  timestamp    = {Mon, 01 May 2023 13:01:33 +0200},
  biburl       = {https://dblp.org/rec/conf/tbillc/GhilezanILZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/hal/Zunic07,
  author       = {Dragisa Zunic},
  title        = {Computing with sequents and diagrams in classical logic - calculi
                  *X, dX and {\textcopyright}X},
  school       = {{\'{E}}cole normale sup{\'{e}}rieure de Lyon, France},
  year         = {2007},
  url          = {https://tel.archives-ouvertes.fr/tel-00265549},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Zunic07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}