Showing results 4126 to 4145 of 4623
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
Ognjanović, Zoran ; Perović, Aleksandar; Ilić Stepić, Angelina | Tableau For the Logic ILP | 2022 | Publications de l'Institut Mathématique; 112(126); 1-11 | M24 |
Ognjanović, Zoran | A tableau-like proof procedure for normal modal logics | 20-Jun-1994 | Theoretical Computer Science; 129(1); 167-186 | M23 |
Kapetanović, Miodrag | A Tableaux System in Modal Logic | 1981 | Publications de l'Institut Mathématique; 30(44); 65-67 | M24 |
Kapetanović, Miodrag ; Isaković-Ilić, M. | A tableu based prover for BCK logic | 2001 | Proceedings of the XIV Conference on Applied Mathematics 2001; 26-30 | M33 |
Kapetanović, Miodrag | Tabloi za substrukturne logike | 2003 | Skup posvećenom A. Kronu, Beograd 2003 | M64 |
Stošić, Marko ; Wedrich, Paul | Tangle addition and the knots-quivers correspondence | 18-Jan-2021 | Journal of the London Mathematical Society | ~M21 |
Korać, Vanja ; Prlja, Dragan | Targeting Cyber Threats by Recognizing Active and Passive Malicious Attack Techniques and Protecting Information | 2018 | Arheologija i prirodne nauke; 14; 103-114 | M52 |
Škundrić, Predrag; Korać, Vanja ; Davidovac, Zoran | Technological Aspect Of The Global Architecture Of The Security Operation Centre Of An Organisation | 2021 | Arheologija i prirodne nauke; 17; 167-176 | M51 |
Mihaljević, Miodrag J. | Tehnički izveštaj o evaluaciji kriptografske sigurnosti DocuCrypt rešenja | 2007 | | M80 |
Mihaljević, Miodrag J. | Tehnički izveštaj o evaluaciji kriptografske sigurnosti i redizajniranom CashTeleport rešenju | 2007 | | M80 |
Mihaljević, Miodrag J. ; Marković, Zoran ; Davidović, Tatjana | Tehnički izveštaj o evaluaciji kriptografske sigurnosti određenih kriptografskih tehnika od perspektivnog interesa za GSM mrežu Mobilne telefonije, Telekoma Srbije | 2008 | | M80 |
Mihaljević, Miodrag J. ; Marković, Zoran ; Ognjanović, Zoran | Tehnički izveštaj o evaluaciji kriptografske sigurnosti tehnika za zaštitu govornog servisa Mobilne telefonije, Telekoma Srbije | 2007 | | M80 |
Mihaljević, Miodrag J. ; Marković, Zoran ; Ognjanović, Zoran | Tehnički izveštaj o evaluaciji kriptografske sigurnosti tehnika za zaštitu negovornih servisa Mobilne telefonije, Telekoma Srbije | 2007 | | M80 |
Ognjanović, Zoran | Tehnologija ekspertnih sistema | 1994 | IV Naučni skup o sistemu naučnih i tehnoloških informacija "Stanje i tendencije razvoja sistema naučnih, tehnoloških i poslovnih informacija u Saveznoj republici Jugoslaviji", Vrnjačka Banja, 7. i 8. april 1994; 53-56 | M63 |
Klén, Riku; Todorčević, Vesna ; Vuorinen, Mattiv | Teichmüller's problem in space | 15-Nov-2017 | Journal of Mathematical Analysis and Applications; 455(2); 1297-1316 | M21 |
Karličić, Danilo ; Cajić, Milan ; Kozić, Predrag; Pavlović, Ivan | Temperature effects on the vibration and stability behavior of multi-layered graphene sheets embedded in an elastic medium | 1-Nov-2015 | Composite Structures; 131; 672-681 | M21a |
Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, Thomas | A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol | 1-Sep-2019 | Journal of Logic and Computation; 29(5); 803-830 | M21 |
Hedrih, Katica (Stevanović) | Tensor equations of discrete dynamically defined and undefined systems with hereditary and creep light elements | 1-Jan-2010 | Analele Stiintifice ale Universitatii Al I Cuza din Iasi - Matematica; 56(1); 131-149 | M23 |
Vesić, Nenad ; Simjanović, Dušan | Tensors and Cryptography | 2012 | Info TECH - 2012; Proceedings; 76-83 | M63 |
Krapež, Aleksandar | Teorija modela i teoreme očuvanja svojstava | 1976 | master thesis: Matematički fakultet, Univerzitet u Beogradu | M71 |