Computer Science

Blocked iterative sparse linear system solvers for finite fields

In C. Roucairol (Ed.), Proceedings of the Symposium of Parallel Computing Solving Large Scale Irregular Applications (Stratagem '96) (pp. 91–95). Sophia Antipolis, France: INRIA.

Intelligent CAI for geometric theorem proving with dynamic manipulative interface

Transactions of Information Processing Society of Japan, 37(9), 1679–1687.

Scientific Workflows: Scientific Computing Meets Transactional Workflows

Proceedings of the National Science Foundation Workshop on Workflow and Process Automation in Information Systems: State-of-the-Art and Future Directions. Presented at the NSF Workshop on Workflow and Process Automation in Information Systems, Athens, GA. http://www.csc.ncsu.edu/faculty/mpsingh/workflows/sciworkflows.html

Multiagent Systems as Spheres of Commitment

Proceedings of the International Conference on Multiagent Systems (ICMAS) Workshop on Norms, Obligations, and Conventions, 1–13.

Carnot Prototype

In O. A. Bukhres & A. K. Elmagarmid (Eds.), Object-Oriented Multidatabase Systems: A Solution for Advanced Applications (pp. 621–648). Prentice-Hall.

Book review: ARCHON: An Architecture for Multi-agent Systems. Edited by Wittig, Thies (Ellis Horwood Limited (distributed by Prentice Hall), 1992)

[Review of ARCHON: An Architecture for Multi-agent Systems, by T. Wittig]. ACM SIGART Bulletin, 7(1), 9–10.

Agents misunderstood

IEEE Spectrum, 33(2), 10–64.

Semantical considerations on some primitives for agent specification

In Intelligent Agents II Agent Theories, Architectures, and Languages (pp. 49–64).

Prediction Based Task Scheduling in Distributed Computing

In Languages, Compilers and Run-Time Systems for Scalable Computers (pp. 317–320).

Generic Gram-Schmidt orthogonalization by exact division

Proceedings of the 1996 international symposium on Symbolic and algebraic computation - ISSAC '96. Presented at the the 1996 international symposium.

On rank properties of Toeplitz matrices over finite fields

Proceedings of the 1996 international symposium on Symbolic and algebraic computation - ISSAC '96. Presented at the the 1996 international symposium.

Two decades of array signal processing research: the parametric approach

IEEE Signal Processing Magazine, 13(4), 67–94.

Optimizing procedure calls in block-structured languages

Software—Practice and Experience, 26(12), 1385–1414.

Synthesizing distributed constrained events from transactional workflow specifications

Proceedings of the Twelfth International Conference on Data Engineering.

Synthesizing distributed constrained events from transactional workflow specifications

Proceedings - International Conference on Data Engineering, 616–623. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029753889&partnerID=MN8TOARS

Scheduling workflows by enforcing intertask dependencies

Distributed Systems Engineering, 3(4), 222–238.

Some approximation results in multicasting

Citeseer.

Strategic directions in artificial intelligence

CSUR, 28(4), 653–670.

Editorial: Strategic directions in computing research

CSUR, 28(4), 565–574.

Cleaving (unto) artificial intelligence

CSUR, 28(4es), 4-es.