Mathai Joseph
发表
Vishnu Prasad,
Mathai Joseph,
N. Natarajan,
1984
.
Mathai Joseph,
Zhiming Liu,
M. Joseph,
2004,
PSSE.
Mathai Joseph,
2003,
ICFEM.
Mathai Joseph,
1989,
FSTTCS.
Mathai Joseph,
Rudrapatna Shyamasundar,
1984,
Lecture Notes in Computer Science.
Mathai Joseph,
2002,
Lecture Notes in Computer Science.
Mathai Joseph,
Purandar Bhaduri,
R. Venkatesh,
2001,
Proceedings Eighth Asia-Pacific Software Engineering Conference.
Mathai Joseph,
Asis Goswami,
1988,
Specification and Verification of Concurrent Systems.
Mathai Joseph,
Paritosh K. Pandya,
M. Joseph,
1986,
Comput. J..
Mathai Joseph,
M. Joseph,
1991,
REX Workshop.
Mathai Joseph,
Paritosh K. Pandya,
1986,
Comput. J..
Mathai Joseph,
Abha Moitra,
1983,
IFIP Congress.
Mathai Joseph,
Zhiming Liu,
1997,
ARTS.
Mathai Joseph,
M. Joseph,
1981
.
Mathai Joseph,
Zhiming Liu,
M. Joseph,
1999,
TOPL.
Mathai Joseph,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Mathai Joseph,
Zhiming Liu,
2001,
Theor. Comput. Sci..
Mathai Joseph,
R. Venkatesh,
Ashok Sreenivas,
2001,
CATS.
Mathai Joseph,
Paritosh K. Pandya,
M. Joseph,
1991,
Distributed Computing.
Mathai Joseph,
Zhiming Liu,
2005,
Formal Aspects of Computing.
Mathai Joseph,
Zhiming Liu,
1996,
Proceedings of Annual Symposium on Fault Tolerant Computing.
Tomasz Janowski,
Mathai Joseph,
M. Joseph,
2004,
Real-Time Systems.
Mathai Joseph,
Abha Moitra,
1991
.
Mathai Joseph,
2007,
Formal Methods and Hybrid Real-Time Systems.
Mathai Joseph,
Goswami,
M. Joseph,
1990
.
Mathai Joseph,
1985,
Inf. Process. Lett..
Mathai Joseph,
Asis Goswami,
Michael Bell,
1992,
FTRTFT.
Zhiming Liu,
Mathai Joseph,
1993
.
Tomasz Janowski,
Mathai Joseph,
Zhiming Liu,
2005,
Formal Aspects of Computing.
Mathai Joseph,
2005,
FM.
Neelam Soundararajan,
Mathai Joseph,
Abha Moitra,
1987,
Sci. Comput. Program..
Doron A. Peled,
Mathai Joseph,
1993,
PARLE.
Mathai Joseph,
2007,
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Doron A. Peled,
Mathai Joseph,
1994,
Theor. Comput. Sci..
Mathai Joseph,
Asis Goswami,
M. Joseph,
1988,
Concurrency.
Mathai Joseph,
M. Joseph,
1995,
Prentice Hall International series in computer science.
Mathai Joseph,
Asis Goswami,
M. Joseph,
1988,
Proceedings. Real-Time Systems Symposium.
Tomasz Janowski,
Mathai Joseph,
Zhiming Liu,
1993
.
Mathai Joseph,
Abha Moitra,
M. Joseph,
1985,
TAPSOFT, Vol.2.
Mathai Joseph,
1988
.
Tomasz Janowski,
Mathai Joseph,
M. Joseph,
1996,
FTRTFT.