Jason J. Hickey

According to our database¹, Jason J. Hickey authored at least 3 papers between 1991 and 2000.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2000

The MetaPRL Logical Programming Environment.

[BibT_eX]

PhD thesis, 2000

1997

Nuprl-Light: An Implementation Framework for Higher-Order Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1997

1991

Sunshine: A High-Performance Self-Routing Broadband Packet Switch Architecture.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 1991