Robert Kurshan

Available identifiers

zbMath Open kurshan.robert-pWikidataQ15116119 ScholiaQ15116119MaRDI QIDQ1696591

List of research outcomes

Publication	Date of Publication	Type
Verifying abstractions of timed systems	2023-06-28	Paper
Transfer of Model Checking to Industrial Practice	2018-07-20	Paper
A methodology to take credit for high-level verification during RTL verification	2018-02-14	Paper
The complexity of verification	2016-09-01	Paper
Verification Technology Transfer	2008-07-15	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4818807	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4737573	2004-08-11	Paper
Minimal length test vectors for multiple-fault detection	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4417912	2003-07-30	Paper
Combining software and hardware verification techniques	2003-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4804926	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4551135	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4551169	2002-09-04	Paper
Which Branching-Time Properties are Effectively Linear?	2002-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q2764134	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2756738	2001-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q2754105	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2754119	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4518423	2000-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4503928	2000-09-14	Paper
Timing verification by successive approximation	2000-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4218940	1999-03-30	Paper
A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata	1999-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q4845328	1995-09-11	Paper
Testing language containment for \(\omega\)-automata using BDDs	1995-07-05	Paper
A structural induction theorem for processes	1995-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4326390	1995-03-19	Paper
A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4037104	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037393	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4027622	1993-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4207567	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787428	1988-01-01	Paper
Complementing deterministic Büchi automata in polynomial time	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3690204	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3316571	1984-01-01	Paper
Every T-space is equivalent to a T-space of continuous functions	1981-01-01	Paper
Values of cyclotomic polynomials at roots of unity.	1981-01-01	Paper
Embedding an arbitrary function into a Tchebycheff space	1977-01-01	Paper
The existence in T-spaces of functions with prescribed alternations	1977-01-01	Paper
The oscillation theorem for Tchebycheff spaces of bounded functions, and a converse	1977-01-01	Paper
Recursively Generated Periodic Sequences	1974-01-01	Paper
Coset analysis of reed muller codes via translates of finite vector spaces	1972-01-01	Paper
On the Addressing Problem of Loop Switching	1972-01-01	Paper
Rings whose cyclic modules have finitely generated socle	1970-01-01	Paper
All Terminal Bubbles Programs Yield the Elementary Symmetric Polynomials	1970-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert Kurshan