- HYPERTEXT SUPPORT FOR LEARNING COMPLEX INTELLECTUAL PROCESSES
- Existence and uniqueness of solutions for a continuous-time opinion dynamics model with state-dependent connectivity
- Speci cation, Control, and Analysis of Collaboration in Distributed Heterogeneous Interoperating Virtual
- Facetop: Integrating Artifact and User in Synchronous Paired Collaborations
- Early Experience with a Repository for Patterned Injury Data
- Timed Links Solve the \Stale URL" Problem David Stotts
- MODELING AND PROTOTYPING COLLABORATIVE SOFTWARE PROCESSES
- Educational Applications of Multi-Client Synchronization through Improved Web Graph Semantics
- FaceSpace: Endo-and Exo-Spatial Hypermedia in the Transparent Video Facetop
- The Vis-a-Vid Transparent Video Facetop David Stotts, Jason McC. Smith, and Dennis Jen
- An Informal Formal Method for Systematic JUnit Test Case Generation
- Exploring Pair Programming in Distributed Object-Oriented Team Projects
- Interpreted Collaboration Protocols and their use in Groupware Prototyping
- Model Checking CobWeb Protocols for Verification of HTML Frames Behavior
- An Orthogonal Taxonomy for Hyperlink Anchor Generation in Video Streams Using OvalTine
- Hyperdocuments as Automata: Veri cation of Trace-based Browsing Properties
- ELECTRONIC PUBLISHING, VOL. 3(4), 179205 (NOVEMBER 1990) A functional meta-structure for hypertext
- SANTA FE, NEW MEXICO, DECEMBER 5-9, 1988 43 Adding Browsing Semantics to the
- Warping Distributed System Con gurations Bruce Thomas David Stotts and Lalit Kumar
- Distributed Interoperable Virtual Environments Michael Capps David Stotts Jim Duff Jim Purtilo
- VIRTUAL ENVIRONMENT ARCHITECTURES: INTEROPERABILITY THROUGH SOFTWARE
- Early Prototypes of the Repository for Patterned Injury Data Prasun Dewan, Kevin Je ay, William Oliver
- (Strip this page o the nal version... it is not part of the publication) A Patterned Injury Digital Library for
- [1] T. Agerwala. A complete model for representing the coordination of asynchronous processes. Computer Research Report 32, Johns Hopkins University, Computer Science Program, July 1974.
- AJAX: Automating an Informal Formal Method for Systematic JUnit Test Suite Generation
- A Video-enhanced Environment for Distributed Extreme Programming
- Parallel Finite Automata for Modeling Concurrent Software Systems
- Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-e ects
- Browsing Parallel Process Networks P. David Stotts and Richard Furutay
- Research Issues in Developing Networked Virtual Realities Workshop Report for "Distributed System Aspects of Sharing a Virtual Reality"
- Technical Report TR-92-13 Computer and Info. Sciences Dept., Univ. of Florida
- Subdocument Invocation Semantics in Collaborative Hyperdocuments
- The World Wide Web: What Brian C. L.&i Michael V. Capps
- Exploring the efficacy of distributed pair programming Prashant Baheti
- Elemental Design Patterns: A Formal Semantics for Composition of OO Software Architecture
- Petri Net Based Hypertext: Document Structure with Browsing Semantics
