| 2014 | DATE | A universal symmetry detection algorithm. | Peter M. Maurer |
| 2006 | DATE | Using conjugate symmetries to enhance gate-level simulations. | Peter M. Maurer |
| 2001 | SIGCSE | Identifying an appropriate view of software components for undergraduate education. | Allen S. Parrish, Joe Hollingsworth, Peter M. Maurer, Benjamin Shults, Bruce W. Weide |
| 2000 | DATE | Logic Simulation Using Networks of State Machines. | Peter M. Maurer |
| 2000 | ICCAD | Event Driven Simulation Without Loops or Conditionals. | Peter M. Maurer |
| 2000 | VLSID | State-Machine Based Logic Simulation Using Three Logic Values. | Peter M. Maurer, William J. Schilp |
| 1999 | DATE | Software Bit-Slicing: A Technique for Improving Simulation Performance. | Peter M. Maurer, William J. Schilp |
| 1999 | VLSID | Efficient Simulation for Hierarchical and Partitioned Circuits. | Peter M. Maurer |
| 1996 | ICCAD | Unit delay simulation with the inversion algorithm. | William J. Schilp, Peter M. Maurer |
| 1996 | VLSID | Is Compiled Simulation Really Faster than Interpreted Simulation? | Peter M. Maurer |
| 1994 | ICCAD | The Inversion Algorithm for digital simulation. | Peter M. Maurer |
| 1993 | ICCAD | Parallel multi-delay simulation. | Yun Sik Lee, Peter M. Maurer |
| 1992 | DAC | Two New Techniques for Compiled Multi-Delay Logic Simulation. | Yun Sik Lee, Peter M. Maurer |
| 1990 | DAC | Techniques for Unit-Delay Compiled Simulation. | Peter M. Maurer, Zhicheng Wang |
| 1990 | DAC | LECSIM: A Levelized Event Driven Compiled Logic Simulation. | Zhicheng Wang, Peter M. Maurer |
| 1990 | ICCAD | Optimization of the Parallel Technique for Compiled Unit-Delay Simulation. | Peter M. Maurer |
| 1989 | DAC | Scheduling High-Level Blocks for Functional Simulation. | Zhicheng Wang, Peter M. Maurer |
| 1988 | ICPP | Mapping the Data Flow Model of Computation into an Enhanced Von Neumann Processor. | Peter M. Maurer |