![]() | 2009 | |
---|---|---|
78 | ![]() ![]() ![]() ![]() ![]() ![]() | Schahram Dustdar, Christian Platzer, Bernd J. Krämer: Discovery. Encyclopedia of Database Systems 2009: 853-857 |
2008 | ||
77 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer: Component meets service: what does the mongrel look like? ISSE 4(4): 385-394 (2008) |
76 | ![]() ![]() ![]() ![]() ![]() ![]() | Schahram Dustdar, Bernd J. Krämer, Priya Narasimhan: Guest Editors' Introduction. Int. J. Cooperative Inf. Syst. 17(3): 257-258 (2008) |
75 | ![]() ![]() ![]() ![]() ![]() ![]() | Peng Han, Gerd Kortemeyer, Bernd J. Krämer, Christine von Prümmer: Exposure and Support of Latent Social Networks among Learning Object Repository Users. J. UCS 14(10): 1717-1738 (2008) |
74 | ![]() ![]() ![]() ![]() ![]() ![]() | Schahram Dustdar, Bernd J. Krämer: Introduction to special issue on service oriented computing (SOC). TWEB 2(2): (2008) |
2007 | ||
73 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Wolfgang A. Halang: Contributions to Ubiquitous Computing Springer 2007 |
72 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan: Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings Springer 2007 |
71 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer: Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr? GI Jahrestagung (1) 2007: 489-490 |
70 | ![]() ![]() ![]() ![]() ![]() ![]() | Fan Yang, Bernd J. Krämer, Peng Han: Common-interest Based Self-organising E-Learner Communities. Contributions to Ubiquitous Computing 2007: 71-94 |
69 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer: A Service Component Architecture to Federate E-Universities: A Case Study in Virtual Mobility. Contributions to Ubiquitous Computing 2007: 95-119 |
68 | ![]() ![]() ![]() ![]() ![]() ![]() | Xia Wang, Bernd J. Krämer, Yi Zhao, Wolfgang A. Halang: Representation and Discovery of Intelligent E-Services. E-Service Intelligence 2007: 233-252 |
2006 | ||
67 | ![]() ![]() ![]() ![]() ![]() ![]() | Francisco Curbera, Bernd J. Krämer, Mike P. Papazoglou: Service Oriented Computing (SOC), 15.-18. November 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
66 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Georg Strohlein: Exploring the Use of Cellular Phones for Pervasive eLearning. PerCom Workshops 2006: 190-195 |
65 | ![]() ![]() ![]() ![]() ![]() ![]() | Peng Han, Zhimei Wang, Zhiyun Li, Bernd J. Krämer, Fan Yang: Substitution or Complement: An Empirical Analysis on the Impact of Collaborative Tagging on Web Search. Web Intelligence 2006: 757-760 |
2005 | ||
64 | ![]() ![]() ![]() ![]() ![]() ![]() | Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer: 05462 Service-Oriented Computing: A Research Roadmap. Service Oriented Computing 2005 |
63 | ![]() ![]() ![]() ![]() ![]() ![]() | Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen: Backward Inference in Bayesian Networks for Distributed Systems Management. J. Network Syst. Manage. 13(4): 409-427 (2005) |
2004 | ||
62 | ![]() ![]() ![]() ![]() ![]() ![]() | Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen: Probabilistic Inference for Network Management. ECUMN 2004: 498-507 |
61 | ![]() ![]() ![]() ![]() ![]() ![]() | Jianguo Ding, Shihao Xu, Bernd J. Krämer, Yingcai Bai, Hansheng Chen, Jun Zhang: Probabilistic Inference Strategy in Distributed Intrusion Detection Systems. ISPA 2004: 835-844 |
2003 | ||
60 | ![]() ![]() ![]() ![]() ![]() ![]() | Fan Yang, Peng Han, Ruimin Shen, Bernd J. Krämer, Xinwei Fan: Cooperative Learning in Self-Organizing E-Learner Communities Based on a Multi-Agents Mechanism. Australian Conference on Artificial Intelligence 2003: 490-500 |
59 | ![]() ![]() ![]() ![]() ![]() ![]() | Mike P. Papazoglou, Bernd J. Krämer, Jian Yang: Leveraging Web-Services and Peer-to-Peer Networks. CAiSE 2003: 485-501 |
58 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Maarten van Steen, Steve Vinoski: DOA 2003 PC Co-chairs' Message. CoopIS/DOA/ODBASE 2003: 1050 |
57 | ![]() ![]() ![]() ![]() ![]() ![]() | Jian Yang, Mike P. Papazoglou, Bernd J. Krämer: A Publish/Subscribe Scheme for Peer-to-Peer Database Networks. CoopIS/DOA/ODBASE 2003: 244-262 |
56 | ![]() ![]() ![]() ![]() ![]() ![]() | Heinz W. Schmidt, Ian D. Peake, Jue Xie, Ian E. Thomas, Bernd J. Krämer, Alexander Fay, Peter Bort: Modelling Predictable Component-Based Distributed Control Architectures. WORDS Fall 2003: 339-346 |
2002 | ||
55 | ![]() ![]() ![]() ![]() ![]() ![]() | Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner: Predictable Component Architectures Using Dependent Finite State Machines. RISSEF 2002: 310-324 |
54 | ![]() ![]() ![]() ![]() ![]() ![]() | Norbert Völker, Bernd J. Krämer: Automated verification of function block-based industrial control systems. Sci. Comput. Program. 42(1): 101-113 (2002) |
2000 | ||
53 | ![]() ![]() ![]() ![]() ![]() ![]() | Nathalie Poerwantoro, Abdulmotaleb El-Saddik, Bernd J. Krämer, Ralf Steinmetz: Multibook's test environment. ICSE 2000: 680-683 |
52 | ![]() ![]() ![]() ![]() ![]() ![]() | Hans-Arno Jacobsen, Bernd J. Krämer: Modeling Interface Definition Language Extensions. TOOLS (37) 2000: 242-252 |
51 | ![]() ![]() ![]() ![]() ![]() ![]() | Mike P. Papazoglou, Bernd J. Krämer: Modeling Object Dynamics. Advances in Object-Oriented Data Modeling 2000: 195-217 |
50 | ![]() ![]() ![]() ![]() ![]() ![]() | Hans-Arno Jacobsen, Bernd J. Krämer: Design Patterns for Synchronization Adapters of Corba Objects. L'OBJET 6(1): (2000) |
1999 | ||
49 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Lutz Michael Wegner: Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces. FTDCS 1999: 131-136 |
48 | ![]() ![]() ![]() ![]() ![]() ![]() | Hans-Friedrich Kötter, Bernd J. Krämer, Norbert Völker: 3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML. SimVis 1999: 19-32 |
47 | ![]() ![]() ![]() ![]() ![]() ![]() | Norbert Völker, Bernd J. Krämer: Automated Verification of Function Block Based Industrial Control Systems. Electr. Notes Theor. Comput. Sci. 25: (1999) |
1998 | ||
46 | ![]() ![]() ![]() ![]() ![]() ![]() | Hans-Arno Jacobsen, Bernd J. Krämer: A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. ASE 1998: 63- |
45 | ![]() ![]() ![]() ![]() ![]() ![]() | Wolfgang A. Halang, Bernd J. Krämer: Neue Medien im Fernstudium. Informatik und Ausbildung 1998: 286-288 |
44 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Thomas Koch: Distributed Systems Management Software-in-the-Loop. International Journal of Software Engineering and Knowledge Engineering 8(1): 55-76 (1998) |
43 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter: Deriving CORBA Applications from Formal Specifications. Journal of Systems Integration 8(2): 143-158 (1998) |
1997 | ||
42 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer: A Case Study in Developing Complex Safety Critical Systems. HICSS (5) 1997: 135-143 |
41 | ![]() ![]() ![]() ![]() ![]() ![]() | Petre Dini, Gregor von Bochmann, Thomas Koch, Bernd J. Krämer: Agent Based Management of Distributed Systems with Variabel Polling Frequency Policies. Integrated Network Management 1997: 553-564 |
40 | ![]() ![]() ![]() ![]() ![]() ![]() | Hesham El-Rewini, Michael C. Mulder, Peter Freeman, Gordon E. Stokes, Innes Jelly, Lillian N. Cassel, Doris K. Lidtke, Stefano Russo, Bernd J. Krämer, Jimmie E. Haines, A. Joe Turner: Keeping Pace with an Information Society. IEEE Computer 30(11): 46-57 (1997) |
39 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer: Editorial. Real-Time Systems 13(3): 217-218 (1997) |
38 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Norbert Völker: A Highly Dependable Computing Architecture for Safety-Critical Control Applications. Real-Time Systems 13(3): 237-251 (1997) |
37 | ![]() ![]() ![]() ![]() ![]() ![]() | Mike P. Papazoglou, Bernd J. Krämer: A Database Model for Object Dynamics. VLDB J. 6(2): 73-96 (1997) |
36 | ![]() ![]() ![]() ![]() ![]() ![]() | Mike P. Papazoglou, Bernd J. Krämer: Erratum: A Database Model for Object Dynamics. VLDB J. 6(3): 257-260 (1997) |
1996 | ||
35 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer: Using Heterogeneous Formal Methods in Distributed Software Engineering Education. AMAST 1996: 43-51 |
34 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Thomas Koch: Knowledge-Based Support for Distributed Systems Management. SEKE 1996: 480-487 |
33 | ![]() ![]() ![]() ![]() ![]() ![]() | Thomas Koch, Bernd J. Krämer: Rules and agents for automated management of distributed systems. Distributed Systems Engineering 3(2): 104-114 (1996) |
32 | ![]() ![]() ![]() ![]() ![]() ![]() | Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann: Integrated Multimedia-Based Distance Teaching of Information Technology. J. UCS 2(6): 443-455 (1996) |
31 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniel E. Cooke, Ann Q. Gates, Elif Demirörs, Onur Demirörs, Murat M. Tanik, Bernd J. Krämer: Languages for the specification of software. Journal of Systems and Software 32(3): 269-308 (1996) |
1995 | ||
30 | ![]() ![]() ![]() ![]() ![]() ![]() | Wolfgang A. Halang, S. K. Jung, Bernd J. Krämer: Enforcing management policies in distributed systems. FTDCS 1995: 474-480 |
29 | ![]() ![]() ![]() ![]() ![]() ![]() | Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann: Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung. INFOS 1995: 118-127 |
28 | ![]() ![]() ![]() ![]() ![]() ![]() | Thomas Koch, Bernd J. Krämer, Gerald Rohde: Adaptiver Scheduler für verteilte Systeme. Kommunikation in Verteilten Systemen 1995: 316-329 |
27 | ![]() ![]() ![]() ![]() ![]() ![]() | Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker: Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. VIS 1995: 229- |
26 | ![]() ![]() ![]() ![]() ![]() ![]() | Wolfgang A. Halang, Bernd J. Krämer, Leszek Trybus: Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. Comput. J. 38(4): 301-309 (1995) |
1994 | ||
25 | ![]() ![]() ![]() ![]() ![]() ![]() | Mike P. Papazoglou, Bernd J. Krämer, Athman Bouguettaya: On the Representation of Objects with Polymorphic Shape and Behaviour. ER 1994: 223-240 |
24 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Burhan Dinler: Applying Process Technology to Hardware Design. EWSPT 1994: 240-248 |
23 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer: Rule-enhanced Petri nets for software process modeling. SEKE 1994: 493-500 |
22 | ![]() ![]() ![]() ![]() ![]() ![]() | Wolfgang A. Halang, Bernd J. Krämer: Safety Assurance in Process Control. IEEE Software 11(1): 61-67 (1994) |
1993 | ||
21 | ![]() ![]() ![]() ![]() ![]() ![]() | Wolfgang A. Halang, Bernd J. Krämer: PEARL als Spezifikationssprache. PEARL 1993: 43-51 |
20 | ![]() ![]() ![]() ![]() ![]() ![]() | Wolfgang A. Halang, Bernd J. Krämer: Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung. VIS 1993: 163-174 |
19 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Luqi, Valdis Berzins: Compositional Semantics of a Real-Time Prototyping Language. IEEE Trans. Software Eng. 19(5): 543-477 (1993) |
1992 | ||
18 | ![]() ![]() ![]() ![]() ![]() ![]() | Claus Hoffmann, Bernd J. Krämer, Burhan Dinler: Multiparadigm Description of System Development Processes. EWSPT 1992: 123-137 |
17 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer: Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen. Inform., Forsch. Entwickl. 7(2): 62-72 (1992) |
16 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Mike P. Papazoglou: Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 2(1): 1-3 (1992) |
1991 | ||
15 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Claus Hoffmann, L. Marinos, A. Sesterhenn: Coordinating software process activities. ISPW 1991: 88-90 |
14 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer: Introducing the GRASPIN specification language SEGRAS, . Journal of Systems and Software 15(1): 17-31 (1991) |
13 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer: A sort of parametric polymorphism for algebraic specifications. Journal of Systems and Software 15(1): 33-42 (1991) |
12 | ![]() ![]() ![]() ![]() ![]() ![]() | Wolf D. Itzfeldt, Bernd J. Krämer, Marie-Luise Christ-Neumann: The project GRASPIN and its CASE environment prototypes: An overview. Journal of Systems and Software 15(1): 5-16 (1991) |
11 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Luqi: Toward formal models of software engineering processes. Journal of Systems and Software 15(1): 63-74 (1991) |
1989 | ||
10 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Heinz W. Schmidt: Developing Integrated Environments with ASDL. IEEE Software 6(1): 98-107 (1989) |
9 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer: Specifying concurrent objects. SIGPLAN Notices 24(4): 162-164 (1989) |
1988 | ||
8 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Heinz W. Schmidt: Object-Oriented Development of Integrated Programming Environments with ASDL. SIGSMALL/PC 1988: 11-21 |
1987 | ||
7 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer: SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems. ICSE 1987: 116-125 |
1984 | ||
6 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer: Formal and Semi-Graphic Specification of Non-Sequential Systems. Entwurf großer Software-Systeme 1984: 134-160 |
5 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer: Stepwise construction of non-sequential software systems using a net-based specification language. European Workshop on Applications and Theory in Petri Nets 1984: 307-330 |
1982 | ||
4 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Heinz W. Schmidt: A High Level Net Language for Stepwise Modeling of Organizational Systems. International Working Conference on Model Realism 1982: 156-170 |
1981 | ||
3 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Heinz W. Schmidt: Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. GI Jahrestagung 1981: 460-471 |
1980 | ||
2 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Heinz W. Schmidt: Interaktive Softwareentwicklung durch schrittweise Formalisierung. Software Engineering 1980: 310-311 |
1979 | ||
1 | ![]() ![]() ![]() ![]() ![]() ![]() | Bernd J. Krämer, Heinz W. Schmidt: Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. GI Jahrestagung 1979: 194-205 |