Jørgen Staunstrup Vis

*	2009
31	EE	Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen: Viewpoint - Research evaluation for computer science. Commun. ACM 52(4): 31-34 (2009)
	2000
30	EE	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: Practical Verification of Embedded Software. IEEE Computer 33(5): 68-75 (2000)
	1997
29		Jørgen Staunstrup: Design Verification Using Synchronized Transitions. Formal Hardware Verification 1997: 114-155
28		Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti: Partial Model Checking with ROBDDs. TACAS 1997: 35-49
27	EE	Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti: A Comparison of Modular Verification Techniques. TAPSOFT 1997: 550-564
	1995
26		Jørgen Staunstrup, Niels Mellergaard: Localized Verification of Modular Designs. Formal Methods in System Design 6(3): 295-320 (1995)
	1994
25	EE	Anders P. Ravn, Jørgen Staunstrup: Interface models. CODES 1994: 157-164
24	EE	Flemming Høeg, Niels Mellergaard, Jørgen Staunstrup: The priority queue as an example of hardware/software codesign. CODES 1994: 81-88
23		Michael Kishnievsky, Jørgen Staunstrup: Mechanized Verification of Speed-independence. TPCD 1994: 146-164
22		Niels Mellergaard, Jørgen Staunstrup: Tutorial on Design Verification with Synchronized Transitions. TPCD 1994: 239-257
	1993
21		Jens Sparsø, Christian D. Nielsen, Lars Skovby Nielsen, Jørgen Staunstrup: Design of Self-timed Multipliers: A Comparison. Asynchronous Design Methodologies 1993: 165-179
20		Hartmut Schmeck, Heiko Schröder, Jørgen Staunstrup, Martin Middendorf: Problem Heaps and Their Evaluation. Parallel Processing Letters 3: 147-155 (1993)
	1992
19		Jørgen Staunstrup, Robin Sharp: Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992 North-Holland 1992
18		Niels Mellergaard, Jørgen Staunstrup: Generating Proof Obligations for Circuits. Larch 1992: 185-200
17		Jørgen Staunstrup, Stephen J. Garland, John V. Guttag: Mechanized Verification of Circuit Descriptions Using the Larch Prover. TPCD 1992: 277-299
16		Hans Henrik Løvengreen, Jørgen Staunstrup: Synchronous Realization of Asynchronous Computations. TPCD 1992: 95-110
	1991
15		Henrik Hulgaard, Per H. Christensen, Jørgen Staunstrup: Synthesizing Delay Insensitive Circuits from Verified Programs. Research Directions in High-Level Parallel Programming Languages 1991: 326-337
	1989
14	EE	Jørgen Staunstrup, Stephen J. Garland, John V. Guttag: Localized Verification of Circuit Descriptions. Automatic Verification Methods for Finite State Systems 1989: 349-364
13		Jørgen Staunstrup, Jürg Nievergelt: The Behavior of Shared Objects: Concepts, Pitfalls, and a New Model. Inf. Process. Lett. 30(3): 145-151 (1989)
	1988
12		Jørgen Staunstrup, Mark R. Greenstreet: From High-Level Descriptions to VLSI Circuits. BIT 28(3): 620-638 (1988)
	1987
11	EE	Peter Møller-Nielsen, Jørgen Staunstrup: Problem-heap: A paradigm for multiprocesor algorithms. Parallel Computing 4(1): 63-74 (1987)
	1984
10		Peter Møller-Nielsen, Jørgen Staunstrup: Experiments With a Fast String Searching Algorithm. Inf. Process. Lett. 18(3): 129-135 (1984)
	1983
9		Peter Møller-Nielsen, Jørgen Staunstrup: Saturation in a Multiprocessor. IFIP Congress 1983: 383-388
	1982
8		Jørgen Staunstrup: Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981 Springer 1982
7		Jürg Nievergelt, Jørgen Staunstrup: What is a Correct Behaviour of a File Under Concorrent Access? DDB 1982: 93-103
6		Ole Eriksen, Jørgen Staunstrup: Concurrent Algorithms for Root Searching. Acta Inf. 18: 361-376 (1982)
5		Jørgen Staunstrup: Message Passing Communication Versus Procedure Call Communication. Softw., Pract. Exper. 12(3): 223-234 (1982)
	1981
4	EE	Jørgen Staunstrup: Analysis of concurrent algorithms. CONPAR 1981: 217-230
3	EE	Jørgen Staunstrup: Introduction. Program Specification 1981: 1-4
2	EE	Jørgen Staunstrup, Joseph A. Goguen: Geometrical Constructions. Program Specification 1981: 25-46
	1978
1		Per Brinch Hansen, Jørgen Staunstrup: Specification and Implementation of Mutual Exclusion. IEEE Trans. Software Eng. 4(5): 365-370 (1978)

Coauthor Index

1	Henrik Reif Andersen	[27] [28] [30]
2	Gerd Behrmann	[30]
3	Christine Choppy	[31]
4	Per H. Christensen	[15]
5	Ole Eriksen	[6]
6	Stephen J. Garland	[14] [17]
7	Joseph A. Goguen	[2]
8	Mark R. Greenstreet	[12]
9	John V. Guttag	[14] [17]
10	Per Brinch Hansen	[1]
11	Flemming Høeg	[24]
12	Henrik Hulgaard	[15] [30]
13	Michael Kishnievsky	[23]
14	Kåre J. Kristoffersen	[30]
15	Kim Guldstrand Larsen	[30]
16	Henrik Leerberg	[30]
17	Jan van Leeuwen	[31]
18	Jørn Lind-Nielsen	[30]
19	Hans Henrik Løvengreen	[16]
20	Niels Maretti	[27] [28]
21	Niels Mellergaard	[18] [22] [24] [26]
22	Bertrand Meyer	[31]
23	Martin Middendorf	[20]
24	Peter Møller-Nielsen	[9] [10] [11]
25	Christian D. Nielsen	[21]
26	Lars Skovby Nielsen	[21]
27	Jürg Nievergelt	[7] [13]
28	Anders P. Ravn	[25]
29	Hartmut Schmeck	[20]
30	Heiko Schröder	[20]
31	Robin Sharp	[19]
32	Arne Skou	[30]
33	Jens Sparsø	[21]
34	Niels Bo Theilgaard	[30]

Colors in the list of coauthors