×

Kurshan, Robert P. (b. 1943 d. 2021)

Author ID: kurshan.robert-p Recent zbMATH articles by "Kurshan, Robert P."
Published as: Kurshan, R. P.; Kurshan, Robert P.; Kurshan, Robert; Kurshan, R.
Homepage: https://ptolemy.berkeley.edu/projects/embedded/esd-seminar/fall97/biodata/kursha...
External Links: MGP · ORCID · Wikidata · IdRef

Publications by Year

Citations contained in zbMATH Open

37 Publications have been cited 246 times in 216 Documents Cited by Year
Computer-aided verification of coordinating processes. The automata- theoretic approach. Zbl 0822.68116
Kurshan, Robert P.
55
1995
Rings whose cyclic modules have finitely generated socle. Zbl 0199.35503
Kurshan, R. P.
36
1970
A structural induction theorem for processes. Zbl 0828.68096
Kurshan, R. P.; McMillan, K. L.
19
1995
Recursively generated periodic sequences. Zbl 0313.26019
Kurshan, R. P.; Gopinath, B.
18
1974
Timing verification by successive approximation. Zbl 0939.68705
Alur, R.; Itai, A.; Kurshan, R. P.; Yannakakis, M.
11
1995
Complementing deterministic Büchi automata in polynomial time. Zbl 0666.68058
Kurshan, R. P.
11
1987
Syntactic program transformations for automatic abstraction. Zbl 0974.68524
Namjoshi, Kedar S.; Kurshan, Robert P.
9
2000
The complexity of verification. Zbl 1345.68220
Kurshan, R. P.
9
1994
A new heuristic for bad cycle detection using BDDs. Zbl 1001.68074
Hardin, R. H.; Kurshan, R. P.; Shukla, S. K.; Vardi, M. Y.
7
2001
On the addressing problem of loop switching. Zbl 0242.94030
Brandenburg, L. H.; Gopinath, B.; Kurshan, R. P.
6
1972
Embedding an arbitrary function into a Tchebycheff space. Zbl 0375.41016
Kurshan, R. P.; Gopinath, B.
5
1977
Values of cyclotomic polynomials at roots of unity. Zbl 0446.12001
Kurshan, R. P.; Odlyzko, A. M.
5
1981
A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata. Zbl 0925.68274
Clarke, E. M.; Draghicescu, I. A.; Kurshan, R. P.
5
1993
A synthesis of two approaches for verifying finite state concurrent systems. Zbl 0688.68019
Clarke, E. M.; Grumberg, O.; Kurshan, R. P.
5
1989
Testing language containment for \(\omega\)-automata using BDDs. Zbl 0826.68050
Touati, Hervé J.; Brayton, Robert K.; Kurshan, R.
4
1995
Verification technology transfer. Zbl 1142.68437
Kurshan, R. P.
4
2008
Coset analysis of Reed-Muller codes via translates of finite vector spaces. Zbl 0238.94005
Kurshan, R. P.; Sloane, N. J. A.
4
1972
Verifying abstractions of timed systems. Zbl 1514.68148
Taşiran, Serdar; Alur, Rajeev; Kurshan, Robert P.; Brayton, Robert K.
4
1996
Modelling concurrent processes. Zbl 0572.68018
Kurshan, R. P.
3
1985
A practical approach to coverage in model checking. Zbl 0991.68042
Chockler, Hana; Kupferman, Orna; Kurshan, Robert P.; Vardi, Moshe Y.
3
2001
Reducibility in analysis of coordination. Zbl 0644.68009
Kurshan, R. P.
2
1988
The existence in T-spaces of functions with prescribed alternations. Zbl 0384.41010
Gopinath, B.; Kurshan, R. P.
2
1977
A unified approach for showing language containment and equivalence between various types of \(\omega\)-automata. Zbl 0759.68063
Clarke, E. M.; Browne, I. A.; Kurshan, R. P.
2
1990
An analysis of sAT-based model checking techniques in an industrial environment. Zbl 1159.68307
Amla, Nina; Du, Xiaoqun; Kuehlmann, Andreas; Kurshan, Robert P.; McMillan, Kenneth L.
2
2005
A synthesis of two approaches for verifying finite state concurrent systems. Zbl 0782.68078
Clarke, E. M.; Grumberg, O.; Kurshan, R. P.
2
1992
Experimental analysis of different techniques for bounded model checking. Zbl 1031.68541
Amla, Nina; Kurshan, Robert; McMillan, Kenneth L.; Medel, Ricardo
2
2003
Computer-aided verification ’90. Proceedings of a 2nd DIMACS workshop, June 18-21, 1990, Rutgers Univ., New Brunswick, NJ, USA. Zbl 0753.00020
1
1991
How linear can branching-time be? Zbl 0949.03512
Grumberg, O.; Kurshan, R. P.
1
1994
Efficient analysis of cyclic definitions. Zbl 1046.68604
Namjoshi, Kedar S.; Kurshan, Robert P.
1
1999
The oscillation theorem for Tchebycheff spaces of bounded functions, and a converse. Zbl 0384.41011
Gopinath, B.; Kurshan, R. P.
1
1977
Task-driven supervisory control of discrete event systems. Zbl 0789.68055
Golaszewski, C. H.; Kurshan, R. P.
1
1991
Every T-space is equivalent to a T-space of continuous functions. Zbl 0474.41013
Gopinath, B.; Kurshan, R. P.
1
1981
Program verification. Zbl 1040.68060
Kurshan, Robert P.
1
2000
A formal object-oriented analysis for software reliability: design for verification. Zbl 0977.68831
Sharygina, Natasha; Browne, James C.; Kurshan, Robert P.
1
2001
Computer-aided verification. 2nd international conference, CAV ’90, New Brunswick, NJ, USA, June 18–21, 1990. Proceedings. Zbl 0756.00006
1
1991
Compressing transitions for model checking. Zbl 1010.68511
Kurshan, Robert; Levin, Vladimir; Yenigün, Hüsnü
1
2002
Existence of reduction hierarchies. Zbl 0909.68119
Kupferman, Orna; Kurshan, Robert P.; Yannakakis, Mihalis
1
1998
Verification technology transfer. Zbl 1142.68437
Kurshan, R. P.
4
2008
An analysis of sAT-based model checking techniques in an industrial environment. Zbl 1159.68307
Amla, Nina; Du, Xiaoqun; Kuehlmann, Andreas; Kurshan, Robert P.; McMillan, Kenneth L.
2
2005
Experimental analysis of different techniques for bounded model checking. Zbl 1031.68541
Amla, Nina; Kurshan, Robert; McMillan, Kenneth L.; Medel, Ricardo
2
2003
Compressing transitions for model checking. Zbl 1010.68511
Kurshan, Robert; Levin, Vladimir; Yenigün, Hüsnü
1
2002
A new heuristic for bad cycle detection using BDDs. Zbl 1001.68074
Hardin, R. H.; Kurshan, R. P.; Shukla, S. K.; Vardi, M. Y.
7
2001
A practical approach to coverage in model checking. Zbl 0991.68042
Chockler, Hana; Kupferman, Orna; Kurshan, Robert P.; Vardi, Moshe Y.
3
2001
A formal object-oriented analysis for software reliability: design for verification. Zbl 0977.68831
Sharygina, Natasha; Browne, James C.; Kurshan, Robert P.
1
2001
Syntactic program transformations for automatic abstraction. Zbl 0974.68524
Namjoshi, Kedar S.; Kurshan, Robert P.
9
2000
Program verification. Zbl 1040.68060
Kurshan, Robert P.
1
2000
Efficient analysis of cyclic definitions. Zbl 1046.68604
Namjoshi, Kedar S.; Kurshan, Robert P.
1
1999
Existence of reduction hierarchies. Zbl 0909.68119
Kupferman, Orna; Kurshan, Robert P.; Yannakakis, Mihalis
1
1998
Verifying abstractions of timed systems. Zbl 1514.68148
Taşiran, Serdar; Alur, Rajeev; Kurshan, Robert P.; Brayton, Robert K.
4
1996
Computer-aided verification of coordinating processes. The automata- theoretic approach. Zbl 0822.68116
Kurshan, Robert P.
55
1995
A structural induction theorem for processes. Zbl 0828.68096
Kurshan, R. P.; McMillan, K. L.
19
1995
Timing verification by successive approximation. Zbl 0939.68705
Alur, R.; Itai, A.; Kurshan, R. P.; Yannakakis, M.
11
1995
Testing language containment for \(\omega\)-automata using BDDs. Zbl 0826.68050
Touati, Hervé J.; Brayton, Robert K.; Kurshan, R.
4
1995
The complexity of verification. Zbl 1345.68220
Kurshan, R. P.
9
1994
How linear can branching-time be? Zbl 0949.03512
Grumberg, O.; Kurshan, R. P.
1
1994
A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata. Zbl 0925.68274
Clarke, E. M.; Draghicescu, I. A.; Kurshan, R. P.
5
1993
A synthesis of two approaches for verifying finite state concurrent systems. Zbl 0782.68078
Clarke, E. M.; Grumberg, O.; Kurshan, R. P.
2
1992
Computer-aided verification ’90. Proceedings of a 2nd DIMACS workshop, June 18-21, 1990, Rutgers Univ., New Brunswick, NJ, USA. Zbl 0753.00020
1
1991
Task-driven supervisory control of discrete event systems. Zbl 0789.68055
Golaszewski, C. H.; Kurshan, R. P.
1
1991
Computer-aided verification. 2nd international conference, CAV ’90, New Brunswick, NJ, USA, June 18–21, 1990. Proceedings. Zbl 0756.00006
1
1991
A unified approach for showing language containment and equivalence between various types of \(\omega\)-automata. Zbl 0759.68063
Clarke, E. M.; Browne, I. A.; Kurshan, R. P.
2
1990
A synthesis of two approaches for verifying finite state concurrent systems. Zbl 0688.68019
Clarke, E. M.; Grumberg, O.; Kurshan, R. P.
5
1989
Reducibility in analysis of coordination. Zbl 0644.68009
Kurshan, R. P.
2
1988
Complementing deterministic Büchi automata in polynomial time. Zbl 0666.68058
Kurshan, R. P.
11
1987
Modelling concurrent processes. Zbl 0572.68018
Kurshan, R. P.
3
1985
Values of cyclotomic polynomials at roots of unity. Zbl 0446.12001
Kurshan, R. P.; Odlyzko, A. M.
5
1981
Every T-space is equivalent to a T-space of continuous functions. Zbl 0474.41013
Gopinath, B.; Kurshan, R. P.
1
1981
Embedding an arbitrary function into a Tchebycheff space. Zbl 0375.41016
Kurshan, R. P.; Gopinath, B.
5
1977
The existence in T-spaces of functions with prescribed alternations. Zbl 0384.41010
Gopinath, B.; Kurshan, R. P.
2
1977
The oscillation theorem for Tchebycheff spaces of bounded functions, and a converse. Zbl 0384.41011
Gopinath, B.; Kurshan, R. P.
1
1977
Recursively generated periodic sequences. Zbl 0313.26019
Kurshan, R. P.; Gopinath, B.
18
1974
On the addressing problem of loop switching. Zbl 0242.94030
Brandenburg, L. H.; Gopinath, B.; Kurshan, R. P.
6
1972
Coset analysis of Reed-Muller codes via translates of finite vector spaces. Zbl 0238.94005
Kurshan, R. P.; Sloane, N. J. A.
4
1972
Rings whose cyclic modules have finitely generated socle. Zbl 0199.35503
Kurshan, R. P.
36
1970
all top 5

