School of Computing

Publications by Prof Howard Bowman

Also view these in the Kent Academic Repository

Article
Bonkhoff, A., Hope, T., Bzdok, D., Guggisberg, A., Hawe, R., Dukelow, S., Rehme, A., Fink, G., Grefkes, C. and Bowman, H. (2020). Bringing Proportional Recovery into Proportion: Bayesian Modelling of Post-Stroke Motor Impairment. Brain [Online] 143:2189-2206. Available at: https://doi.org/10.1093/brain/awaa146.
Coulborn, S., Bowman, H., Miall, C. and Fernández-Espejo, D. (2020). Effect of tDCS Over the Right Inferior Parietal Lobule on Mind-Wandering Propensity. Frontiers in Human Neuroscience:1-20.
Jones, W., Pincham, H., Gootjes-Dreesbach, E. and Bowman, H. (2020). Fleeting Perceptual Experience and the Possibility of Recalling Without Seeing. Scientific Reports [Online] 10. Available at: https://doi.org/10.1038/s41598-020-64843-2.
Witon, A., Shirazibeheshti, A., Cooke, J., Aviles, A., Adapa, R., Menon, D., Chennu, S., Bekinschtein, T., David Lopez, J., Litvak, V., Li, L., Friston, K. and Bowman, H. (2020). Sedation Modulates Frontotemporal Predictive Coding Circuits and the Double Surprise Acceleration Effect. Cerebral Cortex [Online]. Available at: https://doi.org/10.1093/cercor/bhaa071.
Aviles, A., Bowman, H. and Wyble, B. (2020). On the limits of evidence accumulation of the preconscious percept. Cognition [Online] 195:104080. Available at: https://doi.org/10.1016/j.cognition.2019.104080.
Alsufyani, A., Hajilou, O., Zoumpoulaki, A., Filetti, M., Solomon, C., Gibson, S., Alroobaea, R. and Bowman, H. (2019). Breakthrough Percepts of Famous Faces. Psychophysiology [Online] 56 Article number:13279. Available at: https://doi.org/10.1111/psyp.13279.
Hope, T., Friston, K., Price, C., Leff, A., Rotshtein, P. and Bowman, H. (2019). Recovery After Stroke: Not So Proportional After All?. Brain [Online] 142:15-22. Available at: https://doi.org/10.1093/brain/awy302.
Michelmann, S., Staresina, B., Bowman, H. and Hanslmayr, S. (2019). Speed of time-compressed forward replay flexibly changes in human episodic memory. Nature Human Behavior [Online] 3:143-154. Available at: https://doi.org/10.1038/s41562-018-0491-4.
Michelmann, S., Treder, M., Griffiths, B., Kerrén, C., Roux, F., Wimber, M., Rollings, D., Sawlani, V., Chelvarajah, R., Gollwitzer, S., Kreiselmeyer, G., Hamer, H., Bowman, H., Staresina, B. and Hanslmayr, S. (2018). Data-driven re-referencing of intracranial EEG based on independent component analysis (ICA). Journal of Neuroscience Methods [Online] 307:125-137. Available at: https://doi.org/10.1016/j.jneumeth.2018.06.021.
Michelmann, S., Bowman, H. and Hanslmayr, S. (2018). Replay of Stimulus-specific Temporal Patterns during Associative Memory Formation. Journal of Cognitive Neuroscience [Online] 30:1577-1589. Available at: https://doi.org/10.1162/jocn_a_01304.
Shirazibeheshti, A., Cooke, J., Chennu, S., Adapa, R., Menon, D., Hojjatoleslami, A., Witon, A., Li, L., Bekinschtein, T. and Bowman, H. (2018). Placing Meta-stable States of Consciousness within the Predictive Coding Hierarchy: the Deceleration of the Accelerated Prediction Error. Consciousness and Cognition [Online] 63:123-142. Available at: https://doi.org/10.1016/j.concog.2018.06.010.
Parish, G., Hanslmayr, S. and Bowman, H. (2018). The Sync/deSync model: How a synchronized hippocampus and a de-synchronized neocortex code memories. The Journal of Neuroscience [Online] 38:3428-3440. Available at: https://doi.org/10.1523/JNEUROSCI.2561-17.2018.
Lorca-Puls, D., Gajardo-Vidal, A., White, J., Seghier, M., Leff, A., Green, D., Crinion, J., Ludersdorfer, P., Hope, T., Bowman, H. and Price, C. (2018). The impact of sample size on the reproducibility of voxel-based lesion-deficit mappings. Neuropsychologia [Online]. Available at: https://doi.org/10.1016/j.neuropsychologia.2018.03.014.
Gajardo-Vidal, A., Lorca-Puls, D., Crinion, J., White, J., Seghier, M., Leff, A., Hope, T., Ludersdorfer, P., Green, D., Bowman, H. and Price, C. (2018). How distributed processing produces false negatives in voxel-based lesion-deficit analyses. Neuropsychologia [Online]. Available at: https://doi.org/10.1016/j.neuropsychologia.2018.02.025.
Mazaheri, A., Segaert, K., Olichney, J., Yang, J., Niu, Y., Shapiro, K. and Bowman, H. (2017). EEG oscillations during word processing predict MCI conversion to Alzheimer’s disease. NeuroImage: Clinical [Online] 17:188-197. Available at: http://dx.doi.org/10.1016/j.nicl.2017.10.009.
Ahmad, J., Swan, G., Bowman, H., Wyble, B., Nobre, A., Shapiro, K. and McNab, F. (2017). Competitive interactions affect working memory performance for both simultaneous and sequential stimulus presentation. Scientific Reports [Online] 7. Available at: https://doi.org/10.1038/s41598-017-05011-x.
Friston, K., Rosch, R., Parr, T., Price, C. and Bowman, H. (2017). Deep temporal models and active inference. Neuroscience & Biobehavioral Reviews [Online] 77:388-402. Available at: https://doi.org/10.1016/j.neubiorev.2017.04.009.
Simione, L., Akyurek, E., Vastola, V., Raffone, A. and Bowman, H. (2017). Illusions of Integration are Subjectively Impenetrable: Phenomenological Experience of Lag 1 Percepts during Dual-target RSVP. Consciousness and Cognition [Online] 51:181-192. Available at: http://doi.org/10.1016/j.concog.2017.03.004.
Brooks, J., Zoumpoulaki, A. and Bowman, H. (2016). Data-driven region-of-interest selection without inflating Type I error rate. Psychophysiology [Online] 54:100-113. Available at: http://dx.doi.org/10.1111/psyp.12682.
Michelmann, S., Bowman, H. and Hanslmayr, S. (2016). The Temporal Signature of Memories: Identification of a General Mechanism for Dynamic Memory Replay in Humans. PLoS Biology [Online] 8:1-27. Available at: http://dx.doi.org/10.1371/journal.pbio.1002528.
Pincham, H., Bowman, H. and Denes, S. (2016). The Experiential Blink: mapping the cost of working memory encoding onto conscious perception in the attentional blink. Cortex [Online] 81:35-49. Available at: http://www.dx.doi.org/10.1016/j.cortex.2016.04.007.
Hanslmayr, S., Staresina, B. and Bowman, H. (2016). Oscillations and Episodic Memory: Addressing the Synchronization/Desynchronization Conundrum. Trends in Neuroscience [Online] 39:16-25. Available at: http://dx.doi.org/10.1016/j.tins.2015.11.004.
Zoumpoulaki, A., Alsufyani, A., Filetti, M., Brammer, M. and Bowman, H. (2015). Latency as a Region Contrast: Measuring ERP Latency Differences with Dynamic Time Warping. Psychophysiology:1-46.
Li, S., Wyble, B., Zhou, L., Wang, K., Wang, Y., Cheung, E., Bowman, H. and Chan, R. (2015). Temporal perception deficits in schizophrenia: integration is the problem, not deployment of attentions. Scientific Reports [Online] 5:1-12. Available at: http://dx.doi.org/10.1038/srep09745.
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. Available at: http://dx.doi.org/10.1007/s00165-014-0294-y.
Bowman, H., Filetti, M., Alsufyani, A., Janssen, D. and Su, L. (2014). Countering Countermeasures: Detecting Identity Lies by Detecting Conscious Breakthrough. PLoS ONE [Online] 9 Article number:90595. Available at: http://dx.doi.org/10.1371/journal.pone.0090595.
Chennu, S., Alsufyani, A., Filetti, M., Owen, A. and Bowman, H. (2013). The cost of space independence in P300-BCI spellers. Journal of NeuroEngineering and Rehabilitation [Online] 10:1-13. Available at: http://dx.doi.org/10.1186/1743-0003-10-82.
Bowman, H., Filetti, M., Wyble, B. and Olivers, C. (2013). Attention is more than prediction precision [Commentary on target article]. Behavioral and Brain Sciences [Online] 36:206-208. Available at: http://dx.doi.org/10.1017/S0140525X12002324.
Bowman, H., Filetti, M., Janssen, D., Li, S., Alsufyani, A. and Wyble, B. (2013). Subliminal Salience Search Illustrated: EEG Identity and Deception Detection on the Fringe of Awareness. PLoS ONE [Online] 8:1-21. Available at: http://dx.doi.org/10.1371/journal.pone.0054258.
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. Available at: http://dx.doi.org/10.3389/fpsyg.2011.00348.
Wyble, B., Potter, M., Bowman, H. and Nieuwenstein, M. (2011). Attentional Episodes in Visual Perception. Journal of Experimental Psychology: General [Online] 140:182-196. Available at: http://dx.doi.org/10.1037/a0023612.
Chennu, S., Craston, P., Wyble, B. and Bowman, H. (2009). Attention Increases the Temporal Precision of Conscious Perception: Verifying the Neural-ST2 Model. PLoS Computational Biology [Online] 5:e1000576. Available at: http://dx.doi.org/10.1371%2Fjournal.pcbi.1000576.
Craston, P., Wyble, B., Chennu, S. and Bowman, H. (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. Available at: http://dx.doi.org/10.1162/jocn.2009.21036.
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. Available at: http://dx.doi.org/10.1080/02699930701597627.
Su, L., Bowman, H. and Barnard, P. (2008). Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. Electronic Notes in Theoretical Computer Science [Online] 208:95-111. Available at: http://dx.doi.org/10.1016/j.entcs.2008.03.109.
Bowman, H., Wyble, B., Chennu, S. and Craston, P. (2008). A Reciprocal Relationship Between Bottom-up Trace Strength and the Attentional Blink Bottleneck: Relating the LC-NE and ST2 Models. Brain Research [Online] 1202:25-42. Available at: http://dx.doi.org/10.1016/j.brainres.2007.06.035.
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]. Available at: http://dx.doi.org/10.1037/a0013902.
Van Hooff, J., Dietz, K., Sharma, D. and Bowman, H. (2008). Neural correlates of intrusion of emotion words in a modified Stroop task. International Journal of Psychophysiology [Online] 67:23-34. Available at: http://dx.doi.org/10.1016/j.ijpsycho.2007.09.002.
Wyble, B., Bowman, H. and Potter, M. (2008). Categorically Defined Targets Trigger Spatiotemporal Attention. Journal of Experimental Psychology: Human Perception and Performance.
Su, L., Bowman, H., Barnard, P. and Wyble, B. (2008). Process Algebraic Modelling of Attentional Capture and Human Electrophysiology in Reactive Systems. Formal Aspects of Computing [Online]. Available at: http://dx.doi.org/10.1007/s00165-008-0094-3.
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. Available at: http://dx.doi.org/10.1016/j.neunet.2007.04.026.
Bowman, H. and Wyble, B. (2007). The Simultaneous Type, Serial Token Model of Temporal Attention and Working Memory. Psychological Review [Online] 114:38-70. Available at: http://dx.doi.org/10.1037/0033-295X.114.1.38.
Bowman, H. and Gomez, R. (2006). How to stop time stopping. Formal Aspects of Computing 18:459-493.
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 [Online] 6:33-33a. Available at: https://doi.org/10.1167/6.6.33.
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. Available at: http://dx.doi.org/10.1037/0096-1523.32.3.618.
Craston, P., Wyble, B. and Bowman, H. (2006). An EEG study of masking effects in RSVP [Abstract]. Journal of Vision [Online] 6:1016-1016. Available at: http://www.journalofvision.org/6/6/1016/.
Bowman, H., Schlaghecken, F. and Eimer, M. (2006). A Neural Network Model of Inhibitory Processing in Subliminal Priming. Visual Cognition [Online] 13:401-480. Available at: http://dx.doi.org/10.1080/13506280444000823.
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. Available at: http://dx.doi.org/doi:10.1016/j.entcs.2005.09.006.
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.
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.
Bryans, J., Bowman, H. and Derrick, J. (2003). Model Checking Stochastic Automata. ACM Transactions on Computational Logic [Online] 4:452-492. Available at: http://dx.doi.org/10.1145/937555.937558.
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. Available at: http://www.cs.kent.ac.uk/pubs/2003/1604.
Bowman, H., Cameron, H., King, P. and Thompson, S. (2003). Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design [Online] 22:5-38. Available at: http://dx.doi.org/10.1023/A:1021736013555.
Bowman, H., Steen, M., Boiten, E. and Derrick, J. (2002). A Formal Framework for Viewpoint Consistency. Formal Methods in System Design [Online] 21:111-166. Available at: http://dx.doi.org/10.1023/A:1016000201864.
Bowman, H. (2001). Formal Methods Elsewhere Bowman, H. ed. Electronic Notes in Theoretical Computer Science [Online] 43:162-163. Available at: http://dx.doi.org/10.1016/S1571-0661(05)81053-9.
Bowman, H., Bryans, J. and Derrick, J. (2001). Analysis of a Multimedia Stream using Stochastic Process Algebra. Computer Journal [Online] 44:230-245. Available at: http://dx.doi.org/10.1093/comjnl/44.4.230.
Boiten, E., Bowman, H., Derrick, J., Linington, P. and Steen, M. (2000). Viewpoint Consistency in ODP. Computer Networks 34:503-537.
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. Available at: http://dx.doi.org/10.1109/TSE.2000.859528.
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.
Bowman, H. and Faconti, G. (1999). Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects of Computing [Online] 11:132-159. Available at: http://dx.doi.org/10.1007/s001650050045.
Boiten, E., Derrick, J., Bowman, H. and Steen, M. (1999). Constructive consistency checking for partial specification in Z. Science of Computer Programming [Online] 35:29-75. Available at: http://dx.doi.org/10.1016/S0167-6423(99)00006-4.
Derrick, J., Boiten, E., Bowman, H. and Steen, M. (1999). Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards and Interfaces [Online] 21:251-272. Available at: http://dx.doi.org/10.1016/S0920-5489(99)00010-0.
Bowman, H., Boiten, E., Derrick, J. and Steen, M. (1999). Strategies for consistency checking based on unification. Science of Computer Programming [Online] 33:261-298. Available at: http://dx.doi.org/10.1016/S0167-6423(98)00017-3.
Derrick, J., Boiten, E., Bowman, H. and Steen, M. (1998). Specifying and Refining Internal Operations in Z. Formal Aspects of Computing [Online] 10:125-159. Available at: http://dx.doi.org/10.1007/s001650050007.
Bowman, H., Faconti, G., Katoen, J., Latella, D. and Massink, M. (1998). Automatic Verification of a Lip Synchronisation Protocol using UPPAAL. Formal Aspects of Computing [Online] 10:550-575. Available at: http://dx.doi.org/10.1007/s001650050032.
Bowman, H. (1998). A LOTOS Based Tutorial on Formal Methods for Object Oriented Distributed Systems. New Generation Computing [Online] 16:343-372. Available at: http://dx.doi.org/10.1007/BF03037429.
Charles, N., Bowman, H. and Thompson, S. (1997). From ACT-ONE to Miranda, a Translation Experiment. Computer Standards and Interfaces [Online] 19:31-49. Available at: http://dx.doi.org/10.1016/S0920-5489(97)00005-6.
Bowman, H., Derrick, J., Linington, P. and Steen, M. (1996). Cross-viewpoint consistency in open distributed processing. Software Engineering Journal 11:44-57.
Bowman, H., Derrick, J., Linington, P. and Steen, M. (1995). FDTs for ODP. Computer Standards and Interfaces [Online] 17:457-479. Available at: http://dx.doi.org/10.1016/0920-5489(95)00021-L.
Blair, L., Blair, G., Bowman, H. and Chetwynd, A. (1995). Formal Specification and Verification of Multimedia Systems in Open Distributed Processing. Computer Standards and Interfaces 17:413-436.
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. Available at: http://www.cs.kent.ac.uk/pubs/2011/3242.
Chennu, S., Bowman, H., Wyble, B. and Craston, P. (2011). Fortunate Conjunctions Revived: Feature Binding with the 2f-ST2 Model. In: 33rd Annual Meeting of the Cognitive Science Society 2011 (CogSci 2011). Austin, Texas, USA: Cognitive Science Society, pp. 2598-2603.
Dietz, K., Van Hooff, J. 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., Mecklinger, A., Wentura, D. and Zimmer, H. eds. Beiträge Zur 52. Tagung Experimentell Arbeitender Psychologen. Lengerich, Westphalia, Germany: Pabst Science Publishers, pp. 182-196. Available at: http://www.cs.kent.ac.uk/pubs/2010/2994.
Bowman, H., Su, L., Wyble, B. and Barnard, P. (2009). Salience Sensitive Control, Temporal Attention and Stimulus-Rich Reactive Interfaces. In: Roda, C. ed. Human Attention in Digital Environments. Cambridge University Press.
Su, L., Bowman, H. and Barnard, P. (2007). Attentional capture by meaning: A multi-level modelling study. In: Cogsci 2007: Proceedings of the 29th Annual Conference of the Cognitive Science Society. Lawrence Erlbaum Associates.
Gomez, R. and Bowman, H. (2007). Efficient Detection of Zeno Runs in Timed Automata. In: Raskin, J.-F. and Thiagarajan, P. eds. Formal Modeling and Analysis of Timed Systems 5th International Conference. Berlin, Germany: Springer, pp. 195-210. Available at: http://dx.doi.org/10.1007/978-3-540-75454-1_15.
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. Proceedings of the Annual Meeting of the Cognitive Science Society. Mahwah, New Jersey, USA: Lawrence Erlbaum, pp. 2371-2376.
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. Modeling Language, Cognition And Action - Proceedings Of The Ninth Neural Computation And Psychology Workshop. World Scientific Publishing, pp. 291-300.
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. Proceedings of the Symposium on Agents That Want and Like: Motivational and Emotional Roots of Cognition and Action. UK: The Society for the Study of Artificial Intelligence and the Simulation of Behaviour, pp. 51-54.
Bowman, H. and Wyble, B. (2005). Modelling the Attentional Blink. In: Cangelosi, A., Bugmann, G. and Borisyuk, R. eds. Modeling Language, Cognition And Action - Proceedings Of The Ninth Neural Computation And Psychology Workshop. World Scientific Publishing.
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. Modeling Language, Cognition And Action - Proceedings Of The Ninth Neural Computation And Psychology Workshop. World Scientific Publishing, pp. 331-335.
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 Sixth International Conference on Cognitive Modeling. Psychology Press, pp. 400-401.
Bowman, H., Wyble, B. and Barnard, P. (2004). Towards a Neural Network Model of the Attentional Blink. In: Bowman, H. and Labiouse, C. eds. Connectionist Models of Cognition and Perception II: Proceedings of the Eighth Neural Computation and Psychology Workshop. Singapore: World Scientific Publishing, pp. 178-187.
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 23rd IFIP WG 6.1 International Conference. Berlin, Germany: Springer, pp. 177-192. Available at: http://dx.doi.org/10.1007/978-3-540-39979-7_12.
Linington, P. (2001). Issues in Distributed Systems. In: Bowman, H. and Derrick, J. eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, pp. 3-17.
Linington, P. (2001). Distributed Systems, an ODP Perspective. In: Bowman, H. and Derrick, J. eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, pp. 18-35.
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.
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.
Kent, S. (2001). The Unified Modeling Language. In: Bowman, H. and Derrick, J. eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, p. 126.
Bryans, J., Blair, L., Bowman, H. and Derrick, J. (2000). Specification and Analysis of Automata-based Designs. In: Grieskamp, W., Stanten, T. and Stoddart, B. eds. Integrated Formal Methods Second International Conference. Berlin, Germany: Springer, pp. 176-193. Available at: http://dx.doi.org/10.1007/3-540-40911-4_11.
Bowman, H. (1999). Modelling Concurrent Cognitive Architectures Using Process Calculi. In: Bagnara, S. ed. Conference Proceedings of the European Conference on Cognitive Science 1999. Istituto di Psicologia, pp. 161-166.
Bowman, H. (1999). Modelling Timeouts without Timelocks. In: Formal Methods for Real-Time and Probabilistic Systems 5th International. Berlin, Germany: Springer, pp. 334-354. Available at: http://dx.doi.org/10.1007/3-540-48778-6_20.
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 IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS). Kluwer Academic, pp. 213-239. Available at: http://dx.doi.org/10.1007/978-0-387-35562-7_18.
Steen, M., Derrick, J., Boiten, E. and Bowman, H. (1999). Consistency of partial process specifications. In: Haeberer, A. ed. Algebraic Methodology and Software Technology 7th International Conference. Berlin, Germany: Springer, pp. 248-262. Available at: https://doi.org/10.1007/3-540-49253-4_19.
Bowman, H., Faconti, G. and Massink, M. (1998). Specification and Verification of Media Constraints using UPPAAL. In: Design, Specification and Verification of Interactive Systems ’98: Proceedings of the Eurographics Workshop. Vienna, Austria: Springer, pp. 261-277. Available at: http://dx.doi.org/10.1007/978-3-7091-3693-5_17.
Cameron, H., King, P., Bowman, H. and Thompson, S. (1998). Synchronization in Multimedia Documents. In: Andre, J. ed. Electronic Publishing, Artistic Imaging, and Digital Typography 7th International Conference on Electronic Publishing. Berlin, Germany: Springer, pp. 355-369. Available at: http://dx.doi.org/10.1007/BFb0053283.
Bowman, H., Faconti, G., Katoen, J., Latella, D. and Massink, M. (1998). Automatic Verification of a Lip-Synchronisation Algorithm Using UPPAAL - Extended Version. In: Groote, J., Luttik, B. and van Warnel, J. eds. FMICS’98, Third International Workshop on Formal Methods for Industrial Crtical Systems. CWI, pp. 97-124.
A True Concurrency Semantics for ET-LOTOS (1998). In: Proceedings of the 1998 International Conference on Application of Concurrency to System Design. IEEE, pp. 228-238. Available at: http://dx.doi.org/10.1109/CSD.1998.657554.
Bowman, H. and Thompson, S. (1998). A tableau method for interval temporal logic with projection. In: deSwart, H. ed. Automated Reasoning With Analytic Tableaux and Related Methods International Conference. Berlin, Germany: Springer, pp. 108-123. Available at: http://dx.doi.org/10.1007/3-540-69778-0_17.
Steen, M., Bowman, H., Derrick, J. and Boiten, E. (1997). Disjunction of LOTOS specifications. In: Mizuno, T., Shiratori, N., Higashino, T. and Togashi, A. eds. Formal Description Techniques and Protocol Specification, Testing and Verification. Boston, Massachusetts, USA: Springer, pp. 177-192. Available at: http://dx.doi.org/10.1007/978-0-387-35271-8_11.
Boiten, E., Bowman, H., Derrick, J. and Steen, M. (1997). Viewpoint consistency in Z and LOTOS: A case study. In: Fitzgerald, J., Jones, C. B. and Lucas, P. eds. FME ’97: Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe. Berlin, Germany: Springer, pp. 644-664. Available at: http://dx.doi.org/10.1007/3-540-63533-5_34.
Bowman, H., Briscoe-Smith, C., Derrick, J. and Strulo, B. (1997). On Behavioural Subtyping in LOTOS. In: Bowman, H. and Derrick, J. eds. Formal Methods for Open Object-Based Distributed Systems. Boston, Massachusetts, USA: Springer, pp. 335-351. Available at: http://dx.doi.org/10.1007/978-0-387-35261-9_23.
Bowman, H. and Derrick, J. (1997). Extending LOTOS with Time: True Concurrency Perspective. In: Bertran, M. and Rus, T. eds. Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software. Berlin, Germany: Springer, pp. 382-399. Available at: http://dx.doi.org/10.1007/3-540-63010-4_26.
Derrick, J., Boiten, E., Bowman, H. and Steen, M. (1997). Weak refinement in Z. In: Bowen, J. P., Hinchey, M. G. and Till, D. eds. ZUM ’97: The Z Formal Specification Notation 10th International Conference of Z Users. Berlin, Germany: Springer, pp. 369-388. Available at: http://dx.doi.org/10.1007/BFb0027298.
Bowman, H. and Derrick, J. (1997). Extending LOTOS with time: A true concurrency perspective. In: Bertran, M. and Rus, T. eds. Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, A. Berlin, Germany: Springer, pp. 383-399. Available at: http://dx.doi.org/10.1007/3-540-63010-4_26.
Boiten, E., Bowman, H., Derrick, J. and Steen, M. (1996). Issues in multiparadigm viewpoint specification. In: Finkelstein, A. and Spanoudakis, G. eds. Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints ’96) on SIGSOFT ’96 Workshops. New York, USA: ACM, pp. 162-166. Available at: http://dx.doi.org/10.1145/243327.243639.
Bowman, H., Boiten, E., Derrick, J. and Steen, M. (1996). Viewpoint consistency in ODP, a general interpretation. In: Najm, E. and Stefani, J.-B. eds. Formal Methods for Open Object-Based Distributed Systems. Boston, Massachusetts, USA: Springer, pp. 189-204. Available at: http://dx.doi.org/10.1007/978-0-387-35082-0_14.
Boiten, E., Derrick, J., Bowman, H. and Steen, M. (1996). Consistency and refinement for partial specification in Z. In: Gaudel, M. and Woodcock, J. eds. FME’96: Industrial Benefit and Advances in Formal Methods Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP. Berlin, Germany: Springer, pp. 287-306. Available at: http://dx.doi.org/10.1007/3-540-60973-3_93.
Derrick, J., Boiten, E., Bowman, H. and Steen, M. (1996). Supporting ODP - Translating LOTOS to Z. In: Najm, E. and Stefani, J.-B. eds. Formal Methods for Open Object-Based Distributed Systems. Boston, Massachusetts, USA: Springer, pp. 399-406. Available at: http://dx.doi.org/10.1007/978-0-387-35082-0_29.
Bowman, H. and Derrick, J. (1995). A True Concurrency Semantics for Quality of Service Specification and Validation. In: Sarikaya, B. and Saito, S. eds. Proceedings of the International Conference on Multimedia Networking: MmNet ’95. IEEE, pp. 173-182.
Bowman, H., Blair, L., Blair, G. and Chetwynd, A. (1994). A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. In: Hutchison, D., Danthine, A., Leopold, H. and Coulson, G. eds. Multimedia Transport and Teleservices International COST 237 Workshop. Berlin, Germany: Springer, pp. 145-167. Available at: http://dx.doi.org/10.1007/3-540-58759-4_33.
Bowman, H., Blair, G., Blair, L. and Chetwynd, A. (1993). Time Versus Abstraction In Formal Description. In: Tenney, R. L., Amer, P. D. and Uyar, M. eds. FORTE ’93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI. Netherlands: North-Holland Publishing Co., pp. 467-482. Available at: https://dl.acm.org/citation.cfm?id=756729.
Monograph
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.
Su, L., Bowman, H. and Wyble, B. (2006). Formal Modeling of Connectionism Using Concurrency Theory, an Approach Based on Automata and Model Checking. 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. Available at: http://www.cs.kent.ac.uk/pubs/2003/1624.
Bowman, H., Aron, A., Eimer, E. and Schlaghecken, F. (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.
Akehurst, D., Bowman, H., Bryans, J. and Derrick, J. (2000). A Manual for a ModelChecker for Stochastic Automata. n/a.
Bowman, H. and Thompson, S. (2000). A Complete Axiomatization of Interval Temporal Logic With Projection. University of Kent.
A Model Checking Algorithm for Stochastic Systems (2000). University of Kent.
Bowman, H. (1999). On Time and Action Lock Free Description of Timed Systems.
Bowman, H., Steen, M., Boiten, E. and Derrick, J. (1999). A Formal Framework for Viewpoint Consistency (full Version).
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., Cameron, H., King, P. and Thompson, S. (1997). Mexitl: Multimedia in Executable Interval Temporal Logic. University of Kent.
Bowman, H., Boiten, E., Derrick, J. and Steen, M. (1996). Strategies for Consistency Checking, the Choice of Unification. UKC.
Bowman, H., Boiten, E., Derrick, J. and Steen, M. (1995). Strategies for Consistency Checking. University of Kent, Computing Laboratory.
Boiten, E., Bowman, H., Derrick, J. and Steen, M. (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.
Conference or workshop item
Li, L., Witon, A., Marcora, S., Bowman, H. and Mandic, D. (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. Available at: http://doi.org/10.1109/EMBC.2014.6943762.
Ahmad, J., Ferguson, H. 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. 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. 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.
Ahmad, J., Ferguson, H. and Bowman, H. (2012). Working memory processing in dyslexia: evidence from P300 analysis. In: Experimental Psychology Society Meeting.
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. Available at: http://www.cs.kent.ac.uk/pubs/2010/3035.
Chennu, S., Craston, P., Wyble, B. and Bowman, H. (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.
Bowman, H., Craston, P., Chennu, S. and Wyble, B. (2009). The delayed consolidation hypothesis of all-or-none conscious perception during the attentional blink, applying the ST2 framework. In: Proceedings of the 31st Annual Conference of the Cognitive Science Society. pp. 1-6.
Dietz, K., Bowman, H. and Van Hooff, J. (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., Craston, P., Wyble, B. and Bowman, H. (2008). Transient Attentional Enhancement during the Attentional Blink: ERP correlates of the ST2 model. In: French, R. M. and Thomas, E. eds. From Associations to Rules: Connectionist Models of Behavior and Cognition. World Scientific Publishing: World Scientific.
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 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. Available at: http://www.ijcai.org/search.php.
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. Available at: http://www.cs.kent.ac.uk/pubs/2003/1622.
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., 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. (2001). Time and Action Lock Freedom Properties of Timed Automata. In: Kim, M., Chin, B., Kang, S. and Lee, D. eds. Formal Techniques for Networked and Distributed Systems. Kluwer Academic Publishers, pp. 119-134.
Bowman, H., Bryans, J. and Derrick, J. (2000). Towards Stochastic Model Checking with Generalised Distributions. In: UKPEW 2000, 16th United Kingdom Performance Engineering Workshop.
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. Available at: http://dx.doi.org/10.1016/S1571-0661(04)80896-X.
Bowman, H., Bryans, J. 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. and Thompson, S. (1998). A Tableau Method for Interval Temporal Logic with Projection. In: TABLEAUX’98, International Conference on Analytic Tableaux and Related Methods.
Bowman, H. and Derrick, J. eds. (1997). FMOODS’97, IFIP TC6 WG6.1 International Conference on Formal Methods for Open Object-based Distributed Systems. In: Canterbury, UK: Chapman and Hall.
Bowman, H., Cameron, H., King, P. and Thompson, S. (1997). Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In: International Conference on Temporal Logic. Kluwer.
Boiten, E., Derrick, J., Bowman, H. and Steen, M. (1997). Coupling schemas: data refinement and view(point) composition. In: Duke, D. J. and Evans, A. eds. 2nd BCS-FACS Conference on Northern Formal Methods. Springer.
Derrick, J., Boiten, E., Bowman, H. and Steen, M. (1997). Translating LOTOS to Object-Z. In: Duke, D. J. and Evans, A. eds. 2nd BCS-FACS Northern Formal Methods Workshop.
Derrick, J., Bowman, H., Boiten, E. and Steen, M. (1996). Comparing LOTOS and Z refinement relations. In: FORTE 96. Kaiserslautern, Germany: Chapman & Hall, pp. 501-516.
Linington, P., 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.
Boiten, E., Derrick, J., Bowman, H. and Steen, M. (1995). Unification and multiple views of data in Z. In: van Vliet, J. ed. Computer Science in the Netherlands 1995. Amsterdam: Stichting Mathematisch Centrum, pp. 73-85.
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., 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.
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.
Bowman, H. and Derrick, J. (1995). Modelling Distributed Systems using Z. In: George, K. ed. Nashville: ACM Press, pp. 147-151.
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.
Bowman, H., Derrick, J. and Jones, R. (1994). Modelling Garbage Collection Algorithms --- Extend abstract. In: Proceedings of Principles of Distributed Computing’94.
Sharma, D., Bowman, H. and Wyble, B. Computational Modelling of the Emotional Stroop Effect. In: Ninth Neural Computation and Psychology Conference.
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.
Blair, G., Blair, L., Bowman, H. and Chetwynd, A. (1997). Formal Specification of Distributed Multimedia Systems. University College London Press.
Thesis
Cooke, J. (2016). Interacting With Consciousness: An Investigation into the Neural Signatures of Conscious Processing Using the Global-Local Auditory Task.
Zoumpoulaki, A. (2016). Detecting Perceptual Breakthrough in RSVP With Applications in Deception Detection Methodological, Behavioural and Electrophysiological Explorations.
Shirazibeheshti, A. (2015). The Effect of Sedation on Conscious Processing: Computational Analysis of the EEG Response to Auditory Irregularity.
Gootjes-Dreesbach, E. (2015). Awareness & Perception in Rapid Serial Visual Presentation.
Edited book
Bowman, H. and Labiouse, C. eds. (2004). Proceedings of the Eighth Neural Computation and Psychology Workshop, Connectionist Models of Cognition and Perception II. Singapore: World Scientific Publishing.
Review
Bowman, H., Blair, G., Blair, L. and Chetwynd, A. (1995). Formal description of distributed multimedia systems: An assessment of potential techniques. Computer Communications [Online] 18:964-977. Available at: http://dx.doi.org/10.1016/0140-3664(96)81596-9.
Forthcoming
Bowman, H., Brooks, J., Hajilou, O., Zoumpoulaki, A. and Litvak, V. (2020). Breaking the Circularity in Circular Analyses: Simulations and Formal Treatment of the Flattened Average Approach. PLoS Computational Biology.
Wyble, B., Callahan-Flintoft, C., Chen, H., Marinov, T., Sarkar, A. and Bowman, H. (2020). Understanding visual attention with RAGNAROC: A Reflexive Attention Gradient through Neural AttRactOr Competition. Psychological Review [Online]. Available at: http://dx.doi.org/10.1037/rev0000245.
ON THE POSSIBILITY OF RECALLING WITHOUT SEEING: EVIDENCE FROM STATE-TRACE ANALYSIS OF THE EXPERIENTIAL BLINK. (2019).
Total publications in KAR: 187 [See all in KAR]

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

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

Last Updated: 20/10/2020