Researchers
Perović, Aleksandar
Type
Date issued
Results 1-20 of 72
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2024 | Using 𝐴𝑟𝑐ℎ-𝜔-logic in Neuro-Symbolic Reasoning | Perović, Aleksandar   ; Ognjanović, Zoran ; Stojanović, Tatjana | Conference Paper | Mp. category will be shown later |
| 2024 | A Probabilistic Temporal Epistemic Logic: Strong Completeness | Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar | Article | 21aM21a |
| 2023 | A probabilistic temporal epistemic logic: Decidability | Ognjanović, Zoran ; Ilić-Stepić, Angelina ; Perović, Aleksandar | Article | 21aM21a |
| 2023 | Probability Logics for Reasoning About Quantum Observations | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Article | 21M21 |
| 2022 | Збирка решених задатака из математике 1 | Левајковић, Тијана ; Кукић, Катарина ; Илић, Дејан ; Јеловић, Ана ; Борисављевић, Мирјана ; Ћирић, Нинослав ; Перовић, Александар | Text book | Mp. category will be shown later |
| 2022 | The logic ILP for intuitionistic reasoning about probability | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Conference Paper | Mp. category will be shown later |
| 2021 | A Probabilistic Temporal Epistemic Logic | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Conference Paper | Mp. category will be shown later |
| 2019 | Zbirka rešenih zadataka iz matematike 1 | Levajković, Tijana ; Kukić, Katarina ; Ilić, Dejan ; Jelović, Ana ; Borisavljević, Mirjana ; Ćirić, Ninoslav ; Perović, Aleksandar | Text book | Mp. category will be shown later |
| 2018 | Measures and Metrics of Biological Signals | Kasum, Obrad; Perović, Aleksandar ; Jovanović, Aleksandar | Article | 21aM21a |
| 2017 | A Premium Principle Based on the G-integral | Grbić, Tatjana ; Medić, Slavica ; Perović, Aleksandar ; Mihailović, Biljana ; Novković, Nebojša ; Duraković, Nataša | Article | 22M22 |
| 2016 | Erratum to: Extensions of the Probability Logics LPP2 and LFOP1 | Perović, Aleksandar ; Doder, Dragan ; Ilić-Stepić, Angelina ; Ikodinović, Nebojša | Other | Mp. category will be shown later |
| 2016 | Inequalities of the Chebyshev Type Based on Pseudo-integrals | Grbić, Tatjana ; Medić, Slavica ; Perović, Aleksandar ; Paskota, Mira ; Buhmiler, Sandra | Article | 21a+M21a+ |
| 2016 | Inequalities of Hölder and Minkowski Type for Pseudo-integrals With Respect to Interval-valued ⊕-Measures | Medić, Slavica ; Grbić, Tatjana ; Perović, Aleksandar ; Nikoličić, Svetlana | Article | 21a+M21a+ |
| 2016 | Security evaluation of the NHB# authentication protocol against a MIM attack | Tomović, Siniša S. ; Knežević, Milica ; Mihaljević, Miodrag ; Perović, Aleksandar M. ; Ognjanović, Zoran | Article | Mp. category will be shown later |
| 2016 | On evaluations of propositional formulas in countable structures | Perović, Aleksandar ; Doder, Dragan ; Ognjanović, Zoran ; Rašković, Miodrag | Article | 21M21 |
| 2016 | Metod i softver za napredne tehnike za autentikaciju u domenu IoT i M2M | Mihaljević, Miodrag ; Arsić, Aleksandra ; Ognjanović, Zoran ; Tomović, Siniša S. ; Perović, Aleksandar M. | Technical reports | Mp. category will be shown later |
| 2016 | A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One | Tomović, Siniša ; Mihaljević, Miodrag ; Perović, Aleksandar ; Ognjanović, Zoran | Article | 22M22 |
| 2015 | A p-adic probability logic | Ikodinović, Nebojša ; Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar M. | Conference Paper | Mp. category will be shown later |
| 2015 | Zbirka rešenih zadataka iz matematike 1 | Levajković, Tijana ; Kukić, Katarina ; Ilić, Dejan ; Jelović, Ana ; Borisavljević, Mirjana ; Ćirić, Ninoslav ; Perović, Aleksandar | Text book | Mp. category will be shown later |
| 2015 | Strukture i metode u procesiranju signala i slika - Matematicke Invarijante | Dolićanin, Edin Ć. ; Perović, Aleksandar M. ; A. Jovanović | Monograph | Mp. category will be shown later |