Jason J. Hickey

Publication Activity (10 Years)

Years Active: 1991-1997
Publications (10 Years): 0

Publications

Jason J. Hickey
Nuprl-Light: An Implementation Framework for Higher-Order Logics. CADE (1997)
James N. Giacopelli, Jason J. Hickey, William S. Marcus, W. David Sincoskie, Morgan Littlewood
Sunshine: A High-Performance Self-Routing Broadband Packet Switch Architecture. IEEE J. Sel. Areas Commun. 9 (8) (1991)