H. James Hoover

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards Automatic Exception Safety Verification FM 2006: Formal Methods	2008-06-17	Paper
scientific article; zbMATH DE number 2088745 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1332660 (Why is no real title available?)	1999-09-08	Paper
scientific article; zbMATH DE number 784042 (Why is no real title available?)	1995-08-13	Paper
scientific article; zbMATH DE number 619538 (Why is no real title available?)	1994-09-13	Paper
scientific article; zbMATH DE number 176208 (Why is no real title available?)	1993-05-18	Paper
Real functions, contraction mappings, and P-completeness Information and Computation	1991-01-01	Paper
Feasible Real Functions and Arithmetic Circuits SIAM Journal on Computing	1990-01-01	Paper
scientific article; zbMATH DE number 4110107 (Why is no real title available?)	1989-01-01	Paper
Log Depth Circuits for Division and Related Problems SIAM Journal on Computing	1986-01-01	Paper
A Depth-Universal Circuit SIAM Journal on Computing	1985-01-01	Paper
Bounding Fan-out in Logical Networks Journal of the ACM	1984-01-01	Paper

Research outcomes over time

This page was built for person: H. James Hoover