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


Results 1-20 of 58 (Search time: 0.004 seconds).

Author(s)TitleIssue DateAppears inRank
1Petrić, Zoran ; Zekić, Mladen Coherence for closed categories with biproducts1-Mar-2021Journal of Pure and Applied Algebra; 225(3); 106533~M22
2Baralić, Đ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
3Gajović, Stevan; Petrić, Zoran ; Telebaković Onić, SonjaA faithful 2-dimensional TQFT1-Jan-2020Homology, Homotopy and Applications; 22(1); 391-399M23
4Baralić, Đorđe ; Ivanović, Jelena; Petrić, Zoran A simple permutoassociahedronDec-2019Discrete Mathematics; 342(12)M22
5Čukić, Sonja Lj.; Petrić, Zoran The n-fold reduced bar construction1-Sep-2018Journal of Homotopy and Related Structures; 13(3); 503-543
6Baralić, Djordje ; Petrić, Zoran ; Telebaković, SonjaSpheres as frobenius objects18-Jul-2018Theory and Applications of Categories; 33; 691-726M23
7Došen, Kosta ; Petrić, Zoran Representing conjunctive deductions by disjunctive deductions1-Mar-2017Review of Symbolic Logic; 10(1); 145-157M21
8Krapež, Aleksandar ; Petrić, Zoran A note on semisymmetry1-Jan-2017Quasigroups and Related Systems; 25(2); 269-278
9Jojić, Duško; Vrećica, Siniša; Živaljević, Rade Multiple chessboard complexes and the colored Tverberg problem1-Jan-2017Journal of Combinatorial Theory. Series A; 145; 400-425M21
10Došen, Kosta ; Petrić, Zoran Weak cat-operads25-Mar-2015Logical Methods in Computer Science; 11(1)M22
11Petrić, Zoran Segal's multisimplicial spaces1-Jan-2015Publications de l'Institut Mathematique; 97(111); 11-21M24
12Došen, Kosta ; Petrić, Zoran A planarity criterion for graphs1-Jan-2015SIAM Journal on Discrete Mathematics; 29(4); 2160-2165M22
13Petrić, Zoran Monoids, Segal's condition and bisimplicial spaces2015Četvrta Matematička Konferencija Republike Srpske; 7-16M30
14Petrić, Zoran 270 Minutes on Categorial Proof Theory2015Logic in Computer Science; 18(26); 7-35M14
15Petrić, Zoran On stretching the interval simplex-permutohedron1-Feb-2014Journal of Algebraic Combinatorics; 39(1); 99-125M21
16Petrić, Zoran ; Trimble, ToddSymmetric bimonoidal intermuting categories and ω × ω reduced bar constructions1-Jan-2014Applied Categorical Structures; 22(3); 467-499M22
17Petrić, Zoran Cuts and Graphs2014Hypothetical Reasoning, Eberhard Karls Universitaet Tuebingen; 44-44M30
18Čukić, Sonja; Petrić, Zoran Classifying spaces of monoidal categories2014Treća Matematička Konferencija Republike Srpske; 23-29M30
19Došen, Kosta ; Petrić, Zoran Graphs of plural cuts6-May-2013Theoretical Computer Science; 484; 41-55M23
20Došen, Kosta ; Petrić, Zoran Syntax for split preorders1-Apr-2013Annals of Pure and Applied Logic; 164(4); 443-481M22

Projects
(Co-Investigators)



Results 1-4 of 4 (Search time: 0.001 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