Bernd J. Krämer Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSchahram Dustdar, Christian Platzer, Bernd J. Krämer: Discovery. Encyclopedia of Database Systems 2009: 853-857
2008
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer: Component meets service: what does the mongrel look like? ISSE 4(4): 385-394 (2008)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSchahram Dustdar, Bernd J. Krämer, Priya Narasimhan: Guest Editors' Introduction. Int. J. Cooperative Inf. Syst. 17(3): 257-258 (2008)
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeng 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)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSchahram Dustdar, Bernd J. Krämer: Introduction to special issue on service oriented computing (SOC). TWEB 2(2): (2008)
2007
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Wolfgang A. Halang: Contributions to Ubiquitous Computing Springer 2007
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer: Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr? GI Jahrestagung (1) 2007: 489-490
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFan Yang, Bernd J. Krämer, Peng Han: Common-interest Based Self-organising E-Learner Communities. Contributions to Ubiquitous Computing 2007: 71-94
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer: A Service Component Architecture to Federate E-Universities: A Case Study in Virtual Mobility. Contributions to Ubiquitous Computing 2007: 95-119
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXia Wang, Bernd J. Krämer, Yi Zhao, Wolfgang A. Halang: Representation and Discovery of Intelligent E-Services. E-Service Intelligence 2007: 233-252
2006
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco 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
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Georg Strohlein: Exploring the Use of Cellular Phones for Pervasive eLearning. PerCom Workshops 2006: 190-195
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeng 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
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer: 05462 Service-Oriented Computing: A Research Roadmap. Service Oriented Computing 2005
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianguo 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
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen: Probabilistic Inference for Network Management. ECUMN 2004: 498-507
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianguo 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
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFan 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
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike P. Papazoglou, Bernd J. Krämer, Jian Yang: Leveraging Web-Services and Peer-to-Peer Networks. CAiSE 2003: 485-501
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Maarten van Steen, Steve Vinoski: DOA 2003 PC Co-chairs' Message. CoopIS/DOA/ODBASE 2003: 1050
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJian Yang, Mike P. Papazoglou, Bernd J. Krämer: A Publish/Subscribe Scheme for Peer-to-Peer Database Networks. CoopIS/DOA/ODBASE 2003: 244-262
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner: Predictable Component Architectures Using Dependent Finite State Machines. RISSEF 2002: 310-324
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Völker, Bernd J. Krämer: Automated verification of function block-based industrial control systems. Sci. Comput. Program. 42(1): 101-113 (2002)
2000
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Poerwantoro, Abdulmotaleb El-Saddik, Bernd J. Krämer, Ralf Steinmetz: Multibook's test environment. ICSE 2000: 680-683
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Arno Jacobsen, Bernd J. Krämer: Modeling Interface Definition Language Extensions. TOOLS (37) 2000: 242-252
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike P. Papazoglou, Bernd J. Krämer: Modeling Object Dynamics. Advances in Object-Oriented Data Modeling 2000: 195-217
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Arno Jacobsen, Bernd J. Krämer: Design Patterns for Synchronization Adapters of Corba Objects. L'OBJET 6(1): (2000)
1999
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Lutz Michael Wegner: Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces. FTDCS 1999: 131-136
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNorbert Völker, Bernd J. Krämer: Automated Verification of Function Block Based Industrial Control Systems. Electr. Notes Theor. Comput. Sci. 25: (1999)
1998
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans-Arno Jacobsen, Bernd J. Krämer: A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. ASE 1998: 63-
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Bernd J. Krämer: Neue Medien im Fernstudium. Informatik und Ausbildung 1998: 286-288
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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)
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer: A Case Study in Developing Complex Safety Critical Systems. HICSS (5) 1997: 135-143
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetre 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
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHesham 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)
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer: Editorial. Real-Time Systems 13(3): 217-218 (1997)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Norbert Völker: A Highly Dependable Computing Architecture for Safety-Critical Control Applications. Real-Time Systems 13(3): 237-251 (1997)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike P. Papazoglou, Bernd J. Krämer: A Database Model for Object Dynamics. VLDB J. 6(2): 73-96 (1997)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike P. Papazoglou, Bernd J. Krämer: Erratum: A Database Model for Object Dynamics. VLDB J. 6(3): 257-260 (1997)
1996
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer: Using Heterogeneous Formal Methods in Distributed Software Engineering Education. AMAST 1996: 43-51
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Thomas Koch: Knowledge-Based Support for Distributed Systems Management. SEKE 1996: 480-487
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Koch, Bernd J. Krämer: Rules and agents for automated management of distributed systems. Distributed Systems Engineering 3(2): 104-114 (1996)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann: Integrated Multimedia-Based Distance Teaching of Information Technology. J. UCS 2(6): 443-455 (1996)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, S. K. Jung, Bernd J. Krämer: Enforcing management policies in distributed systems. FTDCS 1995: 474-480
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann: Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung. INFOS 1995: 118-127
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Koch, Bernd J. Krämer, Gerald Rohde: Adaptiver Scheduler für verteilte Systeme. Kommunikation in Verteilten Systemen 1995: 316-329
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Bernd J. Krämer, Norbert Völker: Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. VIS 1995: 229-
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMike P. Papazoglou, Bernd J. Krämer, Athman Bouguettaya: On the Representation of Objects with Polymorphic Shape and Behaviour. ER 1994: 223-240
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Burhan Dinler: Applying Process Technology to Hardware Design. EWSPT 1994: 240-248
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer: Rule-enhanced Petri nets for software process modeling. SEKE 1994: 493-500
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Bernd J. Krämer: Safety Assurance in Process Control. IEEE Software 11(1): 61-67 (1994)
1993
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Bernd J. Krämer: PEARL als Spezifikationssprache. PEARL 1993: 43-51
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Bernd J. Krämer: Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung. VIS 1993: 163-174
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Luqi, Valdis Berzins: Compositional Semantics of a Real-Time Prototyping Language. IEEE Trans. Software Eng. 19(5): 543-477 (1993)
1992
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaus Hoffmann, Bernd J. Krämer, Burhan Dinler: Multiparadigm Description of System Development Processes. EWSPT 1992: 123-137
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer: Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen. Inform., Forsch. Entwickl. 7(2): 62-72 (1992)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Mike P. Papazoglou: Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 2(1): 1-3 (1992)
1991
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Claus Hoffmann, L. Marinos, A. Sesterhenn: Coordinating software process activities. ISPW 1991: 88-90
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer: Introducing the GRASPIN specification language SEGRAS, . Journal of Systems and Software 15(1): 17-31 (1991)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer: A sort of parametric polymorphism for algebraic specifications. Journal of Systems and Software 15(1): 33-42 (1991)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolf 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)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Luqi: Toward formal models of software engineering processes. Journal of Systems and Software 15(1): 63-74 (1991)
1989
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Heinz W. Schmidt: Developing Integrated Environments with ASDL. IEEE Software 6(1): 98-107 (1989)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer: Specifying concurrent objects. SIGPLAN Notices 24(4): 162-164 (1989)
1988
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Heinz W. Schmidt: Object-Oriented Development of Integrated Programming Environments with ASDL. SIGSMALL/PC 1988: 11-21
1987
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer: Formal and Semi-Graphic Specification of Non-Sequential Systems. Entwurf großer Software-Systeme 1984: 134-160
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Heinz W. Schmidt: Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. GI Jahrestagung 1981: 460-471
1980
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Heinz W. Schmidt: Interaktive Softwareentwicklung durch schrittweise Formalisierung. Software Engineering 1980: 310-311
1979
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Heinz W. Schmidt: Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. GI Jahrestagung 1979: 194-205

Coauthor Index

1Yingcai Bai [61] [62] [63]
2Valdis Berzins [19]
3Gregor von Bochmann [41]
4Peter Bort [56]
5Athman Bouguettaya [25]
6Lillian N. Cassel (Lillian (Boots) Cassel) [40]
7Hansheng Chen [61] [62] [63]
8Marie-Luise Christ-Neumann [12]
9Daniel E. Cooke [31]
10Francisco Curbera [67]
11Elif Demirörs [31]
12Onur Demirörs [31]
13Jianguo Ding [61] [62] [63]
14Petre Dini [41]
15Burhan Dinler [18] [24]
16Schahram Dustdar [64] [74] [76] [78]
17Hesham El-Rewini [40]
18Abdulmotaleb El-Saddik [53]
19Xinwei Fan [60]
20Alexander Fay [56]
21Peter Freeman [40]
22Ann Q. Gates [31]
23Jimmie E. Haines [40]
24Wolfgang A. Halang [20] [21] [22] [26] [27] [29] [30] [32] [45] [68] [73]
25Peng Han [60] [65] [70] [75]
26Claus Hoffmann [15] [18]
27Wolf D. Itzfeldt [12]
28Hans-Arno Jacobsen [46] [50] [52]
29Innes Jelly [40]
30S. K. Jung [30]
31Thomas Koch [28] [33] [34] [41] [44]
32Gerd Kortemeyer [75]
33Hans-Friedrich Kötter [43] [48]
34Frank Leymann [64]
35Zhiyun Li [65]
36Reiner Lichtenecker [43]
37Doris K. Lidtke [40]
38Kwei-Jay Lin [72]
39 Luqi [11] [19]
40L. Marinos [15]
41Michael C. Mulder [40]
42Priya Narasimhan [72] [76]
43Mike P. Papazoglou [16] [25] [36] [37] [51] [57] [59] [64] [67]
44Ian D. Peake [56]
45Christian Platzer [78]
46Iman Poernomo [55]
47Nathalie Poerwantoro [53]
48Christine von Prümmer [75]
49Ralf Reussner (Ralf H. Reussner) [55]
50Gerald Rohde [28]
51Stefano Russo [40]
52Heinz W. Schmidt [1] [2] [3] [4] [8] [10] [55] [56]
53Jürgen Schormann [29] [32]
54A. Sesterhenn [15]
55Ruimin Shen [60]
56Maarten van Steen [58]
57Ralf Steinmetz [53]
58Gordon E. Stokes [40]
59Georg Strohlein [66]
60Murat M. Tanik [31]
61Ian E. Thomas [56]
62Paolo Traverso [64]
63Leszek Trybus [26]
64A. Joe Turner [40]
65Steve Vinoski [58]
66Norbert Völker [27] [38] [43] [47] [48] [54]
67Xia Wang [68]
68Zhimei Wang [65]
69Lutz Michael Wegner [49]
70Jue Xie [56]
71Shihao Xu [61]
72Fan Yang [60] [65] [70]
73Jian Yang [57] [59]
74Jun Zhang [61]
75Yi Zhao [68]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)