Douglas N. Hoover

According to our database, Douglas N. Hoover authored at least 7 papers between 1982 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Software Smart Cards via Cryptographic Camouflage.

Douglas N. Hoover, B. N. Kausik

Proceedings of the 1999 IEEE Symposium on Security and Privacy, 1999

1997

Limiting Semantics of Numerical Programs.

Douglas N. Hoover

Theor. Comput. Sci., 1997

1995

Maximal limit spaces, powerspaces, and Scott domains.

Douglas N. Hoover

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

1987

An Analytic Completeness Theorem for Logics with Probability Quantifiers.

Douglas N. Hoover

J. Symb. Log., 1987

1985

A Probabilistic Interpolation Theorem.

Douglas N. Hoover

J. Symb. Log., 1985

1984

Regular Prefix Relations.

Dana Angluin, Douglas N. Hoover

Math. Syst. Theory, 1984

1982

A Normal Form Theorem for L _{omega 1p} , with Applications.

Douglas N. Hoover

J. Symb. Log., 1982