BibTeX records: Milena Vujosevic-Janicic

download as .bib file

@article{DBLP:journals/ws/SpasicV23,
  author       = {Mirko Spasic and
                  Milena Vujosevic{-}Janicic},
  title        = {Solving the {SPARQL} query containment problem with SpeCS},
  journal      = {J. Web Semant.},
  volume       = {76},
  pages        = {100770},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.websem.2022.100770},
  doi          = {10.1016/J.WEBSEM.2022.100770},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ws/SpasicV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2210-07083,
  author       = {Mirko Spasic and
                  Milena Vujosevic{-}Janicic},
  title        = {Soundness and Completeness of {SPARQL} Query Containment Solver SpeCS},
  journal      = {CoRR},
  volume       = {abs/2210.07083},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.07083},
  doi          = {10.48550/ARXIV.2210.07083},
  eprinttype    = {arXiv},
  eprint       = {2210.07083},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-07083.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sqj/SpasicV21,
  author       = {Mirko Spasic and
                  Milena Vujosevic{-}Janicic},
  title        = {Verification supported refactoring of embedded sql},
  journal      = {Softw. Qual. J.},
  volume       = {29},
  number       = {3},
  pages        = {629--665},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11219-020-09517-y},
  doi          = {10.1007/S11219-020-09517-Y},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sqj/SpasicV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/comsis/Vujosevic-Janicic20,
  author       = {Milena Vujosevic{-}Janicic and
                  Filip Maric},
  title        = {Regression verification for automated evaluation of students programs},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {17},
  number       = {1},
  pages        = {205--227},
  year         = {2020},
  url          = {https://doi.org/10.2298/CSIS181220019V},
  doi          = {10.2298/CSIS181220019V},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/Vujosevic-Janicic20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijseke/Vujosevic-Janicic20,
  author       = {Milena Vujosevic{-}Janicic},
  title        = {Concurrent Bug Finding Based on Bounded Model Checking},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {30},
  number       = {5},
  pages        = {669--694},
  year         = {2020},
  url          = {https://doi.org/10.1142/S0218194020500242},
  doi          = {10.1142/S0218194020500242},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/Vujosevic-Janicic20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aslib/VujosevicKV18,
  author       = {Dusan Vujosevic and
                  Ivana Kovacevic and
                  Milena Vujosevic{-}Janicic},
  title        = {The learnability of the dimensional view of data and what to do with
                  it},
  journal      = {Aslib J. Inf. Manag.},
  volume       = {71},
  number       = {1},
  pages        = {38--53},
  year         = {2018},
  url          = {https://doi.org/10.1108/AJIM-05-2018-0125},
  doi          = {10.1108/AJIM-05-2018-0125},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aslib/VujosevicKV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/infsof/Vujosevic-JanicicNTK13,
  author       = {Milena Vujosevic{-}Janicic and
                  Mladen Nikolic and
                  Dusan Tosic and
                  Viktor Kuncak},
  title        = {Software verification and graph similarity for automated evaluation
                  of students' assignments},
  journal      = {Inf. Softw. Technol.},
  volume       = {55},
  number       = {6},
  pages        = {1004--1016},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.infsof.2012.12.005},
  doi          = {10.1016/J.INFSOF.2012.12.005},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/infsof/Vujosevic-JanicicNTK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/Vujosevic-JanicicK12,
  author       = {Milena Vujosevic{-}Janicic and
                  Viktor Kuncak},
  editor       = {Rajeev Joshi and
                  Peter M{\"{u}}ller and
                  Andreas Podelski},
  title        = {Development and Evaluation of {LAV:} An SMT-Based Error Finding Platform
                  - System Description},
  booktitle    = {Verified Software: Theories, Tools, Experiments - 4th International
                  Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7152},
  pages        = {98--113},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-27705-4\_9},
  doi          = {10.1007/978-3-642-27705-4\_9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/Vujosevic-JanicicK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Vujosevic-Janicic12,
  author       = {Milena Vujosevic{-}Janicic and
                  Mladen Nikolic and
                  Dusan Tosic and
                  Viktor Kuncak},
  title        = {Software Verification and Graph Similarity for Automated Evaluation
                  of Students' Assignments},
  journal      = {CoRR},
  volume       = {abs/1206.7064},
  year         = {2012},
  url          = {http://arxiv.org/abs/1206.7064},
  eprinttype    = {arXiv},
  eprint       = {1206.7064},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Vujosevic-Janicic12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsoft/Vujosevic-Janicic08,
  author       = {Milena Vujosevic{-}Janicic},
  editor       = {Jos{\'{e}} Cordeiro and
                  Boris Shishkov and
                  Alpesh Ranchordas and
                  Markus Helfert},
  title        = {Ensuring Safe Usage of Buffers in Programming Language {C}},
  booktitle    = {{ICSOFT} 2008 - Proceedings of the Third International Conference
                  on Software and Data Technologies, Volume PL/DPS/KE, Porto, Portugal,
                  July 5-8, 2008},
  pages        = {29--36},
  publisher    = {{INSTICC} Press},
  year         = {2008},
  timestamp    = {Tue, 03 Mar 2009 14:48:01 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/Vujosevic-Janicic08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jucs/Vujosevic-JanicicTJ07,
  author       = {Milena Vujosevic{-}Janicic and
                  Jelena Tomasevic and
                  Predrag Janicic},
  title        = {Random k-GD-Sat Model and its Phase Transition},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {13},
  number       = {4},
  pages        = {572--591},
  year         = {2007},
  url          = {https://doi.org/10.3217/jucs-013-04-0572},
  doi          = {10.3217/JUCS-013-04-0572},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/Vujosevic-JanicicTJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.