Staunstrup, Jørgen

Staunstrup, Jørgen, 1952-

Staunstrup, J. (Jørgen), 1952-

Staunstrup, Joergen

Staunstrup, J.

Staunstrup, J. (Jørgen)

VIAF ID: 94813671 (Personal)

Permalink: http://viaf.org/viaf/94813671

Preferred Forms

200 _ | ‎‡a Staunstrup‏ ‎‡b Jørgen‏ ‎‡f 1952-....‏
100 1 _ ‎‡a Staunstrup, J.‏
100 1 _ ‎‡a Staunstrup, J.‏ ‎‡q (Jørgen)‏
100 1 _ ‎‡a Staunstrup, J.‏ ‎‡q (Jørgen),‏ ‎‡d 1952-‏
100 1 _ ‎‡a Staunstrup, J.‏ ‎‡q (Jørgen),‏ ‎‡d 1952-‏
100 1 _ ‎‡a Staunstrup, J.‏ ‎‡q (Jørgen),‏ ‎‡d 1952-‏
100 1 _ ‎‡a Staunstrup, Joergen‏
100 1 _ ‎‡a Staunstrup, Joergen‏
100 1 _ ‎‡a Staunstrup, Jorgen‏
100 1 _ ‎‡a Staunstrup, Jørgen‏
100 1 _ ‎‡a Staunstrup, Jørgen‏
100 1 _ ‎‡a Staunstrup, Jørgen‏ ‎‡d (1952- ).‏
100 1 _ ‎‡a Staunstrup, Jørgen,‏ ‎‡d 1952-‏

4xx's: Alternate Name Forms (6)

Works

Title	Sources
Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992
A formal approach to hardware design
Formal methods for VLSI design : IFIP WG 10.5 lecture notes
Hardware/software co-design : principles and practice
Program specification : proceedings of a workshop Aarhus, Denmark, August 1981
Self-timed design : 30.11.-04.12.92 (9249)
Verification of VLSI circuits using LP

Selected Co-authors

Wolf, Wayne Hendrix ‎(6)
Sharp, Robin ‎(5)
IFIP WG 10.5 ‎(4)
Workshop on Program Specification (1981 : Aarhus) ‎(3)
Zimmermann, Gerhard 1939- ‎(2)
Workshop on Program Specification (1981 : Aarhus, Denmark). ‎(2)
Wolf, Marilyn 1958- ‎(2)
Technical University of Denmark. Computer science department ‎(2)
Rammig, F. J. ‎(2)
Workshop on Program Specification ‎(1)

Countries and Regions of Publication (5)

View the list below for more details.

Low

High

The flags indicate which authority file had at least some publications from the country or region:

DE - Germany (9)
US - United States (6)
NL - Netherlands (6)
CH - Switzerland (2)
NC - (1)

Record ID	Action	Time
LC\|n 82041294	add	2009-09-21T11:33:22+00:00
BIBSYS\|x90404933	delete	2012-11-27T04:00:16+00:00
BIBSYS\|x90081300	delete	2012-11-27T04:00:16+00:00
NTA\|068797605	add	2012-12-19T19:11:18+00:00
LNB\|LNC10-000138863	add	2013-08-19T18:59:48+00:00
ISNI\|0000000114523505	add	2013-09-16T16:15:07+00:00
SUDOC\|172067634	add	2013-10-13T19:17:13+00:00
NSK\|000347560	add	2013-12-12T18:02:00+00:00
DNB\|109960580	delete	2014-10-21T12:48:43+00:00
NUKAT\|n 98034678	add	2014-10-27T16:17:29+00:00
BIBSYS\|90081300	add	2017-03-19T16:13:04.482343+00:00
DNB\|187482942	delete	2017-07-04T05:06:31.801300+00:00
BNF\|13023116	add	2018-06-10T09:11:20.166421+00:00
J9U\|987007402483805171	add	2020-02-02T16:51:07.753882+00:00
NLI\|005134809	delete	2020-04-12T18:35:51.134354+00:00
NII\|DA02211244	add	2020-05-10T14:27:01.840559+00:00
RERO\|vtls003859313	delete	2020-06-17T01:19:56.210375+00:00
RERO\|A003859313	add	2020-06-17T17:58:40.046214+00:00
BIBSYS\|90404933	add	2024-05-16T23:29:49.291719+00:00
NLA\|000036541877	delete	2024-10-27T00:08:58.343495+00:00

VIAF

Virtual International Authority File

Search

Staunstrup, Jørgen

Staunstrup, Jørgen, 1952-

Staunstrup, J. (Jørgen), 1952-

Staunstrup, Joergen

Staunstrup, J.

Staunstrup, J. (Jørgen)

VIAF ID: 94813671 (Personal)

Permalink: http://viaf.org/viaf/94813671

Preferred Forms

4xx's: Alternate Name Forms (6)

Works

Selected Co-authors

Countries and Regions of Publication (5)

Publication Statistics

Publication History

Identifiers

Selected Publishers (7)

About

Personal Information

Gender : Male

Nationality or associated country:

Language:

External Links

Record Views

History of VIAF ID:94813671 (20)