Search
Add filters:
Use filters to refine the search results.
Item hits:
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2019 | Perceptually-motivated Environment-specific Speech Enhancement | Su, Jiaqi; Finkelstein, Adam; Jin, Zeyu |
| 2006 | A New Paradigm for Sound Design | Misra, Ananya; Cook, Perry R; Wang, Ge |
| 2012 | Incidence Theorems and Their Applications | Dvir, Zeev |
| Jan-2014 | NetKAT: semantic foundations for networks | Anderson, Carolyn J; Foster, Nate; Guha, Arjun; Jeannin, Jean-Baptiste; Kozen, Dexter, et al |
| Jul-2018 | Synthesizing quotient lenses | Maina, Solomon; Miltner, Anders; Fisher, Kathleen; Pierce, Benjamin C; Walker, David, et al |
| Jun-2016 | Temporal NetKAT | Beckett, Ryan; Greenberg, Michael; Walker, David |
| 2012 | LearnPADS + + : Incremental Inference of Ad Hoc Data Formats | Zhu, Kenny Q; Fisher, Kathleen; Walker, David |
| 2015 | Tracking the Flow of Ideas through the Programming Languages Literature | Greenberg, Michael; Fisher, Kathleen; Walker, David |
| 2019 | Discrete Object Generation with Reversible Inductive Construction | Seff, Ari; Zhou, Wenda; Damani, Farhan; Doyle, Abigail; Adams, Ryan P |
| 16-Nov-2018 | A Sauer-Shelah-Perles Lemma for Sumsets | Dvir, Zeev; Moran, Shay |