Mirko Spasic

According to our database, Mirko Spasic authored at least 16 papers between 2012 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Proving correctness of the query containment solver SpeCS using SPARQL set semantics.

Mirko Spasic, Milena Vujosevic-Janicic

J. Web Semant., 2025

2023

Solving the SPARQL query containment problem with SpeCS.

Mirko Spasic, Milena Vujosevic-Janicic

J. Web Semant., April, 2023

2022

Soundness and Completeness of SPARQL Query Containment Solver SpeCS.

Mirko Spasic, Milena Vujosevic-Janicic

CoRR, 2022

2021

Verification supported refactoring of embedded sql.

Mirko Spasic, Milena Vujosevic-Janicic

Softw. Qual. J., 2021

Software for the GeoSPARQL compliance benchmark.

Milos Jovanovik, Timo Homburg, Mirko Spasic

Softw. Impacts, 2021

A GeoSPARQL Compliance Benchmark.

Milos Jovanovik, Timo Homburg, Mirko Spasic

ISPRS Int. J. Geo Inf., 2021

2020

The LDBC Social Network Benchmark.

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

CoRR, 2020

2018

An Incremental Simplex Algorithm with Unsatisfiable Core Generation.

Filip Maric, Mirko Spasic, René Thiemann

Arch. Formal Proofs, 2018

Benchmarking Virtuoso 8 at the Mighty Storage Challenge 2018: Challenge Results.

Milos Jovanovik, Mirko Spasic

Proceedings of the Semantic Web Challenges, 2018

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

Proceedings of the Semantic Web Challenges, 2018

2017

MOCHA 2017 as a Challenge for Virtuoso.

Mirko Spasic, Milos Jovanovik

Proceedings of the Semantic Web Challenges, 2017

MOCHA2017: The Mighty Storage Challenge at ESWC 2017.

Kleanthi Georgala, Mirko Spasic, Milos Jovanovik, Henning Petzka, Michael Röder, Axel-Cyrille Ngonga Ngomo

Proceedings of the Semantic Web Challenges, 2017

2016

An RDF Dataset Generator for the Social Network Benchmark with Real-World Coherence.

Mirko Spasic, Milos Jovanovik, Arnau Prat-Pérez

Proceedings of the Workshop on Benchmarking Linked Data (BLINK 2016) co-located with the 15th International Semantic Web Conference (ISWC), 2016

2012

Linked Open Data Infrastructure for Public Sector Information: Example from Serbia.

Valentina Janev, Uros Milosevic, Mirko Spasic, Jelena Milojkovic, Sanja Vranes

Proceedings of the I-SEMANTICS 2012 Posters & Demonstrations Track, 2012

Formalization of Incremental Simplex Algorithm by Stepwise Refinement.

Mirko Spasic, Filip Maric

Proceedings of the FM 2012: Formal Methods, 2012

Integrating Serbian public data into the LOD cloud.

Valentina Janev, Uros Milosevic, Mirko Spasic, Sanja Vranes, Jelena Milojkovic, Branko Jirecek

Proceedings of the Balkan Conference in Informatics, 2012, 2012