Skip to content

Scientist · Computer Science

Krishnendu Chatterjee

Institute of Science and Technology Austria, Klosterneuburg, Austria

iD0000-0002-4561-241X

Citations, last 5 years: 477
Works, last 5 years: 78
h-index: 56
Citations, all time: 13.1k
In Computer Science: #21,291

Research topics

Formal Methods in Verification435Computer Science
semigroups and automata theory278Computer Science
Petri Nets in System Modeling165Computer Science
Logic, programming, and type systems159Computer Science
Game Theory and Applications115Decision Sciences

Recent works

Discussion

Ask Krishnendu about their research. When the scientist claims this card, they will see your question.

Start a discussion