Publications
2003. The dangers of mitigating security design flaws: a wireless case study. IEEE Security & Privacy. 1(1):28-36.
2008. Advances in multilingual and multimodal information retrieval. Lecture Notes in Computer Science. 5152
2006. Evaluation of Multilingual and Multi-modal Information Retrieval-Seventh Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 19-21, 2006, Revised Selected Papers. Seventh Workshop of the Cross-Language Evaluation Forum, CLEF 2006.
2007. A computational survey of candidate exonic splicing enhancer motifs in the model plant Arabidopsis thaliana. BMC Bioinformatics. 8(1):159-159.
2000. Empirical studies of software engineering: a roadmap. Proceedings of the conference on The future of Software engineering. :345-355.
1996. Evaluating workflow and process automation in wide-area software development. Software Process Technology. :188-193.
1997. Anywhere, Anytime Code Inspections: Using the Web to Remove Inspection Bottlenecks in Large-Scale Software Development. Software Engineering, International Conference on. :14-14.
1993. Logic and Artificial Intelligence: A New Synthesis? ANNALES-SOCIETATIS MATHEMATICAE POLONAE SERIES 4. 18:297-297.
1995. Consciousness and complexity: the cognitive quest. Annals of Mathematics and Artificial Intelligence. 14(2):309-321.
1986. Self-reference, knowledge, belief, and modality. Proc 5th National Conference on AI. :416-420.
1988. Languages with self-reference II : Knowledge, belief, and modality. Artificial Intelligence. 34(2):179-212.
1994. Meta-languages, reflection principles and self-reference. Handbook of logic in artificial intelligence and logic programming. :323-358.
1976. An application of compiler simulation at the source language level. The Computer Journal. 19(1):90-90.