Specification and Implementation of Mutual Exclusion. - Per Brinch Hansen; Jørgen Staunstrup (IEEE Trans. Software Eng., 1978)

Analysis of concurrent algorithms. - Jørgen Staunstrup (CONPAR, 1981)

Introduction. - Jørgen Staunstrup (Program Specification, 1981)

Geometrical Constructions. - Jørgen Staunstrup; Joseph A. Goguen (Program Specification, 1981)

What is a Correct Behaviour of a File Under Concorrent Access? - Jürg Nievergelt; Jørgen Staunstrup (DDB, 1982)

Concurrent Algorithms for Root Searching. - Ole Eriksen; Jørgen Staunstrup (Acta Informatica, 1982)

Message Passing Communication Versus Procedure Call Communication. - Jørgen Staunstrup (Softw. Pract. Exp., 1982)

Saturation in a Multiprocessor. - Peter Møller-Nielsen; Jørgen Staunstrup (IFIP Congress, 1983)

Experiments With a Fast String Searching Algorithm. - Peter Møller-Nielsen; Jørgen Staunstrup (Inf. Process. Lett., 1984)

Physical datarepresentation in a multiprocessor database machine. - Jørgen Staunstrup; Jens Ove Jespersen; Ole V. Johansen (Parallel Comput., 1985)

VLSI with a very low scale investment. - Mark R. Greenstreet; Peter Møller-Nielsen; Jørgen Staunstrup (Integr., 1987)

Problem-heap: A paradigm for multiprocesor algorithms. - Peter Møller-Nielsen; Jørgen Staunstrup (Parallel Comput., 1987)

From High-Level Descriptions to VLSI Circuits. - Jørgen Staunstrup; Mark R. Greenstreet (BIT, 1988)

Localized Verification of Circuit Descriptions. - Jørgen Staunstrup; Stephen J. Garland; John V. Guttag (Automatic Verification Methods for Finite State Systems, 1989)

The Behavior of Shared Objects: Concepts, Pitfalls, and a New Model. - Jørgen Staunstrup; Jürg Nievergelt (Inf. Process. Lett., 1989)

Synthesizing Delay Insensitive Circuits from Verified Programs. - Henrik Hulgaard; Per H. Christensen; Jørgen Staunstrup (Research Directions in High-Level Parallel Programming Languages, 1991)

Design of delay insensitive circuits using multi-ring structures. - Jens Sparsø; Jørgen Staunstrup; Michael Dantzer-Sørensen (EURO-DAC, 1992)

Generating Proof Obligations for Circuits. - Niels Mellergaard; Jørgen Staunstrup (Larch, 1992)

Synchronous Realization of Asynchronous Computations. - Hans Henrik Løvengreen; Jørgen Staunstrup (TPCD, 1992)

Mechanized Verification of Circuit Descriptions Using the Larch Prover. - Jørgen Staunstrup; Stephen J. Garland; John V. Guttag (TPCD, 1992)

Design of Self-timed Multipliers: A Comparison. - Jens Sparsø; Christian D. Nielsen; Lars Skovby Nielsen; Jørgen Staunstrup (Asynchronous Design Methodologies, 1993)

Delay-insensitive multi-ring structures. - Jens Sparsø; Jørgen Staunstrup (Integr., 1993)

Problem Heaps and Their Evaluation. - Hartmut Schmeck; Heiko Schröder 001; Jørgen Staunstrup; Martin Middendorf (Parallel Process. Lett., 1993)

A formal approach to hardware design. - Jørgen Staunstrup (Kluwer, 1994)

Characterizing speed-independence of high-level designs. - Michael Kishinevsky; Jørgen Staunstrup (ASYNC, 1994)

The priority queue as an example of hardware/software codesign. - Flemming Høeg; Niels Mellergaard; Jørgen Staunstrup (CODES, 1994)

Interface models. - Anders P. Ravn; Jørgen Staunstrup (CODES, 1994)

Mechanized Verification of Speed-independence. - Michael Kishinevsky; Jørgen Staunstrup (TPCD, 1994)

Tutorial on Design Verification with Synchronized Transitions. - Niels Mellergaard; Jørgen Staunstrup (TPCD, 1994)

Localized Verification of Modular Designs. - Jørgen Staunstrup; Niels Mellergaard (Formal Methods Syst. Des., 1995)

Design Verification Using Synchronized Transitions. - Jørgen Staunstrup (Formal Hardware Verification, 1997)

A systems design course emphasizing interfaces. - Jørgen Staunstrup (MSE, 1997)

Partial Model Checking with ROBDDs. - Henrik Reif Andersen; Jørgen Staunstrup; Niels Maretti (TACAS, 1997)

A Comparison of Modular Verification Techniques. - Henrik Reif Andersen; Jørgen Staunstrup; Niels Maretti (TAPSOFT, 1997)

Practical Verification of Embedded Software. - Jørgen Staunstrup; Henrik Reif Andersen; Henrik Hulgaard; Jørn Lind-Nielsen; Kim Guldstrand Larsen; Gerd Behrmann; Kåre J. Kristoffersen; Arne Skou; Henrik Leerberg; Niels Bo Theilgaard (Computer, 2000)

Viewpoint - Research evaluation for computer science. - Bertrand Meyer 001; Christine Choppy; Jørgen Staunstrup; Jan van Leeuwen (Commun. ACM, 2009)