Matematički institut SANU

Година - распон

Година од:

Година до:

Резултати обухватају радове истраживача који су ТРЕНУТНО запослени у приказаној институцији.

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2000	The maximality of the typed lambda calculus and of cartesian closed categories	Došen, Kosta ; Petrić, Zoran	Научни чланак	Мп категорија ће бити приказана накнадно.
2000	Multigrid convergence of calculated features in image analysis	Klette, Reinhard; Žunić, Joviša	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2000	On two approaches to modal theorem proving	Ognjanović, Zoran ; Timotijević, Tatjana	Научни чланак	Мп категорија ће бити приказана накнадно.
2000	A time-memory trade-off for the fast correlation attack	Mihaljević, Miodrag J. ; Fossorier, Marc P. C.; Imai, Hideki	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2000	Intersection types and topologies in lambda calculus	Ghilezan, Silvia	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2000	Applications of iterative decoding techniques to cryptography	Imai, Hideki; Mihaljević, Miodrag J. ; Isaka, M.; Fossorier, Marc P. C.	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2000	Collection of Finite Lattices Generated by a Poset	Šešelja, Branimir; Tepavčević, Andreja	Научни чланак	23M23 - Међународни часопис категорије M23
2000	Towards experimental studies of digital moment convergence	Klette, Reinhard; Žunić, Joviša	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2000	Vulnerability of certain keystream generators based on resilient functions	Camion, P.; Mihaljević, Miodrag J. ; Imai, Hideki	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2000	Some first-order probability logics	Ognjanović, Zoran ; Rašković, Miodrag	Научни чланак	22M22 - Међународни часопис категорије M22
2000	Interactions between number theory and image analysis	Klette, Reinhard; Žunić, Joviša	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2000	A hybrid ga for the edge-biconnectivity augmentation problem	Ljubić, Ivana; Raidl, Giinther R.; Kratica, Jozef	Научни чланак	21M21 - Водећи међународни часопис категорије M21
2000	Genetic algorithm for designing a spread-spectrum radar polyphase code	Kratica, Jozef ; Tošić, Dušan ; Filipović, Vladimir ; Ljubić, Ivana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2000	Lambda terms for natural deduction, sequent calculus and cut elimination	Barendregt, Henk; Ghilezan, Silvia	Научни чланак	Мп категорија ће бити приказана накнадно.
2000	Efficiency of characterizing ellipses and ellipsoids by discrete moments	Žunić, Joviša ; Sladoje, Nataša	Научни чланак	21a+M21a+ - Водећи међународни часопис категорије M21a+
2000	Multigrid error bounds for moments of arbitrary order	Klette, R.; Žunić, Joviša	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2000	Fine grained tournament selection for the simple plant location problem	Filipović, Vladimir ; Kratica, Jozef ; Tošić, Dušan; Ljubić, Ivana	Конференцијски рад	Мп категорија ће бити приказана накнадно.
2000	Solving the geophysical inversion problem using genetic algorithms	Šešum, Vesna; Kratica, Jozef ; Tošić, Dušan	Научни чланак	Мп категорија ће бити приказана накнадно.
2000	Chain-condition methods in topology	Todorčević, Stevo	Научни чланак	22M22 - Међународни часопис категорије M22
1999	A message authentication approach for for information systems	Mihaljević, Miodrag J. ; Imai, Hideki	Научни чланак	Мп категорија ће бити приказана накнадно.

Matematički institut SANU

Тип

Година

Мп-кат.

Година - распон