ὅδε οἶκος, ὦ ἑταῖρε, μνημεῖον ἐστιν ζῴων τῶν σοφῶν ἀνδρῶν, καὶ τῶν ἔργων αὐτῶν

Project AI4TrustBC



Project results

Mladenović, N., Todosijević, R., Urošević, D., Dispersion problem under capacity and cost constraints: multiple neighborhood tabu search, to appear in Mathematical Optimization Theory and Operations Research (MOTOR 2022), Petrozavodsk, Karelia, Russia, July 2-6, 2022, LNCS 13367.
Matijević, L., Variable Neighborhood Search for Multi-label Feature Selection, to appear in Mathematical Optimization Theory and Operations Research (MOTOR 2022), Petrozavodsk, Karelia, Russia, July 2-6, 2022, LNCS 13367.
Ćirković, P., Đorđević, P., Milićević, M., Davidović, T., Metaheuristic Approach to Spectral Reconstruction of Graphs, to appear in Mathematical Optimization Theory and Operations Research (MOTOR 2022), Petrozavodsk, Karelia, Russia, July 2-6, 2022, LNCS 13367.
Jakšić Krüger, T., Davidović, T., Jelisavčić, V., 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.
Šejla Dautović, A Probabilistic Logic Between LPP1 and LPP2, to appear in Log. Univers. (2022). https://doi.org/10.1007/s11787-022-00301-z.
Silvia Ghilezan, Tamara Stefanović, 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.
Marko Savić, Nikolina Vukša, Miodrag J. Mihaljević, 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.
David Lehnherr, Zoran Ognjanović, Thomas Studer, 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ć, D., Davidović, T., Jakšić-Krüger, T., Ramljak, D., 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ć, U., Matijević, L., Davidović, T., 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ć, L., Stanković, U., Davidović, T., 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, D., Davidović, T., Urošević, D., Jakšić-Krüger, T., Matijević, L., Todorović, M., Jovanović, Đ., 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.