Rebecca M. Gott

	2012
5		Christopher A. Krygowski, Eli Almog, Dean G. Bair, R. Breil, G. Dittmann, Rebecca M. Gott, William J. Lewis, A. D. Shah, Brian W. Thompto: Key advances in the presilicon functional verification of the IBM zEnterprise microprocessor and storage hierarchy. IBM Journal of Research and Development 56(1): 13 (2012)
	2009
4		Christopher A. Krygowski, Dean G. Bair, Rebecca M. Gott, M. H. Decker, A. V. Giri, Christian Habermann, Matthias Heizmann, Stefan Letz, William J. Lewis, Steven M. Licker, H. Mallar, Edward C. McCain, Wolfgang Roesner, N. Siddique, A. E. Seigler, Brian W. Thompto, K. Weber, Ralf Winkelmann: Functional verification of the IBM System z10 processor chipset. IBM Journal of Research and Development 53(1): 3 (2009)
	2005
3		Yaron Wolfsthal, Rebecca M. Gott: Formal verification: is it real enough? DAC 2005: 670-671
2		Dave W. Victor, John M. Ludden, Richard D. Peterson, Bradley S. Nelson, W. Keith Sharp, James K. Hsu, Bing-Lun Chu, Michael L. Behm, Rebecca M. Gott, Audre D. Romonosky, Steven R. Farago: Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems. IBM Journal of Research and Development 49(4-5): 541-554 (2005)
1		Rebecca M. Gott, Jason Baumgartner, Paul Roessler, S. I. Joe: Functional formal verification on designs of pSeries microprocessors and communication subsystems. IBM Journal of Research and Development 49(4-5): 565-580 (2005)

Coauthor Index

1	Eli Almog	[5]
2	Dean G. Bair	[4] [5]
3	Jason Baumgartner	[1]
4	Michael L. Behm	[2]
5	R. Breil	[5]
6	Bing-Lun Chu	[2]
7	M. H. Decker	[4]
8	G. Dittmann	[5]
9	Steven R. Farago	[2]
10	A. V. Giri	[4]
11	Christian Habermann	[4]
12	Matthias Heizmann	[4]
13	James K. Hsu	[2]
14	S. I. Joe	[1]
15	Christopher A. Krygowski	[4] [5]
16	Stefan Letz	[4]
17	William J. Lewis	[4] [5]
18	Steven M. Licker	[4]
19	John M. Ludden	[2]
20	H. Mallar	[4]
21	Edward C. McCain	[4]
22	Bradley S. Nelson	[2]
23	Richard D. Peterson	[2]
24	Wolfgang Roesner	[4]
25	Paul Roessler	[1]
26	Audre D. Romonosky	[2]
27	A. E. Seigler	[4]
28	A. D. Shah	[5]
29	W. Keith Sharp	[2]
30	N. Siddique	[4]
31	Brian W. Thompto	[4] [5]
32	Dave W. Victor	[2]
33	K. Weber	[4]
34	Ralf Winkelmann	[4]
35	Yaron Wolfsthal (Yaron Wolfstahl)	[3]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page