Browsing by Department Mathematical Institute of the Serbian Academy of Sciences and Arts


Or, select a letter below to start browsing
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 2086 to 2105 of 2740 < previous   next >
Author(s)TitleIssue DateAppears inRank
Stokić, Dragan; Vukobratović, Miomir; Leković, Đorđe; Jocković, Miroslav; Hristić, Dragan; Timčenko, Olga; Đurić, Nebojša; Rodić, Aleksandar; Ognjanović, Zoran Program package for simulation and development of flexible manufacturing cells1988The fourth Yugoslav-Soviet symposium on applied robotics and flexible; 137-145M33
Ognjanović, Zoran ; Arsić, Aleksandra ; Todorović, Milan ; Vujošević, Sandra; Novaković, Maja ; Marinković, Bojan ; Knežević, Milica ; Daković, NevenaProgramski sistem za digitalizovano izdanje časopisa “Filmske sveske” (1968-1986)2017M82
Jelisavčić, Vladisav ; Marinković, Bojan ; Milutinović, Veljko; Mihajlović, Aleksandar; Ognjanović, Zoran ; Tomović, Siniša ; Todorović, Milan Progress and Innovative Ideas for the Serbia-Forum Cultural Heritage Digitization Project2013XII Konferencija Nove tehnologije i standardi: Digitalizacija nacionalne baštine, NCD 2013, Srbija; 15-15M60
Ognjanović, Zoran ; Butigan-Vučaj, Tamara; Marković, MirkoProgress report in Serbia and Montenegro2004Coordinating digitisation in Europe; 226-230
Vujošević, Sandra; Knežević, Milica ; Ognjanović, Zoran ; Šegan-Radonjić, Marija PROJECT 'DIGITARIJUM':   CREATION OF TEACHING MATERIAL FOR DIGITAL HERITAGE20154th Annual Conference on Humanities and Their Methods in the Digital Ecosystem (AIUCD 2015)M30
Kapetanović, Miodrag ; Krapež, Aleksandar A Proof Procedure for the First Order Logic1989Publications de l'Institut Mathématique; 45(59); 3-5M24
Došen, Kosta ; Petrić, Zoran Proof-Net Categories2007M11
Todorović, Milan ; Matijević, Luka ; Ramljak, Dušan; Davidović, Tatjana ; Urošević, Dragan ; Jakšić Kruger, Tatjana ; Jovanović, Đorđe Proof-of-Useful-Work: BlockChain Mining by Solving Real-Life Optimization Problems2022Symmetry; 14(9); 1831~M22
Došen, Kosta ; Petrić, Zoran Proof-Theoretical Coherence20041M11
Baralić, Đorđe ; Curien, Pierre Louis; Milićević, Marina; Obradović, Jovana ; Petrić, Zoran ; Zekić, Mladen ; Živaljević, Rade Proofs and surfaces1-Oct-2020Annals of Pure and Applied Logic; 171(9); 102845M21
Al-Yakoob, Salem; Filipovski, Slobodan; Stevanović, Dragan Proofs of a few special cases of a conjecture on energy of non-singular graphsi1-Jan-2021Match; 86(3); 577-586~M22
Janković, Slobodanka ; Ostrogorski, Tatjana The property of good decomposition in Hardy field1-Jan-2004Indian Journal of Pure and Applied Mathematics; 35(10); 1179-1183M23
Ognjanović, Zoran ; Butigan-Vučaj, TamaraA proposal for the national standard for describing digitized heritage1-Dec-200610th International Conference on Electronic Publishing, ELPUB 2006; Bansko; Bulgaria; 14 June 2006 through 16 June 2006; Digital Spectrum: Integrating Technology and Culture - Proceedings of the 10th International Conference on Electronic Publishing, ELPUB 2006; 387-388M33
Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag ; Doder, Dragan; Perović, AleksandarA propositional probabilistic logic with discrete linear time for reasoning about evidence24-Aug-2012Annals of Mathematics and Artificial Intelligence; 65(2-3); 217-243M23
Todorović, Milan ; Zeljić, Aleksandar; Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving formal properties of the Chord protocol using Isabelle20154th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015; 59-60M34
Glavan, Paola; Marinković, Bojan ; Ognjanović, Zoran Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview20176th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 18-20M34
Fedorov, Yuri; Jovanović, Božidar Prym varieties and generalisation of Jacobi–Mumford systems2018VII International Conference Geometry, Dynamics, Integrable Systems – GDIS 2018, 5. - 9. Jun, 2018; 31-31M30
Dragović, Vladimir ; Radnović, MilenaPseudo-integrable billiards and double reflection nets1-Jan-2015Russian Mathematical Surveys; 70(1); 1-31M21a
Petkovski, Ivana Public and private investments in innovation activities in Serbia20213rd Virtual International Conference Path to a Knowledge Society-Managing Risks and Innovation PaKSoM 2021, November 15-16, 2021M33
Simić, Slobodan ; Stanić, ZoranQ-integral graphs with edge-degrees at most five28-Oct-2008Discrete Mathematics; 308(20); 4625-4634M23