Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)	Rank
2022	A variable neighborhood search algorithm for the (r∣ p) hub–centroid problem under the price war	Čvokić, Dimitrije D.; Kochetov, Yury A.; Plyasunov, Aleksandr V.; Savić, Aleksandar	M21
1-Jan-2018	The open-locating-dominating number of some convex polytopes	Savić, Aleksandar ; Maksimović, Zoran Lj; Bogdanović, Milena S.	M21
1-Jan-2014	A new mixed integer linear programming model for the multi level uncapacitated facility location problem	Kratica, Jozef; Dugošija, Djordje; Savić, Aleksandar
1-Jan-2013	An improved genetic algorithm for the multi level uncapacitated facility location problem	Korać, Vanja; Kratica, Jozef; Savić, Aleksandar	M22
1-Jan-2019	The competitive hub location under the price war	Čvokić, Dimitrije D.; Kochetov, Yury A.; Plyasunov, Aleksandr V.; Savić, Aleksandar	M33
1-Nov-2017	Two metaheuristics for solving the connected multidimensional maximum bisection problem	Maksimović, Zoran; Kratica, Jozef; Savić, Aleksandar	M21
1-Jan-2017	Parallelization of software verification tool LAV	Zivković, Branislava; Vujošević Janičić, Milena	M34
26-May-2021	AUTOCHECK: A Tool for Checking Compliance with Automotive Coding Standards	Vujošević Janičić, Milena ; Plavsic, Ognjen; Brkusanin, Mirko; Jovanovic, Petar	M33
2021	Verification supported refactoring of embedded SQL	Spasić, Mirko ; Vujošević Janičić, Milena	M22
1-Feb-2018	Prototype implementation of segment assembling software	Pešić, Dorde; Mišić, Marko; Protić, Jelica; Vujošević Janičić, Milena	M24
1-May-2020	SpeCS - SPARQL Query Containment Solver	Spasić, Mirko ; Vujošević Janičić, Milena	M33
7-Jan-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	M22
17-Nov-2008	Ensuring safe usage of buffers in programming language C	Vujošević Janičić, Milena	M33
1-Jan-2008	The role of programming paradigms in the first programming courses	Vujošević Janičić, Milena ; Tošić, Dušan
7-Feb-2012	Development and evaluation of LAV: An SMT-based error finding platform: System description	Vujošević Janičić, Milena ; Kuncak, Viktor	M33
1-May-2020	Concurrent Bug Finding Based on Bounded Model Checking	Vujošević Janičić, Milena	M23
22-Oct-2013	Regular graphs with small second largest eigenvalue	Koledin, Tamara; Stanić, Zoran	M21
1-Jun-2010	Spectral determination of graphs whose components are paths and cycles	Cvetković, Dragoš; Simić, Slobodan K.; Stanić, Zoran	M21a
15-Jul-2015	Non-bipartite graphs of fixed order and size that minimize the least eigenvalue	Jovović, Ivana; Koledin, Tamara; Stanić, Zoran	M21
1-Oct-2011	Controllable graphs with least eigenvalue at least -2	Cvetković, Dragoš; Rowlinson, Peter; Stanić, Zoran ; Yoon, Myung Gon	M21