Computer Science

SNAP: workbench management tool for evolutionary population genetic analysis

BIOINFORMATICS, 21(3), 402–404.

Probabilistic temporal logics via the modal mu-calculus

THEORETICAL COMPUTER SCIENCE, 342(2-3), 316–350.

Proactive mediation in plan-based narrative environments

In Intelligent Virtual Agents: 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005: Proceedings (Vol. 3661, pp. 292–304). New York: Springer.

On the accuracy of semi-Lagrangian numerical simulation of internal gravity wave motion in the atmosphere

JOURNAL OF THE METEOROLOGICAL SOCIETY OF JAPAN, 83(5), 851–869.

Identifying value mappings for data integration: An unsupervised approach

In Web information systems engineering--WISE 2005: 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005: Proceedings (Lecture notes in computer science; 3806) (Vol. 3806, pp. 544–551). Berlin: Springer-Verlag.

Efficient security mechanisms for overlay multicast-based content distribution

In A. K. J. Ioannidis & M. Yung (Eds.), Applied cryptography and network security: Third international conference, ACNS 2005, New York, NY, USA, June 7-10, 2005: Proceedings (Lecture notes in computer science; 3531) (Vol. 3531, pp. 40–55). Berlin; New York: Springer.

Designing views to efficiently answer real SQL queries

In J-D. Zucker & L. Saitta (Eds.), Abstraction, reformulation and approximation: 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005: proceedings (Lecture notes in computer science, Lecture notes in artificial intelligence; 3607) (Vol. 3607, pp. 332–346).

An objective character believability evaluation procedure for multi-agent story generation systems

In Intelligent Virtual Agents: 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005: Proceedings (Vol. 3661, pp. 278–291). New York: Springer.

Selecting and using views to compute aggregate queries (extended abstract)

In T. Eiter & L. Libkin (Eds.), Database theory: ICDT 2005, 10th international conference, Edinburgh, UK, January 5-7, 2005: Proceedings (Lecture notes in computer science ; 3363) (Vol. 3363, pp. 383–397).

Research directions for service-oriented multiagent systems

IEEE INTERNET COMPUTING, 9(6), 65–70.

On the application of k-center algorithms in heirarchical traffic grooming

In Proceedings of the Second International IEEE/Create-net workshop on traffic grooming (pp. 167–176). Los Alamitos, CA: IEEE Computer Society.

Identification of a discrete planar symmetric shape from a single noisy view

IEEE TRANSACTIONS ON IMAGE PROCESSING, 14(12), 2051–2059.

Feedback EDF scheduling of real-time tasks exploiting dynamic voltage scaling

REAL-TIME SYSTEMS, 31(1-3), 33–63.

Designing a visualization framework for multidimensional data

IEEE Computer Graphics and Applications, 25(6), 15-.

Checking inside the black box: Regression testing by comparing value spectra

Xie, T., & Notkin, D. (2005, October). IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, Vol. 31, pp. 869–883.

An approach to unfolding asynchronous communication protocols

In I. J. H. J. Fitzgerald & A. Tarlecki (Eds.), FM 2005: Formal methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005: proceedings (Lecture notes in computer science ; 3582) (Vol. 3582, pp. 334–349). Berlin; New York: Springer.

Traffic engineering approach to path selection in optical burst switching networks

Journal of Optical Networking, 4(11), 759–777.

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).

Fast incorporation of optical flow into active polygons

IEEE TRANSACTIONS ON IMAGE PROCESSING, 14(6), 745–759.

Emergent behavior in two complex cellular automata rule sets

COMPLEXITY, 10(5), 45–55.