default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDP. David Stotts
Person information
- affiliation: University of North Carolina at Chapel Hill, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 1998
[j22]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)- 1996
- [j21]Michael V. Capps, Brian C. Ladd, P. David Stotts:
Enhanced Graph Models in the Web: Multi-Client, Multi-Head, Multi-Tail Browsing. Comput. Networks 28(7-11): 1105-1112 (1996) - [j20]Bnan C. Ladd, Michael V. Capps, P. David Stotts, Rick Furuta:
Multi-Head Multi-Tail Mosaic. World Wide Web J. 1(1) (1996) - 1995
- [j19]Richard Furuta, P. David Stotts:
Dynamic Hyperdocuments: Authoring Replaces Programming. Commun. ACM 38(8): 111-112 (1995) - 1994
- [j18]P. David Stotts, William W. Pugh:
Parallel finite automata for modeling concurrent software systems. J. Syst. Softw. 27(1): 27-43 (1994) - 1993
- [j17]P. David Stotts:
Tools Review: 'Software through Pictures' from IDE, Inc. J. Vis. Lang. Comput. 4(2): 201-209 (1993) - 1992
- [j16]P. David Stotts, Parke Godfrey:
Place/Transition Nets with Debit Arcs. Inf. Process. Lett. 41(1): 25-33 (1992) - [j15]Ephraim P. Glinert, P. David Stotts:
Visual languages and concurrent computing. J. Vis. Lang. Comput. 3(2): 105 (1992) - [j14]P. David Stotts, Richard Furuta:
Hypertextual concurrent control of a Lisp Kernel. J. Vis. Lang. Comput. 3(2): 221-236 (1992) - 1991
- [j13]P. David Stotts, Richard Furuta:
Hypertext 2000: Databases or Documents. Electron. Publ. 4(2): 119-121 (1991) - [j12]Michelle C. McElvany, P. David Stotts:
Guaranteed Task Deadlines for Fault-Tolerant Workloads with Conditional Branches. Real Time Syst. 3(3): 275-305 (1991) - [j11]Richard Furuta, P. David Stotts, Jefferson Ogata:
Ytracc: a Parse Browser for Yacc Grammars. Softw. Pract. Exp. 21(2): 119-132 (1991) - 1990
- [j10]P. David Stotts:
Bounding procedure execution times in a synchronous Petri net computation model. Comput. Syst. Sci. Eng. 5(4): 205-214 (1990) - [j9]Richard Furuta, P. David Stotts:
A Functional Meta-Structure for Hypertext Models and Systems. Electron. Publ. 3(4): 179-205 (1990) - [j8]Leonard Gallagher, Richard Furuta, P. David Stotts:
Increasing the Power of Hypertext Search with Relational Queries. Hypermedia 2(1): 1-14 (1990) - [j7]P. David Stotts, Richard Furuta:
Browsing Parallel Process Networks. J. Parallel Distributed Comput. 9(2): 224-235 (1990) - [j6]P. David Stotts, Terrence W. Pratt:
Coverability Graphs for a Class of Synchronously Excuted Unbounded Petri Net. J. Parallel Distributed Comput. 10(3): 253-260 (1990) - [j5]P. David Stotts, Richard Furuta:
Temporal hyperprogramming. J. Vis. Lang. Comput. 1(3): 237-253 (1990) - 1989
- [j4]P. David Stotts, Robert W. Newcomb, Z. Ning Cai:
Modelling the logical structure of flexible manufacturing systems with Petri-nets. Comput. Commun. 12(4): 193-203 (1989) - [j3]P. David Stotts, Richard Furuta:
Petri-Net-Based Hypertext: Document Structure with Browsing Semantics. ACM Trans. Inf. Syst. 7(1): 3-29 (1989) - 1982
- [j2]P. David Stotts:
A Comparative Survey of Concurrent Programming Languages. ACM SIGPLAN Notices 17(9): 76-87 (1982) - [j1]P. David Stotts:
A Comparative Survey of Concurrent Programming Languages. ACM SIGPLAN Notices 17(10): 50-61 (1982)
Conference and Workshop Papers
- 2007
- [c42]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 - [c41]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
- [c40]Dorian Miller, James Culp, P. David Stotts:
Facetop tablet: : note-taking assistance for deaf persons. ASSETS 2006: 247-248 - [c39]Kanyamas Navoraphan, Edward F. Gehringer
, James Culp, Karl Gyllstrom, P. David Stotts:
Next-generation DPP with Sangam and Facetop. ETX 2006: 6-10 - 2005
- [c38]Jason McC. Smith, P. David Stotts:
Extending SPQR to Architectural Analysis by Semi-Automated Training. WICSA 2005: 239-242 - 2004
- [c37]P. David Stotts, Richard Furuta:
Language-theoretic classification of hypermedia paths. Hypertext 2004: 40-41 - [c36]P. David Stotts, Jason McC. Smith, Karl Gyllstrom:
FaceSpace: endo- and exo-spatial hypermedia in the transparent video facetop. Hypertext 2004: 48-57 - [c35]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
- [c34]Dean Herington, P. David Stotts:
DeCo: A Declarative Coordination Framework for Scientific Model Federations. ASE 2003: 60-69 - [c33]Jason McC. Smith, P. David Stotts:
SPQR: Flexible Automated Design Pattern Extraction From Source Code. ASE 2003: 215-224 - [c32]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
- [c31]P. David Stotts, Jason McC. Smith:
Semi-automated Hyperlink markup for archived video. Hypertext 2002: 105-106 - [c30]P. David Stotts, Jaime Navon:
Model checking cobweb protocols for verification of HTML frames behavior. WWW 2002: 182-190 - [c29]P. David Stotts, Mark Lindsey, Angus Antley:
An Informal Formal Method for Systematic JUnit Test Case Generation. XP/Agile Universe 2002: 131-143 - [c28]Prashant Baheti, Edward F. Gehringer, P. David Stotts:
Exploring the Efficacy of Distributed Pair Programming. XP/Agile Universe 2002: 208-220 - [c27]P. David Stotts, Laurie A. Williams:
Distributed Pair Programming. XP/Agile Universe 2002: 283 - 2000
- [c26]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 - 1997
- [c25]Brian C. Ladd, Michael V. Capps, P. David Stotts:
The World Wide Web: What Cost Simplicity? Hypertext 1997: 210-211 - [c24]Michael V. Capps, P. David Stotts:
Introduction. WETICE 1997: 139 - [c23]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
- [c22]Michael V. Capps, P. David Stotts, Jim Duff, James M. Purtilo:
Distributed interoperable virtual environments. CDS 1996: 202-209 - [c21]Merlin Hughes, P. David Stotts:
Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects. ISSTA 1996: 53-61 - [c20]Michael V. Capps, Brian C. Ladd, P. David Stotts, Lars S. Nyland:
Educational applications of multi-client synchronization through improved Web graph semantics. WETICE 1996: 21-26 - [c19]James W. Duff, James M. Purtilo, Michael V. Capps, P. David Stotts:
Software engineering of distributed simulation environments. WETICE 1996: 262-267 - 1995
- [c18]Prasun Dewan, Kevin Jeffay, John Smith, P. David Stotts, William R. Oliver:
Early Prototypes of the Repository for Patterned Injury Data. DL 1995 - [c17]Richard Furuta, Jaime Navon, P. David Stotts:
Subdocument invocation semantics in collaborative hyperdocuments. WETICE 1995: 138-146 - [c16]Brian C. Ladd, Michael V. Capps, P. David Stotts, Rick Furuta:
Multi-Head Multi-Tail Mosaic. WWW (Fall) 1995: 433-440 - 1994
- [c15]Richard Furuta, P. David Stotts:
Interpreted Collaboration Protocols and Their Use in Groupware Prototyping. CSCW 1994: 121-131 - [c14]P. David Stotts, Richard Furuta:
Process models as multi-reader collaborative hyperdocuments. ISPW 1994: 85-89 - [c13]William R. Oliver, Julian G. Rosenman, Aziz A. Boxwala, P. David Stotts, John Smith, Mitchell Soltys, James Symon, Tim J. Cullip, Glenn Wagner:
Applications of image processing and visualization in the evaluation of murder and assault. VBC 1994 - [c12]P. David Stotts, James M. Purtilo:
Virtual environment architectures: interoperability through software interconnection technology. WETICE 1994: 211-224 - 1992
- [c11]P. David Stotts, Richard Furuta, J. Cyrano Ruiz:
Hyperdocuments as Automata: Trace-Based Browsing Property Verification. ECHT 1992: 272-281 - 1991
- [c10]P. David Stotts, Richard Furuta:
Dynamic Adaptation of Hypertext Structure. Hypertext 1991: 219-231 - 1990
- [c9]P. David Stotts, Richard Furuta:
Hierarchy, Composition, Scripting Languages, and Translators for Structured Hypertext. ECHT 1990: 180-193 - [c8]P. David Stotts:
Panel on Hypertext Systems. VL 1990: 66-68 - 1989
- [c7]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 - [c6]Richard Furuta, P. David Stotts:
Programmable Browsing Semantics in Trellis. Hypertext 1989: 27-42 - [c5]Richard Furuta, P. David Stotts:
Separating Hypertext Content from Structure in Trellis. UK Hypertext 1989: 205-213 - 1988
- [c4]P. David Stotts, Richard Furuta:
Adding browsing semantics to the hypertext model. DOCPROCS 1988: 43-50 - [c3]P. David Stotts:
The PFG Language: Visual Programming for Concurrent Computation. ICPP (2) 1988: 72-79 - [c2]P. David Stotts:
Expressing high-level visual concurrency structures in the PFG kernel language. VL 1988: 168-174 - 1985
- [c1]P. David Stotts, Terrence W. Pratt:
Hierarchical Modeling of Software Systems with Timed Petri Nets. PNPM 1985: 32-39
Coauthor Index
aka: Rick Furuta
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
