Integrating Serbian public data into the LOD cloud. - Valentina Janev; Uros Milosevic; Mirko Spasic; Sanja Vranes; Jelena Milojkovic; Branko Jirecek (BCI, 2012)

Formalization of Incremental Simplex Algorithm by Stepwise Refinement. - Mirko Spasic; Filip Maric (FM, 2012)

Linked Open Data Infrastructure for Public Sector Information: Example from Serbia. - Valentina Janev; Uros Milosevic; Mirko Spasic; Jelena Milojkovic; Sanja Vranes (I-SEMANTICS (Posters & Demos), 2012)

An RDF Dataset Generator for the Social Network Benchmark with Real-World Coherence. - Mirko Spasic; Milos Jovanovik; Arnau Prat-Pérez (BLINK@ISWC, 2016)

MOCHA2017: The Mighty Storage Challenge at ESWC 2017. - Kleanthi Georgala; Mirko Spasic; Milos Jovanovik; Henning Petzka; Michael Röder; Axel-Cyrille Ngonga Ngomo (SemWebEval@ESWC, 2017)

MOCHA 2017 as a Challenge for Virtuoso. - Mirko Spasic; Milos Jovanovik (SemWebEval@ESWC, 2017)

MOCHA2018: The Mighty Storage Challenge at ESWC 2018. - Kleanthi Georgala; Mirko Spasic; Milos Jovanovik; Vassilis Papakonstantinou; Claus Stadler; Michael Röder; Axel-Cyrille Ngonga Ngomo (SemWebEval@ESWC, 2018)

Benchmarking Virtuoso 8 at the Mighty Storage Challenge 2018: Challenge Results. - Milos Jovanovik; Mirko Spasic (SemWebEval@ESWC, 2018)

An Incremental Simplex Algorithm with Unsatisfiable Core Generation. - Filip Maric; Mirko Spasic; René Thiemann (Arch. Formal Proofs, 2018)

The LDBC Social Network Benchmark. - Renzo Angles; János Benjamin Antal; Alex Averbuch; Peter A. Boncz; Orri Erling; Andrey Gubichev; Vlad Haprian; Moritz Kaufmann; Josep Lluís Larriba-Pey; Norbert Martínez-Bazan; József Marton; Marcus Paradies; et al. (CoRR, 2020)

A GeoSPARQL Compliance Benchmark. - Milos Jovanovik; Timo Homburg; Mirko Spasic (ISPRS Int. J. Geo Inf., 2021)

Software for the GeoSPARQL compliance benchmark. - Milos Jovanovik; Timo Homburg; Mirko Spasic (Softw. Impacts, 2021)

Verification supported refactoring of embedded sql. - Mirko Spasic; Milena Vujosevic-Janicic (Softw. Qual. J., 2021)

Soundness and Completeness of SPARQL Query Containment Solver SpeCS. - Mirko Spasic; Milena Vujosevic-Janicic (CoRR, 2022)

Solving the SPARQL query containment problem with SpeCS. - Mirko Spasic; Milena Vujosevic-Janicic (J. Web Semant., 2023)