Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. - Bernd J. Krämer; Heinz W. Schmidt (GI Jahrestagung, 1979)

Interaktive Softwareentwicklung durch schrittweise Formalisierung. - Bernd J. Krämer; Heinz W. Schmidt (Software Engineering, 1980)

Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. - Bernd J. Krämer; Heinz W. Schmidt (GI Jahrestagung, 1981)

A High Level Net Language for Stepwise Modeling of Organizational Systems. - Bernd J. Krämer; Heinz W. Schmidt (International Working Conference on Model Realism, 1982)

Stepwise construction of non-sequential software systems using a net-based specification language. - Bernd J. Krämer (European Workshop on Applications and Theory in Petri Nets, 1984)

Formal and Semi-Graphic Specification of Non-Sequential Systems. - Bernd J. Krämer (Entwurf großer Software-Systeme, 1984)

SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems. - Bernd J. Krämer (ICSE, 1987)

Object-Oriented Development of Integrated Programming Environments with ASDL. - Bernd J. Krämer; Heinz W. Schmidt (SIGSMALL/PC, 1988)

Specifying concurrent objects. - Bernd J. Krämer (OOPSLA/ECOOP Workshop on Object-based Concurrent Programming, 1988)

Methodologies for meeting hard deadlines in industrial distributed real-time systems. - Wolfgang A. Halang; Bernd J. Krämer (COMPSAC, 1989)

Developing Integrated Environments with ASDL. - Bernd J. Krämer; Heinz W. Schmidt (IEEE Softw., 1989)

Concepts, syntax and semantics of SEGRAS: a specification language for distributed systems. - Bernd J. Krämer (Oldenbourg, 1989)

Coordinating software process activities. - Bernd J. Krämer; Claus Hoffmann; Louis Marinos; A. Sesterhenn (ISPW, 1991)

Prototyping and formal analysis of concurrent and distributed systems. - Bernd J. Krämer (IWSSD, 1991)

The project GRASPIN and its CASE environment prototypes: An overview. - Wolf D. Itzfeldt; Bernd J. Krämer; Marie-Luise Christ-Neumann (J. Syst. Softw., 1991)

Introducing the GRASPIN specification language SEGRAS, . - Bernd J. Krämer (J. Syst. Softw., 1991)

A sort of parametric polymorphism for algebraic specifications. - Bernd J. Krämer (J. Syst. Softw., 1991)

Toward formal models of software engineering processes. - Bernd J. Krämer; Luqi (J. Syst. Softw., 1991)

Multiparadigm Description of System Development Processes. - Claus Hoffmann; Bernd J. Krämer; Burhan Dinler (EWSPT, 1992)

Achieving high integrity of process control software by graphical design and formal verification. - Wolfgang A. Halang; Bernd J. Krämer (Softw. Eng. J., 1992)

Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen. - Bernd J. Krämer (Inform. Forsch. Entwickl., 1992)

Guest Editors' Introduction. - Bernd J. Krämer; Mike P. Papazoglou (Int. J. Softw. Eng. Knowl. Eng., 1992)

PEARL als Spezifikationssprache. - Wolfgang A. Halang; Bernd J. Krämer (PEARL, 1993)

Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung. - Wolfgang A. Halang; Bernd J. Krämer (VIS, 1993)

The time dimension considered appropriate for resource access synchronization. - Wolfgang A. Halang; Bernd J. Krämer (Inf. Softw. Technol., 1993)

Compositional Semantics of a Real-Time Prototyping Language. - Bernd J. Krämer; Luqi; Valdis Berzins (IEEE Trans. Software Eng., 1993)

On the Representation of Objects with Polymorphic Shape and Behaviour. - Mike P. Papazoglou; Bernd J. Krämer; Athman Bouguettaya (ER, 1994)

Applying Process Technology to Hardware Design. - Bernd J. Krämer; Burhan Dinler (EWSPT, 1994)

Rule-enhanced Petri nets for software process modeling. - Bernd J. Krämer (SEKE, 1994)

Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme. - Bernd J. Krämer; Norbert Völker; Thomas Koch 001; Klaus Gotthardt (Prax. Inf.verarb. Kommun., 1994)

Safety Assurance in Process Control. - Wolfgang A. Halang; Bernd J. Krämer (IEEE Softw., 1994)

