default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJørgen Staunstrup
Person information
- affiliation: IT University of Copenhagen, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2009
[j14]Bertrand Meyer
, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen:
Viewpoint - Research evaluation for computer science. Commun. ACM 52(4): 31-34 (2009)- 2000
- [j13]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. Computer 33(5): 68-75 (2000)
1990 – 1999
- 1997
- [c21]Jørgen Staunstrup:
Design Verification Using Synchronized Transitions. Formal Hardware Verification 1997: 114-155 - [c20]Jørgen Staunstrup:
A systems design course emphasizing interfaces. MSE 1997: 36-38 - [c19]Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti:
Partial Model Checking with ROBDDs. TACAS 1997: 35-49 - [c18]Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti:
A Comparison of Modular Verification Techniques. TAPSOFT 1997: 550-564 - 1995
- [j12]Jørgen Staunstrup, Niels Mellergaard:
Localized Verification of Modular Designs. Formal Methods Syst. Des. 6(3): 295-320 (1995) - 1994
- [b1]Jørgen Staunstrup:
A formal approach to hardware design. The Kluwer international series in engineering and computer science 253, Kluwer 1994, ISBN 978-0-7923-9427-3, pp. I-XIV, 1-232 - [c17]Michael Kishinevsky, Jørgen Staunstrup:
Characterizing speed-independence of high-level designs. ASYNC 1994: 44-53 - [c16]Flemming Høeg, Niels Mellergaard, Jørgen Staunstrup:
The priority queue as an example of hardware/software codesign. CODES 1994: 81-88 - [c15]Anders P. Ravn, Jørgen Staunstrup:
Interface models. CODES 1994: 157-164 - [c14]Michael Kishinevsky, Jørgen Staunstrup:
Mechanized Verification of Speed-independence. TPCD 1994: 146-164 - [c13]Niels Mellergaard, Jørgen Staunstrup:
Tutorial on Design Verification with Synchronized Transitions. TPCD 1994: 239-257 - 1993
- [j11]Jens Sparsø, Jørgen Staunstrup:
Delay-insensitive multi-ring structures. Integr. 15(3): 313-340 (1993) - [j10]Hartmut Schmeck, Heiko Schröder, Jørgen Staunstrup, Martin Middendorf:
Problem Heaps and Their Evaluation. Parallel Process. Lett. 3: 147-155 (1993) - [c12]Jens Sparsø, Christian D. Nielsen, Lars Skovby Nielsen, Jørgen Staunstrup:
Design of Self-timed Multipliers: A Comparison. Asynchronous Design Methodologies 1993: 165-179 - 1992
- [c11]Jens Sparsø, Jørgen Staunstrup, Michael Dantzer-Sørensen:
Design of delay insensitive circuits using multi-ring structures. EURO-DAC 1992: 15-20 - [c10]Niels Mellergaard, Jørgen Staunstrup:
Generating Proof Obligations for Circuits. Larch 1992: 185-200 - [c9]Hans Henrik Løvengreen, Jørgen Staunstrup:
Synchronous Realization of Asynchronous Computations. TPCD 1992: 95-110 - [c8]Jørgen Staunstrup, Stephen J. Garland, John V. Guttag:
Mechanized Verification of Circuit Descriptions Using the Larch Prover. TPCD 1992: 277-299 - [e2]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. IFIP Transactions A-5, North-Holland 1992, ISBN 0-444-89335-0 [contents] - 1991
- [c7]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
1980 – 1989
- 1989
- [j9]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) - [c6]Jørgen Staunstrup, Stephen J. Garland, John V. Guttag:
Localized Verification of Circuit Descriptions. Automatic Verification Methods for Finite State Systems 1989: 349-364 - 1988
- [j8]Jørgen Staunstrup, Mark R. Greenstreet:
From High-Level Descriptions to VLSI Circuits. BIT 28(3): 620-638 (1988) - 1987
- [j7]Mark R. Greenstreet, Peter Møller-Nielsen, Jørgen Staunstrup:
VLSI with a very low scale investment. Integr. 5(2): 125-132 (1987) - [j6]Peter Møller-Nielsen, Jørgen Staunstrup:
Problem-heap: A paradigm for multiprocesor algorithms. Parallel Comput. 4(1): 63-74 (1987) - 1985
- [j5]Jørgen Staunstrup, Jens Ove Jespersen, Ole V. Johansen:
Physical datarepresentation in a multiprocessor database machine. Parallel Comput. 2(4): 335-343 (1985) - 1984
- [j4]Peter Møller-Nielsen, Jørgen Staunstrup:
Experiments With a Fast String Searching Algorithm. Inf. Process. Lett. 18(3): 129-135 (1984) - 1983
- [c5]Peter Møller-Nielsen, Jørgen Staunstrup:
Saturation in a Multiprocessor. IFIP Congress 1983: 383-388 - 1982
- [j3]Ole Eriksen, Jørgen Staunstrup:
Concurrent Algorithms for Root Searching. Acta Informatica 18: 361-376 (1982) - [j2]Jørgen Staunstrup:
Message Passing Communication Versus Procedure Call Communication. Softw. Pract. Exp. 12(3): 223-234 (1982) - [c4]Jürg Nievergelt, Jørgen Staunstrup:
What is a Correct Behaviour of a File Under Concorrent Access? DDB 1982: 93-103 - [e1]Jørgen Staunstrup:
Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981. Lecture Notes in Computer Science 134, Springer 1982, ISBN 3-540-11490-4 [contents] - 1981
- [c3]Jørgen Staunstrup:
Analysis of concurrent algorithms. CONPAR 1981: 217-230 - [c2]Jørgen Staunstrup:
Introduction. Program Specification 1981: 1-4 - [c1]Jørgen Staunstrup, Joseph A. Goguen:
Geometrical Constructions. Program Specification 1981: 25-46
1970 – 1979
- 1978
- [j1]Per Brinch Hansen, Jørgen Staunstrup:
Specification and Implementation of Mutual Exclusion. IEEE Trans. Software Eng. 4(5): 365-370 (1978)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
