 | 2012 |
|---|
| 6 |       | Shaunak Chatterjee,
Stuart Russell:
A temporally abstracted Viterbi algorithm
CoRR abs/1202.3707: (2012) |
| 2011 |
|---|
| 5 | | Shaunak Chatterjee,
Stuart Russell:
A temporally abstracted Viterbi algorithm.
UAI 2011: 96-104 |
| 2010 |
|---|
| 4 | | Shaunak Chatterjee,
Stuart Russell:
Why are DBNs sparse?
Journal of Machine Learning Research - Proceedings Track 9: 81-88 (2010) |
| 2009 |
|---|
| 3 | | Shaunak Chatterjee,
Sudeep Juvekar,
Koushik Sen:
SNIFF: A Search Engine for Java Using Free-Form Queries.
FASE 2009: 385-400 |
| 2 | | Shaunak Chatterjee,
Shuvendu K. Lahiri,
Shaz Qadeer,
Zvonimir Rakamaric:
A low-level memory model and an accompanying reachability predicate.
STTT 11(2): 105-116 (2009) |
| 2007 |
|---|
| 1 | | Shaunak Chatterjee,
Shuvendu K. Lahiri,
Shaz Qadeer,
Zvonimir Rakamaric:
A Reachability Predicate for Analyzing Low-Level Software.
TACAS 2007: 19-33 |
Data released under the ODC-BY 1.0 license — See also our legal information page