Publications
2001. Automated design of sheet metal punches for bending multiple parts in a single setup. Robotics and Computer-Integrated Manufacturing. 17(1–2):33-47.
2001. Automated Validation of Software Models. Automated Software Engineering, International Conference on. :91-91.
2001. Automatically Tracking and Analyzing the Behavior of Live Insect Colonies. AGENTS '01 Proceedings of the Fifth International Conference on Autonomous Agents . :521-528.
2001. Better Approximation Guarantees for Job-Shop Scheduling. SIAM Journal on Discrete Mathematics. 14(1):67-67.
2001. Building an Experience Base for Software Engineering: A report on the first CeBASE eWorkshop. Product Focused Software Process Improvement. :110-125.
2001. A case for dynamic view management. ACM Transactions on Database SystemsACM Trans. Database Syst.. 26(4):388-423.
2001. CLEF experiments at Maryland: Statistical stemming and backoff translation. Cross-Language Information Retrieval and Evaluation. :176-187.
2001. Component-based, user-constructed, multiple-view visualization. CHI '01 extended abstracts on Human factors in computing systems. :201-202.
2001. Conditions enabling the emergence of inter-agent signalling in an artificial world. Artificial Life. 7(1):3-32.
2001. Core semantics of multithreaded Java. Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande - JGI '01. :29-38.
2001. Cortical Spreading depression and the pathogenesis of brain disorders: a computational and neural network-based investigation. Neurological research. 23(5):447-456.
2001. Coverage criteria for GUI testing. Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering. :256-267.
2001. Cryptographic counters and applications to electronic voting. Advances in Cryptology—Eurocrypt 2001. :78-92.