2007 Technical Reports

07-011 Carl PhilipsRuchaneewan Susomboon, Reem Mokhtar, Daniela Raicu, Jacob Furst, Segmentation of Soft Tissue Using Texture Features and Gradient Snakes, Setpember 2007. [abstract], [full paper: doc]
07-010 Iyad A. Kanj, Ljubomir Perkovic, Ge Xia Strictly-Localized Construction of Near-Optimal Power Spanners for Wireless Ad-Hoc Networks, August 2007. [abstract], [full paper: pdf]
07-009 Iyad A. Kanj, Ljubomir Perkovic, On Geometric Spanners of Euclidean Graphs and their Applications in Wireless Networks, August 2007. [abstract], [full paper: pdf]
07-008 Iyad A. Kanj, Michael J. Pelsmajer, Marcus Schaefer, Ge Xia, On the Induced Matching Problem, August 2007. [abstract], [full paper: postscript, pdf]
07-007 Daniel Marx, Marcus Schaefer, The Complexity of Nonrepetitive Coloring, July 2007. [abstract], [full paper: postscript, pdf]
07-006 Matthew A. Goto, Eric J. Schwabe, A Dynamic Programming Algorithm for Finding Highest-Scoring Forbidden-Pairs Paths with Variable Vertex Scores, July 2007. [abstract], [full paper: postscript, pdf]
07-005 Carlos Castro-Herrera, Towards a Unified Process for Automated Traceability, June 2007. [abstract], [full paper: pdf]
07-004 Michael J. Pelsmajer, Marcus Schaefer, Kevin Stern, Δk-Confluent and Ok-confluent Graphs, June 2007. [abstract], [full paper: postscript, pdf]
07-003 Taghrid Samak, QoS Policy Modeling for Conflict Detection, April 2007. [abstract], [full paper: postscript, pdf]
07-002 Adel El-Atawy, Taghrid Samak, Zein Wali, Ehab Al-Shaer, Sheng Li, An Automated Framework for Validating Firewall Policy Enforcement, March 2007. [abstract], [full paper: postscript, pdf]
07-001 Craig S. Miller, Sven Fuchs, Niranchana S. Anantharaman, Priti Kulkarni, Evaluating Category Membership for Information Architecture, January 2007. [abstract], [full paper: pdf]

2006 Technical Reports

06-016 Michael J. Pelsmajer, Marcus Schaefer, Daniel Štefankovič, Removing Even Crossings, Continued, August 2006. [abstract], [full paper: postscript, pdf]
06-015 Mark Hilgart, Step-Through Debugging of GLSL Shaders, August 2006. [abstract], [full paper: pdf]
06-014 Chad Williams, Bamshad Mobasher, Profile Injection Attack Detection for Securing Collaborative Recommender Systems, August 2006. [abstract], [full paper: pdf]
06-013 Michael J. Pelsmajer, Marcus Schaefer, Daniel Štefankovič, Crossing Numbers and Parameterized Complexity, August 2006. [abstract], [full paper: postscript, pdf]
06-012 Robin Burke, Hybrid Recommender Systems: A Comparative Study, August 2006. [abstract], [full paper: doc]
06-011 Marcus Schaefer, The Graph Sandwich Problem for a coNP Property, July 2006. [abstract], [full paper: ps, pdf]
06-010 Bongani Malinga, Daniela Raicu, Jacob Furst, Local vs. Global Histogram-Based Color Image Clustering, June 2006. [abstract], [full paper: pdf]
06-009 Jonathan Gemmell, David Sigfredo Angulo, Tobin Sosnick, Karl Freed, Abhishek Jha, Andrés Colubri, Joseph DeBartolo, David Kendall, Gregor von Laszewski, Inverse Protein Folding of Ubiquitin on the Illinois Bio-Grid, May 2006. [abstract], [full paper: doc]
06-008 Ruchaneewan Susomboon, Daniela Stan Raicu, Jacob Furst, Pixel-Based Texture Classification of Tissues in Computed Tomography, May 2006. [abstract], [full paper: pdf]
06-007 Cosmin Stejerean, Paiboon Siwamutita, E. D. Frank, Carol S Giometti, Gyorgy Babnigg, David Angulo, Kevin Drew, Gregor von Laszewski, An End-to-End System for Organizing and Sharing Raw and Derived Mass Spectrometry Data, May 2006. [abstract], [full paper: pdf]
06-006 Chad Williams, Runa Bhaumik, JJ Sandvig, Bamshad Mobasher, and Robin Burke, Evaluation of Profile Injection Attacks In Collaborative Recommender Systems, May 2006. [abstract], [full paper: pdf]
06-005 Adel El-Atawy , Survey on the Use of Formal Languages/Models for the Specification, Verification, and Enforcement of Network Access-lists, April 2006. [abstract], [full paper: pdf]
06-004 Eric Puryear, David Angulo, Alex Schilling, Kevin Drew, Gregor von Laszewski, Comparing Mass Spectra, March 2006. [abstract], [full paper: doc]
06-003 Eric Puryear, David Angulo, Kevin Drew, Gregor von Laszewski, Alex Schilling, Enhancing a Mass Spectrometry I/O Framework, March 2006. [abstract], [full paper: doc]
06-002 Jennifer Van Puymbrouck, David Angulo, Kevin Drew, Lee Ann Hollenbeck, Dominic Battre, Alex Schilling, David Jabon, Gregor von Laszewski, A Batch Import Module for an Empirically Derived Mass Spectral Database, March 2006. [abstract], [full paper: doc]
06-001 Radha Jagadeesan, Alan Jeffrey, James Riely, Typed Parametric Polymorphism for Aspects, February 2006. [abstract], [full paper: pdf]

