Jørgen Staunstrup

Publications

239

Citations

H-Index

1979

Active since

Affiliations

Institute of Mathematics and Mathematical Modeling(Current)

Jørgen Staunstrup is an author at Institute of Mathematics and Mathematical Modeling specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationProgram AnalysisParallel ComputingSystems EngineeringComputer Architecture

Publications per year

1979–1993

Publications

Delay-insensitive multi-ring structures

Jens Sparsø, Jørgen Staunstrup · Integration · 1993 · 130 citations

Engineering, Circuit Design, Ring Theory +4

Verification of VLSI Circuits Using LP

Stephen Garland, John V. Guttag, Jørgen Staunstrup · DAIMI Report Series · 1988 · 25 citations · Full text

Electrical Engineering, Engineering, Vlsi Architecture +15

Design of Self-timed Multipliers: A Comparison

Jens Sparsø, Christian D. Nielsen, Lars Nielsen et al. · Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU) · 1993 · 25 citations

Mathematical Programming, Self-timed Multipliers, Engineering +8

Specification and Verification of Concurrent Programs

Jørgen Staunstrup · DAIMI Report Series · 1979 · 18 citations · Full text

Engineering, Verification, Software Engineering +16

Self-Timed Iteration

Mark R. Greenstreet, Jørgen Staunstrup, Ted E. Wililams · DAIMI Report Series · 1987 · 18 citations · Full text

Hardware Security, Self-timed Circuits, Logic Synthesis +14

Rows per page

1–5 of 7