P. David Stotts

2002

doi dblp
Model checking cobweb protocols for verification of HTML frames behavior.
P. David Stotts|Jaime Navon
Proceedings of the Eleventh International World Wide Web Conference, WWW 2002, May 7-11, 2002, Honolulu, Hawaii, USA

1998

doi dblp
Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking.
P. David Stotts|Richard Furuta|Cyrano Ruiz Cabarrus
ACM Transactions on Information Systems (TOIS) 1998 Volume 16 Issue 1

1996

doi dblp
Enhanced Graph Models in the Web: Multi-Client, Multi-Head, Multi-Tail Browsing.
Michael V. Capps|Brian C. Ladd|P. David Stotts
The Web Conference (WWW) 1996 Volume 28 Issue 7-11

1995

doi dblp
Multi-Head Multi-Tail Mosaic.
Brian C. Ladd|Michael V. Capps|P. David Stotts|Rick Furuta
Proceedings of the Fourth International Conference on World Wide Web, WWW4, Boston, Massachusetts, USA, December 11-14, 1995

1989

doi dblp
Petri-Net-Based Hypertext: Document Structure with Browsing Semantics.
P. David Stotts|Richard Furuta
ACM Transactions on Information Systems (TOIS) 1989 Volume 7 Issue 1