Enforcing management policies in distributed systems. - Wolfgang A. Halang; Soon-Key Jung; Bernd J. Krämer (FTDCS, 1995)

Adaptiver Scheduler für verteilte Systeme. - Thomas Koch 001; Bernd J. Krämer; Gerald Rohde (Kommunikation in Verteilten Systemen, 1995)

Formally Verified Firmware Modules for Industrial Process Automation. - Wolfgang A. Halang; Bernd J. Krämer; Norbert Völker (SAFECOMP, 1995)

Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung. - Wolfgang A. Halang; Bernd J. Krämer; Jürgen Schormann (INFOS, 1995)

Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. - Wolfgang A. Halang; Bernd J. Krämer; Norbert Völker (VIS, 1995)

Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. - Wolfgang A. Halang; Bernd J. Krämer; Leszek Trybus (Comput. J., 1995)

Using Heterogeneous Formal Methods in Distributed Software Engineering Education. - Bernd J. Krämer (AMAST, 1996)

Knowledge-Based Support for Distributed Systems Management. - Bernd J. Krämer; Thomas Koch 001 (SEKE, 1996)

Rules and agents for automated management of distributed systems. - Thomas Koch 001; Bernd J. Krämer (Distributed Syst. Eng., 1996)

Languages for the specification of software. - Daniel E. Cooke; Ann Q. Gates; Elif Demirörs; Onur Demirörs; Murat M. Tanik; Bernd J. Krämer (J. Syst. Softw., 1996)

Integrated Multimedia-Based Distance Teaching of Information Technology. - Wolfgang A. Halang; Bernd J. Krämer; Jürgen Schormann (J. Univers. Comput. Sci., 1996)

A Case Study in Developing Complex Safety Critical Systems. - Bernd J. Krämer (HICSS (5), 1997)

Agent Based Management of Distributed Systems with Variabel Polling Frequency Policies. - Petre Dini; Gregor von Bochmann; Thomas Koch 001; Bernd J. Krämer (Integrated Network Management, 1997)

Keeping Pace with an Information Society. - Hesham El-Rewini; Michael C. Mulder; Peter A. Freeman; Gordon E. Stokes; Innes Jelly; Lillian N. Cassel; Doris K. Lidtke; Stefano Russo 001; Bernd J. Krämer; Jimmie E. Haines; A. Joe Turner (Computer, 1997)

Editorial. - Bernd J. Krämer (Real Time Syst., 1997)

A Highly Dependable Computing Architecture for Safety-Critical Control Applications. - Bernd J. Krämer; Norbert Völker (Real Time Syst., 1997)

A Database Model for Object Dynamics. - Mike P. Papazoglou; Bernd J. Krämer (VLDB J., 1997)

Erratum: A Database Model for Object Dynamics. - Mike P. Papazoglou; Bernd J. Krämer (VLDB J., 1997)

A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. - Hans-Arno Jacobsen; Bernd J. Krämer (ASE, 1998)

Neue Medien im Fernstudium. - Wolfgang A. Halang; Bernd J. Krämer (Informatik und Ausbildung, 1998)

Distributed Systems Management Software-in-the-Loop. - Bernd J. Krämer; Thomas Koch 001 (Int. J. Softw. Eng. Knowl. Eng., 1998)

Deriving CORBA Applications from Formal Specifications. - Bernd J. Krämer; Norbert Völker; Reiner Lichtenecker; Hans-Friedrich Kötter (J. Syst. Integr., 1998)

Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces. - Bernd J. Krämer; Lutz M. Wegner (FTDCS, 1999)

3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML. - Hans-Friedrich Kötter; Bernd J. Krämer; Norbert Völker (SimVis, 1999)

Modeling Object Dynamics. - Mike P. Papazoglou; Bernd J. Krämer (Advances in Object-Oriented Data Modeling, 2000)

Interaktive Lernsysteme im Fernstudium: Betrachtung eines Programmierkurses im Zeitraffer. - Bernd J. Krämer (GI Jahrestagung, 2000)

Multibook's test environment. - Nathalie Poerwantoro; Abdulmotaleb El-Saddik; Bernd J. Krämer; Ralf Steinmetz (ICSE, 2000)

Modeling Interface Definition Language Extensions. - Hans-Arno Jacobsen; Bernd J. Krämer (TOOLS (37), 2000)

