Publications

• Considering Hierarchical Hybrid Systems for Intelligent Animated Agents.
  Eric Aaron and Dimitris Metaxas.
  Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, LNCS 2564, 215-229, 2003.
• A Hybrid Dynamical Systems Approach to Intelligent Low-Level Navigation.
  E. Aaron, H. Sun, F. Ivancic, and D. Metaxas.
  Proceedings of Computer Animation 2002, 154-163, 2002.
• Hybrid System Models of Navigation Strategies for Games and Animations.
  E. Aaron, F. Ivancic, and D. Metaxas.
  Proceedings of Hybrid Systems: Computation and Control, LNCS 2289, 7-20, 2002.
• Scalable Nonlinear Dynamical Systems for Agent Steering and Crowd Simulation.
  S. Goldenstein, M. Karavelas, D. Metaxas, L. Guibas, E. Aaron, and A. Goswami.
  Computers And Graphics, 25(6), 983-998, 2001.
• A Framework for Reasoning about Animation Systems.
  E. Aaron, D. Metaxas, F. Ivancic, and O. Sokolsky.
  Proceedings of the Third International Workshop on Intelligent Virtual Agents, LNAI 2190, 47-60, 2001.
• Justifying calculational logic by a conventional metalinguistic semantics.
  Eric Aaron and Stuart Allen.
  Submitted to Journal of Symbolic Computation.
• Formal justification of underspecification for S5.
  Eric Aaron and David Gries.
  Information Processing Letters, 64, 115-121, 1997.
• Frequency vs. probability formats: Framing the three doors problem.
  Eric Aaron and Michael Spivey.
  Proceedings of the Twentieth Annual Conference of the Cognitive Science Society, 13-18, 1998. (Technical Report version, PDF)
• Insight into theorem proving via eye movements.
  Eric Aaron and Michael Spivey.
  Technical Report TR99-1733, Computer Science Department, Cornell University, 1999.
• Designing a calculational logic theorem prover: Insight into search procedure via eye movements.
  Eric Aaron and Michael Spivey.
  Technical Report TR98-1680, Computer Science Department, Cornell University, 1998.
• A User-Level Introduction to the Nuprl Proof Development System.
  Eric Aaron.
  Technical Report MS-CIS-01-32, Department of Computer and Information Science, University of Pennsylvania, 2001. (PS version)