- Implementing a STARI Chip \Lambda Mark R. Greenstreet
- Computing Synchronizer Failure Probabilities Suwen Yang Mark Greenstreet +
- Equalizing Filter Design for Crosstalk Cancellation Jihong Ren and Mark Greenstreet
- Synthesizing Optimal Filters for Crosstalkcancellation for HighSpeed Buses
- Proving Newtonian Arbiters Correct, almost surely Ian Mitchell & Mark R. Greenstreet
- A NegativeOverhead, SelfTimed Pipeline Brian D. Winters and Mark R. Greenstreet
- Formal Verification in Hardware Design: A Survey CHRISTOPH KERN and MARK R. GREENSTREET
- A Smooth Dynamical System that Counts in Binary Mark R. Greenstreet Xuemei Huang
- A fast, asP*, RGD arbiter Mark R. Greenstreet \Lambda , Tarik OnoTesfaye y
- Integrating Projections Mark R. Greenstreet Ian Mitchell
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Verifying Safety Properties of Differential Equations Mark R. Greenstreet, mrg@cs.ubc.ca
- Efficient SelfTimed Interfaces for Crossing Clock Domains Ajanta Chakraborty and Mark R. Greenstreet
- Using Synchronized Transitions for Simulation and Timing Verification
- Pragmatic verification for hybrid and realtime Mark R. Greenstreet
- A Minimal Source-Synchronous Interface Ajanta Chakraborty and Mark R. Greenstreet
- Analysing the Robustness of Surfing Circuits Suwen Yang and Mark R. Greenstreet
- Reachability Analysis Using Polygonal Projections
- Simulating Improbable Events Circuits such as flipflops, sense amplifiers and syn
- Temporal Properties of Self-Timed Rings Anthony Winstanley and Mark Greenstreet
- Sun Microsystems Laboratories Subject: An Event Spacing Experiment
- A Minimal SourceSynchronous Interface Ajanta Chakraborty and Mark R. Greenstreet
- Verification of SpeedIndependent DataPath David T. Weih
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Equalizing Filter Design for Crosstalk Cancellation Jihong Ren and Mark Greenstreet
- SelfTimed Meshes Are Faster Than Synchronous Peggy B.K. Pang Mark R. Greenstreet
- A Jitter Attenuating Timing Chain Suwen Yang, Mark R. Greenstreet and Jihong Ren #
- A LightWeight Framework for Hardware Verification
- An Event Spacing Experiment Anthony J. Winstanley, Aurelien Garivier, and Mark R. Greenstreet
- How to Achieve WorstCase Performance Mark R. Greenstreet and Brian de Alwis
- Verifying a SelfTimed Divider Tarik OnoTesfaye Christoph Kern Mark R. Greenstreet \Lambda
- RealTime Merging Mark R. Greenstreet, \Lambda
- Analysing the Robustness Surfing Circuits Suwen Yang and Mark Greenstreet
- A HybridSystems View of Discrete Computation
- How fast will the flip flop? Mark R. Greenstreet and Peter Cahoon
- Submitted to DATE'07. Please do not distribute Computing Synchronizer Failure Probabilities
- In preparation for submission to ASYNC'07. Please do not distribute A Jitter Attenuating Timing Chain
- Synthesizing Optimal Filters for Crosstalk-cancellation for High-Speed Buses
- Efficient Self-Timed Interfaces for Crossing Clock Domains Ajanta Chakraborty and Mark R. Greenstreet
- Integrating Projections Mark R. Greenstreet Ian Mitchell
- A Negative-Overhead, Self-Timed Pipeline Brian D. Winters and Mark R. Greenstreet