Design Patterns for Synchronization Adapters of Corba Objects. - Hans-Arno Jacobsen; Bernd J. Krämer (Obj. Logiciel Base données Réseaux, 2000)

Software Engineering (Editorial). - Bernd J. Krämer (Trans. SDPS, 2001)

Predictable Component Architectures Using Dependent Finite State Machines. - Heinz W. Schmidt; Bernd J. Krämer; Iman Poernomo; Ralf H. Reussner (RISSEF, 2002)

Automated verification of function block-based industrial control systems. - Norbert Völker; Bernd J. Krämer (Sci. Comput. Program., 2002)

Cooperative Learning in Self-Organizing E-Learner Communities Based on a Multi-Agents Mechanism. - Fan Yang 003; Peng Han 006; Ruimin Shen; Bernd J. Krämer; Xinwei Fan (Australian Conference on Artificial Intelligence, 2003)

Leveraging Web-Services and Peer-to-Peer Networks. - Mike P. Papazoglou; Bernd J. Krämer; Jian Yang 001 (CAiSE, 2003)

DOA 2003 PC Co-chairs' Message. - Bernd J. Krämer; Maarten van Steen; Steve Vinoski (OTM, 2003)

A Publish/Subscribe Scheme for Peer-to-Peer Database Networks. - Jian Yang 001; Mike P. Papazoglou; Bernd J. Krämer (OTM, 2003)

Modelling Predictable Component-Based Distributed Control Architectures. - Heinz W. Schmidt; Ian D. Peake; Jue Xie; Ian E. Thomas; Bernd J. Krämer; Alexander Fay; Peter Bort (WORDS Fall, 2003)

Probabilistic Inference for Network Management. - Jianguo Ding; Bernd J. Krämer; Yingcai Bai; Hansheng Chen 003 (ECUMN, 2004)

An Inference Algorithm for Probabilistic Fault Management in Distributed Systems. - Jianguo Ding; Bernd J. Krämer; Yingcai Bai; Hansheng Chen 003 (Net-Con, 2004)

Probabilistic Inference Strategy in Distributed Intrusion Detection Systems. - Jianguo Ding; Shihao Xu; Bernd J. Krämer; Yingcai Bai; Hansheng Chen 003; Jun Zhang (ISPA, 2004)

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. - Manfred Broy; Matthias Jarke; Manfred Nagl; Hans Dieter Rombach; Armin B. Cremers; Jürgen Ebert; Sabine Glesner; Martin Glinz; Michael Goedicke; Gerhard Goos; Volker Gruhn; Wilhelm Hasselbring; et al. (Perspectives Workshop, 2005)

05462 Service-Oriented Computing: A Research Roadmap. - Mike P. Papazoglou; Paolo Traverso; Schahram Dustdar; Frank Leymann; Bernd J. Krämer (Service Oriented Computing, 2005)

Exploiting the Construction of E-Learner Communities from a Trust Connectionist Point of View. - Fan Yang 003; Bernd J. Krämer; Peng Han 006; Ruimin Shen (Trans. SDPS, 2005)

Backward Inference in Bayesian Networks for Distributed Systems Management. - Jianguo Ding; Bernd J. Krämer; Yingcai Bai; Hansheng Chen 003 (J. Netw. Syst. Manag., 2005)

Exploring the Use of Cellular Phones for Pervasive eLearning. - Bernd J. Krämer; Georg Ströhlein (PerCom Workshops, 2006)

Substitution or Complement: An Empirical Analysis on the Impact of Collaborative Tagging on Web Search. - Peng Han 006; Zhimei Wang; Zhiyun Li; Bernd J. Krämer; Fan Yang 003 (Web Intelligence, 2006)

Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr? - Bernd J. Krämer (GI Jahrestagung (1), 2007)

A Service Component Architecture to Federate E-Universities: A Case Study in Virtual Mobility. - Bernd J. Krämer (Contributions to Ubiquitous Computing, 2007)

Representation and Discovery of Intelligent E-Services. - Xia Wang; Bernd J. Krämer; Yi Zhao; Wolfgang A. Halang (E-Service Intelligence, 2007)

Common-interest Based Self-organising E-Learner Communities. - Fan Yang 003; Bernd J. Krämer; Peng Han 006 (Contributions to Ubiquitous Computing, 2007)

