Obradović, Jovana
Loading...
3
0
20
0
false
Full Name
Obradović, Jovana
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 1 Categorification | Coherence | Cyclic operads
- 1 Categorification | Coherence | Operads | Polytopes
- 1 Ceva-Menelaus proof | Connected sum | Cyclic operad | Incidence theorem | Sequent system | Simplicial homology
- 1 Cooperative game | Hypergraph | Minimal model | Operad | Operadic category | Polyhedral realization
- 1 Cyclic operads | Microcosm principle | Monoid | Operads | Species of structures
- 1 operad | cyclic operad | unrooted trees | syntax | rewriting system | formalisation
Date issued
Type
- 6 Article
Results 1-6 of 6 (Search time: 0.002 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Batanin, Michael; Markl, Martin; Obradović, Jovana | Minimal models for graph-related (hyper)operads | 2023 | Journal of Pure and Applied Algebra; 227(7); 107329 | ~M22 |
2 | Baralić, Đorđe ; Curien, Pierre Louis; Milićević, Marina; Obradović, Jovana ; Petrić, Zoran ; Zekić, Mladen ; Živaljević, Rade | Proofs and surfaces | 1-Oct-2020 | Annals of Pure and Applied Logic; 171(9); 102845 | M21 |
3 | Curien, Pierre Louis; Obradović, Jovana | Categorified Cyclic Operads | 1-Feb-2020 | Applied Categorical Structures; 28(1); 59-112 | M23 |
4 | Curien, Pierre Louis; Obradović, Jovana ; Ivanović, Jelena | Syntactic aspects of hypergraph polytopes | 7-Mar-2019 | Journal of Homotopy and Related Structures; 14(1); 235-279 | M23 |
5 | Curien, Pierre-Louis; Obradović, Jovana | A formal language for cyclic operads | 24-May-2017 | Higher Structures; 1(1); 22-55 | |
6 | Obradović, Jovana | Monoid-like definitions of cyclic operad | 13-Mar-2017 | Theory and Applications of Categories; 32; 396-436 | M22 |