Concepedia

Andrew Stevens

AS

9

Publications

436

Citations

9

H-Index

1989

Active since

Affiliations

Columbia University(Current)

University of Edinburgh

University of Pennsylvania

AT&T (United States)

IBM Research - Thomas J. Watson Research Center

Andrew Stevens is an author at Columbia University specializing in engineering, electrical engineering, and computer engineering.

Top concepts

EngineeringComputer EngineeringElectrical EngineeringIntegrated CircuitsPhotonicsInstrumentationOptoelectronicsMicroelectronicsOptical NetworksOptical Properties

Publications per year

1989–2000

9

Publications

9

Rippling: A heuristic for guiding inductive proofs

Alan Bundy, Andrew Stevens, Frank van Harmelen et al. · Artificial Intelligence · 1993 · 225 citations · Full text

Engineering, Automated Reasoning, Proof Complexity +7

A time-to-voltage converter and analog memory for colliding beam detectors

Andrew Stevens, R.P. Van Berg, Jan Van der Spiegel et al. · IEEE Journal of Solid-State Circuits · 1989 · 57 citations

Electrical Engineering, Analog Memory, Engineering +11

A rational reconstruction and extension of recursion analysis

Alan Bundy, Frank van Harmelen, Jane Hesketh et al. · Edinburgh Research Explorer · 1989 · 41 citations · Full text

Reference Linking with DOIs

Helen Atkins, Catherine Lyons, Howard Ratner et al. · D-Lib Magazine · 2000 · 27 citations · Full text

Information Retrieval, Reference Data, Data Integration +2

2OBJ: a metalogical framework theroem prover based on equational logic

Joseph A. Goguen, Andrew Stevens, Hendrik Hilberdink et al. · Philosophical Transactions of the Royal Society of London Series A Physical and Engineering Sciences · 1992 · 23 citations

Rows per page

1–5 of 9