Publications
Export 490 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is C [Clear All Filters]
2008. Activity sensing in the wild: a field trial of ubifit garden. Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems. :1797-1806.
2008. Flowers or a robot army?: encouraging awareness & activity with personal, mobile displays Proceedings of the 10th international conference on Ubiquitous computing. :54-63.
2008. Environmental signatures associated with cholera epidemics. Proceedings of the National Academy of Sciences. 105(46):17676-17676.
2009. Predicting the distribution of Vibrio spp. in the Chesapeake Bay: a Vibrio cholerae case study. EcoHealth. 6(3):378-389.
2000. Combinatorial Problems Arising in Deregulated Electrical Power Industry: Survey and Future Directions. NONCONVEX OPTIMIZATION AND ITS APPLICATIONS. 42:138-162.
1998. Low-bandwidth routing and electrical power networks. Automata, Languages and ProgrammingAutomata, Languages and Programming. 1443:604-615.
1983. Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Transactions on Software Engineering. SE-9(5):603-616.
1985. A timed petri net methodolgoy for specifying real-time system timing requirements. International Workshop on Timed Petri Nets. :24-31.
1985. Solving NP-hard problems in [] almost trees': Vertex cover. Discrete applied mathematics. 10(1):27-45.
2003. Random MAX SAT, random MAX CUT, and their phase transitions. Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms. :364-373.
2007. Combining provenance and security policies in a web-based document management system. On-line Proceedings of the Workshop on Principles of Provenance (PrOPr).
2009. Cross-tier, label-based security enforcement for web applications. Proceedings of the 35th SIGMOD international conference on Management of data. :269-282.
2000. Communication complexity of document exchange. Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. :197-206.
2005. A framework for set-oriented computation in inductive logic programming and its application in generalizing inverse entailment. Inductive Logic Programming. :69-86.
2007. Optimizing mpf queries. Proceedings of the 2007 ACM SIGMOD international conference on Management of data - SIGMOD '07. :701-701.
2005. Path dependence and the validation of agent-based spatial models of land use. International Journal of Geographical Information Science. 19(2):153-174.
2006. Configuration and representation of large-scale dataflow graphs using the dataflow interchange format. Proceedings of the IEEE Workshop on Signal Processing Systems, Banff, Canada. :10-15.
2005. Detecting Independent 3D Movement. Handbook of Geometric ComputingHandbook of Geometric Computing. :383-401.
2009. Advancing User-Centered Evaluation of Visual Analytic Environments Through Contests. Information VisualizationInformation Visualization. 8(3):230-238.
2007. Recovery in culture of viable but nonculturable Vibrio parahaemolyticus: regrowth or resuscitation? The ISME Journal. 1(2):111-120.
2007. Indexing Point Triples Via Triangle Geometry. Data Engineering, 2007. ICDE 2007. IEEE 23rd International Conference on. :936-945.
2008. Indexing planar point quartets via geometric attributes. Proceedings of the 16th ACM SIGSPATIAL international conference on Advances in geographic information systems. :71:1–71:4-71:1–71:4.
2006. Efficient position-independent iconic search using an R-theta index. Proceedings of the 14th annual ACM international symposium on Advances in geographic information systems. :27-34.