Citation Impact

Citing Papers

GRAS: a graph-oriented software engineering database system
1996
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008 Standout
Model Checking Programs
2003 Standout
Interactive, visual fault localization support for end-user programmers
2004
Finding facts vs. browsing knowledge in hypertext systems
1988 Standout
When and how to develop domain-specific languages
2005 Standout
Embedded menus: selecting items in context
1986
Groupware: some issues and experiences
1991 Standout
The TAME project: towards improvement-oriented software environments
1988 Standout
Towards ANSI C Program Slicing using XML
2002
The state of the art in end-user software engineering
2011 Standout
A classification and comparison framework for software architecture description languages
2000 Standout
A Program Development Tool
1984
User interface specification using an enhanced spreadsheet model
1994
A field study of the software design process for large systems
1988 Standout
The Programmer's Apprentice: Knowledge Based Program Editing
1982
SmartTools
2001
An Introduction to Structured Modeling
1987
A structural view of the Cedar programming environment
1986
A brief history of human-computer interaction technology
1998 Standout
Identifying syntactic differences between two programs
1991
Software reuse
1992
Software Engineering Practices in the US and Japan
1984
Production trees: a compact representation of parsed programs
1990
Empirical analysis of consumer reaction to the virtual reality shopping mall
2007 Standout
Survey of graph database models
2008 Standout
GENOA - A Customizable, Language- And Front-end Independent Code Analyzer
1992
Collaboration Processes: Inside the Black Box
2006 Standout
Interprocedural slicing using dependence graphs
1990 Standout
Comparison and Evaluation of Clone Detection Tools
2007 Standout
Generic lifecycle support in the ALMA environment
1988
Empirical validation of object-oriented metrics on open source software for fault prediction
2005 Standout
ECOOP 2004 – Object-Oriented Programming
2004
Integrating noninterfering versions of programs
1989
A C++ data model supporting reachability analysis and dead code detection
1998
A validation of object-oriented design metrics as quality indicators
1996 Standout
Efficiently computing static single assignment form and the control dependence graph
1991 Standout
Lowering the barriers to programming
2005 Standout
Multiuser, Distributed Language-Based Environments
1987
Interactive Editing Systems: Part I
1982
Perspective Making and Perspective Taking in Communities of Knowing
1995 Standout
Modeling and optimization with Optimica and JModelica.org—Languages and tools for solving large-scale dynamic optimization problems
2009 Standout
User interface software tools
1995 Standout
Gras, a graph-oriented (software) engineering database system
1995
Supporting the DSL Spectrum
2001
Scratch
2009 Standout
Goal-directed requirements acquisition
1993 Standout
The program dependence graph and its use in optimization
1987 Standout

Works of Tim Teitelbaum being referenced

The synthesizer generator
1984
Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
2000
Incremental Context-Dependent Analysis for Language-Based Editors
1983
Generating editing environments based on relations and attributes
1986
The Cornell program synthesizer
1981
The Cornell Program Synthesizer
1979
Rankless by CCL
2026