Vujošević-Janičić, Milena

Tip

Godina

Mp-kat.

Godina - raspon

Godina od:

Godina do:

Rezultati 21-40 od 42 Rezultati/stranica

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2019	The learnability of the dimensional view of data and what to do with it	Vujošević, Dušan ; Kovačević, Ivana ; Vujošević Janičić, Milena	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2018	Adding support for global instruction selection pass for MIPS32 architecture in LLVM	Petar Avramović; Vujošević Janičić, Milena M. ; Gordana Cmiljanović; ANTIĆ, MARIJA D.	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2018	First steps towards proving functional equivalence of embedded SQL	Mirko Spasić ; Vujošević Janičić, Milena M.	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2018	A calculus for a LLVM-based software verification tool LAV	Vujošević Janičić, Milena M.	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2018	Prototype Implementation of Segment Assembling Software	Pesic, Djordje; Mišić, Marko ; Protic, Jelica ; Vujošević-Janičić, Milena	Naučni članak	24M24 - Vodeći nacionalni časopis kategorije M24
2017	Parallelization of Software Verification Tool LAV	Živković, Branislava B. ; Vujošević Janičić, Milena M.	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2017	Sistem za generisanje programskih segmenata za ispitivanje u oblasti vremenske složenosti algoritama	Đ. Pešić; Mišić, Marko J. ; Protić, Jelica Ž. ; Vujošević Janičić, Milena M.	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2017	Modelling Program Behaviour within Software Verification Tool LAV	Vujošević Janičić, Milena M.	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2016	Programiranje 2 - Zbirka zadataka sa rešenjima (u programskom jeziku C)	Janičić, Vujošević Milena ; Jelena Graovac ; Radojičić, Nina ; Spasić, Ana ; Spasić, Mirko ; Zečević, Anđelka	Udžbenik	Mp kategorija će biti prikazana naknadno.
2014	System LAV and Automated Evaluation of Students Programs	Vujošević-Janičić, Milena	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2014	Regresiona verifikacija softvera korišćenjem sistema LAV	Vujošević-Janičić, Milena	Naučni članak	52M52 - Nacionalni časopis kategorije M52
2013	Software verification and graph similarity for automated evaluation of students’ assignments	Vujošević Janičić, Milena ; Nikolić, Mladen ; Tošić, Dušan ; Kuncak, Viktor	Naučni članak	21M21 - Vodeći međunarodni časopis kategorije M21
2013	Automatsko generisanje i proveravanje uslova ispravnosti programa	Vujošević-Janičić, Milena	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2012	Development and Evaluation of LAV: An SMT-Based Error Finding Platform	Vujošević Janičić, Milena ; Kuncak, Viktor	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2009	Using simplex method in verifying software safety	Vujošević Janičić, Milena ; Marić, Filip ; Tošić, Dušan	Naučni članak	24M24 - Vodeći nacionalni časopis kategorije M24
2008	XML-based Format for Geometry : XML-based Format for Descriptions of Geometrical Constructions and Geometrical Proofs	Quaresma, Pedro; Janicic, Predrag ; Graovac, Jelena ; Vujoševic-Janicic, Milena ; Tošic, Dušan	Poglavlje u monografiji	Mp kategorija će biti prikazana naknadno.
2008	Automatsko otkrivanje prekoračenja bafera u programskom jeziku C : magistarska teza	Janičić, Vujošević Milena	Ostalo	Mp kategorija će biti prikazana naknadno.
2008	The role of programming paradigms in the first programming courses	Vujošević-Janičić, Milena ; Tošić, D.	Naučni članak	Mp kategorija će biti prikazana naknadno.
2007	Random kappa-GD-SAT model and its phase transition	Vujošević-Janičić, Milena M ; Tomašević, Jelena ; Janičić, Predrag	Naučni članak	23M23 - Međunarodni časopis kategorije M23
2006	TemidaLib - sistem za rad sa velikim brojevima - multiprecision arithmetic library	Graovac, Jelena ; Vujošević Janičić, Milena	Konferencijski rad	Mp kategorija će biti prikazana naknadno.