Selected Papers

Facetop, HCI, its use in Collaboration

• Distributed Pair Programming in Facetop
  in XP/Agile Universe 2004
• FaceSpace: Facetop-based Hypermedia
  in ACM Hypertext '04
• UIST 2003
  demo and paper in proceedings

• Integrating Collaborative Artifact and User with Facetop
  submitted to ECSCW '05
• General UI approach
  Single- and Dual-User Web Browsing in the Transparent Video Facetop

XP, dXP, Agile Methods, Software Engineering

• Automated Software Engineering 2003
  SPQR: Flexible Automated Design Pattern Extraction from Source Code
• Automated Software Engineering 2003
  DeCo: A Declarative Coordination Framework for Scientific Model Federations
• IEEE/NASA SEL Workshop, 2002
  Elemental Design Patterns: A Formal Semantics for Composition of OO Software Architecture
• XP/Agile Universe 2003,
  Virtual Teaming: Studies in Distributed Pair Programming
• XP/Agile Universe 2002 (JAX)
  An Informal Formal Method for Systematic JUnit Test Case Generation
• XP/Agile Universe 2002 (DXP)
  Exploring the Efficacy of Distributed Pair Programming
• Educators Workshop (OOPSLA 2002)
  Exploring Pair Programming in Distributed Object-Oriented Team Projects
• ISSTA 96
  Daistish: Automated Axiomatic Testing for OO Programs
• CSCW 94
  Interpreted Collaboration Protocols and their use in Groupware Prototyping
• Information and Collaboration Models, Kluwer, 1994
  Modeling and prototyping collaborative software processes

Web, Hypermedia, Collaboration Technology

• WWW 2002
  Model Checking CobWeb Protocols for Verification of HTML Frames Behavior
• ACM Hypertext 2002
  Automated Hyperlink Markup for Archived Video
• VC2002 (DMS2002)
  CobWeb: Visual Design of Collaboration Protocols for Dynamic Group Web Browsing
• ACM Hypertext 2000
  An Orthogonal Taxonomy for Hyperlink Anchor Generation in Video Streams using OvalTine
• ACM TOIS, '98
  Hyperdocuments as Automata (browsing semantics and verification)
• ACM Hypertext '97
  The World Wide Web: What Cost Simplicity?
• WWW 1996
  Enhanced Graph Models in the Web: Multi-client, Multi-head, Multi-tail Browsing
• WWW 1995
  Multi-head/Multi-tail Mosaic: Adding Parallel Automata Semantics to the Web
• WETICE '95
  Subdocument Invocation Modes in Collaborative Hyperdocuments
• EP-ODD '90
  Reference model
• ACM Doc. Proc, Santa Fe '88
  Adding Browsing Semantics to Hypertext
• ACM TOOIS, '89
  Original Trellis paper

Collaborative and Distributed Systems

• VC2002 (DMS2002)
  3D Sliders: Programming Uses for 3D Object Warping in Collaborative Virtual Environments
• CDS 98
  Warping Distributed Systems Configurations
• WETICE '97
  Specification, Control, and Analysis of Collaboration in Distributed Heterogeneous Interoperating Virtual Environments
• WETICE '97
  Report on Open Research Issues
• CDS 96
  Distributed Interoperable Virtual Environments
• WETICE '96
  Educational Applications of Multi-Client Synchronization through Improved Web Graph Semantics
• WETICE '94
  Interoperability of VEs
• ACM DL 95
  Early Prototypes of RPID
• ACM DL 94
  A Patterned Injury Digital Library for Collaborative Forensic Medicine
• SPIE 95
  Early Experience with RPID

P/T nets and related automata

• Journal of Systems and Software, 94
  Parallel Finite Automata
• Information Processing Letters, 1992
  Debit Nets (Pnet with debit arcs)
• UF TR-92-13
  Synthesizing a Global Net State from Synchronized Local Pieces
• Journal of Parallel and Distributed Computing, 1990
  Browsing Parallel Process Networks

Miscellaneous

• Internal report
  AJAX: Automating an Informal Formal Method for Systematic JUnit Test Suite Generation
• Internal report
  A Video-enhanced Environment for Distributed Extreme Programming
• SIGLINK News
  Timing for redirection of Stale URLs
• Unpublished report
  Hypermedia Support for learning complex intellectual processes