School of Computing

Publications by Prof Howard Bowman

Also view these in the Kent Academic Repository

Article
Zoumpoulaki, A., Alsufyani, A. and Bowman, H. (2015). Resampling the peak, some dos and don'ts. Psychophysiology 52:444-448.
Wyble, B., Bowman, H. and Nieuwenstein, M. (2015). Comment: On the interplay between working memory consolidation and attentional selection in controlling conscious access: parallel processing at a cost—a comment on ‘The interplay of attention and consciousness in visual search, attentional blink and working memory consolidation’. Philosophical Transactions of the Royal Society B: Biological Sciences 370:1471-1471.
Su, L., Gomez, R. and Bowman, H. (2014). Analysing neurobiological models using communicating automata. Formal Aspects of Computing [Online] 26:1169-1204.
Bowman, H. et al. (2014). Countering Countermeasures: Detecting Identity Lies by Detecting Conscious Breakthrough. PLoS ONE [Online] 9:e90595.
Bowman, H. et al. (2013). Subliminal Salience Search Illustrated: EEG Identity and Deception Detection on the Fringe of Awareness. PLoS ONE [Online] 8:1-21.
Chennu, S. et al. (2013). The cost of space independence in P300-BCI spellers. . Journal of NeuroEngineering and Rehabilitation [Online] 10:1-13.
Bowman, H. et al. (2013). Attention is more than prediction precision [Commentary on target article]. Behavioral and Brain Sciences [Online] 36:206-208.
Wyble, B. et al. (2011). Attentional Episodes in Visual Perception. Journal of Experimental Psychology: General [Online] 140:182-196.
Su, L., Bowman, H. and Barnard, P. (2011). Glancing and then looking: on the role of body, affect, and meaning in cognitive control. Frontiers in Cognition [Online] 2:182-196.
Craston, P. et al. (2009). The attentional blink reveals serial working memory encoding: Evidence from virtual and human event-related potentials. Journal of Cognitive Neuroscience [Online] 21:550-566.
Chennu, S. et al. (2009). Attention Increases the Temporal Precision of Conscious Perception: Verifying the Neural-ST² Model. PLoS Computational Biology [Online] 5:182-196.
Van Hooff, J.C. et al. (2008). Neural correlates of intrusion of emotion words in a modified Stroop task. International Journal of Psychophysiology [Online] 67:23-34.
Wyble, B., Sharma, D. and Bowman, H. (2008). Strategic Regulation of Cognitive Control by Emotional Salience: A Neural Network Model. Cognition and Emotion [Online] 22:1019-1051 .
Bowman, H. et al. (2008). A Reciprocal Relationship Between Bottom-up Trace Strength and the Attentional Blink Bottleneck: Relating the LC-NE and ST<span class='mathrm'><sup>2</sup></span> Models. Brain Research [Online] 1202:25-42.
Wyble, B., Bowman, H. and Potter, M.C. (2008). Categorically Defined Targets Trigger Spatiotemporal Attention. Journal of Experimental Psychology: Human Perception and Performance.
Su, L. et al. (2008). Process Algebraic Modelling of Attentional Capture and Human Electrophysiology in Reactive Systems. Formal Aspects of Computing [Online].
Wyble, B., Bowman, H. and Nieuwenstein, M. (2008). The Attentional Blink provides Episodic Distinctiveness: Sparing at a Cost. Journal of Experimental Psychology: Human Perception and Performance [Online].
Kalidindi, K. and Bowman, H. (2007). Using e-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task. Neural Networks [Online] 20:676-689.
Bowman, H. and Wyble, B. (2007). The Simultaneous Type, Serial Token Model of Temporal Attention and Working Memory. Psychological Review [Online] 114:38-70.
Craston, P., Wyble, B. and Bowman, H. (2006). An EEG study of masking effects in RSVP [Abstract]. Journal of Vision [Online] 6:1016-1016.
Schlaghecken, F., Bowman, H. and Eimer, M. (2006). Dissociating Local and Global Levels of Perceptuo-Motor Control in Masked Priming. Journal of Experimental Psychology: Human Perception and Performance [Online] 32:618-632.
Bowman, H., Schlaghecken, F. and Eimer, M. (2006). A Neural Network Model of Inhibitory Processing in Subliminal Priming. Visual Cognition [Online] 13:401-480.
Wyble, B. and Bowman, H. (2006). A neural network account of binding discrete items into working memory using a distributed pool of flexible resources. Journal of Vision 6:33-33a.
Bowman, H. and Gomez, R. (2006). How to stop time stopping. Formal Aspects of Computing 18:459-493.
Wyble, B. and Bowman, H. (2005). The attentional blink reflects the time course of token binding, computational modeling and empirical data (Abstract). Journal of Vision 5:116a-116a.
Bowman, H., Gomez, R. and Su, L. (2005). A tool for the syntactic detection of zeno-timelocks in timed automata. Electronic Notes in Theoretical Computer Science [Online] 139:25-47.
Barnard, P. and Bowman, H. (2004). Rendering Information Processing Models of Cognition and Affect Computationally Explicit: Distributed Executive Control and the Deployment of Attention. Cognitive Science Quarterly 3:297-328.
Gomez, R. and Bowman, H. (2004). PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. Journal of Applied Non-Classical Logics 14:105-148.
Bowman, H. et al. (2003). Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design [Online] 22:5-38.
Bowman, H. and Thompson, S. (2003). A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. Journal of Logic and Computation [Online] 13:195-239.
Bryans, J.W., Bowman, H. and Derrick, J. (2003). Model Checking Stochastic Automata. ACM Transactions on Computational Logic [Online] 4:452-492.
Bowman, H. et al. (2002). A Formal Framework for Viewpoint Consistency. Formal Methods in System Design [Online] 21:111-166.
Bowman, H. (2001). Formal Methods Elsewhere Bowman, H. ed. Electronic Notes in Theoretical Computer Science [Online] 43:162-163 .
Bowman, H., Bryans, J.W. and Derrick, J. (2001). Analysis of a Multimedia Stream using Stochastic Process Algebra. Computer Journal [Online] 44:230-245.
Bowman, H., Derrick, J. and Brinksma, E. (2000). Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997. IEEE Transactions on Software Engineering [Online] 26:577-578.
Bowman, H., Derrick, J. and Brinksma, E. (2000). Guest Editors Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Transactions on Software Engineering 26:577-578.
Boiten, E. et al. (2000). Viewpoint Consistency in ODP. Computer Networks 34:503-537.
Bowman, H. and Faconti, G. (1999). Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects of Computing [Online] 11:132-159.
Boiten, E. et al. (1999). Constructive consistency checking for partial specification in Z. Science of Computer Programming [Online] 35:29-75.
Bowman, H. et al. (1999). Strategies for consistency checking based on unification. Science of Computer Programming [Online] 33:261-298.
Derrick, J. et al. (1999). Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards and Interfaces [Online] 21:251-272.
Bowman, H. et al. (1998). Automatic Verification of a Lip Synchronisation Protocol using UPPAAL. Formal Aspects of Computing [Online] 10:550-575.
Derrick, J. et al. (1998). Specifying and Refining Internal Operations in Z. Formal Aspects of Computing [Online] 10:125-159.
Bowman, H. (1998). A LOTOS Based Tutorial on Formal Methods for Object Oriented Distributed Systems. New Generation Computing [Online] 16:343-372.
Charles, N., Bowman, H. and Thompson, S. (1997). From ACT-ONE to Miranda, a Translation Experiment. Computer Standards and Interfaces [Online] 19:31-49.
Bowman, H. et al. (1996). Cross-viewpoint consistency in open distributed processing. Software Engineering Journal 11:44-57.
Bowman, H. et al. (1995). FDTs for ODP. Computer Standards and Interfaces [Online] 17:457-479.
Blair, L. et al. (1995). Formal Specification and Verification of Multimedia Systems in Open Distributed Processing. Computer Standards and Interfaces 17:413-436.
Conference or workshop item
Li, C. et al. (2014). EEG-based brain connectivity analysis of states of unawareness. in: Engineering in Medicine and Biology Society (EMBC), 2014 36th Annual International Conference of the IEEE. IEEE, pp. 1002-1005.
Ahmad, J., Ferguson, H.J. and Bowman, H. (2013). An examination of working memory processing across modalities in developmental dyslexia. in: IWORDD - International Workshop on Reading and Developmental Dyslexia.
Ahmad, J., Ferguson, H.J. and Bowman, H. (2012). An electrophysiological and behavioural exploration of the Working Memory deficit in developmental dyslexia. in: Annual PsyPAG 2012 Postgraduate Conference.
Ahmad, J., Ferguson, H.J. and Bowman, H. (2012). Working memory processing in dyslexia: evidence from P300 analysis. in: Experimental Psychology Society Meeting.
Ahmad, J., Ferguson, H.J. and Bowman, H. (2012). An exploration of working memory functioning in dyslexic individuals: Evidence from signal detection theory and P300 analysis. in: Annual British Psychology Society Cognitive Section Conference.
Bowman, H. et al. (2011). Fortunate Conjunctions Revived: Feature Binding with the 2f-ST2 Model. in: Proceedings of the 33rd Annual Conference of the Cognitive Science Society. Cognitive Science Society, pp. 182-196.
Dietz, K.C., Van Hooff, J.C. and Bowman, H. (2010). Using event-related potentials to distinguish mirror effect types: Evidence from a modified directed forgetting procedure (item-method) {A}bstract. in: Frings, C. et al. eds. Lengerich, Westphalia, Germany: Pabst Science Publishers, pp. 182-196.
Su, L., Barnard, P. and Bowman, H. (2010). On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions. in: Diamantaras, K., Duch, W. and Iliadis, L. S. eds. Springer-Verlag, pp. 182-196.
Bowman, H. et al. (2009). The delayed consolidation hypothesis of all-or-none conscious perception during the attentional blink, applying the ST<span class='mathrm'><sup>2</sup></span> framework. in: Proceedings of the 31st Annual Conference of the Cognitive Science Society. pp. 1-6.
Chennu, S. et al. (2009). The influence of target discriminability on the time course of attentional selection. in: Proceedings of the 31th Annual Conference of the Cognitive Science Society. pp. 1-6.
Dietz, K.C., Bowman, H. and Van Hooff, J.C. (2008). Towards a competitive learning model of mirror effects in yes/no recognition memory tests. in: Mayor, J., Ruh, N. and Plunkett, K. eds. Connectionist models of behaviour and cognition II. World Scientific: London, pp. 129-140.
Chennu, S. et al. (2008). Transient Attentional Enhancement during the Attentional Blink: ERP correlates of the ST<span class='mathrm'><sup>2</sup></span> model. in: French, R. M. and Thomas, E. eds. From Associations to Rules: Connectionist Models of Behavior and Cognition. World Scientific Publishing: World Scientific.
Su, L., Bowman, H. and Barnard, P. (2007). Attentional capture by meaning: A multi-level modelling study. in: 29th Annual meeting of the cognitive science society (CogSci 2007). Taylor & Francis Group, p. 6.
Gomez, R. and Bowman, H. (2007). Efficient Detection of Zeno Runs in Timed Automata. in: Raskin, J. -F. and Thiagarajan, P. S. eds. 5th International Conference FORMATS 2007 (Formal Modelling and Analysis of Timed Systems). Salzburg, Austria: Springer, pp. 195-210.
Sharma, D., Wyble, B. and Bowman, H. (2007). Modulation of Cognitive Control by Negative Affect. Experimental Verification of a Connectionist Model of the Emotional Stroop. in: Experimental Psychology Society conference .
Su, L., Bowman, H. and Barnard, P. (2007). Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. in: The 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007). Workshop held in conjunction with HCI 2007. Elsevier , pp. 95-111.
Kalidindi, K., Bowman, H. and Wyble, B. (2005). An investigation of the myopia for future consequences theory of VMF patient behaviour on the Iowa Gambling Task: An abstract neural network simulation. in: Cangelosi, A., Bugmann, G. and Borisyuk, R. eds. Progress in Neural Processing. World Scientific, pp. 331-335.
Wyble, B. and Bowman, H. (2005). Computational and Experimental Evaluation of the Attentional Blink: Testing the Simultaneous Type Serial Token Model. in: Bara, B. G., Barsalou, L. W. and Bucciarelli, M. eds. CogSci 2005, XXVII Annual Conference of the Cognitive Science Society. Mahwah, New Jersey (USA): Cognitive Science Society through Lawrence Erlbaum, pp. 2371-2376.
Kalidindi, K., Bowman, H. and Wyble, B. (2005). A consideration of decision-making, motivation and emotions within Dual Process theory: supporting evidence from Somatic-Marker theory and simulations of the Iowa Gambling task. in: Evans, D. and Canamero, L. eds. AISB’05: Social Intelligence and Interaction in Animals, Robots and Agents. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour, pp. 51-54.
Bowman, H. and Wyble, B. (2005). Computational Modelling of the Attentional Blink. in: Cangelosi, A., Bugmann, G. and Borisyuk, R. eds. Proceedings of the Neural Computation and Psychology Workshop. World Scientific Publication.
Su, L., Bowman, H. and Wyble, B. (2005). Symbolic Encoding of Neural Networks using Communicating Automata with Applications to Verification of Neural Network Based Controllers. in: Nineteenth International Joint Conference on Artificial Intelligence.
Bowman, H., Wyble, B. and Barnard, P. (2004). Towards a Neural Network Model of the Attentional Blink. in: Bowman, H. and Labiouse, C. eds. Proceedings of the Eighth Neural Computation and Psychology Workshop, Connectionist Models of Cognition and Perception II. Singapore: World Scientific, pp. 178-187.
Wyble, B. and Bowman, H. (2004). The Attentional Blink at 20 items/sec, Model Prediction and Empirical Validation of Lag-2 Sparing. in: Schunn, C. ed. Proceedings of the International Conference on Cognitive Modelling. pp. 400-401.
Bowman, H. and Barnard, P. (2003). Towards a Neural Network Model of the Attentional Blink (Abstract). in: Grossberg, S. ed. Proceedings of Seventh International Conference on Cognitive and Neural Systems, May 2003.
Gomez, R. and Bowman, H. (2003). Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. in: Konig, H., Heiner, M. and Wolisz, A. eds. Formal Techniques for Networked and Distributed Systems - FORTE 2003. Proceedings of the 23rd IFIP WG 6.1 International Conference. Berlin, Germany: Springer, pp. 177-192.
Bowman, H., Schlaghecken, F. and Eimer, M. (2002). A Connectionist Model of Inhibition in Masked Priming (abstract). in: Grossberg, S. ed. Proceedings of Sixth International Conference on Cognitive and Neural Systems, May 30th - June 1st, 2002. Boston: Boston University.
Bowman, H., Schlaghecken, F. and Eimer, M. (2002). Neural Network Modelling of Inhibition in Visuo-Motor Control. in: Bullinaria, J. A. and Lowe, W. eds. Proceedings of the Seventh Neural Computation and Psychology Workshop: Connectionist Models of Cognition and Perception. World Scientific, pp. 209-222.
Bowman, H. (2001). Time and Action Lock Freedom Properties of Timed Automata. in: Kim, M. et al. eds. Formal Techniques for Networked and Distributed Systems. Kluwer Academic Publishers, pp. 119-134.
Bowman, H., Faconti, G. and Massink, M. (2000). Towards Integrated Cognitive and Interface Analysis. in: Bowman, H. ed. Proceedings of Formal Methods Elsewhere 2000, Pisa, Italy. Elsevier Science, pp. 97-112.
Bowman, H., Bryans, J.W. and Derrick, J. (2000). Towards Stochastic Model Checking with Generalised Distributions. in: UKPEW 2000, 16th United Kingdom Performance Engineering Workshop.
Bryans, J.W. et al. (2000). Specification and Analysis of Automata-based Designs. in: Grieskamp, W., Stanten, T. and Stoddart, B. eds. Integrated Formal Methods (IFM 2000). Springer, pp. 176-193.
Bowman, H. (1999). Modelling Concurrent Cognitive Architectures Using Process Calculi. in: Bagnara, S. ed. European Conference on Cognitive Science 1999. Istituto di Psicologia, CNR, pp. 161-166.
Bowman, H. (1999). Modelling Timeouts without Timelocks. in: ARTS'99, 5th International AMAST Workshop on Real-time and Probabilistic Systems. Springer-Verlag, pp. 334-354.
Steen, M. et al. (1999). Consistency of partial process specifications. in: Haeberer, A. M. ed. 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98). Springer-Verlag Berlin, pp. 248-262.
Bowman, H. and Derrick, J. (1999). A Junction between State Based and Behavioural Specification. in: Ciancarini, P., Fantechi, A. and Gorrieri, R. eds. Formal Methods for Open Object-based Distributed Systems. Kluwer, pp. 213-239.
Bowman, H. and Katoen, J.-P. (1998). A True Concurrency Semantics for ET-LOTOS. in: CSD'98 International Conference on Application of Concurrency to System Design. IEEE Computer Society Press, pp. 228-238.
Bowman, H. et al. (1998). Automatic Verification of a Lip-Synchronisation Algorithm Using UPPAAL - Extended Version. in: Groote, J. F., Luttik, B. and van Warnel, J. eds. FMICS'98, Third Internatinoal Workshop on Formal Methods for Industrial Crtical Systems. CWI, pp. 97-124.
Bowman, H., Bryans, J.W. and Derrick, J. (1998). Analysis of a Multimedia Stream using Stochastic Process Algebra. in: Priami, C. ed. Sixth International Workshop on Process Algebras and Performance Modelling. Nice, pp. 51-69.
Bowman, H., Faconti, G. and Massink, M. (1998). Specification and Verification of Media Constraints using UPPAAL. in: 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98. Springer-Verlag, pp. 261-277.
Cameron, H. et al. (1998). Synchronization in Multimedia Documents. in: Andre, J. ed. Electronic Publishing 98. Springer, pp. 355-369.
Bowman, H. and Thompson, S. (1998). A Tableaux Method for Interval Temporal Logic with Projection. in: TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods. Springer-Verlag, pp. 108-123.
Derrick, J. et al. (1997). Translating LOTOS to Object-Z. in: Duke, D. J. and Evans, A. S. eds. 2nd BCS-FACS Northern Formal Methods Workshop : Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop. Springer-Verlag.
Boiten, E. et al. (1997). Viewpoint consistency in Z and LOTOS: A case study. in: Fitzgerald, J., Jones, C. B. and Lucas, P. eds. Springer-Verlag, pp. 644-664.
Derrick, J. et al. (1997). Weak refinement in Z. in: Bowen, J. P., Hinchey, M. G. and Till, D. eds. Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation . Reading: Springer-Verlag, pp. 369-388.
Bowman, H. and Derrick, J. (1997). Extending LOTOS with time: A true concurrency perspective. in: Bertran, M. and Rus, T. eds. 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (ARTS 97). Springer-Verlag, Berlin, Germany, pp. 383-399.
Bowman, H. et al. (1997). Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. in: International Conference on Temporal Logic. Kluwer.
Steen, M. et al. (1997). Disjunction of LOTOS specifications. in: Mizuno, T. et al. eds. Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97. Osaka, Japan: Chapman & Hall, pp. 177-192.
Boiten, E. et al. (1997). Coupling schemas: data refinement and view(point)composition. in: Duke, D. J. and Evans, A. S. eds. Northern formal methods. Springer-Verlag.
Bowman, H. et al. (1997). On Behavioural Subtyping in LOTOS. in: Bowman, H. and Derrick, J. eds. FMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. Chapman and Hall, pp. 335-351.
Bowman, H. and Derrick, J. (1997). Extending LOTOS with Time: True Concurrency Perspective. in: Bertran, M. and Rus, T. eds. ARTS'97, AMAST Workshop on Real-Time Systems, Concurrent and Distributed Software. Springer-Verlag, pp. 382-399.
Boiten, E. et al. (1996). Issues in multiparadigm viewpoint specification. in: Finkelstein, A. and Spanoudakis, G. eds. ACM, pp. 162-166.
Derrick, J. et al. (1996). Comparing LOTOS and Z refinement relations. in: Kaiserslautern, Germany: Chapman & Hall, pp. 501-516.
Boiten, E. et al. (1996). Consistency and refinement for partial specification in Z. in: Gaudel, M. C. and Woodcock, J. eds. Springer-Verlag, pp. 287-306.
Derrick, J. et al. (1996). Supporting ODP - Translating LOTOS into Z. in: Najm, E. and Stefani, J. -B. eds. Paris: Chapman & Hall, pp. 399-406.
Bowman, H. et al. (1996). Viewpoint consistency in ODP, a general interpretation. in: Najm, E. and Stefani, J. -B. eds. Chapman & Hall, pp. 189-204.
Linington, P.F., Derrick, J. and Bowman, H. (1996). The specification and conformance of ODP systems. in: 9th International Workshop on Testing of Communicating Systems. Darmstadt, Germany: Chapman & Hall, pp. 93-114.
Derrick, J., Bowman, H. and Steen, M. (1995). Maintaining Cross Viewpoint Consistency using Z. in: Raymond, K. and Armstrong, L. eds. Brisbane, Australia: Chapman and Hall, pp. 413-424.
Steen, M., Bowman, H. and Derrick, J. (1995). Composition of LOTOS specifications. in: Dembinski, P. and Sredniawa, M. eds. Warsaw, Poland: Chapman & Hall, pp. 73-88.
Boiten, E. et al. (1995). Unification and multiple views of data in Z. in: van Vliet, J. C. ed. Amsterdam: Stichting Mathematisch Centrum, pp. 73-85.
Bowman, H. and Derrick, J. (1995). A True Concurrency Semantics for Quality of Service Specification and Validation. in: Sarikaya, B. and Saito, S. eds. MMNet'95, International Conference on Multimedia and Networking. IEEE Computer Society Press, pp. 173-182.
Derrick, J., Bowman, H. and Steen, M. (1995). Viewpoints and Objects. in: Bowen, J. P. and Hinchey, M. G. eds. Limerick: Springer-Verlag, pp. 449-468.
Bowman, H. and Derrick, J. (1995). Modelling Distributed Systems using Z. in: George, K. M. ed. Nashville: ACM Press, pp. 147-151.
Bowman, H., Derrick, J. and Steen, M. (1995). Some Results on Cross Viewpoint Consistency Checking. in: Raymond, K. and Armstrong, L. eds. Brisbane, Australia: Chapman and Hall, pp. 399-412.
Bowman, H. et al. (1994). A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. in: Hutchison, D. et al. eds. Multimedia Transport and Teleservices, International COST 237 Workshop. Springer-Verlag, pp. 145-167.
Bowman, H., Derrick, J. and Jones, R.E. (1994). Modelling Garbage Collection Algorithms --- Extend abstract. in: Proceedings of Principles of Distributed Computing'94.
Bowman, H. et al. (1993). Time Versus Abstraction In Formal Description. in: Tenney, R. L., Amer, P. D. and Uyar, M. U. eds. FORTE 93 - IFIP 6th International Conference on Formal Description Techniques. Elsevier Science Publ B V, pp. 467-482.
Book section
Bowman, H. and Li, S. (2011). Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems. in: Voronkov, A. and Korovina, M. eds. Higher-Order Workshop on Automated Runtime Verification and Debugging, EasyChair Proceedings, Festschrift celebrating Howard Barringer's 60th Birthday. EasyChair.
Bowman, H. et al. (2009). Salience Sensitive Control, Temporal Attention and Stimulus-Rich Reactive Interfaces. in: Roda, C. ed. Human Attention in Digital Environments. Cambridge University Press.
Wyble, B., Sharma, D. and Bowman, H. (2005). Modelling the slow emotional stroop effect: Suppression of cognitive control. in: Cangelosi, A. and Bugmann, G. eds. Modelling Language, Cognition and Action. Proceedings of the Ninth Neural Computation and Psychology Workshop, University of Plymouth, UK 8 - 10 September 2004. Singapore: World Scientific Publishing Company Pte Ltd, pp. 291-300.
Bowman, H. and Derrick, J. (2001). Viewpoints Modelling. in: Bowman, H. and Derrick, J. eds. Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge, UK: Cambridge University Press, pp. 451-475.
Bowman, H. and Derrick, J. (2001). Issues in Formal Methods (chapter 3). in: Bowman, H. and Derrick, J. eds. Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge, UK: Cambridge University Press, pp. 18-35.
Monograph
Su, L., Bowman, H. and Wyble, B. (2006). Formal Modeling of Connectionism using Concurrency Theory, an Approach Based on Automata and Model Checking. UKC.
Gomez, R. and Bowman, H. (2006). Compositional Detection of Zeno Behaviour in Timed Automata. Computing Laboratory.
Bowman, H., Su, L. and Wyble, B. (2006). Performance of Reactive Interfaces in Stimulus Rich Environments, applying Formal Methods and Cognitive Frameworks. UKC.
Wyble, B., Bowman, H. and Craston, P. (2006). Attentional Capture in Stimulus Rich Computer Interfaces. UKC.
Bowman, H., Su, L. and Barnard, P. (2006). Semantic Modulation of Temporal Attention: Distributed Control and Levels of Abstraction in Computational Modelling. UKC .
Wyble, B., Craston, P. and Bowman, H. (2006). Electrophysiological Feedback in Adaptive Human Computer Interfaces. UKC.
Li, S., Bowman, H. and Barnard, P. (2006). Emotional Modulation of Temporal Attention, An Approach based upon Distributed Control and Formal Methods. UKC.
Kalidindi, K., Bowman, H. and Wyble, B. (2005). Using e-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task.
Gomez, R. and Bowman, H. (2005). Discrete Timed Automata. UKC.
Bowman, H., Gomez, R. and Su, L. (2004). How to stop time stopping (preliminary version). University of Kent.
Gomez, R. and Bowman, H. (2003). A MONA-based Decision Procedure for Propositional Interval Temporal Logic. Kent University.
Bowman, H. et al. (2001). A Connectionist Model of Inhibitory Processes in Motor Control and its Application to a Masked Priming Task. Computing Laboratory, University of Kent, Canterbury.
Bowman, H. and Barnard, P. (2001). Computational Modelling of Distributed Executive Control. UKC.
Bowman, H. and Thompson, S. (2000). A Complete Axiomatization of Interval Temporal Logic with Projection. University of Kent.
Akehurst, D.H. et al. (2000). A Manual for a ModelChecker for Stochastic Automata. n/a.
Bryans, J.W., Bowman, H. and Derrick, J. (2000). A Model Checking Algorithm for Stochastic Systems. University of Kent.
Bowman, H. et al. (1999). A Formal Framework for Viewpoint Consistency (full version).
Bowman, H. (1999). On Time and Action Lock Free Description of Timed Systems.
Bowman, H., Faconti, G. and Massink, M. (1999). Towards Integrated Cognitive and Interface Analysis.
Bowman, H. (1998). An Interpretation of Cognitive Theory in Concurrency Theory. University of Kent.
Bowman, H. and Thompson, S. (1997). A Tableau Method for Interval Temporal Logic. University of Kent at Canterbury.
Bowman, H. et al. (1997). Mexitl: Multimedia in Executable Interval Temporal Logic. University of Kent.
Bowman, H. et al. (1996). Strategies for Consistency Checking, the Choice of Unification. UKC.
Bowman, H. et al. (1995). Strategies for Consistency Checking. University of Kent, Computing Laboratory.
Boiten, E. et al. (1995). Cross Viewpoint Consistency in Open Distributed Processing (Intra language consistency). UKC.
Bowman, H. and Derrick, J. (1994). Towards a Formal Model of Consistency in ODP. University of Kent, Computing Laboratory.
Book
Bowman, H. and Gomez, R. (2006). Concurrency Theory, Calculi and Automata for Modelling Untimed and Timed Concurrent Systems. London: Springer.
Bowman, H. and Derrick, J. (2001). Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Bowman, H. and Derrick, J. eds. Cambridge, UK: Cambridge University Press.
Bowman, H. and Thompson, S. (1998). A tableau method for interval temporal logic with projection. deSwart, H. ed. Springer-Verlag Berlin.
Blair, G.S. et al. (1997). Formal Specification of Distributed Multimedia Systems. University College London Press.
Review
Bowman, H. et al. (1995). Formal description of distributed multimedia systems: An assessment of potential techniques. [Online] 18:964-977.
Showing 150 of 151 total publications in KAR. [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 24/04/2015