Citation Impact
Citing Papers
THE [14C]DEOXYGLUCOSE METHOD FOR THE MEASUREMENT OF LOCAL CEREBRAL GLUCOSE UTILIZATION: THEORY, PROCEDURE, AND NORMAL VALUES IN THE CONSCIOUS AND ANESTHETIZED ALBINO RAT1
1977 Standout
Features and development of Coot
2010 Standout
Can programming be liberated from the von Neumann style?
1978 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
A syntax directed compiler for ALGOL 60
1961
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
An Integrative Framework for Collaborative Governance
2011 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
Public Value Governance: Moving Beyond Traditional Public Administration and the New Public Management
2014 Standout
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
Recursive functions of symbolic expressions and their computation by machine, Part I
1960
Revised5 Report on the Algorithmic Language Scheme
1998
Empirical analysis of consumer reaction to the virtual reality shopping mall
2007 Standout
A syntax directed compiler for ALGOL 60
1983
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
Computer science as empirical inquiry
1976 StandoutNobel
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
The Gifts of Athena: Historical Origins of the Knowledge Economy
2012 StandoutNobel
Lowering the barriers to programming
2005 Standout
Bigtable
2008 Standout
No Silver Bullet Essence and Accidents of Software Engineering
1987 Standout
On-line modeling by curve-fitting
1972
Parsing Techniques: A Practical Guide
2007
The C Programming Language
1978 Standout
A runtime system
1990
Knowledge engineering: Principles and methods
1998 Standout
1983 Standout
Algebraic Specification
1990
Exception handling
1975 StandoutNobel
IS '97
1996 Standout
Exploratory experimental studies comparing online and offline programming performance
1968
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
On Sturm Sequences for Tridiagonal Matrices
1960
Social Choice: A Probabilistic Approach
1967 StandoutNobel
Critical comments on the programming language Pascal
1973
Works of K. Samelson being referenced
Sequential formula translation
1983
Sequential formula translation
1960
Report on the algorithmic language ALGOL 60
1960
Report on the algorithmic language ALGOL 60
1960
Programming in a wide spectrum language: a collection of examples
1981
Preliminary report
1958
Revised report on the algorithmic language ALGOL 60
1963