| Hardware/software co-design: principles and practice J Staunstrup, W Wolf Springer Science & Business Media, 2013 | 277 | 2013 |
| Delay-insensitive multi-ring structures J Sparsø, J Staunstrup Integration 15 (3), 313-340, 1993 | 196 | 1993 |
| Design of delay insensitive circuits using multi-ring structures J Sparsø, J Staunstrup, M Dantzer-Sørensen European Design Automation Conference, 15-20, 1992 | 135 | 1992 |
| Viewpoint research evaluation for computer science B Meyer, C Choppy, J Staunstrup, J Van Leeuwen Communications of the ACM 52 (4), 31-34, 2009 | 133 | 2009 |
| A formal approach to hardware design J Staunstrup Springer Science & Business Media, 2012 | 85 | 2012 |
| Problem-heap: A paradigm for multiprocesor algorithms P Møller-Nielsen, J Staunstrup Parallel Computing 4 (1), 63-74, 1987 | 51 | 1987 |
| Practical verification of embedded software J Straunstrup, HR Andersen, H Hulgaard, J Lind-Nielsen, G Behrmann, ... Computer 33 (5), 68-75, 2000 | 46 | 2000 |
| Design of self-timed multipliers: A comparison J SparsO, CD Nielsen, LS Nielsen, J Staunstrup, S Furber, M Edwards Asynchronous Design Methodologies 28, 165-179, 1993 | 46 | 1993 |
| Verification of VLSI circuits using LP SJ Garland, J Guttag, J Staunstrup Aarhus Universitet. Department of Computer Science, 1988 | 46 | 1988 |
| Self-timed iteration MR Greenstreet, J Staunstrup, TE Wililams DAIMI Report Series, 1987 | 46 | 1987 |
| Design and performance analysis of delay insensitive multi-ring structures J Sparso, J Staunstrup [1993] Proceedings of the Twenty-sixth Hawaii International Conference on …, 1993 | 42 | 1993 |
| Design verification using Synchronized Transitions J Staunstrup Formal Hardware Verification: Methods and Systems in Comparison, 114-155, 2005 | 35 | 2005 |
| From high-level descriptions to VLSI circuits J Staunstrup, MR Greenstreet BIT Numerical Mathematics 28, 620-638, 1988 | 33 | 1988 |
| A real-time duration semantics for circuits MR Hansen, Z Chaochen, J Staunstrup TAU'92: 1992 Workshop on Timing Issues in the Specification and Synthesis of …, 1992 | 30 | 1992 |
| Localized verification of circuit descriptions J Staunstrup, SJ Garland, JV Guttag Automatic Verification Methods for Finite State Systems: International …, 1990 | 28 | 1990 |
| Toroidal neural network: Architecture and processor granularity issues S Jones, K Sammut, C Nielsen, J Staunstrup VLSI Design of Neural Networks, 229-254, 1991 | 25 | 1991 |
| Specification and implementation of mutual exclusion PB Hansen, J Staunstrup IEEE Transactions on Software Engineering, 365-370, 1978 | 22 | 1978 |
| Mechanized verification of circuit descriptions using the Larch Prover J Staunstrup, SJ Garland, JV Guttag Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem …, 1992 | 20 | 1992 |
| Partial model checking with ROBDDs HR Andersen, J Staunstrup, N Maretti Tools and Algorithms for the Construction and Analysis of Systems: Third …, 1997 | 18 | 1997 |
| Designing Delay Insensitive Circuits Using" synchronized Transitions" J Staunstrup, MR Greenstreet Department of Computer Science, Technical University of Denmark, 1989 | 18 | 1989 |
