Istraživači

eNauka >  Istraživači >  Spasić, Mirko

Spasić, Mirko

Rezultati 1-20 od 47
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2025Proving correctness of the query containment solver SpeCS using SPARQL set semanticsSpasic, Mirko D  ; Vujosevic-Janicic, Milena  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2023Solving the SPARQL query containment problem with SpeCSSpasić, Mirko  ; Vujošević Janičić, Milena  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2023Report on Data Storage Profile Generation, Project Deliverable from Project 3DFedJovanovik, Miloš; Spasić, Mirko  ; Williams, HughIzveštaj
Mp kategorija će biti prikazana naknadno.
2023Report on Monitoring the Data Storages, Project Deliverable from Project 3DFedJovanovik, Miloš; Spasić, Mirko  ; Williams, Hugh; Saleem, MuhammadIzveštaj
Mp kategorija će biti prikazana naknadno.
2022Soundness and Completeness of SPARQL Query Containment Solver SpeCSSpasić, Mirko  ; Janičić, Vujošević Milena  Ostalo
Mp kategorija će biti prikazana naknadno.
2021Software for the GeoSPARQL compliance benchmarkJovanovik, Milos; Homburg, Timo; Spasić, Mirko  Naučni članak
Mp kategorija će biti prikazana naknadno.
2021Verification supported refactoring of embedded SQLSpasić, Mirko  ; Vujošević Janičić, Milena  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2021A GeoSPARQL Compliance BenchmarkJovanovik, Milos; Homburg, Timo; Spasić, Mirko  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2021Моделовање упитних језика са применама у рефакторисању и оптимизацији кодаSpasić, Mirko  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2020Verification of New Feature Implementation Using the HOBBIT Benchmark Platform. Project Deliverable from Project SAGEJovanovik, Miloš; Williams, Hugh; Spasić, Mirko  Izveštaj
Mp kategorija će biti prikazana naknadno.
2020SpeCS - SPARQL Query Containment SolverSpasić, Mirko  ; Vujošević Janičić, Milena  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2020Evaluation of SAGE Analytics for the Data Delivery including Best Practices. Project Deliverable from Project SAGESpasić, Mirko  ; Jovanovik, Miloš; Williams, Hugh; Schmenger, FelixIzveštaj
Mp kategorija će biti prikazana naknadno.
2020Životni ciklus povezanih podataka kroz razvoj skupa podataka vozila u pokretuSpasić, Mirko D.  Naučni članak
53M53 - Nacionalni časopis kategorije M53
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;
Izveštaj
Mp kategorija će biti prikazana naknadno.
2020Continuous Query Optimisations in GeoSPARQL. Project Deliverable from Project SAGESpasić, Mirko  ; Jovanovik, Miloš; Williams, HughIzveštaj
Mp kategorija će biti prikazana naknadno.
2019Transforming Geospatial RDF Data into GeoSPARQL-Compliant Data: A Case of Traffic DataSpasić, Mirko D.  ; Jovanovik, MilosKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2019Prototype Verifying Virtuoso GeoSPARQL and DE-9IM Compliance, Project Deliverable from Project SAGEJovanovik, Miloš; Williams, Hugh; Spasić, Mirko  Izveštaj
Mp kategorija će biti prikazana naknadno.
2019Prototype Verifying 5D Geospatial Support in Virtuoso. Project Deliverable from Project SAGESpasić, Mirko  ; Jovanovik, Miloš; Williams, HughIzveštaj
Mp kategorija će biti prikazana naknadno.
2018First steps towards proving functional equivalence of embedded SQLMirko Spasić  ; Vujošević Janičić, Milena M.  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2018An Incremental Simplex Algorithm with Unsatisfiable Core GenerationMarić, Filip  ; Spasić, Mirko  ; Thiemann, RenéNaučni članak
Mp kategorija će biti prikazana naknadno.