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

Issue Date	Title	Author(s)	Rank
1-Jan-2025	Automation of triangle straightedge-and-compass constructions using automated planning	Banković, Milan	M22
1-Oct-2016	Extending SMT solvers with support for finite domain alldifferent constraint	Banković, Milan	M21
1-Jun-2017	Parallelizing simplex within SMT solvers	Banković, Milan	M21a
1-Jan-2016	Solving finite-domain linear constraints in presence of the alldifferent	Banković, Milan	M22
1-Jan-2025	Readable automated proofs of ruler and compass constructions	Marinković, Vesna ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip	M22
30-Dec-2024	Diprotodon on the sky. The Large Galactic Supernova Remnant (SNR) G278.94+1.35	Filipović, Miroslav D.; Lazarević, Sanja; Araya, Miguel; Hurley-Walker, Natasha; Kothes, Roland; Sano, Hidetoshi; Rowell, Gavin; Martin, Pierrick; Fukui, Yasuo; Alsaberi, Rami Z.E.; Arbutina, Bojan ; Ball, Brianna; Bordiu, Cristobal; Brose, Robert; Bufano, Filomena; Burger-Scheidlin, Christopher; Anne Collins, Tiffany; Crawford, Evan J.; Dai, Shi; William Duchesne, Stefan; Fuller, Robert; Hopkins, Andrew; Ingallinera, Adriano; Inoue, Haruto; Jarrett, Thomas; Silvia Koribalski, Bärbel; Leahy, Denis; Luken, Kieran; Mackey, Jonathan; Macgregor, Peter; Norris, Ray; Payne, Jeffrey; Riggi, Simone; Riseley, Christopher; Sasaki, Manami; Smeaton, Zachary; Sushch, Iurii; Stupar, Milorad; Umana, Grazia; Urošević, Dejan ; Velović, Velibor; Vernstrom, Tessa; Vukotić, Branislav; West, Jennifer	M21
2012	Збирка задатака из топологије	Grujić, Vladimir ; Prvulović, Branislav
15-Mar-2024	Cup-length of oriented Grassmann manifolds via Gröbner bases	Colović, Uroš A.; Prvulović, Branislav	М21
1-Feb-2024	Gröbner Bases in the Mod 2 Cohomology of Oriented Grassmann Manifolds G<sup>e</sup><inf>2</inf>t<inf>,</inf><inf>3</inf>	Colović, Uroš A.; Prvulović, Branislav	M21a
1-Jan-2021	On spectral radius of signed graphs without negative even cycles	Stanić, Zoran ; Vijayakumar, Ambat	M23
1-Jan-2021	Signed Graphs with totally disconnected Star Complements	Stanić, Zoran	M23
15-May-2025	Cubic and quartic net-regular strongly regular signed graphs	Anđelić, Milica; Koledin, Tamara; Stanić, Zoran	M22
1-Feb-2025	Laplacian eigenvalues of weighted threshold graphs	Andelic, Milica; Stanić, Zoran	М21a
1-Jan-2025	Net Laplacian spectrum of some products built on the simple corona of a signed graph	Pirzada, S.; Riyaz Ul Rashid, Mir; Stanić, Zoran
1-Mar-2025	Two classes of graphs determined by the signless Laplacian spectrum	Ye, Jiachang; Liu, Muhuo; Stanić, Zoran	М21
2014	Distributed Gaussian Conditional Random Fields Based Regression for Large Evolving Graphs	Jelena Slivka; Nikolić, Mladen ; Kosta Ristovski; Vladan Radosavljević; Zoran Obradović	M33
2016	Feature Extraction for Rasters Using Autoencoders	Miloš Manić; Nikolić, Mladen	M33
2016	Portfolio Methods in Theorem Proving for Elementary Geometry	Marinković, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag	M33
2018	3D Soil Texture Mapping with L1 Regularized Multinomial Logistic Regression	Milutin Pejović; Nikolić, Mladen ; Branislav Bajat	M34
2020	Spatial Interpolation of Daily Percipitation Using Random Forest	Aleksandar Sekulić; Milan Kilibarda; Gerard Heuvelink; Nikolić, Mladen ; Branislav Bajat	M34