The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Klaus Winkelmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Klaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey
    Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor. [Citation Graph (0, 0)][DBLP]
    DATE, 2004, pp:162-167 [Conf]
  2. Hans Delfs, Klaus Winkelmann
    TOROS-HYPER: A Tool for the Integration of Hyper Documents into Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
    DEXA, 1991, pp:275-280 [Conf]
  3. Helmut Melcher, Klaus Winkelmann
    Controller synthesis for the "production cell" case study. [Citation Graph (0, 0)][DBLP]
    FMSP, 1998, pp:24-33 [Conf]
  4. Klaus Winkelmann, Thomas Filkorn
    System Verification Environment - SVE. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:783-783 [Conf]
  5. Klaus Winkelmann, Klaus Nökel
    Control Specification Language - CSL. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:782-782 [Conf]
  6. Klaus Nökel, Klaus Winkelmann
    CSL. [Citation Graph (0, 0)][DBLP]
    Formal Development of Reactive Systems, 1995, pp:55-74 [Conf]
  7. Klaus Winkelmann
    Formal Verification. [Citation Graph (0, 0)][DBLP]
    VLSI-SOC, 2003, pp:10-0 [Conf]
  8. Klaus Winkelmann
    Formal Methods in Designing Embedded Systems-the SACRES Experience. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:19, n:1, pp:81-110 [Journal]
  9. Gabriele Schmiedel, Klaus Winkelmann
    Ein wissensbasiertes Diagnosesystem in der Halbleiterfertigung. [Citation Graph (0, 0)][DBLP]
    KI, 1989, v:3, n:3, pp:60-63 [Journal]
  10. Klaus Winkelmann
    Bericht über die Fourth International Expert Systems Conference. [Citation Graph (0, 0)][DBLP]
    KI, 1988, v:2, n:4, pp:20-21 [Journal]
  11. Klaus Winkelmann
    Conference on Innovative Applications of Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    KI, 1989, v:3, n:3, pp:20-23 [Journal]
  12. Klaus Winkelmann
    Zweite Konferenz ``Innovative Applications of Artificial Intelligence''. [Citation Graph (0, 0)][DBLP]
    KI, 1990, v:4, n:3, pp:30-32 [Journal]
  13. Klaus Winkelmann
    Zum Berufsbild des Wissensingenieurs - ein Diskussionsbeitrag. [Citation Graph (0, 0)][DBLP]
    KI, 1990, v:4, n:3, pp:33-36 [Journal]
  14. Klaus Winkelmann
    Wissensbasiertes Retrieval in großen Datenbanken, Workshop 7 der GWAI '91. [Citation Graph (0, 0)][DBLP]
    KI, 1991, v:5, n:4, pp:26-28 [Journal]
  15. Klaus Winkelmann
    An improved strategy for a counterfeit coin problem. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Information Theory, 1982, v:28, n:1, pp:120-0 [Journal]

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