Pregled po CROSBI profilu: Dean Rosenzweig (CROSBI Profil: 7291, MBZ: 41536)
Pronađeno 30 radova
-
1.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 (međunarodna recenzija, članak, znanstveni)
-
2.Jukić, Vlado; Ćelić, IvanOdnos bolesnik-liječnik-svećenik iz perspektive liječnika // Služba Božja, 53 (2013), 3/4; 395-399 (podatak o recenziji nije dostupan, članak, znanstveni)
-
3.Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, BenjaminInteractive 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 (međunarodna recenzija, članak, znanstveni)
-
4.Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, BenjaminInteractive Small-Step Algorithms I: Axiomatization // Logical Methods in Computer Science, 3 (2007), 4; 1-29 (međunarodna recenzija, članak, znanstveni)
-
5.Manger, Robert; Nogo, Goranka; Vuković, Mladen; Rosenzweig, Dean; Dalbelo-Bašić, BojanaA New MSc Curriculum in Computer Science and Mathematics at the University of Zagreb // ITI 2006 Proceedings of the 28th International Conference on INFORMATION TECHNOLOGY INTERFACES / Lužar-Stiffler, Vesna ; Hljuz Dobrić, Vesna (ur.).
Zagreb: SRCE, University of Zagreb, 2006. str. 283-288 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
6.Rosenzweig, Dean; Runje, DavorSome Things Algortihms Cannot Do, 2005. (podatak o recenziji nije dostupan, rukopis).
-
7.Ban Kirigin, TajanaLogika višeg reda i sustav Isabelle, 2004., magistarski rad, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
-
8.Rosenzweig, Dean; Runje, DavorThe Cryptographic Abstract Machine // Abstract State Machines 2004 - Advances in Theory and Applications, Springer LNCS 3052 / Zimmermann, Wolf ; Thalheim, Bernhard (ur.).
Wittenberg, Njemačka: Springer, 2004. str. 202-217 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
9.Rosenzweig, Dean; Runje, DavorTableaux-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 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
10.Rosenzweig, Dean; Runje, Davor; Slani, NevaPrivacy, 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, Lecture Notes in Computer Science 2589, 2003. str. 372-390 (plenarno, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
11.Popović, SinišaNeodlučivost kriptografskih protokola, 2001., diplomski rad, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb, Hrvatska
-
12.Gurevich, Yuri; Rosenzweig, DeanPartially OrderedRuns: a Case Study // Abstract State Machines, Theory and Applications, LNCS 1912 / Gurevich, Yuri ; Kutter, Philipp ; Odersky, Martin ; Thiele, Lothar (ur.).
Berlin: Springer, Lecture Notes in Computer Science 1912, 2000. str. 131-150 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
13.Urbiha, IgorDinamičke algebre i korektnost paralelnih programa, 1998., doktorska disertacija, Prirodoslovno-matematički fakultet - Matematički odjel, Zagreb
-
14.Rosenzweig, DeanEvolving Algebras and Light Linear Logic // 1995 European Summer Meeting of the Association for Symbolic Logic - Logic Colloquium '95 - Haifa, Israel, August 9-17, 1995 - Abstracts / Bulletin of symbolic logic 3(1)
Cambridge: Cambridge University Press, 1997. str. 116-116 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
15.Matković, AnitaDinamičke algebre i semantika jezika OCCAM, 1996., magistarski rad, Prirodoslovno - matematički fakultet, Matematički odjel, Zagreb
-
16.Klaričić Bakula, MilicaMatematičko modeliranje paralelnih procesa dinamičkim algebrama, 1996., magistarski rad, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
-
17.Boerger, Egon; Gurevich, Yuri; Rosenzweig, DeanThe Bakery Algorithm: yet another specification and verification // Specification and Validation Methods / Boerger, Egon (ur.).
Oxford: Oxford University Press, 1995. -
18.Boerger, Egon; Rosenzweig, DeanThe WAM - Definition and Compiler Correctness // Logic Programming: Formal Methods and Practical Applications / Beierle, Chris ; Pluemer, Lutz (ur.).
Amsterdam: North-Holland, 1995. -
19.Boerger, Egon; Rosenzweig, DeanA Mathematical Definition of Full Prolog // Science of Computer Programming, 24 (1995), 3; 249-286 (međunarodna recenzija, članak, znanstveni)
-
20.Boerger, Egon, Del Castillo, Giuseppe; Glavan, Paola; Rosenzweig, DeanTowards a Mathematical Speci cation of the APE100 Architecture: The APESE Model // IFIP 13th World Computer Congress 1994 / B.Pehrson, I.Simon, (ur.).
Hamburg: North-Holland 1994, 1994. str. 396-401 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
21.Glavan, Paola; Rosenzweig, DeanEvolving Algebra Model of Programming Language Semantics // IFIP 13th World Computer Congress, volume I: Technology/Foundations / B. Pehrson, I. Simon (ur.).
Amsterdam: Elsevier, 1994. str. 416-422 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
22.Rosenzweig, DeanDistributed Computations: Evolving Algebra Approach // IFIP 13th World Computer Congress, volume I: Technology/Foundations / B. Pehrson, A. Simon (ur.).
Amsterdam: Elsevier, 1994. str. 440-441 (pozvano predavanje, međunarodna recenzija, sažetak, znanstveni) -
23.E. Boerger, G. Del Castillo, P. Glavan, D. RosenzweigTowards a Mathematical Specification of the APE100 Architecture // IFIP 13th World Computer Congress, volume I: Technology/Foundations / B. Pehrson, A. Simon (ur.).
Amsterdam: Elsevier, 1994. str. 396-401 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
24.Boerger, Egon; Rosenzweig, DeanThe Mathematics of Set Predicates in Prolog // Computational Logic and Proof Theory / G. Gottlob, A. Leitsch, D. Mundici (ur.).
Berlin: Springer, LNCS 713, 1993. str. 1-13 (pozvano predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
25.Glavan, Paola; Rosenzweig, DeanCommunicating Evolving Algebras // Computer Science Logic / E. Boerger, H. Kleine Buenning, G. Jaeger, S. Martini, M.M. Richter (ur.).
Berlin: Springer, LNCS 702, 1993. str. 182-215 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
26.Boerger, Egon; Rosenzweig, DeanWAM Algebras - A Mathematical Study of Implementation, Part 2. // Logic Programming, LNAI 592 / Voronkov, A. (ur.).
Berlin: Springer, 1992. str. 35-54 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
27.Boerger, Egon; Rosenzweig, DeanFrom Prolog Algebras Towards WAM - A Mathematical Study of Implementation // CSL'90, 4th Workshop on Computer Science Logic, LNCS 533 / Boerger, E. ; Kleine Buenning, H. ; Richter, M.M. ; Schenfeld, W. (ur.).
Berlin: Springer, 1991. str. 31-66 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
28.Boerger, Egon; Rosenzweig, DeanAn Analysis of Prolog Database Views and their Uniform Implementation, 1991. (podatak o recenziji nije dostupan, ostali članci/prilozi).
-
29.Boerger, Egon; Rosenzweig DeanA Formal Specification of Prolog by Tree Algebras // Information Technology Interfaces / V. Ceric, V. Dobric, V. Luzar, R. Paul (ur.).
Zagreb: Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 1991. str. 513-518 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
30.Novija filozofija matematike / Šikić, Zvonimir (ur.). Beograd: Nolit, 1987 (zbornik)
