| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2025 | Proving correctness of the query containment solver SpeCS using SPARQL set semantics![]() | Spasic, Mirko D | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2023 | Report on Data Storage Profile Generation, Project Deliverable from Project 3DFed![]() | Jovanovik, Miloš; Spasić, Mirko | Извештај | Мп категорија ће бити приказана накнадно. |
| 2023 | Solving the SPARQL query containment problem with SpeCS![]() | Spasić, Mirko | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2023 | Report on Monitoring the Data Storages, Project Deliverable from Project 3DFed![]() | Jovanovik, Miloš; Spasić, Mirko | Извештај | Мп категорија ће бити приказана накнадно. |
| 2022 | Soundness and Completeness of SPARQL Query Containment Solver SpeCS![]() | Spasić, Mirko | Остало | Мп категорија ће бити приказана накнадно. |
| 2021 | A GeoSPARQL Compliance Benchmark![]() | Jovanovik, Milos; Homburg, Timo; Spasić, Mirko | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2021 | Verification supported refactoring of embedded SQL![]() | Spasić, Mirko | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2021 | Software for the GeoSPARQL compliance benchmark![]() | Jovanovik, Milos; Homburg, Timo; Spasić, Mirko | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2021 | Моделовање упитних језика са применама у рефакторисању и оптимизацији кода![]() | Spasić, Mirko | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2020 | Verification of New Feature Implementation Using the HOBBIT Benchmark Platform. Project Deliverable from Project SAGE![]() | Jovanovik, Miloš; Williams, Hugh; Spasić, Mirko | Извештај | Мп категорија ће бити приказана накнадно. |
| 2020 | The LDBC Social Network Benchmark![]() | Renzo Angles; János Benjamin Antal; Alex Averbuch; Altan Birler; Peter Boncz; Márton Búr; Orri Erling; Andrey Gubichev; Vlad Haprian; Moritz Kaufmann; | Извештај | Мп категорија ће бити приказана накнадно. |
| 2020 | Životni ciklus povezanih podataka kroz razvoj skupa podataka vozila u pokretu![]() | Spasić, Mirko D. | Научни чланак | 53M53 - Национални часопис категорије M53 |
| 2020 | Evaluation of SAGE Analytics for the Data Delivery including Best Practices. Project Deliverable from Project SAGE![]() | Spasić, Mirko | Извештај | Мп категорија ће бити приказана накнадно. |
| 2020 | SpeCS - SPARQL Query Containment Solver![]() | Spasić, Mirko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2020 | Continuous Query Optimisations in GeoSPARQL. Project Deliverable from Project SAGE![]() | Spasić, Mirko | Извештај | Мп категорија ће бити приказана накнадно. |
| 2019 | Prototype Verifying Virtuoso GeoSPARQL and DE-9IM Compliance, Project Deliverable from Project SAGE![]() | Jovanovik, Miloš; Williams, Hugh; Spasić, Mirko | Извештај | Мп категорија ће бити приказана накнадно. |
| 2019 | Transforming Geospatial RDF Data into GeoSPARQL-Compliant Data: A Case of Traffic Data![]() | Spasić, Mirko D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Prototype Verifying 5D Geospatial Support in Virtuoso. Project Deliverable from Project SAGE![]() | Spasić, Mirko | Извештај | Мп категорија ће бити приказана накнадно. |
| 2018 | Benchmarking Virtuoso 8 at the Mighty Storage Challenge 2018: Challenge Results![]() | Spasić, Mirko D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | An Incremental Simplex Algorithm with Unsatisfiable Core Generation![]() | Marić, Filip | Научни чланак | Мп категорија ће бити приказана накнадно. |