Citation Impact
Citing Papers
The rise of graphene
2007 StandoutNobel
SIS : A System for Sequential Circuit Synthesis
1992 Standout
Tunnel field-effect transistors as energy-efficient electronic switches
2011 StandoutNature
The MetaCyc database of metabolic pathways and enzymes and the BioCyc collection of pathway/genome databases
2015 Standout
Engineering atomic and molecular nanostructures at surfaces
2005 StandoutNature
VLSI Test Principles and Architectures: Design for Testability
2006
Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools
2015
Synthesis of software programs for embedded control applications
1999
Survey of Test Vector Compression Techniques
2006 Standout
An algorithm for reliability analysis of phased-mission systems
1999
Wrappers for feature subset selection
1997 Standout
Incorporating organizational factors into Probabilistic Risk Assessment (PRA) of complex socio-technical systems: A hybrid technique formalization
2008
Symbolic Boolean manipulation with ordered binary-decision diagrams
1992 Standout
Probabilistic verification of Boolean functions
1992
Silicon single-electron devices
2002
System architecture directions for networked sensors
2000 Standout
Symbolic model checking: 1020 States and beyond
1992 Standout
Decision Trees and Diagrams
1982
Prioritizing test cases for regression testing
2001 Standout
Single-electron AND/NAND logic circuits based on a self-organized dot network
2003
An Analysis and Survey of the Development of Mutation Testing
2010 Standout
Principles and methods of testing finite state machines-a survey
1996 Standout
Weak Mutation Testing and Completeness of Test Sets
1982
Graph-Based Algorithms for Boolean Function Manipulation
1986 Standout
Device and Architecture Outlook for Beyond CMOS Switches
2010
Choosing a heuristic for the "fault tree to binary decision diagram" conversion, using neural networks
2002
Basic concepts and taxonomy of dependable and secure computing
2004 Standout
An overview of fault tree analysis and its application in model based dependability analysis
2017 Standout
SCIP: solving constraint integer programs
2009
Hydrogen storage and delivery: Review of the state of the art technologies and risk and reliability analysis
2019 Standout
On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
1991
Algorithms for Bayesian network modeling and reliability assessment of infrastructure systems
2016
Model-based evaluation: from dependability to security
2004 Standout
Works of Akers being referenced
Binary Decision Diagrams
1978
A Logic System for Fault Test Generation
1976
Test Generation Techniques
1980