LATEX (2nd ed.): a document preparation system: user's guide and reference manual

Integrating a formal specification course with a software projects course via an editing tool

SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education

Making compiler design relevant for students who will (most likely) never design a compiler

SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education

Visualization of Geometric Algorithms

IEEE Transactions on Visualization and Computer Graphics

A Data Model for Semistructured Data with Partial and Inconsistent Information

EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology

Characters + Mark-up = Z Lexis

ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods

On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions

MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management

Digitisation, Representation, and Formalisation

MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management

Integration of Semistructured Data with Partial and Inconsistent Information

IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications

GASP: a system for visualizing geometric algorithms

VIS '94 Proceedings of the conference on Visualization '94

A tool for formatting computer science lectures in HTML

Journal of Computing Sciences in Colleges

TemplateTree II: The Post-Installation Setup Tool

LISA '01 Proceedings of the 15th USENIX conference on System administration

Generation, documentation and presentation of mathematical equations and symbolic scientific expressions using pure HTML and CSS

Proceedings of the 16th international conference on World Wide Web

Progressive structural analysis for dynamic recognition of on-line handwritten mathematical expressions

Pattern Recognition Letters

Designing UI techniques for handwritten mathematics

SBIM '07 Proceedings of the 4th Eurographics workshop on Sketch-based interfaces and modeling

Access to mathematics for visually disabled students through multimodal interaction

Human-Computer Interaction

A Bayesian Model for Sales Forecasting at Sun Microsystems

Interfaces

A DSL toolkit for deferring architectural decisions in DSL-based software design

Information and Software Technology

Table layout performance of document authoring tools

Proceedings of the 10th ACM symposium on Document engineering