2005 Technical Reports

05-019 Adel El-Atawy, Hazem Hamed, Ehab Al-Shaer, Adaptive Statistical Optimization Techniques for Firewall Packet Filtering, December 2005. [abstract], [full paper: postscript, pdf]
05-018 Dominic Battré, Distributed Searching in Biological Databases, December 2005. [abstract], [full paper: pdf]
05-017 Michael J. Pelsmajer, Marcus Schaefer, Daniel Štefankovič, Crossing Number of Graphs with Rotation Systems, November 2005. [abstract], [full paper: postscript, pdf]
05-016 Amber Settle, Chad Settle, Distance Learning and Student Satisfaction in Java Programming Courses, November 2005. [abstract], [full paper: doc, pdf]
05-015 JJ Sandvig, Robin Burke, TAACORN: A CBR Recommender for Academic Advising, November 2005. [abstract], [full paper: doc]
05-014 Peter Hui, James Riely, Temporal Aspects as Security Automata, October 2005. [abstract], [full paper: pdf]
05-013 Michael J. Pelsmajer, Marcus Schaefer, Daniel Štefankovič, Removing Even Crossings, September 2005. [abstract], [full paper: pdf]
05-012 Troy Smith, Thomas M. Repede, and Steven L. Lytinen, Determining the Plausibility of Answers to Questions, September 2005. [abstract], [full paper: postscript]
05-011 Grant Zemont, Towards Value Based Requirements Traceability, September 2005. [abstract], [full paper: pdf]
05-010 Suleyman Uludag, King-Shan Lui, Klara Nahrstedt, Greg Brewster, Comparative Analysis of Topology Aggregation Techniques and Approaches for the Scalability of QoS Routing, May 2005. [abstract], [full paper: pdf]
05-009 Marcus Schaefer, Eric Sedgwick, Daniel Štefankovič,, Computing Dehn Twists and Geometric Intersection Numbers in Polynomial Time, April 2005. [abstract], [full paper: postscript]
05-008 Jianer Chen, Iyad A. Kanj, Ge Xia, Simplicity is Beauty: Improved Upper Bounds for Vertex Cover, April 2005. [abstract], [full paper: postscript, pdf]
05-007 Iyad A. Kanj, Luay Nakhleh, and Ge Xia, Reconstructing Evolution of Natural Languages: Complexity and Parameterized Algorithms, April 2005, updated May 2006. [abstract], [full paper: postscript, pdf]
05-006 Jianer Chen, Iyad A. Kanj, Ge Xia, A Note on Search Trees, April 2005. [abstract], [full paper: pdf]
05-005 Michael J. Pelsmajer, Marcus Schaefer, Daniel Štefankovič, Odd Crossing Number Is Not Crossing Number , April 2005. [abstract], [full paper: postscript, pdf]
05-004 Eric Puryear, David Angulo, Alex Schilling, Kevin Drew, Gregor von Laszewski, Developing a Distributed and Scalable Foundation for Mass Spectrometry Data , April 2005. [abstract], [full paper: doc]
05-003 Xuchang Zou, Raffaella Settimi, Jane Cleland-Huang, and Chuan Duan, Empirical Study of a Probabilistic Network Model for Retrieving Traceability Links, March 2005. [abstract], [full paper: pdf]
05-002 Mohamed Taibah, Ehab Al-Shaer and Hazem Hamed, Dynamic Response in Distributed Firewall Systems, February 2005. [abstract], [full paper: pdf]
05-001 Yonghe Yan, Fair Admission Control to Achieve Guaranteed Bandwidth Allocation, February 2005. [abstract], [full paper: pdf]

