Andreas Roth
Andreas Roth
Verified email at
Cited by
Cited by
Timing of surgery following SARS‐CoV‐2 infection: an international prospective cohort study
G Prucher, M Assenza, B Binda, M Biondi, G Brachini, P Bruzzaniti, ...
Anaesthesia 76 (6), 748-758, 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
Visualizing reporting data using system models
T Holmes, A Roth, A Charfi, H Witteborg
US Patent App. 13/605,376, 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
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
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
Applying model checking to generate model-based integration tests from choreography models
S Wieczorek, V Kozyura, A Roth, M Leuschel, J Bendisposto, D Plagge, ...
International Workshop on Formal Approaches to Software Testing, 179-194, 2009
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
B Beckert, M Giese, E Habermalz, R Hähnle, A Roth, P Rummer, ...
Ciencias 98 (1), 17-53, 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
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
Automatic validation of transformation rules for Java verification against a rewriting semantics
W Ahrendt, A Roth, R Sasse
International Conference on Logic for Programming Artificial Intelligence …, 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
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
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
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
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
Mining workflow models from web applications
M Schur, A Roth, A Zeller
IEEE Transactions on Software Engineering 41 (12), 1184-1201, 2015
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
Hochintensives Intervalltraining im Sportunterricht
FA Engel, S Scharenberg, T Bossmann, B Sperlich, A Roth, A Woll, ...
The system can't perform the operation now. Try again later.
Articles 1–20