The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jørgen Staunstrup: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  29. Viewpoint - Research evaluation for computer science. [Citation Graph (, )][DBLP]


Search in 0.017secs, Finished in 0.018secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002