Edward P. Stabler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
1965–2017
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | FG | Reforming AMR. | Edward P. Stabler |
| 1995 | ISCAS | Collective Test Generation and Test Set Compaction. | Jiang Chau Wang, Edward P. Stabler |
| 1991 | MuC | ITP Interpretext system: MUC-3 test results and analysis. | Kathleen Dahlgren, Carol Lord, Hajime Wada, Joyce P. McDowell, Edward P. Stabler |
| 1991 | MuC | ITP: description of the Interpretext system as used for MUC-3. | Kathleen Dahlgren, Carol Lord, Hajime Wada, Joyce P. McDowell, Edward P. Stabler |
| 1987 | DAC | Boolean Comparison by Simulation. | Edward P. Stabler, Haluk Bingol |
| 1984 | DAC | Computer aided design (CAD) using logic programming. | Paul W. Horstmann, Edward P. Stabler |
| 1982 | DAC | A formal method for computer design verification. | Vijay Pitchumani, Edward P. Stabler |
| 1979 | DAC | Placement algorithm by partitioning for optimum rectangular placement. | Edward P. Stabler, Victor M. Kureichik, Valery A. Kalashnikov |
| 1965 | FOCS | Threshold gate network synthesis | Edward P. Stabler |