On the Effective Deployment of Functional Formal Verification. - Yael Abarbanel-Vinov; Neta Aizenbud-Reshef; Ilan Beer; Cindy Eisner; Daniel Geist; Tamir Heyman; Iris Reuveni; Eran Rippel; Irit Shitsevalov; Yaron Wolfsthal; Tali Yatzkar-Haham (Formal Methods Syst. Des., 2001)

Real Time Multiplicative Memory Amplification Mediated by Whole-Cell Scaling of Synaptic Response in Key Neurons. - Iris Reuveni; Sourav Ghosh; Edi Barkai (PLoS Comput. Biol., 2017)