Search results for: Krishnendu Chatterjee
Journal of Theoretical Biology > 2017 > 433 > C > 64-72
Real-Time Systems > 2018 > 54 > 1 > 166-207
Journal of Computer and System Sciences > 2017 > 88 > C > 236-259
Journal of Nondestructive Evaluation > 2017 > 36 > 3 > 1-8
Information Processing Letters > 2017 > 122 > C > 25-29
Information and Computation > 2017 > 254 > P2 > 296-315
Information and Computation > 2017 > 254 > P2 > 143-166
Infrared Physics & Technology > 2017 > 82 > C > 75-84
Journal of Computer and System Sciences > 2017 > 84 > C > 144-170
Nonlinear Analysis: Hybrid Systems > 2017 > 23 > C > 230-253
Lecture Notes in Computer Science > Automata, Languages and Programming > Track B: Invited Lectures > 1-15
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Assume-Guarantee Reasoning > 261-275
Journal of Computer and System Sciences > 2016 > 82 > 5 > 878-911
Artificial Intelligence > 2016 > 234 > C > 26-48
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2011 > Contributed Papers > 206-218