Showing results 120 to 139 of 174
< previous
next >
| Author(s) | Title | Issue Date | Appears in | Rank |
| Femić, Bojana | Paired wreaths: 2-categorical background of a class of cross products | 28-Feb-2022 | Sao Paulo Journal of Mathematical Sciences | |
| Milovanović, Miloš | Pitanje kalendara u svetlosti predanja Srpske pravoslavne crkve | 2021 | | M42 |
| Stević, Stevo ; Ueki, Sei Ichiro | POLYNOMIAL DIFFERENTIATION COMPOSITION OPERATORS FROM Hp SPACES TO WEIGHTED–TYPE SPACES ON THE UNIT BALL | 2023 | Journal of Mathematical Inequalities; 17(1); 365-379 | ~M21a |
| Milovanović, Miloš | Postmodern Memory. A Study on Aesthetics of Easten Europe | 2022 | Beauty in Architecture. Harmony of Place; 363-389 | M14 |
| Veltri, Niccolò; Benton, Nick; Ghilezan, Silvia | PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming | 2021 | PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021 | M36 |
| Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko | Precise subtyping for asynchronous multiparty sessions | 4-Jan-2021 | Proceedings of the ACM on Programming Languages; 5; 16 | M33 |
| Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko | Precise Subtyping for Asynchronous Multiparty Sessions | 2022 | ACM Transactions on Computational Logic | ~M21 |
| Stefanović, Tamara; Ghilezan, Silvia | Preserving Privacy in Caller ID Applications | 1-Apr-2021 | IFIP International Summer School on Privacy and Identity Management; Privacy and Identity Management; 151-168 | M33 |
| Ghilezan, Silvia ; Stefanović, Tamara | Privacy-preserving contact tracing | 2021 | Webinar "Mathematics for Human Flourishing in the time of Covid-19 and post Covid-19", Oct. 21, 2020, Niš, Serbia; Abstract Booklet; 5 | |
| Dautović, Šejla | A Probabilistic Logic Between LPP1 and LPP2 | 1-Jan-2022 | Logica Universalis | ~M22 |
| Kašterović, Simona; Ghilezan, Silvia | Probabilistic Reasoning about Typed Combinatory Logic | 2022 | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 29-31 | M34 |
| Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | A Probabilistic Temporal Epistemic Logic | Sep-2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 33 | M34 |
| Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | A Probabilistic Temporal Epistemic Logic, Part II: Decidability | 2023 | Logic Journal Of The Igpl | ~M21a |
| Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar | A Probabilistic Temporal Epistemic Logic: Strong Completeness | 2022 | Logic Journal of the IGPL; jzac072 | ~M21a |
| Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Probabilistic-Temporal Logic with Actions | 2022 | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022, Dubrovnik, Croatia; Book of Abstracts; 19-20 | M34 |
| Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Probability Logics for Reasoning About Quantum Observations | 2023 | Logica Universalis; 17; 175-219 | ~M22 |
| Jočić, Dragan ; Štajner-Papuga, Ivana | Problem of distributivity between quasi-linear means and uni-nullnorms | 2022 | IEEE 20th Jubilee International Symposium on Intelligent Systems and Informatics (SISY 2022), September 15-17 2022 Subotica; Proceedings; 205-210 | M33 |
| Al-Yakoob, Salem; Filipovski, Slobodan; Stevanović, Dragan | Proofs of a few special cases of a conjecture on energy of non-singular graphsi | 1-Jan-2021 | Match; 86(3); 577-586 | ~M22 |
| Milićević, Luka | Quantitative inverse theorem for gowers uniformity norms U5 and U6 in Fn2 | 2023 | Canadian Journal of Mathematics | ~M21 |
| Jočić, Dragan ; Štajner-Papuga, Ivana | Relaxed distributivity laws for semi-t-operators and disjunctive uninorms | 16-Sep-2021 | 19th IEEE International Symposium on Intelligent Systems and Informatics, SISY 2021, Subotica 16 September 2021 - 18 September 2021; 113-118 | M33 |
