The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Norbert Völker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Helmuth Partsch, Norbert Völker
    Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt. [Citation Graph (0, 0)][DBLP]
    Methods of Programming, 1991, pp:35-48 [Conf]
  2. 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]
  3. Norbert Völker
    Disjoint Sums over Type Classes in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:5-18 [Conf]
  4. 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]
  5. Eerke A. Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker
    How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1992, v:35, n:6, pp:547-554 [Journal]
  6. Norbert Völker
    Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:139-159 [Journal]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Norbert Völker
    HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:334-351 [Conf]

  12. Interprom - A Collaborative Framework Driven by Business Needs - Service Oriented Inter-Organisational Support for Business Processes in Collaborative Environments. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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