Dr. Zoran Ognjanovic

Mathematical Institute of the Serbian Academia of Sciences and Arts
Kneza Mihaila 35

11000 Belgrade  

Yugoslavia

http://www.mi.sanu.ac.yu

tel: 381-11-630-170
fax: 381-11-186-105
zorano@mi.sanu.ac.yu

Mathematical Institute of the Serbian Academia of Sciences and Arts (http://www.mi.sanu.ac.yu/) is a research institute founded in 1946. Today, the Institute has almost 30 full-time and more than 200 part-time collaborators employed at over 30 different institutions, mostly Faculties of the Universities in Beograd, Novi Sad, Nis and Kragujevac that are involved in 12 fundamental research and 2 technological development projects funded by the Serbian Ministry of science.

DESCRIPTION OF OUR CONTRIBUTION TO THE PROJECT

Mathematical Institute has long experience in organizing pure and applied research and our possible contibutions to PatiMon can be in the following fields:

• knowledge management ,

• analysis, design and applications of cryptographic techniques, 

• pattern recognition and signal processing and classification.

Mathematical logic group has distinguished results in the field of of theoretical and applied logic, for example in automated deduction, uncertain reasoning, classical, modal and fuzzy logics, proof and category theory, etc.

Collaborators of Mathematical Institute address certain open and interesting research topics within the framework of analysis, design and applications of cryptographic techniques.

Computation Intelligence and Information Technologies group is involved in developing tools and algorithms for non-stationary time series prediction, nonlinear system identification, classification, blind source separation and multichanel blind deconvolution. It has significant experience in the fields of Spectral analysis of digital signals using FFT and FFT like Discrete transforms, and digital image processing. Some of applications concern the domain of medical image processing, for example an automatic microscope cell image processing for Immunology analysis.

The fields of interest of Optimization group are metaheuristic methods for solving NP-hard Combinatorial and Global optimization problems, more particularly, Variable Neighborhood search (VNS) metaheuristic with applications in solving Clustering and Pattern Recognition, Data Mining, Location, Transportation, Network optimization, etc.

The already achieved results of these groups, which have been reported in the leading international journals and international conferences, yield an appropriate base for the further research activities.

NAMES OF PARTICIPANTS INCLUDING A SHORT CV

Mathematical institute Belgrade will participate in the following activities:

• I6: CAMS for psychophysical research

• A3: Communication CAMS-CAMS for knowledge transfer

• S2: Knowledge Management and Data Base System

• T3: Transmission and interfaces, security of data transmission

• T4: Signal processing, classification, recognition and evaluation

with the following researchers and doctoral students.

RESEARCHERS

Prof. Dr Dragic Bankovic

Prof. Dr Dragic Bankovic is full professor of algebra, mathematical logic and computer science at Mathematical institute at Faculty of Science, University of Kragujevac. He received his B.Sc. and M.Sc. degrees in 1970 and 1978, respectively. In 1980 he got PhD degree with a thesis Reproductive solutions of equations. He was Chair of Mathematical Institute at the Faculty of Science,University of Kragujevac in 1981-1985 and1999-2001. He was Dean of the Faculty of Science, University of Kragujevac in 2001-2002. His research interest concerns  statistical analysis in various fields of the science of medicine.

Prof. Dr Miodrag Raskovic

Prof. Dr Miodrag Raskovic is full professor of algebra and mathematical logic at Mathematical institute at Faculty of Science, University of Kragujevac. He received his B.Sc. and M.Sc. degrees in 1975 and 1978, respectively. In 1983 he got PhD degree with a thesis Logics with measures in Leibnitz’s universum. He was Chair of Mathematical Institute at the Faculty of Science,University of Kragujevac in 1989-1991. His research interest concerns  probabilistic logic and uncertain reasoning.  

Prof. Dr Nenad M. Mladenović

Prof. Dr Nenad M. Mladenović is a research professor and a project leader at the Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrade, and visiting member of GERAD, University of Montreal. He received his B.Sc. and M.Sc. degrees in 1976 and 1982, respectively. In 1988 he got PhD degree with a thesis New nonlinear programming methods with application in location, allocation and transportation problems. He is President of Yugoslav Society of Industrial and Applied Mathematics. His research interests concern: Metaheuristic Methods (Variable Neighborhood Search, Tabu Search, Genetic Search, etc.) in Combinatorial and Global Optimization, and Numerical Algorithms and Mathematical Programming Methods. Dr Mladenovic published more than 40 monographs, chapters in handbooks and scientific papers in leading international journals. He gave several invited lectures at international conferences such as Metaheuristics international conference.

Dr Zoran Ognjanovic

Dr Zoran Ognjanovic is a research assistant professor and a project leader at the Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrade, and visiting professor at Mathematical institute at Faculty of Science, University of Kragujevac. He received his B.Sc. and M.Sc. degrees in 1987 and 1993, respectively. In 1999 he got PhD degree with a thesis Some probabilistic logics and their application in computer sciences. His research interests concern: classical and nonclassical mathematical logic and its applications in computer science and artificial intelligence and uncertain reasoning.

Dr Dragan Radojevic

Dr Dragan Radojevic is a research professor and a project leader at the Mihailo Pupin Institute, Belgrade, and visiting professor at Technical faculty, University of Novi Sad. He received his B.Sc. and M.Sc. degrees in 1971 and 1978, respectively. In 1993 he got PhD degree with a thesis Subspacase modeling of linear systems. His research interest concerns: soft computing, fuzzy logic, hybrid and intelligenr systems.

Jovan Krstic

Jovan Krstic is Deputy of the District Attorney of Belgrade. He finished the Law School of The Belgrade University in 1978. Spetialized for the commercial and financial crime, computer crime and intellectual property rights protection. Being in charge of many important criminal cases had an opportunity to get necessary experience in conducting the investigations, cooperating with police, experts and scientific institutions in that fields. From 1996. was engaged in the project of  The Judicial Information System of Serbia as the representative of  the State Prosecution. Temporary engaged as the member of the Government Commission for Combat to Piracy. Also a creator of the Proposal for the Redesign of the Information System of Prosecution, and related within, cooperating with the representatives of the European Agency for Reconstruction on the project of Border Police Service and  integration of information systems in order to combat to organized crime. Wrote several articles about cyber crime, investment fraud, judicial information system etc.

Dr Miodrag Mihaljevic

Dr Miodrag Mihaljevic is a reseracher professor and a project leader at the Mathematical Institute, Serbian Academy of Sciences and Arts, Belgrade. He has held visiting positions at the University of Tokyo (1997-2001), and Sony Computer Science Laboratories (2001-2002), and currently he holds a visiting position at Sony Corporation, Tokyo, Japan. He received his B.S.E.E., M.Sc. and Ph.D. degrees in 1979, 1981 and 1990, respectively. His research area is the information processing including cryptology, coding theory and certain network security issues. Dr Mihaljevic published more than 50 papers in the leading international scientific publications (IEEE Trans. Inform. Theory, IEEE Trans. Comm., IEEE Comm. Lett., IEICE Trans. Fundamentals, IEICE Trans. Comm., Lect. Not. Comput. Sci., Jour. Cryptology, ZAMM) and conference proceeding. His research results have been cited more than 200 times in the leading international publications.

Dr Milan Markovic

Milan Marković received the B.S.E.E., M.S.E.E., and Ph.D. degrees in electrical engineering from Faculty of Electrical Engineering, University of Belgrade, Serbia, in 1989, 1992, and 2001, respectively. He is a leading researcher at the Mathematical Institute SANU, Belgrade and is currently a lecturer on Military Technical Academy for the “Secure Computer Networks” course. His research interests are in cryptographic algorithms, public key infrastructure, combined SW/HW security solutions, smart cards, robust speech analysis, coding and recognition, statistical pattern recognition, signal processing, multimedia communication, wireless communications and wearable computing. He is currently with NetSeT company, Belgrade, as a Project Manager of very sophisticated security projects, such as: PKI systems for National Bank of Serbia, PKI systems for commercial banks, as well as PKI systems for Ministries of Internal and Foreign Affaires

Dr Zoran Markovic

Dr Zoran Markovic received the B.A. (in 1971) and M.A. (in 1974) degrees from

Faculty of Mathematics of University of Belgrade, and Ph.D. (in 1979) from University of Pennsylvania, Philadelphia. He had visiting positions at University of California, Berkeley, University of California Davis, and University of Amsterdam (Institute for Logic, informatics and linguistics). Dr Markovic is a research associate professor at Mathematical institute Belgrade and the Director of the Institute. His research interest concerns  intuitionistic and the other modal logics and their application in intelligent reasoning.

Prof. Dr Dragan S. Jankovic

Dragan Jankovic is professor for Programming and Theory and methods of programming at Department for Computer Science at the Faculty of Electronics, University of Nis, Serbia. His PhD. these titled Optimisation of multiple-valued functions representation, was in domain of Computer Science. He was visiting researcher (1999 - 2002) at Siemens Research Centrum in Munich, Germany. He was referee of few conferences and workshops. He was supervisor of few B.Sc. theses. Currently he is project leader of project Medical Information system, supported by Ministry of Science of Republic Serbia. He is the author of a few textbooks, one monograph, some journal and conference papers.  His research interest is previously in domain of software system design for DIP (using UML and Object oriented programming). 

Prof. Dr Milena M. Stankovic

Milena Stankovic is professor for Programming languages and Theory of Compilers and head of Department for Computer Science at the Faculty of Electronics, University of Nis, Serbia. Her PhD. these titled Contributions to the Modular synthesis of the Logic Functions in the Spectral Domain was in domain of Computer Science. She was visiting researcher (1999 - 2002) at International Institute for Signal Processing at Tampere University of Technology, Finland. She was referee of few conferences and workshops and member of Programme committee of I Balkan Conference for Informatics, Thesaloniki (2003), and ETRAN - Yugoslavian Conference for ETRAN (2002, 2003). She was supervisor of few M.Sc. theses (7) and many B.Sc. theses. Currently she is project leader of project Virtual Web laboratories for permanent engineering education, supported by Ministry of Science of Republic Serbia. She is author of few textbooks, two monographs, few journal papers and many conference papers.  Her research interest is previously in domain of software system design for DIP (using UML, Web technologies and XML transport standards).

Prof. Dr Radomir S. Stankovic

Radomir Stankovic is professor for Logic design and Pattern recognition at Department for Computer Science at the faculty of Electronics, University of Nis, Serbia. His PhD. these titled "Differential operators on Groups, was in domain of Applied Mathematics". He was visiting professor (1999 - 2002) at International Institute for Signal Processing at Tampere University of Technology, Finland. He delivered as guest lectures at many universities: Kepler University,   Linz, Ausgtria (1998), Chuo University, Tokyo, Japan, (1992, 1997), Kyushu Institute of Technology, Iizuka (1997, 1995) etc. He is referee of few journals, including proc. IEE, IEEE Trans, Computers, CAD, VLSI Journal, MVL Journal, few conferences and workshops, member of Programme committee of  ACS'95, 96, 97, 89, 99, 2000, 2001, Szczecin, Poland, and reviewer for Mathematical Reviews. He was supervisor of one PhD. these, few M.Sc. theses and many B.Sc. theses. Currently he is project leader of project "Spectral techniques on Finite groups with application in signal processing and digital systems development", supported by Ministry of Science of Republic Serbia. He is the author of few books, monographs, chapter in monographs, many journal papers and conference paper.  His research interest is previously in domain of using Spectral methods based of Fourier analyses in signal processing.

Prof. Dr Miomir S. Stankovic

Prof. Miomir Stankovic is professor for Mathematics and Mathematical modeling at Faculty of Occupational Safety, University of Nis, Serbia. His PhD. these titled Differential operators on Groups, was in domain of Applied Mathematics. He is a member of AMS and IEEE. He was supervisor of some Ph. D. theses. Prof. Stankovic is member of Computation Intelligence and Information Technologies group. His research interest concerns Discrete transformations, Identification methods, Decision theory, Computational intelligence.

Dr  Jozef Kratica

Jozef Kratica was born in 1966 in Belgrade, Serbia, Yugoslavia. He received his B.S. degrees in mathematics (1988) and computer science (1988), M.Sc. in mathematics (1994) and Ph.D. in computer science (2000) from University of Belgrade, Faculty of Mathematics. In 2002, he joined Mathematical Institute as a researcher. His research interests include genetic algorithms (evolutionary computation), parallel and distributed computing and location problems.

DOCTORAL STUDENTS

Tanja Timotijevic

Tanja Timotijevic is a teaching assistant at the Mathematical institute at Faculty of Science, University of Kragujevac. She received her M.Sc. degree in 2003. Her research interest concerns automated deduction and artificial intelligence.

Ana Kaplarevic

Tanja Timotijevic is a teaching assistant at the Mathematical institute at Faculty of Science, University of Kragujevac. Her research interest concerns mathematical applications in computer science.

Visnja Babic

Visnja Babic is a teaching assistant at the Mathematical institute Belgrade. Her research interest concerns automated deduction and artificial intelligence.

Uros Midic

Uros Midic is a teaching assistant at the Mathematical institute Belgrade. His research interest concerns automated deduction and artificial intelligence.

Jelena Grmusa

Jelena Grmusa was born on Feb. 11th 1976. She graduated at Faculty of mathematics in Belgrade and continued further research in data mining, specialy in bioinformatics during postgraduated studies. She currently works as teaching assistant trainee at Faculty of mathematics in Belgrade.

Tatjana Davidovic

Tatjana Davidovic was born on Dec. 21st 1964. in Belgrade, Yugoslavia. She graduated at the Mathematical department of the University of Belgrade, in 1987, and obtained M.Sc. in Computer Science at the Mathematical department of the University of Belgrade, in  1992. She works as the research assistant, at the Mathematical Institute of Serbian Academy od Sciences and Arts, Belgrade. Her research interests involve Parallel Computing, Parallel Programming, Scheduling, Combinatorial Optimization, Automated Reasoning, Reliability Theory.

Dragan Urosevic

Dragan Urosevic graduated at the Mathematical department of the University of Belgrade, in 1987, and obtained M.Sc. in Computer Science at the Mathematical department of the University of Belgrade, in 1994. His research interests concern: Metaheuristic Methods in Combinatorial and Global Optimization, and Mathematical Programming Methods.

Mirjana Isakovic-Ilic

Mirjana Isakovic-Ilic graduated and obtained M.Sc.  at the Faculty of mathematics, University of Belgrade, in 1991, and in 1996, respectively. His research interests concern automated theorem proving. She currently works as a teaching assistant at Faculty of mathematics in Belgrade.

Branimir Todorovic

Branimir Todorovic received his M.Sc. in September 29, 2000 at the Faculty of Electronic Engineering. Currently hi is working on his Dissertation on on-line adaptation of recurrent neural network parameters and structure applying sequential Monte Carlo methods. His interests include sequential adaptation of neural networks parameters and structure, identification and control on nonlinear, non-stationary dynamic systems using neural networks, blind source separation and deconvolution.

Slavica Todorovic Zarkula 

Slavica Todorovic Zarkula  is postgraduate student at the Faculty of Electronic Engineering, University of Nis, Yugoslavia. Her interests concern: blind source separation and deconvolution, time series prediction, classification using nerual networks, Bayesian estimation aplaying extended Kalman fitler. She has been researcher and designer in the following projects: Mobile System for Intrusion Identification (responsibilities: analog modules, radio modules, seismic signal analysis) and Electronic kWh Meters (responsibilities: development and design of FIR filters using MATLAB and TI MSP430 Simulation Environment).

MATHEMATICAL INSTITUTE, BELGRADE

SELECTED PUBLICATION

S. Zunic, D. Bankovic, G. Djordjevic-Denic, P. Cvetkovic, Possible significance of semi quantitative cytochemical analysis of alveolar macrophages in differencial diagnosis of lung diseases, The Europian respiratory journal, Vol. 8, 1996, 399.

S.S. Zunic, S. Sekulic, G.V. Djordjevic-Denic, D. Bankovic, P.M. Cvetkovic, D. Mandaric, V.B. Obradovic, The importance of cytochemical analysis of alveolar macrophages in the evaluation of their biological properties, The International Journal of Biological Markers, Vol. 11, no 2, 1996, 82-89.

Slavica M. Djukic, D.B. Ravanic, Dragana Lonèar-Stojiljkovic, M.P. Stojiljkovic, D.M. Petrovic, D. Bankovic, V.R. Paunovic, Titration of intravenous naloxone in heroine overdose, Archives of Toxicology, Kinetics and Xsenobiotics, metabolism, Vol 2, No 2, 1994, 529-530.

R.V. Zikic, Mirjana Krajnovic-Ozretic and D. Bankovic, Esterase isoensime variation and genetic diversity of adriatic sardine (Sardine pilchardus Walb), Genetika, Vol. 26, No. 1, 63-72, 1994.

Hansen P., Jaumard B., and Mladenović N., “Minimum sum of squares clustering in a low dimensional space”, Journal of Classification, Vol 15, pp. 37-56, 1998. zbl: `980.46238  

du Merle O., Hansen P., Jaumard B. and Mladenović N., "An Interior Point Algorithm for Minimum Sum of Squares Clustering”, SIAM Journal on Scientific Computing, Vol. 21, No. 4, pp. 1485-1505, 2000.

Belacel N., P. Hansen and N. Mladenović, “Fuzzy J-Means: a new heuristic for fuzzy clustering”, Pattern Recognition vol 35, 2193-2200, , 2002.

Hansen P. and Mladenović N., “Developments in Variable Neighbourhood Search”, in Esseys and Surveys in Metaheuristics Editors C. Ribeiro and P. Hanasen, pp. 415-439, Kluwer Academic Publishers, Dordrecht 2002.

Hansen P. and Mladenović N., Industrial Applications of Variable Neighbourhood Search, in Decision and Control in Management Science. pp. 261-274, Editor G. Zaccour, Kluwer Academic Publishers, Dordrecht 2001.

Zoran Ognjanovic, Jozef Kratica, Milos Milovanovic, A genetic algorithm for satisfiability problem in a probabilistic logic: A first report, 6^th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, Toulouse.  Lecture notes in computer science (LNCS/LNAI), 2143, 805 -- 816, Springer-Verlag, 2001.

Zoran Ognjanovic, Miodrag Raskovic, Some first order probability logics, Theoretical Computer Science, 247, 191 - 212, 2000.

Zoran Ognjanovic, Miodrag Raskovic, Some probability logics with new types of probability operators, Journal of Logic and Computation, Volume 9, Issue 2, 181 - 195, 1999.

Zoran Ognjanovic, A tableau-like proof procedure for normal modal logics, Theoretical Computer Science 129, 167-186, 1994.

Dragan Radojevic, Logical measure - structure of logical formula

Technologies for Constructing Intelligent Systems 2, Editors B. Bouchon-Meunier, J.G.-Rios, L. Magdalena, R. Yager, Physica-Verlag, 417-429, 2002.

L. Michael, M. Mihaljevic, S. Haruyama and R. Kohno, "Security issues for software defined radio: Design of a secure download system", IEICE Transactions on Communications, vol. E85-B, pp. 2588-2600, Dec. 2002.

M. Mihaljevic and R. Kohno, "Cryptanalysis of fast encryption algorithm for multimedia FEA-M", IEEE Communications Letters, vol. 6,  pp. 382-384, Sept. 2002.

L. Michael, M. Mihaljevic, S. Haruyama and R. Kohno, "A framework for secure download for software defined radio", IEEE Communications Magazine, vol. 40, no. 7, pp. 88-96, July 2002.

M. Mihaljevic, M.P.C. Fossorier and H. Imai, "Fast correlation attack algorithm with the list decoding and an application", FSE2001, Lecture Notes in Computer Science, vol. 2355, pp. 196-210, 2002.

Stankovic, R.S., Moraga, C., Astola, J.T., Readings in Fourier  Analysis on Finite Non-Abelian Groups, TICSP Series # 5, ISBN 952-15-0284-3, ISSN 1456-2774, Tampere, 1999.

Falkowski, B.J., Stankovic, R.S., "Spectral interpretation and applications of decision diagrams", VLSI Design, An Int. Journal for Custom-Chip Design, Simulation and Testing, Vol. 11, No. 2, 2000, 85-105

Stankovic M. Falkowski B.J. Jankovic. D. Stankovic, R. S. "Calculation of the Paired Haar transform trough shared Binary decision diagrams" Computers and Electrical Engineering, An International Journal, Vol. 29. No. 1. januar 2003, 13-24.

Stankovic, R.S., Stankovic, M., "Calculation of Gibbs Derivatives on finite Abelian groups through decision Diagrams", Journal of Approximation Theory and Its Applications, Vol. 14, No. 4, 1998, 12-25.

M.Marković, Z.Savić, Ž.Obrenović, A.Nikolić, “A PC cryptographic coprocessor based on TI signal processor and smart card system,” Proc. of CMS2001 (Communication and Multimedia Security), May 21-22, Darmstadt, Germany.

T.Unkašević, M.Marković, G.Đorđević, “Optimization of RSA algorithm implementation on TI TMS320C54x Signal Processors Based on a Modified Karatsuba-Offman’s algorithm,” ECMCS’2001, 11-13 September, 2001, Budapest.

M.S. Stankovic, M.V. Vidanovic, S.B. Trickovic, Some series over the product of two trigonometric functions and series involving Bessel functions, Zeitschr fur analysis und  ihre Anwend.  20 No 1 (2001) 235-246.

M.S. Stankovic, S.B. Trickovic, M.V. Vidanovic, Series over the product of Bessel and trigonometric functions, Int. Tran. Spec. Func. 11 (2001) 281-290.

Antic, D., Stankovic, P., Stankovic, M., "One Approach to the Control Systems Design in Time Domain using Orthogonal Polynomials", SAUM'98, Proc. of the VI International SAUM Conference on Systems Automatic Control and Measurements, 28-30. september 1998, Ni{, (pp. 169-171).

Antic, D., Stankovic P., Stankovic M., "The Choice of the Signal Error Dynamics for System with Polynomial Controller", Computational Intelligence for Modelling, Control & Automation: Neural Networks & Advanced Control Strategies, Series: Concurrent Systems Engineering, edited by Masoud Mohammadian, IOS Press, Amsterdam & OHMSHA Tokyo, Vol 54, 1999, (pp. 380-383).