Mathai Joseph

545 total citations
23 papers, 250 citations indexed

About

Mathai Joseph is a scholar working on Hardware and Architecture, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, Mathai Joseph has authored 23 papers receiving a total of 250 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Hardware and Architecture, 9 papers in Computer Networks and Communications and 8 papers in Computational Theory and Mathematics. Recurrent topics in Mathai Joseph's work include Distributed systems and fault tolerance (8 papers), Real-Time Systems Scheduling (8 papers) and Formal Methods in Verification (8 papers). Mathai Joseph is often cited by papers focused on Distributed systems and fault tolerance (8 papers), Real-Time Systems Scheduling (8 papers) and Formal Methods in Verification (8 papers). Mathai Joseph collaborates with scholars based in United Kingdom, India and United States. Mathai Joseph's co-authors include Zhiming Liu, Doron Peled, Bertrand Meyer, Tomasz Janowski, Nagarajan Natarajan, Abha Moitra, Vinay Prasad, Irfan Darmawan, Martín Nordio and Vinod Kumar and has published in prestigious journals such as Nature, Theoretical Computer Science and ACM Transactions on Programming Languages and Systems.

In The Last Decade

Mathai Joseph

21 papers receiving 214 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Mathai Joseph United Kingdom	8	131	126	96	71	51	23	250
Stanislaw Budkowski Poland	4	102 0.8×	72 0.6×	69 0.7×	62 0.9×	85 1.7×	13	215
Mandayam Srivas United States	7	199 1.5×	147 1.2×	38 0.4×	116 1.6×	94 1.8×	32	312
Mark Bickford United States	9	148 1.1×	94 0.7×	134 1.4×	141 2.0×	35 0.7×	40	301
Christian Queinnec France	9	69 0.5×	77 0.6×	114 1.2×	157 2.2×	19 0.4×	27	255
Gérard Le Lann France	10	71 0.5×	152 1.2×	248 2.6×	26 0.4×	21 0.4×	39	306
Amir Hossein Ghamarian Netherlands	8	55 0.4×	302 2.4×	254 2.6×	48 0.7×	50 1.0×	14	392
Jeremy Levitt United States	8	145 1.1×	149 1.2×	36 0.4×	87 1.2×	79 1.5×	10	252
Vlad Rusu France	8	148 1.1×	39 0.3×	41 0.4×	116 1.6×	137 2.7×	29	243
Dennis Griffith United States	4	55 0.4×	41 0.3×	37 0.4×	97 1.4×	83 1.6×	7	179
В. В. Кулямин Russia	8	41 0.3×	50 0.4×	45 0.5×	34 0.5×	116 2.3×	33	173

Countries citing papers authored by Mathai Joseph

Since Specialization

Citations

This map shows the geographic impact of Mathai Joseph'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 Mathai Joseph with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Mathai Joseph more than expected).

Fields of papers citing papers by Mathai Joseph

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Mathai Joseph. 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 Mathai Joseph. The network helps show where Mathai Joseph may publish in the future.

Co-authorship network of co-authors of Mathai Joseph

This figure shows the co-authorship network connecting the top 25 collaborators of Mathai Joseph. A scholar is included among the top collaborators of Mathai Joseph 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 Mathai Joseph. Mathai Joseph 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

Joseph, Mathai. (2018). Schemes for communication. Research Showcase @ Carnegie Mellon University (Carnegie Mellon University).

Darmawan, Irfan, et al.. (2012). Grid computing process improvement through computing resource scheduling using genetic algorithm and Tabu Search integration. 32. 330–334. 2 indexed citations

Nordio, Martín, et al.. (2010). Software Engineering Approaches for Offshore and Outsourced Development: 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, ... Notes in Business Information Processing). Springer eBooks. 1 indexed citations

Meyer, Bertrand & Mathai Joseph. (2007). Proceedings of the 1st international conference on Software engineering approaches for offshore and outsourced development. 2 indexed citations

Meyer, Bertrand & Mathai Joseph. (2007). Software Engineering Approaches for Offshore and Outsourced Development. Lecture notes in computer science. 3 indexed citations

Liu, Zhiming & Mathai Joseph. (2001). Verification, refinement and scheduling of real-time programs. Theoretical Computer Science. 253(1). 119–152. 6 indexed citations

Janowski, Tomasz & Mathai Joseph. (2001). Dynamic Scheduling and Fault-Tolerance: Specification and Verification. Real-Time Systems. 20(1). 51–81. 3 indexed citations

Joseph, Mathai. (2000). Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. 2 indexed citations

Joseph, Mathai. (2000). Formal Techniques in Real-Time and Fault-Tolerant Systems. Lecture notes in computer science. 11 indexed citations

10.

Liu, Zhiming & Mathai Joseph. (1999). Specification and verification of fault-tolerance, timing, and scheduling. ACM Transactions on Programming Languages and Systems. 21(1). 46–89. 28 indexed citations

11.

Joseph, Mathai, et al.. (1995). Real-Time Systems: Specification, Verification, and Analysis. Prentice Hall PTR eBooks. 87 indexed citations

12.

Liu, Zhiming, Mathai Joseph, & Tomasz Janowski. (1995). Verification of schedulability for real-time programs. Formal Aspects of Computing. 7(5). 510–532. 3 indexed citations

13.

Peled, Doron & Mathai Joseph. (1994). A compositional framework for fault tolerance by specification transformation. Theoretical Computer Science. 128(1-2). 99–125. 10 indexed citations

14.

Liu, Zhiming & Mathai Joseph. (1992). Transformation of programs for fault-tolerance. Formal Aspects of Computing. 4(5). 442–469. 36 indexed citations

15.

Joseph, Mathai, et al.. (1991). P — A logic — a compositional proof system for distributed programs. Distributed Computing. 5(1). 37–54. 21 indexed citations

16.

Joseph, Mathai. (1988). Systems, Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. 1 indexed citations

17.

Joseph, Mathai. (1988). Software engineering : theory, experiment, practice or performance. Warwick Research Archive Portal (University of Warwick). 2 indexed citations

18.

Joseph, Mathai, et al.. (1987). Proof rules for fault tolerant distributed programs. Science of Computer Programming. 8(1). 43–67. 7 indexed citations

19.

Joseph, Mathai. (1985). On a problem in real-time computing. Information Processing Letters. 20(4). 173–177. 5 indexed citations

20.

Joseph, Mathai, Vinay Prasad, & Nagarajan Natarajan. (1984). A multiprocessor operating system. Medical Entomology and Zoology. 7 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