Matthias Mutz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1988–1998
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | DATE | Register Transfer Level VHDL Models without Clocks. | Matthias Mutz |
| 1998 | FMCAD | Combined Formal Post- and Presynthesis Verification in High Level Synthesis. | Thomas Lock, Michael Mendler, Matthias Mutz |
| 1991 | CAV | Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior. | Matthias Mutz |
| 1988 | GI | Modulare Implementierung von Schaltwerken unter Bercksichtigung topologischer Randbedingungen. | Werner Grass, Matthias Mutz |