1. Research with MATF

Vujošević Janičić, Milena

Network Lab View Statistics Email Alert RSS Feed

Profile

Full Name
Vujošević Janičić, Milena
Variants
Janičić, M.V.
Vujošević Janičić, M.
Vujošević-Janičić, M.
Janicic, M.V.
Vujosevic-Janicic, M.
Vujosevic Janicic, M.
Janicic, M.V.
Vujošević-Janičić, Milena
 
Main Affiliation
 
ORCID
 
Scopus Author ID
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false

Publications

Results 1-19 of 19 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)Rank
12024A Novel Approach to Source Code Assembling in the Field of Algorithmic ComplexityPešić, Đorđe; Vujošević Janičić, Milena ; Mišić, Marko; Protić, JelicaM23
21-Apr-2023Solving the SPARQL query containment problem with SpeCSSpasić, Mirko ; Vujošević Janičić, Milena М22
326-May-2021AUTOCHECK: A Tool for Checking Compliance with Automotive Coding StandardsVujošević Janičić, Milena ; Plavsic, Ognjen; Brkusanin, Mirko; Jovanovic, PetarM33
42021Verification supported refactoring of embedded sqlSpasić, Mirko ; Vujošević Janičić, Milena 
51-May-2020Concurrent Bug Finding Based on Bounded Model CheckingVujošević Janičić, Milena 
61-May-2020SpeCS - SPARQL Query Containment SolverSpasić, Mirko ; Vujošević Janičić, Milena 
71-Jan-2020Regression verification for automated evaluation of students programsVujošević Janičić, Milena ; Marić, Filip 
81-Jan-2020Teaching graduate students how to review research articles and respond to reviewer commentsBanković, Milan ; Filipović, Vladimir ; Graovac, Jelena ; Hadži-Purić, Jelena; Hurson, Ali R.; Kartelj, Aleksandar ; Kovačević, Jovana ; Korolija, Nenad; Kotlar, Miloš; Krdžavac, Nenad B.; Marić, Filip ; Malkov, Saša ; Milutinović, Veljko; Mitić, Nenad ; Mišković, Stefan ; Nikolić, Mladen ; Pavlović-Lažetić, Gordana; Simić, Danijela ; Stojanović-Djurdjević. Sana ; Vujičić Stanković, Staša ; Vujošević Janičić, Milena ; Živković, Miodrag
97-Jan-2019The learnability of the dimensional view of data and what to do with itVujošević, Dušan; Kovačević, Ivana; Vujošević Janičić, Milena 
101-Feb-2018Prototype implementation of segment assembling softwarePešić, Dorde; Mišić, Marko; Protić, Jelica; Vujošević Janičić, Milena 
111-Jan-2017Parallelization of software verification tool LAVZivković, Branislava; Vujošević Janičić, Milena 
121-Jun-2013Software verification and graph similarity for automated evaluation of students' assignmentsVujošević Janičić, Milena ; Nikolić, Mladen ; Tošić, Dušan; Kuncak, Viktor
137-Feb-2012Development and evaluation of LAV: An SMT-based error finding platform: System descriptionVujošević Janičić, Milena ; Kuncak, Viktor
141-Jan-2009Using simplex method in verifying software safetyVujošević Janičić, Milena ; Marić, Filip ; Tošić, Dušan
1517-Nov-2008Ensuring safe usage of buffers in programming language CVujošević Janičić, Milena 
161-Jan-2008XML-Based format for geometryQuaresma, Pedro; Janičić, Predrag ; Tomašević, Jelena ; Vujošević Janičić, Milena ; Tošić, Dušan
171-Jan-2008The role of programming paradigms in the first programming coursesVujošević Janičić, Milena ; Tošić, Dušan
1825-Jun-2007Random k-GD-SAT model and its phase transitionVujošević Janičić, Milena ; Tomašević, Jelena ; Janičić, Predrag 
191-Jan-2006Statistical dependence of protein secondary structure on amino acid bigramsŽivković, Miodrag; Malkov, Saša ; Zarić, Snežana; Vujošević Janičić, Milena ; Tomašević, Jelena ; Predović, Goran; Blažić, Novica; Beljanski, Miloš V.