Computer Science

Light-tree routing under optical power budget constraints [Invited]

Journal of Optical Networking, 3(5), 282.

Optical Network Engineering

In S. Dixit (Ed.), IP over WDM (pp. 299–327).

Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

A Formal Monitoring-Based Framework for Software Development and Analysis

Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, 357–372.

On wavelength assignment in optical burst switched networks

First International Conference on Broadband Networks, Proceedings, 24–33.

Multicast routing under optical layer constraints

In Ieee Infocom 2004: the Conference on Computer Communications, Vols 1-4, Proceedings (pp. 2731–2742).

Fault management with fast restoration for optical burst switched networks

First International Conference on Broadband Networks, Proceedings, 34–42.

Traffic grooming in WDM ring networks with the min-max objective

In Networking 2004 (Vol. 3042, pp. 174–185).

Three-failure match

Mathematics in Practice and Theory, 34(11), 14–19.

Branching storylines in virtual reality environments for leadership development

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

End-To-End Burst Loss Probabilities in an OBS Network with Simultaneous Link Possession

Proceedings of the Third International Workshop on Optical Burst Switching, WOBS3.

Early termination in Shoup's algorithm for the minimum polynomial of an algebraic

An architecture for integrating plan-based behavior generation with interactive game environments

The Journal of Game Development, 1(1), 51–70.

Multi-label Machine Learning and Its Application to Semantic Scene Classification

Proceedings of Storage and Retrieval Methods and Applications for Multimedia 2004, 5307, 188–199.

Characterizing Phases in Service-Oriented Applications

(Technical Report No. TR848). Computer Science Dept., University of Rochester.

A Semantic Protocol-Based Approach for Developing Business Processes

Forum Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC), 99–107. New York: ACM.

Modeling Flexible Business Processes

Proceedings of the 1st AAMAS Workshop on Declarative Agent Languages and Technologies (DALT). New York.

Mining repositories to assist in project planning and resource allocation

"International Workshop on Mining Software Repositories (MSR 2004)" W17S Workshop - 26th International Conference on Software Engineering. Presented at the "International Workshop on Mining Software Repositories (MSR 2004)" W17S Workshop - 26th International Conference on Software Engineering.

Agent-Based Abstractions for Software Development

In F. Bergenti, M. P. Gleizes, & F. Zambonelli (Eds.), Methodologies and Software Engineering for Agent Systems (pp. 5–18).

The Practical Handbook of Internet Computing