2004 Technical Reports

04-012 Robert Poulsen, Peter Wiemer-Hastings, Tutoring Bilingual Students With an Automated Reading Tutor That Listens: Results of a Two-Month Pilot Study, December 2004. [abstract], [full paper: doc]
04-011 Ehab S. Al-Shaer, Hazem H. Hamed, Design and Implementation of Firewall Policy Advisor Tools, December 2004. [abstract], [full paper: pdf]
04-010 Shuang Xu, Xiaowen Fang, Jacek Brzezinski, Susy S. Chan, A Visual-Auditory Presentation Model for Sequential Textual Information, November 2004. [abstract], [full paper: doc]
04-009 Jean Lam, Susy S. Chan, Xiaowen Fang, Jacek Brzezinski, Proposed Research Model for Customization and
Satisfaction with Mobile Commerce, November 2004
. [abstract], [full paper: doc]
04-008 Chibiao Liu, James Yu, Applications and Performance Analysis of Bridging with L3 Forwarding on Wireless LANs, November 2004. [abstract], [full paper: pdf]
04-007 Yongning Tang, Ehab Al-Shaer, Active Fault Reasoning in Communication Networks, November 2004. [abstract], [full paper: pdf]
04-006 Iyad Kanj, Ljubomir Perkovic, A Note on Baker's Algorithm, November 2004. [abstract], [full paper: pdf]
04-005 Will Marrero, Using BDDs to decide CTL, October 2004. [abstract], [full paper: postscript]
04-004 Steven Lauterburg, On Building a Unification-Based Parser, August 2004. [abstract], [full paper: doc]
04-003 Salah Aly, Khaled Mustafa, Protocol Verification And Analysis
Using Colored Petri Nets,
2004. [abstract], [full paper: pdf]
04-002 Salah Aly, A Light-Weight Encrypting For Real Time Video Transmission, August 2004. [abstract], [full paper: pdf]
04-001 Peter Hui, Marcus Schaefer, Paired Pointset Traversal, March 2004. [abstract], [full paper: postscript]

2003 Technical Reports

03-004 Jeffrey Absher, wFIFO - a Filesystem-Based Solution to Unrestricted Log Growth in MINIX, October 2003. [abstract], [full paper: doc, pdf, html]
03-003 Jeffrey Absher, An Empirical Examination of Current High-Availability Clustering Solutions’ Performance, October 2003.[abstract], [full paper: html, doc]
03-002 Jianer Chen, Iyad Kanj, and Ge Xia, A note on sub-exponential time parameterized complexity, April 2003. [abstract], [full paper: postscript, pdf]
03-001 Ruth F. Ter Bush, Contextual Influence on Attribution Accuracy, January 2003. [abstract], [full paper: html]

2002 Technical Reports

