Older Hypertext Research
CTL Javascript Model Checker
As a project for “Formal Methods in Software Engineering”, I wrote a neat CTL (Computational Tree Logic) model checker. Enter in a valid CTL formula and it will be validated with the results displayed in a table. It’s written in javascript but only tested in Safari and Firefox, but not on Internet Explorer.
Undergraduate Research
I have conducted two research projects as an undergraduate at the University of California at Santa Cruz. Below you can read the abstracts for both papers, download their PDFs, as well as access online demos of the two projects. (Demos will be forthcoming on the new site.)
CircleView
CircleView is a citation network browser that uses circles around circles as its visualization method to show a focus paper and two levels of its citation network. This method scales to varying numbers of papers and references, and has a structured layout that makes the visualization more readable. Bibliographic metadata is available via mouseover for all displayed papers. General requirements are presented for citation network visualization and navigation tools. An important requirement is the ability to integrate with existing institutional digital libraries, satisfied by CircleView’s use of web browser facilities for its user interface. CircleView is shown to have good visualization and performance scalability characteristics.
Published at IVICA 2006: Interactive Visual Information Collections and Activity
Sapphire
Inspired by Theodor Nelson’s Xanadu and vLit concepts, Sapphire implements a composite document structure in which formatting is specified external to the text. Formatting overlays are rendered over the text, so multiple overlays may be stacked according to user preference. Sapphire supports the viewing of a document composed from multiple fragments, and viewing the original source of each fragment. Other features include annotation on the composite documents and the storing and restoring of document trails in the spirit of the Memex. An editor function permits the creation and editing of Sapphire composite documents. This project served as an exploration of the potential of alternative hypertext implementations to the pervasive HTML standard in use today.
Published at the 2004 ACM Conference on Hypertext and Hypermedia as a poster.