Skip to main content



Add filters:

Use filters to refine the search results.

Item hits:
Publication DateArticle TitleAuthor(s)
2017Investigation of the High Electron Affinity Molecular Dopant F6‐TCNNQ for Hole‐Transport MaterialsZhang, Fengyu; Kahn, Antoine
26-Aug-2015Boolean Satisfiability Solvers and Their Applications in Model CheckingVizel, Y; Weissenbacher, G; Malik, Sharad
2014Using flow specifications of parameterized cache coherence protocols for verifying deadlock freedomSethi, D; Talupur, M; Malik, Sharad
18-Jul-2018Lazy self-composition for security verificationYang, W; Vizel, Y; Subramanyan, P; Gupta, A; Malik, Sharad
29-Mar-2016Constrained sampling and counting: Universal hashing meets SAT solvingMeel, KS; Vardi, MY; Chakraborty, S; Fremont, DJ; Seshia, SA, et al
22-Dec-2017All-optical digital-to-spike conversion using a graphene excitable laserPhilip, YMA; Shastri, BJ; De Lima, TF; Tait, AN; Nahmias, MA, et al
2-Nov-2016Passively synchronized Q-switched and mode-locked dual-band Tm3+:ZBLAN fiber lasers using a common graphene saturable absorberJia, C; Shastri, BJ; Abdukerim, N; Rochette, M; Prucnal, Paul R, et al
2-Oct-2015Excitable laser processing network node in hybrid silicon: Analysis and simulationNahmias, MA; Tait, AN; Shastri, BJ; De Lima, TF; Prucnal, Paul R
23-Mar-2015SIMPEL: circuit model for photonic spike processing laser neurons.Shastri, Bhavin J; Nahmias, Mitchell A; Tait, Alexander N; Wu, Ben; Prucnal, Paul R
14-Apr-2016Multi-channel control for microring weight banksTait, AN; De Lima, TF; Nahmias, MA; Shastri, BJ; Prucnal, Paul R