The following pages link to Robert Kurshan (Q1696591):
Displaying 48 items.
- (Q685506) (redirect page) (← links)
- A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata (Q685507) (← links)
- Complementing deterministic Büchi automata in polynomial time (Q1116702) (← links)
- Every T-space is equivalent to a T-space of continuous functions (Q1159346) (← links)
- Embedding an arbitrary function into a Tchebycheff space (Q1246101) (← links)
- The existence in T-spaces of functions with prescribed alternations (Q1248917) (← links)
- The oscillation theorem for Tchebycheff spaces of bounded functions, and a converse (Q1248918) (← links)
- A methodology to take credit for high-level verification during RTL verification (Q1696592) (← links)
- Minimal length test vectors for multiple-fault detection (Q1826631) (← links)
- Combining software and hardware verification techniques (Q1871861) (← links)
- Testing language containment for \(\omega\)-automata using BDDs (Q1891138) (← links)
- Timing verification by successive approximation (Q1891141) (← links)
- A structural induction theorem for processes (Q1891157) (← links)
- Rings whose cyclic modules have finitely generated socle (Q2540588) (← links)
- Which Branching-Time Properties are Effectively Linear? (Q2720312) (← links)
- (Q2754105) (← links)
- (Q2754119) (← links)
- (Q2756738) (← links)
- (Q2764134) (← links)
- The complexity of verification (Q2817629) (← links)
- Transfer of Model Checking to Industrial Practice (Q3176381) (← links)
- (Q3316571) (← links)
- Verification Technology Transfer (Q3512432) (← links)
- (Q3690204) (← links)
- (Q3787428) (← links)
- Values of cyclotomic polynomials at roots of unity. (Q3890792) (← links)
- (Q4027622) (← links)
- (Q4037104) (← links)
- (Q4037393) (← links)
- Recursively Generated Periodic Sequences (Q4071992) (← links)
- (Q4207567) (← links)
- (Q4218940) (← links)
- (Q4326390) (← links)
- (Q4417912) (← links)
- (Q4503928) (← links)
- (Q4518423) (← links)
- (Q4551135) (← links)
- (Q4551169) (← links)
- (Q4737573) (← links)
- (Q4804926) (← links)
- (Q4818807) (← links)
- (Q4845328) (← links)
- A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems (Q5285990) (← links)
- Automated Technology for Verification and Analysis (Q5394167) (← links)
- Correct Hardware Design and Verification Methods (Q5493231) (← links)
- All Terminal Bubbles Programs Yield the Elementary Symmetric Polynomials (Q5625186) (← links)
- Coset analysis of reed muller codes via translates of finite vector spaces (Q5650601) (← links)
- On the Addressing Problem of Loop Switching (Q5653929) (← links)
