Spasić, Mirko

Type

Date issued

15 2020 - 2027
32 2010 - 2019

Mp-cat.

Date issued - custom

Year from:

Year to:

Results 1-20 of 47 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2025	Proving correctness of the query containment solver SpeCS using SPARQL set semantics	Spasic, Mirko D ; Vujosevic-Janicic, Milena	Article	21M21
2023	Solving the SPARQL query containment problem with SpeCS	Spasić, Mirko ; Vujošević Janičić, Milena	Article	22M22
2023	Report on Data Storage Profile Generation, Project Deliverable from Project 3DFed	Jovanovik, Miloš; Spasić, Mirko ; Williams, Hugh	Report works	Mp. category will be shown later
2023	Report on Monitoring the Data Storages, Project Deliverable from Project 3DFed	Jovanovik, Miloš; Spasić, Mirko ; Williams, Hugh; Saleem, Muhammad	Report works	Mp. category will be shown later
2022	Soundness and Completeness of SPARQL Query Containment Solver SpeCS	Spasić, Mirko ; Janičić, Vujošević Milena	Other	Mp. category will be shown later
2021	Software for the GeoSPARQL compliance benchmark	Jovanovik, Milos; Homburg, Timo; Spasić, Mirko	Article	Mp. category will be shown later
2021	Verification supported refactoring of embedded SQL	Spasić, Mirko ; Vujošević Janičić, Milena	Article	22M22
2021	A GeoSPARQL Compliance Benchmark	Jovanovik, Milos; Homburg, Timo; Spasić, Mirko	Article	22M22
2021	Моделовање упитних језика са применама у рефакторисању и оптимизацији кода	Spasić, Mirko	Doctoral theses	70M70
2020	Evaluation of SAGE Analytics for the Data Delivery including Best Practices. Project Deliverable from Project SAGE	Spasić, Mirko ; Jovanovik, Miloš; Williams, Hugh; Schmenger, Felix	Report works	Mp. category will be shown later
2020	SpeCS - SPARQL Query Containment Solver	Spasić, Mirko ; Vujošević Janičić, Milena	Conference Paper	Mp. category will be shown later
2020	Verification of New Feature Implementation Using the HOBBIT Benchmark Platform. Project Deliverable from Project SAGE	Jovanovik, Miloš; Williams, Hugh; Spasić, Mirko	Report works	Mp. category will be shown later
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; 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;	Report works	Mp. category will be shown later
2020	Životni ciklus povezanih podataka kroz razvoj skupa podataka vozila u pokretu	Spasić, Mirko D.	Article	53M53
2020	Continuous Query Optimisations in GeoSPARQL. Project Deliverable from Project SAGE	Spasić, Mirko ; Jovanovik, Miloš; Williams, Hugh	Report works	Mp. category will be shown later
2019	Prototype Verifying Virtuoso GeoSPARQL and DE-9IM Compliance, Project Deliverable from Project SAGE	Jovanovik, Miloš; Williams, Hugh; Spasić, Mirko	Report works	Mp. category will be shown later
2019	Transforming Geospatial RDF Data into GeoSPARQL-Compliant Data: A Case of Traffic Data	Spasić, Mirko D. ; Jovanovik, Milos	Conference Paper	Mp. category will be shown later
2019	Prototype Verifying 5D Geospatial Support in Virtuoso. Project Deliverable from Project SAGE	Spasić, Mirko ; Jovanovik, Miloš; Williams, Hugh	Report works	Mp. category will be shown later
2018	First steps towards proving functional equivalence of embedded SQL	Mirko Spasić ; Vujošević Janičić, Milena M.	Conference Paper	Mp. category will be shown later
2018	Second Version of the Data Storage Benchmark. Project Deliverable from Project HOBBIT	Spasić, Mirko ; Jovanovik, Miloš	Report works	Mp. category will be shown later