Paul Loewenstein
发表
Paul Loewenstein,
P. Loewenstein,
1989,
Hardware Specification, Verification and Synthesis.
John R. Feehrer,
Paul Loewenstein,
Sumti Jairath,
2013,
IEEE Micro.
Paul Loewenstein,
Andrew Fox,
P. Loewenstein,
1988,
Microprocess. Microprogramming.
Paul Loewenstein,
1965
.
Paul Loewenstein,
P. Loewenstein,
1992,
Formal Methods Syst. Des..
Paul Loewenstein,
P. Loewenstein,
1991,
1991., International Workshop on the HOL Theorem Proving System and Its Applications.
Paul Loewenstein,
P. Loewenstein,
1995,
TPHOLs.
Vijay Srinivasan,
Dawei Huang,
Venkatram Krishnaswamy,
2016,
IEEE Journal of Solid-State Circuits.
David L. Dill,
Paul Loewenstein,
1990,
Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Paul Loewenstein,
1992,
Formal Methods Syst. Des..
Vijay Srinivasan,
Dawei Huang,
Venkatram Krishnaswamy,
2015,
2015 IEEE International Solid-State Circuits Conference - (ISSCC) Digest of Technical Papers.
David L. Dill,
Paul Loewenstein,
1990,
CAV.
Thomas Wicki,
Kathirgamar Aingaran,
Stephen Phillips,
2015,
IEEE Micro.
Paul Loewenstein,
S. N. Terepin,
1983,
ICASSP.
Paul Loewenstein,
1982,
ICASSP.
David Gao,
Paul Loewenstein,
Lawrence Yang,
1995,
DAC '95.
Marjan Radi,
Wesley W. Terpstra,
Paul Loewenstein,
2019,
2019 IEEE Symposium on High-Performance Interconnects (HOTI).
Robert Cypher,
Chaiyasit Manovit,
Paul Loewenstein,
2006
.