![]() | ![]() |
1997 | ||
---|---|---|
2 | Jason J. Hickey: Nuprl-Light: An Implementation Framework for Higher-Order Logics. CADE 1997: 395-399 | |
1991 | ||
1 | 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 Journal on Selected Areas in Communications 9(8): 1289-1298 (1991) |
1 | James N. Giacopelli | [1] |
2 | Morgan Littlewood | [1] |
3 | William S. Marcus | [1] |
4 | W. David Sincoskie | [1] |