default search action
Bernd J. Krämer
Person information
- affiliation: University of Hagen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [j44]Murat M. Tanik, Stanley G. Gatchel, Imre Horváth, Thomas T. H. Wan, Kyoung-Yun Kim, Jingwei Huang, Eric Coatanéa, Bernd J. Krämer, Yong Zeng:
Footsteps Towards a Transdisciplinary Design and Process Science. J. Integr. Des. Process. Sci. 25(3-4): 1-16 (2021) - [c50]Amal Elgammal, Bernd J. Krämer:
A Reference Architecture for Smart Digital Platform for Personalized Prevention and Patient Management. Next-Gen Digital Services 2021: 88-99
2010 – 2019
- 2018
- [r2]Schahram Dustdar, Christian Platzer, Bernd J. Krämer:
Discovery. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [j43]Jan Werrmann, Bernd J. Krämer:
Knowledge Management through Ontology-Driven Integration of Disparate Knowledge Sources. J. Integr. Des. Process. Sci. 21(4): 25-39 (2017) - 2016
- [c49]Christoph Igel, Ansgar Baums, Marc Göcks, Martin Haag, Bernd J. Krämer, Stephan Pfisterer, H. Siegfried Stiehl, Guido Wirtz, Volker Zimmermann, Jens Mühlner:
Intelligente Bildungs- und Hochschulnetze in Deutschland - Wo stehen wir in 2016? Was ist zu tun bis 2020? GI-Jahrestagung 2016: 961-965 - 2015
- [j42]Bernd J. Krämer, Jonas Neugebauer, Johannes Magenheim, Helga Huppertz:
New ways of learning: Comparing the effectiveness of interactive online media in distance education with the European textbook tradition. Br. J. Educ. Technol. 46(5): 965-971 (2015) - 2014
- [c48]Klaus Gotthardt, Helga Huppertz, Bernd J. Krämer, Johannes Magenheim, Jonas Neugebauer, Christoph Wöldecke:
Über den Nutzen interaktiver Lernmedien im Fernstudium. DeLFI 2014: 15-26 - 2013
- [j41]Ulrike Baumöl, Reinhard Jung, Bernd J. Krämer
:
Editorial - Advances in Collective Intelligence and Social Media. Int. J. Cooperative Inf. Syst. 22(3) (2013) - [j40]Aurélie Aurilla Bechina, Bernd J. Krämer
Editorial: Knowledge, Social Media and Technologies for a Learning Society. J. Integr. Des. Process. Sci. 17(1): 1-3 (2013) - 2010
- [j39]Michael Klebl, Bernd J. Krämer
Editorial: Learning objects in progress. Br. J. Educ. Technol. 41(6): 869-872 (2010) - [j38]Michael Klebl, Bernd J. Krämer
From content to practice: Sharing educational practice in edu-sharing. Br. J. Educ. Technol. 41(6): 936-951 (2010) - [j37]Bernd J. Krämer:
Informing Science: a series of four books on learning objects Learning objects: Theory, praxis, issues, and trends - Edited by Alex Koohang & Keith Harman. Br. J. Educ. Technol. 41(6): 971-972 (2010) - [j36]Bernd J. Krämer:
Learning objects: Standards, metadata, repositories, and LCMS - Edited by Keith Harman & Alex Koohang. Br. J. Educ. Technol. 41(6): 973 (2010) - [j35]Bernd J. Krämer:
Learning objects and instructional design - Edited by Alex Koohang & Keith Harman. Br. J. Educ. Technol. 41(6): 973-974 (2010) - [j34]Bernd J. Krämer:
Learning objects: Applications, implications, and future directions - Edited by Keith Harman & Alex Koohang. Br. J. Educ. Technol. 41(6): 975 (2010)
2000 – 2009
- 2009
- [j33]Bernd J. Krämer, Tiziana Margaria:
A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering. Int. J. Semantic Comput. 3(1): 5-30 (2009) - [r1]Schahram Dustdar
Discovery. Encyclopedia of Database Systems 2009: 853-857 - 2008
- [j32]Schahram Dustdar
Guest Editors' Introduction. Int. J. Cooperative Inf. Syst. 17(3): 257-258 (2008) - [j31]Bernd J. Krämer
Component meets service: what does the mongrel look like? Innov. Syst. Softw. Eng. 4(4): 385-394 (2008) - [j30]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. Univers. Comput. Sci. 14(10): 1717-1738 (2008) - [j29]Schahram Dustdar
Introduction to special issue on service oriented computing (SOC). ACM Trans. Web 2(2): 10:1-10:2 (2008) - 2007
- [c47]Bernd J. Krämer:
Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr? GI Jahrestagung (1) 2007: 489-490 - [p4]Fan Yang, Bernd J. Krämer
Common-interest Based Self-organising E-Learner Communities. Contributions to Ubiquitous Computing 2007: 71-94 - [p3]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 - [p2]Xia Wang, Bernd J. Krämer
Representation and Discovery of Intelligent E-Services. E-Service Intelligence 2007: 233-252 - [e3]Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan:
Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings. Lecture Notes in Computer Science 4749, Springer 2007, ISBN 978-3-540-74973-8 [contents] - [e2]Bernd J. Krämer, Wolfgang A. Halang:
Contributions to Ubiquitous Computing. Studies in Computational Intelligence 42, Springer 2007, ISBN 978-3-540-44909-6 [contents] - 2006
- [c46]Bernd J. Krämer
Exploring the Use of Cellular Phones for Pervasive eLearning. PerCom Workshops 2006: 190-195 - [c45]Peng Han, Zhimei Wang, Zhiyun Li, Bernd J. Krämer
Substitution or Complement: An Empirical Analysis on the Impact of Collaborative Tagging on Web Search. Web Intelligence 2006: 757-760 - [e1]Francisco Curbera, Bernd J. Krämer, Mike P. Papazoglou:
Service Oriented Computing (SOC), 15.-18. November 2005. Dagstuhl Seminar Proceedings 05462, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2005
- [j28]Fan Yang, Bernd J. Krämer, Peng Han, Ruimin Shen:
Exploiting the Construction of E-Learner Communities from a Trust Connectionist Point of View. Trans. SDPS 9(2): 1-11 (2005) - [j27]Jianguo Ding
Backward Inference in Bayesian Networks for Distributed Systems Management. J. Netw. Syst. Manag. 13(4): 409-427 (2005) - [i2]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, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop 2005 - [i1]Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer:
05462 Service-Oriented Computing: A Research Roadmap. Service Oriented Computing 2005 - 2004
- [c44]Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen:
Probabilistic Inference for Network Management. ECUMN 2004: 498-507 - [c43]Jianguo Ding
An Inference Algorithm for Probabilistic Fault Management in Distributed Systems. Net-Con 2004: 193-204 - [c42]Jianguo Ding
Probabilistic Inference Strategy in Distributed Intrusion Detection Systems. ISPA 2004: 835-844 - 2003
- [c41]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 - [c40]Mike P. Papazoglou
Leveraging Web-Services and Peer-to-Peer Networks. CAiSE 2003: 485-501 - [c39]Jian Yang, Mike P. Papazoglou
A Publish/Subscribe Scheme for Peer-to-Peer Database Networks. OTM 2003: 244-262 - [c38]Bernd J. Krämer, Maarten van Steen, Steve Vinoski:
DOA 2003 PC Co-chairs' Message. OTM 2003: 1050 - [c37]Heinz W. Schmidt, Ian D. Peake, Jue Xie
Modelling Predictable Component-Based Distributed Control Architectures. WORDS Fall 2003: 339-346 - 2002
- [j26]Norbert Völker, Bernd J. Krämer
Automated verification of function block-based industrial control systems. Sci. Comput. Program. 42(1): 101-113 (2002) - [c36]Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner
Predictable Component Architectures Using Dependent Finite State Machines. RISSEF 2002: 310-324 - 2001
- [j25]Bernd J. Krämer:
Software Engineering (Editorial). Trans. SDPS 5(3): 1-3 (2001) - 2000
- [j24]Hans-Arno Jacobsen, Bernd J. Krämer:
Design Patterns for Synchronization Adapters of Corba Objects. Obj. Logiciel Base données Réseaux 6(1) (2000) - [c35]Bernd J. Krämer:
Interaktive Lernsysteme im Fernstudium: Betrachtung eines Programmierkurses im Zeitraffer. GI Jahrestagung 2000: 12-15 - [c34]Nathalie Poerwantoro, Abdulmotaleb El-Saddik, Bernd J. Krämer, Ralf Steinmetz
Multibook's test environment. ICSE 2000: 680-683 - [c33]Hans-Arno Jacobsen, Bernd J. Krämer:
Modeling Interface Definition Language Extensions. TOOLS (37) 2000: 242-252 - [p1]Mike P. Papazoglou, Bernd J. Krämer:
Modeling Object Dynamics. Advances in Object-Oriented Data Modeling 2000: 195-217
1990 – 1999
- 1999
- [c32]Bernd J. Krämer, Lutz M. Wegner:
Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces. FTDCS 1999: 131-136 - [c31]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 - 1998
- [j23]Bernd J. Krämer, Thomas Koch:
Distributed Systems Management Software-in-the-Loop. Int. J. Softw. Eng. Knowl. Eng. 8(1): 55-76 (1998) - [j22]Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter:
Deriving CORBA Applications from Formal Specifications. J. Syst. Integr. 8(2): 143-158 (1998) - [c30]Hans-Arno Jacobsen, Bernd J. Krämer:
A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. ASE 1998: 63- - [c29]Wolfgang A. Halang, Bernd J. Krämer:
Neue Medien im Fernstudium. Informatik und Ausbildung 1998: 286-288 - [c28]Norbert Völker, Bernd J. Krämer
Automated Verification of Function Block Based Industrial Control Systems. Monterey Workshop 1998: 97-110 - 1997
- [j21]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. Computer 30(11): 46-57 (1997) - [j20]Bernd J. Krämer:
Editorial. Real Time Syst. 13(3): 217-218 (1997) - [j19]Bernd J. Krämer, Norbert Völker:
A Highly Dependable Computing Architecture for Safety-Critical Control Applications. Real Time Syst. 13(3): 237-251 (1997) - [j18]Mike P. Papazoglou
A Database Model for Object Dynamics. VLDB J. 6(2): 73-96 (1997) - [j17]Mike P. Papazoglou, Bernd J. Krämer:
Erratum: A Database Model for Object Dynamics. VLDB J. 6(3): 257-260 (1997) - [c27]Bernd J. Krämer:
A Case Study in Developing Complex Safety Critical Systems. HICSS (5) 1997: 135-143 - [c26]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 - 1996
- [j16]Thomas Koch, Bernd J. Krämer
Rules and agents for automated management of distributed systems. Distributed Syst. Eng. 3(2): 104-114 (1996) - [j15]Daniel E. Cooke, Ann Q. Gates, Elif Demirörs, Onur Demirörs
Languages for the specification of software. J. Syst. Softw. 32(3): 269-308 (1996) - [j14]Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann:
Integrated Multimedia-Based Distance Teaching of Information Technology. J. Univers. Comput. Sci. 2(6): 443-455 (1996) - [c25]Bernd J. Krämer:
Using Heterogeneous Formal Methods in Distributed Software Engineering Education. AMAST 1996: 43-51 - [c24]Bernd J. Krämer, Thomas Koch:
Knowledge-Based Support for Distributed Systems Management. SEKE 1996: 480-487 - 1995
- [j13]Wolfgang A. Halang, Bernd J. Krämer
Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. Comput. J. 38(4): 301-309 (1995) - [c23]Wolfgang A. Halang, Soon-Key Jung, Bernd J. Krämer:
Enforcing management policies in distributed systems. FTDCS 1995: 474-480 - [c22]Thomas Koch, Bernd J. Krämer, Gerald Rohde:
Adaptiver Scheduler für verteilte Systeme. Kommunikation in Verteilten Systemen 1995: 316-329 - [c21]Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker:
Formally Verified Firmware Modules for Industrial Process Automation. SAFECOMP 1995: 206-218 - [c20]Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann:
Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung. INFOS 1995: 118-127 - [c19]Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker:
Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. VIS 1995: 229- - 1994
- [j12]Bernd J. Krämer
Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme. Prax. Inf.verarb. Kommun. 17(3): 136-149 (1994) - [j11]Wolfgang A. Halang, Bernd J. Krämer
Safety Assurance in Process Control. IEEE Softw. 11(1): 61-67 (1994) - [c18]Mike P. Papazoglou
On the Representation of Objects with Polymorphic Shape and Behaviour. ER 1994: 223-240 - [c17]Bernd J. Krämer
Applying Process Technology to Hardware Design. EWSPT 1994: 240-248 - [c16]Bernd J. Krämer:
Rule-enhanced Petri nets for software process modeling. SEKE 1994: 493-500 - 1993
- [j10]Wolfgang A. Halang, Bernd J. Krämer:
The time dimension considered appropriate for resource access synchronization. Inf. Softw. Technol. 35(11-12): 691-695 (1993) - [j9]Bernd J. Krämer, Luqi, Valdis Berzins:
Compositional Semantics of a Real-Time Prototyping Language. IEEE Trans. Software Eng. 19(5): 543-477 (1993) - [c15]Wolfgang A. Halang, Bernd J. Krämer:
PEARL als Spezifikationssprache. PEARL 1993: 43-51 - [c14]Wolfgang A. Halang, Bernd J. Krämer:
Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung. VIS 1993: 163-174 - 1992
- [j8]Wolfgang A. Halang, Bernd J. Krämer:
Achieving high integrity of process control software by graphical design and formal verification. Softw. Eng. J. 7(1): 53-64 (1992) - [j7]Bernd J. Krämer:
Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen. Inform. Forsch. Entwickl. 7(2): 62-72 (1992) - [j6]Bernd J. Krämer, Mike P. Papazoglou:
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 2(1): 1-3 (1992) - [c13]Claus Hoffmann, Bernd J. Krämer, Burhan Dinler:
Multiparadigm Description of System Development Processes. EWSPT 1992: 123-137 - 1991
- [j5]Wolf D. Itzfeldt, Bernd J. Krämer, Marie-Luise Christ-Neumann:
The project GRASPIN and its CASE environment prototypes: An overview. J. Syst. Softw. 15(1): 5-16 (1991) - [j4]Bernd J. Krämer:
Introducing the GRASPIN specification language SEGRAS, . J. Syst. Softw. 15(1): 17-31 (1991) - [j3]Bernd J. Krämer:
A sort of parametric polymorphism for algebraic specifications. J. Syst. Softw. 15(1): 33-42 (1991) - [j2]Bernd J. Krämer, Luqi:
Toward formal models of software engineering processes. J. Syst. Softw. 15(1): 63-74 (1991) - [c12]Bernd J. Krämer, Claus Hoffmann, Louis Marinos, A. Sesterhenn:
Coordinating software process activities. ISPW 1991: 88-90 - [c11]Bernd J. Krämer:
Prototyping and formal analysis of concurrent and distributed systems. IWSSD 1991: 60-66
1980 – 1989
- 1989
- [b1]Bernd J. Krämer:
Concepts, syntax and semantics of SEGRAS: a specification language for distributed systems. Technical University of Berlin, Germany, Oldenbourg 1989, ISBN 978-3-486-21438-3, pp. 1-179 - [j1]Bernd J. Krämer
Developing Integrated Environments with ASDL. IEEE Softw. 6(1): 98-107 (1989) - [c10]Wolfgang A. Halang, Bernd J. Krämer:
Methodologies for meeting hard deadlines in industrial distributed real-time systems. COMPSAC 1989: 567-573 - 1988
- [c9]Bernd J. Krämer
Object-Oriented Development of Integrated Programming Environments with ASDL. SIGSMALL/PC 1988: 11-21 - [c8]Bernd J. Krämer
Specifying concurrent objects. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988: 162-164 - 1987
- [c7]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
- [c6]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 - [c5]Bernd J. Krämer:
Formal and Semi-Graphic Specification of Non-Sequential Systems. Entwurf großer Software-Systeme 1984: 134-160 - 1982
- [c4]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
- [c3]Bernd J. Krämer, Heinz W. Schmidt:
Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. GI Jahrestagung 1981: 460-471 - 1980
- [c2]Bernd J. Krämer, Heinz W. Schmidt:
Interaktive Softwareentwicklung durch schrittweise Formalisierung. Software Engineering 1980: 310-311
1970 – 1979
- 1979
- [c1]Bernd J. Krämer, Heinz W. Schmidt:
Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. GI Jahrestagung 1979: 194-205
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: