P. David Stotts

64 papers A* 3A 3C 6Journal 22Unranked 30
YearRankTypeTitle / Venue / Authors
2007 — conf
Semi-transparent video interfaces to assist deaf persons in meetings.
ACM Southeast Regional Conference
Dorian Miller, Karl Gyllstrom, P. David Stotts, James Culp
2007 — conf
Techniques for improving the visibility and "sharability" of semi-transparent video in shared workspaces.
ACM Southeast Regional Conference
Karl Gyllstrom, Dorian Miller, P. David Stotts
2006 A conf
Facetop tablet: : note-taking assistance for deaf persons.
ASSETS
Dorian Miller, James Culp, P. David Stotts
2006 — conf
Next-generation DPP with Sangam and Facetop.
ETX
Kanyamas Navoraphan, Edward F. Gehringer, James Culp, Karl Gyllstrom, P. David Stotts
2005 — conf
Extending SPQR to Architectural Analysis by Semi-Automated Training.
WICSA
Jason McC. Smith, P. David Stotts
2004 — conf
FaceSpace: endo- and exo-spatial hypermedia in the transparent video facetop.
Hypertext
P. David Stotts, Jason McC. Smith, Karl Gyllstrom
2004 — conf
Language-theoretic classification of hypermedia paths.
Hypertext
P. David Stotts, Richard Furuta
2004 — conf
Support for Distributed Pair Programming in the Transparent Video Facetop.
XP/Agile Universe
P. David Stotts, Jason McC. Smith, Karl Gyllstrom
2003 A* conf
DeCo: A Declarative Coordination Framework for Scientific Model Federations.
ASE
Dean Herington, P. David Stotts
2003 A* conf
SPQR: Flexible Automated Design Pattern Extraction From Source Code.
ASE
Jason McC. Smith, P. David Stotts
2003 — conf
Virtual Teaming: Experiments and Experiences with Distributed Pair Programming.
XP/Agile Universe
P. David Stotts, Laurie A. Williams, Nachiappan Nagappan, Prashant Baheti, Dennis Jen, Anne Jackson
2002 — conf
An Informal Formal Method for Systematic JUnit Test Case Generation.
XP/Agile Universe
P. David Stotts, Mark Lindsey, Angus Antley
2002 — conf
Distributed Pair Programming.
XP/Agile Universe
P. David Stotts, Laurie A. Williams
2002 — conf
Exploring the Efficacy of Distributed Pair Programming.
XP/Agile Universe
Prashant Baheti, Edward F. Gehringer, P. David Stotts
2002 A* conf
Model checking cobweb protocols for verification of HTML frames behavior.
WWW
P. David Stotts, Jaime Navon
2002 — conf
Semi-automated Hyperlink markup for archived video.
Hypertext
P. David Stotts, Jason McC. Smith
2000 — conf
An orthogonal taxonomy for hyperlink anchor generation in video streams using OvalTine.
Hypertext
Jason McC. Smith, P. David Stotts, Sang-Uok Kum
1998 J jnl
Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking.
ACM Trans. Inf. Syst.
P. David Stotts, Richard Furuta, Cyrano Ruiz Cabarrus
1997 C conf
Introduction.
WETICE
Michael V. Capps, P. David Stotts
1997 C conf
Research Issues in Developing Networked Virtual Realities: Working Group Report on Distributed System Aspects of Sharing a Virtual Reality.
WETICE
Michael V. Capps, P. David Stotts
1997 — conf
The World Wide Web: What Cost Simplicity?
Hypertext
Brian C. Ladd, Michael V. Capps, P. David Stotts
1996 A conf
Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects.
ISSTA
Merlin Hughes, P. David Stotts
1996 — conf
Distributed interoperable virtual environments.
CDS
Michael V. Capps, P. David Stotts, Jim Duff, James M. Purtilo
1996 C conf
Educational applications of multi-client synchronization through improved Web graph semantics.
WETICE
Michael V. Capps, Brian C. Ladd, P. David Stotts, Lars S. Nyland
1996 J jnl
Enhanced Graph Models in the Web: Multi-Client, Multi-Head, Multi-Tail Browsing.
Comput. Networks
Michael V. Capps, Brian C. Ladd, P. David Stotts
1996 J jnl
Multi-Head Multi-Tail Mosaic.
World Wide Web J.
Bnan C. Ladd, Michael V. Capps, P. David Stotts, Rick Furuta
1996 C conf
Software engineering of distributed simulation environments.
WETICE
James W. Duff, James M. Purtilo, Michael V. Capps, P. David Stotts
1995 J jnl
Dynamic Hyperdocuments: Authoring Replaces Programming.
Commun. ACM
Richard Furuta, P. David Stotts
1995 — conf
Early Prototypes of the Repository for Patterned Injury Data.
DL
Prasun Dewan, Kevin Jeffay, John Smith, P. David Stotts, William R. Oliver
1995 — conf
Multi-Head Multi-Tail Mosaic.
WWW (Fall)
Brian C. Ladd, Michael V. Capps, P. David Stotts, Rick Furuta
1995 C conf
Subdocument invocation semantics in collaborative hyperdocuments.
WETICE
Richard Furuta, Jaime Navon, P. David Stotts
1994 — conf
Applications of image processing and visualization in the evaluation of murder and assault.
VBC
William R. Oliver, Julian G. Rosenman, Aziz A. Boxwala, P. David Stotts, John Smith, Mitchell Soltys, James Symon, Tim J. Cullip, Glenn Wagner
1994 A conf
Interpreted Collaboration Protocols and Their Use in Groupware Prototyping.
CSCW
Richard Furuta, P. David Stotts
1994 J jnl
Parallel finite automata for modeling concurrent software systems.
J. Syst. Softw.
P. David Stotts, William W. Pugh
1994 — conf
Process models as multi-reader collaborative hyperdocuments.
ISPW
P. David Stotts, Richard Furuta
1994 C conf
Virtual environment architectures: interoperability through software interconnection technology.
WETICE
P. David Stotts, James M. Purtilo
1993 J jnl
Tools Review: 'Software through Pictures' from IDE, Inc.
J. Vis. Lang. Comput.
P. David Stotts
1992 — conf
Hyperdocuments as Automata: Trace-Based Browsing Property Verification.
ECHT
P. David Stotts, Richard Furuta, J. Cyrano Ruiz
1992 J jnl
Hypertextual concurrent control of a Lisp Kernel.
J. Vis. Lang. Comput.
P. David Stotts, Richard Furuta
1992 J jnl
Place/Transition Nets with Debit Arcs.
Inf. Process. Lett.
P. David Stotts, Parke Godfrey
1992 J jnl
Visual languages and concurrent computing.
J. Vis. Lang. Comput.
Ephraim P. Glinert, P. David Stotts
1991 — conf
Dynamic Adaptation of Hypertext Structure.
Hypertext
P. David Stotts, Richard Furuta
1991 J jnl
Guaranteed Task Deadlines for Fault-Tolerant Workloads with Conditional Branches.
Real Time Syst.
Michelle C. McElvany, P. David Stotts
1991 J jnl
Hypertext 2000: Databases or Documents.
Electron. Publ.
P. David Stotts, Richard Furuta
1991 J jnl
Ytracc: a Parse Browser for Yacc Grammars.
Softw. Pract. Exp.
Richard Furuta, P. David Stotts, Jefferson Ogata
1990 J jnl
A Functional Meta-Structure for Hypertext Models and Systems.
Electron. Publ.
Richard Furuta, P. David Stotts
1990 J jnl
Bounding procedure execution times in a synchronous Petri net computation model.
Comput. Syst. Sci. Eng.
P. David Stotts
1990 J jnl
Browsing Parallel Process Networks.
J. Parallel Distributed Comput.
P. David Stotts, Richard Furuta
1990 J jnl
Coverability Graphs for a Class of Synchronously Excuted Unbounded Petri Net.
J. Parallel Distributed Comput.
P. David Stotts, Terrence W. Pratt
1990 — conf
Hierarchy, Composition, Scripting Languages, and Translators for Structured Hypertext.
ECHT
P. David Stotts, Richard Furuta
1990 J jnl
Increasing the Power of Hypertext Search with Relational Queries.
Hypermedia
Leonard Gallagher, Richard Furuta, P. David Stotts
1990 — conf
Panel on Hypertext Systems.
VL
P. David Stotts
1990 J jnl
Temporal hyperprogramming.
J. Vis. Lang. Comput.
P. David Stotts, Richard Furuta
1989 J jnl
Modelling the logical structure of flexible manufacturing systems with Petri-nets.
Comput. Commun.
P. David Stotts, Robert W. Newcomb, Z. Ning Cai
1989 J jnl
Petri-Net-Based Hypertext: Document Structure with Browsing Semantics.
ACM Trans. Inf. Syst.
P. David Stotts, Richard Furuta
1989 — conf
Programmable Browsing Semantics in Trellis.
Hypertext
Richard Furuta, P. David Stotts
1989 — conf
Separating Hypertext Content from Structure in Trellis.
UK Hypertext
Richard Furuta, P. David Stotts
1989 — conf
\alphaTrellis: A system for writing and browsing Petri-net-based hypertext.
Applications and Theory of Petri Nets
P. David Stotts, Richard Furuta
1988 — conf
Adding browsing semantics to the hypertext model.
DOCPROCS
P. David Stotts, Richard Furuta
1988 — conf
Expressing high-level visual concurrency structures in the PFG kernel language.
VL
P. David Stotts
1988 — conf
The PFG Language: Visual Programming for Concurrent Computation.
ICPP (2)
P. David Stotts
1985 — conf
Hierarchical Modeling of Software Systems with Timed Petri Nets.
PNPM
P. David Stotts, Terrence W. Pratt
1982 J jnl
A Comparative Survey of Concurrent Programming Languages.
ACM SIGPLAN Notices
P. David Stotts
1982 J jnl
A Comparative Survey of Concurrent Programming Languages.
ACM SIGPLAN Notices
P. David Stotts