Zohar Manna

发表

César Sánchez, Henny B. Sipma, Christopher D. Gill, 2006, OPODIS.
Zohar Manna, Richard Waldinger, 1977 .
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2004, SAS.
Thomas A. Henzinger, Zohar Manna, Amir Pnueli, 1994, FTRTFT.
Zohar Manna, Bengt Jonsson, Richard J. Waldinger, 1986, LICS.
Zohar Manna, Z. Manna, 1981, Lecture Notes in Computer Science.
Zohar Manna, Amir Pnueli, Z. Manna, 1979, ICALP.
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1985, JACM.
Henny B. Sipma, Zohar Manna, 1998, HSCC.
Henny B. Sipma, Zohar Manna, Nikolaj Bjørner, 1997, ARTS.
Henny B. Sipma, Zohar Manna, Anca Browne, 1995, FSTTCS.
Zohar Manna, Aaron R. Bradley, Z. Manna, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Zohar Manna, Richard J. Waldinger, 1970 .
Zohar Manna, 1999, Proceedings. Sixth International Workshop on Temporal Representation and Reasoning. TIME-99.
Zohar Manna, Nikolaj Bjørner, Anca Browne, 1997, Theor. Comput. Sci..
Henny B. Sipma, Zohar Manna, 1994, FTRTFT.
Zohar Manna, Z. Manna, 1970, Artif. Intell..
Edward Y. Chang, Henny B. Sipma, Zohar Manna, 1996, CAV.
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1987 .
Mordechai Ben-Ari, Zohar Manna, Amir Pnueli, 1981, POPL.
Zohar Manna, Z. Manna, 1994, CAV.
Zohar Manna, Adi Shamir, 1976, SIAM J. Comput..
Calogero G. Zarba, Zohar Manna, Z. Manna, 2002, 10th Anniversary Colloquium of UNU/IIST.
Zohar Manna, Amir Pnueli, Z. Manna, 1991, MFCS.
Zohar Manna, Amir Pnueli, Yonit Kesten, 1995, Hybrid Systems.
Zohar Manna, Richard J. Waldinger, 1992, CADE.
Pierre Wolper, Zohar Manna, Z. Manna, 1981, TOPL.
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1971, Symposium on Semantics of Algorithmic Languages.
Thomas A. Henzinger, Zohar Manna, Amir Pnueli, 1994, Inf. Comput..
Zohar Manna, Amir Pnueli, Hugh McGuire, 1993, CAV.
Henny B. Sipma, Zohar Manna, Aaron R. Bradley, 2005, ICALP.
Henny B. Sipma, Zohar Manna, Tomás E. Uribe, 1999, AMAST.
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2003, Verification: Theory and Practice.
Zohar Manna, Amir Pnueli, Z. Manna, 1991, Springer New York.
Zohar Manna, Richard J. Waldinger, 1986 .
Zohar Manna, R. Waldinger, Z. Manna, 1979, TOPL.
Zohar Manna, Amir Pnueli, Z. Manna, 1973, Acta Informatica.
Zohar Manna, Adi Shamir, 1978, Theor. Comput. Sci..
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1979, IEEE Trans. Software Eng..
Zohar Manna, Amir Pnueli, 1992 .
Zohar Manna, Richard J. Waldinger, Yonathan Malachi, 1986, Logic Programming: Functions, Relations, and Equations.
Zohar Manna, Richard Waldinger, 1978, AFIPS National Computer Conference.
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1978 .
Zohar Manna, Richard J. Waldinger, 1986, CADE.
César Sánchez, Henny B. Sipma, Zohar Manna, 2005, CALCO.
Zohar Manna, Amir Pnueli, Z. Manna, 1980, POPL '80.
Zohar Manna, 1980 .
Zohar Manna, Mark E. Stickel, Richard J. Waldinger, 1991, Artificial and Mathematical Theory of Computation.
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1985, IJCAI.
Zohar Manna, Amir Pnueli, Z. Manna, 1987, Temporal Logic in Specification.
Zohar Manna, Luca de Alfaro, Z. Manna, 1995, AMAST.
Zohar Manna, Edward A. Ashcroft, Z. Manna, 1970 .
Zohar Manna, Nachum Dershowitz, 1977, POPL '77.
Zohar Manna, Amir Pnueli, Z. Manna, 1992 .
Pierre Wolper, Zohar Manna, 1981, Logic of Programs.
Henny B. Sipma, Zohar Manna, 1995, Proceedings of Tenth International Symposium on Intelligent Control.
Martín Abadi, Zohar Manna, M. Abadi, 1989, J. Symb. Comput..
Zohar Manna, Amir Pnueli, Z. Manna, 1987, POPL '87.
Zohar Manna, Richard Waldinger, R. Waldinger, 1990 .
Zohar Manna, Nachum Dershowitz, Z. Manna, 1977, IEEE Transactions on Software Engineering.
Zohar Manna, Nachum Dershowitz, Z. Manna, 1979, CACM.
Bernd Finkbeiner, César Sánchez, Henny B. Sipma, 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1985 .
Henny B. Sipma, Zohar Manna, Nikolaj Bjørner, 1997, Theor. Comput. Sci..
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1992, IEEE Trans. Software Eng..
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1978, IEEE Transactions on Software Engineering.
Zohar Manna, Richard J. Waldinger, 2004, Journal of Automated Reasoning.
Zohar Manna, John McCarthy, Z. Manna, 1969 .
Edward Y. Chang, Zohar Manna, Amir Pnueli, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2008, Formal Methods Syst. Des..
Martín Abadi, Zohar Manna, M. Abadi, 1986, CADE.
Martín Abadi, Zohar Manna, M. Abadi, 1985, Logic of Programs.
Zohar Manna, Z. Manna, 2003 .
Thomas A. Henzinger, Zohar Manna, Amir Pnueli, 1990, Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'.
Zohar Manna, Richard Waldinger, R. Waldinger, 1985 .
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2006, HSCC.
Thomas A. Henzinger, Zohar Manna, Amir Pnueli, 1992, ICALP.
César Sánchez, Henny B. Sipma, Zohar Manna, 2008, Pillars of Computer Science.
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 2000, Formal Methods Syst. Des..
César Sánchez, Henny B. Sipma, Zohar Manna, 2003, EMSOFT.
Zohar Manna, Ashok K. Chandra, A. K. Chandra, 1976, Comput. Lang..
Zohar Manna, Luca de Alfaro, L. D. Alfaro, 1997 .
Zohar Manna, Ben C. Moszkowski, 1983, Logic of Programs.
Henny B. Sipma, Zohar Manna, Aaron R. Bradley, 2005, CONCUR.
Zohar Manna, Shmuel Katz, Z. Manna, 1975, Acta Informatica.
Edward Y. Chang, Zohar Manna, Amir Pnueli, 1993 .
Zohar Manna, 1997, APPIA-GULP-PRODE.
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 1997, Requirements Targeting Software and Systems Engineering.
Zohar Manna, Richard J. Waldinger, Z. Manna, 1974, IJCAI.
Zohar Manna, Amir Pnueli, Z. Manna, 1990, PODC '90.
Zohar Manna, Amir Pnueli, Z. Manna, 1989, Theor. Comput. Sci..
Zohar Manna, Shmuel Katz, 1975 .
Zohar Manna, Amir Pnueli, Z. Manna, 1988, REX Workshop.
Zohar Manna, Anuchit Anuchitanukul, Z. Manna, 1994, CAV.
Zohar Manna, Amir Pnueli, Z. Manna, 1994, TACS.
Zohar Manna, Richard J. Waldinger, 1985, ICALP.
Henny B. Sipma, Zohar Manna, Ting Zhang, 2006, Inf. Comput..
César Sánchez, Henny B. Sipma, Christopher D. Gill, 2006, EMSOFT '06.
César Sánchez, Henny B. Sipma, Zohar Manna, 2007, FASE.
Zohar Manna, Amir Pnueli, 1996 .
Henny B. Sipma, Zohar Manna, Nikolaj Bjørner, 1995 .
Zohar Manna, Doron Peled, 2010, Essays in Memory of Amir Pnueli.
Zohar Manna, Amir Pnueli, Yonit Kesten, 1996, European Educational Forum: School on Embedded Systems.
Zohar Manna, Aaron R. Bradley, Z. Manna, 2006, ICTAC.
Zohar Manna, Richard J. Waldinger, 1985, FSTTCS.
Thomas A. Henzinger, Zohar Manna, Amir Pnueli, 1992, Hybrid Systems.
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2005, VMCAI.
Zohar Manna, Richard J. Waldinger, Yonathan Malachi, 1986, IEEE Softw..
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 1998, Tool Support for System Specification, Development and Verification.
Thomas A. Henzinger, Zohar Manna, Amir Pnueli, 1991, REX Workshop.
Henny B. Sipma, Zohar Manna, Ting Zhang, 2004, IJCAR.
Zohar Manna, Jean Vuillemin, Stephen Nes, 1973, Commun. ACM.
Martín Abadi, Zohar Manna, M. Abadi, 1990, JACM.
Edward Y. Chang, Henny B. Sipma, Zohar Manna, 1995, TAPSOFT.
Zohar Manna, Amir Pnueli, 1991, Theor. Comput. Sci..
Zohar Manna, Anil Nerode, S. Shankar Sastry, 2002 .
Zohar Manna, Richard Waldinger, R. Waldinger, 1977, Artificial Intelligence and Programming Languages.
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 2000, Formal Aspects of Computing.
Zohar Manna, Edward A. Ashcroft, Z. Manna, 1971, IFIP Congress.
Zohar Manna, Nikolaj Bjørner, Anca Browne, 1995, CP.
Henny B. Sipma, Zohar Manna, Ting Zhang, 2004, TPHOLs.
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 1997, COMPOS.
Zohar Manna, Luca de Alfaro, 1996, CAV.
Zohar Manna, Aaron R. Bradley, Z. Manna, 2008, Formal Aspects of Computing.
Zohar Manna, Amir Pnueli, Z. Manna, 1992, Hybrid Systems.
Henny B. Sipma, Zohar Manna, Aaron R. Bradley, 2005, VMCAI.
Henny B. Sipma, Zohar Manna, Tomás E. Uribe, 1996, CAV.
Zohar Manna, Richard J. Waldinger, Yonathan Malachi, 1984, LFP '84.
Zohar Manna, Amir Pnueli, Z. Manna, 1995, Springer New York.
Zohar Manna, Z. Manna, 1972, AFIPS '72 (Spring).
Henny B. Sipma, Zohar Manna, Tomás E. Uribe, 1996, Formal Methods Syst. Des..
Zohar Manna, Nachum Dershowitz, 1979, CACM.
Martín Abadi, Zohar Manna, 1986, LICS.
Thomas A. Henzinger, Zohar Manna, Amir Pnueli, 1991, POPL '91.
César Sánchez, Henny B. Sipma, Christopher D. Gill, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Zohar Manna, Richard J. Waldinger, Massimo Paltrinieri, 1995, WOCFAI.
Zohar Manna, Amir Pnueli, Z. Manna, 1995, Specification and validation methods.
Zohar Manna, Terry Winograd, Thomas O. Binford, 1977 .
Zohar Manna, Amir Pnueli, 1992, 25th Anniversary of INRIA.
Zohar Manna, Shmuel Katz, Z. Manna, 1975, Reliable Software.
Zohar Manna, Z. Manna, 1971, J. Comput. Syst. Sci..
Zohar Manna, Amir Pnueli, Yonit Kesten, 1993, REX School/Symposium.
Zohar Manna, Amir Pnueli, 1995 .
Zohar Manna, Amir Pnueli, Yonit Kesten, 2000, Acta Informatica.
Zohar Manna, Edward A. Ashcroft, 1975, SIAM J. Comput..
Zohar Manna, Thomas O. Binford, John McCarthy, 1978 .
Zohar Manna, Adi Shamir, 1975 .
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2004, Formal Methods Syst. Des..
Henny B. Sipma, Zohar Manna, Matteo Slanina, 2008, Formal Aspects of Computing.
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2006, VMCAI.
Henny B. Sipma, Zohar Manna, Ting Zhang, 2005, FSTTCS.
Henny B. Sipma, Zohar Manna, Aaron R. Bradley, 2006, VMCAI.
Zohar Manna, Ashok K. Chandra, A. K. Chandra, 1972, STOC.
Zohar Manna, Shmuel Katz, Z. Manna, 1973, IJCAI.
Zohar Manna, Richard J. Waldinger, 1977, SIGART Newsl..
César Sánchez, Henny B. Sipma, Zohar Manna, 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.
Henny B. Sipma, Zohar Manna, Z. Manna, 2000, ICALP.
Zohar Manna, Richard Waldinger, Hugh McGuire, 1994, ICTL.
Henny B. Sipma, Zohar Manna, Matteo Slanina, 2006, ICTAC.
Zohar Manna, Tomas E. Uribe Restrepo, Z. Manna, 2001 .
César Sánchez, Henny B. Sipma, Christopher D. Gill, 2005, FORTE.
Zohar Manna, Amir Pnueli, 1969, STOC '69.
Zohar Manna, Shmuel Katz, Z. Manna, 1976, CACM.
Zohar Manna, Aaron R. Bradley, 2005, ATVA.
Zohar Manna, Tomás E. Uribe, Anuchit Anuchitanukul, 1995, Computer Science Today.
Henny B. Sipma, Zohar Manna, Ting Zhang, 2005, CADE.
Zohar Manna, Amir Pnueli, 1992 .
Zohar Manna, Amir Pnueli, Z. Manna, 1993, Acta Informatica.
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2004, POPL.
Zohar Manna, 1974, Programming Methodology.
Zohar Manna, Joseph Y. Halpern, Ben C. Moszkowski, 1983, ICALP.
Zohar Manna, Amir Pnueli, 1990, Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'.
Zohar Manna, Amir Pnueli, Oded Maler, 1991, REX Workshop.
Zohar Manna, Amir Pnueli, Z. Manna, 1970, JACM.
Zohar Manna, Amir Pnueli, 1990, NATO ASI PDC.
Zohar Manna, 1980 .
Zohar Manna, Amir Pnueli, Edward A. Ashcroft, 1973, JACM.
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1971, Symposium on Semantics of Algorithmic Languages.
Henny B. Sipma, Zohar Manna, Ting Zhang, 2007, LFCS.
Zohar Manna, Luca de Alfaro, Arjun Kapur, 1997, STACS.
Edward Y. Chang, Zohar Manna, Amir Pnueli, 1992, ICALP.
Zohar Manna, Amir Pnueli, Z. Manna, 1983, ICALP.
Mordechai Ben-Ari, Zohar Manna, Amir Pnueli, 1981, POPL '81.
Zohar Manna, Nachum Dershowitz, Z. Manna, 1978, IEEE Transactions on Software Engineering.
Henny B. Sipma, Zohar Manna, Anca Browne, 1996, ASIAN.
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1978, ICSE '78.
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1979, TOPL.
Zohar Manna, Amir Pnueli, 2010, Essays in Memory of Amir Pnueli.
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1980, Acta Informatica.
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1981, Sci. Comput. Program..
Zohar Manna, Amir Pnueli, Z. Manna, 1984, Sci. Comput. Program..
Zohar Manna, Adi Shamir, A. Shamir, 1975, STOC.
Zohar Manna, Amir Pnueli, Z. Manna, 1983, POPL '83.
Zohar Manna, Adi Shamir, A. Shamir, 1977, Commun. ACM.
César Sánchez, Henny B. Sipma, Zohar Manna, 2005, FORTE.
Zohar Manna, Amir Pnueli, Z. Manna, 1981, Logic of Programs.
Zohar Manna, Richard J. Waldinger, 1977, IJCAI.
Zohar Manna, Jean Vuillemin, Stephen Ness, 1972 .
Zohar Manna, Amir Pnueli, Z. Manna, 1987, PODC 1987.
Zohar Manna, Amir Pnueli, Z. Manna, 1995 .
Henny B. Sipma, Zohar Manna, Luca de Alfaro, 1997, TACAS.
Zohar Manna, Richard J. Waldinger, R. Waldinger, 1987, AAAI.
Henny B. Sipma, Zohar Manna, Aaron R. Bradley, 2005, CAV.
Zohar Manna, 1971, J. Comput. Syst. Sci..
Zohar Manna, Jean Vuillemin, Z. Manna, 1972, CACM.
Henny B. Sipma, Zohar Manna, Matteo Slanina, 2006 .
Henny B. Sipma, Zohar Manna, Z. Manna, 1998 .
Zohar Manna, Sriram Sankaranarayanan, 2005 .
Zohar Manna, Edward Chang, Amir PnueliDept, 1994 .
Zohar Manna, Amir Pnueli, 1968 .
Zohar Manna, Richard J. Waldinger, 1986 .
Zohar Manna, Ting Zhang, Z. Manna, 2022 .
Henny B. Sipma, Zohar Manna, Aaron R. Bradley, 2005 .
Calogero G. Zarba, Zohar Manna, Z. Manna, 2004 .