Browsing by Department Mathematics


Or, select a letter below to start browsing
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 146 to 165 of 214 < previous   next >
Author(s)TitleIssue DateAppears inRank
Femić, Bojana Paired wreaths: 2-categorical background of a class of cross products28-Feb-2022Sao Paulo Journal of Mathematical Sciences
Milovanović, Miloš Pitanje kalendara u svetlosti predanja Srpske pravoslavne crkve2021M42
Stević, Stevo ; Ueki, Sei IchiroPOLYNOMIAL DIFFERENTIATION COMPOSITION OPERATORS FROM Hp SPACES TO WEIGHTED–TYPE SPACES ON THE UNIT BALL2023Journal 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 BALL2023Journal of Nonlinear and Variational Analysis; 7(3); 397-407~M21a
Milovanović, Miloš Postmodern Memory. A Study on Aesthetics of Easten Europe2022Beauty in Architecture. Harmony of Place; 363-389M14
Veltri, Niccolò; Benton, Nick; Ghilezan, Silvia PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming2021PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021M36
Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for asynchronous multiparty sessions4-Jan-2021Proceedings of the ACM on Programming Languages; 5; 16M33
Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise Subtyping for Asynchronous Multiparty Sessions2022ACM Transactions on Computational Logic~M21
Stefanović, Tamara; Ghilezan, Silvia Preserving Privacy in Caller ID Applications1-Apr-2021IFIP International Summer School on Privacy and Identity Management; Privacy and Identity Management; 151-168M33
Ghilezan, Silvia ; Stefanović, TamaraPrivacy preserving contact tracing2021Webinar "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ć, TamaraPrivacy-preserving contact tracing2023Mathematics 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 LPP21-Jan-2022Logica Universalis~M22
Kašterović, Simona; Ghilezan, Silvia Probabilistic Reasoning about Typed Combinatory Logic202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 29-31M34
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarA Probabilistic Temporal Epistemic LogicSep-202110th 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; 33M34
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarA Probabilistic Temporal Epistemic Logic, Part II: Decidability2023Logic Journal Of The Igpl~M21a
Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, AleksandarA Probabilistic Temporal Epistemic Logic: Strong Completeness2022Logic Journal of the IGPL; jzac072~M21a
Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, AleksandarA probabilistic temporal epistemic logic: Strong completeness2024Logic Journal of the IGPL; 32(1); 94-138~M21a
Doder, Dragan; Ognjanović, Zoran Probabilistic temporal logic with countably additive semantics2023Annals of Pure and Applied Logic~M21
Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran Probabilistic-Temporal Logic with Actions202211th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022, Dubrovnik, Croatia; Book of Abstracts; 19-20M34
Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, AleksandarProbability Logics for Reasoning About Quantum Observations2023Logica Universalis; 17; 175-219~M21