Michael Payer

	2001
8		Michael Payer: Industrial Experience with Formal Verification (Industrielle Erfahrungen mit Formaler Verifikation). it+ti - Informationstechnik und Technische Informatik 43(1): 16-21 (2001)
	1995
7		Jörg Bormann, Jörg Lohse, Michael Payer, Gerd Venzl: Model Checking in Industrial Hardware Design. DAC 1995: 298-303
	1993
6		J. Biesenack, M. Koster, A. Langmaier, S. Ledeux, S. Marz, Michael Payer, Michael Pilsl, S. Rumler, H. Soukup, Norbert Wehn, Peter Duzy: The Siemens high-level synthesis system CALLAS. IEEE Trans. VLSI Syst. 1(3): 244-253 (1993)
	1992
5		J. Biesenack, Norbert Wehn, A. Stoll, Michael Payer: Data Part Optimizations in the CALLAS Synthesis Environment. Synthesis for Control Dominated Circuits 1992: 263-274
	1991
4		Reinaldo A. Bergamaschi, Raul Camposano, Michael Payer: Data-Path Synthesis Using Path Analysis. DAC 1991: 591-596
	1989
3		Michael Payer: Finite State Machine Theory as a Tool for Construction of Systolic Arrays. EUROCAST 1989: 212-224
	1988
2		Michael Payer: Hierarchische Zerlegung von Graphen mit zwei ausgezeichneten Knoten mit Anwendugen bei der Synthese und Analyse von MOS-Schaltungen. GI Jahrestagung (2) 1988: 174-190
	1980
1		Michael Payer: Systematischer Entwurf von Makroprozessoren. GI Jahrestagung 1980: 541

Coauthor Index

1	Reinaldo A. Bergamaschi	[4]
2	J. Biesenack	[5] [6]
3	Jörg Bormann	[7]
4	Raul Camposano	[4]
5	Peter Duzy	[6]
6	M. Koster	[6]
7	A. Langmaier	[6]
8	S. Ledeux	[6]
9	Jörg Lohse	[7]
10	S. Marz	[6]
11	Michael Pilsl	[6]
12	S. Rumler	[6]
13	H. Soukup	[6]
14	A. Stoll	[5]
15	Gerd Venzl	[7]
16	Norbert Wehn	[5] [6]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page