Pregled po projektu: 0120048
Pronađeno 22 radova
Prikaz po CROSBI kategorijama
-
1.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. -
2.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. -
1.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)
-
2.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)
-
3.Boerger, Egon; Rosenzweig, DeanA Mathematical Definition of Full Prolog // Science of Computer Programming, 24 (1995), 3; 249-286 (međunarodna recenzija, članak, znanstveni)
-
1.Martins, Francisco; Slani, NevaComputing with Idiotypic Networks // Intelligent Information Processing and Web Mining Proceedings of the International IIS : IIPWM´05 Conference / Klopotek, Mieczyslaw A. ; Wierzchon, Slawomir T. ; Trojanowski, Krzysztof (ur.).
Berlin: Springer, 2005. str. 673-680 (poster, cjeloviti rad (in extenso), znanstveni) -
2.Rosenzweig, Dean; Runje, Davor; Schulte, WolframModel-Based Testing of Cryptographic Protocols // Trustworthy Global Computing 2005, Springer LNCS 3705 / de Nicola, Sangiorgi (ur.).
Berlin: Springer, 2005. str. 33-61 (pozvano predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
3.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) -
4.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) -
5.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) -
6.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) -
7.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) -
8.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) -
9.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) -
10.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) -
11.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) -
12.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) -
1.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) -
1.Slani, NevaModeli apstraktne kriptografije i protokoli, 2004., magistarski rad, PMF-Matematički odjel, Zagreb
-
1.Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, BenjaminGeneral Interactive Small-Step Algorithms, 2006. (podatak o recenziji nije dostupan, elaborat/studija).
-
2.Rosenzweig, Dean; Runje, DavorSome Things Algortihms Cannot Do, 2005. (podatak o recenziji nije dostupan, rukopis).
-
3.Boerger, Egon; Rosenzweig, DeanAn Analysis of Prolog Database Views and their Uniform Implementation, 1991. (podatak o recenziji nije dostupan, ostali članci/prilozi).
