dblp.uni-trier.dewww.uni-trier.de

Ted Stanion Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2003
9EEPer Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu: Guiding SAT Diagnosis with Tree Decompositions. SAT 2003: 315-329
2002
8EEDemos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion: A practical and efficient method for compare-point matching. DAC 2002: 305-310
1999
7EETed Stanion: Implicit Verification of Structurally Dissimilar Arithmetic Circuits. ICCD 1999: 46-50
1995
6EETed Stanion, Carl Sechen: Quasi-algebraic decompositions of switching functions. ARVLSI 1995: 358-367
5EETed Stanion, Carl Sechen: A Method for Finding Good Ashenhurst Decompositions and Its Application to FPGA Synthesis. DAC 1995: 60-64
4EETed Stanion, Debashis Bhattacharya, Carl Sechen: An efficient method for generating exhaustive test sets. IEEE Trans. on CAD of Integrated Circuits and Systems 14(12): 1516-1525 (1995)
1994
3EETed Stanion, Carl Sechen: Boolean division and factorization using binary decision diagrams. IEEE Trans. on CAD of Integrated Circuits and Systems 13(9): 1179-1184 (1994)
1993
2EETed Stanion, Carl Sechen: Maximum projections of don't care conditions in a Boolean network. ICCAD 1993: 674-679
1991
1 Ted Stanion, Debashis Bhattacharya: TSUNAMI: A Path Oriented Scheme for Algebraic Test Generation. FTCS 1991: 36-43

Coauthor Index

1Demos Anastasakis [8]
2Debashis Bhattacharya [1] [4]
3Per Bjesse [9]
4Robert F. Damiano [8] [9]
5James H. Kukula [9]
6Hi-Keung Tony Ma [8]
7Carl Sechen [2] [3] [4] [5] [6]
8Yunshan Zhu [9]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)