| The LDBC social network benchmark R Angles, JB Antal, A Averbuch, A Birler, P Boncz, M Búr, O Erling, ... arXiv preprint arXiv:2001.02299, 2020 | 49 | 2020 |
| Formalization of incremental simplex algorithm by stepwise refinement M Spasić, F Marić International Symposium on Formal Methods, 434-449, 2012 | 23 | 2012 |
| An RDF Dataset Generator for the Social Network Benchmark with Real-World Coherence. M Spasic, M Jovanovik, A Prat-Pérez BLINK@ ISWC, 2016 | 21 | 2016 |
| A GeoSPARQL compliance benchmark M Jovanovik, T Homburg, M Spasić ISPRS International Journal of Geo-Information 10 (7), 487, 2021 | 18 | 2021 |
| Integrating Serbian public data into the LOD cloud V Janev, U Milošević, M Spasić, S Vraneš, J Milojković, B Jireček Proceedings of the Fifth Balkan Conference in Informatics, 94-99, 2012 | 15 | 2012 |
| MOCHA2018: The mighty storage challenge at ESWC 2018 K Georgala, M Spasić, M Jovanovik, V Papakonstantinou, C Stadler, ... Semantic Web Challenges: 5th SemWebEval Challenge at ESWC 2018, Heraklion …, 2018 | 13 | 2018 |
| The LDBC Social Network Benchmark. CoRR abs/2001.02299 (2020) R Angles, JB Antal, A Averbuch, PA Boncz, O Erling, A Gubichev, ... URL: http://arxiv. org/abs, 2001 | 13 | 2001 |
| Publishing statistical data as linked open data U Milošević, V Janev, M Spasić, J Milojković, S Vranes 2nd International Conference on Information Society, 2012 | 9 | 2012 |
| SpeCS—SPARQL query containment solver M Spasić, MV Janičić 2020 Zooming Innovation in Consumer Technologies Conference (ZINC), 31-35, 2020 | 8 | 2020 |
| Linked Open Data Infrastructure for Public Sector Information: Example from Serbia. V Janev, U Milosevic, M Spasic, J Milojkovic, S Vranes I-SEMANTICS (Posters & Demos), 26-30, 2012 | 8 | 2012 |
| Verification supported refactoring of embedded sql M Spasić, MV Janičić Software Quality Journal 29 (3), 629-665, 2021 | 7 | 2021 |
| An incremental simplex algorithm with unsatisfiable core generation F Marić, M Spasić, R Thiemann Archive of Formal Proofs, 2018 | 6 | 2018 |
| MOCHA 2017 as a Challenge for Virtuoso M Spasić, M Jovanovik Semantic Web Challenges: 4th SemWebEval Challenge at ESWC 2017, Portoroz …, 2017 | 6 | 2017 |
| An incremental simplex algorithm with unsatisfiable core generation. Archive of Formal Proofs (Aug 2018) F Maric, M Spasic, R Thiemann | 5 | |
| First steps towards proving functional equivalence of embedded SQL M Spasic, M Vujoševic Janicic Types for Proofs and Programs (TYPES), 78-79, 2018 | 4 | 2018 |
| Benchmarking virtuoso 8 at the mighty storage challenge 2018: Challenge results M Jovanovik, M Spasić Semantic Web Challenges: 5th SemWebEval Challenge at ESWC 2018, Heraklion …, 2018 | 4 | 2018 |
| Software for the GeoSPARQL compliance benchmark M Jovanovik, T Homburg, M Spasić Software Impacts 8, 100071, 2021 | 3 | 2021 |
| Design of Geospatial Benchmarking System and Performance Evaluation of Virtuoso and PostGIS M Spasić Society for Information Systems and Computer Networks 1, 154-159, 2015 | 3 | 2015 |
| Soundness and completeness of sparql query containment solver specs M Spasić, MV Janičić arXiv preprint arXiv:2210.07083, 2022 | 2 | 2022 |
| ŽIVOTNI CIKLUS POVEZANIH PODATAKA KROZ RAZVOJ SKUPA PODATAKA VOZILA U POKRETU. M Spasić InfoM, 2020 | 2 | 2020 |
