Publications

For all papers please consult the publisher's website for copyright information (ACM, Elsevier, IEEE, IET, Springer).

2009

Ying Zhu, William Howard and Ken Pu. Spatial inference using networks of RFID receivers: a Bayesian approach. Globecom'09: the IEEE Global Communications Conference, pp to appear, Honolulu, Hawaii, USA, November-December 2009 (to appear).
Jeremy S. Bradbury, Kevin Jalbert. Defining a Catalog of Programming Anti-Patterns for Concurrent Java. Proc. 3rd International Workshop on Software Patterns and Quality (SPAQu'09), Orlando, Florida, USA, October 2009 (to appear).
Faisal Z. Qureshi. Object-Video Streams for Preserving Privacy in Video Surveillance. Proc. 6th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS 09), Genovo, Italy, September 2009, 1—8.
Faisal Z. Qureshi, Demetri Terzopoulos. Planning Ahead for PTZ Camera Assignment and Control. Proc. 1st ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC 09), Como, Italy, August 2009, 1—8.
Ying Zhu, Baochun Li and Ken Q. Pu. Dynamic Multicast with Linear Capacity Constraints. IEEE Transactions on Parallel and Distributed Systems 20(7):925-939, 2009.
Ken Q. Pu and Xiaohui Yu. FRISK: Query Cleaning and Processing in Action. ICDE'09: Proceedings of 25th International Conference on Data Engineering, pages 1531-1534, Shanghai, China, 2009.
Farid Bourennani, Ken Pu and Ying Zhu. Visualization and Integration of Databases using Self-organizing Maps. DBKDA'09: International Conference on Advances in Databases, Knowledge, and Data Applications, pages 155-160, Cancun, Mexico, 2009. [Best paper award]
Ken Q. Pu. Keyword Query Cleaning Using Hidden Markov Models. KEYS'09: the International Workshop Keyword Search on Structured Data, Providence, Rhode Island, USA, 2009.
Ken Q. Pu. Services and Business Computing Solutions with XML: Applications for Quality Management and Best Processes. chapter: XML Service Composition: Complexity and Computation, pages 136-155, 2009.

2008

Faisal Z. Qureshi, Demetri Terzopoulos. Smart Camera Networks in Virtual Reality. Proceedings of the IEEE, 96(10), October, 2008, 1—17, (Special Issue on Smart Cameras).
Faisal Z. Qureshi, Demetri Terzopoulos. Multi-Camera Control Through Constraint Satisfaction for Persistent Surveillance. Proc. 5th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS '08), Santa Fe, NM, September, 2008, 1—8.
Faisal Z. Qureshi, Demetri Terzopoulos, A Simulation Framework for Camera Sensor Networks Research. Proc. 11th Communications and Networking Simulation Symposium (CNS 2008), Ottawa, Canada, April, 2008, 41—48.
Faisal Z. Qureshi, Demetri Terzopoulos. Intelligent Perception and Control for Space Robotics: Autonomous Satellite Rendezvous and Docking. Journal of Machine Vision Applications, 19(3), February, 2008, 141—161.
Ken Q. Pu and Ying Zhu. Modeling and Synthesis of Service Composition Using Tree Automata. IRI'08: Proceedings of the 2008 IEEE International Conference on Information Reuse and Integration, pages 46-51, Las Vegas, NV, USA, 2008.
Ken Q. Pu and Xiaohui Yu. Keyword Query Cleaning. VLDB'08: Proceedings of the 34th International Conference on Very Large Data Bases, Auckland, New Zealand, 2008. Also published in Proc. VLDB Endow. vol. 1(1):909-920, 2008.
Ying Zhu and Ken Pu. Adaptive Multicast Tree Construction for Elastic Data Streams. Globecom 2008: Proceedings of IEEE Globecom 2008, pages 1-5, New Orlean, LA, USA, 2008.

2007

Faisal Z. Qureshi, Demetri Terzopoulos. Virtual Vision: Visual Sensor Networks in Virtual Reality. Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2007), Newport Beach, CA, November, 2007, 247—248.
Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. Comparative Assessment of Testing and Model Checking Using Program Mutation, In Proc. of the 3rd Workshop on Mutation Analysis (Mutation 2007), pages 210-219, Windsor, UK, Sept. 2007.
Faisal Z. Qureshi, Demetri Terzopoulos. Smart Camera Networks in Virtual Reality. Proc. First ACM/IEEE International Conference on Distributed Smart Cameras, Vienna, Austria, Sep, 2007, 1—8.
Faisal Z. Qureshi, Demetri Terzopoulos. Distributed Coalition Formation in Visual Sensor Networks: A Virtual Vision Approach. Proc. Third IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS 07), Santa Fe, NM, June, 2007, in Lecture Notes in Computer Science, 4549, J. Aspnes et al. (eds.), Springer-Verlag, New York, 2007, 1—21.
Faisal Z. Qureshi, Demetri Terzopoulos. Surveillance in Virtual Reality: System Design and Multicamera Control. Proc. IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 07), Minneapolis, MN, June, 2007.
L. Ruhai Cai, Jeremy S. Bradbury, Juergen Dingel. Verifying Distributed, Event-Based Middleware Applications using Domain-Specific Software Model Checking, In Proc. of 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07), Springer Verlag. Lecture Notes in Computer Science 4468. Pages 44-58. Paphos, Cyprus. June 2007.
Ken Q. Pu. Service Description and Analysis from a Type Theoretic Approach. SEIW'07: Proceedings of 2nd International Workshop on Service Engineering, pages 12, Istanbul, Turkey, 2007.
Amit Chandel, Nick Koudas, Ken Q. Pu and Divesh Srivastava. Fast Identification of Relational Constraint Violations. ICDE '07: Proceedings of the 23rd International Conference on Data Engineering, pages 776-785, Istanbul, Turkey, 2007.
Ken Q. Pu and Ying Zhu. Fast Archiving and Querying of Heterogeneous Sensor Data Streams. ICDT '07: Proceedings of the Second International Conference on Digital Telecommunications, pages 28, San Jose, CA, USA, 2007.
Ken Q. Pu and Ying Zhu. Efficient Indexing of Heterogeneous Data Streams with Automatic Performance Configurations. SSDBM '07: Proceedings of the 19th International Conference on Scientific and Statistical Database Management, pages 34, Banff, AB, Canada, 2007.

