Petrić, Zoran

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Petrić, Zoran
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications


Results 1-20 of 60 (Search time: 0.029 seconds).

Author(s)TitleIssue DateAppears inRank
1Nikolić, Jovana; Petrić, Zoran ; Zekić, Mladen A Diagrammatic Presentation of the Category 3Cob1-Jun-2024Results in Mathematics; 79(4); 165~M21a
2Baralić, Đorđe ; Ivanović, J.; Petrić, Zoran Chromatic numbers for facet colouring of some generalised associahedra2024Discrete Applied Mathematics; 358; 272-284~M22
3Đorđević, Dušan; Petrić, Zoran ; Zekić, Mladen A graphical language for quantum protocols based on the category of cobordisms2024Quantum Studies: Mathematics and Foundations
4Petrić, Zoran ; Zekić, Mladen Coherence for closed categories with biproducts1-Mar-2021Journal of Pure and Applied Algebra; 225(3); 106533~M22
265Baralić, Đorđe ; Curien, Pierre Louis; Milićević, Marina; Obradović, Jovana ; Petrić, Zoran ; Zekić, Mladen ; Živaljević, Rade Proofs and surfaces1-Oct-2020Annals of Pure and Applied Logic; 171(9); 102845M21
266Gajović, Stevan; Petrić, Zoran ; Telebaković Onić, SonjaA faithful 2-dimensional TQFT1-Jan-2020Homology, Homotopy and Applications; 22(1); 391-399M23
267Baralić, Đorđe ; Ivanović, Jelena; Petrić, Zoran A simple permutoassociahedronDec-2019Discrete Mathematics; 342(12)M22
268Čukić, Sonja Lj.; Petrić, Zoran The n-fold reduced bar construction1-Sep-2018Journal of Homotopy and Related Structures; 13(3); 503-543
269Baralić, Djordje ; Petrić, Zoran ; Telebaković, SonjaSpheres as frobenius objects18-Jul-2018Theory and Applications of Categories; 33; 691-726M23
270Došen, Kosta ; Petrić, Zoran Representing conjunctive deductions by disjunctive deductions1-Mar-2017Review of Symbolic Logic; 10(1); 145-157M21
271Krapež, Aleksandar ; Petrić, Zoran A note on semisymmetry1-Jan-2017Quasigroups and Related Systems; 25(2); 269-278
272Došen, Kosta ; Petrić, Zoran Weak cat-operads25-Mar-2015Logical Methods in Computer Science; 11(1)M22
13Došen, Kosta ; Petrić, Zoran A planarity criterion for graphs1-Jan-2015SIAM Journal on Discrete Mathematics; 29(4); 2160-2165M22
14Petrić, Zoran Segal's multisimplicial spaces1-Jan-2015Publications de l'Institut Mathematique; 97(111); 11-21M24
15Petrić, Zoran Monoids, Segal's condition and bisimplicial spaces2015Četvrta Matematička Konferencija Republike Srpske; 7-16M30
16Petrić, Zoran 270 Minutes on Categorial Proof Theory2015Logic in Computer Science; 18(26); 7-35M14
17Petrić, Zoran On stretching the interval simplex-permutohedron1-Feb-2014Journal of Algebraic Combinatorics; 39(1); 99-125M21
18Petrić, Zoran ; Trimble, ToddSymmetric bimonoidal intermuting categories and ω × ω reduced bar constructions1-Jan-2014Applied Categorical Structures; 22(3); 467-499M22
19Petrić, Zoran Cuts and Graphs2014Hypothetical Reasoning, Eberhard Karls Universitaet Tuebingen; 44-44M30
20Čukić, Sonja; Petrić, Zoran Classifying spaces of monoidal categories2014Treća Matematička Konferencija Republike Srpske; 23-29M30

Projects
(Co-Investigators)


Results 1-4 of 4 (Search time: 0.0 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 144029Models, Languages, Types, and Processes in Computing01-01-200631-12-2010Ghilezan, Silvia
PROJECT 1630Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics01-01-200231-12-2005Došen, Kosta
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran