Истраживачи
Vujošević-Janičić, Milena
Година
Мп-кат.
- 18 M30/M60
- 6 M22 - Међународни часопис категорије M22
- 6 остало
- 3 M20/M50
- 3 M21 - Водећи међународни часопис категорије M21
- 2 M24 - Водећи национални часопис категорије M24
- 1 M10/M40
- 1 M23 - Међународни часопис категорије M23
- 1 M52 - Национални часопис категорије M52
- 1 M70 - Одбрањена докторска дисертација
- следећи >
Година - распон
Резултати 1-20 од 42
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2026 | Verifikacija softvera | Vujošević Janičić, Milena | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2025 | ML-Driven Prediction of Optimal Control Flow Graph Traversal Algorithm in Modern Applications![]() | Cugurovic, Milan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2025 | Proving correctness of the query containment solver SpeCS using SPARQL set semantics![]() | Spasic, Mirko D | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2024 | A Novel Approach to Source Code Assembling in the Field of Algorithmic Complexity![]() | Đ. Pešić; M. Vujošević Janičić | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2023 | Solving the SPARQL query containment problem with SpeCS![]() | Spasić, Mirko | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2022 | Proving code equivalence in database-driven applications and SPARQL queries![]() | Janičić, Vujošević Milena | Остало | Мп категорија ће бити приказана накнадно. |
| 2022 | Soundness and Completeness of SPARQL Query Containment Solver SpeCS![]() | Spasić, Mirko | Остало | Мп категорија ће бити приказана накнадно. |
| 2021 | Uloga, značaj i primene savremenih tehnika verifikacije softvera![]() | Janičić, Vujošević Milena | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | AUTOCHECK: A Tool For Checking Compliance With Automotive Coding Standards![]() | Janičić, Vujošević Milena | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | Verification supported refactoring of embedded SQL![]() | Spasić, Mirko | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2021 | Moderni pristupi za obezbedjivanje ispravnosti softvera![]() | Vujošević Janičić, Milena M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | Maintenance and maintainability within agile software development![]() | Janičić, Vujošević Milena | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2020 | SpeCS - SPARQL Query Containment Solver![]() | Spasić, Mirko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2020 | Concurrent Bug Finding Based on Bounded Model Checking![]() | Vujošević Janičić, Milena | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2020 | Regression Verification for Automated Evaluation of Students Programs![]() | Vujošević Janičić, Milena | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2020 | Teaching graduate students how to review research articles and respond to reviewer comments![]() | Banković, Milan | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2020 | Extending Clang for checking compliance with automotive coding standards![]() | Vujošević Janičić, Milena M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Ispitivanje kvaliteta softverski generisanih segmenata u oblasti vremenske složenosti algoritama za automatizovano sastavljanje ispita![]() | Mišić, Marko J. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Programiranje 1 - Zbirka zadataka sa rešenjima (u programskom jeziku C)![]() | Janičić, Vujošević Milena | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2019 | The learnability of the dimensional view of data and what to do with it![]() | Vujošević, Dušan | Научни чланак | 22M22 - Међународни часопис категорије M22 |
