Welcome to DiSC 2003
SIGMOD 2002
PODS 2002
SIGMOD RECORD 2002
ADBIS 2002
CIKM 2002
CoopIS 2002
EDBT 2002
ER 2002
Data Engineering Bul
DEXA_EC-WEB 2002
DMKD 2002
DPDJ 2002
HYPERTEXT 2002
ICDE 2002
ICDM 2002
JCDL 2002
KDD 2002
KDD_EXPLORATIONS 20
KRDB 2002
MDM 2002
MIS 2002
RIDE 2002
SBBD 2002
SIGIR 2002
SIGIR FORUM 2002
SSDBM 2002
TODS 2002
TIME 2002
VLDB 2002
VLDBJ 2002
About DiSC 2003
Editorial Board
Acknowledgements
DiSC 2003 Production
ADVIS
DiSC'03 Feedback
DiSC'03 Sitemap
Search DiSC'03
<<<Author Index>>>
Copyright Notice

P. David Stotts

Papers on DiSC'03


Semi-automated Hyperlink markup for archived video

Publications


Note: Links lead to the DBLP on the Web.

P. David Stotts

35 P. David Stotts, Jason McC. Smith : Semi-automated Hyperlink markup for archived video. Hypertext 2002 : 105-106

34 P. David Stotts, Jaime Navon : Model checking cobweb protocols for verification of HTML frames behavior. WWW 2002 : 182-190

33 P. David Stotts, Mark Lindsey , Angus Antley : An Informal Formal Method for Systematic JUnit Test Case Generation. XP/Agile Universe 2002 : 131-143

32 Prashant Baheti , Edward F. Gehringer , P. David Stotts: Exploring the Efficacy of Distributed Pair Programming. XP/Agile Universe 2002 : 208-220

31 P. David Stotts, Laurie A. Williams : Distributed Pair Programming. XP/Agile Universe 2002 : 283

30 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

29 P. David Stotts, Richard Furuta , Cyrano Ruiz Cabarrus : Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking. TOIS 16 (1): 1-30 (1998)

28 Brian C. Ladd , Michael V. Capps , P. David Stotts: The World Wide Web: What Cost Simplicity? Hypertext 1997 : 210-211

27 Michael V. Capps , P. David Stotts: Introduction. WETICE 1997 : 139

26 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

25 Merlin Hughes , P. David Stotts: Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects. ISSTA 1996 : 53-61

24 James W. Duff , James Purtilo , Michael V. Capps , P. David Stotts: Software engineering of distributed simulation environments. WETICE 1996 : 262-267

23 Michael V. Capps , Brian C. Ladd , P. David Stotts: Enhanced Graph Models in the Web: Multi-Client, Multi-Head, Multi-Tail Browsing. WWW5 / Computer Networks 28 (7-11): 1105-1112 (1996)

22 Prasun Dewan , Kevin Jeffay , John Smith , P. David Stotts, William Oliver : Early Prototypes of the Repository for Patterned Injury Data. DL 1995 : 0-

21 Richard Furuta , Jaime Navon , P. David Stotts: Subdocument invocation semantics in collaborative hyperdocuments. WETICE 1995 : 138-146

20 Richard Furuta , P. David Stotts: Dynamic Hyperdocuments: Authoring Replaces Programming. CACM 38 (8): 111-112 (1995)

19 Richard Furuta , P. David Stotts: Interpreted Collaboration Protocols and Their Use in Groupware Prototyping. CSCW 1994 : 121-131

18 P. David Stotts, Richard Furuta : Process models as multi-reader collaborative hyperdocuments. ISPW 1994 : 85-89

17 P. David Stotts: Tools Review: 'Software through Pictures' from IDE, Inc. Journal of Visual Languages and Computing 4 (2): 201-209 (1993)

16 P. David Stotts, Richard Furuta , J. Cyrano Ruiz : Hyperdocuments as Automata: Trace-Based Browsing Property Verification. ECHT 1992 : 272-281

15 P. David Stotts, Parke Godfrey : Place/Transition Nets with Debit Arcs. Information Processing Letters 41 (1): 25-33 (1992)

14 P. David Stotts, Richard Furuta : Dynamic Adaptation of Hypertext Structure. Hypertext 1991 : 219-231

13 P. David Stotts, Richard Furuta : Hypertext 2000: Databases or Documents. Electronic Publishing 4 (2): 119-121 (1991)

12 Richard Furuta , P. David Stotts, Jefferson Ogata : Ytracc: a Parse Browser for Yacc Grammars. Software - Practice and Experience 21 (2): 119-132 (1991)

11 P. David Stotts, Richard Furuta : Hierarchy, Composition, Scripting Languages, and Translators for Structured Hypertext. ECHT 1990 : 180-193

10 Richard Furuta , P. David Stotts: A Functional Meta-Structure for Hypertext Models and Systems. Electronic Publishing 3 (4): 179-205 (1990)

9 Leonard Gallagher , Richard Furuta , P. David Stotts: Increasing the Power of Hypertext Search with Relational Queries. Hypermedia 2 (1): 1-14 (1990)

8 P. David Stotts: Bounding procedure execution times in a synchronous Petri net computation model. Journal of Computer Systems Science and Engineering 5 (4): 205-214 (1990)

7 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

6 Richard Furuta , P. David Stotts: Programmable Browsing Semantics in Trellis. Hypertext 1989 : 27-42

5 Richard Furuta , P. David Stotts: Separating Hypertext Content from Structure in Trellis. UK Hypertext 1989 : 205-213

4 P. David Stotts, Richard Furuta : Petri-Net-Based Hypertext: Document Structure with Browsing Semantics. TOIS 7 (1): 3-29 (1989)

3 P. David Stotts: The PFG Language: Visual Programming for Concurrent Computation. ICPP (2) 1988 : 72-79

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)




DiSC'03 © 2003 Association for Computing Machinery