P. David Stotts

Affiliations:
  • University of North Carolina at Chapel Hill, USA


According to our database1, P. David Stotts authored at least 63 papers between 1982 and 2007.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2007
Semi-transparent video interfaces to assist deaf persons in meetings.
Proceedings of the 45th Annual Southeast Regional Conference, 2007

Techniques for improving the visibility and "sharability" of semi-transparent video in shared workspaces.
Proceedings of the 45th Annual Southeast Regional Conference, 2007

2006
Next-generation DPP with Sangam and Facetop.
Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

Facetop tablet: : note-taking assistance for deaf persons.
Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility, 2006

2005
Extending SPQR to Architectural Analysis by Semi-Automated Training.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

2004
Support for Distributed Pair Programming in the Transparent Video Facetop.
Proceedings of the Extreme Programming and Agile Methods, 2004

FaceSpace: endo- and exo-spatial hypermedia in the transparent video facetop.
Proceedings of the HYPERTEXT 2004, 2004

Language-theoretic classification of hypermedia paths.
Proceedings of the HYPERTEXT 2004, 2004

2003
Virtual Teaming: Experiments and Experiences with Distributed Pair Programming.
Proceedings of the Extreme Programming and Agile Methods, 2003

SPQR: Flexible Automated Design Pattern Extraction From Source Code.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

DeCo: A Declarative Coordination Framework for Scientific Model Federations.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002
Distributed Pair Programming.
Proceedings of the Extreme Programming and Agile Methods, 2002

An Informal Formal Method for Systematic JUnit Test Case Generation.
Proceedings of the Extreme Programming and Agile Methods, 2002

Exploring the Efficacy of Distributed Pair Programming.
Proceedings of the Extreme Programming and Agile Methods, 2002

Model checking cobweb protocols for verification of HTML frames behavior.
Proceedings of the Eleventh International World Wide Web Conference, 2002

Semi-automated Hyperlink markup for archived video.
Proceedings of the HYPERTEXT 2002, 2002

2000
An orthogonal taxonomy for hyperlink anchor generation in video streams using OvalTine.
Proceedings of the HYPERTEXT 2000, Proceedings of the 11th ACM Conference on Hypertext and Hypermedia, May 30, 2000

1998
Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking.
ACM Trans. Inf. Syst., 1998

1997
Research Issues in Developing Networked Virtual Realities: Working Group Report on Distributed System Aspects of Sharing a Virtual Reality.
Proceedings of the 6th Workshop on Enabling Technologies (WET-ICE '97), 1997

Introduction.
Proceedings of the 6th Workshop on Enabling Technologies (WET-ICE '97), 1997

The World Wide Web: What Cost Simplicity?
Proceedings of the Hypertext 97, 1997

1996
Multi-Head Multi-Tail Mosaic.
World Wide Web J., 1996

Enhanced Graph Models in the Web: Multi-Client, Multi-Head, Multi-Tail Browsing.
Comput. Networks, 1996

Software engineering of distributed simulation environments.
Proceedings of the 5th Workshop on Enabling Technologies, 1996

Educational applications of multi-client synchronization through improved Web graph semantics.
Proceedings of the 5th Workshop on Enabling Technologies, 1996

Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects.
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

Distributed interoperable virtual environments.
Proceedings of the Third International Conference on Configurable Distributed Systems, 1996

1995
Dynamic Hyperdocuments: Authoring Replaces Programming.
Commun. ACM, 1995

Multi-Head Multi-Tail Mosaic.
Proceedings of the Fourth International Conference on World Wide Web, 1995

Subdocument invocation semantics in collaborative hyperdocuments.
Proceedings of the 4th Workshop on Enabling Technologies, 1995

Early Prototypes of the Repository for Patterned Injury Data.
Proceedings of the Second Annual Conference on the Theory and Practice of Digital Libraries, 1995

1994
Parallel finite automata for modeling concurrent software systems.
J. Syst. Softw., 1994

Virtual environment architectures: interoperability through software interconnection technology.
Proceedings of the Third Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 1994

Applications of image processing and visualization in the evaluation of murder and assault.
Proceedings of the Visualization in Biomedical Computing 1994, 1994

Process models as multi-reader collaborative hyperdocuments.
Proceedings of the Ninth International Software Process Workshop (ISPW '94), 1994

Interpreted Collaboration Protocols and Their Use in Groupware Prototyping.
Proceedings of the CSCW '94, 1994

1993
Tools Review: 'Software through Pictures' from IDE, Inc.
J. Vis. Lang. Comput., 1993

1992
Hypertextual concurrent control of a Lisp Kernel.
J. Vis. Lang. Comput., 1992

Visual languages and concurrent computing.
J. Vis. Lang. Comput., 1992

Place/Transition Nets with Debit Arcs.
Inf. Process. Lett., 1992

Hyperdocuments as Automata: Trace-Based Browsing Property Verification.
Proceedings of the ECHT '92: European Conference on Hypertext Technology, November 30, 1992

1991
Ytracc: a Parse Browser for Yacc Grammars.
Softw. Pract. Exp., 1991

Guaranteed Task Deadlines for Fault-Tolerant Workloads with Conditional Branches.
Real Time Syst., 1991

Hypertext 2000: Databases or Documents.
Electron. Publ., 1991

Dynamic Adaptation of Hypertext Structure.
Proceedings of the Hypertext'91 Proceedings, San Antonio, Texas, USA, 1991

1990
Temporal hyperprogramming.
J. Vis. Lang. Comput., 1990

Coverability Graphs for a Class of Synchronously Excuted Unbounded Petri Net.
J. Parallel Distributed Comput., 1990

Browsing Parallel Process Networks.
J. Parallel Distributed Comput., 1990

Increasing the Power of Hypertext Search with Relational Queries.
Hypermedia, 1990

A Functional Meta-Structure for Hypertext Models and Systems.
Electron. Publ., 1990

Bounding procedure execution times in a synchronous Petri net computation model.
Comput. Syst. Sci. Eng., 1990

Panel on Hypertext Systems.
Proceedings of the 1990 IEEE Workshop on Visual Languages, 1990

Hierarchy, Composition, Scripting Languages, and Translators for Structured Hypertext.
Proceedings of the Hypertext: Concepts, 1990

1989
Petri-Net-Based Hypertext: Document Structure with Browsing Semantics.
ACM Trans. Inf. Syst., 1989

Modelling the logical structure of flexible manufacturing systems with Petri-nets.
Comput. Commun., 1989

Separating Hypertext Content from Structure in Trellis.
Proceedings of the Hypertext: State of the Art. Papers presented at the Hypertext 2 conference, 1989

Programmable Browsing Semantics in Trellis.
Proceedings of the Hypertext'89 Proceedings, 1989

\alphaTrellis: A system for writing and browsing Petri-net-based hypertext.
Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1988
Expressing high-level visual concurrency structures in the PFG kernel language.
Proceedings of the IEEE Workshop on Visual Languages, 1988

The PFG Language: Visual Programming for Concurrent Computation.
Proceedings of the International Conference on Parallel Processing, 1988

Adding browsing semantics to the hypertext model.
Proceedings of the ACM conference on Document processing systems, 1988

1985
Hierarchical Modeling of Software Systems with Timed Petri Nets.
Proceedings of the International Workshop on Timed Petri Nets, 1985

1982
A Comparative Survey of Concurrent Programming Languages.
ACM SIGPLAN Notices, 1982


  Loading...