Refereed Papers
- “Reflections on the Logic of the Ontological Argument” (with Edward N. Zalta), Studia Neoaristotelica, 4/1 (2007): 28–35.
- “Accuracy Studies of a Parallel Algorithm for Solving the Hydrodynamic Formulation of the Time-Dependent Schrödinger Equation” (coauthors: R. Glenn Brook, Charles A. Weatherford, Ioana Banicescu, and Jianping Zhu), Journal of Molecular Structure: THEOCHEM, 592/1–3 (13 September 2002): 69–77.
- “Solving the Hydrodynamic Formulation of Quantum Mechanics: A Parallel MLS Method” (coauthors: R. Glenn Brook, Charles A. Weatherford, Ioana Banicescu, and Jianping Zhu), International Journal of Quantum Chemistry, 85/4–5 (3 October 2001): 263–271.
- “Density of States of the Two-dimensional Hubbard Model on a 4x4 Lattice” (coauthors: Pak-Wo Leung, Z. Liu, E. Manousakis, and Mark A. Novotny), Physical Review B, 46/18 (November 1992), 11779-11786.
- “Implementation of the Lanczos Algorithm for the Hubbard Model on the Connection Machine CM-2 System” (coauthor: Pak-Wo Leung), Comp. in Phys., 6 (1992), 603.
- “On the Logic of the Ontological Argument” (coauthor: Edward N. Zalta), Philosophical Perspectives, 5:509–529, 1991. Selected for republication in The Philosopher's Annual: 1991, Volume XIV (1993): 255–275. Czech translation, “O Logice Ontologického Důkazu”, Petr Hromek (trans.), in Studia Neoaristotelica, 4/1 (2007): 5–27.
- “The Certainty of Skepticism” (coauthor: Ralf Meerbote), Grazer Philosophische Studien, 11 (1980).
Book Chapters
- “The MIT Vision Machine” (coauthors: Tomaso Poggio, J. Little, E. Gamble, D. Geiger, D. Weinshall, M. Villalba, N. Larson, T. Cass, H. Bülthoff, M. Drumheller, W. Yang, A. Hurlbert, D. Beymer, P. O'Donnell, and W. Gillett), in Artificial Intelligence at MIT: Expanding Frontiers (Cambridge, MA, USA: MIT Press, 1991), pages 492–529. [Citation at ACM Portal]
Conference Papers
- “Parallel Execution of a Fortran 77 Weather Prediction Model” (coauthors: Gary Sabot, Skef Wholey, and Jonas Berlin), presented at the ACM/IEEE Conference on High Performance Networking and Computing (1993, Portland, OR), in Proceedings of the 1993 ACM/IEEE Conference on Supercomputing, New York: ACM Press, 1993. [Citation at ACM Portal] [Pdf]
- “On the Logic of the Ontological Argument” (coauthor: Edward N. Zalta), Proceedings and Addresses of the APA, 63/4 (December 1989): 78–79.
Current Research
WARNING: The author retains the copyright to the following materials. They are subject to change on a daily basis without notice. Feel free to read these documents if you are interested in my current research topics; please do not disseminate or cite these works without first contacting the author.
Current Research Papers
- A Difference Between Relational and Functional Type Theory (with Edward N. Zalta)
- A Computationally-Discovered Simplification of the Ontological Argument (with Edward N. Zalta)
I don't yet have presentable drafts in connection with any of the following ongoing research projects.
- Computational Metaphysics, Leibniz, and Frege (with Edward N. Zalta and Branden Fitelson)
Web Sites
- Computational Metaphysics (with Branden Fitelson and Edward N. Zalta)