The SCEAS System
Navigation Menu

Journals in DBLP

STTT
2001, volume: 3, number: 2

  1. Ed Brinksma
    Verification is experimentation! [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:2, pp:107-111 [Journal]
  2. Rolf Drechsler, Detlef Sieling
    Binary decision diagrams in theory and practice. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:2, pp:112-136 [Journal]
  3. Randal E. Bryant, Yirng-An Chen
    Verification of arithmetic circuits using binary moment diagrams. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:2, pp:137-155 [Journal]
  4. Shin-ichi Minato
    Zero-suppressed BDDs and their applications. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:2, pp:156-170 [Journal]
  5. Fabio Somenzi
    Efficient manipulation of decision diagrams. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:2, pp:171-181 [Journal]
  6. Stefan Höreth
    A word-level graph manipulation package. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:2, pp:182-192 [Journal]
  7. Justin E. Harlow III, Franc Brglez
    Design of experiments and evaluation of BDD ordering heuristics. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:2, pp:193-206 [Journal]
  8. Janett Mohnke, Paul Molitor, Sharad Malik
    Application of BDDs in Boolean matching techniques for formal logic combinational verification. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:2, pp:207-216 [Journal]
  9. Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders
    Parallel programming with a pattern language. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:2, pp:217-234 [Journal]
  10. Alberto Bartoli, Gianluca Dini, Lanfranco Lopriore
    Application-controlled memory management in a single address space environment. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:2, pp:235-245 [Journal]
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