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 401-450 of 468 (Search time: 0.006 seconds).

Issue DateTitleAuthor(s)Rank
40125-Nov-2011A coherent logic based geometry theorem prover capable of producing formal and readable proofsStojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag M33
4028-Nov-2011Formalization of abstract state transition systems for SATMarić, Filip ; Janičić, Predrag M22
4032011Classification of Data Mining Algorithms and Concept Modeling Approaches in Wireless Sensor NetworksVujičić Stanković, Staša ; Vitas, Duško; Rakočević, Goran; Milutinović, Veljko
4042011Simulator Strategy for Data Mining and Concept Modeling in Wireless Sensor NetworksVujičić Stanković, Staša ; Vitas, Duško; Rakočević, Goran; Milutinović, Veljko
4052011Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal InferenceGoertzel, Ben; Geisweiller, Nil; De Souza Coelho, Lucio; Janičić, Predrag ; Pennachin, Cassio
4062011Bioinformatics analysis of disordered proteins in prokaryotesPavlović-Lažetić, Gordana M; Mitić, Nenad ; Kovačević, Jovana ; Obradović, Zoran; Malkov, Saša ; Beljanski, Miloš V
4071-Dec-2010Customizing a functional programming language for web developmentMalkov, Saša 
40812-Nov-2010Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOLMarić, Filip 
40910-Aug-2010URBiVA: Uniform reduction to bit-vector arithmeticMarić, Filip ; Janičić, Predrag M33
4102-Aug-2010Statistical methodology for comparison of SAT solversNikolić, Mladen 
4111-Feb-2010Geometry constructions languageJaničić, Predrag M21
4121-Jan-2010An efficient genetic algorithm for solving the multi-level uncapacitated facility location problemMarić, Miroslav 
4131-Jan-2010Formal correctness proof for dPLL procedureMarić, Filip ; Janičić, Predrag M21
4142010Odonym Recognition in SerbianVujičić Stanković, Staša ; Vitas, DuškoM33
4159-Nov-2009Instance-based selection of policies for SAT solversNikolić, Mladen ; Marić, Filip ; Janičić, Predrag M33
4161-Jun-2009Formalization and implementation of modern SAT solversMarić, Filip 
4171-Jan-2009GA inspired heuristic for uncapacitated single allocation hub location problemFilipović, Vladimir ; Kratica, Jozef; Tošić, Dušan; Dugošija, Djordje
4181-Jan-2009Using simplex method in verifying software safetyVujošević Janičić, Milena ; Marić, Filip ; Tošić, DušanM24
4191-Jan-2009Two hybrid genetic algorithms for solving the super-peer selection problemKratica, Jozef; Kojić, Jelena; Tošić, Dušan; Filipović, Vladimir ; Dugošija, Djordje
4202009A reexamination of correlations of amino acids with particular secondary structuresMalkov, Saša ; Zivković, Miodrag V; Beljanski, Milos V; Stojanović, Srdan D; Zarić, Snezana D
4212009n-Gram characterization of genomic islands in bacterial genomesPavlović-Lazetić, Gordana M; Mitić, Nenad ; Beljanski, Milos V
42217-Nov-2008Ensuring safe usage of buffers in programming language CVujošević Janičić, Milena M33
4231-Jun-2008Parameter adjustment for genetic algorithm for two-level Hierarchical Covering Location ProblemMarić, Miroslav ; Tuba, Milan; Kratica, Jozef
4241-Jan-2008XML-Based format for geometryQuaresma, Pedro; Janičić, Predrag ; Tomašević, Jelena ; Vujošević Janičić, Milena ; Tošić, DušanM14
4251-Jan-2008The role of programming paradigms in the first programming coursesVujošević Janičić, Milena ; Tošić, Dušan
4261-Jan-2008Solving the maximally balanced connected partition problem in graphs by using genetic algorithmDjurić, Brankica; Kratica, Jozef; Tošić, Dušan; Filipović, Vladimir 
4272008Automatsko otkrivanje prekoračenja bafera u programskom jeziku C : magistarska tezaVujošević Janičić, Milena 
4282008Could n-gram analysis contribute to genomic island determination?Mitić, Nenad ; Pavlović-Lazetić, Gordana M; Beljanski, Milos V
4292008A reexamination of the propensities of amino acids towards a particular secondary structure: classification of amino acids based on their chemical structureMalkov, Saša ; Zivković, Miodrag V; Beljanski, Milos V; Hall, Michael B; Zarić, Snezana D
4301-Oct-2007Two genetic algorithms for solving the uncapacitated single allocation p-hub median problemKratica, Jozef; Stanimirović, Zorica ; Tošić, Dušan; Filipović, Vladimir 
43125-Jun-2007Random k-GD-SAT model and its phase transitionVujošević Janičić, Milena ; Tomašević, Jelena ; Janičić, Predrag M23
43215-May-2007GeoThms - a Web System for Euclidean Constructive GeometryQuaresma, Pedro; Janičić, Predrag M33
4331-Jan-2007Automatic synthesis of decision procedures: A case study of ground and linear arithmeticJaničić, Predrag ; Bundy, AlanM33
4341-Jan-2007Automatic verification of regular constructions in dynamic geometry systemsJaničić, Predrag ; Quaresma, PedroM33
4351-Jan-2007A variant of N-gram based language classificationTomović, Andrija; Janičić, Predrag M33
4361-Jan-2006Adaptation of edges in a triangular meshMarić, Miroslav ; Stojanović, Sana
4371-Jan-2006Statistical dependence of protein secondary structure on amino acid bigramsŽivković, Miodrag; Malkov, Saša ; Zarić, Snežana; Vujošević Janičić, Milena ; Tomašević, Jelena ; Predović, Goran; Blažić, Novica; Beljanski, Miloš V.
4381-Jan-2006Simple characterization of functionally complete one-element sets of propositional connectivesMaksimović, Petar; Janičić, Predrag M22
4391-Jan-2006A system for neural acoustics analysisJovanovic, Aleksandar; Jovanovic, Maja; Perovic, Aleksandar; Marić, Miroslav 
4401-Jan-2006Integrating dynamic geometry software, deduction systems, and theorem repositoriesQuaresma, Pedro; Janičić, Predrag M33
4411-Jan-2006GCLC - A tool for constructive euclidean geometry and more than thatJaničić, Predrag M33
4421-Jan-2006System description: GCLCprover + GeoThmsJaničić, Predrag ; Quaresma, PedroM33
4432006n-gram-based classification and unsupervised hierarchical clustering of genome sequencesTomović, Andrija; Janičić, Predrag ; Keselj, VladoM22
444Feb-2005SARS-CoV genome polymorphism: a bioinformatics studyPavlović-Lazetić, Gordana M; Mitić, Nenad ; Tomović, Andrija M; Pavlović, Mirjana D; Beljanski, Milos V
4451-Jan-2005Automatic construction of surface modelMarić, Miroslav ; Marić, Filip ; Mijajlović, Žarko; Jovanović, Boško
4461-Jan-2005Genetic algorithm for solving uncapacitated multiple allocation hub location problemKratica, Jozef; Stanimirović, Zorica ; Tošić, Dušan; Filipović, Vladimir 
4471-Jan-2005Logical analysis of hash functionsJovanović, Dejan; Janičić, Predrag M33
44825-May-2004Bioinformatics analysis of SARS coronavirus genome polymorphismPavlovic-Lazetic, Gordana M; Mitić, Nenad ; Beljanski, Milos V
4491-Jan-2004Constructions, instructions, interactionsĐorić, Mirjana ; Janičić, Predrag M51
4501-Jan-2004ARGO-LIB: A generic platform for decision proceduresMarić, Filip ; Janičić, Predrag M33