Enhancement through extension: the extension interpreter
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Advanced interactive executive program development environment
IBM Systems Journal
A quick introduction to the programming language MIKE
ACM SIGPLAN Notices
Visual illiteracy: implications in the development of scientific visualization software
ACM SIGGRAPH Computer Graphics
Handling Quiz-based tests with TEX macros
Education and Information Technologies
Electronic Publication Maintenance Systems
Programming and Computing Software
A Syntactic Theory of Dynamic Binding
Higher-Order and Symbolic Computation
Issues in Ground-Truthing Graphic Documents
GREC '01 Selected Papers from the Fourth International Workshop on Graphics Recognition Algorithms and Applications
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Competing Patterns for Language Engineering
TDS '00 Proceedings of the Third International Workshop on Text, Speech and Dialogue
On the Specification of the Display of Documents in Multi-lingual Computing
PODDP '98 Proceedings of the 4th International Workshop on Principles of Digital Document Processing
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
Using generalized markup and SGML for reverse engineering graphical representations of software
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
A functional description of TEX's formula layout
Journal of Functional Programming
WinGCLC: a workbench for formally describing figures
SCCG '03 Proceedings of the 19th spring conference on Computer graphics
Skribe: a functional authoring language
Journal of Functional Programming
Programming and Computing Software
Slideshow: functional presentations
Journal of Functional Programming
A special-purpose language for picture-drawing
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
ACM Transactions on Mathematical Software (TOMS)
Using mathematical expressions in a statistical language
Computational Statistics & Data Analysis
A system for developing tablet pc applications for education
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Designing UI techniques for handwritten mathematics
SBIM '07 Proceedings of the 4th Eurographics workshop on Sketch-based interfaces and modeling
ACM Transactions on Software Engineering and Methodology (TOSEM)
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
MathPaper: Mathematical Sketching with Fluid Support for Interactive Computation
SG '08 Proceedings of the 9th international symposium on Smart Graphics
Kwyjibo: automatic domain name generation
Software—Practice & Experience
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
Access to mathematics for visually disabled students through multimodal interaction
Human-Computer Interaction
Gel: A Generic Extensible Language
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Review of automatic document formatting
Proceedings of the 9th ACM symposium on Document engineering
Geometry Constructions Language
Journal of Automated Reasoning
Are text-only data formats safe? or, use this LATEX class file to Pwn your computer
LEET'10 Proceedings of the 3rd USENIX conference on Large-scale exploits and emergent threats: botnets, spyware, worms, and more
Table layout performance of document authoring tools
Proceedings of the 10th ACM symposium on Document engineering
An implementation of a hygienic syntactic macro system for JavaScript: a preliminary report
Workshop on Self-Sustaining Systems
Towards spell checking in FarsiTeX
DNCOCO'06 Proceedings of the 5th WSEAS international conference on Data networks, communications and computers
Building table formatting tools
Proceedings of the 11th ACM symposium on Document engineering
ICCHP'06 Proceedings of the 10th international conference on Computers Helping People with Special Needs
Translating MathML into nemeth braille code
ICCHP'06 Proceedings of the 10th international conference on Computers Helping People with Special Needs
GCLC: a tool for constructive euclidean geometry and more than that
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Logiweb: a system for web publication of mathematics
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Surface parameterization of nonsimply connected planar Bézier regions
Computer-Aided Design
Constraint solving for beautiful user interfaces: how solving strategies support layout aesthetics
Proceedings of the 13th International Conference of the NZ Chapter of the ACM's Special Interest Group on Human-Computer Interaction
A methodology for binary encoding of citation metadata
International Journal of Metadata, Semantics and Ontologies
| Hi-index | 0.00 |