Četvrtak 2. Svibanj 2024
|
|
|
|
Poglavlja u knjizi
|
|
1. Boerger, Egon; Gurevich, Yuri; Rosenzweig, Dean.
The Bakery Algorithm: yet another specification and verification // Specification and Validation Methods / Boerger, Egon (ur.).
Oxford : Oxford University Press, 1995.
Str. 459.
|
2. Boerger, Egon; Rosenzweig, Dean.
The WAM - Definition and Compiler Correctness // Logic Programming: Formal Methods and Practical Applications / Beierle, Chris ; Pluemer, Lutz (ur.).
Amsterdam : North-Holland, 1995..
Str. 404.
|
|
|
|
|
Izvorni znanstveni i pregledni radovi u CC časopisima
|
|
|
|
|
Znanstveni radovi u drugim časopisima
|
|
1. Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin.
Interactive Small-Step Algorithms I: Axiomatization. // Logical Methods in Computer Science. 3 (2007) , 4; 1-29 (članak, znanstveni).
|
2. 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; (članak, znanstveni).
|
|
|
|
|
Plenarna izlaganja
|
|
1. 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. 372-390 (plenarno predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
|
|
|
|
Objavljena pozvana predavanja na skupovima
|
|
1. Rosenzweig, Dean; Runje, Davor; Schulte, Wolfram.
Model-Based Testing of Cryptographic Protocols // Trustworthy Global Computing 2005, Springer LNCS 3705 / de Nicola, Sangiorgi (ur.).
Berlin : Springer, 2005. 33-61 (pozvano predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
2. Boerger, Egon; Rosenzweig, Dean.
The Mathematics of Set Predicates in Prolog // Computational Logic and Proof Theory / G. Gottlob, A. Leitsch, D. Mundici (ur.).
Berlin : Springer, 1993. 1-13 (pozvano predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
|
|
|
|
Znanstveni radovi u zbornicima skupova s međunar.rec.
|
|
1. 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. 202-217 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
2. 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. 149-156 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
3. E. Boerger, G. Del Castillo, P. Glavan, D. Rosenzweig.
Towards a Mathematical Specification of the APE100 Architecture // IFIP 13th World Computer Congress, volume I: Technology/Foundations / B. Pehrson, A. Simon (ur.).
Amsterdam : Elsevier, 1994. 396-401 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
4. Glavan, Paola; Rosenzweig, Dean.
Evolving Algebra Model of Programming Language Semantics // IFIP 13th World Computer Congress, volume I: Technology/Foundations / B. Pehrson, I. Simon (ur.).
Amsterdam : Elsevier, 1994. 416-422 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
5. Glavan, Paola; Rosenzweig, Dean.
Communicating Evolving Algebras // Computer Science Logic / E. Boerger, H. Kleine Buenning, G. Jaeger, S. Martini, M.M. Richter (ur.).
Berlin : Springer, 1993. 182-215 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
6. Boerger, Egon; Rosenzweig, Dean.
WAM Algebras - A Mathematical Study of Implementation, Part 2. // Logic Programming, LNAI 592 / Voronkov, A. (ur.).
Berlin : Springer, 1992. 35-54 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
7. Boerger, Egon; Rosenzweig Dean.
A 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. 513-518 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
8. Boerger, Egon; Rosenzweig, Dean.
From 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. 31-66 (predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
|
|
|
|
|
Radovi u zbornicima skupova bez recenzije
|
|
1. Martins, Francisco; Slani, Neva.
Computing 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. 673-680 (poster,objavljeni rad,znanstveni).
|
|
|
|
|
Sažeci u zbornicima skupova
|
|
1. Rosenzweig, Dean.
Distributed Computations: Evolving Algebra Approach // IFIP 13th World Computer Congress, volume I: Technology/Foundations / B. Pehrson, A. Simon (ur.).
Amsterdam : Elsevier, 1994. 440-441 (pozvano predavanje,međunarodna recenzija,sažetak,znanstveni).
|
|
|
|
|
Magistarski radovi
|
|
|
|
|
Druge vrste radova
|
|
1. Blass, Andreas; Gurevich, Yuri; Rosenzweig, Dean; Rossman, Benjamin.
General Interactive Small-Step Algorithms, 2006.
(elaborat/studija).
|
2. Rosenzweig, Dean; Runje, Davor.
Some Things Algortihms Cannot Do, 2005.
(rukopis).
|
3. Boerger, Egon; Rosenzweig, Dean.
An Analysis of Prolog Database Views and their Uniform Implementation, 1991.
(ostali članci/prilozi).
|
|
|
|
|
|
|