Autori: Spasic Mirko D
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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: 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 | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
Naslov | SpeCS - SPARQL Query Containment Solver (Proceedings Paper) |
Autori | Spasic Mirko D Vujosevic-Janicic Milena M |
Info | 2020 ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE (ZINC), (2020), vol. br. , str. 31-35 |
Projekat | Ministry of Science, Serbia [174021] |
Ispravka | Web of Science Citati: Web of Science Scopus |
|