Publications
2008. Learning Abstract Properties of Swarm Systems. Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems.
2008. The swarm application framework. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (Student Abstract.
2006. A bootstrapping model for directional wireless networks. Communications Letters, IEEE. 10(12):840-842.
1993. Presentations and this and that: logic in action. Proceedings of the 15th Annual Conference of the Cognitive Science Society, Boulder, Colorado. 251
1991. Typicality constants and range defaults: Some pros and cons of a cognitive model of default reasoning. Methodologies for Intelligent Systems. :560-569.
1990. IPS-2: the second generation of a parallel program measurement system. IEEE Transactions on Parallel and Distributed Systems. 1(2):206-217.
2011. Learning to predict web collaborations. Workshop on User Modeling for Web Applications (UMWA-11).
2000. Using quality of data metadata for source selection and ranking. Proceedings of the Third International Workshop on the Web and Databases, WebDB. :93-98.
2001. Source Selection and Ranking in the WebSemantics Architecture Using Quality of Data Metadata-1 Introduction. Advances in Computers. 55:89-90.
2005. A data model and query language to explore enhanced links and paths in life science sources. Proceedings of the ACM SIGMOD Workshop on The Web and Databases (WebDB).
2011. A family of abstract interpretations for static analysis of concurrent higher-order programs. arXiv:1103.5167 [cs].
2010. Resolving and Exploiting the k-CFA Paradox: Illuminating Functional vs. Object-oriented Program Analysis. PLDI '10 Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation. :305-315.
2011. Materializing multi-relational databases from the web using taxonomic queries. Proceedings of the fourth ACM international conference on Web search and data mining. :355-364.
2006. Annotation compatibility working group report. Proceedings of the Workshop on Frontiers in Linguistically Annotated Corpora 2006. :38-53.
2007. Surface Segmentation through Concentrated Curvature. Image Analysis and Processing, 2007. ICIAP 2007. 14th International Conference on. :671-676.
2009. Morphology analysis of 3D scalar fields based on morse theory and discrete distortion. Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. :187-196.