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
Slika profila

Dean Rosenzweig

22119

Dean

Rosenzweig

dr. sc.

nije evidentirano
Naziv Akcije
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
nije evidentirano
nije evidentirano