Organisations



Results 4,021-4,040 of 4,307

The results include the works of researchers who are CURRENTLY employed at the displayed institution.

Issue DateTitleAuthor(s)TypeМp-cat.
2001Completeness theorem for a first order linear-time logicOgnjanović, Zoran  Article
Mp. category will be shown later
2001On classical logicwith probability operators: A short survayRašković, Miodrag; Ognjanović, Zoran  Conference Paper
Mp. category will be shown later
2001Kolekcija tehničkih rešenja sa naprednim kriptografskim mehanizmima za servise zaštite podatakaMihaljević, Miodrag J.  ; Marković, Zoran; Urošević, Dragan  ; Ognjanović, Zoran  Technical reports
Mp. category will be shown later
2001A Low-Complexity and High-Performance algorithm for the fast correlation attackMihaljević, Miodrag J.  ; Fossorier, Marc P. C.; Imai, HidekiArticle
21M21
2001Kvalitativna analiza linearnih i nelinearnih diferencnih dinamičkih sistemaStević, Stevo  Doctoral theses
70M70
2001Coherent bicartesian and sesquicartesian categoriesDošen, Kosta  ; Petrić, Zoran  Article
21M21
2000Analysis of Reliability of a Two-Unit System Using Monte-Carlo MethodJanković, Slobodanka; Davidović, Tatjana  Conference Paper
Mp. category will be shown later
2000Chains and antichains in Boolean algebrasLosada, M.; Todorčević, Stevo  Article
22M22
2000A generalization of Pachpatte difference inequalitiesStević, Stevo  Article
Mp. category will be shown later
2000Behavior of the positive solutions of the generalized Beddington-Holt equationStević, Stevo  Article
Mp. category will be shown later
2000Novel fast correlation attacks via iterative decoding of punctured simplex codesMihaljević, Miodrag J.  ; Fossorier, Marc P. C.; Imai, HidekiArticle
Mp. category will be shown later
2000A novel fast correlation attack suitable for simple hardware implementationMihaljević, Miodrag J.  ; Fossorier, Marc P. C.; Imai, HidekiConference Paper
Mp. category will be shown later
2000Intersection types and topologies in lambda calculusGhilezan, Silvia  Conference Paper
Mp. category will be shown later
2000Applications of iterative decoding techniques to cryptographyImai, Hideki; Mihaljević, Miodrag J.  ; Isaka, M.; Fossorier, Marc P. C.Conference Paper
Mp. category will be shown later
2000Collection of Finite Lattices Generated by a PosetŠešelja, Branimir; Tepavčević, Andreja  Article
23M23
2000Towards experimental studies of digital moment convergenceKlette, Reinhard; Žunić, Joviša  Conference Paper
Mp. category will be shown later
2000Vulnerability of certain keystream generators based on resilient functionsCamion, P.; Mihaljević, Miodrag J.  ; Imai, HidekiConference Paper
Mp. category will be shown later
2000On two approaches to modal theorem provingOgnjanović, Zoran  ; Timotijević, TatjanaArticle
Mp. category will be shown later
2000Multigrid convergence of calculated features in image analysisKlette, Reinhard; Žunić, Joviša  Article
21M21
2000The maximality of the typed lambda calculus and of cartesian closed categoriesDošen, Kosta  ; Petrić, Zoran  Article
Mp. category will be shown later