Random k-GD-Sat Model and its Phase Transition. - Milena Vujosevic-Janicic; Jelena Tomasevic; Predrag Janicic (J. Univers. Comput. Sci., 2007)

Ensuring Safe Usage of Buffers in Programming Language C. - Milena Vujosevic-Janicic (ICSOFT (PL/DPS/KE), 2008)

Development and Evaluation of LAV: An SMT-Based Error Finding Platform - System Description. - Milena Vujosevic-Janicic; Viktor Kuncak (VSTTE, 2012)

Software verification and graph similarity for automated evaluation of students' assignments. - Milena Vujosevic-Janicic; Mladen Nikolic; Dusan Tosic; Viktor Kuncak (Inf. Softw. Technol., 2013)

The learnability of the dimensional view of data and what to do with it. - Dusan Vujosevic; Ivana Kovacevic; Milena Vujosevic-Janicic (Aslib J. Inf. Manag., 2018)

Regression verification for automated evaluation of students programs. - Milena Vujosevic-Janicic; Filip Maric (Comput. Sci. Inf. Syst., 2020)

Concurrent Bug Finding Based on Bounded Model Checking. - Milena Vujosevic-Janicic (Int. J. Softw. Eng. Knowl. Eng., 2020)

Verification supported refactoring of embedded sql. - Mirko Spasic; Milena Vujosevic-Janicic (Softw. Qual. J., 2021)

Soundness and Completeness of SPARQL Query Containment Solver SpeCS. - Mirko Spasic; Milena Vujosevic-Janicic (CoRR, 2022)

Solving the SPARQL query containment problem with SpeCS. - Mirko Spasic; Milena Vujosevic-Janicic (J. Web Semant., 2023)

A novel approach to source code assembling in the field of algorithmic complexity. - Dordje Pesic; Milena Vujosevic-Janicic; Marko Misic; Jelica Protic (Comput. Sci. Inf. Syst., 2024)

GraalSP: Polyglot, efficient, and robust machine learning-based static profiler. - Milan Cugurovic; Milena Vujosevic-Janicic; Vojin Jovanovic; Thomas Würthinger (J. Syst. Softw., 2024)

Why do women pursue a PhD in Computer Science? - Erika Ábrahám; Miguel Goulão; Milena Vujosevic-Janicic; Sarah Jane Delany; Amal Mersni; Oleksandra Yeremenko; Ozge Buyukdagli; Karima Boudaoud; Caroline Oehlhorn; Ute Schmid; Christina Büsing; Helen Bolke-Hermanns; et al. (CoRR, 2025)

Why do women pursue a Ph.D. in Computer Science? - Erika Ábrahám; Miguel Goulão; Milena Vujosevic-Janicic; Sarah Jane Delany; Amal Mersni; Oleksandra Yeremenko; Ozge Buyukdagli; Karima Boudaoud; Caroline Oehlhorn; Ute Schmid; Christina Büsing; Helen Bolke-Hermanns; et al. (J. Syst. Softw., 2026)