Guest Editors' Introduction. - Schahram Dustdar; Bernd J. Krämer; Priya Narasimhan (Int. J. Cooperative Inf. Syst., 2008)

Component meets service: what does the mongrel look like? - Bernd J. Krämer (Innov. Syst. Softw. Eng., 2008)

Exposure and Support of Latent Social Networks among Learning Object Repository Users. - Peng Han; Gerd Kortemeyer; Bernd J. Krämer; Christine von Prümmer (J. Univers. Comput. Sci., 2008)

Introduction to special issue on service oriented computing (SOC). - Schahram Dustdar; Bernd J. Krämer (ACM Trans. Web, 2008)

A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering. - Bernd J. Krämer; Tiziana Margaria (Int. J. Semantic Comput., 2009)

Discovery. - Schahram Dustdar; Christian Platzer; Bernd J. Krämer (Encyclopedia of Database Systems, 2009)

Editorial: Learning objects in progress. - Michael Klebl; Bernd J. Krämer (Br. J. Educ. Technol., 2010)

From content to practice: Sharing educational practice in edu-sharing. - Michael Klebl; Bernd J. Krämer; Annett Zobel (Br. J. Educ. Technol., 2010)

Informing Science: a series of four books on learning objects Learning objects: Theory, praxis, issues, and trends - Edited by Alex Koohang & Keith Harman. - Bernd J. Krämer (Br. J. Educ. Technol., 2010)

Learning objects: Standards, metadata, repositories, and LCMS - Edited by Keith Harman & Alex Koohang. - Bernd J. Krämer (Br. J. Educ. Technol., 2010)

Learning objects and instructional design - Edited by Alex Koohang & Keith Harman. - Bernd J. Krämer (Br. J. Educ. Technol., 2010)

Learning objects: Applications, implications, and future directions - Edited by Keith Harman & Alex Koohang. - Bernd J. Krämer (Br. J. Educ. Technol., 2010)

Editorial - Advances in Collective Intelligence and Social Media. - Ulrike Baumöl; Reinhard Jung; Bernd J. Krämer (Int. J. Cooperative Inf. Syst., 2013)

Editorial: Knowledge, Social Media and Technologies for a Learning Society. - Aurélie Aurilla Bechina; Bernd J. Krämer (J. Integr. Des. Process. Sci., 2013)

Über den Nutzen interaktiver Lernmedien im Fernstudium. - Klaus Gotthardt; Helga Huppertz; Bernd J. Krämer; Johannes Magenheim; Jonas Neugebauer; Christoph Wöldecke (DeLFI, 2014)

New ways of learning: Comparing the effectiveness of interactive online media in distance education with the European textbook tradition. - Bernd J. Krämer; Jonas Neugebauer; Johannes Magenheim; Helga Huppertz (Br. J. Educ. Technol., 2015)

Intelligente Bildungs- und Hochschulnetze in Deutschland - Wo stehen wir in 2016? Was ist zu tun bis 2020? - Christoph Igel; Ansgar Baums; Marc Göcks; Martin Haag; Bernd J. Krämer; Stephan Pfisterer; H. Siegfried Stiehl; Guido Wirtz; Volker Zimmermann 001; Jens Mühlner (GI-Jahrestagung, 2016)

Knowledge Management through Ontology-Driven Integration of Disparate Knowledge Sources. - Jan Werrmann; Bernd J. Krämer (J. Integr. Des. Process. Sci., 2017)

Discovery. - Schahram Dustdar; Christian Platzer; Bernd J. Krämer (Encyclopedia of Database Systems (2nd ed.), 2018)

A Reference Architecture for Smart Digital Platform for Personalized Prevention and Patient Management. - Amal Elgammal; Bernd J. Krämer (Next-Gen Digital Services, 2021)

Footsteps Towards a Transdisciplinary Design and Process Science. - Murat M. Tanik; Stanley G. Gatchel; Imre Horváth; Thomas T. H. Wan; Kyoung-Yun Kim; Jingwei Huang 002; Eric Coatanéa; Bernd J. Krämer; Yong Zeng 004 (J. Integr. Des. Process. Sci., 2021)

Technology Roadmap for Resilient Smart Manufacturing Ecosystems. - Michael P. Papazoglou; Bernd J. Krämer; María José Núñez Ariño; Amal Elgammal (ICE/ITMC, 2024)