Steve Barrus

According to our database, Steve Barrus authored at least 2 papers in 2005.

Collaborative distances:

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

2005

An Efficient and Robust Ray-Box Intersection Algorithm.

Amy Williams, Steve Barrus, R. Keith Morley, Peter Shirley

J. Graph. Tools, 2005

Gauss: A Framework for Verifying Scientific Computing Software.

Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby

Proceedings of the 3rd Workshop on Software Model Checking, 2005