dr Mladen Nikolić

 
Home Courses (Serbian) Education Interests

Publications

Software

   
 

Journal papers

  • Dragan Lambić, Mladen Nikolić: Pseudo-Random Number Generator Based on Discrete-Space Chaotic Map, Nonlinear Dynamics, 2017.
  • Marko Porčić, Mladen Nikolić: The Approximate Bayesian computation approach to reconstructing population dynamics and size from settlement data: demography of the Mesolithic-Neolithic transition at Lepenski Vir, Archaelogical and Anthropological Sciences, 2014.
  • Milena Vujošević-Janičić, Mladen Nikolić, Dušan Tošić, Viktor Kuncak: Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments, Information and Software Technology, 2013.
  • Mladen Nikolić: Measuring Similarity of Graph Nodes by Neighbor Matching, Intelligent Data Analysis, 2013
  • Mladen Nikolić, Filip Marić, Predrag Janičić: Simple Algorithm Portfolio for SAT, Artificial Intelligence Review, 2013.
  • Tomislav Hengl, Mladen Nikolić, Robert McMillan: Mapping Efficiency and Information Content, International Journal of Applied Earth Observation and Geoinformation, 2012.
 

Conference papers

  • Vesna Pavlović, Mladen Nikolić, Zoltan Kovacs, Predrag Janičić: Portfolio Methods in Theorem Proving for Elementary Geometry, Automated Deduction in Geometry, 2016.
  • Miloš Manić, Mladen Nikolić: Feature Extraction for Rasters Using Autoencoders, Geostatistics and Machine Learning Conference, 2016.
  • Jelena Slivka, Mladen Nikolić, Kosta Ristovski, Vladan Radosavljević, Zoran Obradović: Distributed Gaussian Conditional Random Fields Based Regression for Large Evolving Graphs, SIAM International Conference on Data Mining, Workshop on Mining Networks and Graphs, 2014.
  • Mladen Nikolić, Predrag Janičić: CDCL-based Abstract State Transition System for Coherent Logic, Calculemus (CICM), LNAI 7362, 2012.
  • Mladen Nikolić: Statistical Methodology for Comparison of SAT Solvers, Thirteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2010), LNCS 6175, Springer, 2010.
  • Mladen Nikolić, Filip Marić, Predrag Janičić: Instance-Based Selection of Policies for SAT Solvers, Twelfth International Conference on Theory and Applications of Satisfiability Testing (SAT 2009), LNCS 5584, Springer, 2009.