Concepedia

Gerald Jay Sussman

GJ

55

Publications

7.3K

Citations

36

H-Index

1970

Active since

Affiliations

Massachusetts Institute of Technology(Current)

California Institute of Technology

Gerald Jay Sussman is an author at Massachusetts Institute of Technology specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningProgram AnalysisComputer EngineeringSystems EngineeringComputer ArchitectureDesignLanguage

Publications per year

1970–2013

55

Publications

55

Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

Richard Stallman, Gerald Jay Sussman · Artificial Intelligence · 1977 · 708 citations

Logic Synthesis, Engineering, Circuit Design +14

Spin-induced orbital precession and its modulation of the gravitational waveforms from merging binaries

Theocharis A. Apostolatos, Curt Cutler, Gerald Jay Sussman et al. · Physical review. D. Particles, fields, gravitation, and cosmology/Physical review. D. Particles and fields · 1994 · 625 citations

Relativistic Astrophysics, Spin-induced Orbital Precession, Engineering +13

Amorphous computing

Harold Abelson, Don Allen, Daniel Coore et al. · Communications of the ACM · 2000 · 519 citations · Full text

The last three minutes: Issues in gravitational-wave measurements of coalescing compact binaries

Curt Cutler, Theocharis A. Apostolatos, Lars Bildsten et al. · Physical Review Letters · 1993 · 517 citations · Full text

Constraints—A language for expressing almost-hierarchical descriptions

Gerald Jay Sussman, Guy L. Steele · Artificial Intelligence · 1980 · 438 citations

Natural Language Processing, Engineering, Automated Reasoning +8

Rows per page

1–5 of 55