Edit Profile (opens in new tab) Radke, Hendrik Co-Author Distance Author ID: radke.hendrik Published as: Radke, Hendrik Documents Indexed: 2 Publications since 2014 Co-Authors: 4 Co-Authors with 2 Joint Publications 82 Co-Co-Authors Co-Authors 0 single-authored 2 Arendt, Thorsten 2 Habel, Annegret 2 Taentzer, Gabriele 1 Becker, Jan Steffen Serials Fields 2 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2 Publications have been cited 7 times in 6 Documents Cited by ▼ Year ▼ Translating essential OCL invariants to nested graph constraints focusing on set operations. Zbl 1321.68203 Radke, Hendrik; Arendt, Thorsten; Becker, Jan Steffen; Habel, Annegret; Taentzer, Gabriele 4 2015 From Core OCL invariants to nested graph constraints. Zbl 1423.68092 Arendt, Thorsten; Habel, Annegret; Radke, Hendrik; Taentzer, Gabriele 3 2014 Translating essential OCL invariants to nested graph constraints focusing on set operations. Zbl 1321.68203 Radke, Hendrik; Arendt, Thorsten; Becker, Jan Steffen; Habel, Annegret; Taentzer, Gabriele 4 2015 From Core OCL invariants to nested graph constraints. Zbl 1423.68092 Arendt, Thorsten; Habel, Annegret; Radke, Hendrik; Taentzer, Gabriele 3 2014 all cited Publications top 5 cited Publications all top 5 Cited by 16 Authors 2 Arendt, Thorsten 2 Habel, Annegret 2 Lambers, Leen 2 Schneider, Sven 2 Taentzer, Gabriele 1 Almendros-Jiménez, Jesús Manuel 1 Becker, Jan Steffen 1 Chechik, Marsha 1 Iribarne, Luis 1 López-Fernández, Jesús 1 Mora-Segura, Ángel 1 Plöger, Jennifer 1 Radke, Hendrik 1 Rubin, Julia 1 Sandmann, Christian 1 Strüber, Daniel Cited in 2 Serials 2 Journal of Logical and Algebraic Methods in Programming 1 Formal Aspects of Computing Cited in 2 Fields 6 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year