Coverage Analysis for Message Flows. - Neta Aizenbud-Reshef (ISSRE, 2001)

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)

Model traceability. - Neta Aizenbud-Reshef; Brian T. Nolan; Julia Rubin; Yael Shaham-Gafni (IBM Syst. J., 2006)

Pensieve: augmenting human memory. - Neta Aizenbud-Reshef; Eran Belinsky; Michal Jacovi; David Laufer; Vladimir Soroka (CHI Extended Abstracts, 2008)

Collaborative feed reading in a community. - Neta Aizenbud-Reshef; Ido Guy; Michal Jacovi (GROUP, 2009)

Privacy Concerns in Enterprise Social Travel: Attitudes and Actions. - Neta Aizenbud-Reshef; Artem Barger; Yael Dubinsky; Ido Guy; Shiri Kremer-Davidson (INTERACT (3), 2011)

Bon voyage: social travel planning in the enterprise. - Neta Aizenbud-Reshef; Artem Barger; Ido Guy; Yael Dubinsky; Shiri Kremer-Davidson (CSCW, 2012)

The perception of others: inferring reputation from social media in the enterprise. - Michal Jacovi; Ido Guy; Shiri Kremer-Davidson; Sara Porat; Neta Aizenbud-Reshef (CSCW, 2014)