Edit Profile (opens in new tab) Grüner, Andreas Compute Distance To: Compute Author ID: gruner.andreas Published as: Grüner, Andreas Documents Indexed: 5 Publications since 2005 Co-Authors: 5 Co-Authors with 5 Joint Publications 156 Co-Co-Authors 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 all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 10 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 6 2009 Abstract interface behavior of object-oriented languages with monitors. Zbl 1162.68475Ábrahám, Erika; Grüner, Andreas; Steffen, Martin 3 2008 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 6 2009 Abstract interface behavior of object-oriented languages with monitors. Zbl 1162.68475Ábrahám, Erika; Grüner, Andreas; Steffen, Martin 3 2008 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 cited Publications top 5 cited Publications 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