Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.

 | 
Item hits:
Publication DateArticle TitleAuthor(s)
2014An Adaptable Rule Placement for Software-Defined NetworksZhang, Shuyuan; Ivancic, Franjo; Lumezanu, Cristian; Yuan, Yifei; Gupta, Aarti, et al
2018Exploiting Synchrony and Symmetry in Relational VerificationPick, Lauren; Fedyukovich, Grigory; Gupta, Aarti
13-Oct-2022NiN-Passivated NiO Hole-Transport Layer Improves Halide Perovskite-Based Solar CellItzhak, Anat; He, Xu; Kama, Adi; Kumar, Sujit; Ejgenberg, Michal, et al
2012Efficient predictive analysis for detecting nondeterminism in multi-threaded programsSinha, Arnab; Malik, Sharad; Gupta, Aarti
Nov-2018A formal instruction-level GPU model for scalable verificationXing, Yue; Huang, Bo-Yuan; Gupta, Aarti; Malik, Sharad
15-Oct-2015Establishment of a Developmental Compartment Requires Interactions between Three Synergistic Cis-regulatory Modules.Bieli, Dimitri; Kanca, Oguz; Requena, David; Hamaratoglu, Fisun; Gohl, Daryl, et al
Sep-2018Detecting genome-wide directional effects of transcription factor binding on polygenic disease riskReshef, Yakir A; Finucane, Hilary K; Kelley, David R; Gusev, Alexander; Kotliar, Dylan, et al
26-Jul-2022The evolution of rock friction is more sensitive to slip than elapsed time, even at near-zero slip ratesBhattacharya, Pathikrit; Rubin, Allan M; Tullis, Terry E; Beeler, Nicholas M; Okazaki, Keishi
15-May-2014Spermatid cyst polarization in Drosophila depends upon apkc and the CPEB family translational regulator orb2Xu, Shuwa; Tyagi, Sanjay; Schedl, Paul
22-Nov-2018Spectral-infinite-element simulations of coseismic and post-earthquake deformationGharti, Hom Nath; Langer, Leah; Tromp, Jeroen