MISANU

Project AI4TrustBC

Project results

Ghilezan, Silvia, Pantović, Jovanka, Prokić, Ivan, Scalas, Alceste, Yoshida, Nobuko, Precise Subtyping for Asynchronous Multiparty Sessions, accepted to ACM Transactions on Computational Logic, 2022.
https://doi.org/10.1145/3568422

Lehnherr, David, Ognjanović, Zoran, Studer, Thomas, A logic of interactive proofs, Journal of Logic and Computation, on-line first, 2022.
DOI: https://doi.org/10.1093/logcom/exac071

Ognjanović, Zoran, Ilić Stepić, Angelina, Perović, Aleksandar, A probabilistic temporal epistemic logic: Decidability, accepted to Logic journal of the IGPL, 2022.

Ognjanović, Zoran, Ilić Stepić, Angelina, Perović, Aleksandar, A probabilistic temporal epistemic logic: Strong completeness, on-line first Logic journal of the IGPL, 2022.
https://doi.org/10.1093/jigpal/jzac072

Matijević, Luka, Metaheuristic Approaches for the Green Vehicle Routing Problem, Yugoslav Journal of Operations Research, (in press) 2022.
DOI: 10.2298/YJOR211120016M

Todorović, Milan, Matijević, Luka, Integrating Blockchain into Supply Chain Management, Proc. XLIX Symposium on Operational Research, SYMOPIS 2022, Vrnjačka Banja, Sept. 19-22, 2022, pp. 395-400.

Mihaljević, Miodrag, Knežević, Milica, Urošević, Dragan, Wang, Lianhai, Xu, Shujiang, An Approach for Blockchain and Symmetric Keys Broadcast Encryption Based Access Control in IoT Symmetry, Special Issue "Advances in Multidisciplinary Exploration for Symmetric Key Cryptography and Blockchain Technology", 15(2), pp. 299:1-19, 2023.
DOI: 10.3390/sym14091831

Maleš, Uroš, Ramljak, Dušan, Jakšić-Krüger, Tatjana, Davidović, Tatjana, Ostojić, Dragutin, Haridas, Abhay, Controlling the Difficulty of Combinatorial Optimization Problems for Fair Proof-of-Useful-Work based Blockchain Consensus Protocol, Symmetry, Special Issue "Advances in Multidisciplinary Exploration for Symmetric Key Cryptography and Blockchain Technology", 15(1), pp. 140:1-32, 2023.
DOI: 10.3390/sym14091831

Matijević, Luka, Bee Colony Optimization for Multi-Label Feature Selection, Proc. XLIX Symposium on Operational Research, SYMOPIS 2022, Vrnjačka Banja, Sept. 19-22, 2022, pp. 243-248.

Ghilezan, Silvia, Liquori, Luigi, Marinković, Bojan, Kašterović, Simona, Ognjanović, Zoran, Stefanović, Tamara, Federating Digital Contact Tracing using Structured Overlay Networks, ComSIS – Computer Science and Information Systems, 19(3), 1261-1282
https://doi.org/10.2298/CSIS210825029G

Basold, Henning, Cockx, Jesper, Ghilezan Silvia (editors): 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference). LIPIcs 239, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-254-9,
open access https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16250

Todorović, Milan, Matijević, Luka, Ramljak, Dušan, Davidović, Tatjana, Urošević, Dragan, Jakšić-Krüger, Tatjana, Jovanović, Đorđe, Proof-of-Useful-Work: BlockChain Mining by Solving Real-life Optimization Problems, Symmetry, Special Issue "Advances in Multidisciplinary Exploration for Symmetric Key Cryptography and Blockchain Technology", 14(9), pp. 1831:1-47, 2022.
DOI: 10.3390/sym14091831

Davidović, Tatjana, Todorović, Milan, Ramljak, Dušan, Jakšić-Krüger, Tatjana, Matijević, Luka, Jovanović, Đorđe, Urošević, Dragan, COCP: Blockchain Proof-of-Useful-Work Leveraging Real-Life Applications, The Fourth International Conference on Blockchain Computing and Applications (BCCA 2022), San Antonio, Texas, USA, Sept. 05-07, 2022, pp. 5811:1-4.

Mladenović, Nenad, Todosijević, Raca, Urošević, Dragan, Dispersion problem under capacity and cost constraints: multiple neighborhood tabu search, Mathematical Optimization Theory and Operations Research (MOTOR 2022), Petrozavodsk, Karelia, Russia, July 2-6, 2022, LNCS 13367, pp. 108-122.

Matijević, Luka, Variable Neighborhood Search for Multi-label Feature Selection, Mathematical Optimization Theory and Operations Research (MOTOR 2022), Petrozavodsk, Karelia, Russia, July 2-6, 2022, LNCS 13367, pp. 94-107.

Ćirković, Petar, Đorđević, Ppredrag, Milićević, Miloš, Davidović, Tatjana, Metaheuristic Approach to Spectral Reconstruction of Graphs, Mathematical Optimization Theory and Operations Research (MOTOR 2022), Petrozavodsk, Karelia, Russia, July 2-6, 2022, LNCS 13367, pp. 79-93.

