| Number | Title
| Author(s) | Date
|
|
TR08-005
|
"FOLSVI: First Order Logic with Strict Variables and Indices"
|
Hao Xu
|
03/01/08
|
|
TR08-004
|
"A Formal Language for Training a Design Pattern Detector"
|
Hao Xu and David Stotts
|
03/01/08
|
|
TR06-025
|
"SPQR: Formal Foundations and Practical Support for the
Automated Detection of Design Patterns From Source Code"
|
Jason Smith
|
12/12/05
|
|
TR06-023
|
"Unsupervised task extraction from a stream of window focus events"
|
Karl Gyllstrom and David Stotts
|
10/06
|
|
TR05-021
|
"Facetop on the Tablet PC: Assistive technology in support of classroom
note-taking for hearing impaired students"
|
David Stotts, James Culp, Dorian Miller, Karl Gyllstrom, Keith Lee
|
09/30/05
|
|
TR05-013
|
"Case Studies in Automated Design Pattern Detection in C++ Code using SPQR"
|
Jason McC. Smith and David Stotts
|
06/06/05
|
|
TR05-012
|
"SPQR: Formalized Design Pattern Detection and Software Architecture Analysis"
|
Jason McC. Smith and David Stotts
|
05/30/05
|
|
TR05-010
|
"Facetop: Integrated semi-transparent video for enhanced natural
pointing in shared screen collaborations"
|
Karl Gyllstrom and David Stotts
|
05/15/05
|
|
TR05-005
|
"Facetop: Integrating Artifact and User in Synchronous Paired
Collaborations via Semi-Transparent Video"
|
D. Stotts, Karl Gyllstrom, Dorian Miller, and Jason McC. Smith,
|
03/15/05
|
|
TR04-008
|
"Support for Distributed Pair Programming in the Transparent Video Facetop"
|
D. Stotts, J. McC. Smith, and Karl Gyllstrom
|
03/15/04
|
|
TR04-005
|
"Single- and Dual-User Web Browsing in the Transparent Video Facetop"
|
D. Stotts, J. McC. Smith, and Karl Gyllstrom
|
12/1/03
|
|
TR03-032
|
"Elemental Design Patterns and the Rho-calculus: Foundations for
Automated Design Pattern Detection in SPQR"
|
J. McC. Smith and D. Stotts
|
9/23/03
|
|
TR03-018
|
"Federating Programs Artfully with DeCo"
|
D. Herington and D. Stotts
|
5/23/03
|
|
TR03-017
|
"DeCo: A Declarative Coordination Framework for Scientific Model Federations"
|
D. Herington and D. Stotts
|
5/21/03
|
|
TR03-016
|
"SPQR: Flexible Automated Design Pattern Extraction from Source Code"
|
J. McC. Smith and D. Stotts
|
5/21/03
|
|
TR03-008
|
"The Vis-a-Vid Transparent Video FaceTop"
|
D. Stotts, J. McC. Smith, D. Jen
|
3/31/03
|
|
TR03-007
|
"SPQR: Use of a First-Order Theorem Prover for Flexibly Finding
Design Patterns in Source Code"
|
J. McC. Smith, D. Stotts
|
3/25/03
|
|
TR03-003
|
"Virtual Teaming: Experiments and Experiences with
Distributed Pair Programming"
|
D. Stotts, L. Williams, N. Nagappan, P. Baheti, D. Jen, A. Jackson
|
3/1/03
|
|
TR02-040
|
"An Elemental Design Pattern Catalog"
|
Jason McC. Smith
|
12/10/02
|
|
TR02-030
|
"3D Sliders: Programming Uses for 3D Object Warping in Collaborative
Virtual Environments"
|
David Stotts
|
6/1/02
|
|
TR02-017
|
"An Extensible Object Tracking Architecture for Hyperlinking
in Real-time and Stored Video Streams"
|
Jason McC. Smith and David Stotts
|
4/24/02
|
|
TR02-012
|
"An Informal Formal Method for Systematic JUnit Test Case Generation"
|
David Stotts, Mark Lindsey, and Angus Antley
|
4/2/02
|
|
TR02-011
|
"Elemental Design Patterns: A Link Between
Architecture and Object Semantics"
|
Jason Smith and David Stotts
|
3/25/02
|
|
TR02-010
|
"Distributed Pair Programming: Empirical Studies and Supporting Environments"
|
Prashant Baheti, Laurie Williams, Edward Gehringer, David Stotts,
and Jason Smith
|
3/15/02
|
|
TR02-009
|
"Hypervideo Support for Distributed Extreme Programming"
|
David Stotts, Jason Smith, and Laurie Williams
|
3/1/02
|
|
TR02-008
|
"CobWeb: Visual Design of Collaboration Protocols for Dynamic
Group Web Browsing"
|
David Stotts, Jan Prins, and Lars Nyland
|
3/1/02
|
|
TR02-007
|
"Automated Hyperlink Markup for Archived Video"
|
David Stotts and Jason Smith
|
2/15/02
|
|
TR00-016
|
"ProChat: Dynamic Formal Collaboration Protocols in a Chat Tool
for Handheld Collaboration"
|
Randal K. Whitehead and David Stotts
|
5/1/00
|
