Publications

• "Asynchronous Active Objects in Java," G. Oprean, J. B. Pedersen. Proceedings of Communicating Processes Architectures 2008 (CPA'08) York, United Kingdom, September 8-11, 2008.
  
  
• "Solving the Santa Claus Problem: A Comparison of Various Concurrent Programming Techniques," J. L. Hurt, J. B. Pedersen. Proceedings of Communicating Processes Architectures 2008 (CPA'08) York, United Kingdom, September 8-11, 2008.
  
  
• "Approximating the Buffer Allocation Problem Using Epochs," J. B. Pedersen, A. Brodsky, J. Sampson. Journal of Parallel and Distributed Computing (accepted for publication).
  
  
• "Approximating the Buffer Allocation Problem Using Epochs," J. B. Pedersen, A. Brodsky. Proceedings of Parallel and Distributed Computing and Systems, (PDCS'06) Dallas, Texas, United States, November 13-15, 2006. Best paper in the Algorithms category.
  
  
• "Classification of Programming Errors in Parallel Message Passing Systems" J. B. Pedersen. Proceedings of Communicating Process Architectures 2006 (CPA'06) Edinburgh, Scotland, United Kingdom, September 2006.
  
  
• "IDLI: An Interactive Message Debugger for Parallel Programs using LAM-MPI," Hoimonti Basu, J. B. Pedersen. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'06) Las Vegas, Nevada, USA, June 26-29, 2006.
  
  
• "Millipede: A Multilevel Debugging Environment for Distributed Systems," Erik Tribou, J. B. Pedersen. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applicaitons (PDPTA'05) Las Vegas, Nevada, USA, June 2005. pp. 187-193.
  
  
• "Mitigating Distributed Denial-of-Service Attack with deterministic Bit Marking", Yoohwan Kim, Ju-Yeon Jo, Frank Merat, Mei Yang, and Yingtao Jiang. International Journal of Information Technology Vol. 11, No. 2, 2005, pp 62-82.
  
  
• "Software Tools and Test Data for Research and Testing of Page-Reading OCR Systems," T. Nartker, S. Rice, and S. Lumos. Document Recognition and Retrieval XII, Proc. SPIE2005, San Jose, CA, Jan. 2005.
  
  
• "Address Extraction Using Hidden Markov Models," K. Taghva, J. Coombs, J. Borsack, and T. Nartker Document Recognition and Retrieval XII, Proc. SPIE2005, San Jose, CA, Jan. 2005.
  
  
• "A Protocol-Layer Analysis of Network Security", Harrison, J. and H. Berghel, Advances in Computing, M. Zelkowitz (ed)., Academic Press, 2005
  
  
• "Secure Dynamic Gateway to Internet Connectivity for Ad-hoc Network", Jinhua Zhao, Ling Wang, Yoohwan Kim, Yingtao Jiang, and Xiaozong Yang. International Journal of Information Technology Vol. 11, No. 2, 2005, pp 136-152.
  
  
• "The Algebraic Monge property and path problems," Bein, W.W., Brucker, P., Larmore, L.L., and Park, J.K. Discrete Applied Mathematics 2005, pp. 455-464.
  
  
• "Optimal Integer Alphabetic Trees in Linear Time", Hu, T. C., Larmore, L. L., and Morgenthaler, J. D., The Annual European Symposium on Algorithms, (2005)
  
  
• "A Spam Mail blocking scheme with puzzles and tokens", Ju-Yeon Jo, Yoohwan Kim, and Jeffrey Sampson. Network/Computer Security Workshop Bethlehem, PA, August 2005.
  
  
• "On the Complexity of Buffer Allocation in Message Passing Systems," A. Brodsky, J. B. Pedersen, and A. Wagner. Journal of Parallel and Distributed Computing #65 (2005) pp. 692-713.
  
  
• A Comparison of Automatic and Manual Zoning: An Information Retrieval Prospective, Kazem Taghva, Julie Borsack, Steven Lumos, and Allen Condit. Int. Journal on Document Analysis and Recognition, 6(4):230-235, April 2004.
  
  
• "The Movement to Colleges of Computing and Information Technology: A Paradigm Shift in Computing and IT Education",Berghel, H. and D. Sallach, Communication of the ACM, 47:6 (2004), pp. 83-88.
  
  
• Information Access in the Presence of OCR Errors, Kazem Taghva, Thomas Nartker, and Julie Borsack. Proc. of ACM Hardcopy Document Processing Workshop, pages 1-8, Washington, DC, November 2004.
  
  
• "Pedagogical Issues in Programming Languages" Laxmi Gewali, John Minor. Proceedings of the 2004 IEEE International Conference on Information Technology pp. 562-5 (April 2004)
  
  
• The Role of Manually-Assigned Keywords in Query Expansion, Kazem Taghva, Julie Borsack, Thomas Nartker, and Allen Condit. Information Processing and Management, 40:441-458, 2004.
  
  
• "A Parallel Framework for Simplification of Massive Meshes," D. Brodsky, J. B. Pedersen. IEEE Symposium on Parallel and Large-Data Visualization and Graphics (PVG'03) Seattle, Washington, USA, October 2003, pp. 17-24.
  
  
• "On the Complexity of Buffer Allocation in Message Passing Systems," A. Brodsky, J. B. Pedersen, A. Wagner. Proceedings of Communicating Process Architectures 2002 (CPA'02) Reading, United Kingdom, September 2002. pp. 57-75.
  
  
• Hairetes: A Search Engine for OCR Documents, Kazem Taghva and Jeffrey Coombs. Proc. of 5th IAPR Intl. Workshop on Document Analysis Systems, Lecture Notes in Computer Science, pages 412-422, Princeton, NJ, August 2002. Springer-Verlag.
  
  
• "Parallel Model Simplification of Very Large Polynomial Meshes," D. Brodsky, J. B. Pedersen. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02) Las Vegas, Nevada. June 24-27, 2002. pp. 1207-1215.
  
  
• "Protocol Verification in Millipede" J. B. Pedersen, A. Wagner. Proceedings of Communicating Process Architectures 2001 (CPA'01) Bristol, United Kingdom. August 2001. pp. 309-328.
  
  
• "Compiling, Assembling and Executing Java Using Java," J. B. Pedersen, A. Wagner. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'01) Las Vegas, Nevada, USA. June 25-28, 2001, pp. 1821-1826.
  
  
• "Correcting Errors in Message Passing Programs," J. B. Pedersen, A. Wagner. Proceedings of the International Workshop on High Level Parallel Programming Models and Supportive Environments (HIPS'01) San Francisco, California, USA. April, 2001, pp. 122-137.
  
  
• "Sequential Debugging of Parallel Message Passing Programs," J. B. Pedersen, A Wagner. Proceedings of the International Conference on Communications in Computing (CIC'00) Las Vegas, Nevada, USA, June 26-29, 2000, pp. 55-61.
  
  
• "Design Lessons for Building Agile Manufacturing Systems", " Wyatt Newman, Andy Podgurski, Roger Quinn, Frank Merat, Michael S. Branicky, Nick A. Barendt, Greg C. Causey, Erin L. Haaser, Yoohwan Kim, Jayendran Swaminathan and Virgilio B. Velasco. IEEE Transactions on Robotics and Automation Vol. 16, No. 3, June 2000, pp 228-238.
  
  
• "Embedding a complete binary tree into a three-dimensional grid," Bein, W.W., Larmore L.L., Shields, C.O., and Sudborough, I.H. Journal of Interconnection Networks (2004), pp. 111-130.
  
  
• "Hash-based Internet Traffic Load Balancing", Ju-Yeon Jo and Yoohwan Kim. IEEE IRI Las Vegas, NV, November 2004.
  
  
• "PVM-Builder - A Tool for Parallel Programming," J. B. Pedersen, A. Wagner. Proceedings of the 5th International Euro-Par Conference Toulouse, France, August/September 1999, pp. 107-112.
  
  
• "Proving a Subset of Second-order Logic by Reduction to First-order", John Minor. Journal of Automated Reasoning (accepted for publication).