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 201-250 of 405 (Search time: 0.007 seconds).

Issue DateTitleAuthor(s)Rank
2012018First steps towards proving functional equivalence of embedded SQLSpasić, Mirko ; Vujošević Janičić, Milena 
2022018Adding support for global instruction selection pass for MIPS32 architecture in LLVMAvramovic, Petar; Vujošević Janičić, Milena ; Cmiljanovic, Gordana; Antic, MarijaM33
2032018Annual Public Report of the Third Year. Project Deliverable from Project HOBBITNgonga Ngomo, Axel-Cyrille; Röder, Michael; Georgala, Kleanthi; Speck, René; Stadler, Claus; Jochimsen, Nadine; Sedrakyan, Gayane; Taelman, Ruben; Strohbach, Martin; Smirnov, Pavel; Lehmann, Jens; Napolitano, Giulio; Schumacher, Alexa; Walter, Carolin; Fundulaki, Irini; Saveta, Tzanina; Papakonstantinou, Vassilis; Georgis, Christos; Tzortzis, Grigorios; Rentoumi, Vassiliki; Spasić, Mirko ; Jovanovik, Milos; Teixeira, Filipe; Kannenberg, Oliver
2042018Second Version of the Data Storage Benchmark. Project Deliverable from Project HOBBITSpasić, Mirko ; Jovanovik, Miloš
2052018An Incremental Simplex Algorithm with Unsatisfiable Core GenerationMarić, Filip ; Spasić, Mirko ; Thiemann, René
2062018Structural disorder of plasmid-encoded proteins in Bacteria and ArchaeaMitić, Nenad ; Malkov, Saša ; Kovačević, Jovana ; Pavlović-Lažetić, Gordana M; Beljanski, Miloš V
2072018Finding Statistically Significant Repeats in Nucleic Acids and ProteinsJelovic, Ana M; Mitić, Nenad ; Eshafah, Samira; Beljanski, Milos V
2081-Dec-2017Novel formulations and VNS-based heuristics for single and multiple allocation p-hub maximal covering problemsJanković, Olivera; Mišković, Stefan ; Stanimirović, Zorica ; Todosijević, Raca
2091-Oct-2017A VNS-LP algorithm for the robust dynamic maximal covering location problemMišković, Stefan 
2101-Oct-2017Pseudo-random number generator based on discrete-space chaotic mapLambić, Dragan; Nikolić, Mladen M21a
2111-Sep-2017Modeling of HILIC retention behavior with theoretical models and new spline interpolation techniqueTumpa, Anja; Mišković, Stefan ; Stanimirović, Zorica ; Jančić-Stojanović, Biljana; Medenica, Mirjana
2121-Aug-2017Solving the robust two-stage capacitated facility location problem with uncertain transportation costsMišković, Stefan ; Stanimirović, Zorica ; Grujičić, Igor
2131-Jun-2017Efficiency of using VNS algorithm for forming heterogeneous groups for CSCL learningTakači, Đurđica; Marić, Miroslav ; Stankov, Gordana; Djenić, Aleksandar
2141-Jun-2017Variable neighborhood search for solving bandwidth coloring problemMatić, Dragan; Kratica, Jozef; Filipović, Vladimir 
2151-Jun-2017Parallelizing simplex within SMT solversBanković, Milan M21
2161-Apr-2017A variable neighbourhood search method for solving the long-term care facility location problemDjenić, Aleksandar; Marić, Miroslav ; Stanimirović, Zorica ; Stanojević, Predrag
2171-Jan-2017MOCHA 2017 as a challenge for VirtuosoSpasić, Mirko ; Jovanovik, Milos
2181-Jan-2017A hybrid metaheuristic method for the deterministic and robust uncapacitated multiple allocation p-hub centre problemMišković, Stefan ; Stanimirović, Zorica 
2191-Jan-201770 years of the mathematical society of SerbiaAndrić, Vojislav; Kadelburg, Zoran ; Marić, Filip ; Mladenović, Pavle 
2201-Jan-2017Parallelization of software verification tool LAVZivković, Branislava; Vujošević Janičić, Milena M34
2211-Jan-2017Hierarchical vs. Flat n-gram-based text categorization: Can we do better?Graovac, Jelena ; Kovačević, Jovana ; Pavlović-Lažetić, Gordana
2221-Jan-2017A New Course on R&D Project Management in Computer Science and Engineering: Subjects Taught, Rationales Behind, and Lessons LearnedMilutinović, Veljko; Draskovic, Drazen; Misic, Marko; Vujičić Stanković, Staša ; Jovic, Aleksandar; Furundzic, DaniloM22
2231-Jan-2017A two-phase optimization method for solving the multi-type maximal covering location problem in emergency service networksStanimirović, Zorica ; Mišković, Stefan ; Trifunović, Darko; Veljović, Veselin
2241-Jan-2017MOCHA2017: The mighty storage challenge at ESWC 2017Georgala, Kleanthi; Spasić, Mirko ; Jovanovik, Milos; Petzka, Henning; Röder, Michael; Ngomo, Axel Cyrille Ngonga
2251-Jan-2017Fuzzy covering location problems with different aggregation operatorsDrakulić, Darko; Takači, Aleksandar; Marić, Miroslav 
2262017Modelling Program Behaviour within Software Verification Tool LAVVujošević Janičić, Milena 
2272017Sistem za generisanje programskih segmenata za ispitivanje u oblasti vremenske složenosti algoritamaPesic, Djordje; Misic, Marko; Protic, Jelica; Vujošević Janičić, Milena M63
2282017First Version of the Data Storage Benchmark. Project Deliverable from Project HOBBITJovanovik, Miloš; Spasić, Mirko 
2292017Annual Public Report of the Second Year. Project Deliverable from Project HOBBITNgonga Ngomo, Axel-Cyrille; Röder, Michael; Georgala, Kleanthi; Speck, René; Stadler, Claus; Jochimsen, Nadine; Sedrakyan, Gayane; Strohbach, Martin; Smirnov, Pavel; Lehmann, Jens; Napolitano, Giulio; Haarmann, Bastian; Korf, Roman; Schumacher, Alexa; Fundulaki, Irini; Saveta, Tzanina; Papakonstantinou, Vassilis; Georgis, Christos; Tzortzis, Grigorios; Rentoumi, Vassiliki; Spasić, Mirko ; Jovanovik, Milos; Kannenberg, Oliver
2302017New software for collecting data from the organized cervical cancer screening program in Serbia. Are we on the threshold of a new screening registry? - A multicentric studyNaumovic, Tamara; Lakic, Vesna; Jovicevic, Ana; Ilic, Dragan; Milosevic, Predrag; Stevic-Gajic, Vesna; Antonijevic, Ana; Milovanovic, Nada; Magdic, Ivica; Koricanac, Rajko; Malkov, Saša ; Grkavac, Igor; Mihajlovic, Milos; Djuricic, Slavisa; Zivkovic, Branislava; Stegic, Uros; Milovanovic, Zorka; Opric, Dejan; Knezevic, Marija; Jovanovic, Verica; Todorovic, Zoran; Todorovic, Dusan
2311-Oct-2016Extending SMT solvers with support for finite domain alldifferent constraintBanković, Milan M22
2321-May-2016Parallel VNS for Bus Terminal Location ProblemDjenić, Aleksandar; Radojičić Matić, Nina ; Marić, Miroslav ; Mladenović, Marko
2331-Mar-2016Constructibility Classes for Triangle Location ProblemsSchreck, Pascal; Marinković, Vesna ; Janičić, Predrag M51
2341-Mar-2016The Approximate Bayesian Computation approach to reconstructing population dynamics and size from settlement data: demography of the Mesolithic-Neolithic transition at Lepenski VirPorčić, Marko; Nikolić, Mladen M21
23520-Jan-2016Memetic algorithm for the balanced resource location problem with preferencesMišković, Stefan ; Stanimirović, Zorica 
2361-Jan-2016Solving finite-domain linear constraints in presence of the alldifferentBanković, Milan M22
2371-Jan-2016An extension of maximal covering location problem based on the Choquet integralTakači, Aleksandar; Štajner-Papuga, Ivana; Drakulić, Darko; Marić, Miroslav 
2381-Jan-2016New model of maximal covering location problem with fuzzy conditionsDrakulić, Darko; Takači, Aleksandar; Marić, Miroslav 
2391-Jan-2016An RDF dataset generator for the social network benchmark with real-world coherenceSpasić, Mirko ; Jovanovik, Milos; Prat-Pérez, Arnau
2401-Jan-2016Hybrid metaheuristic method for solving a multi-period emergency service location problemMišković, Stefan ; Stanimirović, Zorica 
2412016Portfolio Methods in Theorem Proving for Elementary GeometryMarinković, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag M33
2422016Feature Extraction for Rasters Using AutoencodersMiloš Manić; Nikolić, Mladen M33
2432016Programiranje 2 - Zbirka zadataka sa rešenjima (u programskom jeziku C)Vujošević Janičić, Milena ; Graovac, Jelena ; Radojičić Matić, Nina ; Spasić, Ana; Spasić, Mirko ; An\djelka Zečević
2442016Automatsko utvrđivanje sličnosti kuvarskih recepata upotrebom metoda ekstrakcije informacijaVujičić Stanković, Staša ; Pajić, Vesna
2452016Ekstrakcija informacija vođena ontologijama (Model za srpski jezik)Vujičić Stanković, Staša M70
2462016Annual Public Report of the First Year. Project Deliverable from Project HOBBITJochimsen, Nadine; Ngonga Ngomo, Axel-Cyrille; Röder, Michael; Georgala, Kleanthi; Speck, René; Saillau, Frank; Taelman, Ruben; Strohbach, Martin; Katerinenko, Roman; Lehmann, Jens; Peztka, Henning; Haarmann, Bastian; Korf, Roman; Schumacher, Alexa; Fundulaki, Irini; Saveta, Tzanina; Krithara, Anastasia; Rentoumi, Vassiliki; Spasić, Mirko ; Jovanovik, Milos; Kannenberg, Oliver
2472016Software tools for simultaneous data visualization and T cell epitopes and disorder prediction in proteinsJandrlić, Davorka R; Lazić, Goran M; Mitić, Nenad ; Pavlović, Mirjana D
2481-Aug-2015Automated generation of machine verifiable and readable proofs: A case study of Тarski’s geometryStojanović-Đurđević. Sana ; Narboux, Julien; Janičić, Predrag М22
24915-Jun-2015Automated Theorem Proving in GeoGebra: Current AchievementsBotana, Francisco; Hohenwarter, Markus; Janičić, Predrag ; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, SimonM21
2501-Jun-2015Plant regeneration in leaf culture of Centaurium erythraea Rafn. Part 2: the role of arabinogalactan proteinsSimonović, Ana D.; Filipović, Biljana K.; Trifunović, Milana M.; Malkov, Saša ; Milinković, Vedrana P.; Jevremović, Slađana B.; Subotić, Angelina R.