Concepedia

David MacQueen

DM

37

Publications

3.1K

Citations

28

H-Index

1976

Active since

Affiliations

AT&T (United States)(Current)

SRI International

Rice University

Carnegie Mellon University

University of Edinburgh

David MacQueen is an author at AT&T (United States) specializing in engineering, chemistry, and formal methods.

Top concepts

EngineeringChemistryComputer ScienceFormal MethodsAutomated ReasoningProgram AnalysisOrganic ChemistryNatural SciencesSoftware AnalysisInorganic Chemistry

Publications per year

1976–2020

37

Publications

37

HOPE

R. M. Burstall, David MacQueen, Donald Sannella · 1980 · 351 citations

Simple Programming Language, Applicative Language, Engineering +15

Upconverting Phosphor Reporters in Immunochromatographic Assays

Johannes Hampl, Michael Hall, Naheed A. Mufti et al. · Analytical Biochemistry · 2001 · 273 citations

Bioanalysis, Immunology, Protein Phosphorylation +3

Modules for standard ML

David MacQueen · 1984 · 268 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +16

Studies of intramolecular electron and energy transfer using the fac-(diimine)ReI(CO)3 chromophore

Kirk S. Schanze, David MacQueen, Thomas A. Perkins et al. · Coordination Chemistry Reviews · 1993 · 229 citations

Photochemistry, Energy Transfer, Molecular Switch +5

An ideal model for recursive polymorphic types

David MacQueen, Gordon Plotkin, Ravi Sethi · Information and Control · 1986 · 204 citations

Engineering, Automated Reasoning, Polymorphism (Computer Science) +5

Rows per page

1–5 of 37