Leveraging web-services and peer-to-peer networks MP Papazoglou, BJ Krämer, J Yang Advanced Information Systems Engineering: 15th International Conference …, 2003 | 170 | 2003 |
Applied cyber-physical systems SC Suh, UJ Tanik, JN Carbone, A Eroglu Springer New York, 2014 | 128 | 2014 |
Policy definition language for automated management of distributed systems T Koch, C Krell, B Kramer Proceedings of IEEE International Workshop on System Management, 55-64, 1996 | 97 | 1996 |
A database model for object dynamics MP Papazoglou, BJ Kraemer The VLDB Journal 6, 73-96, 1997 | 56 | 1997 |
Automated verification of function block-based industrial control systems N Völker, BJ Krämer Science of Computer Programming 42 (1), 101-113, 2002 | 54 | 2002 |
Compositional semantics of a real-time prototyping language B Kramer, V Berzins IEEE Transactions on Software Engineering 19 (5), 453-477, 1993 | 51 | 1993 |
Design for customization: a new paradigm for product-service system development A Elgammal, M Papazoglou, B Krämer, C Constantinescu Procedia Cirp 64, 345-350, 2017 | 49 | 2017 |
Forming a federated virtual university through course broker middleware BJ Krämer Proceedings: LearnTec, 2000 | 48 | 2000 |
Collaborative on-demand Product-Service Systems customization lifecycle MP Papazoglou, A Elgammal, BJ Krämer CIRP Journal of Manufacturing Science and Technology 29, 205-219, 2020 | 44 | 2020 |
Languages for the Specification of Software D Cooke, A Gates, E Demirörs, O Demirörs, MM Tanik, B Krämer Journal of Systems and Software 32 (3), 269-308, 1996 | 41 | 1996 |
From content to practice: Sharing educational practice in edu‐sharing M Klebl, BJ Krämer, A Zobel British Journal of Educational Technology 41 (6), 936-951, 2010 | 40 | 2010 |
Predictable component architectures using dependent finite state machines HW Schmidt, BJ Krämer, I Poernomo, R Reussner Radical Innovations of Software and Systems Engineering in the Future: 9th …, 2004 | 40 | 2004 |
Achieving high integrity of process control software by graphical design and formal verification WA Halang, B Krämer Software Engineering Journal 7 (1), 53-64, 1992 | 40 | 1992 |
New ways of learning: Comparing the effectiveness of interactive online media in distance education with the E uropean textbook tradition BJ Krämer, J Neugebauer, J Magenheim, H Huppertz British Journal of Educational Technology 46 (5), 965-971, 2015 | 39 | 2015 |
Exposure and support of latent social networks among learning object repository users. P Han, G Kortemeyer, BJ Krämer, C von Prümmer J. Univers. Comput. Sci. 14 (10), 1717-1738, 2008 | 39 | 2008 |
Components and tools for on-line education BJ Krämer, HW Schmidt European Journal of Education, 195-222, 2001 | 38 | 2001 |
SEGRAS—a formal and semigraphical language combining Petri nets and abstract data types for the specification of distributed systems B Krämer Proceedings of the 9th international conference on Software Engineering, 116-125, 1987 | 37 | 1987 |
On a rule based management architecture T Koch, B Kramer, G Rohde Second International Workshop on Services in Distributed and Networked …, 1995 | 36 | 1995 |
Generating interactive learning objects from configurable samples P Han, BJ Krämer 2009 international conference on Mobile, hybrid, and on-line learning, 1-6, 2009 | 32 | 2009 |
Cooperative learning in self-organizing e-learner communities based on a multi-agents mechanism F Yang, P Han, R Shen, BJ Kraemer, X Fan AI 2003: Advances in Artificial Intelligence: 16th Australian Conference on …, 2003 | 31 | 2003 |