2006

Faisal Z. Qureshi, Demetri Terzopoulos. Surveillance Camera Scheduling: A Virtual Vision Approach. ACM Multimedia Systems Journal, 12(3), December, 2006, 269—283 (Special Issue on Multimedia Surveillance Systems).
Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. Mutation Operators for Concurrent Java (J2SE 5.0), In Proc. of the 2nd Workshop on Mutation Analysis (Mutation 2006), pages 83-92, Raleigh, North Carolina, USA, Nov. 2006.

Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis, In Proc. of the 2nd Workshop on Mutation Analysis (Mutation 2006), pages 57-62, Raleigh, North Carolina, USA, Nov. 2006.
Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. Using Source Transformation to Test and Model Check Implicit-Invocation Systems, Special Issue on Source Code Analysis and Manipulation, Science of Computer Programming, 62(3), pages 209–227, Oct. 2006.
Faisal Z. Qureshi, Demetri Terzopoulos. Virtual Vision and Smart Cameras Networks. Working Notes of the International Workshop on Distributed Smart Cameras (DSC 2006), Boulder, CO, USA, October, 2006, 62—66. (Held in conjunction with the 4th ACM Conference on Embedded Networked Sensor Systems (SenSys 2006).)
Jeremy S. Bradbury. Using Mutation for the Assessment and Optimization of Tests and Properties, Doctoral Symposium being held in conjunction with the International Symposium on Software Testing and Analysis (ISSTA 2006), Portland Maine, USA, July 2006, 4 pp.
Ken Pu, Vagelis Hristidis and Nick Koudas. Syntactic Rule Based Approach to Web Service Composition. ICDE '06: Proceedings of the 22nd International Conference on Data Engineering, pages 31, Atlanta, GA, USA, 2006.

2005

Faisal Z. Qureshi, Demetri Terzopoulos. Surveillance Camera Scheduling: A Virtual Vision Approach. Proc. Third ACM Workshop on Video Surveillance and Sensor Networks (VSSN 05), Singapore, November, 2005, 131—139. [Selected as a best paper and invited for submission to a special issue of the ACM Multimedia Systems Journal]
Faisal Z. Qureshi, Demetri Terzopoulos. Towards Intelligent Camera Networks: A Virtual Vision Approach. Proc. Second Joint IEEE International Workshop on Visual Surveillance and Performance Evaluation of Tracking and Surveillance (VS-PETS 05), Beijing, China, October, 2005, 177—184.
Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. In Proc. of the 5th International Workshop on Source Code Analysis and Manipulation (SCAM 2005), pages 87-96, Budapest, Hungary, Sept./Oct. 2005. [Invited for submission to a special issue of the Science of Computer Programming Journal]
Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis, In Proc. of the 6th International ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005), pages 2-5, Lisbon, Portugal, Sept. 2005.
Faisal Z. Qureshi, D. Macrini, D. Chung, J. Maclean, S. Dickinson, P. Jasiobedzki. A Computer Vision System for Space-bourne Safety Monitoring. Proc. Eighth International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2005), Munich, Germany, September, 2005 (Electronic Format).
Faisal Z. Qureshi, Demetri Terzopoulos, P. Jasiobedzki. Cognitive Vision for Autonomous Satellite Rendezvous and Docking. Proc. Ninth IAPR Conf. on Machine Vision Applications (MVA 2005), Tsukuba Science City, Japan, May, 2005, 314—319.
Ken Q. Pu and Alberto O. Mendelzon. Concise descriptions of subsets of structured sets. ACM Trans. Database Syst. vol. 30(1):211-248, 2005.
Ken Q. Pu and Alberto O. Mendelzon. Typed functional query languages with equational specifications. CIKM '05: Proceedings of the 14th ACM international conference on Information and knowledge management, pages 233-234, Bremen, Germany, 2005.
Ken Q. Pu. Modeling, querying and reasoning about OLAP databases: a functional approach. DOLAP '05: Proceedings of the 8th ACM international workshop on Data warehousing and OLAP, pages 1-8, Bremen, Germany, 2005.
Xiaohui Yu, Ken Q. Pu and Nick Koudas. Monitoring k-Nearest Neighbor Queries over Moving Objects. ICDE '05: Proceedings of the 21st International Conference on Data Engineering, pages 631-642, Tokyo, Japan, 2005.