Autori: Spasic Mirko D
| Naslov | Proving correctness of the query containment solver SpeCS using SPARQL set semantics (Article) |
| Autori | Spasic Mirko D Vujosevic-Janicic Milena M |
| Info | JOURNAL OF WEB SEMANTICS, (2025), vol. 87 br. , str. - |
| Projekat | Eurostars Project 3DFed [E!114681]; European Research Network on Formal Proofs (COST Action) [CA20111] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Solving the SPARQL query containment problem with SpeCS (Article) |
| Autori | Spasic Mirko D Vujosevic-Janicic Milena M |
| Info | JOURNAL OF WEB SEMANTICS, (2023), vol. 76 br. , str. - |
| Projekat | Eurostars Project 3DFed [E!114681]; Serbian Ministry of Science [174021]; European Research Network on Formal Proofs (COST Action) [CA20111] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Software for the GeoSPARQL compliance benchmark (Article) |
| Autori | Jovanovik Milos Homburg Timo Spasic Mirko D |
| Info | SOFTWARE IMPACTS, (2021), vol. 8 br. , str. - |
| Projekat | Eurostars Project SAGE [E!10882] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | A GeoSPARQL Compliance Benchmark (Article) |
| Autori | Jovanovik Milos Homburg Timo Spasic Mirko D |
| Info | ISPRS INTERNATIONAL JOURNAL OF GEO-INFORMATION, (2021), vol. 10 br. 7, str. - |
| Projekat | Eurostars Project SAGE [E!10882] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Verification supported refactoring of embeddedsql (Article) |
| Autori | Spasic Mirko D Vujosevic-Janicic Milena M |
| Info | SOFTWARE QUALITY JOURNAL, (2021), vol. 29 br. 3, str. 629-665 |
| Projekat | Ministry of Science, Serbia [174021]; COST actionEuropean Cooperation in Science and Technology (COST) [CA15123] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