02-005 Eric J. Schwabe, Ian M. Sutherland, Efficient Data Mappings for Parity-Declustered Data Layouts, July 2002. [abstract], [full paper: postscript, pdf]
02-004 Marcus Schaefer, Frank Stephan, Strong Reductions and Immunity for Exponential Time, March 2002. [abstract], [full paper: postscript, pdf]
02-003 André Berthiaume, Ljubomir Perkovic, Amber Settle, Janos Simon, Firing Synchronization on the Ring, January 2002. [abstract], [full paper: postscript, pdf]
02-002 Eunseuk Oh, Iyad A. Kanj, Efficient All-to-All Broadcast Schemes in Distributed-memory Parallel Computer, January 2002. [abstract], [full paper: postscript]
02-001 Jianer Chen, Iyad A. Kanj, Guojun Wang, Hypercube Network Fault Tolerance:  A Probabilistic Approach, January 2002. [abstract], [full paper: postscript]

2001 Technical Reports

01-011 Marcus Schaefer, Eric Sedgwick, Daniel Stefankovič, Recognizing String Graphs in NP, October 2001. [abstract], [full paper: postscript]
01-010 Bamshad Mobasher, Honghua Dai, Tao Luo, Miki Nakagawa, Effective Personalization Based on Association Rule Discovery from Web Usage Data, July 2001. [abstract], [full paper: pdf]
01-009 Marcus Schaefer, Completeness in the Polyonmial Time Hierarchy, July 2001. [abstract], [full paper: postscript]
01-008 Vladimir A. Kulyukin, Abraham Bookstein, Integrated Object Recognition with Extended Hamming Distance, June 2001. [abstract], [full paper: pdf]
01-007 John Kristoff, Avoiding Network Capacity Collapse, May 2001. [abstract], [full paper: pdf, postscript]
01-006 Bettina Berendt, Bamshad Mobasher, Myra Spiliopoulou, Jim Wiltshire Measuring the Accuracy of Sessionizers for Web Usage Analysis, March 2001. [abstract], [full paper: pdf]
01-005 Bamshad Mobasher, Honghua Dai, Tao Luo, Miki Nakagawa, Improving the Effectiveness of Collaborative Filtering on Anonymous Web Usage Data, March 2001. [abstract], [full paper: pdf]
01-004 Bamshad Mobasher, WebPersonalizer: A Server-Side Recommender System Based on Web Usage Mining, March 2001. [abstract], [full paper: pdf]
01-003 Bamshad Mobasher, Hoghua Dai, Tao Luo, Yuqing Sun, and Jiang Zhu, Integrating Web Usage and Content Mining for More Effective Personalization, March 2001. [abstract], [full paper: pdf]
01-002 Bamshad Mobasher, Honghua Dai, Tao Luo, Miki Nakagawa, Yuqing Sun, Jim Wiltshire, Discovery of Aggregate Usage Profiles for Web Personalization, March 2001. [abstract], [full paper: pdf]
01-001 John Collins, Corey Bilot, Maria Gini, Bamshad Mobasher, Mixed-Initiative Decision Support in Agent-Based Automated Contracting, March 2001. [abstract], [full paper:  pdf]

2000 Technical Reports

00-006 Marcus Schaefer, Deciding the VC-dimension is Sigma3- complete, October 2000. [abstract], [full paper: postscript]
00-005 Marcus Schaefer, Daniel Stefankovič, Decidability of String Graphs, September 2000. [abstract], [full paper: postscript]
00-004 Craig S. Miller, Roger W. Remington, Exploring Information Navigation Strategies with a Computational Model, September 2000. [abstract], [full paper: pdf, html]
00-003 Marcus Schaefer Pradyut Shah, Induced Graph Ramsey Theory, June 2000. [abstract], [full paper: postscript]
00-002 Karen Alkoby, A Survey of ASL Tenses, April 2000. [abstract], [full paper: pdf]
00-001 Marcus Schaefer, Deciding the K-dimension is PSPACE-complete, March 2000. [abstract], [full paper: postscript]

1999 Technical Reports

