Operations Research

Proofchecker: an accessible environment for automata theory correctness proofs

ACM SIGCSE Bulletin, 39(3), 48–52.

High-contrast algorithm behavior: observation, hypothesis, and experimental design

Proceedings of the 2007 workshop on Experimental computer science, 12.

A case for smaller class size with integrated lab for introductory computer science

ACM SIGCSE Bulletin, 39(1), 341–345.

Convergence Analysis of the {DIRECT} Algorithm

A Case Study in Using Local {I/O} and {GPFS} to Improve Simulation Scalability

8th LCI International Conference on High-Performance Clustered Computing.

Analysis of A Scalable Preconditioner for the Wigner-Poisson Equation

International Journal of Pure and Applied Mathematics, 37, 247–270.

Pagerank computation, with special attention to dangling nodes

SIAM Journal on Matrix Analysis and Applications, 29(4), 1281–1296.

Problems and techniques: Introduction

SIAM Review, 49(4).

Problems and techniques

SIAM Review, 49(3), 419–420.

Model-Based Failure Detection on Nonlinear Systems: Theory and Transition

Naval Engineers Journal, 119(2), 93–107.

The Hill–Robertson effect is a consequence of interplay between linkage, selection and drift: a commentary on ‘The effect of linkage on limits to artificial selection’ by W. G. Hill and A. Robertson

Genetics Research, 89(5-6), 309–310.

Strategic analysis of speed and flexibility in sourcing textile products

AC 2007-3009: COMPUTER-BASED MODELING FOR ENGINEERS USING EXCEL AND VBA

2007 ASEE, 12, 1.

Computer-Based Modeling for Engineers using Excel and VBA

Proceedings of the ASEE International Conference. Retrieved from http://www.asee.org/acPapers/code/getPaper.cfm?paperID=13338

A Comparison Meta-Heuristics for Large Scale Facility Location Problems with Economies of Scale

Proceedings of the Industrial Engineering Research Conference. Nashville, Tennessee.

An Experimental Study on Security Protocols in WLANs

In X. S. Yang Xiao & D.-Z. Du (Eds.), Wireless network security.

Formalizing communication protocols for multiagent systems

IJCAI International Joint Conference on Artificial Intelligence, 1519–1524.

Formal trust model for multiagent systems

IJCAI International Joint Conference on Artificial Intelligence, 1551–1556.

Reduced-order optimal control based on approximate inertial manifolds for nonlinear dynamical systems

SIAM Journal on Numerical Analysis, 46(6), 2867–2891.

Projected pseudotransient continuation

SIAM Journal on Numerical Analysis, 46(6), 3071–3083.