Computer Science

Scheduling Algorithms for Unicast, Multicast, and Broadcast

In K. Sivalingam & S. Subramanian (Eds.), The International Series in Engineering and Computer Science (pp. 171–188).

Event-based runtime verification of java programs

ACM SIGSOFT Software Engineering Notes, 30(4), 1–7.

Efficient Monitoring of omega-Languages

Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, 364–378.

Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

An Equational Specification for the Scheme Language

J. UCS, 11(7), 1327–1348.

Routing path optimization in optical burst switched networks

2005 Conference on Optical Network Design and Modelling, Proceedings, 1–10.

Path switching in OBS networks

In Networking 2005: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems (Vol. 3462, pp. 406–418).

On the Application of K-Center Algorithms to Hierarchical Traffic Grooming

2nd International Conference on Broadband Networks (Broadnets 2005), 295-+.

An Intra- and Inter-Domain Routing Architecture for Optical Burst Switched (OBS) Networks

2nd International Conference on Broadband Networks (Broadnets 2005), 150-+.

A Framework for Hierarchical Traffic Grooming in WDM Networks of General Topology

2nd International Conference on Broadband Networks (Broadnets 2005), 167-+.

A discourse planning approach to cinematic camera control for narratives in virtual environments

Proceedings of the National Conference on Artificial Intelligence, 1, 307–312. http://www.scopus.com/inward/record.url?eid=2-s2.0-29344452737&partnerID=MN8TOARS

Towards an intelligent storyboarding tool for 3D games

ACM International Conference Proceeding Series, 265, 367–368.

Natural language processing in educational systems

In H. Tanaka (Ed.), Encyclopedia of Artificial Intelligence. Tokyo, Japan: Japan Society of Artificial Intelligence.

Instructional strategies

In H. Tanaka (Ed.), Encyclopedia of Artificial Intelligence. Tokyo, Japan: Japan Society of Artificial Intelligence.

Explicit construction of the hilbert class fields of imaginary quadratic fields with class numbers 7 and 11

In EUROSAM 84 (pp. 310–320).

Optical burst switching for the next generation Internet

IEEE Potentials, 23(5), 40–43.

Parallelization of Utility Programs Based on Behavior Phase Analysis

(No. TR876). Rochester, NY: Computer Science Dept., University of Rochester.

Internet-Based Games

In M. P. Singh (Ed.), The Practical Handbook of Internet Computing.

Multiagent System for Dynamic Web Services Selection

Proceedings of the AAMAS Workshop on Service-Oriented Computing and Agent-Based Engineering (SOCABE), 1–10. Utrecht, The Netherlands: AAMAS.

Proceedings of the 4th International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS)

Utrecht, The Netherlands: ACM Press.