99-012 Craig S. Miller, Roger W. Remington, A Computational Model of Web Navigation, November 1999. [abstract], [full paper: pdf]
99-011 Vladimir Kulyukin, Amber Settle, On the Equivalence of Semantic Networks and Vector Spaces under Ranked Retrieval, November 1999. [abstract], [full paper: html]
99-010 Bamshad Mobasher, Robert Cooley and Jaideep Srivastava , Automatic Personalization Based on Web Usage Mining, 1999. [abstract], [full paper: postscript, html]
99-009 Alan Jeffrey, A Distributed Object Calculus, July 1999. [abstract], [full paper: postscript.gz]
99-008 Bamshad Mobasher, D. Pigozzi, G. Slutzki and G. Voutsadakis, A Duality Theory for Bilattices, 1999. [abstract], [full paper: postscript]
99-007 Alan Jeffrey and Ralf Schweimeier, A categorical and graphical treatment of closure conversion, April 1999. [abstract], [full paper: html]
99-006 Noriko Tomuro, Left-corner Parsing Algorithm for Unification Grammars, April 1999. [abstract], [full paper: postscript.gz, postscript.zip]
99-005 Bamshad Mobasher, John Collins, Maksim Tsvetovat, Corey Bilot, Rashmi Sundareswara, Tim Lee, Maria Gini, A Framework For Mixed Initiative Agent­Based Contracting, 1999. [abstract], [full paper: postscript]
99-004 Bamshad Mobasher, John Collins, Corey Bilot, Rashmi Sundareswara, Joshua van Tonder, Maria Gini,  Plan Execution by Contracting in a Multi­Agent Environment, 1999. [abstract], [full paper: postscript]
99-003 Bamshad Mobasher, John Collins, Maksim Tsvetovat, Rashmi Sundareswara, Joshua van Tonder, Maria Gini,  Evaluating Risk: Flexibility and Feasibility in Multi­Agent Contracting, 1999. [abstract], [full paper: postscript]
99-002 Vladimir A. Kulyukin, Application-Embedded Retrieval from Distributed Free-Text Collections, February 1999. [abstract], [full paper: html]
99-001 John D. Rogers, A note on the Isomorphism Conjecture and one-way functions, February 1999. [abstract], [full paper: postscript]

1998 Technical Reports

98-005 Cesar Gonzales, George Knafl, An Evaluation of Software Cost Models, November 1998. [abstract], [full paper: doc]
98-004 Alan Jeffrey, Premonoidal categories and a graphical view of programs, September 1998. [abstract], [full paper: html]
98-003 Andrew Sears, Julie Jacko, The Impact of Internet Delay and Document Content on User Perceptions, June 1998. [abstract]
98-002 Steven L. Lytinen, Noriko Tomuro, Nonminimal Derivations in Unification-based Parsing, May 1998. [abstract], [full paper: postscript]
98-001 Robert O. Briggs, Janna M. Crews, Daniel D. Mittleman, Facilitating Asynchronous Distributed GSS Meetings: Eight Steps to Success, March 1998.

1997 Technical Reports

97-007 Robert O. Briggs, Daniel D. Mittleman, Neil Weinstein, Jay F. Nunamaker, Jr., Mark E. Adkins, Collaborative Technology for the Sea-Based Warfighter:  A Field Study of GSS Adoption and Diffusion, October 1997. [abstract]
97-006 Noriko Tomuro, Steven L. Lytinen, Efficient Lazy Unification, October 1997. [abstract], [full paper: postscript]
97-005 Karen L. Bernstein, A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages, July 1997. [abstract][postscript]
97-004 Andrew L. Sears, Julie A. Jacko, Michael S. Borella, Perceived Usability of Internet Sites Based Upon Network Delay, Document Type and User Characteristics. [abstract]
97-003 Lance Fortnow, John D. Rogers, Complexity Limitations on Quantum Computation. [abstract], [full paper: postscript]
97-002 Andrew L. Sears, Michael S. Borella, WANDS: Tools for designing and testing distributed documents. [abstract]
97-001 Andrew L. Sears, Julie A. Jacko, Michael S. Borella, Internet Delay Effects: How Users Perceive Quality, Organization, and Ease of Use of Information. [abstract]

Submitting a Technical Report

Email the techreport librarian with the following information:

  • paper title, list of authors (with homepage URLs if wanted)

  • abstract (in HTML or as text)

  • paper in any reasonable format(s)

  • keywords (optional)