Naučni savetnik dr Zoran Petrić


Nedostaje slika

dr Zoran Petrić

Naučni savetnik


Telefon011 3348947
E-mail
Akademsko zvanjeNaučni savetnik
Trenutno nema podataka o biografiji zaposlenog!
NazivU Ustanovi
-

Diploma

Matematičke nauke

Matematički fakultet

1988

Izomorfne iskazne formule u kategorijalnoj teoriji dokaza

Magistratura

Matematičke nauke

Matematički fakultet

1993

Jednakosti izvodjenja u kategorijalnoj teoriji dokaza

Doktorat

Matematičke nauke

Matematički fakultet

1997

Kriterijum produkcijeOpis
(M22) Rad u istaknutom međunarodnom časopisuIntermutation (coauthor: K. Došen), Applied Categorical Structures, 20 (2012), pp. 43-95
(M23) Rad u međunarodnom časopisuHypergraph Polytopes (co-author: K. Došen), Topology and its Applications, 158 (2011), pp. 1405–1444
(M21) Rad u vrhunskom međunarodnom časopisuOn Stretching the Interval Simplex-Permutohedron, Journal of Algebraic Combinatorics, 39 (2014), pp. 99-125
(M21) Rad u vrhunskom međunarodnom časopisuRepresenting conjunctive deductions by disjunctive deductions, (co-author: K. Došen), The Review of Symbolic Logic, 10 (2017), pp. 145-157
(M22) Rad u istaknutom međunarodnom časopisuThe n-fold reduced bar construction (co-author: S.Lj. Čukić), Journal of Homotopy and Related Structures, 13 (2018), pp. 503-543
(M22) Rad u istaknutom međunarodnom časopisuWeak Cat-Operads (co-author: K. Došen), Logical Methods in Computer Science, 11 (2015), pp. 1–23
(M22) Rad u istaknutom međunarodnom časopisuA Planarity Criterion for Graphs (co-author: K. Došen), SIAM Journal on Discrete Mathematics, 29(4) (2015), pp. 2160–2165
(M22) Rad u istaknutom međunarodnom časopisuSymmetric bimonoidal intermuting categories and ω×ω reduced bar constructions (co-author: T. Trimble), Applied Categorical Structures, 22 (2014), pp. 467-499
(M22) Rad u istaknutom međunarodnom časopisuOrdinals in Frobenius Monads (co-author: K. Došen), Journal of Pure and Applied Algebra, 217 (2013), pp. 763-778
(M22) Rad u istaknutom međunarodnom časopisuSyntax for Split Preorders (co-author: K. Došen), Annals of Pure and Applied Logic, 164 (2013), pp. 443-481
(M22) Rad u istaknutom međunarodnom časopisuGraphs of Plural Cuts (co-author: K. Došen), Theoretical Computer Science, 484 (2013), pp. 41-55
(M22) Rad u istaknutom međunarodnom časopisuCoherence in Linear Predicate Logic (co-author: K. Došen), Annals of Pure and Applied Logic, 158 (2009), pp. 125-153
(M22) Rad u istaknutom međunarodnom časopisuCoherence for Monoidal Monads and Comonads (co-author: K. Došen), Mathematical Structures in Computer Science, 20 (2010), pp. 545-561
(M22) Rad u istaknutom međunarodnom časopisuCoherence for Modalities (co-author: K. Došen), Journal of Pure and Applied Algebra, 215 (2011), pp. 1606-1628
(M22) Rad u istaknutom međunarodnom časopisuHypergraph Polytopes (co-author: K. Došen), Topology and its Applications, 158 (2011), pp. 1405–1444
(M22) Rad u istaknutom međunarodnom časopisuIntermutation (co-author: K. Došen), Applied Categorical Structures, 20 (2012), pp. 43-95
(M22) Rad u istaknutom međunarodnom časopisuIsomorphic Formulae in Classical Propositional Logic (co-author: K. Došen), Mathematical Logic Quarterly, 58 (2012), pp. 5-17
(M22) Rad u istaknutom međunarodnom časopisuShuffles and Concatenations in Constructing of Graphs (co-author: K. Došen), Mathematical Structures in Computer Science, 22, Special Issue 06 (2012), pp 904-930
(M23) Rad u međunarodnom časopisuSymmetric Self-Adjunctions and Matrices (co-author: K. Došen), Algebra Colloquium, 19, No. spec01 (2012), pp. 1051-1082
(M23) Rad u međunarodnom časopisuSegal’s multisimplicial spaces, Publications de l’ Institut Mathematique, tome 97 (111) (2015), pp. 11-21
(M23) Rad u međunarodnom časopisuSpheres as Frobenius objects (co-authors: Djordje Baralić and Sonja Telebaković), Theory and Applications of Categories, 33 (2018), pp. 691-726
ZvanjeUža naučna oblastVisokoškolska ustanovaDatum izbora
Naučni savetnikMatematikaResorno ministrarstvo za nauku19.11.2008.
Viši naučni saradnikMatematikaMatematički institut - SANU13.02.2004.
Naučni saradnikMatematikaMatematički institut - SANU10.05.2000.