| The formal semantics of SDL-2000: status and perspectives U Glässer, R Gotzhein, A Prinz Computer Networks 42 (3), 343-358, 2003 | 95 | 2003 |
| Digital interventions on healthy lifestyle management: systematic review A Chatterjee, A Prinz, M Gerdes, S Martinez Journal of medical Internet research 23 (11), e26931, 2021 | 75 | 2021 |
| A framework for data integration of offshore wind farms TH Nguyen, A Prinz, T Friisø, R Nossum, I Tyapin Renewable energy 60, 150-161, 2013 | 64 | 2013 |
| Formal Definition of SDL-2000-Compiling and Running SDL Specifications as ASM Models. R Eschbach, U Glässer, R Gotzhein, M von Löwis, A Prinz J. Univers. Comput. Sci. 7 (11), 1024-1049, 2001 | 56 | 2001 |
| An automatic ontology-based approach to support logical representation of observable and measurable data for healthy lifestyle management: Proof-of-concept study A Chatterjee, A Prinz, M Gerdes, S Martinez Journal of Medical Internet Research 23 (4), e24656, 2021 | 46 | 2021 |
| The role of manikins in nursing students' learning: A systematic review and thematic metasynthesis JA Handeland, A Prinz, EMR Ekra, M Fossum Nurse Education Today 98, 104661, 2021 | 44 | 2021 |
| Human coaching methodologies for automatic electronic coaching (eCoaching) as behavioral interventions with information and communication technology: systematic review A Chatterjee, M Gerdes, A Prinz, S Martinez Journal of medical Internet research 23 (3), e23533, 2021 | 39 | 2021 |
| Automatic generation of modelling tools JP Nytun, A Prinz, MS Tveit Model Driven Architecture–Foundations and Applications: Second European …, 2006 | 37 | 2006 |
| On the formal semantics of SDL-2000: A compilation approach based on an abstract SDL machine R Eschbach, U Glässer, R Gotzhein, A Prinz International Workshop on Abstract State Machines, 242-265, 2000 | 35 | 2000 |
| Identifying first responders information needs: Supporting search and rescue operations for fire emergency response V Nunavath, A Prinz, T Comes International Journal of Information Systems for Crisis Response and …, 2016 | 34 | 2016 |
| Verifying Group Authentication Protocols by Scyther. H Yang, VA Oleshchuk, A Prinz J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 7 (2), 3-19, 2016 | 33 | 2016 |
| Different FDT's confronted with different ODP-viewpoints of the trader J Fischer, A Prinz, A Vogel FME'93: Industrial-Strength Formal Methods: First International Symposium of …, 1993 | 32 | 1993 |
| Applying spring security framework with KeyCloak-based OAuth2 to protect microservice architecture APIs: a case study A Chatterjee, A Prinz Sensors 22 (5), 1703, 2022 | 30 | 2022 |
| Learning groups for MOOCs lessons for online learning in higher education G Mayende, A Prinz, GMN Isabwe, PB Muyinda Interactive Collaborative Learning: Proceedings of the 19th ICL Conference …, 2017 | 28 | 2017 |
| A model-based standard for SDL A Prinz, M Scheidgen, MS Tveit SDL 2007: Design for Dependable Systems: 13th International SDL Forum Paris …, 2007 | 28 | 2007 |
| An integrated wireless communication architecture for maritime sector L Mu, R Kumar, A Prinz Multiple Access Communications: 4th International Workshop, MACOM 2011 …, 2011 | 27 | 2011 |
| HL7 FHIR with SNOMED-CT to achieve semantic and structural interoperability in personal health data: a proof-of-concept study A Chatterjee, N Pahari, A Prinz Sensors 22 (10), 3756, 2022 | 23 | 2022 |
| Supporting fine-grained generative model-driven evolution TD Meijler, JP Nytun, A Prinz, H Wortmann Software & Systems Modeling 9, 403-424, 2010 | 23 | 2010 |
| Operational semantics of transactions A Prinz, B Thalheim ADC, 169-179, 2003 | 21 | 2003 |
| Towards a new formal SDL semantics based on Abstract State Machines U Glässer, R Gotzhein, A Prinz SDL'99, 171-190, 1999 | 21 | 1999 |
Ayan Chatterjee, Ph.D.Scientist @ NILU & Adjunct Associate Prof. @ Kristiania Univ. College在 nilu.no 的电子邮件经过验证
