Edit Profile Grüner, Andreas Compute Distance To: Compute Author ID: gruner.andreas Published as: Grüner, Andreas Documents Indexed: 5 Publications since 2005 Co-Authors 0 single-authored 5 Ábrahám, Erika 5 Steffen, Martin 1 Bonsangue, Marcello Maria 1 de Boer, Frank S. 1 Grabe, Immo Serials 1 Theory of Computing Systems 1 The Journal of Logic and Algebraic Programming Fields 5 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 4 Publications have been cited 12 times in 10 Documents Cited by ▼ Year ▼ Behavioral interface description of an object-oriented language with futures and promises. Zbl 1187.68130Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin 7 2009 Abstract interface behavior of object-oriented languages with monitors. Zbl 1162.68475Ábrahám, Erika; Grüner, Andreas; Steffen, Martin 3 2008 Heap-abstraction for an object-oriented calculus with thread classes. Zbl 1145.68380Ábrahám, Erika; Grüner, Andreas; Steffen, Martin 1 2006 Observability, connectivity, and replay in a sequential calculus of classes. Zbl 1143.68359Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Grüner, Andreas; Steffen, Martin 1 2005 Behavioral interface description of an object-oriented language with futures and promises. Zbl 1187.68130Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin 7 2009 Abstract interface behavior of object-oriented languages with monitors. Zbl 1162.68475Ábrahám, Erika; Grüner, Andreas; Steffen, Martin 3 2008 Heap-abstraction for an object-oriented calculus with thread classes. Zbl 1145.68380Ábrahám, Erika; Grüner, Andreas; Steffen, Martin 1 2006 Observability, connectivity, and replay in a sequential calculus of classes. Zbl 1143.68359Ábrahám, Erika; Bonsangue, Marcello M.; de Boer, Frank S.; Grüner, Andreas; Steffen, Martin 1 2005 all top 5 Cited by 16 Authors 4 Steffen, Martin 3 Ábrahám, Erika 3 Din, Crystal Chang 3 Owe, Olaf 2 Grabe, Immo 2 Grüner, Andreas 1 de Boer, Frank S. 1 Dovland, Johan 1 Henrio, Ludovic 1 Johnsen, Einar Broch 1 Kammüller, Florian 1 Laud, Peeter 1 Lutz, Bianca 1 Mai Thuong Tran, Thi 1 Poetzsch-Heffter, Arnd 1 Schäfer, Jan all top 5 Cited in 6 Serials 3 The Journal of Logic and Algebraic Programming 1 Science of Computer Programming 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Theory of Computing Systems 1 Journal of Logical and Algebraic Methods in Programming Cited in 2 Fields 10 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year