Bernd J. Krämer
Bernd J. Krämer
Professor für Informatik em., FernUniversität in Hagen
Verified email at fernuni-hagen.de - Homepage
Title
Cited by
Cited by
Year
Leveraging web-services and peer-to-peer networks
MP Papazoglou, BJ Krämer, J Yang
International Conference on Advanced Information Systems Engineering, 485-501, 2003
1642003
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
951996
Applied cyber-physical systems
SC Suh, UJ Tanik, JN Carbone, A Eroglu
Springer New York, 2014
682014
Compositional semantics of a real-time prototyping language
B Kramer, V Berzins
IEEE Transactions on Software Engineering 19 (5), 453-477, 1993
511993
A database model for object dynamics
MP Papazoglou, BJ Kraemer
The VLDB Journal 6 (2), 73-96, 1997
501997
Automated verification of function block-based industrial control systems
N Völker, BJ Krämer
Science of Computer Programming 42 (1), 101-113, 2002
452002
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
401996
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
401992
Predictable component architectures using dependent finite state machines
HW Schmidt, BJ Krämer, I Poernomo, R Reussner
International Workshop on Radical Innovations of Software and Systems …, 2002
352002
Service-oriented computing roadmap
MP Papazoglou, P Traverso, S Dustdar, F Leymann, BJ Krämer
Dagstuhl Seminar Proc. 05462, Service-Orienrted Computing (SOC), 1-29, 2006
34*2006
On a rule based management architecture
T Koch, B Kramer, G Rohde
Second International Workshop on Services in Distributed and Networked …, 1995
341995
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
341987
Exposure and support of latent social networks among learning object repository users.
P Han, G Kortemeyer, BJ Krämer, C von Prümmer
J. UCS 14 (10), 1717-1738, 2008
332008
Forming a federated virtual university through course broker middleware
BJ Krämer
Proceedings: LearnTec, 2000
332000
Components and Tools for On‐line Education
BJ Krämer, HW Schmidt
European Journal of Education 36 (2), 195-222, 2001
322001
A highly dependable computing architecture for safety-critical control applications
BJ Krämer, N Völker
Real-Time Systems 13 (3), 237-251, 1997
321997
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
292010
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
282009
Cooperative learning in self-organizing e-learner communities based on a multi-agents mechanism
F Yang, P Han, R Shen, BJ Kraemer, X Fan
Australasian Joint Conference on Artificial Intelligence, 490-500, 2003
282003
Types and modules for net specifications
B Krämer, HW Schmidt
High-level Petri Nets, 171-188, 1991
281991
The system can't perform the operation now. Try again later.
Articles 1–20