The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Bernd J. Krämer" ( http://dblp.L3S.de/Authors/Bernd_J._Krämer )

URL (Homepage):  http://www.fernuni-hagen.de/DVT/Mitarbeiter/kraemer.html  Author page on DBLP  Author page in RDF  Community of Bernd J. Krämer in ASPL-2

Publication years (Num. hits)
1979-1991 (17) 1992-1995 (18) 1996-1998 (16) 1999-2003 (16) 2004-2007 (16) 2008-2014 (15) 2015 (1)
Publication types (Num. hits)
article(44) book(1) incollection(5) inproceedings(46) phdthesis(1) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 70 occurrences of 67 keywords

Results
Found 100 publication records. Showing 99 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bernd 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. Search on Bibsonomy BJET The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Klaus Gotthardt, Helga Huppertz, Bernd J. Krämer, Johannes Magenheim, Jonas Neugebauer, Christoph Wöldecke Über den Nutzen interaktiver Lernmedien im Fernstudium. Search on Bibsonomy DeLFI The full citation details ... 2014 DBLP  BibTeX  RDF
1Ulrike Baumöl, Reinhard Jung, Bernd J. Krämer Editorial - Advances in Collective Intelligence and Social Media. Search on Bibsonomy Int. J. Cooperative Inf. Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aurélie Aurilla Bechina, Bernd J. Krämer Editorial: Knowledge, Social Media and Technologies for a Learning Society. Search on Bibsonomy J. Integrated Design & Process Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Klebl, Bernd J. Krämer, Annett Zobel From content to practice: Sharing educational practice in edu-sharing. Search on Bibsonomy BJET The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Klebl, Bernd J. Krämer Editorial: Learning objects in progress. Search on Bibsonomy BJET The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bernd 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. Search on Bibsonomy BJET The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer Learning objects and instructional design - Edited by Alex Koohang & Keith Harman. Search on Bibsonomy BJET The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer Learning objects: Standards, metadata, repositories, and LCMS - Edited by Keith Harman & Alex Koohang. Search on Bibsonomy BJET The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer Learning objects: Applications, implications, and future directions - Edited by Keith Harman & Alex Koohang. Search on Bibsonomy BJET The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer, Tiziana Margaria A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering. Search on Bibsonomy Int. J. Semantic Computing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Schahram Dustdar, Christian Platzer, Bernd J. Krämer Discovery. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Schahram Dustdar, Bernd J. Krämer, Priya Narasimhan Guest Editors' Introduction. Search on Bibsonomy Int. J. Cooperative Inf. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Schahram Dustdar, Bernd J. Krämer Introduction to special issue on service oriented computing (SOC). Search on Bibsonomy TWEB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peng Han, Gerd Kortemeyer, Bernd J. Krämer, Christine von Prümmer Exposure and Support of Latent Social Networks among Learning Object Repository Users. Search on Bibsonomy J. UCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer Component meets service: what does the mongrel look like? Search on Bibsonomy ISSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Software engineering, Service-oriented architecture, Service-oriented computing, Service component architecture
1Bernd J. Krämer Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr? Search on Bibsonomy GI Jahrestagung (1) The full citation details ... 2007 DBLP  BibTeX  RDF
1Bernd J. Krämer, Kwei-Jay Lin, Priya Narasimhan (eds.) Service-Oriented Computing - ICSOC 2007, Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings Search on Bibsonomy ICSOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer A Service Component Architecture to Federate E-Universities: A Case Study in Virtual Mobility. Search on Bibsonomy Contributions to Ubiquitous Computing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer, Wolfgang A. Halang (eds.) Contributions to Ubiquitous Computing Search on Bibsonomy 2007 DBLP  BibTeX  RDF
1Fan Yang 0003, Bernd J. Krämer, Peng Han Common-interest Based Self-organising E-Learner Communities. Search on Bibsonomy Contributions to Ubiquitous Computing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Xia Wang, Bernd J. Krämer, Yi Zhao, Wolfgang A. Halang Representation and Discovery of Intelligent E-Services. Search on Bibsonomy E-Service Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Francisco Curbera, Bernd J. Krämer, Mike P. Papazoglou (eds.) Service Oriented Computing (SOC), 15.-18. November 2005 Search on Bibsonomy Service Oriented Computing The full citation details ... 2006 DBLP  BibTeX  RDF
1Peng Han, Zhimei Wang, Zhiyun Li, Bernd J. Krämer, Fan Yang 0003 Substitution or Complement: An Empirical Analysis on the Impact of Collaborative Tagging on Web Search. Search on Bibsonomy Web Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer, Georg Ströhlein Exploring the Use of Cellular Phones for Pervasive eLearning. Search on Bibsonomy PerCom Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Fan Yang 0003, Bernd J. Krämer, Peng Han, Ruimin Shen Exploiting the Construction of E-Learner Communities from a Trust Connectionist Point of View. Search on Bibsonomy Transactions of the SDPS The full citation details ... 2005 DBLP  BibTeX  RDF
1Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen Backward Inference in Bayesian Networks for Distributed Systems Management. Search on Bibsonomy J. Network Syst. Manage. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF backward inference, Bayesian networks, uncertainty, Distributed systems management
1Manfred 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, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Search on Bibsonomy Perspectives Workshop The full citation details ... 2005 DBLP  BibTeX  RDF
1Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer 05462 Service-Oriented Computing: A Research Roadmap. Search on Bibsonomy Service Oriented Computing The full citation details ... 2005 DBLP  BibTeX  RDF
1Jianguo Ding, Shihao Xu, Bernd J. Krämer, Yingcai Bai, Hansheng Chen, Jun Zhang Probabilistic Inference Strategy in Distributed Intrusion Detection Systems. Search on Bibsonomy ISPA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen An Inference Algorithm for Probabilistic Fault Management in Distributed Systems. Search on Bibsonomy Net-Con The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jianguo Ding, Bernd J. Krämer, Yingcai Bai, Hansheng Chen Probabilistic Inference for Network Management. Search on Bibsonomy ECUMN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer, Maarten van Steen, Steve Vinoski DOA 2003 PC Co-chairs' Message. Search on Bibsonomy CoopIS/DOA/ODBASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Jian Yang 0001, Mike P. Papazoglou, Bernd J. Krämer A Publish/Subscribe Scheme for Peer-to-Peer Database Networks. Search on Bibsonomy CoopIS/DOA/ODBASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Peer to peer databases, publish/subscribe models, query processing, query transformation
1Fan Yang 0003, Peng Han, Ruimin Shen, Bernd J. Krämer, Xinwei Fan Cooperative Learning in Self-Organizing E-Learner Communities Based on a Multi-Agents Mechanism. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Intelligent agents
1Heinz 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. Search on Bibsonomy WORDS Fall The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Mike P. Papazoglou, Bernd J. Krämer, Jian Yang 0001 Leveraging Web-Services and Peer-to-Peer Networks. Search on Bibsonomy CAiSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Norbert Völker, Bernd J. Krämer Automated verification of function block-based industrial control systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Heinz W. Schmidt, Bernd J. Krämer, Iman Poernomo, Ralf H. Reussner Predictable Component Architectures Using Dependent Finite State Machines. Search on Bibsonomy RISSEF The full citation details ... 2002 DBLP  DOI  BibTeX  RDF automated interface adaptation, component-based interface specification, component-based prediction, production cell, protocol types, parameterised contracts, software architecture, finite state machines
1Bernd J. Krämer Software Engineering (Editorial). Search on Bibsonomy Transactions of the SDPS The full citation details ... 2001 DBLP  BibTeX  RDF
1Hans-Arno Jacobsen, Bernd J. Krämer Design Patterns for Synchronization Adapters of Corba Objects. Search on Bibsonomy L'OBJET The full citation details ... 2000 DBLP  BibTeX  RDF
1Mike P. Papazoglou, Bernd J. Krämer Modeling Object Dynamics. Search on Bibsonomy Advances in Object-Oriented Data Modeling The full citation details ... 2000 DBLP  BibTeX  RDF
1Bernd J. Krämer Interaktive Lernsysteme im Fernstudium: Betrachtung eines Programmierkurses im Zeitraffer. Search on Bibsonomy GI Jahrestagung The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Hans-Arno Jacobsen, Bernd J. Krämer Modeling Interface Definition Language Extensions. Search on Bibsonomy TOOLS (37) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints
1Nathalie Poerwantoro, Abdulmotaleb El-Saddik, Bernd J. Krämer, Ralf Steinmetz Multibook's test environment. Search on Bibsonomy ICSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF online courseware, user profile, self assessment, dynamic composition
1Norbert Völker, Bernd J. Krämer Automated Verification of Function Block Based Industrial Control Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Hans-Friedrich Kötter, Bernd J. Krämer, Norbert Völker 3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML. Search on Bibsonomy SimVis The full citation details ... 1999 DBLP  BibTeX  RDF
1Bernd J. Krämer, Lutz M. Wegner Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces. Search on Bibsonomy FTDCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF shared object space, CSCW, synchronous collaboration, finger, collaboration awareness
1Bernd J. Krämer, Thomas Koch 0001 Distributed Systems Management Software-in-the-Loop. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter Deriving CORBA Applications from Formal Specifications. Search on Bibsonomy Journal of Systems Integration The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Hans-Arno Jacobsen, Bernd J. Krämer A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL. Search on Bibsonomy ASE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Wolfgang A. Halang, Bernd J. Krämer Neue Medien im Fernstudium. Search on Bibsonomy Informatik und Ausbildung The full citation details ... 1998 DBLP  BibTeX  RDF
1Mike P. Papazoglou, Bernd J. Krämer A Database Model for Object Dynamics. Search on Bibsonomy VLDB J. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Mike P. Papazoglou, Bernd J. Krämer Erratum: A Database Model for Object Dynamics. Search on Bibsonomy VLDB J. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer Editorial. Search on Bibsonomy Real-Time Systems The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer, Norbert Völker A Highly Dependable Computing Architecture for Safety-Critical Control Applications. Search on Bibsonomy Real-Time Systems The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Hesham 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. Search on Bibsonomy IEEE Computer The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer A Case Study in Developing Complex Safety Critical Systems. Search on Bibsonomy HICSS (5) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Petre Dini, Gregor von Bochmann, Thomas Koch 0001, Bernd J. Krämer Agent Based Management of Distributed Systems with Variabel Polling Frequency Policies. Search on Bibsonomy Integrated Network Management The full citation details ... 1997 DBLP  BibTeX  RDF
1Thomas Koch 0001, Bernd J. Krämer Rules and agents for automated management of distributed systems. Search on Bibsonomy Distributed Systems Engineering The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Daniel E. Cooke, Ann Q. Gates, Elif Demirörs, Onur Demirörs, Murat M. Tanik, Bernd J. Krämer Languages for the specification of software. Search on Bibsonomy Journal of Systems and Software The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann Integrated Multimedia-Based Distance Teaching of Information Technology. Search on Bibsonomy J. UCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer, Thomas Koch 0001 Knowledge-Based Support for Distributed Systems Management. Search on Bibsonomy SEKE The full citation details ... 1996 DBLP  BibTeX  RDF
1Bernd J. Krämer Using Heterogeneous Formal Methods in Distributed Software Engineering Education. Search on Bibsonomy AMAST The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Wolfgang A. Halang, Bernd J. Krämer, Leszek Trybus Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. Search on Bibsonomy Comput. J. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Wolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung. Search on Bibsonomy INFOS The full citation details ... 1995 DBLP  BibTeX  RDF
1Wolfgang A. Halang, S. K. Jung, Bernd J. Krämer Enforcing management policies in distributed systems. Search on Bibsonomy FTDCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF management policies, formally definable management policies, platform independent management architecture, clerical management tasks, object-oriented class structure, rule execution, automated management tool invocation, automated policy management, object-oriented programming, resource allocation, open systems, processor scheduling, operating systems (computers), network operating systems, computer network management, production rules, open distributed systems, distributed systems management, middleware platforms
1Thomas Koch 0001, Bernd J. Krämer, Gerald Rohde Adaptiver Scheduler für verteilte Systeme. Search on Bibsonomy Kommunikation in Verteilten Systemen The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. Search on Bibsonomy VIS The full citation details ... 1995 DBLP  BibTeX  RDF
1Wolfgang A. Halang, Bernd J. Krämer Safety Assurance in Process Control. Search on Bibsonomy IEEE Software The full citation details ... 1994 DBLP  DOI  BibTeX  RDF safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control
1Bernd J. Krämer, Norbert Völker, Thomas Koch 0001, Klaus Gotthardt Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme. Search on Bibsonomy Praxis der Informationsverarbeitung und Kommunikation The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Mike P. Papazoglou, Bernd J. Krämer, Athman Bouguettaya On the Representation of Objects with Polymorphic Shape and Behaviour. Search on Bibsonomy ER The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer Rule-enhanced Petri nets for software process modeling. Search on Bibsonomy SEKE The full citation details ... 1994 DBLP  BibTeX  RDF
1Bernd J. Krämer, Burhan Dinler Applying Process Technology to Hardware Design. Search on Bibsonomy EWSPT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer, Luqi, Valdis Berzins Compositional Semantics of a Real-Time Prototyping Language. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior
1Wolfgang A. Halang, Bernd J. Krämer The time dimension considered appropriate for resource access synchronization. Search on Bibsonomy Information & Software Technology The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Wolfgang A. Halang, Bernd J. Krämer Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung. Search on Bibsonomy VIS The full citation details ... 1993 DBLP  BibTeX  RDF
1Wolfgang A. Halang, Bernd J. Krämer PEARL als Spezifikationssprache. Search on Bibsonomy PEARL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer, Mike P. Papazoglou Guest Editors' Introduction. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Wolfgang A. Halang, Bernd J. Krämer Achieving high integrity of process control software by graphical design and formal verification. Search on Bibsonomy Software Engineering Journal The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen. Search on Bibsonomy Inform., Forsch. Entwickl. The full citation details ... 1992 DBLP  BibTeX  RDF
1Claus Hoffmann, Bernd J. Krämer, Burhan Dinler Multiparadigm Description of System Development Processes. Search on Bibsonomy EWSPT The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Wolf D. Itzfeldt, Bernd J. Krämer, Marie-Luise Christ-Neumann The project GRASPIN and its CASE environment prototypes: An overview. Search on Bibsonomy Journal of Systems and Software The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer A sort of parametric polymorphism for algebraic specifications. Search on Bibsonomy Journal of Systems and Software The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer, Luqi Toward formal models of software engineering processes. Search on Bibsonomy Journal of Systems and Software The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer Introducing the GRASPIN specification language SEGRAS, . Search on Bibsonomy Journal of Systems and Software The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer, Claus Hoffmann, Louis Marinos, A. Sesterhenn Coordinating software process activities. Search on Bibsonomy ISPW The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer, Heinz W. Schmidt Developing Integrated Environments with ASDL. Search on Bibsonomy IEEE Software The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer Specifying concurrent objects. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Wolfgang A. Halang, Bernd J. Krämer Methodologies for meeting hard deadlines in industrial distributed real-time systems. Search on Bibsonomy COMPSAC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer Concepts, syntax and semantics of SEGRAS: a specification language for distributed systems. Search on Bibsonomy 1989   RDF
1Bernd J. Krämer, Heinz W. Schmidt Object-Oriented Development of Integrated Programming Environments with ASDL. Search on Bibsonomy SIGSMALL/PC The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems. Search on Bibsonomy ICSE The full citation details ... 1987 DBLP  BibTeX  RDF
1Bernd J. Krämer Stepwise construction of non-sequential software systems using a net-based specification language. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer Formal and Semi-Graphic Specification of Non-Sequential Systems. Search on Bibsonomy Entwurf großer Software-Systeme The full citation details ... 1984 DBLP  BibTeX  RDF
1Bernd J. Krämer, Heinz W. Schmidt A High Level Net Language for Stepwise Modeling of Organizational Systems. Search on Bibsonomy International Working Conference on Model Realism The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer, Heinz W. Schmidt Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. Search on Bibsonomy GI Jahrestagung The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
1Bernd J. Krämer, Heinz W. Schmidt Interaktive Softwareentwicklung durch schrittweise Formalisierung. Search on Bibsonomy Software Engineering The full citation details ... 1980 DBLP  BibTeX  RDF
1Bernd J. Krämer, Heinz W. Schmidt Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars. Search on Bibsonomy GI Jahrestagung The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #99 of 99 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license