Showing results 3467 to 3486 of 4631
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
Došen, Kosta ; Petrić, Zoran | Proof-Theoretical Coherence | 2004 | 1 | M11 |
Baralić, Đorđe ; Curien, Pierre Louis; Milićević, Marina; Obradović, Jovana ; Petrić, Zoran ; Zekić, Mladen ; Živaljević, Rade | Proofs and surfaces | 1-Oct-2020 | Annals of Pure and Applied Logic; 171(9); 102845 | M21 |
Al-Yakoob, Salem; Filipovski, Slobodan; Stevanović, Dragan | Proofs of a few special cases of a conjecture on energy of non-singular graphsi | 1-Jan-2021 | Match; 86(3); 577-586 | ~M22 |
Atanacković, Teodor; Pilipović, Stevan; Zorica, Dušan | Properties of the Caputo-Fabrizio fractional derivative and its distributional settings | 23-Feb-2018 | Fractional Calculus and Applied Analysis; 21(1); 29-44 | M21a |
Moraga, Claudio; Stanković, Radomir | Properties of the Two-Sided RMF Spectrum of Matrices | 30-Jun-2017 | Proceedings of The International Symposium on Multiple-Valued Logic; 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017; Novi Sad; Serbia; 22 May 2017 through 24 May 2017; 67-72 | |
Janković, Slobodanka ; Ostrogorski, Tatjana | The property of good decomposition in Hardy field | 1-Jan-2004 | Indian Journal of Pure and Applied Mathematics; 35(10); 1179-1183 | M23 |
Chan, David; Kent, Candace; Kocić, Vlajko; Stević, Stevo | A proposal for an application of a max-type difference equation to epilepsy | 1-Jan-2018 | Springer Proceedings in Mathematics and Statistics; 3rd International Conference on Differential and Difference Equations and Applications, ICDDEA 2017; Amadora; Portugal; 5 June 2017 through 9 June 2017; 230; 193-210 | |
Ognjanović, Zoran ; Butigan-Vučaj, Tamara | A proposal for the national standard for describing digitized heritage | 1-Dec-2006 | 10th 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-388 | M33 |
Michael, Lachlan B.; Mihaljević, Miodrag J. ; Haruyama, Shinichiro; Kohno, Ryuji | A proposal of architectural, elements for implementing secure software download service in software defined radio | 1-Dec-2002 | IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC; 1; 442-446 | |
Marinković, Bojan ; Ognjanović, Zoran ; Doder, Dragan; Perović, Aleksandar | A propositional linear time logic with time flow isomorphic to ω2 | 1-Jan-2014 | Journal of Applied Logic; 12; 208-229 | M22 |
Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag ; Doder, Dragan; Perović, Aleksandar | A propositional probabilistic logic with discrete linear time for reasoning about evidence | 24-Aug-2012 | Annals of Mathematics and Artificial Intelligence; 65(2-3); 217-243 | M23 |
Boljanović, Slobodanka | Proračunska analiza čvrstoće na zamor elemenata vazduhoplovnih konstrukcija pri cikličnim opterećenjima | 1997 | master thesis: Mašinski fakultet, Univerzitet u Beogradu | M71 |
Tomović, Siniša ; Mihaljević, Miodrag J. ; Perović, Aleksandar; Ognjanović, Zoran | A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One | 1-Jan-2016 | Mathematical Problems in Engineering; 2016; 9289050:1-9289050:9 | M23 |
Todorović, Milan ; Zeljić, Aleksandar; Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Proving formal properties of the Chord protocol using Isabelle | 2015 | 4th international conference Logic and Applications LAP 2015, Dubrovnik, Croatia, September 21 - 25, 2015, 25-26, 2015; 59-60 | M34 |
Glavan, Paola; Marinković, Bojan ; Ognjanović, Zoran | Proving Properties of Peer-to-Peer Protocols using ASMs Formalism – An Overview | 2017 | 6th international conference Logic and Applications LAP 2017, Dubrovnik, Croatia, September 18-23, 2017; 18-20 | M34 |
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran | Proving properties of the Chord protocol using the ASM formalism | 17-Jan-2019 | Theoretical Computer Science; 756; 64-93 | M23 |
Fedorov, Yuri; Jovanović, Božidar | Prym varieties and generalisation of Jacobi–Mumford systems | 2018 | VII International Conference Geometry, Dynamics, Integrable Systems – GDIS 2018, 5. - 9. Jun, 2018; 31-31 | M30 |
Dragović, Vladimir ; Radnović, Milena | Pseudo-integrable billiards and arithmetic dynamics | 1-Jan-2014 | Journal of Modern Dynamics; 8(1); 109-132 | M21 |
Dragović, Vladimir ; Radnović, Milena | Pseudo-integrable billiards and double reflection nets | 1-Jan-2015 | Russian Mathematical Surveys; 70(1); 1-31 | M21a |
Petkovski, Ivana | Public and private investments in innovation activities in Serbia | 2021 | 3rd Virtual International Conference Path to a Knowledge Society-Managing Risks and Innovation PaKSoM 2021, November 15-16, 2021 | M33 |