Skip to search formSkip to main contentSkip to account menu

Randal Bryant

Known as: Randal E. Bryant, Randy Bryant 
Randal E. Bryant (born October 27, 1952) is an American computer scientist and academic noted for his research on formally verifying digital hardware… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Binary decision diagramComputer scientistEdmund M. ClarkeElectronic circuit

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Reaching Shared Goals in Higher Education: A Collaboration of the Library and Disability Support Services
How do departments in higher education partner and collaborate to support student academic success? Is collaboration a result of… 
Highly Cited
2009
Highly Cited
2009
CoCo: coding cost for parameter-free outlier detection
How can we automatically spot all outstanding observations in a data set? This question arises in a large variety of applications… 
Review
2007
Review
2007
Special Issues Raised by Rape Trials
Rape cases reveal core conflicts in the space where evidence, law, and ethics intersect. Such conflicts include the tension… 
2004
2004
Kof' abantu, kosal' izibongo? : contested histories of Shaka, Phungashe and Zwide in izibongo and izithakazelo.
In this dissertation, I argue that there is a pressing need in post-apartheid KwaZulu-Natal to re-assess the eighteenthand… 
2002
2002
Harmonic morphisms with 1-dimensional fibres on 4-dimensional Einstein manifolds
Harmonic morphisms are smooth maps between Riemannian manifolds which preserve Laplace's equation. They are characterised as… 
2001
2001
Experience with term level modeling and verification of the M*CORE/sup TM/ microprocessor core
The paper describes the use of term-level modeling and verification of an industrial microprocessor, M*CORE/sup TM/ which is a… 
1995
1995
Michel parameters and τ neutrino helicity from decay correlations in Z → τ+τ-
1990
1990
The Deforestation of the Brazilian Amazon: Law, Politics, and International Cooperation
1981
1981
A compiler generator for semantic grammars
Acknowledgements For the past three years, John Hennessy has assisted my study of programming languages. He suggested that I… 
1975
1975
A revision of the spider genus Eilica (Araneae, Gnaphosidae). American Museum novitates ; no. 2578
The 12 known species of Eilica are diagnosed and described. The genera Laronia Simon, Gnaphosoides Hogg, and Caridrassus Bryant… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)