Showing results 1 to 20 of 242
next >
| Issue Date | Title | Author(s) | Rank |
| 1-Jan-2017 | 70 years of the mathematical society of Serbia | Andrić, Vojislav; Kadelburg, Zoran ; Marić, Filip ; Mladenović, Pavle | |
| 1-Jan-2006 | Adaptation of edges in a triangular mesh | Marić, Miroslav ; Stojanović, Sana | |
| 2024 | Angle trisection with origami and proving its correctness using Gröbner basis | Milojković, Dara ; Marinković, Vesna | |
| 1-Jan-2022 | Application of A <sup>∗</sup> to the Generalized Constrained Longest Common Subsequence Problem with Many Pattern Strings | Djukanovic, Marko; Matic, Dragan; Blum, Christian; Kartelj, Aleksandar | |
| 1-Jan-2021 | Applications of single cell profiles of PBMC:Improvements of cell type classification | Yang, Luning; Zhang, Yihan; Mitić, Nenad ; Keskin, Derin B.; Zhang, Guang Lan; Chitkushev, Lou T.; Rankin, Richard; Brusic, Vladimir | |
| 1-Dec-2023 | An approach to automatic classification of hate speech in sports domain on social media | Vujičić Stanković, Staša ; Mladenović, Miljana | M21a |
| 1-Mar-2016 | The Approximate Bayesian Computation approach to reconstructing population dynamics and size from settlement data: demography of the Mesolithic-Neolithic transition at Lepenski Vir | Porčić, Marko; Nikolić, Mladen | |
| 1-Jan-2012 | The area method: A recapitulation | Janičić, Predrag ; Narboux, Julien; Quaresma, Pedro | |
| 1-Jan-2004 | ARGO-LIB: A generic platform for decision procedures | Marić, Filip ; Janičić, Predrag | |
| 1-Jan-2013 | Assessment of possible association between rs3787016 and prostate cancer risk in Serbian population | Nikolić, Zorana Z.; Brajušković, Goran N.; Pavićević, Dušanka Lj Savić; Kojić, Aleksandar S.; Vukotić, Vinka D.; Tomović, Saša M.; Cerović, Snežana J.; Filipović, Vladimir ; Mišljenović, Duro; Romac, Stanka P. | |
| 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 |
| 1-Dec-2023 | Automated generation of illustrated proofs in geometry and beyond | Janičić, Predrag ; Narboux, Julien | M22 |
| 30-Dec-2021 | Automated Generation of Illustrations for Synthetic Geometry Proofs | Janičić, Predrag ; Narboux, Julien | |
| 1-Aug-2015 | Automated generation of machine verifiable and readable proofs: A case study of tarski’s geometry | Stojanović-Đurđević. Sana ; Narboux, Julien; Janičić, Predrag | |
| 15-Jun-2015 | Automated Theorem Proving in GeoGebra: Current Achievements | Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag ; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon | |
| 1-Jan-2005 | Automatic construction of surface model | Marić, Miroslav ; Marić, Filip ; Mijajlović, Žarko; Jovanović, Boško | |
| 1-Jan-2007 | Automatic synthesis of decision procedures: A case study of ground and linear arithmetic | Janičić, Predrag ; Bundy, Alan | |
| 1-Jan-2007 | Automatic verification of regular constructions in dynamic geometry systems | Janičić, Predrag ; Quaresma, Pedro | |
| 1-Jan-2018 | Benchmarking Virtuoso 8 at the Mighty Storage Challenge 2018: Challenge Results | Jovanovik, Milos; Spasić, Mirko | |
| 9-Apr-2023 | BioGraph: Data Model for Linking and Querying Diverse Biological Metadata | Veljković, Aleksandar N; Orlov, Yuriy L; Mitić, Nenad | M21 |
