| Timing of surgery following SARS‐CoV‐2 infection: an international prospective cohort study COVIDSurg Collaborative, GlobalSurg Collaborative, D Nepogodiev, ... Anaesthesia 76 (6), 748-758, 2021 | 409 | 2021 |
| The KeY tool: integrating object oriented design and formal verification W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ... Software & Systems Modeling 4, 32-54, 2005 | 402 | 2005 |
| Visualizing reporting data using system models T Holmes, A Roth, A Charfi, H Witteborg US Patent App. 13/605,376, 2014 | 76 | 2014 |
| Mining behavior models from enterprise web applications M Schur, A Roth, A Zeller Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 63 | 2013 |
| CloudWave: Where adaptive cloud management meets DevOps D Bruneo, T Fritz, S Keidar-Barner, P Leitner, F Longo, C Marquezan, ... 2014 IEEE Symposium on Computers and Communications (ISCC), 1-6, 2014 | 58 | 2014 |
| Applying model checking to generate model-based integration tests from choreography models S Wieczorek, V Kozyura, A Roth, M Leuschel, J Bendisposto, D Plagge, ... Testing of Software and Communication Systems: 21st IFIP WG 6.1 …, 2009 | 50 | 2009 |
| RACË Å B Beckert, M Giese, E Habermalz, R Hähnle, A Roth, P Rummer, ... Ciencias 98 (1), 17-53, 2004 | 40 | 2004 |
| Instantaneous control of interacting particle systems in the mean-field limit M Burger, R Pinnau, C Totzeck, O Tse, A Roth Journal of Computational Physics 405, 109181, 2020 | 36 | 2020 |
| SARS‐CoV‐2 infection and venous thromboembolism after surgery: an international prospective cohort study COVIDSurg Collaborative, GlobalSurg Collaborative, D Nepogodiev, ... Anaesthesia 77 (1), 28-39, 2022 | 34 | 2022 |
| Implementation of the ecosystem services approach in Swedish municipal planning P Schubert, NGA Ekelund, TH Beery, C Wamsler, KI Jönsson, A Roth, ... Journal of environmental policy & planning 20 (3), 298-312, 2018 | 34 | 2018 |
| Automatic validation of transformation rules for Java verification against a rewriting semantics W Ahrendt, A Roth, R Sasse Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005 | 34 | 2005 |
| Runtime metric meets developer: building better cloud applications using feedback J Cito, P Leitner, HC Gall, A Dadashi, A Keller, A Roth 2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015 | 30 | 2015 |
| Effects of pre‐operative isolation on postoperative pulmonary complications after elective surgery: an international prospective cohort study COVIDSurg Collaborative, GlobalSurg Collaborative, D Nepogodiev, ... Anaesthesia 76 (11), 1454-1464, 2021 | 29 | 2021 |
| II-5.1 Importance of resource management for livelihood security under Climate Change in Southern Morocco A Kuhn, C Heidecke, A Roth, H Goldbach, J Burkhardt, A Linstädter, ... Academic Press, 2010 | 27 | 2010 |
| Precise steps for choreography modeling for SOA validation and verification S Wieczorek, A Roth, A Stefanescu, A Charfi 2008 IEEE International Symposium on Service-Oriented System Engineering …, 2008 | 27 | 2008 |
| Tracking of physical fitness of primary school children in trier: a 4-year longitudinal study A Roth, SCE Schmidt, I Seidel, A Woll, K Bös BioMed research international 2018, 2018 | 26 | 2018 |
| Viewpoints for modeling choreographies in service-oriented architectures S Wieczorek, A Roth, A Stefanescu, V Kozyura, A Charfi, FM Kraft, ... 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European …, 2009 | 23 | 2009 |
| Hochintensives Intervalltraining im Sportunterricht FA Engel, M Wagner, A Roth, S Scharenberg, T Bossmann, A Woll, ... Ger J Exerc Sport Res 48 (01), 120-8, 2018 | 21 | 2018 |
| Patterns for modelling time and consistency in business information systems JW Bryans, JS Fitzgerald, A Romanovsky, A Roth 2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010 | 21 | 2010 |
| Mining workflow models from web applications M Schur, A Roth, A Zeller IEEE Transactions on Software Engineering 41 (12), 1184-1201, 2015 | 20 | 2015 |
Richard BubelDepartment of Computer Science, TU DarmstadtVerified email at cs.tu-darmstadt.de
