@ARTICLE{
author={Ristovic Ivan,Jovanovic Vojin,Hofer Peter,Vujosevic-Janicic Milena M},
year={2026},
title={GraalDoss: Direct object snapshotting and sharing for cloud-native applications},
journal={FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE},
volume={180},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Abraham Erika,...,Vujosevic-Janicic Milena M,...,(broj koautora 16)},
year={2026},
title={Why do women pursue a Ph.D. in Computer Science?},
journal={JOURNAL OF SYSTEMS AND SOFTWARE},
volume={231},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Spasic Mirko D,Vujosevic-Janicic Milena M},
year={2025},
title={Proving correctness of the query containment solver SpeCS using SPARQL set semantics},
journal={JOURNAL OF WEB SEMANTICS},
volume={87},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Cugurovic Milan,Vujosevic-Janicic Milena M,Jovanovic Vojin,Wurthinger Thomas},
year={2024},
title={Editor: Dr. Lingxiao Jiang. * Corresponding author at: .<i> E-mail</i><i> address:</i> (M.},
journal={JOURNAL OF SYSTEMS AND SOFTWARE},
volume={213},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Pesic Djordje,Vujosevic-Janicic Milena M,Misic Marko J,Protic Jelica Z},
year={2024},
title={A Novel Approach to Source Code Assembling in the Field of Algorithmic Complexity},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={21},
number={3},
pages={781-806},
document_type={Article},
} 

@ARTICLE{
author={Spasic Mirko D,Vujosevic-Janicic Milena M},
year={2023},
title={Solving the SPARQL query containment problem with SpeCS},
journal={JOURNAL OF WEB SEMANTICS},
volume={76},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Spasic Mirko D,Vujosevic-Janicic Milena M},
year={2021},
title={Verification supported refactoring of embeddedsql},
journal={SOFTWARE QUALITY JOURNAL},
volume={29},
number={3},
pages={629-665},
document_type={Article},
} 

@ARTICLE{
author={Vujosevic-Janicic Milena M},
year={2020},
title={Concurrent Bug Finding Based on Bounded Model Checking},
journal={INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING},
volume={30},
number={5},
pages={669-694},
document_type={Article},
} 

@ARTICLE{
author={Vujosevic-Janicic Milena M,Maric Filip M},
year={2020},
title={Regression Verification for Automated Evaluation of Students Programs},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={17},
number={1},
pages={205-227},
document_type={Article},
} 

@ARTICLE{
author={Vujosevic Dusan,Kovacevic Ivana N,Vujosevic-Janicic Milena M},
year={2019},
title={The learnability of the dimensional view of data and what to do with it},
journal={ASLIB JOURNAL OF INFORMATION MANAGEMENT},
volume={71},
number={1},
pages={38-53},
document_type={Article},
} 

@ARTICLE{
author={Vujosevic-Janicic Milena M,Nikolic Mladen,Tosic Dusan D,Kuncak Viktor},
year={2013},
title={Software verification and graph similarity for automated evaluation of students' assignments},
journal={INFORMATION AND SOFTWARE TECHNOLOGY},
volume={55},
number={6},
pages={1004-1016},
document_type={Article},
} 

@ARTICLE{
author={Vujosevic-Janicic Milena M,Tomasevic Jelena,Janicic Predrag},
year={2007},
title={Random kappa-GD-SAT model and its phase transition},
journal={JOURNAL OF UNIVERSAL COMPUTER SCIENCE},
volume={13},
number={4},
pages={572-591},
document_type={Article},
}