Citation Impact
Citing Papers
Features and development of Coot
2010 Standout
Software quality assurance: Testing and validation
1980 StandoutNobel
When and how to develop domain-specific languages
2005 Standout
Statecharts: a visual formalism for complex systems
1987 Standout
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
1980 Standout
Geometric modeling using octree encoding
1982 Standout
The Java Language Specification
1996 Standout
Communicating sequential processes
1978 Standout
A theory of timed automata
1994 Standout
The Carneades model of argument and burden of proof
2007 Standout
Design of a separable transition-diagram compiler
1963 Standout
Human-computer interface development: concepts and systems for its management
1989
Guarded commands, nondeterminacy and formal derivation of programs
1975 Standout
Linearizability: a correctness condition for concurrent objects
1990 Standout
Programming Languages: A general purpose graphic language
1968
A Complexity Measure
1976 Standout
A relational model of data for large shared data banks
1983 Standout
Recollections about the development of Pascal
1993
Region representation: Quadtrees from binary arrays
1980
Fast Pattern Matching in Strings
1977 Standout
Proposals for the standardization of status description
1984 StandoutNobel
On the criteria to be used in decomposing systems into modules
1972 Standout
Generative communication in Linda
1985 Standout
Revised5 Report on the Algorithmic Language Scheme
1998
Empirical analysis of consumer reaction to the virtual reality shopping mall
2007 Standout
Communicating sequential processes
1983 Standout
SIMULA: an ALGOL-based simulation language
1966
Collaboration Processes: Inside the Black Box
2006 Standout
An operating environment for dynamic-recursive computer programming systems
1965
The programming language pascal
1971
Simple LR(k) grammars
1971
Connected Component Labeling Using Quadtrees
1981
Cognitive strategies and looping constructs
1983 Standout
Region representation
1980
Region representation
1980
The use of grammatical inference for designing programming languages
1973
A Computer Simulation of the Paradox of Voting
1966
A practical interprocedural data flow analysis algorithm
1978
Usability Engineering
1993 Standout
Revised 3 report on the algorithmic language scheme
1986
A survey of rollback-recovery protocols in message-passing systems
2002 Standout
Automatic verification of finite-state concurrent systems using temporal logic specifications
1986 Standout
A relational model of data for large shared data banks
1970 Standout
Computer Processing of Line-Drawing Images
1974 Standout
Lowering the barriers to programming
2005 Standout
Parsing Techniques: A Practical Guide
2007
The C Programming Language
1978 Standout
A runtime system
1990
Exception handling
1975 StandoutNobel
IS '97
1996 Standout
User interface software tools
1995 Standout
Program Slicing
1984 Standout
A Translator-Oriented Symbolic Programming Language
1962
Curriculum 68: Recommendations for academic programs in computer science
1968
Object-Oriented Programming in the Beta Programming Language
1993
Tree-Manipulating Systems and Church-Rosser Theorems
1973
An ALGOL-based associative language
1969
Structured Programming with go to Statements
1974
On The Ambiguity Problem of Backus Systems
1962
Social Choice: A Probabilistic Approach
1967 StandoutNobel
Critical comments on the programming language Pascal
1973
Works of Chaim Katz being referenced
Report on the algorithmic language ALGOL 60
1960
Report on the algorithmic language ALGOL 60
1960
Revised report on the algorithmic language ALGOL 60
1963