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 716 (Search time: 0.008 seconds).

Issue DateTitleAuthor(s)Rank
11-Mar-2026Building an emotion lexicon for Serbian using curated language resourcesŠošić, Milena; Graovac, Jelena ; Stanković, RankaM22
21-Dec-2025Proving correctness of the query containment solver SpeCS using SPARQL set semanticsSpasić, Mirko ; Vujošević Janičić, Milena M21
31-Dec-2025Theorem Proving as Constraint Solving for Coherent Logic with Function SymbolsJaničić, Predrag M23
41-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+
525-Jul-2025A learning search algorithm for the Restricted Longest Common Subsequence problemDjukanović, Marko; Reixach, Jaume; Nikolikj, Ana; Eftimov, Tome; Kartelj, Aleksandar ; Blum, ChristianM21a
61-Jul-2025General variable neighborhood search for the capacitated single allocation hub maximal covering problemTodosijević, Raca; Stančić, Olivera; Stanimirović, Zorica ; Mišković, Stefan M22
730-Jan-2025Graph protection under multiple simultaneous attacks: A heuristic approachDjukanović, Marko; Kapunac, Stefan ; Kartelj, Aleksandar ; Matić, DraganM21a
86-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+
94-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
101-Jan-2025Readable automated proofs of ruler and compass constructionsMarinković, Vesna ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip M22
111-Jan-2025Automation of triangle straightedge-and-compass constructions using automated planningBanković, Milan M22
121-Jan-2025Formalization of gyrovector spaces as models of hyperbolic geometry and special relativityMarković, Jelena ; Marić, Filip M22
131-Jan-2025Towards automated proving in solid geometrySimić, Danijela ; Stojanović-Đurđević. Sana ; Tanasijević, Ivana M22
141-Jan-2025Matheuristic Fixed Set Search Applied to the Two-Stage Capacitated Facility Location ProblemAlicic, Denis; Sezer, Nurettin; Marić, Miroslav ; Jovanovic, RakaM21
151-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
161-Jan-2025Beyond Kalman filters: deep learning-based filters for improved object trackingAdžemović, Momir; Tadić, Predrag; Petrović, Andrija; Nikolić, Mladen M21
172025Multi-Level Uncapacitated Facility Location Problem with Clients' PreferencesMišković, Stefan ; Stančić, Olivera; Stanimirović, Zorica ; Todosijević, RaćaM22
182025Integer programming model for distance-edge-monitoring problemKartelj, Aleksandar ; Filipović, Vladimir ; Kratica, JozefM24+
192025Semantic Integrity and AI-Generated "Authentic" Folklore - How can oral traditions be protected?Mladenović, Miljana; Kartelj, Aleksandar ; Vujičić Stanković, Staša M64
202025Improving ML-Based Static Profiling Using Method NamesMilenković, Stefan ; Čugurović, Milan ; Vujošević Janičić, Milena M64
212025Extensible Java Bytecode Data-Flow Analysis JVMCI FrameworkStefanović, Aleksandar ; Ristović, Ivan ; Vujošević Janičić, Milena M64
222025Metrics Visualization Using Profiling-Based Adaptive GC Policy for ServerlessKarličić, Milica ; Ristović, Ivan ; Vujošević Janičić, Milena M64
232025Prirodna dedukcija, preko interaktivnog dokazivanja do LaTeX dokazaUrošević, Andrija ; Stojanović-Đurđević. Sana M64
242025Unapređivanje razumevanja dokaza teorema pomoću interaktivnih dokazivačaStojanović-Đurđević. Sana ; Urošević, Andrija ; Marić, Filip M64
252025Учење програмских језика уз помоћ ChatGPTPavlović, Miloš; Stojanović-Đurđević. Sana M64
262025Comparative Analysis and Evaluation of Method Layout AlgorithmsJoksimović, Miloje ; Spasić, Marko ; Vujošević Janičić, Milena M64
272025Metaheuristic approach to solve a variant of generalized regenerator location problem in optical networksMrkela, Lazar; Stanimirović, Zorica ; Marić, Miroslav M34
282025Surface Glycoprotein Classification Using Repeat SequencesAlshafah, Samara A; Beljanski, Miloš; Mitić, Nenad M23
292025Comparison of Algorithms for the Recognition of ChatGPT Paraphrased TextsKartelj, Aleksandar ; Mladenović, Miljana; Vujičić Stanković, Staša M21a+
302025AI-Powered Grading for Higher EducationIković, Svetozar; Graovac, Jelena M34
312025Developing 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
321-Dec-2024Topological variable neighborhood searchFilipović, Vladimir ; Kartelj, Aleksandar M21a+
33Dec-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
341-Jul-2024Towards Enhanced Autonomous Driving Takeovers: Fuzzy Logic Perspective for Predicting Situational AwarenessFerenc, Goran; Timotijević, Dragoje; Tanasijević, Ivana ; Simić, Danijela M21
351-Jul-2024GraalSP: Polyglot, efficient, and robust machine learning-based static profilerČugurović, Milan ; Vujošević Janičić, Milena ; Jovanović, Vojin; Würthinger, ThomasM21
3622-Jan-2024Towards Automated Readable Proofs of Ruler and Compass ConstructionsMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip 
372024Interactive textbook for algorithms and data structuresMarinković, Vesna ; Marić, Filip 
382024A GVNS-based solution approach to the Uncapacitated Single Allocation p-hub Maximal Covering ProblemStanimirović, Zorica ; Stančić, Olivera; Marić, Miroslav М30
392024GraalSP Profiles Logger: A Tool for Analyzing and Interpreting Predictions of the ML-Based Static ProfilersČugurović, Milan ; Vujošević Janičić, Milena M34
402024Assessing ChatGPT for Algorithm Time Complexity Education\DJor\dje Pešić; Vujošević Janičić, Milena ; Mišić, Marko; Protić, JelicaM34
412024Best 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
422024Kompjut'rni nauki i informatika 3 - učebnik za treti klas na gimnaziteMarić, Filip ; Mandić, Svetlana
432024Informatika a výpoctová technika 3 - učebnica - pre tretí ročník gymnáziaMarić, Filip ; Mandić, Svetlana
442024Konstrukcija i analiza algoritamaMarinković, Vesna ; Marić, Filip 
452024Számítástechnika és informatika 4 - tankönyv a gimnáziumok negyedik osztálya számáraMarić, Filip ; Zečević, Anđelka
462024Razvoj softvera [univerzitetski udžbenik]Malkov, Saša 
472024Formalization, Automatization and Visualization of Hyperbolic GeometryMarić, Filip M31
482024Angle trisection with origami and proving its correctness using Gröbner basisMilojković, Dara ; Marinković, Vesna M23
492024Constant Folding of Reflective Calls via Static Analysis of Java BytecodeStefanović, Aleksandar ; Ristović, Ivan; Vujošević Janičić, Milena M64
502024Generisanje programskih segmenata zadate složenosti pomoću alata veštačke inteligencijeĐorđe Pešić; Vujošević Janičić, Milena ; Mišić, Marko; Protić, JelicaM63