The SCEAS System
Navigation Menu

Search the dblp DataBase


John Herbert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart
    Configuring Storage Area Networks for Mandatory Security. [Citation Graph (0, 0)][DBLP]
    DBSec, 2004, pp:357-370 [Conf]
  2. Garret Swart, Benjamin Aziz, Simon N. Foley, John Herbert
    Trading Off Security in a Service Oriented Architecture. [Citation Graph (0, 0)][DBLP]
    DBSec, 2005, pp:295-309 [Conf]
  3. Cormac Duffy, Utz Roedig, John Herbert, Cormac J. Sreenan
    Improving the Energy Efficiency of the MANTIS Kernel. [Citation Graph (0, 0)][DBLP]
    EWSN, 2007, pp:261-276 [Conf]
  4. John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou
    A Formalization of Software Architecture. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:116-133 [Conf]
  5. John Herbert, John O'Donoghue, Gao Ling, Kai Fei, Chien-Liang Fok
    Mobile Agent Architecture Integration for a Wireless Sensor Medical Application. [Citation Graph (0, 0)][DBLP]
    IAT Workshops, 2006, pp:235-238 [Conf]
  6. Jing-Hua Ye, John Herbert
    Adaptive User Interfaces Development Platform. [Citation Graph (0, 0)][DBLP]
    INTERACT, 2005, pp:1034-1037 [Conf]
  7. John Herbert
    A Simple Algorithm Specification Language and its Application. [Citation Graph (0, 0)][DBLP]
    IWFM, 1997, pp:- [Conf]
  8. John O'Donoghue, John Herbert
    Profile Based Sensor Data Acquisition in a Ubiquitous Medical Environme. [Citation Graph (0, 0)][DBLP]
    PerCom Workshops, 2006, pp:570-574 [Conf]
  9. Richard J. Boulton, Andrew Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel
    Experience with Embedding Hardware Description Languages in HOL. [Citation Graph (0, 0)][DBLP]
    TPCD, 1992, pp:129-156 [Conf]
  10. John Herbert
    Incremental Design and Formal Verification of Microcoded Microporcessors. [Citation Graph (0, 0)][DBLP]
    TPCD, 1992, pp:157-174 [Conf]
  11. Rachel Cardell-Oliver, Roger Hale, John Herbert
    An Embedding of Timed Transition Systems in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:263-278 [Conf]
  12. John Herbert
    Dealing With Temporal Complexity in Hardware Verification. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:13-21 [Conf]
  13. Jing-Hua Ye, John Herbert
    Interface Tailoring for Mobile Computing Devices. [Citation Graph (0, 0)][DBLP]
    User Interfaces for All, 2004, pp:175-184 [Conf]
  14. Jing-Hua Ye, John Herbert
    Framework for User Interface Adaptation. [Citation Graph (0, 0)][DBLP]
    User Interfaces for All, 2004, pp:167-174 [Conf]
  15. Roger Hale, Rachel Cardell-Oliver, John Herbert
    An Embedding of Timed Transition Systems in HOL. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1993, v:3, n:1/2, pp:151-174 [Journal]
  16. Benjamin Aziz, Simon N. Foley, John Herbert, Garret Swart
    Reconfiguring Role Based Access Control policies using risk semantics. [Citation Graph (0, 0)][DBLP]
    J. High Speed Networks, 2006, v:15, n:3, pp:261-273 [Journal]
  17. Timothy O'Sullivan, John O'Donoghue, John Herbert, Richard Studdert
    CAMMD: Context-Aware Mobile Medical Devices. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2006, v:12, n:1, pp:45-58 [Journal]

  18. Patient Sensors: A Data Quality Perspective. [Citation Graph (, )][DBLP]

  19. Towards Improved Information Quality: The Integration of Body Area Network Data within Electronic Health Records. [Citation Graph (, )][DBLP]

  20. Information Quality and Data Management within a Pervasive Medical Environment. [Citation Graph (, )][DBLP]

  21. An Experimental Comparison of Event Driven and Multi-Threaded Sensor Node Operating Systems. [Citation Graph (, )][DBLP]

  22. Adding preemption to TinyOS. [Citation Graph (, )][DBLP]

  23. A Context-Sensitive Rule-Based Architecture for a Smart Building Environment. [Citation Graph (, )][DBLP]

Search in 0.172secs, Finished in 0.173secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002