Robert B. Mueller-Thuns
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1988–1994
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | CAV | Improving Language Containment Using Fairness Graphs. | Ramin Hojati, Robert B. Mueller-Thuns, Robert K. Brayton |
| 1990 | ICCAD | SNEL: A Switch-Level Simulator Using Multiple Levels of Functional Abstraction. | David T. Blaauw, Robert B. Mueller-Thuns, Daniel G. Saab, Prithviraj Banerjee, Jacob A. Abraham |
| 1990 | ICCD | Fault grading of large digital systems. | Daniel G. Saab, Robert B. Mueller-Thuns, David T. Blaauw, Joseph T. Rahmeh, Jacob A. Abraham |
| 1990 | SC | Design of a scalable parallel switch-level simulator for VLSI. | Robert B. Mueller-Thuns, Daniel G. Saab, Jacob A. Abraham |
| 1989 | DAC | Automatic Generation of Behavioral Models from Switch-Level Descriptions. | David T. Blaauw, Daniel G. Saab, Robert B. Mueller-Thuns, Jacob A. Abraham, Joseph T. Rahmeh |
| 1989 | ICCAD | Portable parallel logic and fault simulation. | Robert B. Mueller-Thuns, Daniel G. Saab, Robert F. Damiano, Jacob A. Abraham |
| 1989 | ICPP | Algorithm-Based Fault Tolerance for Adaptive Least Squares Lattice Filtering on a Hypercube Multiprocessor. | Robert B. Mueller-Thuns, David McFarland, Prithviraj Banerjee |
| 1988 | ICCAD | CHAMP: concurrent hierarchical and multilevel program for simulation of VLSI circuits. | Daniel G. Saab, Robert B. Mueller-Thuns, David T. Blaauw, Jacob A. Abraham, Joseph T. Rahmeh |