Paul Loewenstein

	1995
8		Lawrence Yang, David Gao, Jamshid Mostoufi, Raju Joshi, Paul Loewenstein: System Design Methodology of UltraSPARC-I. DAC 1995: 7-12
7		Paul Loewenstein: Formal Verification of Counterflow Pipeline Architecture. TPHOLs 1995: 261-276
	1993
6		Paul Loewenstein: A Formal Theory of Simulations between Infinite Automata. Formal Methods in System Design 3(1/2): 117-149 (1993)
	1992
5		Paul Loewenstein: A Formal Theory of Simulations Between Infinite Automata. TPHOLs 1992: 227-246
4		Paul Loewenstein: Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. Formal Methods in System Design 1(4): 355-383 (1992)
	1991
3		Paul Loewenstein: Learning to use HOL. TPHOLs 1991: 67-74
	1990
2		Paul Loewenstein, David L. Dill: Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. CAV 1990: 302-311
	1989
1		Paul Loewenstein: Reasoning about State Machines in Higher-Order Logic. Hardware Specification, Verification and Synthesis 1989: 67-89

Coauthor Index

1	David L. Dill	[2]
2	David Gao	[8]
3	Raju Joshi	[8]
4	Jamshid Mostoufi	[8]
5	Lawrence Yang	[8]

Colors in the list of coauthors