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

Search the dblp DataBase

Title:
Author:
Hervé J. Touati: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hervé J. Touati, Alvin M. Despain
    An Empirical Study of the Warren Abstract Machine. [Citation Graph (2, 0)][DBLP]
    SLP, 1987, pp:114-124 [Conf]
  2. Ramin Hojati, Hervé J. Touati, Robert P. Kurshan, Robert K. Brayton
    Efficient omega-Regular Language Containment. [Citation Graph (0, 0)][DBLP]
    CAV, 1992, pp:396-409 [Conf]
  3. Hervé J. Touati, Toshiyuki Hama
    A Light-Weight Prolog Garbage Collector. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:922-930 [Conf]
  4. Joel Grodstein, Eric Lehman, Heather Harkness, Hervé J. Touati, Bill Grundmann
    Optimal latch mapping and retiming within a tree. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1994, pp:242-245 [Conf]
  5. K. Kodandapani, Joel Grodstein, Antun Domic, Hervé J. Touati
    A simple algorithm for fanout optimization using high-performance buffer libraries. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1993, pp:466-471 [Conf]
  6. Bill Lin, Hervé J. Touati, A. Richard Newton
    Don't Care Minimization of Multi-Level Sequential Logic Networks. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1990, pp:414-417 [Conf]
  7. Robert N. Mayo, Hervé J. Touati
    Boolean matching for full-custom ECL gates. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1993, pp:472-477 [Conf]
  8. Hamid Savoj, Robert K. Brayton, Hervé J. Touati
    Extracting Local Don't Cares for Network Optimization. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1991, pp:514-517 [Conf]
  9. Hervé J. Touati, Hamid Savoj, Robert K. Brayton
    Delay Optimization of Combinational Logic Circuits By Clustering and Partial Collapsing. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1991, pp:188-191 [Conf]
  10. Hervé J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
    Implicit State Enumeration of Finite State Machines Using BDDs. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1990, pp:130-133 [Conf]
  11. Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan
    Testing Language Containment for omega-Automata Using BDD's [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:118, n:1, pp:101-109 [Journal]
  12. Hervé J. Touati
    Is Ada an Object Oriented Programming Language? [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1987, v:22, n:5, pp:23-26 [Journal]
  13. Hervé J. Touati, Alan Jay Smith
    Reducing and Manipulating Complex Trace Data. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1991, v:21, n:6, pp:639-655 [Journal]
  14. Hervé J. Touati, Robert K. Brayton
    Computing the initial states of retimed circuits. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1993, v:12, n:1, pp:157-162 [Journal]

Search in 0.006secs, Finished in 0.007secs
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