Concepedia

Author

Jørgen Staunstrup

Institute of Mathematics and Mathematical Modeling

Also Known As

JØrgen Staunstrup, Jørgen Staunstrup, Staunstrup, Jorgen, Staunstrup, Jorgen (author), Wolf, Wayne

58

Publications

585

Citations

11

H-Index

24

Concepts

All Affiliations

Institute of Mathematics and Mathematical Modeling
JS

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

239

2

Computer Engineering

6

6

221

3

Computer Science

5

5

84

4

Systems Engineering

3

3

54

5

Electrical Engineering

1

1

25

Jørgen Staunstrup

×

7

Publications

239

Citations

7

H-Index

YearCitations

Delay-insensitive multi-ring structures

Jens Sparsø, Jørgen Staunstrup

Integration

1993

130

Verification of VLSI Circuits Using LP

Stephen Garland, John V. Guttag, Jørgen Staunstrup

DAIMI Report Series

1988

25

Design of Self-timed Multipliers: A Comparison

Jens Sparsø, Christian D. Nielsen, Lars Nielsen,

Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)

1993

25

Specification and Verification of Concurrent Programs

Jørgen Staunstrup

DAIMI Report Series

1979

18

Self-Timed Iteration

Mark R. Greenstreet, Jørgen Staunstrup, Ted E. Wililams

DAIMI Report Series

1987

18

Mechanized Verification of Circuit Descriptions Using the Larch Prover

Jørgen Staunstrup, Stephen J. Garland, John V. Guttag

1992

12

Experiments with a Multiprocessor

Peter Møller-Nielsen, Jørgen Staunstrup

DAIMI Report Series

1984

11

Page 1