The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Brendan P. Mahony: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jin Song Dong, Brendan P. Mahony, Neale Fulton
    Capturing Periodic Concurrent Interactions of Mission Computer Tasks. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:538-545 [Conf]
  2. Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony
    Reasoning about Semantic Web in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:46-53 [Conf]
  3. Jin Song Dong, Brendan P. Mahony, Neale Fulton
    Modeling Aircraft Mission Computer Task Rates. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1855- [Conf]
  4. Brendan P. Mahony, Jin Song Dong
    Sensors and Actuators in TCOZ. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1166-1185 [Conf]
  5. Jin Song Dong, Brendan P. Mahony
    Active Objects in TCOZ. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:16-25 [Conf]
  6. Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony
    Defining Differentiation and Integration in Z. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:64-0 [Conf]
  7. Brendan P. Mahony, Jin Song Dong
    Blending Object-Z and Timed CSP: An Introduction to TCOZ. [Citation Graph (0, 0)][DBLP]
    ICSE, 1998, pp:95-104 [Conf]
  8. Brendan P. Mahony, Jin Song Dong
    Overview of the Semantics of TCOZ. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:66-85 [Conf]
  9. Brendan P. Mahony, Jin Song Dong
    Network Topology and a Case Study in TCOZ. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:308-327 [Conf]
  10. Ian J. Hayes, Brendan P. Mahony
    Using Units of Measurement in Formal Specifications. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:3, pp:329-347 [Journal]
  11. Brendan P. Mahony
    The Least Conjunctive Refinement and Promotion in the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:1, pp:75-105 [Journal]
  12. Brendan P. Mahony, Jin Song Dong
    Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:2, pp:142-160 [Journal]
  13. Jin Song Dong, Ping Hao, Brendan P. Mahony
    Formal Designs for Embedded and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:2, pp:373-378 [Journal]
  14. Brendan P. Mahony, Jin Song Dong
    Timed Communicating Object Z. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:2, pp:150-177 [Journal]
  15. Brendan P. Mahony, Ian J. Hayes
    A Case-Study in Timed Refinement: A Mine Pump. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:9, pp:817-826 [Journal]

  16. The HiVe Writer. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002