Concepedia

Alan Shaw

AS

25

Publications

2.2K

Citations

20

H-Index

1968

Active since

Affiliations

University of Washington(Current)

Cornell University

Florida State University

New York University

Seattle University

Alan Shaw is an author at University of Washington specializing in engineering, computer science, and real-time systems.

Top concepts

EngineeringComputer ScienceReal-time SystemsFormal MethodsSystem SoftwareProgram AnalysisComputer EngineeringFormal VerificationSystems EngineeringSoftware Engineering

Publications per year

1968–2012

25

Publications

25

Reasoning about time in higher-level language software

Alan Shaw · IEEE Transactions on Software Engineering · 1989 · 368 citations

Engineering, Verification, Software Engineering +25

A formal picture description scheme as a basis for picture processing systems

Alan Shaw · Information and Control · 1969 · 250 citations

Machine Vision, Image Analysis, Engineering +9

Experiments with a program timing tool based on source-level timing schema

C.Y. Park, Alan Shaw · Computer · 1991 · 212 citations

Formal Timing Schema, Engineering, Timing Schema +27

A numerical solution to the generalized mapmaker's problem: flattening nonconvex polyhedral surfaces

Eli Schwartz, Alan Shaw, E. Wolfson · IEEE Transactions on Pattern Analysis and Machine Intelligence · 1989 · 176 citations

Mathematical Programming, Geometry, Numerical Solution +23

The cyclic executive model and Ada

T. P. Baker, Alan Shaw · Real-Time Systems · 1989 · 163 citations

Cognitive Science, Cognition, Cognitive Modeling +5

Rows per page

1–5 of 25