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 151-200 of 243 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)Rank
1512-Aug-2013Electromagnetism metaheuristic algorithm for solving the strong minimum energy topology problemKartelj, Aleksandar 
15226-Jul-2013A new nonlinear model for the two-dimensional rectangle packing problemSavić, Aleksandar ; Kratica, Jozef; Filipović, Vladimir 
15319-Jun-2013A memetic algorithm for solving two variants of the two-stage uncapacitated facility location problemMišković, Stefan ; Stanimirović, Zorica 
1541-Jun-2013Software verification and graph similarity for automated evaluation of students' assignmentsVujošević Janičić, Milena ; Nikolić, Mladen ; Tošić, Dušan; Kuncak, Viktor
1551-Mar-2013An efficient memetic algorithm for the uncapacitated single allocation hub location problemMarić, Miroslav ; Stanimirović, Zorica ; Stanojević, Predrag
1561-Jan-2013Proving correctness of a KRK chess endgame strategy by sat-based constraint solvingMaliković, Marko; Janičić, Predrag 
1571-Jan-2013A Classification of Data Mining Algorithms for Wireless Sensor Networks, and Classification Extension to Concept Modeling in System of Wireless Sensor Networks Based on Natural Language ProcessingVujičić Stanković, Staša ; Kojić, Nemanja; Rakočević, Goran; Vitas, Duško; Milutinović, Veljko
1581-Jan-2013An electromagnetism metaheuristic for solving the maximum betweenness problemFilipović, Vladimir ; Kartelj, Aleksandar ; Matíc, Dragan
1591-Jan-2013Assessment of possible association between rs3787016 and prostate cancer risk in Serbian populationNikolić, Zorana Z.; Brajušković, Goran N.; Pavićević, Dušanka Lj Savić; Kojić, Aleksandar S.; Vukotić, Vinka D.; Tomović, Saša M.; Cerović, Snežana J.; Filipović, Vladimir ; Mišljenović, Duro; Romac, Stanka P.
1602013Hibridna metaheuristika za rešavanje problema ravnomernog opterećenjaStanimirović, Zorica ; Radojičić Matić, Nina ; Božović, S.; Marić, Miroslav 
16112-Dec-2012The role of fuzzy sets in improving maximal covering location problem (MCLP)Takači, Aleksandar; Marić, Miroslav ; Drakulić, Darko
1621-Dec-2012Linked open data infrastructure for public sector information: Example from SerbiaJanev, Valentina; Miloševic, Uroš; Spasić, Mirko ; Milojković, Jelena; Vraneš, Sanja
1631-Dec-2012Measuring similarity of graph nodes by neighbor matchingNikolić, Mladen 
1641-Dec-2012Variable neighborhood search for Multiple Level Warehouse Layout ProblemMatić, Dragan; Kratica, Jozef; Filipović, Vladimir ; Dugošija, Djordje
1651-Dec-2012Metaheuristic methods for solving the Bilevel Uncapacitated Facility Location Problem with Clients' PreferencesMarić, Miroslav ; Stanimirović, Zorica ; Milenković, Nikola
1661-Dec-2012Information extraction from the weather reports in serbianVujičić Stanković, Staša ; Pajić, Vesna
1671-Dec-2012An integer linear programming formulation and genetic algorithm for the maximum set splitting problemLazović, Bojana; Marić, Miroslav ; Filipović, Vladimir ; Savić, Aleksandar 
16817-Oct-2012The modification of genetic algorithms for solving the balanced location problemFilipović, Vladimir ; Kratica, Jozef; Savić, Aleksandar ; Dugošija, Djordje
16917-Oct-2012Integrating serbian public data into the LOD cloudJanev, Valentina; Milošević, Uroš; Spasić, Mirko ; Vraneš, Sanja; Milojković, Jelena; Jireček, Branko
17030-Sep-2012URSA: A system for uniform reduction to SATJaničić, Predrag 
17113-Sep-2012Formalization of incremental simplex algorithm by stepwise refinementSpasić, Mirko ; Marić, Filip 
17223-Aug-2012Novel approaches to automated personality classification: Ideas and their potentialsKartelj, Aleksandar ; Filipović, Vladimir ; Milutinović, Veljko
17317-Aug-2012Towards understanding triangle construction problemsMarinković, Vesna; Janičić, Predrag 
17417-Aug-2012CDCL-based abstract state transition system for coherent logicNikolić, Mladen ; Janičić, Predrag 
17517-Aug-2012Formalizing Frankl's conjecture: FC-familiesMarić, Filip ; Živković, Miodrag; Vučković, Bojan
17623-Jul-2012A classification and comparison of Data Mining algorithms for Wireless Sensor NetworksVujičić Stanković, Staša ; Rakočevic, Goran; Kojić, Nemanja; Milićev, Dragan
1777-Feb-2012Development and evaluation of LAV: An SMT-based error finding platform: System descriptionVujošević Janičić, Milena ; Kuncak, Viktor
1781-Jan-2012The area method: A recapitulationJaničić, Predrag ; Narboux, Julien; Quaresma, Pedro
1791-Jan-2012An efficient evolutionary algorithm for locating long-term care facilitiesStanimirović, Zorica ; Marić, Miroslav ; Božović, Srdjan; Stanojević, Predrag
1801-Jan-2012A genetic algorithm for the routing and carrier selection problemKratica, Jozef; Kostić, Tijana; Tǒsić, Dušan; Dugǒsija, Djordje; Filipović, Vladimir 
1812012Hibridni evolutivni algoritam za rešavanje hab lokacijskog problema neograničenih kapaciteta sa jednostrukim alokacijamaStanimirović, Zorica ; Marić, Miroslav 
1822012Computational analysis of position-dependent disorder content in DisProt databaseKovačević, Jovana 
1831-Dec-2011A new genetic representation for quadratic assignment problemKratica, Jozef; Tošić, Dušan; Filipović, Vladimir ; Dugošija, Dorde
1841-Dec-2011A metadata-supported distributed approach for data mining based prediction in wireless sensor networksVujičić Stanković, Staša ; Rakočević, Goran; Milutinović, Veljko
1851-Dec-2011Solving the two-dimensional packing problem with m-M calculusSavić, Aleksandar ; Šukilović, Tijana ; Filipović, Vladimir 
1861-Dec-2011A genetic algorithm for solving multiple warehouse layout problemMatić, Dragan; Filipović, Vladimir ; Savić, Aleksandar ; Stanimirović, Zorica 
1871-Dec-2011The influence of the use of educational software on the effectiveness of communication models in teachingPećanac, Rajko; Lambić, Dragan; Marić, Miroslav 
18825-Nov-2011A coherent logic based geometry theorem prover capable of producing formal and readable proofsStojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag 
1898-Nov-2011Formalization of abstract state transition systems for SATMarić, Filip ; Janičić, Predrag M22
1902011Bioinformatics analysis of disordered proteins in prokaryotesPavlović-Lažetić, Gordana M; Mitić, Nenad ; Kovačević, Jovana ; Obradović, Zoran; Malkov, Saša ; Beljanski, Miloš V
1911-Dec-2010Customizing a functional programming language for web developmentMalkov, Saša 
19212-Nov-2010Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOLMarić, Filip 
19310-Aug-2010URBiVA: Uniform reduction to bit-vector arithmeticMarić, Filip ; Janičić, Predrag 
1942-Aug-2010Statistical methodology for comparison of SAT solversNikolić, Mladen 
1951-Feb-2010Geometry constructions languageJaničić, Predrag 
1961-Jan-2010An efficient genetic algorithm for solving the multi-level uncapacitated facility location problemMarić, Miroslav 
1971-Jan-2010Formal correctness proof for dPLL procedureMarić, Filip ; Janičić, Predrag 
19814-Dec-2009ProSense research activities in BelgradeBabović, Z.; Crnjin, A.; Rakočević, G.; Stanković, M.; Vujičić Stanković, Staša ; Perić, Z.; Ćirković, I.; Damjanović, I.; Milutinović, V.
1999-Nov-2009Instance-based selection of policies for SAT solversNikolić, Mladen ; Marić, Filip ; Janičić, Predrag 
2001-Jun-2009Formalization and implementation of modern SAT solversMarić, Filip