• Contact
• Maps
• Departments

Navigation menu

School of Computing

• Home
• Teaching
• Research

Studying

• Undergraduate courses
• Postgraduate courses

Activities

• News
• National & International services
• Seminars
• Schools Liaison
• Outreach
• Kent IT Clinic
• Kent enterprise

Local users

• For current students and staff
• Systems Support

About us

• Contacts - How to find us
• People
  • Staff
  • Research Students
  • Undergraduate (local)
  • Taught Postgraduate (local)
  • Former Staff
  • Former Research Students
  • Student portal (univ)

Search

School of Computing

Publications by Prof Howard Bowman

Publication period   (10/1993 onwards)   -   ordered by publication type and date

Books

• Concurrency theory, calculi and automata for modelling untimed and timed concurrent systems. H. Bowman and R.S. Gomez. Springer, January 2006.
• Formal methods for distributed processing, a survey of object-oriented approaches. H. Bowman and J. Derrick, editors. Cambridge University Press, Cambridge, UK, September 2001.
• Formal specification of distributed multimedia systems. G.S. Blair, L. Blair, H. Bowman, and A. Chetwynd. University College London Press, September 1997.

Journal Papers

• Glancing and then looking: on the role of body, affect, and meaning in cognitive control. Li Su, Howard Bowman, and Philip Barnard. Frontiers in Cognition, 2(348):1-23, December 2011.
• Attentional episodes in visual perception. B. Wyble, M. Potter, H. Bowman, and M. Nieuwenstein. Journal of Experimental Psychology: General, 140(3):488-505, August 2011.
• Process algebraic modelling of attentional capture and human electrophysiology in interactive systems. L. Su, H. Bowman, P.J. Barnard, and B. Wyble. Formal Aspects of Computing, 21:513-539, 2009.
• Categorically defined targets trigger spatiotemporal attention. B. Wyble, H. Bowman, and M. Potter. Journal of Experimental Psychology: Human Perception and Performance, 35(2):324-337, 2009.
• Attention Increases the Temporal Precision of Conscious Perception: Verifying the Neural-ST² Model. Srivas Chennu, Patrick Craston, Brad Wyble, and Howard Bowman. PLoS Computational Biology, 5(11):e1000576, November 2009.
• The attentional blink provides episodic distinctiveness: Sparing at a cost. B. Wyble, H. Bowman, and M. Nieuwenstein. Journal of Experimental Psychology: Human Perception and Performance, 35(3):787-807, April 2009.
• The attentional blink reveals serial working memory encoding: Evidence from virtual & human event-related potentials. Patrick Craston, Brad Wyble, Srivas Chennu, and Howard Bowman. Journal of Cognitive Neuroscience, 21(3):550-566, March 2009.
• Strategic regulation of cognitive control by emotional salience: A neural network model. B. Wyble, D. Sharma, and H. Bowman. Cognition & Emotion, 22(6), 2008.
• A reciprocal relationship between bottom-up trace strength and the attentional blink bottleneck: Relating the LC-NE and ST² models. H. Bowman, B. Wyble, S. Chennu, and P. Craston. Brain Research, 1202:25-42, April 2008.
• Neural correlates of intrusion of emotion words in a modified Stroop task. J. C. van Hooff, K. C. Dietz, D. Sharma, and H. Bowman. International Journal of Psychophysiology, 67(1):23-34, January 2008.
• Using e-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the iowa gambling task. Kiran Kalidindi and Howard Bowman. Neural Networks, 20:676-689, April 2007.
• The simultaneous type, serial token model of temporal attention and working memory. H. Bowman and B. Wyble. Psychological Review, 114(1):38-70, January 2007.
• How to stop time stopping. H. Bowman and R. Gomez. Formal Aspects of Computing, 18(4):459-493, December 2006.
• An EEG study of masking effects in RSVP [Abstract]. Patrick Craston, Brad Wyble, and Howard Bowman. Journal of Vision, 6(6):1016-1016, June 2006. http://journalofvision.org/6/6/1016/.
• Dissociating local and global levels of perceptuo-motor control in masked priming. F. Schlaghecken, H. Bowman, and M. Eimer. Journal of Experimental Psychology, Human Perception and Performance, 32(3):618-632, June 2006.
• A neural network account of binding discrete items into working memory using a distributed pool of flexible resources. [abstract & online presentation]. B. Wyble and H. Bowman. Journal of Vision, 6(6):33a-33a, June 2006.
• A neural network model of inhibitory processing in subliminal priming. H. Bowman, F. Schlaghecken, and M. Eimer. Visual Cognition, 13(4):401-480, February 2006.
• A tool for the syntactic detection of zeno-timelocks in timed automata. H Bowman, R Gomez, and L Su. Electronic Notes in Theoretical Computer Science, 139(1):25-47, November 2005. Proceedings of the 6th AMAST Workshop on Real-time Systems (ARTS 2004).
• The attentional blink reflects the time course of token binding, computational modeling and empirical data (abstract). B. Wyble and H. Bowman. Journal of Vision, 5(8):116a-116a, September 2005.
• PITL2MONA}: Implementing a Decision Procedure for Propositional Interval Temporal Logic. Rodolfo Gomez and Howard Bowman. Journal of Applied Non-Classical Logics, 14(1-2):105-148, 2004. Issue on Interval Temporal Logics and Duration Calculi. V. Goranko and A. Montanari guest eds.
• Rendering information processing models of cognition and affect computationally explicit: Distributed executive control and the deployment of attention. P.J. Barnard and H. Bowman. Cognitive Science Quarterly, 3(3):297-328, April 2004.
• Model Checking Stochastic Automata. J. Bryans, H. Bowman, and J. Derrick. ACM Transactions on Computational Logic, 4(4):452-492, October 2003.
• A decision procedure and complete axiomatization of finite interval temporal logic with projection. H. Bowman and S.J. Thompson. Journal of Logic and Computation, 13(2):195-239, April 2003.
• Mexitl: Multimedia in executable interval temporal logic. H. Bowman, H. Cameron, P. King, and S.J. Thompson. Formal Methods in System Design, 22:5-38, January 2003.
• A formal framework for viewpoint consistency. H. Bowman, M.W.A. Steen, E.A. Boiten, and J. Derrick. Formal Methods in System Design, 21(2):111-166, September 2002.
• Analysis of a multimedia stream using stochastic process algebra. H. Bowman, J.W. Bryans, and J. Derrick. The Computer Journal, 44(4):230-245, April 2001.
• Viewpoint consistency in ODP. E.A. Boiten, H. Bowman, J. Derrick, P.F. Linington, and M.W.A. Steen. Computer Networks, 34(3):503-537, August 2000.
• Guest editors introduction: Formal methods for object oriented distributed systems. H Bowman, J Derrick, and E Brinksma. IEEE Transactions on Software Engineering, 26(7):577-578, July 2000.
• Analysing cognitive behaviour using lotos and mexitl. H. Bowman and G. Faconti. Formal Aspects of Computing, 11:132-159, November 1999.
• Constructive consistency checking for partial specification in Z. E.A. Boiten, J. Derrick, H. Bowman, and M.W.A. Steen. Science of Computer Programming, 35(1):29-75, September 1999.
• Viewpoints and consistency: translating LOTOS to Object-Z. John Derrick, Eerke Boiten, Howard Bowman, and Maarten Steen. Computer Standards and Interfaces, 21:251-272, August 1999.
• Strategies for consistency checking based on unification. H. Bowman, E. A. Boiten, J. Derrick, and M. W. A. Steen. Science of Computer Programming, 33:261-298, April 1999.
• Specifying and Refining Internal Operations in Z. John Derrick, Eerke Boiten, Howard Bowman, and Maarten Steen. Formal Aspects of Computing, 10:125-159, December 1998.
• Automatic verification of a lip synchronisation protocol using UPPAAL. H. Bowman, G. Faconti, J.-P. Katoen, D. Latella, and M. Massink. Formal Aspects of Computing, 10(5-6):550-575, August 1998. Special Issue on Formal Methods for Industrial Critical Systems.
• A lotos based tutorial on formal methods for object oriented distributed systems. Howard Bowman. New Generation Computing, 16(4):30, August 1998. Invited Tutorial Paper.
• From ACT-ONE to Miranda, a Translation Experiment. Nathan Charles, Howard Bowman, and Simon Thompson. Computer Standards and Interfaces, 19(1), May 1997.
• Cross viewpoint consistency in Open Distributed Processing. H. Bowman, J. Derrick, P. Linington, and M. Steen. Software Engineering Journal, 11(1):44-57, January 1996.
• Formal description of distributed multimedia systems: an assessment of potential techniques. H. Bowman, L. Blair, G.S. Blair, and A. Chetwynd. Computer Communications, 18(12):964-977, December 1995.
• Formal specification and verification of multimedia systems in open distributed processing. L. Blair, G.S. Blair, H. Bowman, and A. Chetwynd. Computer Standards and Interfaces, 17(5-6):413-436, September 1995.
• FDTs for ODP. H. Bowman, J. Derrick, P. Linington, and M. Steen. Computer Standards and Interfaces, 17:457-479, September 1995.

