The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernd J. Krämer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mike P. Papazoglou, Bernd J. Krämer, Athman Bouguettaya
    On the Representation of Objects with Polymorphic Shape and Behaviour. [Citation Graph (2, 11)][DBLP]
    ER, 1994, pp:223-240 [Conf]
  2. Bernd J. Krämer
    Using Heterogeneous Formal Methods in Distributed Software Engineering Education. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:43-51 [Conf]
  3. Bernd J. Krämer
    Stepwise construction of non-sequential software systems using a net-based specification language. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1984, pp:307-330 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2003, pp:490-500 [Conf]
  5. Mike P. Papazoglou, Bernd J. Krämer, Jian Yang
    Leveraging Web-Services and Peer-to-Peer Networks. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2003, pp:485-501 [Conf]
  6. Bernd J. Krämer, Maarten van Steen, Steve Vinoski
    DOA 2003 PC Co-chairs' Message. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE, 2003, pp:1050- [Conf]
  7. Jian Yang, Mike P. Papazoglou, Bernd J. Krämer
    A Publish/Subscribe Scheme for Peer-to-Peer Database Networks. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE, 2003, pp:244-262 [Conf]
  8. Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer
    05462 Service-Oriented Computing: A Research Roadmap. [Citation Graph (0, 0)][DBLP]
    Service Oriented Computing, 2005, pp:- [Conf]
  9. Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen
    Probabilistic Inference for Network Management. [Citation Graph (0, 0)][DBLP]
    ECUMN, 2004, pp:498-507 [Conf]
  10. Claus Hoffmann, Bernd J. Krämer, Burhan Dinler
    Multiparadigm Description of System Development Processes. [Citation Graph (0, 0)][DBLP]
    EWSPT, 1992, pp:123-137 [Conf]
  11. Bernd J. Krämer, Burhan Dinler
    Applying Process Technology to Hardware Design. [Citation Graph (0, 0)][DBLP]
    EWSPT, 1994, pp:240-248 [Conf]
  12. Wolfgang A. Halang, S. K. Jung, Bernd J. Krämer
    Enforcing management policies in distributed systems. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1995, pp:474-480 [Conf]
  13. Bernd J. Krämer, Lutz Michael Wegner
    Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1999, pp:131-136 [Conf]
  14. Bernd J. Krämer
    Formal and Semi-Graphic Specification of Non-Sequential Systems. [Citation Graph (0, 0)][DBLP]
    Entwurf großer Software-Systeme, 1984, pp:134-160 [Conf]
  15. Bernd J. Krämer, Heinz W. Schmidt
    Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1979, pp:194-205 [Conf]
  16. Bernd J. Krämer, Heinz W. Schmidt
    Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:460-471 [Conf]
  17. Bernd J. Krämer
    A Case Study in Developing Complex Safety Critical Systems. [Citation Graph (0, 0)][DBLP]
    HICSS (5), 1997, pp:135-143 [Conf]
  18. Bernd J. Krämer
    SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 1987, pp:116-125 [Conf]
  19. Nathalie Poerwantoro, Abdulmotaleb El-Saddik, Bernd J. Krämer, Ralf Steinmetz
    Multibook's test environment. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:680-683 [Conf]
  20. Petre Dini, Gregor von Bochmann, Thomas Koch, Bernd J. Krämer
    Agent Based Management of Distributed Systems with Variabel Polling Frequency Policies. [Citation Graph (0, 0)][DBLP]
    Integrated Network Management, 1997, pp:553-564 [Conf]
  21. Jianguo Ding, Shihao Xu, Bernd J. Krämer, Yingcai Bai, Hansheng Chen, Jun Zhang
    Probabilistic Inference Strategy in Distributed Intrusion Detection Systems. [Citation Graph (0, 0)][DBLP]
    ISPA, 2004, pp:835-844 [Conf]
  22. Bernd J. Krämer, Claus Hoffmann, L. Marinos, A. Sesterhenn
    Coordinating software process activities. [Citation Graph (0, 0)][DBLP]
    ISPW, 1991, pp:88-90 [Conf]
  23. Hans-Arno Jacobsen, Bernd J. Krämer
    A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:63-0 [Conf]
  24. Thomas Koch, Bernd J. Krämer, Gerald Rohde
    Adaptiver Scheduler für verteilte Systeme. [Citation Graph (0, 0)][DBLP]
    Kommunikation in Verteilten Systemen, 1995, pp:316-329 [Conf]
  25. Bernd J. Krämer, Heinz W. Schmidt
    A High Level Net Language for Stepwise Modeling of Organizational Systems. [Citation Graph (0, 0)][DBLP]
    International Working Conference on Model Realism, 1982, pp:156-170 [Conf]
  26. Wolfgang A. Halang, Bernd J. Krämer
    PEARL als Spezifikationssprache. [Citation Graph (0, 0)][DBLP]
    PEARL, 1993, pp:43-51 [Conf]
  27. Bernd J. Krämer, Georg Strohlein
    Exploring the Use of Cellular Phones for Pervasive eLearning. [Citation Graph (0, 0)][DBLP]
    PerCom Workshops, 2006, pp:190-195 [Conf]
  28. Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf Reussner
    Predictable Component Architectures Using Dependent Finite State Machines. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:310-324 [Conf]
  29. Wolfgang A. Halang, Bernd J. Krämer
    Neue Medien im Fernstudium. [Citation Graph (0, 0)][DBLP]
    Informatik und Ausbildung, 1998, pp:286-288 [Conf]
  30. Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann
    Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung. [Citation Graph (0, 0)][DBLP]
    INFOS, 1995, pp:118-127 [Conf]
  31. Bernd J. Krämer, Heinz W. Schmidt
    Interaktive Softwareentwicklung durch schrittweise Formalisierung. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 1980, pp:310-311 [Conf]
  32. Bernd J. Krämer, Thomas Koch
    Knowledge-Based Support for Distributed Systems Management. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:480-487 [Conf]
  33. Bernd J. Krämer
    Rule-enhanced Petri nets for software process modeling. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:493-500 [Conf]
  34. Bernd J. Krämer, Heinz W. Schmidt
    Object-Oriented Development of Integrated Programming Environments with ASDL. [Citation Graph (0, 0)][DBLP]
    SIGSMALL/PC, 1988, pp:11-21 [Conf]
  35. Hans-Friedrich Kötter, Bernd J. Krämer, Norbert Völker
    3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML. [Citation Graph (0, 0)][DBLP]
    SimVis, 1999, pp:19-32 [Conf]
  36. Wolfgang A. Halang, Bernd J. Krämer
    Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung. [Citation Graph (0, 0)][DBLP]
    VIS, 1993, pp:163-174 [Conf]
  37. Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker
    Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. [Citation Graph (0, 0)][DBLP]
    VIS, 1995, pp:229-0 [Conf]
  38. 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. [Citation Graph (0, 0)][DBLP]
    Web Intelligence, 2006, pp:757-760 [Conf]
  39. Heinz W. Schmidt, Ian D. Peake, Jue Xie, Ian Thomas, Bernd J. Krämer, Alexander Fay, Peter Bort
    Modelling Predictable Component-Based Distributed Control Architectures. [Citation Graph (0, 0)][DBLP]
    WORDS Fall, 2003, pp:339-346 [Conf]
  40. Hans-Arno Jacobsen, Bernd J. Krämer
    Modeling Interface Definition Language Extensions. [Citation Graph (0, 0)][DBLP]
    TOOLS (37), 2000, pp:242-252 [Conf]
  41. Hans-Arno Jacobsen, Bernd J. Krämer
    Design Patterns for Synchronization Adapters of Corba Objects. [Citation Graph (0, 0)][DBLP]
    L'OBJET, 2000, v:6, n:1, pp:- [Journal]
  42. Wolfgang A. Halang, Bernd J. Krämer, Leszek Trybus
    Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:4, pp:301-309 [Journal]
  43. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1997, v:30, n:11, pp:46-57 [Journal]
  44. Thomas Koch, Bernd J. Krämer
    Rules and agents for automated management of distributed systems. [Citation Graph (0, 0)][DBLP]
    Distributed Systems Engineering, 1996, v:3, n:2, pp:104-114 [Journal]
  45. Norbert Völker, Bernd J. Krämer
    Automated Verification of Function Block Based Industrial Control Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
  46. Bernd J. Krämer
    Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1992, v:7, n:2, pp:62-72 [Journal]
  47. Bernd J. Krämer, Thomas Koch
    Distributed Systems Management Software-in-the-Loop. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1998, v:8, n:1, pp:55-76 [Journal]
  48. Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen
    Backward Inference in Bayesian Networks for Distributed Systems Management. [Citation Graph (0, 0)][DBLP]
    J. Network Syst. Manage., 2005, v:13, n:4, pp:409-427 [Journal]
  49. Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter
    Deriving CORBA Applications from Formal Specifications. [Citation Graph (0, 0)][DBLP]
    Journal of Systems Integration, 1998, v:8, n:2, pp:143-158 [Journal]
  50. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1996, v:32, n:3, pp:269-308 [Journal]
  51. Wolf D. Itzfeldt, Bernd J. Krämer, Marie-Luise Christ-Neumann
    The project GRASPIN and its CASE environment prototypes: An overview. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1991, v:15, n:1, pp:5-16 [Journal]
  52. Bernd J. Krämer
    Introducing the GRASPIN specification language SEGRAS, . [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1991, v:15, n:1, pp:17-31 [Journal]
  53. Bernd J. Krämer
    A sort of parametric polymorphism for algebraic specifications. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1991, v:15, n:1, pp:33-42 [Journal]
  54. Bernd J. Krämer, Luqi
    Toward formal models of software engineering processes. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1991, v:15, n:1, pp:63-74 [Journal]
  55. Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann
    Integrated Multimedia-Based Distance Teaching of Information Technology. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1996, v:2, n:6, pp:443-455 [Journal]
  56. Bernd J. Krämer
    Editorial. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1997, v:13, n:3, pp:217-218 [Journal]
  57. Bernd J. Krämer, Norbert Völker
    A Highly Dependable Computing Architecture for Safety-Critical Control Applications. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1997, v:13, n:3, pp:237-251 [Journal]
  58. Norbert Völker, Bernd J. Krämer
    Automated verification of function block-based industrial control systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:101-113 [Journal]
  59. Bernd J. Krämer
    Specifying concurrent objects. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1989, v:24, n:4, pp:162-164 [Journal]
  60. Wolfgang A. Halang, Bernd J. Krämer
    Safety Assurance in Process Control. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1994, v:11, n:1, pp:61-67 [Journal]
  61. Bernd J. Krämer, Heinz W. Schmidt
    Developing Integrated Environments with ASDL. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1989, v:6, n:1, pp:98-107 [Journal]
  62. Bernd J. Krämer, Luqi, Valdis Berzins
    Compositional Semantics of a Real-Time Prototyping Language. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:5, pp:543-477 [Journal]
  63. Mike P. Papazoglou, Bernd J. Krämer
    Erratum: A Database Model for Object Dynamics. [Citation Graph (0, 0)][DBLP]
    VLDB J., 1997, v:6, n:3, pp:257-260 [Journal]
  64. Mike P. Papazoglou, Bernd J. Krämer
    A Database Model for Object Dynamics. [Citation Graph (0, 26)][DBLP]
    VLDB J., 1997, v:6, n:2, pp:73-96 [Journal]

  65. Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr? [Citation Graph (, )][DBLP]


Search in 0.023secs, Finished in 0.027secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002