Michael Spivey

According to our database, Michael Spivey authored at least 2 papers in 2002.

Collaborative distances:

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

2002

A Compositional Framework for Hardware/Software Co-Design.

Antonio Cau, Roger Hale, Jordan Dimitrov, Hussein Zedan, Ben C. Moszkowski, M. Manjunathaiah, Michael Spivey

Des. Autom. Embed. Syst., 2002

Mechanical Reasoning about Gear-and-belt Diagrams: Do Eye-movements Predict Performance?

Leon Rozenblit, Michael Spivey, Julie Wojslawowicz

Proceedings of the Diagrammatic Representation and Reasoning, 2002