Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
Rosenzweig, Ivana ; Glasser, Martin ; Polšek, Dora ; Leschziner, Guy D. ; Williams, Steve C.R. ; Morrell, Mary J.
Sleep apnoea and the brain: a complex relationship // Lancet Respiratory Medicine, 3 (2015), 5; 404-414. doi: 10.1016/S2213-2600(15)00090-9
Jukić, Vlado ; Ćelić, Ivan
Odnos bolesnik-liječnik-svećenik iz perspektive liječnika // Služba Božja, 53 (2013), 3/4; 395-399
Blass, Andreas ; Gurevich, Yuri ; Rosenzweig, Dean ; Rossman, Benjamin
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem // Logical Methods in Computer Science, 3 (2007), 4; 4, 35. doi: 10.2168/LMCS-3(4:4)2007
Blass, Andreas ; Gurevich, Yuri ; Rosenzweig, Dean ; Rossman, Benjamin
Interactive Small-Step Algorithms I: Axiomatization // Logical Methods in Computer Science, 3 (2007), 4; 1-29
Manger, Robert ; Nogo, Goranka ; Vuković, Mladen ; Rosenzweig, Dean ; Dalbelo-Bašić, Bojana
A New MSc Curriculum in Computer Science and Mathematics at the University of Zagreb // ITI ... / Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna (ur.). 2006. str. 283-288
Rosenzweig, Dean ; Runje, Davor
Some Things Algortihms Cannot Do. 2005.
Ban Kirigin, Tajana
Logika višeg reda i sustav Isabelle / Rosenzweig, Dean (mentor);
Zagreb, Prirodoslovno-matematički fakultet, Zagreb, . 2004
Rosenzweig, Dean ; Runje, Davor
The Cryptographic Abstract Machine // Abstract State Machines 2004 - Advances in Theory and Applications, Springer LNCS 3052 / Zimmermann, Wolf ; Thalheim, Bernhard (ur.). Springer, 2004. str. 202-217-x
Rosenzweig, Dean ; Runje, Davor ; Slani, Neva
Privacy, Abstract Encryption and Protocols: an ASM Model - Part I // Abstract State Machines 2003. Advances in Theory and Practice / E. Börger, A. Gargantini, E. Riccobene (ur.). Berlin : Heidelberg : New York: Springer, 2003. str. 372-390-x
Rosenzweig, Dean ; Runje, Davor
Tableaux-Based Prover for Typed Hybrid Multimodal Logic (System Description) // Proceedings of the 3rd Methods for Modalities Workshop / Areces C., Blackburn P. (ur.). Nancy: LORIA Nancy, 2003. str. 149-156-x