David K. Probst - Citegraph

Author Info

Name	Affiliation	Papers
DAVID K. PROBST	Concordia Univ., Montreal, Canada	13
Collaborators	Citations	PageRank
4	103	29.79
Referers	Referees	References
184	69	57

Search Limit

100184

Publications (13 rows)

Collaborators (4 rows)

Referers (100 rows)

Referees (69 rows)

Title	Citations	PageRank	Year
Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada	20	4.90	1997
Verifying Timed Behavior Automata with Input/Output Critical Races	0	0.34	1993
Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings	32	10.64	1993
Verifying Timed Behavior Automata with Nonbinary Delay Constraints	1	0.36	1992
Partial-Order Model Checking: A Guide for the Perplexed	11	3.09	1991
Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems	25	6.97	1990
Optimal VLSI Dictionary Machines Without Compress Instructions	6	0.69	1990
Abstract pecification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations	1	0.40	1988
A fast, low-space algorithm for multiplying dense multivariate polynomials	2	0.43	1987
An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials	1	0.41	1982
Corrigendum: A Family of Algorithms for Powering Sparse Polynomials	0	0.34	1980
Family Of Algorithms For Powering Sparse Polynomials	4	0.88	1979
Binomial-Expansion Algorithms for Copmuting Integer Powers of Sparse Polynomials	0	0.34	1977

1