The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Dirk W. Hoffmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dirk W. Hoffmann, Thomas Kropf
    Automatic Error Correction of Large Circuits Using Boolean Decomposition and Abstraction. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:157-171 [Conf]
  2. Dirk W. Hoffmann, Thomas Kropf
    Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits. [Citation Graph (0, 0)][DBLP]
    DATE, 2000, pp:758- [Conf]
  3. Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller 0003
    The simulation semantics of systemC. [Citation Graph (0, 0)][DBLP]
    DATE, 2001, pp:64-70 [Conf]
  4. Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel
    Simulation-guided property checking based on a multi-valued AR-automata. [Citation Graph (0, 0)][DBLP]
    DATE, 2001, pp:742-748 [Conf]
  5. Dirk W. Hoffmann, Thomas Kropf
    Can Automatic Design Error Correction be Applied to Large Circuits? [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2000, pp:1114-1121 [Conf]
  6. Dirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
    Simulation Meets Verification: Checking Temporal Properties in SystemC. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 2000, pp:1435-0 [Conf]
  7. Dirk W. Hoffmann, Thomas Kropf
    Efficient Design Error Correction of Digital Circuits. [Citation Graph (0, 0)][DBLP]
    ICCD, 2000, pp:465-472 [Conf]
  8. Dirk W. Hoffmann, Thomas Kropf
    Automatic Error Correction of Tri-State Circuits. [Citation Graph (0, 0)][DBLP]
    ICCD, 1999, pp:51-0 [Conf]
  9. Klaus Schneider, Dirk W. Hoffmann
    A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:255-272 [Conf]

Search in 0.001secs, Finished in 0.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002