Publications
2008. The swarm application framework. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence (Student Abstract.
2009. Predicting and Controlling System-Level Parameters of Multi-Agent Systems. 2009 AAAI Fall Symposium Series.
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
1990. IPS-2: the second generation of a parallel program measurement system. IEEE Transactions on Parallel and Distributed Systems. 1(2):206-217.
1991. Typicality constants and range defaults: Some pros and cons of a cognitive model of default reasoning. Methodologies for Intelligent Systems. :560-569.
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.
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.