Advanced interactive executive program development environment
IBM Systems Journal
ACM SIGACT News
Interactive effectivity control: design and applications
DOCPROCS '88 Proceedings of the ACM conference on Document processing systems
Incremental document formatting
DOCPROCS '88 Proceedings of the ACM conference on Document processing systems
Requirements analysis for large Ada programs: lessons learned on CCPDS-R
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
A philosophy for scientific computing tools
ACM SIGNUM Newsletter
Lilac: A Two-View Document Editor
Computer
Communications of the ACM
BIBDB: a bibliographic database for collaboration
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Document recognition: concepts and implementations
ACM SIGOIS Bulletin
Typesetting APL with LATEX: the APL front end APL2TEX
ACM SIGAPL APL Quote Quad
SIGDOC '93 Proceedings of the 11th annual international conference on Systems documentation
HyperRef: online support for research literature assessment and documentation
SIGDOC '93 Proceedings of the 11th annual international conference on Systems documentation
Combining hypertext and structured documents in Grif
ECHT '92 Proceedings of the ACM conference on Hypertext
Extending context-free grammars with permutation phrases
ACM Letters on Programming Languages and Systems (LOPLAS)
Assets '94 Proceedings of the first annual ACM conference on Assistive technologies
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
A database design for uniform representation of hypermedia and mathematical models
WSC '94 Proceedings of the 26th conference on Winter simulation
Managing update conflicts in Bayou, a weakly connected replicated storage system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Environmental acquisition: a new inheritance-like abstraction mechanism
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Web-based laboratories in the introductory curriculum enhance formal methods
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
ISO/IEC 10514–1, the standard for Modula-2: process aspects
ACM SIGPLAN Notices
Proximal nodes: a model to query document databases by content and structure
ACM Transactions on Information Systems (TOIS)
Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models
IEEE Transactions on Software Engineering
Electronic colloquia: idea and practice
Proceedings of the 16th annual international conference on Computer documentation
An Automatic Closed-Loop Methodology for Generating Character Groundtruth for Scanned Documents
IEEE Transactions on Pattern Analysis and Machine Intelligence
Incremental evaluation of computational circuits
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
A Web-interfaced array-based mathematics course
APL '98 Proceedings of the APL98 conference on Array processing language
A bibliography manager for Microsoft Word
Crossroads - Special issue on Windows programming
CHECK: a document plagiarism detection system
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
A Statistical, Nonparametric Methodology for Document Degradation Model Validation
IEEE Transactions on Pattern Analysis and Machine Intelligence
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The LATEX legacy: 2.09 and all that
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
TabulaMagica: an integrated approach to manage complex tables
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Experience teaching Z with tool and web support
ACM SIGSOFT Software Engineering Notes
MathBraille; a system to transform LATEX documents into Braille
ACM SIGCAPH Computers and the Physically Handicapped
A presentation language for controlling the formatting process in multimedia presentations
Proceedings of the 2002 ACM symposium on Document engineering
Towards a semantics for XML markup
Proceedings of the 2002 ACM symposium on Document engineering
Asml: Automatic Site Markup Language
Multimedia Tools and Applications
ASTER—Towards Modality-Independent Electronic Documents
Multimedia Tools and Applications
Enabling Synchronous Math Discussions on the Web
Computing in Science and Engineering
Tex/Latex: A Natural for Technical Publishing
IEEE Software
Document Image Decoding Using Markov Source Models
IEEE Transactions on Pattern Analysis and Machine Intelligence
A Tabular Survey of Automated Table Processing
GREC '99 Selected Papers from the Third International Workshop on Graphics Recognition, Recent Advances
The Rufus System: Information Organization for Semi-Structured Data
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
PODDP '98 Proceedings of the 4th International Workshop on Principles of Digital Document Processing
An Approach for Processing Mathematical Expressions in Printed Document
DAS '98 Selected Papers from the Third IAPR Workshop on Document Analysis Systems: Theory and Practice
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
An automatic load/extract scheme for XML documents through object-relational repositories
Journal of Systems and Software
Journal of Computing Sciences in Colleges
Developing a lisp-based preprocessor for TEX documents
Software—Practice & Experience
Interactive mathematics textbooks
ACM SIGPLAN Notices
On the pagination of complex documents
Computer Science in Perspective
Substituting outline fonts for bitmap fonts in archived PDF files
Software—Practice & Experience
SQL based frequent pattern mining without candidate generation
Proceedings of the 2004 ACM symposium on Applied computing
A successful case of computer aided translation
ANLC '94 Proceedings of the fourth conference on Applied natural language processing
WinGCLC: a workbench for formally describing figures
SCCG '03 Proceedings of the 19th spring conference on Computer graphics
Introduction to logical information systems
Information Processing and Management: an International Journal
Support software evolution with abstration rules and programming knowledge patterns
Focus on computational neurobiology
UMA: a system for universal mathematics accessibility
Assets '04 Proceedings of the 6th international ACM SIGACCESS conference on Computers and accessibility
Educational hypermedia resources facilitator
Computers & Education
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Sparsha: a comprehensive indian language toolset for the blind
Proceedings of the 7th international ACM SIGACCESS conference on Computers and accessibility
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Exploiting bibliographic web services with CiTeX
Proceedings of the 2007 ACM symposium on Applied computing
The refdbms distributed bibliographic database system
WTEC'94 Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference
Archon: a digital library that federates physics collections
DCMI '02 Proceedings of the 2002 international conference on Dublin core and metadata applications: Metadata for e-communities: supporting diversity and convergence
Network properties of folksonomies
AI Communications - Network Analysis in Natural Sciences and Engineering
Analysis of the Publication Sharing Behaviour in BibSonomy
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
MultiPresenter: a presentation system for (very) large display surfaces
MM '08 Proceedings of the 16th ACM international conference on Multimedia
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
Domain-specific disambiguation for typing with ambiguous keyboards
TextEntry '03 Proceedings of the 2003 EACL Workshop on Language Modeling for Text Entry Methods
Wikipublisher: a print-on-demand Wiki
Proceedings of the 5th International Symposium on Wikis and Open Collaboration
Neutral formats for product data exchange: The current situation
Computer-Aided Design
Geometry Constructions Language
Journal of Automated Reasoning
Winsight: towards completely automatic backtranslation of Nemeth code
UAHCI'07 Proceedings of the 4th international conference on Universal access in human-computer interaction: applications and services
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
ISCIT'09 Proceedings of the 9th international conference on Communications and information technologies
An intelligent assistant for mathematical production
Proceedings of the 7th International Conference on Frontiers of Information Technology
Featherweight TEX and parser correctness
SLE'10 Proceedings of the Third international conference on Software language engineering
A novel physics-based interaction model for free document layout
Proceedings of the 11th ACM symposium on Document engineering
The SWRC ontology – semantic web for research communities
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Programming with multiple paradigms in lua
WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
Geometric algorithms and experiments for automated document structuring
Mathematical and Computer Modelling: An International Journal
Documents mean more than just paper!
Mathematical and Computer Modelling: An International Journal
A document manipulation system based on natural semantics
Mathematical and Computer Modelling: An International Journal
Documents are not just for printing
Mathematical and Computer Modelling: An International Journal
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
In at the Deep End: An Activity-Led Introduction to First Year Creative Computing
Computer Graphics Forum
Balancing font sizes for flexibility in automated document layout
Proceedings of the 2013 ACM symposium on Document engineering
| Hi-index | 0.02 |