Mathai Joseph
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
1988–2007
Best venue rank
National
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | TASE | Abstractions for Real Real-time Systems. | Mathai Joseph |
| 2005 | FM | Formal Aids for the Growth of Software Systems. | Mathai Joseph |
| 2004 | SEFM | Care, Feeding and Growth of Software Systems. | Mathai Joseph |
| 2003 | ICFEM | Adding Formalism to Methods or | Mathai Joseph |
| 2001 | APSEC | Formalizing Models and Meta-models for System Development. | R. Venkatesh, Purandar Bhaduri, Mathai Joseph |
| 1988 | CONCUR | Semancitcs of Real-time Distributed Programs. | Asis Goswami, Mathai Joseph |
| 1988 | RTSS | What's 'Real' about Real-Time Systems? | Mathai Joseph, Asis Goswami |