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 729 (Search time: 0.04 seconds).

Issue DateTitleAuthor(s)Rank
11-Mar-2026Building an emotion lexicon for Serbian using curated language resourcesŠošić, Milena; Graovac, Jelena ; Stanković, RankaM22
60228-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
6031-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
6042026GraalDoss: Direct object snapshotting and sharing for cloud-native applicationsRistović, Ivan ; Jovanović, Vojin; Hofer, Peter; Vujošević Janičić, Milena M21a
5552026Verifikacija softveraVujošević Janičić, Milena 
5564-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
6571-Dec-2025Proving correctness of the query containment solver SpeCS using SPARQL set semanticsSpasić, Mirko ; Vujošević Janičić, Milena M21
6581-Dec-2025Theorem Proving as Constraint Solving for Coherent Logic with Function SymbolsJaničić, Predrag M23
5091-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+
5101-Sep-2025Logit scaling for out-of-distribution detectionDjurisic, Andrija; Liu, Rosanne; Nikolić, Mladen M21
51125-Jul-2025A learning search algorithm for the Restricted Longest Common Subsequence problemDjukanović, Marko; Reixach, Jaume; Nikolikj, Ana; Eftimov, Tome; Kartelj, Aleksandar ; Blum, ChristianM21a
5121-Jul-2025General variable neighborhood search for the capacitated single allocation hub maximal covering problemTodosijević, Raca; Stančić, Olivera; Stanimirović, Zorica ; Mišković, Stefan M22
51330-Jan-2025Graph protection under multiple simultaneous attacks: A heuristic approachDjukanović, Marko; Kapunac, Stefan ; Kartelj, Aleksandar ; Matić, DraganM21a
5146-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+
5154-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
5161-Jan-2025Readable automated proofs of ruler and compass constructionsMarinković, Vesna ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip M22
5171-Jan-2025Automation of triangle straightedge-and-compass constructions using automated planningBanković, Milan M22
5181-Jan-2025Formalization of gyrovector spaces as models of hyperbolic geometry and special relativityMarković, Jelena ; Marić, Filip M22
5191-Jan-2025Towards automated proving in solid geometrySimić, Danijela ; Stojanović-Đurđević. Sana ; Tanasijević, Ivana M22
5201-Jan-2025Matheuristic Fixed Set Search Applied to the Two-Stage Capacitated Facility Location ProblemAlicic, Denis; Sezer, Nurettin; Marić, Miroslav ; Jovanovic, RakaM21
5211-Jan-2025Assessing ChatGPT for Algorithm Time Complexity EducationPešić, Đorđe; Vujošević Janičić, Milena ; Mišić, Marko; Protić, JelicaM33
5221-Jan-2025Voices of Female Informatics Students Across UniversitiesBüyükdağlı, Özge; Mersni, Amal; Goulão, Miguel; Vujošević Janičić, Milena M10
5231-Jan-2025WoCa Lunch: A Program for Female Students to Get Informed About PhD StudiesVujošević Janičić, Milena ; Ábrahám, Erika; Mersni, Amal; Yeremenko, Oleksandra; Goulão, MiguelM10
5241-Jan-2025Beyond Kalman filters: deep learning-based filters for improved object trackingAdžemović, Momir; Tadić, Predrag; Petrović, Andrija; Nikolić, Mladen M21
5251-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
5262025Multi-Level Uncapacitated Facility Location Problem with Clients' PreferencesMišković, Stefan ; Stančić, Olivera; Stanimirović, Zorica ; Todosijević, RaćaM22
5272025Semantic Integrity and AI-Generated "Authentic" Folklore - How can oral traditions be protected?Mladenović, Miljana; Kartelj, Aleksandar ; Vujičić Stanković, Staša M64
5282025Improving ML-Based Static Profiling Using Method NamesMilenković, Stefan ; Čugurović, Milan ; Vujošević Janičić, Milena M64
5292025Extensible Java Bytecode Data-Flow Analysis JVMCI FrameworkStefanović, Aleksandar ; Ristović, Ivan ; Vujošević Janičić, Milena M64
5302025Metrics Visualization Using Profiling-Based Adaptive GC Policy for ServerlessKarličić, Milica ; Ristović, Ivan ; Vujošević Janičić, Milena M64
5312025Prirodna dedukcija, preko interaktivnog dokazivanja do LaTeX dokazaUrošević, Andrija ; Stojanović-Đurđević. Sana M64
5322025Unapređivanje razumevanja dokaza teorema pomoću interaktivnih dokazivačaStojanović-Đurđević. Sana ; Urošević, Andrija ; Marić, Filip M64
5332025Учење програмских језика уз помоћ ChatGPTPavlović, Miloš; Stojanović-Đurđević. Sana M64
5342025Comparative Analysis and Evaluation of Method Layout AlgorithmsJoksimović, Miloje ; Spasić, Marko ; Vujošević Janičić, Milena M64
5352025Metaheuristic approach to solve a variant of generalized regenerator location problem in optical networksMrkela, Lazar; Stanimirović, Zorica ; Marić, Miroslav M34
5362025Surface Glycoprotein Classification Using Repeat SequencesAlshafah, Samara A; Beljanski, Miloš; Mitić, Nenad M23
5372025Comparison 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
5382025AI-Powered Grading for Higher EducationIković, Svetozar; Graovac, Jelena M34
5392025Developing 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
5402025Comparison of Algorithms for the Recognition of ChatGPT Paraphrased TextsKartelj, Aleksandar ; Mladenović, Miljana; Vujičić Stanković, Staša M21a+
5412025Integer programming model for distance-edge-monitoring problemKartelj, Aleksandar ; Filipović, Vladimir ; Kratica, JozefM24+
5421-Dec-2024Topological variable neighborhood searchFilipović, Vladimir ; Kartelj, Aleksandar M21a+
543Dec-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
5441-Jul-2024Towards Enhanced Autonomous Driving Takeovers: Fuzzy Logic Perspective for Predicting Situational AwarenessFerenc, Goran; Timotijević, Dragoje; Tanasijević, Ivana ; Simić, Danijela M21
5451-Jul-2024GraalSP: Polyglot, efficient, and robust machine learning-based static profilerČugurović, Milan ; Vujošević Janičić, Milena ; Jovanović, Vojin; Würthinger, ThomasM21
54622-Jan-2024Towards Automated Readable Proofs of Ruler and Compass ConstructionsMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip 
5472024Interactive textbook for algorithms and data structuresMarinković, Vesna ; Marić, Filip 
5482024A GVNS-based solution approach to the Uncapacitated Single Allocation p-hub Maximal Covering ProblemStanimirović, Zorica ; Stančić, Olivera; Marić, Miroslav М30
5492024GraalSP Profiles Logger: A Tool for Analyzing and Interpreting Predictions of the ML-Based Static ProfilersČugurović, Milan ; Vujošević Janičić, Milena M34
5502024Best 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