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 674 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)Rank
11-Dec-2025Proving correctness of the query containment solver SpeCS using SPARQL set semanticsSpasić, Mirko ; Vujošević Janičić, Milena M21
21-Dec-2025Theorem Proving as Constraint Solving for Coherent Logic with Function SymbolsJaničić, Predrag M23
31-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+
425-Jul-2025A learning search algorithm for the Restricted Longest Common Subsequence problemDjukanović, Marko; Reixach, Jaume; Nikolikj, Ana; Eftimov, Tome; Kartelj, Aleksandar ; Blum, ChristianM21a
51-Jul-2025General variable neighborhood search for the capacitated single allocation hub maximal covering problemTodosijević, Raca; Stančić, Olivera; Stanimirović, Zorica ; Mišković, Stefan M22
35630-Jan-2025Graph protection under multiple simultaneous attacks: A heuristic approachDjukanović, Marko; Kapunac, Stefan ; Kartelj, Aleksandar ; Matić, DraganM21a
3576-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+
3584-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
3591-Jan-2025Readable automated proofs of ruler and compass constructionsMarinković, Vesna ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip M22
3601-Jan-2025Automation of triangle straightedge-and-compass constructions using automated planningBanković, Milan M22
3611-Jan-2025Formalization of gyrovector spaces as models of hyperbolic geometry and special relativityMarković, Jelena ; Marić, Filip M22
3621-Jan-2025Matheuristic Fixed Set Search Applied to the Two-Stage Capacitated Facility Location ProblemAlicic, Denis; Sezer, Nurettin; Marić, Miroslav ; Jovanovic, RakaM21
3631-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
3641-Jan-2025Towards automated proving in solid geometrySimić, Danijela ; Stojanović-Đurđević. Sana ; Tanasijević, Ivana M22
3651-Jan-2025Beyond Kalman filters: deep learning-based filters for improved object trackingAdžemović, Momir; Tadić, Predrag; Petrović, Andrija; Nikolić, Mladen M21
3662025Multi-Level Uncapacitated Facility Location Problem with Clients' PreferencesMišković, Stefan ; Stančić, Olivera; Stanimirović, Zorica ; Todosijević, RaćaM22
3672025Integer programming model for distance-edge-monitoring problemKartelj, Aleksandar ; Filipović, Vladimir ; Kratica, JozefM24+
3682025Semantic Integrity and AI-Generated "Authentic" Folklore - How can oral traditions be protected?Mladenović, Miljana; Kartelj, Aleksandar ; Vujičić Stanković, Staša M64
3692025Comparison of Algorithms for the Recognition of ChatGPT Paraphrased TextsKartelj, Aleksandar ; Mladenović, Miljana; Vujičić Stanković, Staša M21a+
3702025Improving ML-Based Static Profiling Using Method NamesMilenković, Stefan ; Čugurović, Milan ; Vujošević Janičić, Milena M64
3212025Extensible Java Bytecode Data-Flow Analysis JVMCI FrameworkStefanović, Aleksandar ; Ristović, Ivan ; Vujošević Janičić, Milena M64
3222025Metrics Visualization Using Profiling-Based Adaptive GC Policy for ServerlessKarličić, Milica ; Ristović, Ivan ; Vujošević Janičić, Milena M64
3231-Dec-2024Topological variable neighborhood searchFilipović, Vladimir ; Kartelj, Aleksandar M21a+
324Dec-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
3251-Jul-2024GraalSP: Polyglot, efficient, and robust machine learning-based static profilerČugurović, Milan ; Vujošević Janičić, Milena ; Jovanović, Vojin; Würthinger, ThomasM21
3261-Jul-2024Towards Enhanced Autonomous Driving Takeovers: Fuzzy Logic Perspective for Predicting Situational AwarenessFerenc, Goran; Timotijević, Dragoje; Tanasijević, Ivana ; Simić, Danijela M21
32722-Jan-2024Towards Automated Readable Proofs of Ruler and Compass ConstructionsMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip 
3282024Interactive textbook for algorithms and data structuresMarinković, Vesna ; Marić, Filip 
3292024A GVNS-based solution approach to the Uncapacitated Single Allocation p-hub Maximal Covering ProblemStanimirović, Zorica ; Stančić, Olivera; Marić, Miroslav М30
3302024GraalSP Profiles Logger: A Tool for Analyzing and Interpreting Predictions of the ML-Based Static ProfilersČugurović, Milan ; Vujošević Janičić, Milena M34
3312024Assessing ChatGPT for Algorithm Time Complexity Education\DJor\dje Pešić; Vujošević Janičić, Milena ; Mišić, Marko; Protić, JelicaM34
3322024Best 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
3332024Kompjut'rni nauki i informatika 3 - učebnik za treti klas na gimnaziteMarić, Filip ; Mandić, Svetlana
3342024Informatika a výpoctová technika 3 - učebnica - pre tretí ročník gymnáziaMarić, Filip ; Mandić, Svetlana
3352024Konstrukcija i analiza algoritamaMarinković, Vesna ; Marić, Filip 
3362024Számítástechnika és informatika 4 - tankönyv a gimnáziumok negyedik osztálya számáraMarić, Filip ; Zečević, Anđelka
3372024Razvoj softvera [univerzitetski udžbenik]Malkov, Saša 
3382024Formalization, Automatization and Visualization of Hyperbolic GeometryMarić, Filip M31
392024Angle trisection with origami and proving its correctness using Gröbner basisMilojković, Dara ; Marinković, Vesna M23
402024Constant Folding of Reflective Calls via Static Analysis of Java BytecodeStefanović, Aleksandar ; Ristović, Ivan; Vujošević Janičić, Milena M64
412024Generisanje 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
422024Matematičke formulacije problema hab maksimalnog pokrivanja ograničenih kapaciteta sa jednostrukim alokacijamaStanimirović, Zorica ; Stančić, Olivera; Mišković, Stefan ; Todosijević, RaćaM64
432024Enhancing Driver Monitoring and Decision-Making in Autonomous VehiclesSimić, Danijela ; Tanasijević, Ivana ; Timotijević, Dragoje; Ferenc, Goran; Žarković, Mihailo; Filipović, Sofija; Veselinović, Dušan; Amokrane-Ferka, KahinaM33
442024Implementacija sistema za upozorenje na napuštanje saobraćajne trakeFilipović, Sofija; Žarković, Mihailo; Veselinović, Dušan; Ferenc, Goran; Timotijević, Dragoje; Simić, Danijela M33
452024Implementacija stereovizije korišćenjem dve kamere na ugrađenom hardveruŽarković, Mihailo; Veselinović, Dušan; Filipović, Sofija; Ferenc, Goran; Timotijević, Dragoje; Simić, Danijela M33
462024Efikasan obilazak grafova kontrole tokaRistović, Ivan ; Čugurović, Milan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena M63
472024A Novel Approach to Source Code Assembling in the Field of Algorithmic ComplexityPešić, Đorđe; Vujošević Janičić, Milena ; Mišić, Marko; Protić, JelicaM22
482024Profiling-Based Adaptive GC Policy for ServerlessKarličić, Milica ; Ristović, Ivan ; Vujošević Janičić, Milena M64
491-Dec-2023Formalization of geometry, automated and interactive geometric reasoningKovács, Zoltán; Janičić, Predrag M22
501-Dec-2023An approach to automatic classification of hate speech in sports domain on social mediaVujičić Stanković, Staša ; Mladenović, MiljanaM21a+