Cited by 380 Authors

12 Kupferman, Orna
12 Vardi, Moshe Ya’akov
8 Clarke, Edmund Melson jun.
8 Kurshan, Robert P.
8 Stević, Stevo
6 Alur, Rajeev
5 Iričanin, Bratislav D.
5 López-Permouth, Sergio Roberto
5 Pnueli, Amir
3 Cima, Anna
3 Droste, Manfred
3 Elzinga, Randall J.
3 Faith, Carl C.
3 Gasull, Armengol
3 Gopinath, B.
3 Grumberg, Orna
3 Henzinger, Thomas A.
3 Kesten, Yonit
3 Kröning, Daniel
3 Mañosas, Francesc
3 Sangiovanni-Vincentelli, Alberto L.
3 Saraç, Bülent
3 Sharygina, Natasha
3 Vander Meulen, Kevin N.
3 Yousif, Mohamed F.
3 Zuck, Lenore D.
2 Albu, Toma
2 Baier, Christel
2 Biere, Armin
2 Bloem, Roderick
2 Boker, Udi
2 Borges-Quintana, Mijail
2 Borges Trenard, Miguel Ángel
2 Burch, Jerry R.
2 Calder, Muffy
2 Dauns, John
2 Diblík, Josef
2 Dill, David L.
2 Duan, Zhenhua
2 Elsayed, Elsayed Mohammed
2 Fehnker, Ansgar
2 Ginn, Stephen M.
2 Graham, Ronald Lewis
2 Gregory, David Allan
2 Gupta, Ashok Ji
2 Huynh, Dinh Van
2 Johns, Baxter
2 Julliand, Jacques
2 Kaivola, Roope
2 Konnov, Igor V.
2 Kouchnarenko, Olga
2 Leucker, Martin
2 Li, Yong
2 Lüttgen, Gerald
2 Maler, Oded
2 Martínez-Moro, Edgar
2 Masson, Pierre-Alain
2 McMillan, Kenneth L.
2 Miller, Alice Ann
2 Murano, Aniello
2 Passerone, Roberto
2 Piterman, Nir
2 Rahonis, George
2 Ray, Sandip
2 Rizvi, Syed Tariq
2 Shahar, Elad
2 Shen, Liang
2 Siirtola, Antti
2 Šmarda, Zdeněk
2 Somenzi, Fabio
2 Tian, Cong
2 Tonetta, Stefano
2 Vojnar, Tomáš
2 Zakharov, Vladimir Anatolyevich
2 Zalik, Richard A.
2 Zhang, Lijun
2 Zhang, Nan
1 Abdulla, Parosh Aziz
1 Abed, Sa’ed
1 Abu-Saris, Raghib M.
1 Aït Mohamed, Otmane
1 Åkesson, Knut
1 Al-Huzali, Abdullah H.
1 Aljazzar, Husain
1 Ambler, Simon J.
1 Andraus, Zaher S.
1 André, Étienne
1 Arnold, André
1 Aurenhammer, Franz
1 Aydoğdu, Pınar
1 Balaban, Ittai
1 Balarin, Felice
1 Balemi, Silvano
1 Balibrea, Francisco
1 Barnat, Jiří
1 Barone-Adesi, Katerina
1 Bauch, Petr
1 Baukus, Kai
1 Bedford, Eric
1 Beneš, Nikola
...and 280 more Authors
all top 5

