Showing results 180 to 199 of 255
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
Guzmán, Osvaldo; Todorčević, Stevo | The P-ideal dichotomy, Martin’s axiom and entangled sets | 2024 | Israel Journal of Mathematics | ~M22 |
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 |
Kurilić, Miloš S.; Todorčević, Stevo | Posets of copies of countable ultrahomogeneous tournaments | 1-Dec-2024 | Annals of Pure and Applied Logic; 175(10); 103486 | ~M21 |
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 |
Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar | A Probabilistic Temporal Epistemic Logic, Part II: Decidability | 2024 | Logic Journal Of The Igpl; 35(5); 827-879 | ~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 | ~M21 |
Doder, Dragan; Ognjanović, Zoran | Probabilistic temporal logic with countably additive semantics | 2024 | Annals of Pure and Applied Logic; 175(9); 103389 | ~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 |