The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Brian Ritchie: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Brian Matthews, Brian Ritchie, Juan Bicarregui
    Synthesising Structure from Flat Specifications. [Citation Graph (0, 0)][DBLP]
    B, 1998, pp:148-161 [Conf]
  2. Robert B. Piotter, Tom Kirkham, Julian R. Gallop, Ian J. Johnson, Damian Mac Randal, Brian Ritchie
    A Semantic Approach to Enhance Service Composition in Workflows that use Mobile Services. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2007, pp:731-742 [Conf]
  3. Theodosis Dimitrakos, Dimitris Raptis, Brian Ritchie, Ketil Stølen
    Model Based Security Risk Analysis for Web Applications. [Citation Graph (0, 0)][DBLP]
    EuroWeb, 2002, pp:- [Conf]
  4. Juan Bicarregui, Brian Ritchie
    Reasoning about VDM Developments using the VDM Support Tool in MURAL. [Citation Graph (0, 0)][DBLP]
    VDM Europe (1), 1991, pp:371-388 [Conf]
  5. Juan Bicarregui, Brian Ritchie
    Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:162-182 [Conf]
  6. Brian Ritchie, Juan Bicarregui, Howard P. Haughton
    Experiences in Using the Abstract Machine Notation in a GKS Case Study. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:93-104 [Conf]
  7. Annalisa Terracina, Stefano Beco, Tom Kirkham, Julian R. Gallop, Ian J. Johnson, Damian Mac Randal, Brian Ritchie
    Orchestration and Workflow in a mobile Grid environment. [Citation Graph (0, 0)][DBLP]
    GCC Workshops, 2006, pp:251-258 [Conf]
  8. Theodosis Dimitrakos, Brian Ritchie, Dimitris Raptis, Jan Øyvind Aagedal, Folker den Braber, Ketil Stølen, Siv Hilde Houmb
    Integrating Model-based Security Risk Management into eBusiness Systems Development: The CORAS Approach. [Citation Graph (0, 0)][DBLP]
    I3E, 2002, pp:159-175 [Conf]
  9. Tom Kirkham, Julian R. Gallop, Ian J. Johnson, Damian Mac Randal, Brian Ritchie, Thomas Varsamidis
    e-Business Integration Using Mobile Services for the Small to Medium Enterprise. [Citation Graph (0, 0)][DBLP]
    WETICE, 2006, pp:143-148 [Conf]
  10. Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm
    Investigating the Integration of two Formal Methods. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:5-6, pp:532-549 [Journal]
  11. Juan Bicarregui, D. L. Clutterbuck, Gavin R. Finnie, Howard P. Haughton, Kevin Lano, H. Lesan, D. W. R. M. Marsh, B. M. Matthews, Michael R. Moulding, A. Richard Newton, Brian Ritchie, T. G. A. Rushton, P. N. Scharbach
    Formal methods into practice: case studies in the application of the B method. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 1997, v:144, n:2, pp:119-133 [Journal]
  12. Juan Bicarregui, Brian Ritchie
    Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:2, pp:79-89 [Journal]
  13. Tom Kirkham, Julian R. Gallop, S. Lambert, B. Matthews, Damian Mac Randal, Brian Ritchie
    Providing Reliable Distributed Grid Services in Mobile Environments. [Citation Graph (0, 0)][DBLP]
    SOAS, 2005, pp:246-255 [Conf]

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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002