Michael Payer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1980–1995
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | DAC | Model Checking in Industrial Hardware Design. | Jrg Bormann, Jrg Lohse, Michael Payer, Gerd Venzl |
| 1991 | DAC | Data-Path Synthesis Using Path Analysis. | Reinaldo A. Bergamaschi, Raul Camposano, Michael Payer |
| 1988 | GI | Hierarchische Zerlegung von Graphen mit zwei ausgezeichneten Knoten mit Anwendugen bei der Synthese und Analyse von MOS-Schaltungen. | Michael Payer |
| 1980 | GI | Systematischer Entwurf von Makroprozessoren. | Michael Payer |