Indranil Saha
Electrical and Electronic Engineering · 2009–2010
A researcher in the Science corpus: 2 papers; trusts 10 researchers and is trusted by 11 researchers here, as inferred from the citation graph.
Subfields
- Electrical and Electronic Engineering — 14 citations into it; #3,701 of 16,539 by trust here, #9,902 by citations
- Artificial Intelligence — 6 citations into it; #13,864 of 35,345 by trust here, #20,836 by citations
- Cellular and Molecular Neuroscience — 6 citations into it
- Cognitive Neuroscience — 5 citations into it
Whom Indranil Saha trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Indranil Saha overall
- Daniel Neil
- El Mahdi El Mhamdi
- Michaela Blott
- Yaman Umuroglu
- Xu Sun
- Timon Gehr
- Gouhei Tanaka
- Shih-Chii Liu
- Swarat Chaudhuri
- Nicholas J. Fraser
Papers from Indranil Saha's perspective
Ordered by how strongly the researchers Indranil Saha trusts endorse each paper. Same corpus, a different order for every researcher.
- Symbolic execution and program testing
- DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- EXE: automatically generating inputs of death
- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (International Conference on Compiler Construction)
- Simple model of spiking neurons
- A VLSI array of low-power spiking neurons and bistable synapses with spike-timing dependent plasticity (IEEE Transactions on Neural Networks)
- Robust hybrid control for autonomous vehicle motion planning (Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187))
- Introduction to the Cell multiprocessor
- Synaptic Modifications in Cultured Hippocampal Neurons: Dependence on Spike Timing, Synaptic Strength, and Postsynaptic Cell Type
- Theoretical Neuroscience: Computational and Mathematical Modeling of Neural Systems
Their papers
- Artificial neural networks in hardware: A survey of two decades of progress (2010) — 616 citations
- Symbolic Robustness Analysis (2009) — 56 citations