 | 2007 |
|---|
| 54 |       | Karl Gyllstrom,
Dorian Miller,
P. David Stotts:
Techniques for improving the visibility and "sharability" of semi-transparent video in shared workspaces.
ACM Southeast Regional Conference 2007: 425-430 |
| 53 | | Dorian Miller,
Karl Gyllstrom,
P. David Stotts,
James Culp:
Semi-transparent video interfaces to assist deaf persons in meetings.
ACM Southeast Regional Conference 2007: 501-506 |
| 2006 |
|---|
| 52 | | Dorian Miller,
James Culp,
P. David Stotts:
Facetop tablet: : note-taking assistance for deaf persons.
ASSETS 2006: 247-248 |
| 51 | | Kanyamas Navoraphan,
Edward F. Gehringer,
James Culp,
Karl Gyllstrom,
P. David Stotts:
Next-generation DPP with Sangam and Facetop.
ETX 2006: 6-10 |
| 2005 |
|---|
| 50 | | Jason McC. Smith,
P. David Stotts:
Extending SPQR to Architectural Analysis by Semi-Automated Training.
WICSA 2005: 239-242 |
| 2004 |
|---|
| 49 | | P. David Stotts,
Richard Furuta:
Language-theoretic classification of hypermedia paths.
Hypertext 2004: 40-41 |
| 48 | | P. David Stotts,
Jason McC. Smith,
Karl Gyllstrom:
FaceSpace: endo- and exo-spatial hypermedia in the transparent video facetop.
Hypertext 2004: 48-57 |
| 47 | | P. David Stotts,
Jason McC. Smith,
Karl Gyllstrom:
Support for Distributed Pair Programming in the Transparent Video Facetop.
XP/Agile Universe 2004: 92-104 |
| 2003 |
|---|
| 46 | | Jason McC. Smith,
P. David Stotts:
SPQR: Flexible Automated Design Pattern Extraction From Source Code.
ASE 2003: 215-224 |
| 45 | | Dean Herington,
P. David Stotts:
DeCo: A Declarative Coordination Framework for Scientific Model Federations.
ASE 2003: 60-69 |
| 44 | | P. David Stotts,
Laurie A. Williams,
Nachiappan Nagappan,
Prashant Baheti,
Dennis Jen,
Anne Jackson:
Virtual Teaming: Experiments and Experiences with Distributed Pair Programming.
XP/Agile Universe 2003: 129-141 |
| 2002 |
|---|
| 43 | | P. David Stotts,
Jason McC. Smith:
Semi-automated Hyperlink markup for archived video.
Hypertext 2002: 105-106 |
| 42 | | P. David Stotts,
Jaime Navon:
Model checking cobweb protocols for verification of HTML frames behavior.
WWW 2002: 182-190 |
| 41 | | P. David Stotts,
Mark Lindsey,
Angus Antley:
An Informal Formal Method for Systematic JUnit Test Case Generation.
XP/Agile Universe 2002: 131-143 |
| 40 | | Prashant Baheti,
Edward F. Gehringer,
P. David Stotts:
Exploring the Efficacy of Distributed Pair Programming.
XP/Agile Universe 2002: 208-220 |
| 39 | | P. David Stotts,
Laurie A. Williams:
Distributed Pair Programming.
XP/Agile Universe 2002: 283 |
| 2000 |
|---|
| 38 | | Jason McC. Smith,
P. David Stotts,
Sang-Uok Kum:
An orthogonal taxonomy for hyperlink anchor generation in video streams using OvalTine.
Hypertext 2000: 11-18 |
| 1998 |
|---|
| 37 | | P. David Stotts,
Richard Furuta,
Cyrano Ruiz Cabarrus:
Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking.
ACM Trans. Inf. Syst. 16(1): 1-30 (1998) |
| 1997 |
|---|
| 36 | | Brian C. Ladd,
Michael V. Capps,
P. David Stotts:
The World Wide Web: What Cost Simplicity?
Hypertext 1997: 210-211 |
| 35 | | Michael V. Capps,
P. David Stotts:
Introduction.
WETICE 1997: 139 |
| 34 | | Michael V. Capps,
P. David Stotts:
Research Issues in Developing Networked Virtual Realities: Working Group Report on Distributed System Aspects of Sharing a Virtual Reality.
WETICE 1997: 205-212 |
| 1996 |
|---|
| 33 | | Merlin Hughes,
P. David Stotts:
Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects.
ISSTA 1996: 53-61 |
| 32 | | Michael V. Capps,
Brian C. Ladd,
P. David Stotts,
Lars Nyland:
Educational applications of multi-client synchronization through improved Web graph semantics.
WETICE 1996: 21-26 |
| 31 | | James W. Duff,
James M. Purtilo,
Michael V. Capps,
P. David Stotts:
Software engineering of distributed simulation environments.
WETICE 1996: 262-267 |
| 30 | | Michael V. Capps,
Brian C. Ladd,
P. David Stotts:
Enhanced Graph Models in the Web: Multi-Client, Multi-Head, Multi-Tail Browsing.
Computer Networks 28(7-11): 1105-1112 (1996) |
| 1995 |
|---|
| 29 |  | Prasun Dewan,
Kevin Jeffay,
John Smith,
P. David Stotts,
William Oliver:
Early Prototypes of the Repository for Patterned Injury Data.
DL 1995: 0- |
| 28 | | Richard Furuta,
Jaime Navon,
P. David Stotts:
Subdocument invocation semantics in collaborative hyperdocuments.
WETICE 1995: 138-146 |
| 27 | | Richard Furuta,
P. David Stotts:
Dynamic Hyperdocuments: Authoring Replaces Programming.
Commun. ACM 38(8): 111-112 (1995) |
| 1994 |
|---|
| 26 | | Richard Furuta,
P. David Stotts:
Interpreted Collaboration Protocols and Their Use in Groupware Prototyping.
CSCW 1994: 121-131 |
| 25 | | P. David Stotts,
Richard Furuta:
Process models as multi-reader collaborative hyperdocuments.
ISPW 1994: 85-89 |
| 24 | | P. David Stotts,
William Pugh:
Parallel finite automata for modeling concurrent software systems.
Journal of Systems and Software 27(1): 27-43 (1994) |
| 1993 |
|---|
| 23 | | P. David Stotts:
Tools Review: 'Software through Pictures' from IDE, Inc.
J. Vis. Lang. Comput. 4(2): 201-209 (1993) |
| 1992 |
|---|
| 22 | | P. David Stotts,
Richard Furuta,
J. Cyrano Ruiz:
Hyperdocuments as Automata: Trace-Based Browsing Property Verification.
ECHT 1992: 272-281 |
| 21 | | P. David Stotts,
Parke Godfrey:
Place/Transition Nets with Debit Arcs.
Inf. Process. Lett. 41(1): 25-33 (1992) |
| 1991 |
|---|
| 20 | | P. David Stotts,
Richard Furuta:
Dynamic Adaptation of Hypertext Structure.
Hypertext 1991: 219-231 |
| 19 | | P. David Stotts,
Richard Furuta:
Hypertext 2000: Databases or Documents.
Electronic Publishing 4(2): 119-121 (1991) |
| 18 | | Michelle C. McElvany,
P. David Stotts:
Guaranteed Task Deadlines for Fault-Tolerant Workloads with Conditional Branches.
Real-Time Systems 3(3): 275-305 (1991) |
| 17 | | Richard Furuta,
P. David Stotts,
Jefferson Ogata:
Ytracc: a Parse Browser for Yacc Grammars.
Softw., Pract. Exper. 21(2): 119-132 (1991) |
| 1990 |
|---|
| 16 | | P. David Stotts,
Richard Furuta:
Hierarchy, Composition, Scripting Languages, and Translators for Structured Hypertext.
ECHT 1990: 180-193 |
| 15 | | P. David Stotts:
Panel on Hypertext Systems.
VL 1990: 66-68 |
| 14 | | P. David Stotts:
Bounding procedure execution times in a synchronous Petri net computation model.
Comput. Syst. Sci. Eng. 5(4): 205-214 (1990) |
| 13 | | Richard Furuta,
P. David Stotts:
A Functional Meta-Structure for Hypertext Models and Systems.
Electronic Publishing 3(4): 179-205 (1990) |
| 12 | | Leonard Gallagher,
Richard Furuta,
P. David Stotts:
Increasing the Power of Hypertext Search with Relational Queries.
Hypermedia 2(1): 1-14 (1990) |
| 11 | | P. David Stotts,
Terrence W. Pratt:
Coverability Graphs for a Class of Synchronously Excuted Unbounded Petri Net.
J. Parallel Distrib. Comput. 10(3): 253-260 (1990) |
| 10 | | P. David Stotts,
Richard Furuta:
Browsing Parallel Process Networks.
J. Parallel Distrib. Comput. 9(2): 224-235 (1990) |
| 1989 |
|---|
| 9 | | P. David Stotts,
Richard Furuta:
\alphaTrellis: A system for writing and browsing Petri-net-based hypertext.
Applications and Theory of Petri Nets 1989: 471-490 |
| 8 | | Richard Furuta,
P. David Stotts:
Programmable Browsing Semantics in Trellis.
Hypertext 1989: 27-42 |
| 7 | | Richard Furuta,
P. David Stotts:
Separating Hypertext Content from Structure in Trellis.
UK Hypertext 1989: 205-213 |
| 6 | | P. David Stotts,
Richard Furuta:
Petri-Net-Based Hypertext: Document Structure with Browsing Semantics.
ACM Trans. Inf. Syst. 7(1): 3-29 (1989) |
| 5 | | P. David Stotts,
Robert W. Newcomb,
Z. Ning Cai:
Modelling the logical structure of flexible manufacturing systems with Petri-nets.
Computer Communications 12(4): 193-203 (1989) |
| 1988 |
|---|
| 4 | | P. David Stotts:
The PFG Language: Visual Programming for Concurrent Computation.
ICPP (2) 1988: 72-79 |
| 1985 |
|---|
| 3 | | P. David Stotts,
Terrence W. Pratt:
Hierarchical Modeling of Software Systems with Timed Petri Nets.
PNPM 1985: 32-39 |
| 1982 |
|---|
| 2 | | P. David Stotts:
A Comparative Survey of Concurrent Programming Languages.
SIGPLAN Notices 17(10): 50-61 (1982) |
| 1 | | P. David Stotts:
A Comparative Survey of Concurrent Programming Languages.
SIGPLAN Notices 17(9): 76-87 (1982) |
