|
| Issue Date | Title | Author(s) | Type | Мp-cat. |
| 2001 | Completeness theorem for a first order linear-time logic | Ognjanović, Zoran  | Article | |
| 2001 | On classical logicwith probability operators: A short survay | Rašković, Miodrag; Ognjanović, Zoran  | Conference Paper | |
| 2001 | Kolekcija tehničkih rešenja sa naprednim kriptografskim mehanizmima za servise zaštite podataka | Mihaljević, Miodrag J. ; Marković, Zoran; Urošević, Dragan ; Ognjanović, Zoran  | Technical reports | |
| 2001 | A Low-Complexity and High-Performance algorithm for the fast correlation attack | Mihaljević, Miodrag J. ; Fossorier, Marc P. C.; Imai, Hideki | Article | |
| 2001 | Kvalitativna analiza linearnih i nelinearnih diferencnih dinamičkih sistema | Stević, Stevo  | Doctoral theses | |
| 2001 | Coherent bicartesian and sesquicartesian categories | Došen, Kosta ; Petrić, Zoran  | Article | |
| 2000 | Analysis of Reliability of a Two-Unit System Using Monte-Carlo Method | Janković, Slobodanka; Davidović, Tatjana  | Conference Paper | |
| 2000 | Chains and antichains in Boolean algebras | Losada, M.; Todorčević, Stevo  | Article | |
| 2000 | A generalization of Pachpatte difference inequalities | Stević, Stevo  | Article | |
| 2000 | Behavior of the positive solutions of the generalized Beddington-Holt equation | Stević, Stevo  | Article | |
| 2000 | Novel fast correlation attacks via iterative decoding of punctured simplex codes | Mihaljević, Miodrag J. ; Fossorier, Marc P. C.; Imai, Hideki | Article | |
| 2000 | A novel fast correlation attack suitable for simple hardware implementation | Mihaljević, Miodrag J. ; Fossorier, Marc P. C.; Imai, Hideki | Conference Paper | |
| 2000 | Intersection types and topologies in lambda calculus | Ghilezan, Silvia  | Conference Paper | |
| 2000 | Applications of iterative decoding techniques to cryptography | Imai, Hideki; Mihaljević, Miodrag J. ; Isaka, M.; Fossorier, Marc P. C. | Conference Paper | |
| 2000 | Collection of Finite Lattices Generated by a Poset | Šešelja, Branimir; Tepavčević, Andreja  | Article | |
| 2000 | Towards experimental studies of digital moment convergence | Klette, Reinhard; Žunić, Joviša  | Conference Paper | |
| 2000 | Vulnerability of certain keystream generators based on resilient functions | Camion, P.; Mihaljević, Miodrag J. ; Imai, Hideki | Conference Paper | |
| 2000 | On two approaches to modal theorem proving | Ognjanović, Zoran ; Timotijević, Tatjana | Article | |
| 2000 | Multigrid convergence of calculated features in image analysis | Klette, Reinhard; Žunić, Joviša  | Article | |
| 2000 | The maximality of the typed lambda calculus and of cartesian closed categories | Došen, Kosta ; Petrić, Zoran  | Article | |