1. Research with MATF

Informatics and Computer Science

View Statistics Email Alert RSS Feed

Card

Organization name
Informatics and Computer Science
Country
Serbia

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Results 1-50 of 726 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)Rank
11-Mar-2026Building an emotion lexicon for Serbian using curated language resourcesŠošić, Milena; Graovac, Jelena ; Stanković, RankaM22
228-Jan-2026GraalMHC: ML-Based Method-Hotness Classification for Binary-Size Reduction in Optimizing CompilersČugurović, Milan ; Prokopec, Aleksandar; Spasojevic, Boris; Jovanovic, Vojin; Vujošević Janičić, Milena M33
31-Jan-2026Why do women pursue a Ph.D. in Computer Science?Ábrahám, Erika; Goulão, Miguel; Vujošević Janičić, Milena ; Delany, Sarah Jane; Mersni, Amal; Yeremenko, Oleksandra; Büyükdağlı, Özge; Boudaoud, Karima; Oehlhorn, Caroline; Schmid, Ute; Büsing, Christina; Bolke-Hermanns, Helen; Köhnle, Kaja; Pato, Matilde; Cerci, Deniz Sunar; Schmid, LarissaM21
42026GraalDoss: Direct object snapshotting and sharing for cloud-native applicationsRistović, Ivan ; Jovanović, Vojin; Hofer, Peter; Vujošević Janičić, Milena M21a
54-Dec-2025Machine Learning-Driven Prediction of Optimal Control Flow Graph Traversal StrategyRistović, Ivan ; Čugurović, Milan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena M50
61-Dec-2025Proving correctness of the query containment solver SpeCS using SPARQL set semanticsSpasić, Mirko ; Vujošević Janičić, Milena M21
71-Dec-2025Theorem Proving as Constraint Solving for Coherent Logic with Function SymbolsJaničić, Predrag M23
81-Dec-2025A novel artificial intelligence search algorithm and mathematical model for the hybrid flow shop scheduling problemVidojević, Filip ; Džamić, Andrijana; Džamić, Dušan; Marić, Miroslav M21a+
91-Sep-2025Logit scaling for out-of-distribution detectionDjurisic, Andrija; Liu, Rosanne; Nikolić, Mladen M21
1025-Jul-2025A learning search algorithm for the Restricted Longest Common Subsequence problemDjukanović, Marko; Reixach, Jaume; Nikolikj, Ana; Eftimov, Tome; Kartelj, Aleksandar ; Blum, ChristianM21a
111-Jul-2025General variable neighborhood search for the capacitated single allocation hub maximal covering problemTodosijević, Raca; Stančić, Olivera; Stanimirović, Zorica ; Mišković, Stefan M22
1230-Jan-2025Graph protection under multiple simultaneous attacks: A heuristic approachDjukanović, Marko; Kapunac, Stefan ; Kartelj, Aleksandar ; Matić, DraganM21a
136-Jan-2025Correlation-based feature selection of single cell transcriptomics data from multiple sourcesMitić, Nenad ; Malkov, Saša ; Maljković Ružičić, Mirjana ; Veljković, Aleksandar N.; Čukić, Ivan ; Lin, Xin; Lyu, Minjie; Brusić, VladimirM21a+
144-Jan-2025Skeletal Site-Specific Lipid Profile and Hematopoietic Progenitors of Bone Marrow Adipose Tissue in Patients Undergoing Primary Hip ArthroplastyTrivanović, Drenka; Vujačić, Marko; Arsić, Aleksandra; Kukolj, Tamara; Rajković, Milica; Bogosavljević, Nikola; Baščarević, Zoran; Maljković Ružičić, Mirjana ; Kovačević, Jovana ; Jauković, AleksandraM22
151-Jan-2025Readable automated proofs of ruler and compass constructionsMarinković, Vesna ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip M22
161-Jan-2025Automation of triangle straightedge-and-compass constructions using automated planningBanković, Milan M22
171-Jan-2025Formalization of gyrovector spaces as models of hyperbolic geometry and special relativityMarković, Jelena ; Marić, Filip M22
181-Jan-2025Towards automated proving in solid geometrySimić, Danijela ; Stojanović-Đurđević. Sana ; Tanasijević, Ivana M22
191-Jan-2025Matheuristic Fixed Set Search Applied to the Two-Stage Capacitated Facility Location ProblemAlicic, Denis; Sezer, Nurettin; Marić, Miroslav ; Jovanovic, RakaM21
201-Jan-2025ML-Driven Prediction of Optimal Control Flow Graph Traversal Algorithm in Modern ApplicationsČugurović, Milan ; Ristović, Ivan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena M33
211-Jan-2025Beyond Kalman filters: deep learning-based filters for improved object trackingAdžemović, Momir; Tadić, Predrag; Petrović, Andrija; Nikolić, Mladen M21
221-Jan-2025Voices of Female Informatics Students Across UniversitiesBüyükdağlı, Özge; Mersni, Amal; Goulão, Miguel; Vujošević Janičić, Milena M10
232025Multi-Level Uncapacitated Facility Location Problem with Clients' PreferencesMišković, Stefan ; Stančić, Olivera; Stanimirović, Zorica ; Todosijević, RaćaM22
242025Integer programming model for distance-edge-monitoring problemKartelj, Aleksandar ; Filipović, Vladimir ; Kratica, JozefM24+
252025Semantic Integrity and AI-Generated "Authentic" Folklore - How can oral traditions be protected?Mladenović, Miljana; Kartelj, Aleksandar ; Vujičić Stanković, Staša M64
262025Improving ML-Based Static Profiling Using Method NamesMilenković, Stefan ; Čugurović, Milan ; Vujošević Janičić, Milena M64
272025Extensible Java Bytecode Data-Flow Analysis JVMCI FrameworkStefanović, Aleksandar ; Ristović, Ivan ; Vujošević Janičić, Milena M64
282025Metrics Visualization Using Profiling-Based Adaptive GC Policy for ServerlessKarličić, Milica ; Ristović, Ivan ; Vujošević Janičić, Milena M64
292025Prirodna dedukcija, preko interaktivnog dokazivanja do LaTeX dokazaUrošević, Andrija ; Stojanović-Đurđević. Sana M64
302025Unapređivanje razumevanja dokaza teorema pomoću interaktivnih dokazivačaStojanović-Đurđević. Sana ; Urošević, Andrija ; Marić, Filip M64
312025Учење програмских језика уз помоћ ChatGPTPavlović, Miloš; Stojanović-Đurđević. Sana M64
322025Comparative Analysis and Evaluation of Method Layout AlgorithmsJoksimović, Miloje ; Spasić, Marko ; Vujošević Janičić, Milena M64
332025Metaheuristic approach to solve a variant of generalized regenerator location problem in optical networksMrkela, Lazar; Stanimirović, Zorica ; Marić, Miroslav M34
342025Surface Glycoprotein Classification Using Repeat SequencesAlshafah, Samara A; Beljanski, Miloš; Mitić, Nenad M23
352025Comparison of Algorithms for the Recognition of ChatGPT Paraphrased TextsKartelj, Aleksandar ; Mladenović, Miljana; Vujičić Stanković, Staša M21a+
362025AI-Powered Grading for Higher EducationIković, Svetozar; Graovac, Jelena M34
372025Developing Language Resources for Recognizing Moral Aspects in the Serbian Language: Multi-label Categorization Through the Perspective of Moral Foundations TheoryŠošić, Milena; Stanković, Ranka; Graovac, Jelena M34
382025Comparison of CNN Architectures for Earthquake Damage State Classification of Different Building TypesKovačević, Miloš; Đorđević, Filip; Nikolić, Mladen ; Nedeljković, Đorđe; Babović, Zoran; Pucanović, Zoran; Ivanović, Marija; Simić, Nevena; Marinković, MarkoM34
391-Dec-2024Topological variable neighborhood searchFilipović, Vladimir ; Kartelj, Aleksandar M21a+
40Dec-2024Intrinsically disordered proteins and liquid-liquid phase separation in SARS-CoV-2 interactomesVasović, Lazar M; Pavlović-Lažetić, Gordana M; Kovačević, Jovana ; Beljanski, Miloš V; Uversky, Vladimir NM22
411-Jul-2024Towards Enhanced Autonomous Driving Takeovers: Fuzzy Logic Perspective for Predicting Situational AwarenessFerenc, Goran; Timotijević, Dragoje; Tanasijević, Ivana ; Simić, Danijela M21
421-Jul-2024GraalSP: Polyglot, efficient, and robust machine learning-based static profilerČugurović, Milan ; Vujošević Janičić, Milena ; Jovanović, Vojin; Würthinger, ThomasM21
4322-Jan-2024Towards Automated Readable Proofs of Ruler and Compass ConstructionsMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip 
442024Interactive textbook for algorithms and data structuresMarinković, Vesna ; Marić, Filip 
452024A GVNS-based solution approach to the Uncapacitated Single Allocation p-hub Maximal Covering ProblemStanimirović, Zorica ; Stančić, Olivera; Marić, Miroslav М30
462024GraalSP Profiles Logger: A Tool for Analyzing and Interpreting Predictions of the ML-Based Static ProfilersČugurović, Milan ; Vujošević Janičić, Milena M34
472024Assessing ChatGPT for Algorithm Time Complexity Education\DJor\dje Pešić; Vujošević Janičić, Milena ; Mišić, Marko; Protić, JelicaM34
482024Best Practices From Bachelor/Master Studies to Ph.DMersni, Amal; Oehlhorn, Caroline; Abraham, Erika; Boudaoud, Karima; Schmid, Larissa; Pato, Matilde; Goulao, Miguel; Vujošević Janičić, Milena ; Yeremenko, Oleksandra; Delany, Ozge Buyukdaglıand Sarah Jane; Schmid, Ute
492024Kompjut'rni nauki i informatika 3 - učebnik za treti klas na gimnaziteMarić, Filip ; Mandić, Svetlana
502024Informatika a výpoctová technika 3 - učebnica - pre tretí ročník gymnáziaMarić, Filip ; Mandić, Svetlana