Book Chapters

• Salience sensitive control, temporal attention and stimulus-rich reactive interfaces. H. Bowman L. Su B. Wyble P.J. Barnard. In Claudia Roda, editor, Human Attention in Digital Environments. Cambridge University Press, April 2009.
• Issues in formal methods (chapter 3). H. Bowman and J. Derrick. In H. Bowman and J. Derrick, editors, Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches, pages 18-35. Cambridge University Press, Cambridge, UK, September 2001.
• Viewpoints modelling. H. Bowman and J. Derrick. In H. Bowman and J. Derrick, editors, Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches, pages 451-475. Cambridge University Press, Cambridge, UK, September 2001.

Conference Papers

• Fortunate conjunctions revived: Feature binding with the 2f-ST2 model. H. Bowman, B. Wyble, S. Chennu, and P. Craston. In Proceedings of the 33rd Annual Conference of the Cognitive Science Society, page 6. Cognitive Science Society, July 2011.
• On the fringe of awareness: The glance-look model of attention-emotion interactions. Li Su, Philip Barnard, and Howard Bowman. In K. Diamantaras, W. Duch, and L.S. Iliadis, editors, International Conference on Artificial Neural Networks, volume 6354 of Lecture Notes in Computer Science, page 504–509. Springer-Verlag, July 2010.
• Using event-related potentials to distinguish mirror effect types: Evidence from a modified directed forgetting procedure (item-method) [Abstract].. K. C. Dietz, J. C. van Hooff, and H Bowman. Beiträge zur 52. Tagung experimentell arbeitender Psychologen (TeaP): 22-24th March 2010, Universität des Saarlandes, Saarbrücken, Germany. Lengerich, Westphalia, Germany: Pabst Science Publishers, March 2010. This is the German equivalent of the annual Experimental Psychology Society [EPS] meeting in the UK.
• The delayed consolidation hypothesis of all-or-none conscious perception during the attentional blink, applying the ST² framework. Howard Bowman, Patrick Craston, Srivas Chennu, and Brad Wyble. In Proceedings of the 31st Annual Conference of the Cognitive Science Society, pages 2152-2157. Cognitive Science Society, July 2009.
• The influence of target discriminability on the time course of attentional selection. Srivas Chennu, Patrick Craston, Brad Wyble, and Howard Bowman. In Proceedings of the 31th Annual Conference of the Cognitive Science Society, pages 1506-1511. Cognitive Science Society, July 2009.
• Towards a competitive learning model of mirror effects in yes/no recognition memory tests. K. C. Dietz, H. Bowman, and J. C. van Hooff. In J. Mayor, N. Ruh, and K. Plunkett, editors, Connectionist models of behaviour and cognition II, number 18 in Progress in Neural Processing, pages 129-140. World Scientific: London, July 2008. Proceedings of the 11th Neural Computation and Psychology Workshop (NCPW11), University of Oxford, UK, 16-18 July 2008.
• Transient attentional enhancement during the attentional blink: ERP correlates of the ST² model. Srivas Chennu, Patrick Craston, Brad Wyble, and Howard Bowman. In Robert M. French and Elizabeth Thomas, editors, FROM ASSOCIATIONS TO RULES: Connectionist Models of Behavior and Cognition, volume 17 of Progress in Neural Processing, World Scientific Publishing (UK) Ltd., 57 Shelton Street, London WC2H 9HE, U.K., January 2008. World Scientific.
• Efficient Detection of Zeno Runs in Timed Automata. Rodolfo Gomez and Howard Bowman. In J.-F. Raskin and P.S. Thiagarajan, editors, 5th International Conference FORMATS 2007 (Formal Modelling and Analysis of Timed Systems), volume 4763 of LNCS, pages 195-210, Salzburg, Austria, October 2007. Springer.
• Performance of reactive interfaces in stimulus rich environments, applying formal methods and cognitive frameworks. Li Su, Howard Bowman, and Philip Barnard. In The 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007). Workshop held in conjunction with HCI 2007, page 17. To appear in Electronic Notes in Theoretical Computer Science, September 2007.
• Attentional capture by meaning: A multi-level modelling study. Li Su, Howard Bowman, and Philip Barnard. In Proceedings of the 29th Annual meeting of the cognitive science society (CogSci 2007), page 6. To appear, August 2007.
• An investigation of the myopia for future consequences theory of VMF patient behaviour on the Iowa Gambling Task: An abstract neural network simulation. Kiran Kalidindi, Howard Bowman, and Brad Wyble. In Angelo Cangelosi, Guido Bugmann, and Roman Borisyuk, editors, Progress in Neural Processing, volume 9. World Scientific, 2005.
• Symbolic encoding of neural networks using communicating automata with applications to verification of neural network based controllers. Li Su, Howard Bowman, and Brad Wyble. In Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy’05, page 4, Edinburgh, UK, August 2005. Position paper.
• Computational and experimental evaluation of the attentional blink: Testing the simultaneous type serial token model. B. Wyble and H. Bowman. In Bruno G. Bara, Lawrence W. Barsalou, and Monica Bucciarelli, editors, CogSci 2005, XXVII Annual Conference of the Cognitive Science Society, pages 2371-2376. Cognitive Science Society, Cognitive Science Society through Lawrence Erlbaum, July 2005.
• A consideration of decision-making, motivation and emotions within Dual Process theory: supporting evidence from Somatic-Marker theory. Kiran Kalidindi, Howard Bowman, and Brad Wyble. In Dylan Evans and Lola Canamero, editors, Proceedings of the Symposium on Agents that Want and Like: Motivational and Emotional Roots of Cognition and Action - SSAISB 2005 Convention. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (www.aisb.org.uk), April 2005.
• Modelling the Slow Emotional Stroop Effect: Suppression of Cognitive Control. Wyble B, Sharma D, and Bowman H. In Angelo Cangelosi, Guido Bugmann, and Roman Borisyuk, editors, Proceedings of the Neural Computation and Psychology Workshop, January 2005.
• Computational modelling of the attentional blink. Bowman H and Wyble B. In Angelo Cangelosi, Guido Bugmann, and Roman Borisyuk, editors, Proceedings of the Neural Computation and Psychology Workshop, volume 9, January 2005.
• The attentional blink at 20 items/sec, model prediction and empirical validation of lag-2 sparing. B Wyble and H Bowman. In Christian Schunn, editor, Proceedings of the International Conference on Cognitive Modelling, October 2004.
• A tool for the syntactic detection of zeno-timelocks in timed automata. H. Bowman, R. Gomez, and L. Su. In Proceedings of the 6th AMAST Workshop on Real-Time Systems, page 17, Stirling, Scotland, July 2004. Elsevier. To be published in ENTCS.
• Towards a Neural Network Model of the Attentional Blink. H. Bowman, B. Wyble, and P.J. Barnard. In H. Bowman and C. Labiouse, editors, Proceedings of the Eighth Neural Computation and Psychology Workshop, Connectionist Models of Cognition and Perception II, volume 15 of Progress in Neural Processing, pages 178-187, Singapore, April 2004. World Scientific.
• Proceedings of the eighth neural computation and psychology workshop, connectionist models of cognition and perception ii. H. Bowman and C. Labiouse, editors, volume 15 of Progress in Neural Processing, Singapore, April 2004. World Scientific.
• Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. Rodolfo Gomez and Howard Bowman. In H Konig, M Heiner, and A Wolisz, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2003. Proceedings of the 23rd IFIP WG 6.1 International Conference, number 2767 in LNCS, pages 177-192, Berlin, Germany, September 2003. Springer.
• Towards a neural network model of the attentional blink (abstract). H. Bowman and P.J. Barnard. In Steven Grossberg, editor, Proceedings of Seventh International Conference on Cognitive and Neural Systems, May 2003, page 31. Centre for Adaptive Systems and the Department of Cognitive and Neural Systems, Boston University, May 2003.
• Neural network modelling of inhibition in visuo-motor control. H. Bowman, A. Aron, F. Schlaghecken, and M. Eimer. In John A. Bullinaria and Will Lowe, editors, Proceedings of the Seventh Neural Computation and Psychology Workshop: Connectionist Models of Cognition and Perception, pages 209-222. World Scientific, September 2002.
• A connectionist model of inhibition in masked priming (abstract). H. Bowman, F. Schlaghecken, and M. Eimer. In Stephen Grossberg, editor, Proceedings of Sixth International Conference on Cognitive and Neural Systems, May 30th - June 1st, 2002, page 1. Centre for Adaptive Systems and the Department of Cognitive and Neural Systems, Boston University, May 2002.
• Time and action lock freedom properties of timed automata. Howard Bowman. In M. Kim, B. Chin, S. Kang, and D. Lee, editors, Formal Techniques for Networked and Distributed Systems, pages 119-134. Kluwer Academic Publishers, August 2001.
• Formal Methods Elsewhere. Howard Bowman, editor, volume 43 of Electronic Notes in Theoretical Computer Science. Elsevier Science, June 2001. A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering.
• Towards stochastic model checking with generalised distributions. H. Bowman, J.W. Bryans, and J. Derrick. In UKPEW 2000, 16th United Kingdom Performance Engineering Workshop, November 2000.
• Specification and analysis of automata-based designs. Jeremy Bryans, Lynne Blair, Howard Bowman, and John Derrick. In W. Grieskamp, T. Stanten, and B. Stoddart, editors, Integrated Formal Methods (IFM 2000), volume 1945 of Lecture Notes in Comuter Science, pages 176-193. Springer, November 2000.
• Towards integrated cognitive and interface analysis. H. Bowman, G. Faconti, and M. Massink. In Howard Bowman, editor, Proceedings of Formal Methods Elsewhere 2000, Pisa, Italy, volume 43 of Electronic Notes in Theoretical Computer Science, page 16. Elsevier Science, October 2000. Available at http://www.elsevier.nl/gej-ng/31/29/23/72/23/show/Products/notes/index.htt.
• Modelling concurrent cognitive architectures using process calculi. H. Bowman. In Sebastiano Bagnara, editor, European Conference on Cognitive Science 1999, pages 161-166. Istituto di Psicologia, CNR, October 1999.
• Modelling timeouts without timelocks. Howard Bowman. In ARTS'99, 5th International AMAST Workshop on Real-time and Probabilistic Systems, volume 1601 of Lecture Notes in Computer Science, pages 334-354. Springer-Verlag, May 1999.
• A junction between state based and behavioural specification. H. Bowman and J. Derrick. In A. Fantechi P. Ciancarini and R. Gorrieri, editors, Formal Methods for Open Object-based Distributed Systems, pages 213-239. Kluwer, February 1999. Invited Paper.
• Consistency of partial process specifications. Maarten Steen, John Derrick, Eerke Boiten, and Howard Bowman. In Armando Haeberer, editor, AMAST'98, page 15. Springer Verlag, January 1999.
• Analysis of a multimedia stream using stochastic process algebra. Howard Bowman, Jeremy Bryans, and John Derrick. In Corrado Priami, editor, Sixth International Workshop on Process Algebras and Performance Modelling, pages 51-69, Nice, September 1998.
• Specification and verification of media constraints using UPPAAL. H. Bowman, G. Faconti, and M. Massink. In 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98, Eurographics Series. Springer-Verlag, August 1998.
• Automatic verification of a lip-synchronisation algorithm using uppaal - extended version. H. Bowman, G. Faconti, J-P. Katoen, D. Latella, and M. Massink. In Bas Luttick Jan Friso Groote and Jos Van Wamel, editors, FMICS'98, Third Internatinoal Workshop on Formal Methods for Industrial Crtical Systems, pages 97-124. CWI, May 1998. Also available as: H. Bowman, G. Faconti, J-P Katoen, D. Latella and M. Massink `Using UPPAAL for the Specification and Verification of a Lip-Sync Protocol' ERCIM Research Report 07/98-R054, July 1998.
• A tableaux method for interval temporal logic with projection. Howard Bowman and Simon J. Thompson. In TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods, volume 1397 of Lecture Notes in AI, pages 108-123. Springer-Verlag, May 1998.
• Synchronization in Multimedia Documents. Helen Cameron, Peter King, Howard Bowman, and Simon Thompson. In Jacques Andre, editor, Electronic Publishing 98. Springer, May 1998.
• A true concurrency semantics for ET-LOTOS. Howard Bowman and Joost-Pieter Katoen. In CSD'98 International Conference on Application of Concurrency to System Design, IEEE Computer Society. IEEE Computer Society Press, March 1998.
• Disjunction of LOTOS specifications. M.W.A. Steen, H. Bowman, J. Derrick, and E.A. Boiten. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97, pages 177-192, Osaka, Japan, November 1997. Chapman & Hall.
• Viewpoint consistency in Z and LOTOS: A case study. E. Boiten, H. Bowman, J. Derrick, and M. Steen. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science, pages 644-664. Springer-Verlag, September 1997.
• Coupling schemas: data refinement and view(point) composition. E.A. Boiten, J. Derrick, H. Bowman, and M. Steen. In D.J. Duke and A.S. Evans, editors, 2nd BCS-FACS Northern Formal Methods Workshop, Workshops in Computing, page 18. Springer-Verlag, July 1997.
• On Behavioural Subtyping in LOTOS. H. Bowman, C. Briscoe-Smith, J. Derrick, and B. Strulo. In H. Bowman and J. Derrick, editors, FMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. Chapman and Hall, July 1997.
• Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. Howard Bowman, Helen Cameron, Peter King, and Simon Thompson. In International Conference on Temporal Logic, Applied Logic Series. Kluwer, July 1997.
• FMOODS'97, IFIP TC6 WG6.1 International Conference on Formal Methods for Open Object-based Distributed Systems. Howard Bowman and John Derrick, editors, volume 2, Canterbury, UK, July 1997. Chapman and Hall.
• Translating LOTOS to Object-Z. J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. In D.J. Duke and A.S. Evans, editors, Northern Formal Methods Workshop, volume 2nd BCS-FACS Northern Formal Methods Workshop of Workshops in Computing. Springer-Verlag, July 1997.
• Extending LOTOS with time: True concurrency perspective. Howard Bowman and John Derrick. In Miquel Bertran and Teodor Rus, editors, ARTS'97, AMAST Workshop on Real-Time Systems, Concurrent and Distributed Software, volume 1231 of Lecture Notes in Computer Science, pages 382-399. Springer-Verlag, May 1997.
• Weak refinement in Z. J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. In J.P. Bowen, M.G. Hinchey, and D.Till, editors, ZUM '97: The Z Formal Specification Notation, volume 1212 of Lecture Notes in Computer Science, pages 369-388, Reading, April 1997. Springer-Verlag.
• Issues in multiparadigm viewpoint specification. E. Boiten, H. Bowman, J. Derrick, and M. Steen. In A. Finkelstein and G. Spanoudakis, editors, SIGSOFT '96 International Workshop on Multiple Perspectives in Software Development (Viewpoints '96), pages 162-166. ACM, October 1996.
• Comparing LOTOS and Z refinement relations. J. Derrick, H. Bowman, E.A. Boiten, and M. Steen. In FORTE/PSTV'96, pages 501-516, Kaiserslautern, Germany, October 1996. Chapman & Hall.
• The specification and conformance of ODP systems. P.F. Linington, J. Derrick, and H. Bowman. In 9th International Workshop on Testing of Communicating Systems, pages 93-114, Darmstadt, Germany, September 1996. IFIP TC6/WG6.1, Chapman & Hall.
• Consistency and refinement for partial specification in Z. E. Boiten, J. Derrick, H. Bowman, and M. Steen. In M.-C. Gaudel and J. Woodcock, editors, FME'96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, volume 1051 of Lecture Notes in Computer Science, pages 287-306. Springer-Verlag, March 1996.
• Viewpoint consistency in ODP, a general interpretation. H. Bowman, E. Boiten, J. Derrick, and M. Steen. In E. Najm and J.-B. Stefani, editors, First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 189-204. Chapman & Hall, March 1996.
• Supporting ODP - translating LOTOS into Z. J. Derrick, E. Boiten, H. Bowman, and M. Steen. In E. Najm and J.-B. Stefani, editors, First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 399-406, Paris, March 1996. Chapman & Hall.
• Unification and multiple views of data in Z. E. Boiten, J. Derrick, H. Bowman, and M. Steen. In J.C. van Vliet, editor, Computing Science in the Netherlands, pages 73-85, Amsterdam, November 1995. Stichting Mathematisch Centrum.
• A true concurrency semantics for quality of service specification and validation. H. Bowman and J. Derrick. In Behcet Sarikaya and Senro Saito, editors, MMNet'95, International Conference on Multimedia and Networking, pages 173-182. IEEE Computer Society Press, September 1995.
• Viewpoints and Objects. J. Derrick, H. Bowman, and M. Steen. In J. P. Bowen and M. G. Hinchey, editors, Ninth Annual Z User Workshop, volume 967 of Lecture Notes in Computer Science, pages 449-468, Limerick, September 1995. Springer-Verlag.
• Some results on cross viewpoint consistency checking. H. Bowman, J. Derrick, and M. Steen. In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 399-412, Brisbane, Australia, February 1995. Chapman and Hall.
• Modelling distributed systems using Z. H. Bowman and J. Derrick. In K. M. George, editor, ACM Symposium on Applied Computing, pages 147-151, Nashville, February 1995. ACM Press.
• Maintaining cross viewpoint consistency using Z. J. Derrick, H. Bowman, and M. Steen. In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 413-424, Brisbane, Australia, February 1995. Chapman and Hall.
• Composition of LOTOS specifications. M. W. A. Steen, H. Bowman, and J. Derrick. In P. Dembinski and M. Sredniawa, editors, Protocol Specification, Testing and Verification, XV, pages 73-88, Warsaw, Poland, January 1995. Chapman & Hall.
• A formal description technique supporting expression of quality of service and media synchronisation. H. Bowman, L. Blair, G.S. Blair, and A.G. Chetwynd. In D. Hutchison, A. Danthine, H. Leopold, and G. Coulson, editors, Multimedia Transport and Teleservices, International COST 237 Workshop, volume 882 of Lecture Notes in Computer Science, pages 145-167. Springer-Verlag, November 1994.
• Modelling garbage collection algorithms. Howard Bowman, John Derrick, and Richard E. Jones. In Proceedings of International Computing Symposium, January 1994. Also in ALP-UK International Workshop on Concurrency in Computational Logic.
• Modelling garbage collection algorithms - extend abstract. Howard Bowman, John Derrick, and Richard E. Jones. In Proceedings of Principles of Distributed Computing'94, January 1994. Extended abstract of CCS94.
• Time versus abstraction in formal description. H. Bowman, G.S. Blair, L. Blair, and A.G. Chetwynd. In Richard Tenney, Paul D. Amer, and Umit Uyar, editors, IFIP Transactions C_22, Proceedings of FORTE`93, Sixth International Conference on Formal Description Techniques, pages 467-482. North-Holland, October 1993.

Miscellaneous

• Compositional detection of Zeno behaviour in Timed Automata. R. Gomez and H. Bowman. Technical Report 12-06, University of Kent, Computing Laboratory, CT2 7NF Canterbury, Kent, UK, December 2006.
• Semantic modulation of temporal attention: Distributed control and levels of abstraction in computational modelling. H. Bowman, Su Li, and P.J. Barnard. Technical Report 9-06, University of Kent, Computing Laboratory, September 2006.
• Performance of reactive interfaces in stimulus rich environments, applying formal methods and cognitive frameworks. H. Bowman, Su Li, and Brad Wyble. Technical Report 6-06, University of Kent, Computing Laboratory, September 2006.
• Emotional modulation of temporal attention, an approach based upon distributed control and formal methods. Su Li, H. Bowman, and P.J. Barnard. Technical Report 10-06, University of Kent, Computing Laboratory, September 2006.
• Attentional capture in stimulus rich computer interfaces. B. Wyble, H. Bowman, and P. Craston. Technical Report 7-06, University of Kent, Computing Laboratory, September 2006.
• Electrophysiological feedback in adaptive human computer interfaces. B. Wyble, P. Craston, and H. Bowman. Technical Report 8-06, University of Kent, Computing Laboratory, September 2006.
• Formal modeling of connectionism using concurrency theory, an approach based on automata and model checking. Li Su, Howard Bowman, and Brad Wyble. Technical Report 1-06, University of Kent, Computing Laboratory, January 2006.
• Using e-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa gambling task. Kiran Kalidindi, Howard Bowman, and Brad Wyble. Technical Report 12-05, University of Kent, Computing Laboratory, Canterbury, Kent, CT2 7NF, UK, October 2005.
• Discrete Timed Automata. Rodolfo Gomez and Howard Bowman. Technical Report 3-05, University of Kent, Computing Laboratory, February 2005.
• How to stop time stopping (preliminary version). Howard Bowman, Rodolfo Gomez, and Li Su. Technical Report 9-04, University of Kent, Computing Laboratory, Canterbury, Kent, CT2 7NF, UK, May 2004.
• A MONA-based Decision Procedure for Propositional Interval Temporal Logic. Rodolfo Gomez and Howard Bowman. Workshop of Interval Temporal Logics and Duration Calculi (part of the 15th European Summer School in Logic, Language and Information, August 2003.
• A connectionist model of inhibitory processes in motor control and its application to a masked priming task. H. Bowman, A. Aron, E. Eimer, and F. Schlaghecken. Technical Report 14-01, University of Kent, Computing Laboratory, November 2001.
• Computational modelling of distributed executive control. H. Bowman and P.J. Barnard. technical report 12-01, University of Kent, Computing Laboratory, Canterbury, Kent, UK, September 2001.
• A Manual for a ModelChecker for Stochastic Automata. David Akehurst, Howard Bowman, Jeremy Bryans, and John Derrick. Technical Report 9-00, Computing Laboratory, University of Kent, December 2000.
• A Complete Axiomatization of Interval Temporal Logic with Projection. Howard Bowman and Simon Thompson. Technical Report 6-00, Computing Laboratory, University of Kent, January 2000.
• A model checking algorithm for stochastic systems. Jeremy Bryans, Howard Bowman, and John Derrick. Technical Report 4-00, University of Kent at Canterbury, Canterbury, Kent, January 2000.
• A formal framework for viewpoint consistency (full version). H. Bowman, M.W.A. Steen, E.A. Boiten, and J. Derrick. Computing Laboratory Technical Report 22-99, University of Kent at Canterbury, Canterbury, Kent, CT2 7NZ, December 1999.
• On time and action lock free description of timed systems. H. Bowman. Technical Report 16-99, Computing Laboratory, University of Kent at Canterbury, December 1999.
• Towards integrated cognitive and interface analysis. H. Bowman, G. Faconti, and M. Massink. Technical Report 1-99, University of Kent at Canterbury, January 1999.
• An interpretation of cognitive theory in concurrency theory. Howard Bowman. Technical Report 8-98, Computing Laboratory, University of Kent at Canterbury, October 1998.
• A Tableau Method for Interval Temporal Logic. Howard Bowman and Simon Thompson. Technical Report 12-97, Computing Laboratory, University of Kent, November 1997.
• Mexitl: Multimedia in Executable Interval Temporal Logic. Howard Bowman, Helen Cameron, Peter King, and Simon Thompson. Technical Report 3-97, Computing Laboratory, University of Kent at Canterbury, May 1997.
• Strategies for consistency checking, the choice of unification. Howard Bowman, Eerke Boiten, John Derrick, and Maarten Steen. Technical Report 5-96*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, February 1996.
• Strategies for consistency checking. Howard Bowman, Eerke Boiten, John Derrick, and Maarten Steen. Technical Report 12-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1995.
• Cross viewpoint consistency in open distributed processing (intra language consistency). Eerke Boiten, Howard Bowman, John Derrick, and Maarten Steen. Technical Report 8-95*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, June 1995.
• Towards a formal model of consistency in odp. Howard Bowman and John Derrick. Technical Report 3-94*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, March 1994.