The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Howard Bowman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Howard Bowman, Joost-Pieter Katoen
    A True Concurrency Semantics for ET-LOTOS. [Citation Graph (0, 0)][DBLP]
    ACSD, 1998, pp:228-238 [Conf]
  2. Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman
    Consistency of Partial Process Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:248-262 [Conf]
  3. Howard Bowman
    Modelling Timeouts without Timelocks. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:334-353 [Conf]
  4. Howard Bowman, John Derrick
    Extending LOTOS with Time: A True Concurrency Perspective. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:383-399 [Conf]
  5. Howard Bowman, Lynne Blair, Gordon S. Blair, Amanda G. Chetwynd
    A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. [Citation Graph (0, 0)][DBLP]
    COST 237 Workshop, 1994, pp:145-167 [Conf]
  6. Howard Bowman, Giorgio P. Faconti, Mieke Massink
    Specification and Verification of Media Constraints using UPAAL. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1998, pp:261-277 [Conf]
  7. Peter King, Helen Cameron, Howard Bowman, Simon Thompson
    Synchronization in Multimedia Documents. [Citation Graph (0, 0)][DBLP]
    EP, 1998, pp:355-369 [Conf]
  8. Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
    Viewpoint Consistency in Z and LOTOS: A Case Study. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:644-664 [Conf]
  9. Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
    Consistency and Refinement for Partial Specification in Z. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:287-306 [Conf]
  10. Howard Bowman, John Derrick
    A Junction between State Based and Behavioural Specification (Invited Talk). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:213-239 [Conf]
  11. Howard Bowman
    Time and Action Lock Freedom Properties for Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORTE, 2001, pp:119-134 [Conf]
  12. Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd
    Time Versus Abstraction in Formal Description. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:467-482 [Conf]
  13. John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen
    Comparing LOTOS and Z Refinement Relations. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:501-516 [Conf]
  14. Rodolfo Gómez, Howard Bowman
    Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:177-192 [Conf]
  15. Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten
    Disjunction of LOTOS Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:177-192 [Conf]
  16. Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick
    Specification and Analysis of Automata-Based Designs. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:176-193 [Conf]
  17. Howard Bowman, John Derrick
    A True Concurrency Semantics for Quality of Service Specification and Validation. [Citation Graph (0, 0)][DBLP]
    MMNET, 1995, pp:173-182 [Conf]
  18. Howard Bowman, John Derrick
    Consistency and Conformance in ODP (Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:388- [Conf]
  19. Howard Bowman, John Derrick, Richard Jones
    Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:394- [Conf]
  20. Maarten Steen, Howard Bowman, John Derrick
    Composition of LOTOS specifications. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:87-102 [Conf]
  21. Howard Bowman, John Derrick
    Modelling distributed systems using Z. [Citation Graph (0, 0)][DBLP]
    SAC, 1995, pp:147-151 [Conf]
  22. Howard Bowman, Simon Thompson
    A Tableau Method for Interval Temporal Logic with Projection. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:108-123 [Conf]
  23. John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
    Weak Refinement in Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:369-388 [Conf]
  24. Howard Bowman, John Derrick, Maarten Steen
    Viewpoints and Objects. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:449-468 [Conf]
  25. Bradley P. Wyble, Howard Bowman
    The Attentional Blink at 20 items/sec, Model Prediction and Empirical Validation of Lag-2 Sparing. [Citation Graph (0, 0)][DBLP]
    ICCM, 2004, pp:400-401 [Conf]
  26. Howard Bowman, Jeremy Bryans, John Derrick
    Analysis of a Multimedia Stream using Stochastic Process Algebra. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:4, pp:230-245 [Journal]
  27. Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen
    Viewpoint consistency in ODP. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2000, v:34, n:3, pp:503-537 [Journal]
  28. Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd
    Formal description of distributed multimedia systems: an assessment of potential techniques. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1995, v:18, n:12, pp:964-977 [Journal]
  29. Jeremy Bryans, Howard Bowman, John Derrick
    Stochastic Model Checking for Multimedia [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  30. Howard Bowman
    Formal Methods Elsewhere - A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
  31. Howard Bowman, Giorgio P. Faconti, Mieke Massink
    Towards Integrated Cognitive and Interface Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:43, n:, pp:- [Journal]
  32. Howard Bowman, Rodolfo Gómez, Li Su
    A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:139, n:1, pp:25-47 [Journal]
  33. John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
    Specifying and Refining Internal Operations in Z. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:2, pp:125-159 [Journal]
  34. Howard Bowman, Giorgio P. Faconti
    Analysing Cognitive Behaviour using LOTOS and Mexitl. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:2, pp:132-159 [Journal]
  35. Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink
    Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:5-6, pp:550-575 [Journal]
  36. Howard Bowman, Rodolfo Gómez
    How to stop time stopping. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:4, pp:459-493 [Journal]
  37. Howard Bowman, Helen Cameron, Peter King, Simon Thompson
    Mexitl: Multimedia in Executable Interval Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:22, n:1, pp:5-38 [Journal]
  38. Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick
    A Formal Framework for Viewpoint Consistency. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:21, n:2, pp:111-166 [Journal]
  39. Rodolfo Gómez, Howard Bowman
    PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:105-148 [Journal]
  40. Howard Bowman, Simon Thompson
    A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:2, pp:195-239 [Journal]
  41. Howard Bowman
    A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1998, v:16, n:4, pp:343-372 [Journal]
  42. Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
    Constructive Consistency Checking for Partial Specification in Z. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:35, n:1, pp:29-75 [Journal]
  43. Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen
    Strategies for Consistency Checking Based on Unification. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:33, n:3, pp:261-298 [Journal]
  44. Jeremy Bryans, Howard Bowman, John Derrick
    Model checking stochastic automata. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2003, v:4, n:4, pp:452-492 [Journal]
  45. Howard Bowman, John Derrick, Ed Brinksma
    Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:7, pp:577-578 [Journal]
  46. Rodolfo Gómez, Howard Bowman
    Efficient Detection of Zeno Runs in Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:195-210 [Conf]
  47. Kiran Kalidindi, Howard Bowman
    Using epsiloon-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task. [Citation Graph (0, 0)][DBLP]
    Neural Networks, 2007, v:20, n:6, pp:676-689 [Journal]

  48. On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions. [Citation Graph (, )][DBLP]


  49. Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.010secs
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