Mirko Spasic

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 13

Top Topics

Simplex Algorithm

Query Containment

Comparative Analysis

Storage Requirements

Top Venues

SemWebEval@ESWC

Publications

Mirko Spasic, Milena Vujosevic-Janicic
Solving the SPARQL query containment problem with SpeCS. J. Web Semant. 76 (2023)
Mirko Spasic, Milena Vujosevic-Janicic
Soundness and Completeness of SPARQL Query Containment Solver SpeCS. CoRR (2022)
Milos Jovanovik, Timo Homburg, Mirko Spasic
Software for the GeoSPARQL compliance benchmark. Softw. Impacts 8 (2021)
Mirko Spasic, Milena Vujosevic-Janicic
Verification supported refactoring of embedded sql. Softw. Qual. J. 29 (3) (2021)
Milos Jovanovik, Timo Homburg, Mirko Spasic
A GeoSPARQL Compliance Benchmark. ISPRS Int. J. Geo Inf. 10 (7) (2021)
Milos Jovanovik, Timo Homburg, Mirko Spasic
A GeoSPARQL Compliance Benchmark. CoRR (2021)
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, Minh-Duc Pham, Arnau Prat-Pérez, Mirko Spasic, Benjamin A. Steer, Gábor Szárnyas, Jack Waudby
The LDBC Social Network Benchmark. CoRR (2020)
Filip Maric, Mirko Spasic, René Thiemann
An Incremental Simplex Algorithm with Unsatisfiable Core Generation. Arch. Formal Proofs 2018 (2018)
Milos Jovanovik, Mirko Spasic
Benchmarking Virtuoso 8 at the Mighty Storage Challenge 2018: Challenge Results. SemWebEval@ESWC (2018)
Kleanthi Georgala, Mirko Spasic, Milos Jovanovik, Vassilis Papakonstantinou, Claus Stadler, Michael Röder, Axel-Cyrille Ngonga Ngomo
MOCHA2018: The Mighty Storage Challenge at ESWC 2018. SemWebEval@ESWC (2018)
Kleanthi Georgala, Mirko Spasic, Milos Jovanovik, Henning Petzka, Michael Röder, Axel-Cyrille Ngonga Ngomo
MOCHA2017: The Mighty Storage Challenge at ESWC 2017. SemWebEval@ESWC (2017)
Mirko Spasic, Milos Jovanovik
MOCHA 2017 as a Challenge for Virtuoso. SemWebEval@ESWC (2017)
Mirko Spasic, Milos Jovanovik, Arnau Prat-Pérez
An RDF Dataset Generator for the Social Network Benchmark with Real-World Coherence. BLINK@ISWC (2016)
Valentina Janev, Uros Milosevic, Mirko Spasic, Jelena Milojkovic, Sanja Vranes
Linked Open Data Infrastructure for Public Sector Information: Example from Serbia. I-SEMANTICS (Posters & Demos) (2012)
Valentina Janev, Uros Milosevic, Mirko Spasic, Sanja Vranes, Jelena Milojkovic, Branko Jirecek
Integrating Serbian public data into the LOD cloud. BCI (2012)
Mirko Spasic, Filip Maric
Formalization of Incremental Simplex Algorithm by Stepwise Refinement. FM (2012)