Cited in 64 Serials

22 Theoretical Computer Science
18 Formal Methods in System Design
11 Communications in Algebra
8 Formal Aspects of Computing
7 Information and Computation
6 Journal of Approximation Theory
5 Journal of Algebra
5 Journal of Algebra and its Applications
4 Proceedings of the American Mathematical Society
4 International Journal of Foundations of Computer Science
4 Journal of Difference Equations and Applications
3 Acta Informatica
3 Applied Mathematics and Computation
3 Journal of Automated Reasoning
3 Abstract and Applied Analysis
3 Discrete Dynamics in Nature and Society
2 Bulletin of the Australian Mathematical Society
2 Discrete Mathematics
2 Information Processing Letters
2 Glasgow Mathematical Journal
2 Journal of Computer and System Sciences
2 Programming and Computer Software
2 Discrete Event Dynamic Systems
2 Mediterranean Journal of Mathematics
2 Computer Science Review
1 Discrete Applied Mathematics
1 International Journal of General Systems
1 Journal of Mathematical Analysis and Applications
1 Acta Arithmetica
1 Advances in Mathematics
1 Information Sciences
1 Journal of Pure and Applied Algebra
1 Journal of Soviet Mathematics
1 Mathematical Systems Theory
1 Michigan Mathematical Journal
1 Monatshefte für Mathematik
1 Quaestiones Mathematicae
1 Transactions of the American Mathematical Society
1 Annals of Pure and Applied Logic
1 Journal of Symbolic Computation
1 Algorithmica
1 International Journal of Approximate Reasoning
1 Applied Mathematics Letters
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 MSCS. Mathematical Structures in Computer Science
1 The Journal of Geometric Analysis
1 Distributed Computing
1 RAIRO. Informatique Théorique et Applications
1 Cybernetics and Systems Analysis
1 Russian Mathematics
1 Algebra Colloquium
1 Sbornik: Mathematics
1 Constraints
1 Journal of the Australian Mathematical Society
1 Journal of Applied Mathematics
1 Sādhanā
1 Computer Languages, Systems & Structures
1 International Journal of Number Theory
1 Bulletin of the American Mathematical Society
1 Mathematics in Computer Science
1 Foundations and Trends in Theoretical Computer Science
1 Asian-European Journal of Mathematics
1 Frontiers of Computer Science
1 Palestine Journal of Mathematics

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.