Mark B. Josephs
About
Mark B. Josephs has authored 23 papers that have received a total of 168 indexed citations.
This includes 8 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 7 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (6 papers), Low-power high-performance VLSI design (4 papers) and Embedded Systems Design Techniques (4 papers). Mark B. Josephs is often cited by papers focused on Formal Methods in Verification (6 papers), Low-power high-performance VLSI design (4 papers) and Embedded Systems Design Techniques (4 papers) and collaborates with scholars based in United Kingdom, United States and India. Mark B. Josephs's co-authors include Hemangee K. Kapoor, Yonghao Wang, C.H. van Berkel, Paul Kearney and Steven M. Nowick and has published in prestigious journals such as Proceedings of the IEEE, Theoretical Computer Science and The Computer Journal.
In The Last Decade
side by side view
Countries citing papers authored by Mark B. Josephs
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Patrizia Violi Breakdown of academic impact, for papers by Jean-Marc Langé Breakdown of academic impact, for papers by Lucía Ugarriza Breakdown of academic impact, for papers by Lise Winer Breakdown of academic impact, for papers by James Blackstone Breakdown of academic impact, for papers by Mahmood Dalhat Breakdown of academic impact, for papers by Caterina Mauri Breakdown of academic impact, for papers by Stefania Marrara