The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Alvaro E. Arenas, Brian Matthews
    An Experiment on Modelling Agents and Knowledge for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    AIMSA, 2004, pp:54-64 [Conf]
  2. Brian Matthews, Brian Ritchie, Juan Bicarregui
    Synthesising Structure from Flat Specifications. [Citation Graph (0, 0)][DBLP]
    B, 1998, pp:148-161 [Conf]
  3. Michael Wilson, Brian Matthews
    The Future of the World Wide Web? [Citation Graph (0, 0)][DBLP]
    BNCOD, 2004, pp:4-15 [Conf]
  4. Daniel Olmedilla, Omer F. Rana, Brian Matthews, Wolfgang Nejdl
    Security and Trust Issues in Semantic Grids. [Citation Graph (0, 0)][DBLP]
    Semantic Grid, 2005, pp:- [Conf]
  5. Simon A. Dobson, Brian Matthews
    Ionic Types. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2000, pp:296-312 [Conf]
  6. Elvira Locuratolo, Brian Matthews
    On the Relationship between ASSO and B. [Citation Graph (0, 0)][DBLP]
    EJC, 1998, pp:235-253 [Conf]
  7. Alvaro E. Arenas, Brian Matthews
    Toward a Library of Problem-Solving Methods on the Internet. [Citation Graph (0, 0)][DBLP]
    EKAW, 2004, pp:485-486 [Conf]
  8. Brian Matthews, Elvira Locuratolo
    Formal Development of Databases in ASSO and B. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:388-410 [Conf]
  9. John V. Ashby, Juan Bicarregui, David R. S. Boyd, Kerstin Kleese van Dam, Simon C. Lambert, Brian Matthews, Kevin D. O'Neill
    A Multidisciplinary Scientific Data Portal. [Citation Graph (0, 0)][DBLP]
    HPCN Europe, 2001, pp:13-22 [Conf]
  10. Brian Matthews, Theodosis Dimitrakos
    Deploying Trust Policies on the Semantic Web. [Citation Graph (0, 0)][DBLP]
    iTrust, 2004, pp:369-375 [Conf]
  11. Juan Bicarregui, Brian Matthews
    Proof and Refutation in Formal Software Development. [Citation Graph (0, 0)][DBLP]
    IWFM, 1999, pp:- [Conf]
  12. Brian Matthews, Elvira Locuratolo
    Translating Structured Database Schemas into Abstract Machines. [Citation Graph (0, 0)][DBLP]
    IWFM, 1998, pp:- [Conf]
  13. Theodosis Dimitrakos, Brian Matthews, Simon C. Lambert, Juan Bicarregui
    Meta-data Management Issues Underpinning Emerging Solutions for Distributed Trust and Contract Management in Enterprise Grid and P2P Systems. Experiences from GRASP, SWAD-Europe, PELLUCID and CORAS projects. [Citation Graph (0, 0)][DBLP]
    MMGPS, 2003, pp:- [Conf]
  14. Theodosis Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris I. Phillips
    Policy-Driven Access Control over a Distributed Firewall Architecture. [Citation Graph (0, 0)][DBLP]
    POLICY, 2002, pp:228-231 [Conf]
  15. Brian Matthews
    MERILL: An Equational Reasoning System in Standard ML. [Citation Graph (0, 0)][DBLP]
    RTA, 1993, pp:441-445 [Conf]
  16. Juan Bicarregui, Brian Matthews
    Formal Methods in Practice: A Comparison of Two Support Systems for Proof. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1995, pp:184-205 [Conf]
  17. Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum
    Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:107-126 [Conf]
  18. Alvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:1- [Journal]
  19. 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]
  20. Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods
    Making the Most of Formal Specification Through Animation, Testing and Proof. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:29, n:1-2, pp:53-78 [Journal]
  21. 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]

  22. Modelling Security Properties in a Grid-based Operating System with Anti-Goals. [Citation Graph (, )][DBLP]


  23. The Challenges along the Road to the Realisation of a Factory Automation Lifecycle. [Citation Graph (, )][DBLP]


  24. EnTag: enhancing social tagging for discovery. [Citation Graph (, )][DBLP]


  25. On trust management in grids. [Citation Graph (, )][DBLP]


  26. Threat Analysis and Attacks on XtreemOS: a Grid-enabled Operating System. [Citation Graph (, )][DBLP]


  27. Virtual Organization Management in XtreemOS: an Overview. [Citation Graph (, )][DBLP]


  28. Managing Conflicts of Interest in Virtual Organisations. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
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