Objavljeni radovi:
[1]
M. Spasić, M. Vujošević Janičić. “Verification supported refactoring of embedded SQL”. Software Quality Journal (2020), pp. 1–37. IF 2.169 (M22), doi: 10.1007/s11219-020- 09517-y. 2. M. Spasić, M. Vujošević Janičić. “SpeCS — SPARQL Query Containment Solver.” In: 2020 Zooming Innovation in Consumer Technologies Conference (ZINC). IEEE, 2020, doi: 10.1109/ZINC50678.2020.9161435. 3. Mirko Spasić. „Životni ciklus povezanih podataka kroz razvoj skupa podataka vozila u pokretu”. InfoM - Časopis za informacione tehnologije i multimedijalne sisteme, Broj 71 (2020), pp. 44-55. issn: 1451-4397. 4. M. Spasić, M. Vujošević Janičić, “First Steps towards Proving Functional Equivalence of Embedded SQL,” in 24th International Conference on Types for Proofs and Programs, TYPES2018, J. E. Santo and L. Pinto, Eds., Braga, Portugal: Centro de Matemática, University of Minho, Jun. 2018. 5. M. Spasić, M. Jovanovik. “MOCHA 2017 as a Challenge for Virtuoso.” In: Semantic Web Challenges - 4th SemWebEval Challenge at ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017, Revised Selected Papers. Ed. by M. Dragoni, M. Solanki, and E. Blomqvist. Vol. 769. Communications in Computer and Information Science. Springer, 2017, pp. 21–32. doi: 10.1007/978-3-319-69146-6_3. 6. M. Spasić, M. Jovanovik, A. Prat-Pérez. “An RDF Dataset Generator for the Social Network Benchmark with Real-World Coherence.” In: Proceedings of the Workshop on Benchmarking Linked Data (BLINK 2016) co-located with the 15th International Semantic Web Conference (ISWC), Kobe, Japan, October 18, 2016. Ed. by I. Fundulaki, A. Krithara, A.-C. N. Ngomo, and V. Rentoumi. Vol. 1700. CEUR Workshop Proceedings. Oct. 2016. doi: 10.13140/RG.2.2.30490.64965/1. 7. R. Angles, J. B. Antal, A. Averbuch, P. Boncz, O. Erling, A. Gubichev, V. Haprian, M. Kaufmann, J. L. L. Pey, N. Martínez, J. Marton, M. Paradies, M.-D. Pham, A. Prat-Pérez, M. Spasić, B. A. Steer, G. Szárnyas, J. Waudby. The LDBC Social Network Benchmark. 2020. arXiv: 2001.02299 [cs.DB]. 8. K. Georgala, M. Spasić, M. Jovanovik, V. Papakonstantinou, C. Stadler, M. Röder, A.-C. N. Ngomo. “MOCHA2018: The Mighty Storage Challenge at ESWC 2018.” In: Semantic Web Challenges. Ed. by D. Buscaldi, A. Gangemi, and D. Reforgiato Recupero. Springer, 2018, pp. 3–16. isbn: 978-3-030-00072-1. 9. M. Jovanovik, M. Spasić. “Benchmarking Virtuoso 8 at the Mighty Storage Challenge 2018: Challenge Results.” In: Semantic Web Challenges - 5th SemWebEval Challenge at ESWC 2018, Heraklion, Greece, June 3-7, 2018, Revised Selected Papers. Ed. by D. Buscaldi, A. Gangemi, and D. R. Recupero. Vol. 927. Communications in Computer and Information Science. Springer, 2018, pp. 24–35. doi: 10.1007/978-3-030-00072-1_3.
