Neil Immerman

发表

Neil Immerman, N. Immerman, 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
Neil Immerman, Susan Landau, N. Immerman, 1989, [1989] Proceedings. Structure in Complexity Theory Fourth Annual Conference.
Neil Immerman, Shlomo Zilberstein, Siddharth Srivastava, 2008, ISAIM.
Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, 2004, CSL.
Neil Immerman, Oded Padon, Jason R. Koenig, 2020 .
Neil Immerman, 2018, SIGL.
Neil Immerman, 1999 .
Neil Immerman, N. Immerman, 1989, FCT.
Neil Immerman, José L. Balcázar, Eric Allender, 1993, SIAM J. Comput..
Neil Immerman, Haopeng Zhang, Yanlei Diao, 2014, SIGMOD Conference.
Neil Immerman, Yanlei Diao, Daniel Gyllstrom, 2008, 2008 IEEE 24th International Conference on Data Engineering.
Neil Immerman, Hector Geffner, Shlomo Zilberstein, 2011, AAAI.
Neil Immerman, Shmuel Sagiv, Anindya Banerjee, 2013, CAV.
Neil Immerman, Ori Lahav, Shmuel Sagiv, 2014, POPL.
Neil Immerman, Juris Hartmanis, Vivian Sewelson, 1983, Inf. Control..
Neil Immerman, Sushant Patnaik, N. Immerman, 1997, J. Comput. Syst. Sci..
Neil Immerman, Shlomo Zilberstein, Siddharth Srivastava, 2010, ICAPS.
Neil Immerman, Haopeng Zhang, Yanlei Diao, 2013, Inf. Syst..
Neil Immerman, Heribert Vollmer, Henning Schnoor, 2005, MFCS.
Neil Immerman, Denis Thérien, David A. Mix Barrington, 2005, J. Comput. Syst. Sci..
Neil Immerman, Howard Straubing, David A. Mix Barrington, 1990, J. Comput. Syst. Sci..
Neil Immerman, Shlomo Zilberstein, Siddharth Srivastava, 2009, SARA.
Neil Immerman, 1999 .
Neil Immerman, Juris Hartmanis, Vivian Sewelson, 1985, Inf. Control..
Neil Immerman, William Hesse, N. Immerman, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Neil Immerman, 1988, SIAM J. Comput..
Neil Immerman, 1999 .
Neil Immerman, Michael J. Fischer, M. Fischer, 1986, TARK.
Neil Immerman, Heribert Vollmer, Henning Schnoor, 2009, J. Comput. Syst. Sci..
Neil Immerman, Yannis Smaragdakis, Samuel Z. Guyer, 2010, SPLASH 2010.
Neil Immerman, N. Immerman, 1981, J. Comput. Syst. Sci..
Neil Immerman, N. Immerman, 1987, SIAM J. Comput..
Neil Immerman, David A. Mix Barrington, 1994, Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory.
Neil Immerman, Juris Hartmanis, J. Hartmanis, 1985, ICALP.
Neil Immerman, Michael J. Fischer, M. Fischer, 1987, Inf. Process. Lett..
Neil Immerman, Yannis Smaragdakis, Samuel Z. Guyer, 2010 .
Neil Immerman, 2016, SIGL.
Neil Immerman, Jin-Yi Cai, Martin Fürer, 1992, Comb..
Neil Immerman, Stephen R. Mahaney, N. Immerman, 1989, Theor. Comput. Sci..
Neil Immerman, N. Immerman, 1988, [1988] Proceedings. Structure in Complexity Theory Third Annual Conference.
Neil Immerman, 1983, STOC '83.
Neil Immerman, J. Eliot B. Moss, Michael Crouch, 2010, Fields of Logic and Computation.
Neil Immerman, Neil Immerman, 1991, [1991] Proceedings of the Sixth Annual Structure in Complexity Theory Conference.
Neil Immerman, Yanlei Diao, Daniel Gyllstrom, 2008, SIGMOD Conference.
Neil Immerman, David Jensen, Hannah Blau, 2001 .
Neil Immerman, Yannis Smaragdakis, Christoph Reichenbach, 2012, ECOOP.
Neil Immerman, Kousha Etessami, N. Immerman, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Neil Immerman, 2010, Encyclopedia of Machine Learning.
Neil Immerman, Denis Thérien, David A. Mix Barrington, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Neil Immerman, 2020, ACM SIGLOG News.
Neil Immerman, Gerome Miklau, Wentian Lu, 2013, The VLDB Journal.
Neil Immerman, Shmuel Sagiv, Tal Lev-Ami, 2006, CAV.
Neil Immerman, Juris Hartmanis, Stephen R. Mahaney, 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).
Neil Immerman, Moshe Y. Vardi, N. Immerman, 1997, CAV.
Neil Immerman, N. Immerman, 1986, Inf. Control..
Neil Immerman, Sumit Gulwani, Shmuel Sagiv, 2010, OOPSLA.
Neil Immerman, Joseph Y. Halpern, Phokion G. Kolaitis, 2001, Bulletin of Symbolic Logic.
Neil Immerman, Sushant Patnaik, 1997, J. Comput. Syst. Sci..
Neil Immerman, Thomas W. Reps, Shmuel Sagiv, 2007, VMCAI.
Neil Immerman, Shmuel Sagiv, Aleksandr Karbyshev, 2016, POPL.
Neil Immerman, Sumit Gulwani, Shmuel Sagiv, 2013, LPAR.
Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, 2004, CAV.
Neil Immerman, Alexandra Meliou, Wolfgang Gatterbauer, 2015, Proc. VLDB Endow..
Neil Immerman, Susan Landau, 1995, Inf. Comput..
Neil Immerman, N. Immerman, 1999, Graduate Texts in Computer Science.
Neil Immerman, 2020, ACM SIGLOG News.
Neil Immerman, Shlomo Zilberstein, Siddharth Srivastava, 2010, AAMAS.
Neil Immerman, Philipp Weis, N. Immerman, 2007, CSL.
Neil Immerman, Shlomo Zilberstein, Siddharth Srivastava, 2011, AAAI.
Neil Immerman, Rik Sengupta, N. Immerman, 2019, 1907.09582.
Neil Immerman, 2018, SIGL.
Neil Immerman, Alexandra Meliou, Wolfgang Gatterbauer, 2019, PODS.
Neil Immerman, N. Immerman, 1998, FSTTCS.
Neil Immerman, Shlomo Zilberstein, Siddharth Srivastava, 2008, AAAI.
Neil Immerman, Shlomo Zilberstein, Siddharth Srivastava, 2011, ICAPS.
Neil Immerman, Kousha Etessami, 1995, Theor. Comput. Sci..
Neil Immerman, 2017, SIGL.
Neil Immerman, J. Eliot B. Moss, Matthew Hertz, 2002, IFIP TCS.
Neil Immerman, 2014, ACM SIGLOG News.
Neil Immerman, Saharon Shelah, Yuri Gurevich, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Neil Immerman, N. Immerman, 1989, SIAM J. Comput..
Neil Immerman, 2014, SIGL.
Neil Immerman, David A. Mix Barrington, Jonathan F. Buss, 2001, Journal of Symbolic Logic.
Neil Immerman, 1999 .
Neil Immerman, Phokion G. Kolaitis, N. Immerman, 1997 .
Neil Immerman, Ori Lahav, Shmuel Sagiv, 2015, POPL.
Neil Immerman, Marco Carmosino, Charles Jordan, 2012, Logic and Program Semantics.
Neil Immerman, Kousha Etessami, N. Immerman, 1995, Theor. Comput. Sci..
Neil Immerman, Shmuel Sagiv, Sharon Shoham, 2020, Proc. ACM Program. Lang..
Neil Immerman, Shlomo Zilberstein, Siddharth Srivastava, 2012, Artif. Intell..
Neil Immerman, Micah Adler, 2003, TOCL.
Neil Immerman, Kousha Etessami, 2000, Inf. Comput..
Neil Immerman, William M. Hesse, N. Immerman, 2003 .
Neil Immerman, 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
Neil Immerman, Micah Adler, M. Adler, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Neil Immerman, Rajeev Alur, Kousha Etessami, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Neil Immerman, Howard Straubing, David A. Mix Barrington, 1988, [1988] Proceedings. Structure in Complexity Theory Third Annual Conference.
Neil Immerman, Philipp Weis, 2006, Circuits, Logic, and Games.
Neil Immerman, Shlomo Zilberstein, Siddharth Srivastava, 2011, Artif. Intell..
Neil Immerman, 1991 .
Neil Immerman, Haopeng Zhang, Yanlei Diao, 2010, Proc. VLDB Endow..
Neil Immerman, David W. Stemple, Sushant Patnaik, 1996, Theor. Comput. Sci..
Neil Immerman, Shlomo Zilberstein, Daniel S Bernstein, 2000, UAI.
Neil Immerman, Jin-Yi Cai, Martin Fürer, 1989, 30th Annual Symposium on Foundations of Computer Science.
Neil Immerman, David W. Stemple, Sushant Patnaik, 1991, PODS '91.
Neil Immerman, Rajeev Alur, Kousha Etessami, 2007, LICS 2007.
Neil Immerman, Shmuel Sagiv, Sharon Shoham, 2017, TACAS.
Neil Immerman, 1999 .
Neil Immerman, 1999 .
Neil Immerman, 2017, SIGL.
Neil Immerman, 1999, Bull. EATCS.
Neil Immerman, N. Immerman, 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
Neil Immerman, Shlomo Zilberstein, Siddharth Srivastava, 2010, AAAI Conference on Artificial Intelligence.
Neil Immerman, David Jensen, Hannah Blau, 2002 .
Neil Immerman, Susan Landau, 2001, Algorithmica.
Neil Immerman, Donald F. Towsley, James F. Kurose, 2003, Proceedings DARPA Information Survivability Conference and Exposition.
Neil Immerman, Natasha Alechina, N. Immerman, 2000, Log. J. IGPL.
Neil Immerman, Oded Padon, Jason R. Koenig, 2020, PLDI.
Neil Immerman, José L. Balcázar, Eric Allender, 1997, SIAM J. Comput..
Neil Immerman, J. A. Medina, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Neil Immerman, Rani Siromoney, Erik Meineche Schmidt, 1998, Lecture Notes in Computer Science.
Neil Immerman, 2016, SIGL.
Neil Immerman, Laura Kovács, Shmuel Sagiv, 2021, CAV.
Neil Immerman, Saharon Shelah, Yuri Gurevich, 1994, LICS 1994.
Neil Immerman, N. Immerman, Philipp Weis, 2011 .
Neil Immerman, Shlomo Zilberstein, Siddharth Srivastava, 2009 .
Neil Immerman, Thomas Reps, Mooly Sagiv, 2003 .