David K. Probst

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1993

Verifying Timed Behavior Automata with Input/Output Critical Races.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Verifying Timed Behavior Automata with Nonbinary Delay Constraints.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

Partial-Order Model Checking: A Guide for the Perplexed.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Optimal VLSI Dictionary Machines Without Compress Instructions.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1990

Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1988

Abstract Specification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

1987

A fast, low-space algorithm for multiplying dense multivariate polynomials.

[BibT_eX]

[DOI]

ACM Trans. Math. Softw., 1987

1982

An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra, 1982

1980

Corrigendum: A Family of Algorithms for Powering Sparse Polynomials.

[BibT_eX]

[DOI]

SIAM J. Comput., 1980

1979

A Family of Algorithms for Powering Sparse Polynomials.

[BibT_eX]

[DOI]

SIAM J. Comput., 1979

1977

Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials.

[BibT_eX]