| Applications of asynchronous circuits CH Van Berkel, MB Josephs, SM Nowick Proceedings of the IEEE 87 (2), 223-233, 1999 | 305 | 1999 |
| Receptive process theory MB Josephs Acta informatica 29, 17-31, 1992 | 155 | 1992 |
| A state-based approach to communicating processes MB Josephs Distributed Computing 3, 9-18, 1988 | 145 | 1988 |
| A theory of synchrony and asynchrony J He, MB Josephs, CAR Hoare Programming Concepts and Methods: Proceedings of the IFIP Working Group 2.2 …, 1990 | 90* | 1990 |
| An overview of DI algebra MB Josephs, JT Udding [1993] Proceedings of the Twenty-sixth Hawaii International Conference on …, 1993 | 81 | 1993 |
| Modeling and design of asynchronous circuits MB Josephs, SM Nowick, CH Van Berkel Proceedings of the IEEE 87 (2), 234-242, 1999 | 69 | 1999 |
| CMOS design of the tree arbiter element MB Josephs, JT Yantchev IEEE Transactions on Very Large Scale Integration (VLSI) Systems 4 (4), 472-476, 1996 | 62 | 1996 |
| An Algebra for Delay-Insensitive Circuits MB Josephs, JT Udding Computer-aided verification'90: proceedings of a DIMACS workshop, June 18-21 …, 1991 | 55 | 1991 |
| A theory of asynchronous processes MB Josephs, CAR Hoare, J He | 54* | 1989 |
| Delay-insensitive circuits: An algebraic approach to their design MB Josephs, JT Udding International Conference on Concurrency Theory, 342-366, 1990 | 47 | 1990 |
| The semantics of lazy functional languages MB Josephs Theoretical computer science 68 (1), 105-111, 1989 | 36 | 1989 |
| The data refinement calculator for Z specifications MB Josephs Information Processing Letters 27 (1), 29-33, 1988 | 36 | 1988 |
| Cybersecurity metrics for enhanced protection of healthcare IT systems Y Ahmed, S Naqvi, M Josephs 2019 13th International Symposium on Medical Information and Communication …, 2019 | 34 | 2019 |
| Cyber-risks in the industrial internet of things (IIoT): Towards a method for continuous assessment C Adaros Boye, P Kearney, M Josephs Information Security: 21st International Conference, ISC 2018, Guildford, UK …, 2018 | 32 | 2018 |
| Formal design of an asynchronous DSP counterflow pipeline: A case study in handshake algebra MB Josephs, PG Lucassen, JT Udding, T Verhoeff Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous …, 1994 | 31 | 1994 |
| Special issue on asynchronous circuits and systems SM Nowick, MB Josephs, CH van Berkel Proceedings of the IEEE 87 (2), 219-222, 1999 | 30* | 1999 |
| A programming approach to the design of asynchronous logic blocks MB Josephs, DP Furey Concurrency and Hardware Design: Advances in Petri Nets, 34-60, 2002 | 28 | 2002 |
| Low-latency asynchronous FIFO buffers JT Yantchev, CG Huang, MB Josephs, IM Nedelchev Proceedings Second Working Conference on Asynchronous Design Methodologies …, 1995 | 25 | 1995 |
| A formal description of the OMG's Core Object Model and the meaning of compatible extension ISC Houston, MB Josephs Computer Standards & Interfaces 17 (5-6), 553-558, 1995 | 22 | 1995 |
| Sequencer circuits for VLSI programming A Bailey, MB Josephs Proceedings Second Working Conference on Asynchronous Design Methodologies …, 1995 | 22 | 1995 |
