Krishnendu Chatterjee

Information and Computation · with Henzinger · 2007

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Krishnendu Chatterjee trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Marcin Jurdzinski
  2. Amir Pnueli

Papers from Krishnendu Chatterjee's perspective

Ordered by how strongly the researchers Krishnendu Chatterjee trusts endorse each paper. Same corpus, a different order for every researcher.

  1. On the synthesis of a reactive module
  2. Small Progress Measures for Solving Parity Games (Symposium on Theoretical Aspects of Computer Science)
  3. Equilibrium Points in N-Person Games.
  4. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (25 Years of Model Checking)
  5. Bounded synthesis (International Journal on Software Tools for Technology Transfer (STTT))
  6. Interface Theories for Component-Based Design (International Conference on Embedded Software)
  7. Distributed Algorithms
  8. Influence of cultivation temperature on the ligninolytic activity of selected fungal strains
  9. A Tutorial on Uppaal (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
  10. The Wiki Way: Quick Collaboration on the Web

Their papers