David Luckham

Q: What Schools Are Affiliated With David Luckham

David Luckham is affiliated with the following schools: Stanford University, Massachusetts Institute of Technology

David Luckham's AcademicInfluence.com Rankings

David Luckham

Computer Science

#786

World Rank

#813

Historical Rank

#426

USA Rank

Database

#1412

World Rank

#1485

Historical Rank

#377

USA Rank

computer-science Degrees

Download Badge

Computer Science

David Luckham's Degrees

PhD Computer Science Stanford University
Masters Mathematics Stanford University

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is David Luckham Influential?

(Suggest an Edit or Addition)

According to Wikipedia, David Luckham is an emeritus professor of electrical engineering at Stanford University. As a graduate student at the Massachusetts Institute of Technology , he was one of the implementers of the first systems for the programming language Lisp.

(See a Problem?)

David Luckham's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The power of events - an introduction to complex event processing in distributed enterprise systems (2002) (1470)
Correction to "Specification and Analysis of System Architecture Using Rapide" (1995) (929)
An Event-Based Architecture Definition Language (1995) (591)
The Power of Events (2002) (255)
An Overview of Anna, a Specification Language for Ada (1985) (249)
Debugging Ada Tasking Programs (1985) (211)
On Formalised Computer Programs (1970) (207)
Rapide: A language and toolset for simulation of distributed systems by partial orderings of events (1997) (180)
Event Processing for Business: Organizing the Real-Time Enterprise (2011) (175)
Report on a knowledge-based software assistant (1986) (167)
ANNA A Language for Annotating Ada Programs (1984) (142)
Complex Event Processing in Distributed Systems (1998) (134)
Program Schemes, Recursion Schemes, and Formal Languages (1973) (107)
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (1990) (96)
Partial orderings of event sets and their application to prototyping concurrent, timed systems (1993) (91)
Verification of Array, Record, and Pointer Operations in Pascal (1979) (86)
Refinement Theorems in Resolution Theory (1970) (76)
Stanford Pascal Verifier user manual (1979) (76)
Three Concepts of System Architecture (1995) (66)
Ada exception handling: an axiomatic approach (1980) (65)
Extracting Information from Resolution Proof Trees (1971) (58)
A type system for prototyping languages (1994) (51)
Task Sequencing Language for Specifying Distributed Ada Systems (1986) (48)
ANNA, a language for annotating Ada programs: reference manual (1987) (45)
TSL: task sequencing language (1985) (36)
Event-Based Execution Architectures for Dynamic Software Systems (1999) (36)
A new approach to prototyping Ada-based hardware/software systems (1990) (35)
Event Mining with Event Processing Networks (1999) (35)
Kestrel Institute: REPORT ON A KNOWLEDGE-BASED SOFTWARE ASSISTANT (1986) (34)
Automatic program verification I: A logical basis and its implementation (1975) (33)
Two-dimensional pinpointing: debugging with formal specifications (1991) (33)
Program Verification and Verification Oriented Programming (1977) (32)
ANNA: towards a language for annotating Ada programs (1980) (32)
Validating discrete event simulations using event pattern mappings (1992) (29)
Enlisting event patterns for cyber battlefield awareness (2000) (28)
Hardware design and simulation in VAL/VHDL (1990) (27)
A methodology for verifying programs (1975) (27)
ANNA: Towards a language for annotating Ada programs (1980) (25)
Rapide: A Language and Toolset for Causal Event Modeling of Distributed System Architectures (1998) (25)
Monitoring for deadlocks in Ada tasking (1982) (23)
On automating the construction of programs. (1974) (22)
Verification of VHDL designs using VAL (1988) (21)
Concurrent Runtime Checking of Annotated Ada Programs (1986) (20)
Runtime detection and description of deadness errors in Ada tasking (1985) (20)
Glossary of Terminology: The Event Processing Technical Society: (EPTS) Glossary of Terms-Version 2.0 (2012) (19)
Programming with Specifications (1990) (19)
Key concepts in architecture definition languages (2000) (16)
SPARC-V9 Architecture Specification with Rapide (1995) (16)
Automatic program verification V: verification-oriented proof rules for arrays, records and pointers (1976) (16)
Automatic generation of programs containing conditional statements (1974) (14)
An environment for Ada software development based on formal specification (1987) (14)
Two Dimensional Pinpointing: An Application of Formal Specification to Debugging Packages (1989) (13)
Polymorphism and Subtyping in Interfaces (1994) (13)
An Interactive Theorem-Proving Program (1983) (13)
Design and verification of distributed tasking supervisors for concurrent programming languages (1988) (11)
Formal Development of Ada Programs Using Z and Ana: A Case Study (1991) (10)
Adam: An Ada‐based language for multiprocessing (1981) (10)
Automatic program verification III: a methodology for verifying programs. (1974) (10)
Event-Based Concepts and Language for System (1993) (10)
Managing event processing networks (2001) (9)
Semantic specification of Ada packages (1985) (8)
Verification of fairness in an implementation of monitors (1976) (8)
THE UNDECIDABILITY OF THE EQUIVALENCE PROBLEM FOR PROGRAM SCHEMATA. (1964) (7)
Modeling and Causal Event Simulation of Electronic Business Processes (7)
On the equivalence of schemes (1972) (7)
Runtime and description of deadness errors in ADA tasking (1983) (7)
Testing the correctness of tasking supervisors with TSL specifications (1989) (7)
Review: Lawrence Wos, George A. Robinson, Daniel F. Carson, Efficiency and Completeness of the Set of Support Strategy in Theorem Proving (1967) (7)
A practical method of documenting and verifying Ada programs with packages (1980) (6)
Names and Expressions (1991) (6)
ADA exceptions: specification and proof techniques (1980) (5)
Complex event processing (CEP) (2000) (5)
A practical method of documenting and verifying Ada programs with packages (1980) (5)
Object-oriented megaprogramming (panel) (1992) (5)
Hierarchies over recursive well-orderings (1964) (5)
Polymorphism and subtyping in interface (1994) (4)
On minimal and almost-minimal systems of notations (1965) (3)
Compatibility and Complexity of Refinements of the Resolution Principle (1972) (3)
Defining a Security Reference Architecture (1997) (3)
An Activity Language for the ADL Toolkit (2000) (3)
Specifying Ada tasking using patterns of behavior (1988) (3)
A Program Behavior Model Based on Event Grammar and its Application for Debugging Automation (1995) (2)
NSA's MISSI Reference Architecture - Moving from Prose to Precise Specification (1997) (2)
Verification of Array, Record, Operations in Pascal (1979) (2)
An overview of VAL (1988) (2)
A brief account: Implementation and applications of a Pascal program verifier (Position Statement) (1978) (2)
Patterns of Events (2012) (2)
Review: Lawrence Wos, Daniel Carson, George Robinson, The Unit Preference Strategy in Theorem Proving (1967) (1)
Review: J. A. Robinson, Theorem-Proving on the Computer (1966) (1)
4 THE RESOLUTION PRINCIPLE IN THEOREM-PROVING (2012) (1)
Event Processing and the Survival of the Modern Enterprise (2012) (1)
Towards an Abstraction Hierarchy for CAETI Architectures, and Possible Applications (1997) (1)
First Concepts in Event Processing (2012) (1)
Robinson J. A.. A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery , vol. 12 (1965), pp. 23–41. (1966) (1)
Recent Research in Artificial Intelligence and Foundations of Programming (1978) (1)
Complex Event Processing in Financial Services (2008) (1)
Translating recursion schemes into program schemes (1972) (1)
Formal Specification and Simulation of Reference Architectures for Distributed and Safety Critical Avionics Systems (1998) (0)
8. Visibility rules in annotations (1987) (0)
STAN-B-74-474 Automatic Program Verification III (0)
Lawrence Wos, Daniel Carson, and George Robinson. The unit preference strategy in theorem proving. AFIPS conference proceedings, Volume 26, 1964 Fall Joint Computer Conference , Spartan Books, Inc., Baltimore, Md., and Cleaver-Hume Press, London, 1964, pp. 615–621. (1967) (0)
The Future of Event Processing (2012) (0)
6. Annotation of subprograms (1987) (0)
XXI. ARTIFICIAL INTELLIGENCE (1961) (0)
Sixty Years of Event Processing (2012) (0)
3. Annotations of declarations and types (1987) (0)
The Semantics of Timing Constructs in Hardware Description Languages (1998) (0)
13. Annotation of emplementation-dependent features (1987) (0)
Review: Peter B. Andrews, Resolution with Merging (1970) (0)
VAL to VHDL transformer: an implementation guide (1989) (0)
Traffic Light Controller (1991) (0)
Interpretation of Package Specifications (1990) (0)
Recent research in computer science. (1977) (0)
Making Sense of Chaos in Real Time: Part 2 (2012) (0)
EJAVA - Causal Extensions for Java (1998) (0)
11. Exception annotations (1987) (0)
5. Statement annotations (1987) (0)
9. Task annotations (1987) (0)
The use of anna specification technology in ada software development (1991) (0)
What Anna Is (1990) (0)
J. A. Robinson. Theorem-proving on the computer. Journal of the Association for Computing Machinery , vol. 10 (1963), pp. 163–174. (1966) (0)
Final Report under AFOSR Grant-87-0150C Techniques for the Design and Implementation of Highly Reliable Multi-Processing Systems (1991) (0)
Using Simple Annotations (1990) (0)
Software validation and verification - a state of the art report(Panel Discussion) (1978) (0)
The Process of Specifying Packages (1990) (0)
2. Lexical elements (1987) (0)
Water Heater Controller (1991) (0)
Review: John Alan Robinson, On Automatic Deduction (1966) (0)
Andrews Peter B.. Resolution with merging. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 367–381. (See Correction, ibid., p. 720.) (1970) (0)
Training in Research and Construction of Secure Distributed Real-Time Systems. (1996) (0)
Research into Development of Executable Reference Architectures for Avionics Systems (2000) (0)
D- Type Flip-flop (1991) (0)
Annotation Language Design for Ada (ANNA). (1984) (0)
Program verification at Stanford (1981) (0)
Designing with Annotations (1991) (0)
Workshop on formal verification: (VERkshop) (1980) (0)
CAUSAL EXTENSIONS FOR JAVA (1998) (0)
4. Names and expressions in annotations (1987) (0)
Annotation of Operations on Composite Types (1990) (0)
Research on Wide Spectrum Languages and Research Environments for System Design and Specification. (1995) (0)
and their application to prototyping concurrent timed systems, Unpublished draft of March 1992. (0)
Annotation of Generic Units (1990) (0)
Foundations of Technology for Constructing Highly Reliable Distributed Realtime Systems. (1994) (0)
Advanced Development Environments, Continuation (1989) (0)
Invited paper Key Concepts in Architecture Definition Languages (2000) (0)
Designing reliable programs with RAPIDE (1997) (0)
Ada Advanced Error Detector. (1984) (0)
STANFORD ARTIFICIAL INTELLIGENCE LABORATORY MEMO AIM-236 STAN-CS-74-433 ON AUTOMATING THE CONSTRUCTION OF PROGRAMS BY (0)
Annotation of the Hidden Parts of Packages (1990) (0)
Making Sense of Chaos in Real Time: Part 1 (2012) (0)
1. Basic Anna concepts (1987) (0)
Markets and Emerging Markets for CEP (2012) (0)
7. Package annotations (1987) (0)
Proof of termination within a weak logic of programs (1975) (0)
10. Program structure (1987) (0)
Processes for Consistent Implementation of Packages (1990) (0)
The Rise of Commercial Event Processing (2012) (0)
Session details: Formalism (1982) (0)
The VAL Transformer (1991) (0)
On the design of ANNA, a specification language for ADA (1984) (0)
Wos Lawrence, Robinson George A., and Carson Daniel F.. Efficiency and completeness of the set of support strategy in theorem proving. Journal of the Association for Computing Machinery , vol. 12 (1965), pp. 536–541. (1967) (0)
Final report: Basic Research in Artificial Intelligence and Foundations of Programming (1980) (0)
Crazy AND Gate (1991) (0)
A Study in the Application of Theorem Proving (1978) (0)

This paper list is powered by the following services:

Other Resources About David Luckham

What Schools Are Affiliated With David Luckham?

David Luckham is affiliated with the following schools:

David Luckham's Academic­Influence.com Rankings