Citation Impact
Citing Papers
The Organization of Information in a Statistical Office
2012
The System of social statistical datasets of Statistics Netherlands: An integral approach to the production of register-based social statistics
2014 Standout
Formal Aspects of and Development Environments for Montages
1997
Basic local alignment search tool
1990 Standout
Can programming be liberated from the von Neumann style?
1978 Standout
When and how to develop domain-specific languages
2005 Standout
Testing equivalences for processes
1984
A method for synthesizing sequential circuits
1955
A programming language
1962
The concept of a linguistic variable and its application to approximate reasoning—I
1975 Standout
Linearizability: a correctness condition for concurrent objects
1990 Standout
Concurrent Processes and Their Syntax
1979
The Logic of Conventional Implicatures
2004 Standout
Supervisory Control of a Class of Discrete Event Processes
1987 Standout
Data Types as Lattices
1976
Heterogeneous algebras
1970
Lambda Calculus with Types
2013
Clausal intuitionistic logic II. tableau proof procedures
1988
The concept of a linguistic variable and its application to approximate reasoning-III
1975 Standout
A General Definition of Residuals
1968 Standout
Efficient string matching
1975 Standout
The concept of a linguistic variable and its application to approximate reasoning—II
1975 Standout
The control of discrete event systems
1989 Standout
Regular Expressions for Linear Sequential Circuits
1965
Regular Expressions and State Graphs for Automata
1960
Equational languages
1972
A theory of type polymorphism in programming
1978 Standout
Introduction to the ISO specification language LOTOS
1987 Standout
Knowledge engineering: Principles and methods
1998 Standout
Derivatives of Regular Expressions
1964
Algebraic Specification
1990
The Pleadings Game
1994 Standout
Works of Jesse B. Wright being referenced
Theory of Logical Nets
1953
Characterization of recursively enumerable sets
1972
Automata in general algebras
1967
An analysis of a logical machine using parenthesis-free notation
1954
Initial Algebra Semantics and Continuous Algebras
1977
Data Type Specification: Parameterization and the Power of Specification Techniques
1982
Parameter passing in algebraic specification languages
1983
Realization of Events by Logical Nets
1958
Algebraic automata and context-free sets
1967