Showing results 144 to 163 of 202
< previous
next >
| Author(s) | Title | Issue Date | Appears in | Rank |
| 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 |
| 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 | ~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 |
| Dautović, Šejla ; Doder, Dragan; Ognjanović, Zoran | Reasoning about knowledge and conditional probability | 1-Dec-2023 | International Journal of Approximate Reasoning; 163; 109037 | ~M22 |
| 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 |
| Huang, Huaping; Todorčević, Vesna ; Radenović, Stojan | Remarks on Recent Results for Generalized F-Contractions | 2022 | Mathematics; 10(5); 768 | ~M21a |
| Šegan-Radonjić, Marija ; Todorčević, Vesna | Rodna struktura Matematičkog instituta SAN od 1946. do 1961. godine | 2022 | Rod, znanje i moć: istorija, nasleđe i značaj naučnica u Srbiji; 83-95 | M44 |
