Mirko Spasic

17 papers B 1Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Proving correctness of the query containment solver SpeCS using SPARQL set semantics.
J. Web Semant.
Mirko Spasic, Milena Vujosevic-Janicic
2023 J jnl
Solving the SPARQL query containment problem with SpeCS.
J. Web Semant.
Mirko Spasic, Milena Vujosevic-Janicic
2022 J jnl
Soundness and Completeness of SPARQL Query Containment Solver SpeCS.
CoRR
Mirko Spasic, Milena Vujosevic-Janicic
2021 J jnl
A GeoSPARQL Compliance Benchmark.
CoRR
Milos Jovanovik, Timo Homburg, Mirko Spasic
2021 J jnl
A GeoSPARQL Compliance Benchmark.
ISPRS Int. J. Geo Inf.
Milos Jovanovik, Timo Homburg, Mirko Spasic
2021 J jnl
Software for the GeoSPARQL compliance benchmark.
Softw. Impacts
Milos Jovanovik, Timo Homburg, Mirko Spasic
2021 J jnl
Verification supported refactoring of embedded sql.
Softw. Qual. J.
Mirko Spasic, Milena Vujosevic-Janicic
2020 J jnl
The LDBC Social Network Benchmark.
CoRR
Renzo Angles, János Benjamin Antal, Alex Averbuch, Peter Boncz, Orri Erling, Andrey Gubichev, Vlad Haprian, Moritz Kaufmann, Josep Lluís Larriba-Pey, Norbert Martínez-Bazan, József Marton, Marcus Paradies, Minh-Duc Pham, Arnau Prat-Pérez, Mirko Spasic, Benjamin A. Steer, Gábor Szárnyas, Jack Waudby
2018 J jnl
An Incremental Simplex Algorithm with Unsatisfiable Core Generation.
Arch. Formal Proofs
Filip Maric, Mirko Spasic, René Thiemann
2018 — conf
Benchmarking Virtuoso 8 at the Mighty Storage Challenge 2018: Challenge Results.
SemWebEval@ESWC
Milos Jovanovik, Mirko Spasic
2018 — conf
MOCHA2018: The Mighty Storage Challenge at ESWC 2018.
SemWebEval@ESWC
Kleanthi Georgala, Mirko Spasic, Milos Jovanovik, Vassilis Papakonstantinou, Claus Stadler, Michael Röder, Axel-Cyrille Ngonga Ngomo
2017 — conf
MOCHA 2017 as a Challenge for Virtuoso.
SemWebEval@ESWC
Mirko Spasic, Milos Jovanovik
2017 — conf
MOCHA2017: The Mighty Storage Challenge at ESWC 2017.
SemWebEval@ESWC
Kleanthi Georgala, Mirko Spasic, Milos Jovanovik, Henning Petzka, Michael Röder, Axel-Cyrille Ngonga Ngomo
2016 — conf
An RDF Dataset Generator for the Social Network Benchmark with Real-World Coherence.
BLINK@ISWC
Mirko Spasic, Milos Jovanovik, Arnau Prat-Pérez
2012 B conf
Formalization of Incremental Simplex Algorithm by Stepwise Refinement.
FM
Mirko Spasic, Filip Maric
2012 — conf
Integrating Serbian public data into the LOD cloud.
BCI
Valentina Janev, Uros Milosevic, Mirko Spasic, Sanja Vranes, Jelena Milojkovic, Branko Jirecek
2012 — conf
Linked Open Data Infrastructure for Public Sector Information: Example from Serbia.
I-SEMANTICS (Posters & Demos)
Valentina Janev, Uros Milosevic, Mirko Spasic, Jelena Milojkovic, Sanja Vranes