Concepedia

Kedar S. Namjoshi

KS

Statistics

Publications

11

Citations

747

H-Index

11

Active since

1995

Affiliations

The University of Texas at Austin(Current)

Kedar S. Namjoshi is an author at The University of Texas at Austin specializing in computer science, computing, and formal methods.

ORCID

Publications per year

1995–2010

11

Publications

11

Reasoning about rings

E. Allen Emerson, Kedar S. Namjoshi · 1995 · 218 citations · Full text

, , +13

On model checking for non-deterministic infinite-state systems

E. Allen Emerson, Kedar S. Namjoshi · 2002 · 133 citations

, , +17

On Reasoning About Rings

E. Allen Emerson, Kedar S. Namjoshi · International Journal of Foundations of Computer Science · 2003 · 86 citations

, , +16

Feature specification and automated conflict detection

Amy Felty, Kedar S. Namjoshi · ACM Transactions on Software Engineering and Methodology · 2003 · 65 citations

, , +14

The existence of finite abstractions for branching time model checking

Dennis Dams, Kedar S. Namjoshi · 2004 · 55 citations

, , +16

1–5 of 11