Zohar Manna
Publication Activity (10 Years)
Years Active: 1969-2010
Publications (10 Years): 0
Publications (10 Years): 0
Publications
- Aaron R. Bradley, Zohar Manna
- Matteo Slanina, Henny B. Sipma, Zohar Manna
- Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
- Zohar Manna, Henny B. Sipma, Ting Zhang
- Aaron R. Bradley, Zohar Manna, Henny B. Sipma
- Ting Zhang, Henny B. Sipma, Zohar Manna
- Matteo Slanina, Henny B. Sipma, Zohar Manna
- Aaron R. Bradley, Zohar Manna
- Aaron R. Bradley, Zohar Manna, Henny B. Sipma
- Aaron R. Bradley, Zohar Manna
- Aaron R. Bradley, Zohar Manna, Henny B. Sipma
- Aaron R. Bradley, Zohar Manna, Henny B. Sipma
- Aaron R. Bradley, Zohar Manna, Henny B. Sipma
- César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna
- Ting Zhang, Henny B. Sipma, Zohar Manna
- Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
- Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
- Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
- Yonit Kesten, Zohar Manna, Amir Pnueli
- Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma
- Zohar Manna, Henny Sipma
- Henny Sipma, Tomás E. Uribe, Zohar Manna
- Zohar Manna
- Zohar Manna, Henny Sipma
- Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe
- Bernd Finkbeiner, Zohar Manna, Henny Sipma
- Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe
- Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
- Zohar Manna
- Nikolaj Bjørner, Anca Browne, Zohar Manna
- Henny Sipma, Tomás E. Uribe, Zohar Manna
- Luca de Alfaro, Zohar Manna
- Anca Browne, Zohar Manna, Henny Sipma
- Luca de Alfaro, Zohar Manna
- Anca Browne, Zohar Manna, Henny Sipma
- Yonit Kesten, Zohar Manna, Amir Pnueli
- Zohar Manna, Massimo Paltrinieri, Richard J. WaldingerA Temporal Plan Theory. WOCFAI (1995)
- Nikolaj Bjørner, Anca Browne, Zohar Manna
- Thomas A. Henzinger, Zohar Manna, Amir Pnueli
- Anuchit Anuchitanukul, Zohar Manna
- Zohar Manna, Amir Pnueli
- Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli
- Hugh McGuire, Zohar Manna, Richard J. Waldinger
- Henny Sipma, Zohar Manna
- Zohar Manna
- Edward Y. Chang, Zohar Manna, Amir Pnueli
- Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli
- Zohar Manna, Amir Pnueli
- Zohar Manna, Richard J. Waldinger
- Edward Y. Chang, Zohar Manna, Amir Pnueli
- Zohar Manna, Amir Pnueli
- Thomas A. Henzinger, Zohar Manna, Amir Pnueli
- Zohar Manna, Amir Pnueli
- Zohar Manna, Richard J. Waldinger
- Zohar Manna, Amir Pnueli
- Zohar Manna, Amir Pnueli
- Thomas A. Henzinger, Zohar Manna, Amir Pnueli
- Zohar Manna, Amir Pnueli
- Oded Maler, Zohar Manna, Amir Pnueli
- Thomas A. Henzinger, Zohar Manna, Amir Pnueli
- Zohar Manna, Amir Pnueli
- Martín Abadi, Zohar Manna
- Zohar Manna, Amir Pnueli
- Martín Abadi, Zohar Manna
- Zohar Manna, Amir Pnueli
- Martín Abadi, Zohar MannaTemporal Logic Programming. SLP (1987)