Publications
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.
2001. Designing an Interactive Message Board as a Technology Probe for Family Communication. Technical Reports of the Computer Science Department.
2001. Detecting format string vulnerabilities with type qualifiers. Proceedings of the 10th conference on USENIX Security Symposium-Volume 10. :16-16.
2001. Differential point rendering. Proceedings of 12th Eurographics Workshop on Rendering. :139-50.
2001. Distributed processing of very large datasets with DataCutter. Parallel Computing. 27(11):1457-1478.
2001. Distributions on level-sets with applications to approximation algorithms. 42nd IEEE Symposium on Foundations of Computer Science, 2001. Proceedings. :588-597.
2001. Domatic partitions and the Lovász local lemma. Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms. :922-923.
2001. Dos and don'ts of client authentication on the web. Proceedings of the 10th conference on USENIX Security Symposium - Volume 10. :19-19.
2001. Dynamic Aggregation to Support Pattern Discovery: A Case Study with Web Logs. Discovery ScienceDiscovery Science. 2226:464-469.
2001. Dynamic queries and brushing on choropleth maps. Fifth International Conference on Information Visualisation, 2001. Proceedings. :757-764.
2001. Dynamic resource allocation via video content and short-term traffic statistics. Multimedia, IEEE Transactions on. 3(2):186-199.
2001. Dynamic software updating. Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation. :13-23.
2001. Editorial: Open source and empirical software engineering. Empirical Software Engineering. 6(3):193-194.
2001. On the efficiency of nearest neighbor searching with data clustered in lower dimensions. Computational Science—ICCS 2001. :842-851.