Computer Science

Adaptive routing for hypercube multiprocessors: performance of the one-message-outstanding model

Department of Computer Science, North Carolina State University.

Size efficient parallel algebraic circuits for partial derivatives

In D. V. Shirkov, V. A. Rostovtsev, & V. P. Gerdt (Eds.), IV International Conference on Computer Algebra in Physical Research (pp. 133–145). Singapore: World Scientific Publishing Co.

A knowledge based CAD to support students’ learning elementary geometric concepts and diagnosing their misconceptions

Japan Journal of Educational Technology, 14(4), 147–157.

Object caching for performance in object-oriented systems

Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers and Processors, 379–385.

DSC: a system for distributed symbolic computation

In S. M. Watt (Ed.), Proceedings of the 1991 international symposium on Symbolic and algebraic computation - ISSAC '91 (pp. 323–332).

On wiedemann's method of solving sparse linear systems

In H. F. Mattson, T. Mora, & T. R. N. Rao (Eds.), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (pp. 29–38).

Explicit Construction of the Hilbert Class Fields of Imaginary Quadratic Fields by Integer Lattice Reduction

In D. V. Chudnovsky, G. V. Chudnovsky, H. Cohn, & M. B. Nathanson (Eds.), Number Theory (pp. 149–202).

Towards a Formal Semantics for Speech Acts

Proceedings of the 2nd Meeting on the Mathematics of Language (MOL), 1–6. Tarrytown, New York.

On the Commitments and Precommitments of Limited Agents

Proceedings of the IJCAI Workshop on the Theoretical and Practical Design of Rational Agents, 1–11. Sydney.

Social and Psychological Commitments in Multiagent Systems

AAAI Fall Symposium on Knowledge and Action at Social and Organizational Levels, 104–106. Monterey, California.

A Logic of Situated Know-how

Proceedings of the National Conference on Artificial Intelligence (AAAI), 343–348. Anaheim, California.

Intentions, Commitments and Rationality

Proceedings of the 13th Annual Conference of the Cognitive Science Society, 493–498. Chicago.

Towards a Formal Theory of Communication for Multiagent Systems

Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI), 69–74. Sydney.

Towards a formal theory of intentions

In J. van Eijck (Ed.), Logics in AI. JELIA 1990 (pp. 472–486).

Processor efficient parallel solution of linear systems over an abstract field

Proceedings of the third annual ACM symposium on Parallel algorithms and architectures - SPAA '91. Presented at the the third annual ACM symposium.

Effective Noether irreducibility forms and applications

Proceedings of the twenty-third annual ACM symposium on Theory of computing - STOC '91. Presented at the the twenty-third annual ACM symposium.

On fast multiplication of polynomials over arbitrary algebras

Acta Informatica, 28(7), 693–701.

Approximate Analysis of the Binary d-Cube Network

Proceedings of the Sixth Distributed Memory Computing Conference, 515–522.

Impediments to universal preference-based default theories

Artificial Intelligence, 49(1-3), 97–128.

Alternate characterizations of the complexity graph

Dept of Computer Science, North Carolina State University.