The following pages link to Yaron Wolfsthal (Q209469):
Displaying 8 items.
- A simple linear-time algorithm for the recognition of bandwidth-2 biconnected graphs (Q1802068) (← links)
- Model checking at IBM (Q1870213) (← links)
- Two-page book embedding of trees under vertex-neighborhood constraints (Q2367407) (← links)
- (Q2754115) (← links)
- (Q4787226) (← links)
- (Q4804920) (← links)
- (Q4808827) (← links)
- On the effective deployment of functional formal verification (Q5946345) (← links)
