Publications
1988. Expert system development: letting the domain specialist directly author knowledge bases. Expert systems: the user interface. :37-56.
1988. Expert database systems: Efficient support for engineering environments. Data & Knowledge Engineering. 3(2):71-85.
2000. Experiments with list ranking for explicit multi-threaded (XMT) instruction parallelism. J. Exp. Algorithmics. 5
1999. Experiments with list ranking for Explicit Multi-Threaded (XMT) instruction parallelism. Algorithm Engineering. :43-59.
2007. Experimenting with software testbeds for evaluating new technologies. Empirical Software Engineering. 12(4):417-444.
2003. Experimental validation of new software technology. SERIES ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 12:229-263.
1997. Experimental validation in software engineering. Information and Software Technology. 39(11):735-743.
2000. The experimental validation and packaging of software technologies. ACM SIGSOFT Software Engineering Notes. 25(1):82-83.
1993. An Experimental Study of Three Dataflow Paradigms in Multithreaded Database Transitive Closure Algorithms on Shared Memory Multiprocessors. Journal of Parallel and Distributed Computing. 18(3):371-389.
1991. An experimental study of criteria for hypothesis plausibility. Journal of Experimental & Theoretical Artificial Intelligence. 3(2):129-144.
1977. Experimental investigations of the utility of detailed flowcharts in programming. Communications of the ACM. 20(6):373-381.
1989. An experimental evaluation of three touch screen strategies within a hypertext database. International Journal of Human-Computer Interaction. 1(1):41-52.
1984. An experimental comparison of tabular and graphic data presentation. International Journal of Man-Machine Studies. 20(6):545-566.
1986. An experimental comparison of a mouse and arrow-jump keys for an interactive encyclopedia. International Journal of Man-Machine Studies. 24(1):29-45.
1980. An experiment using memorization/reconstruction as a measure of programmer ability. International Journal of Man-Machine Studies. 13(3):339-354.
1997. An experiment to assess the cost-benefits of code inspections in large scale software development. IEEE Transactions on Software Engineering. 23(6):329-346.
2008. Experiences with building an intrusion-tolerant group communication system. Software: Practice and Experience. 38(6):639-666.
2006. On expected constant-round protocols for Byzantine agreement. Advances in Cryptology-CRYPTO 2006. :445-462.
2009. On expected constant-round protocols for Byzantine agreement. Journal of Computer and System Sciences. 75(2):91-112.