Mark B. Josephs

807 total citations
43 papers, 389 citations indexed

About

Mark B. Josephs is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Electrical and Electronic Engineering. According to data from OpenAlex, Mark B. Josephs has authored 43 papers receiving a total of 389 indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Computational Theory and Mathematics, 18 papers in Hardware and Architecture and 12 papers in Electrical and Electronic Engineering. Recurrent topics in Mark B. Josephs's work include Formal Methods in Verification (19 papers), Embedded Systems Design Techniques (12 papers) and Low-power high-performance VLSI design (10 papers). Mark B. Josephs is often cited by papers focused on Formal Methods in Verification (19 papers), Embedded Systems Design Techniques (12 papers) and Low-power high-performance VLSI design (10 papers). Mark B. Josephs collaborates with scholars based in United Kingdom, Netherlands and United States. Mark B. Josephs's co-authors include Steven M. Nowick, Jan Tijmen Udding, C.H. van Berkel, Hemangee K. Kapoor, Syed Naqvi, C. A. R. Hoare, Jifeng He, T Tom Verhoeff, Hanno Ulmer and Yonghao Wang and has published in prestigious journals such as Proceedings of the IEEE, Theoretical Computer Science and IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

In The Last Decade

Mark B. Josephs

41 papers receiving 348 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Mark B. Josephs United Kingdom	11	199	194	135	120	111	43	389
Andrey Mokhov United Kingdom	10	119 0.6×	199 1.0×	146 1.1×	83 0.7×	100 0.9×	80	351
Henrik Hulgaard Denmark	13	245 1.2×	258 1.3×	174 1.3×	71 0.6×	66 0.6×	25	442
Victor Khomenko United Kingdom	11	215 1.1×	201 1.0×	138 1.0×	37 0.3×	54 0.5×	59	349
Tomáš Vojnar Czechia	11	132 0.7×	112 0.6×	64 0.5×	137 1.1×	87 0.8×	61	346
Wendy Belluomini United States	13	96 0.5×	169 0.9×	101 0.7×	46 0.4×	246 2.2×	23	405
Mark D. Aagaard Canada	12	250 1.3×	158 0.8×	121 0.9×	168 1.4×	21 0.2×	47	389
César Sánchez Spain	8	130 0.7×	71 0.4×	28 0.2×	133 1.1×	59 0.5×	38	257
D. L. Ostapko United States	5	151 0.8×	143 0.7×	180 1.3×	90 0.8×	40 0.4×	15	328
Ahmed Rezine Sweden	9	70 0.4×	81 0.4×	26 0.2×	72 0.6×	78 0.7×	28	215
Gil Shurek Israel	10	149 0.7×	295 1.5×	130 1.0×	68 0.6×	67 0.6×	13	405

Countries citing papers authored by Mark B. Josephs

Since Specialization

Citations

This map shows the geographic impact of Mark B. Josephs's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Mark B. Josephs with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Mark B. Josephs more than expected).

Fields of papers citing papers by Mark B. Josephs

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Mark B. Josephs. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Mark B. Josephs. The network helps show where Mark B. Josephs may publish in the future.

Co-authorship network of co-authors of Mark B. Josephs

This figure shows the co-authorship network connecting the top 25 collaborators of Mark B. Josephs. A scholar is included among the top collaborators of Mark B. Josephs based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Mark B. Josephs. Mark B. Josephs is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Naqvi, Syed, Peter Sommer, & Mark B. Josephs. (2019). A Research-Led Practice-Driven Digital Forensic Curriculum to Train Next Generation of Cyber Firefighters. 1. 1204–1211. 3 indexed citations

2.

Naqvi, Syed, et al.. (2018). Aggregation of security metrics for decision making. 1–7. 3 indexed citations

3.

Josephs, Mark B. & Hemangee K. Kapoor. (2007). Controllable Delay-Insensitive Processes. Fundamenta Informaticae. 78(1). 101–130. 2 indexed citations

4.

Kapoor, Hemangee K., et al.. (2006). Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments. Fundamenta Informaticae. 70(1). 21–48. 4 indexed citations

5.

Xu, Jun, Reza Sotudeh, & Mark B. Josephs. (2006). Asynchronous Packet-Switching for Networks-on-Chip. University of Hertfordshire Research Archive (University of Hertfordshire). 87. 201–207. 1 indexed citations

6.

Kapoor, Hemangee K., et al.. (2004). Verification and implementation of delay-insensitive processes in restrictive environments. 3. 89–98. 1 indexed citations

7.

Kapoor, Hemangee K. & Mark B. Josephs. (2004). Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis. 830–833. 5 indexed citations

8.

Josephs, Mark B.. (2003). An analysis of determinacy using a trace-theoretic model of asynchronous circuits. 7. 121–130. 6 indexed citations

9.

Josephs, Mark B., et al.. (2002). Low-latency asynchronous FIFO buffers. 24–31. 10 indexed citations

10.

Josephs, Mark B. & Jan Tijmen Udding. (2002). An overview of D-I algebra. 329–338. 20 indexed citations

11.

Josephs, Mark B.. (2001). Models for Data-Flow Sequential Processes.

12.

Josephs, Mark B., et al.. (1999). Scanning the Technology: Applications of Asynchronous Circuits. 22 indexed citations

13.

Nowick, Steven M., Mark B. Josephs, & C.H. van Berkel. (1999). Special Issue On Asynchronous Circuits And Systems. Proceedings of the IEEE. 87(2). 219–222. 15 indexed citations

14.

Josephs, Mark B., et al.. (1997). The Use of SI-Algebra in the design of sequencer circuits. Formal Aspects of Computing. 9(4). 395–408. 2 indexed citations

15.

Josephs, Mark B., et al.. (1994). Specifying distributed CICS in Z: Accessing local and remote resources. Formal Aspects of Computing. 6(5). 569–579. 3 indexed citations

16.

Josephs, Mark B. & Jan Tijmen Udding. (1993). IMPLEMENTING A STACK AS A DELAY-INSENSITIVE CIRCUIT. Data Archiving and Networked Services (DANS). 123–135. 2 indexed citations

17.

Josephs, Mark B.. (1992). Receptive process theory. Acta Informatica. 29(1). 17–31. 56 indexed citations

18.

Josephs, Mark B.. (1990). Receptive process theory. TU/e Research Portal (Eindhoven University of Technology). 9008. 5 indexed citations

19.

He, Jifeng, Mark B. Josephs, & C. A. R. Hoare. (1990). A Theory of Synchrony and Asynchrony.. Oxford University Research Archive (ORA) (University of Oxford). 459–478. 18 indexed citations

20.

Josephs, Mark B.. (1986). Functional programming with side-effects. Science of Computer Programming. 7. 279–296. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact