Technical Reports

Department of Computer Science Technical Reports

See the Research page for more information about faculty research.


  • TR-KSU-CS-2013-01 (PDF): J. Adamek, M. Nesterenko, S. Tixeuil "Comparing Self-Stabilizing Dining Philosophers through Simulation", Aug. 2, 2013.
  • TR-KSU-CS-2013-02 (PDF): D. Foreback, A. Koutsopoulus, M. Nesterenko, C. Scheideler, T. Strothmann "Stabilizing Finite Churn in Peer-to-Peer Networks", Aug 2, 2013


  • TR-KSU-CS-2012-01 (PDF): M. Nesterenko, S. Tixeuil "Propagation of Information with Feedback on Trees: The Proof of Ideal Stabilization", Apr. 25, 2012.
  • TR-KSU-CS-2012-02 (PDF): R. Mohd Nor, M. Nesterenko and S. Tixeuil "Linearizing Peer-to-Peer Systems with Oracles", July 15, 2012


  • TR-KSU-CS-2011-01 (PDF): R. Mohd Nor, M. Nesterenko and C. Scheideler "Corona: A Stabilizing Deterministic Message-Passing Skip List", May 26, 2011.
  • TR-KSU-CS-2011-02 (PDF): J. Adamek, M. Nesterenko "Ideal Stabilization in a PIF Chain", Dec. 18, 2011.
  • TR-KSU-CS-2011-03 (PDF): R. Nor, M. Nesterenko and P. Lavrentyev "Real-Time Hypoxia Monitoring Platform: Final Technical Report", Dec. 19,2011.


  • TR-KSU-CS-2010-01 (PDF): R. Jin, H. Hong, H. Wang, N. Ruan and Y. Xiang "Computing Label-Constraint Reachability in Graph Databases", March 16, 2010.
  • TR-KSU-CS-2010-02 (PDF): R. Jin, Y. Xiang and H. Hong. "Block Interaction: A  Generative Summation Scheme for Frequent Patterns", May 19, 2010.


  • TR-KSU-CS-2009-01 (PDF): R. Nor, M. Nesterenko and P. Lavrentyev "Oxybuoy: Constructing a Real-Time Inexpensive Hypoxia Monitoring Platform", May 20, 2009.


  • TR-KSU-CS-2008-01 (PDF): K.E. Batcher and S.W. Al-Haj Baddar "Sortnet: A program for Building Sorting Networks", February 14, 2008.
  • TR-KSU-CS-2008-02: D. Fuhry, R. Jin and D. Zhang "Efficient Skyline Computation in Metric Space", April 10, 2008.
  • TR-KSU-CS-2008-03 (PDF): R. Jin, M. Abu-Ata, Y. Xiang and N. Ruan "Effective and Efficient Itemset Pattern Summarization: Regression-based Approaches", June 25, 2008.
  • TR-KSU-CS-2008-04 (PDF): T. Clouser, M. Nesterenko, and C. Scheideler "Tiara: A Self-Stabilizing Deterministic Skip List", July 10, 2008.
  • TR-KSU-CS-2008-05 (PDF): S.W. Al-Haj Baddar and K.E. Batcher "A 12-Step Sorting Network for 22 Elements", September 5, 2008.
  • TR-KSU-CS-2008-06 (PDF): R. Jin, S. McCallen, Y. Breitbart, D. Fuhry and D. Wang, "Estimating the Number of Frequent Itemsets in a Large Database", September 28, 2008.


  • TR-KSU-CS-2007-01 (PDF): M. Nesterenko, A. Schiper "On Properties of the Group Membership Problem", February 15, 2007.
  • TR-KSU-CS-2007-02 (PDF): R. Jin, Y. Breitbart "Data Discretization Unification", March 9, 2007.
  • TR-KSU-CS-2007-03 (PDF): H. Gobjuka, Y. Breitbart "Finding Ethernet-Type Network Topology is Not Easy" March 13, 2007.
  • TR-KSU-CS-2007-04 (PDF): T. Clouser, R. Thomas, and M. Nesterenko "Emuli: Emulated Stimuli for Wireless Sensor Network Experimentation", April 23, 2007.
  • TR-KSU-CS-2007-05 (PDF): R. Jin, S McCallen, and E. Almaas "Trend Motif: A Graph Mining Approach for Analysis of Dynamic Complex Networks" August 13, 2007.
  • TR-KSU-CS-2007-06 (PDF): S. W. Al-Haj Baddar, K.E. Batcher "An 11-Step Sorting Network for 18 Elements", September 19, 2007.


  • TR-KSU-CS-2006-01 (PDF): M. Nesterenko, S. Tixeuil "Bounds on Topology Discovery in the Presence of Byzantine Faults", April 13, 2006.
  • TR-KSU-CS-2006-02 (PDF): D. Bennett, P.A. Farrell, and C. Stein "A Chromium Based Viewer for CUMULVS", April 15, 2006.
  • TR-KSU-CS-2006-03 (PDF): C. Stein, D. Bennett, P.A. Farrell, and A. Ruttan "A Steering and Visualization Toolkit for Distributed Applications", April 15, 2006.
  • TR-KSU-CS-2006-04 (PDF): D. Bennett, P. Farrell "Experiences Instrumenting a Distributed Molecular Dynamics Program", April 15, 2006.
  • TR-KSU-CS-2006-05 (PDF): T. Clouser, S. Pleisch, M. Nesterenko, A. Schiper "Experimental Evaluation of DRIFT: Total Message Ordering in Ad Hoc Networks", July 5, 2006.
  • TR-KSU-CS-2006-06 (PDF): M.Miyashita and M. Nesterenko "2FACE: Bi-Directional Face Traversal for Efficient Geometric Routing", November 3, 2006.


  • TR-KSU-CS-2005-01 (PDF): M. Nesterenko, S. Tixeuil "Discovering Network Topology in the Presence of Byzantine Faults", May 9, 2005.
  • TR-KSU-CS-2005-02 (PDF): R. Whittlesey-Harris, M. Nesterenko "Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station", May 26, 2005.
  • TR-KSU-CS-2005-03 (PDF): S. Karthikeyan, M. Nesterenko "RFID Security without Cryptography" July 8, 2005.
  • TR-KSU-CS-2005-04 (PDF): R. Oommen, M. Nesterenko "Using History to Improve Lightweight Routing Toplogy Maintenance in Sensor Networks", July 23, 2005.
  • TR-KSU-CS-2005-05 (PDF): P. Danturi, M. Nesterenko, and S. Tixeuil "Self-Stabilizing Philosophers with Generic Conflicts", August 21, 2005.


  • TR-KSU-CS-2004-01 (PDF): A. Vora, M. Nesterenko "Secure Location Verification Using Radio Broadcast", May 15, 2004.
  • TR-KSU-CS-2004-02 (PDF): D. Watson, M. Nesterenko "MULE: Hybrid Simulator for Testing and Debugging Wireless Sensor Networks ", May 31, 2004.
  • TR-KSU-CS-2004-03 (PDF) F. Dragan and I. Lomonosov "On Compact and Efficient Routing in Certain Graph Classes", June 1, 2004.
  • TR-KSU-CS-2004-04 (PDF): M. Nesterenko, A. Vora "Void Traversal for Guaranteed Delivery in Geometric Routing" June 26, 2004.
  • TR-KSU-CS-2004-05 (PDF) M. Miyashita, M. Nesterenko, R.D. Shah, A. Vora "Visualizing Wireless Sensor Networks: An Experience Report", December 8, 2004.