Showing results 147 to 166 of 215
< 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 |
| Stević, Stevo | POLYNOMIAL DIFFERENTIATION COMPOSITION OPERATORS FROM WEIGHTED BERGMAN SPACES TO WEIGHTED-TYPE SPACES ON THE UNIT BALL | 2023 | Journal of Nonlinear and Variational Analysis; 7(3); 397-407 | ~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 | |
| Ghilezan, Silvia ; Stefanović, Tamara | Privacy-preserving contact tracing | 2023 | Mathematics for Human Flourishing in the Time of COVID-19 and Post COVID-19 : Proceedings of the Workshop held at the Faculty of Mechanical Engineering, University of Niš, Niš, 21 of October 2020; 171-182 | |
| 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 |
| Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar | A probabilistic temporal epistemic logic: Strong completeness | 2024 | Logic Journal of the IGPL; 32(1); 94-138 | ~M21a |
| Doder, Dragan; Ognjanović, Zoran | Probabilistic temporal logic with countably additive semantics | 2023 | Annals of Pure and Applied Logic | ~M21 |
| 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 | ~M21 |
