Mathai Joseph | Academic Influence

Mathai Joseph's AcademicInfluence.com Rankings

Mathai Joseph

Computer Science

#1178

World Rank

#1218

Historical Rank

Software Engineering

#175

World Rank

#176

Historical Rank

Artificial Intelligence

#981

World Rank

#999

Historical Rank

Machine Learning

#2550

World Rank

#2584

Historical Rank

computer-science Degrees

Mathai Joseph

Mathematics

#4642

World Rank

#6572

Historical Rank

Control Theory

#73

World Rank

#78

Historical Rank

Measure Theory

#3973

World Rank

#4682

Historical Rank

mathematics Degrees

Download Badge

Computer Science
Mathematics

Mathai Joseph's Degrees

Bachelors Mathematics University of Kerala

Similar Degrees You Can Earn

Best Online Bachelor's in Math 2025

Why Is Mathai Joseph Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Mathai Joseph is an Indian computer scientist and author. Early life and education Joseph studied for a BSc in physics at Wilson College and an MSc in the same subject at the University of Mumbai in 1964. He later studied for a Postgraduate Diploma in electronics at the Welsh College of Advanced Technology and then undertook a PhD in computing at Churchill College, Cambridge under the supervision of David Wheeler .

(See a Problem?)

Mathai Joseph's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Finding Response Times in a Real-Time System (1986) (1272)
Real-time systems - specification, verification and analysis (1995) (199)
Specification and verification of fault-tolerance, timing, and scheduling (1999) (71)
Transformation of programs for fault-tolerance (1990) (52)
Formal Techniques in Real-Time and Fault-Tolerant Systems (2002) (36)
What's 'real' about real-time systems? (1988) (28)
Verification of fault tolerance and real time (1996) (27)
P — A logic — a compositional proof system for distributed programs (1991) (25)
A Compositional Framework for Fault Tolerance by Specification Transformation (1994) (22)
Proof Rules for Fault Tolerant Distributed Programs (1987) (19)
Verification, refinement and scheduling of real-time programs (2001) (19)
Relating Computation and Time (1989) (17)
Specification and Verification of Recovery in Asynchronous Communicating Systems (1993) (17)
Formal Description of Real-Time Systems: A Review (1988) (16)
A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls (1986) (11)
Stepwise Development of Fault-Tolerant Reactive Systems (1994) (11)
On a Problem in Real-Time Computing (1985) (11)
Dynamic Scheduling in the Presence of Faults: Specification and Verification (1996) (11)
Weed Science. Principles and Applications. Third Edition (1996) (9)
ISL: An Interval Logic for the Specification of Real-time Programs (1991) (9)
A Compositional Approach for Fault-Tolerance Using Specification Transformation (1993) (8)
Problems, Promises and Performance: Some Questions for Real-time System Specification (1991) (8)
Dynamic Scheduling and Fault-Tolerance: Specification and Verification (2004) (8)
A multiprocessor operating system (1984) (8)
Formal description of realtime systems: a review (1989) (7)
Meta-Modelling for Formal Software Development (2001) (7)
Software Engineering Approaches for Offshore and Outsourced Development - 3rd International Conference, SEAFOOD@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings (2009) (6)
Co-Operative Recovery From Faults in Distributed Programs (1983) (6)
The Visual Display of Quantitative Information & Envisioning Information (1994) (5)
Formalizing Real-Time Scheduling as Program Refinement (1997) (5)
Formal Techniques in Real-Time and Fault-Tolerant Systems (2002) (5)
Semancitcs of Real-time Distributed Programs (1988) (4)
Real-Time and Fault-Tolerant Systems – Specification , verification , refinement and scheduling (2005) (4)
Real-Time and Fault-Tolerant Systems (2004) (4)
A Semantic Model for the Specification of Real-Time Processes (1988) (4)
Proceedings of the 1st international conference on Software engineering approaches for offshore and outsourced development (2007) (3)
Systems, Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1988) (3)
Schemes for Communication (1981) (3)
Specification and Verification of Total Correctness of Distributed Programs (1987) (3)
Determining Timing Properties of Infinite Real-Time Programs (1991) (3)
Software engineering : theory, experiment, practice or performance (1988) (3)
Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (2000) (2)
Specifying Schedulability for Real-Time Programs (1993) (2)
Formalizing models and meta-models for system development extended abstract (2001) (2)
Verification of schedulability for real-time programs (1995) (2)
Automated timing analysis of real-time programs (1994) (1)
Time and Real-time in Programs (1989) (1)
Software Engineering Approaches for Offshore and Outsourced Development: 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, ... Notes in Business Information Processing) (2010) (1)
The Mine Pump Control Program in Esterel (1997) (1)
Proceedings of the International Symposium on Performance Science 2011 (2011) (1)
Abstractions for Real Real-time Systems (2007) (1)
The mine pump problem (1997) (0)
SEARCC 76 : proceedings of the IFIP regional conference, Singapore, 6-9 September 1976 (1977) (0)
Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning? (2003) (0)
SEARCC 76 : proceedings of the lst South East Ais Regional Computer Conference (1976) (0)
Real-time computing (1996) (0)
A Transformational Approach to Specifying Recovery in Asynchronous Communicating Systems (1992) (0)
Foundations of Software Technology and Theoretical Computer Science (1984) (0)
Formal Aids for the Growth of Software Systems (2005) (0)
Care, feeding and growth of software systems (2004) (0)
Software Engineering Approaches for Offshore and Outsourced Development - 1st International Conference, SEAFOOD@TOOLS 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers (2007) (0)
Algebraic Specification Of A Communication Scheduler (1985) (0)
Proceedings of the Fourth Conference on Foundations of Software Technology and Theoretical Computer Science (1984) (0)
Chapter 14 – Formal description of realtime systems: A reiew (1990) (0)
Semantics for Specifying Real-Time Systems (1988) (0)
Engineering the Development of Embedded Systems (2007) (0)

This paper list is powered by the following services:

Other Resources About Mathai Joseph

en.wikipedia.org

What Schools Are Affiliated With Mathai Joseph?

Mathai Joseph is affiliated with the following schools: