Резултати 1-20 од 47
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2025Proving correctness of the query containment solver SpeCS using SPARQL set semanticsSpasic, Mirko D  ; Vujosevic-Janicic, Milena  Научни чланак
21M21 - Водећи међународни часопис категорије M21
2023Report on Data Storage Profile Generation, Project Deliverable from Project 3DFedJovanovik, Miloš; Spasić, Mirko  ; Williams, HughИзвештај
Мп категорија ће бити приказана накнадно.
2023Solving the SPARQL query containment problem with SpeCSSpasić, Mirko  ; Vujošević Janičić, Milena  Научни чланак
22M22 - Међународни часопис категорије M22
2023Report on Monitoring the Data Storages, Project Deliverable from Project 3DFedJovanovik, Miloš; Spasić, Mirko  ; Williams, Hugh; Saleem, MuhammadИзвештај
Мп категорија ће бити приказана накнадно.
2022Soundness and Completeness of SPARQL Query Containment Solver SpeCSSpasić, Mirko  ; Janičić, Vujošević Milena  Остало
Мп категорија ће бити приказана накнадно.
2021A GeoSPARQL Compliance BenchmarkJovanovik, Milos; Homburg, Timo; Spasić, Mirko  Научни чланак
22M22 - Међународни часопис категорије M22
2021Verification supported refactoring of embedded SQLSpasić, Mirko  ; Vujošević Janičić, Milena  Научни чланак
22M22 - Међународни часопис категорије M22
2021Software for the GeoSPARQL compliance benchmarkJovanovik, Milos; Homburg, Timo; Spasić, Mirko  Научни чланак
Мп категорија ће бити приказана накнадно.
2021Моделовање упитних језика са применама у рефакторисању и оптимизацији кодаSpasić, Mirko  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2020Verification of New Feature Implementation Using the HOBBIT Benchmark Platform. Project Deliverable from Project SAGEJovanovik, Miloš; Williams, Hugh; Spasić, Mirko  Извештај
Мп категорија ће бити приказана накнадно.
2020The LDBC Social Network BenchmarkRenzo Angles; János Benjamin Antal; Alex Averbuch; Altan Birler; Peter Boncz; Márton Búr; Orri Erling; Andrey Gubichev; Vlad Haprian; Moritz Kaufmann;
Josep Lluís Larriba Pey; Norbert Martínez; József Marton; Marcus Paradies; Minh-Duc Pham; Arnau Prat-Pérez; David Püroja; Spasić, Mirko  ; Benjamin A. Steer; Dávid Szakállas; Gábor Szárnyas; Jack Waudby; Mingxi Wu; Yuchen Zhang;
Извештај
Мп категорија ће бити приказана накнадно.
2020Životni ciklus povezanih podataka kroz razvoj skupa podataka vozila u pokretuSpasić, Mirko D.  Научни чланак
53M53 - Национални часопис категорије M53
2020Evaluation of SAGE Analytics for the Data Delivery including Best Practices. Project Deliverable from Project SAGESpasić, Mirko  ; Jovanovik, Miloš; Williams, Hugh; Schmenger, FelixИзвештај
Мп категорија ће бити приказана накнадно.
2020SpeCS - SPARQL Query Containment SolverSpasić, Mirko  ; Vujošević Janičić, Milena  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2020Continuous Query Optimisations in GeoSPARQL. Project Deliverable from Project SAGESpasić, Mirko  ; Jovanovik, Miloš; Williams, HughИзвештај
Мп категорија ће бити приказана накнадно.
2019Prototype Verifying Virtuoso GeoSPARQL and DE-9IM Compliance, Project Deliverable from Project SAGEJovanovik, Miloš; Williams, Hugh; Spasić, Mirko  Извештај
Мп категорија ће бити приказана накнадно.
2019Transforming Geospatial RDF Data into GeoSPARQL-Compliant Data: A Case of Traffic DataSpasić, Mirko D.  ; Jovanovik, MilosКонференцијски рад
Мп категорија ће бити приказана накнадно.
2019Prototype Verifying 5D Geospatial Support in Virtuoso. Project Deliverable from Project SAGESpasić, Mirko  ; Jovanovik, Miloš; Williams, HughИзвештај
Мп категорија ће бити приказана накнадно.
2018Benchmarking Virtuoso 8 at the Mighty Storage Challenge 2018: Challenge ResultsSpasić, Mirko D.  ; Milos JovanovikКонференцијски рад
Мп категорија ће бити приказана накнадно.
2018An Incremental Simplex Algorithm with Unsatisfiable Core GenerationMarić, Filip  ; Spasić, Mirko  ; Thiemann, RenéНаучни чланак
Мп категорија ће бити приказана накнадно.