Jakšić Krüger, Tatjana, Davidović, Tatjana, Jelisavčić, Vladisav, Parameter analysis of variable neighborhood search applied to multiprocessor scheduling with communication delays, to appear in Mathematical Optimization Theory and Operations Research (MOTOR 2022), Petrozavodsk, Karelia, Russia, July 2-6, 2022, CCIC.

Dautović, Šejla, A Probabilistic Logic Between LPP1 and LPP2, Log. Univers., 16, 323-333, 2022. https://doi.org/10.1007/s11787-022-00301-z.

Ghilezan, Silvia, Stefanović, Tamara, Privacy preserving Contact Tracing, to appear in Mathematics for human flourishing in the time of COVID-19 and post COVID-19 (Eds M. N. Hounkonnou, M. Mitrović), DeGruyter Proceedings, ISBN 978-3-11-073862-9, 2022.

Savić, Marko, Vukša, Nikolina, Mihaljević, Miodrag J., An Architecture for Verified Medical Data Distribution Employing Blockchain Technology, to appear in Mathematics for human flourishing in the time of COVID-19 and post COVID-19 (Eds M. N. Hounkonnou, M. Mitrović), DeGruyter Proceedings, ISBN 978-3-11-073862-9, 2022.

Lehnherr, David, Ognjanović, Zoran, Studer, Thomas, A Logic of Interactive Proofs, In S. Artemov and A. Nerode (Eds.): Logical Foundations of Computer Science, LFCS 2022, Lecture Notes in Computer Science 13137, pp. 143–155, 2022.

Ostojić, Dragutin, Davidović, Tatjana, Jakšić-Krüger, Tatjana, Ramljak, Dušan, Comparative Analysis of Heuristic Approaches to P||Cmax, Proc. 11th International Conference on Operations Research and Enterprise Systems, (virtual), Feb. 3-5, 2022, pp. 352-359.

Stanković, Una, Matijević, Luka, Davidović, Tatjana, Mathematical Models for the Weighted Scheduling Problem with Deadlines and Release Times, Proc. XLVIII Symposium on Operational Research, SYMOPIS 2021, Banja Koviljača, Serbia, Sept. 20-23, 2021, pp. 345-350.

Matijević, Luka, Stanković, Una, Davidović, Tatjana, General Variable Neighborhood Search for the Weighted Scheduling Problem with Deadlines and Release Times, Proc. XLVIII Symposium on Operational Research, SYMOPIS 2021, Banja Koviljača, Serbia, Sept. 20-23, 2021, pp. 225-230.

Ramljak, Dušan, Davidović, Tatjana, Urošević, Dragan, Jakšić-Krüger, Tatjana, Matijević, Luka, Todorović, Milan, Jovanović, Đorđe, Combinatorial Optimization for Self Contained Blockchain: An Example of Useful Synergy, Proc. XLVIII Symposium on Operational Research, SYMOPIS 2021, Banja Koviljača, Serbia, Sept. 20-23, 2021, pp. 285-290.

Stefanović, Tamara, Ghilezan, Silvia, Preserving Privacy in Caller ID Applications, IFIP Advances in Information and Communication Technology series, Privacy and Identity Management, Volume 619, pp. 151–168, Springer, 2021.

Stojanović, Tatjana, Ikodinović, Nebojša, Davidović, Tatjana, Ognjanović Zoran, Automated non-monotonic reasoning in System P, Annals of Mathematics and Artificial Intelligence, 89, pp. 471–509, 2021. DOI: 10.1007/s10472-021-09738-2

Ghilezan, Silvia, Liquori, Luigi, Marinković, Bojan, Kašterović, Simona, Ognjanović Zoran, Stefanović, Tamara, Federating Digital Contact Tracing using Structured Overlay Networks , 2021. (The preliminary version of the work in progress published online)

Tomović, Siniša, Knežević, Milica, Mihaljević, Miodrag J., Analysis and Correction of the Attack Against the LPN-Problem Based Authentication Protocols, Mathematics, 9(5) 2021. DOI: 10.3390/math9050573

Mihaljević, Miodrag J., Bitcoin, Blockchain Technology and Cryptography – An Illustration, Anali ogranka SANU u Novom Sadu 16 (2020) 41-47.

Ghilezan, Silvia, Stefanović, Tamara, Privacy-preserving contact tracing, Webinar "Mathematics for Human Flourishing in the time of Covid-19 and post Covid-19", Oct. 21, 2020, Niš, Serbia, Abstract Booklet, p. 5.

Mihaljević, Miodrag J., On blockchain technology and some applications, Webinar "Mathematics for Human Flourishing in the time of Covid-19 and post Covid-19", Oct. 21, 2020, Niš, Serbia, Abstract Booklet, p. 12.

Stefanović, Tamara, Ghilezan, Silvia, An Overview of Mathematical Models for Data Privacy, 9th Int. Conf. Logic and Applications (LAP 2020), Sept. 21-23, 2020, Dubrovnik, Croatia, (Hybrid Conference) Book of Abstracts, pp. 27-29.

Mihaljević, Miodrag J., A Blockchain Consensus Protocol Based on Dedicated Time-Memory-Data Trade-Off, IEEE Access 8 (2020), 141258-141268.