School of Computing

Publications by Prof Howard Bowman

Also view these in the Kent Academic Repository

Article
Champion, T., Grzes, M. and Bowman, H. (2022) "Branching Time Active Inference with Bayesian Filtering", Neural Computation. MIT Press, pp. 2132-2144. doi: 10.1162/neco_a_01529.
Champion, T., Bowman, H. and Grzes, M. (2022) "Branching Time Active Inference: empirical study and complexity class analysis", Neural Networks. Elsevier, pp. 450-466. doi: 10.1016/j.neunet.2022.05.010.
Champion, T., Da Costa, L., Bowman, H. and Grześ, M. (2022) "Branching Time Active Inference: The theory and its generality", Neural Networks. Elsevier, pp. 295-316. doi: 10.1016/j.neunet.2022.03.036.
Champion, T., Grześ, M. and Bowman, H. (2021) "Realising Active Inference in Variational Message Passing: the Outcome-blind Certainty Seeker", Neural Computation. MIT Press. doi: 10.1162/neco_a_01422.
Palaniappan, R., Mouli, S., Bowman, H. and McLoughlin, I. V. (2021) "Investigating the Cognitive Response of Brake Lights in Initiating Braking Action Using EEG", IEEE Transactions on Intelligent Transportation Systems. IEEE, pp. 1-6. doi: 10.1109/TITS.2021.3091291.
Alsufyani, A., Harris, K., Zoumpoulaki, A., Filetti, M. and Bowman, H. (2021) "Breakthrough percepts of famous names", Cortex, pp. 267-281. doi: 10.1016/j.cortex.2021.02.030.
Hellerstedt, R., Moccia, A., Brunskill, C. M., Bowman, H. and Bergström, Z. M. (2021) "Aging Reduces EEG Markers of Recognition Despite Intact Performance: Implications for Forensic Memory Detection", Cortex. Elsevier, pp. 80-97. doi: 10.1016/j.cortex.2021.03.015.
Palaniappan, R., Mouli, S., Fringi, E., Bowman, H. and McLoughlin, I. (2021) "Incandescent Bulb and LED Brake Lights: Novel Analysis of Reaction Times", IEEE Access. IEEE, pp. 29143-29152. doi: 10.1109/ACCESS.2021.3058579.
Gajardo-Vidal, A., Lorca-Puls, D. L., Warner, H., Pshdary, B., Crinion, J. T., Leff, A. P., Hope, T. M., Geva, S., Seghier, M. L., Green, D. W., Bowman, H. and Price, C. (2021) "Damage to Broca's area does not contribute to long-term speech production outcome after stroke", Brain. Oxford University Press. doi: 10.1093/brain/awaa460.
Harris, K., Miller, C., Jose, B., Beech, A. and Bowman, H. (2021) "Breakthrough percepts of online identity: Detecting recognition of email addresses on the fringe of awareness", European Journal of Neuroscience. Wiley. doi: 10.1111/ejn.15098.
Bowman, H., Brooks, J. L., 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. Public Library of Science. doi: 10.1371/journal.pcbi.1008286.
Banellis, L., Sokoliuk, R., Wild, C. J., Bowman, H. and Cruse, D. (2020) "Event-related potentials reflect prediction errors and pop-out during comprehension of degraded speech", Neuroscience of Consciousness. Oxford University Press, pp. 1-13. doi: 10.1093/nc/niaa022.
Garner, K., Bowman, H. and Raymond, J. (2020) "Incentive value and spatial certainty combine additively to determine visual priorities", Attention, Perception, & Psychophysics. Springer. doi: 10.3758/s13414-020-02124-w.
Vidal-Gran, C., Sokoliuk, R., Bowman, H. and Cruse, D. (2020) "Strategic and Non-Strategic Semantic Expectations Hierarchically Modulate Neural Processing", eNeuro. Society for Neuroscience. doi: 10.1523/ENEURO.0229-20.2020.
Bonkhoff, A., Hope, T. M., 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. Oxford University Press, pp. 2189-2206. doi: 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. Frontiers Media, pp. 1-20.
Jones, W., Pincham, H., Gootjes-Dreesbach, E. L. and Bowman, H. (2020) "Fleeting Perceptual Experience and the Possibility of Recalling Without Seeing", Scientific Reports. Nature Publishing Group. doi: 10.1038/s41598-020-64843-2.
Witon, A., Shirazibeheshti, A., Cooke, J., Aviles, A., Adapa, R., Menon, D. K., Chennu, S., Bekinschtein, T. A., 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. Oxford University Press. doi: 10.1093/cercor/bhaa071.
Aviles, A., Bowman, H. and Wyble, B. (2020) "On the limits of evidence accumulation of the preconscious percept", Cognition. Elsevier. doi: 10.1016/j.cognition.2019.104080.
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. American Psychological Association, pp. 1163-1198. doi: 10.1037/rev0000245.
Hosseini, M., Powell, M., Collins, J., Callahan-Flintoft, C., Jones, W., Bowman, H. and Wyble, B. (2020) "I tried a bunch of things: The dangers of unexpected overfitting in classification of brain data", Neuroscience & Biobehavioral Reviews. Elsevier, pp. 456-467. doi: 10.1016/j.neubiorev.2020.09.036.
Alsufyani, A., Hajilou, O., Zoumpoulaki, A., Filetti, M., Solomon, C. J., Gibson, S. J., Alroobaea, R. and Bowman, H. (2019) "Breakthrough Percepts of Famous Faces", Psychophysiology. Wiley. doi: 10.1111/psyp.13279.
Hope, T. M., Friston, K. J., Price, C. J., Leff, A. P., Rotshtein, P. and Bowman, H. (2019) "Recovery After Stroke: Not So Proportional After All?", Brain. Oxford University Press, pp. 15-22. doi: 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. Springer Nature, pp. 143-154. doi: 10.1038/s41562-018-0491-4.
Michelmann, S., Treder, M. S., 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. Elsevier, pp. 125-137. doi: 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. MIT Press, pp. 1577-1589. doi: 10.1162/jocn_a_01304.
Shirazibeheshti, A., Cooke, J., Chennu, S., Adapa, R., Menon, D. K., 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. Elsevier, pp. 123-142. doi: 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. Society for Neuroscience, pp. 3428-3440. doi: 10.1523/JNEUROSCI.2561-17.2018.
Lorca-Puls, D. L., Gajardo-Vidal, A., White, J., Seghier, M. L., Leff, A. P., Green, D. W., Crinion, J. T., Ludersdorfer, P., Hope, T. M., Bowman, H. and Price, C. J. (2018) "The impact of sample size on the reproducibility of voxel-based lesion-deficit mappings", Neuropsychologia. Elsevier. doi: 10.1016/j.neuropsychologia.2018.03.014.
Gajardo-Vidal, A., Lorca-Puls, D. L., Crinion, J. T., White, J., Seghier, M. L., Leff, A. P., Hope, T. M., Ludersdorfer, P., Green, D. W., Bowman, H. and Price, C. J. (2018) "How distributed processing produces false negatives in voxel-based lesion-deficit analyses", Neuropsychologia. Elsevier. doi: 10.1016/j.neuropsychologia.2018.02.025.
Mazaheri, A., Segaert, K., Olichney, J., Yang, J.-C., Niu, Y.-Q., Shapiro, K. L. and Bowman, H. (2017) "EEG oscillations during word processing predict MCI conversion to Alzheimer's disease", NeuroImage: Clinical. Elsevier, pp. 188-197. doi: 10.1016/j.nicl.2017.10.009.
Ahmad, J., Swan, G., Bowman, H., Wyble, B., Nobre, A. C., Shapiro, K. L. and McNab, F. (2017) "Competitive interactions affect working memory performance for both simultaneous and sequential stimulus presentation", Scientific Reports. doi: 10.1038/s41598-017-05011-x.
Friston, K. J., Rosch, R., Parr, T., Price, C. and Bowman, H. (2017) "Deep temporal models and active inference", Neuroscience & Biobehavioral Reviews. Elsevier, pp. 388-402. doi: 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. Elsevier, pp. 181-192. doi: 10.1016/j.concog.2017.03.004.
Brooks, J. L., Zoumpoulaki, A. and Bowman, H. (2016) "Data-driven region-of-interest selection without inflating Type I error rate", Psychophysiology. Wiley, pp. 100-113. doi: 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. Public Library of Science, pp. 1-27. doi: 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. Elsevier, pp. 35-49. doi: 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. Cell Press, pp. 16-25. doi: 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, pp. 1-46.
Li, S., Wyble, B., Zhou, L.- quan, Wang, K., Wang, Y.- na, Cheung, E. F., Bowman, H. and Chan, R. C. (2015) "Temporal perception deficits in schizophrenia: integration is the problem, not deployment of attentions", Scientific Reports. Nature.com, pp. 1-12. doi: 10.1038/srep09745.
Zoumpoulaki, A., Alsufyani, A. and Bowman, H. (2015) "Resampling the peak, some dos and don'ts", Psychophysiology. Society for Psychophysiology research, pp. 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. Royal Society Publishing, pp. 1471-1471.
Su, L., Gomez, R. and Bowman, H. (2014) "Analysing neurobiological models using communicating automata", Formal Aspects of Computing. Springer International, pp. 1169-1204. doi: 10.1007/s00165-014-0294-y.
Bowman, H., Filetti, M., Alsufyani, A., Janssen, D. P. and Su, L. (2014) "Countering Countermeasures: Detecting Identity Lies by Detecting Conscious Breakthrough", PLoS ONE. Public Library of Science. doi: 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. BioMed Central, pp. 1-13. doi: 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. Cambridge University Press, pp. 206-208. doi: 10.1017/S0140525X12002324.
Bowman, H., Filetti, M., Janssen, D. P., Li, S., Alsufyani, A. and Wyble, B. (2013) "Subliminal Salience Search Illustrated: EEG Identity and Deception Detection on the Fringe of Awareness", PLoS ONE, pp. 1-21. doi: 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. Frontiers, pp. 182-196. doi: 10.3389/fpsyg.2011.00348.
Wyble, B., Potter, M. C., Bowman, H. and Nieuwenstein, M. (2011) "Attentional Episodes in Visual Perception", Journal of Experimental Psychology: General. American Psychological Association, pp. 182-196. doi: 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. Public Library of Science (PLOS), p. e1000576. doi: 10.1371/journal.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. MIT Press, USA, pp. 550-566. doi: 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. Psychology Press, pp. 1019-1051. doi: 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. The 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007). Workshop held in conjunction with HCI 2007, Elsevier, pp. 95-111. doi: 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. Elsevier, pp. 25-42. doi: 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. Amer Psychological Assoc, USA. doi: 10.1037/a0013902.
Van Hooff, J. C., Dietz, K. C., Sharma, D. and Bowman, H. (2008) "Neural correlates of intrusion of emotion words in a modified Stroop task", International Journal of Psychophysiology, pp. 23-34. doi: 10.1016/j.ijpsycho.2007.09.002.
Wyble, B., Bowman, H. and Potter, M. C. (2008) "Categorically Defined Targets Trigger Spatiotemporal Attention", Journal of Experimental Psychology: Human Perception and Performance. Amer Psychological Assoc, USA.
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. Springer. doi: 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. Pergamon-Elsevier Science Ltd, pp. 676-689. doi: 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. American Psychological Association, pp. 38-70. doi: 10.1037/0033-295X.114.1.38.
Bowman, H. and Gomez, R. (2006) "How to stop time stopping", Formal Aspects of Computing. Springer London, pp. 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. Association for Research in Vision and Ophthalmology, pp. 33-33a. doi: 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. Amer Psychological Assoc, USA, pp. 618-632. doi: 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, pp. 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. Psychology Press, Taylor & Francis Group, pp. 401-480. doi: 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. Elsevier, pp. 25-47. 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. Association for Research in Vision and Ophthalmology, p. 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. Hermes Science Publications, pp. 297-328.
Gomez, R. and Bowman, H. (2004) "PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic", Journal of Applied Non-Classical Logics. Hermes, pp. 105-148.
Bryans, J. W., Bowman, H. and Derrick, J. (2003) "Model Checking Stochastic Automata", ACM Transactions on Computational Logic. ACM, pp. 452-492. doi: 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. Oxford University Press, pp. 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. Kluwer, pp. 5-38. doi: 10.1023/A:1021736013555.
Bowman, H., Steen, M., Boiten, E. A. and Derrick, J. (2002) "A Formal Framework for Viewpoint Consistency", Formal Methods in System Design. Kluwer, pp. 111-166. doi: 10.1023/A:1016000201864.
Bowman, H. (2001) "Formal Methods Elsewhere", Electronic Notes in Theoretical Computer Science. Edited by H. Bowman. Elsevier, pp. 162-163. doi: 10.1016/S1571-0661(05)81053-9.
Bowman, H., Bryans, J. W. and Derrick, J. (2001) "Analysis of a Multimedia Stream using Stochastic Process Algebra", Computer Journal. Oxford University Press, pp. 230-245. doi: 10.1093/comjnl/44.4.230.
Boiten, E. A., Bowman, H., Derrick, J., Linington, P. F. and Steen, M. (2000) "Viewpoint Consistency in ODP", Computer Networks. Elsevier, pp. 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. IEEE, pp. 577-578. doi: 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. IEEE Computer Society, pp. 577-578.
Bowman, H. and Faconti, G. (1999) "Analysing Cognitive Behaviour using LOTOS and Mexitl", Formal Aspects of Computing. Springer, pp. 132-159. doi: 10.1007/s001650050045.
Boiten, E. A., Derrick, J., Bowman, H. and Steen, M. (1999) "Constructive consistency checking for partial specification in Z", Science of Computer Programming. ELSEVIER SCIENCE BV, PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS, pp. 29-75. doi: 10.1016/S0167-6423(99)00006-4.
Derrick, J., Boiten, E. A., Bowman, H. and Steen, M. (1999) "Viewpoints and consistency: translating LOTOS to Object-z", Computer Standards and Interfaces. Elsevier Science Bv, pp. 251-272. doi: 10.1016/S0920-5489(99)00010-0.
Bowman, H., Boiten, E. A., Derrick, J. and Steen, M. (1999) "Strategies for consistency checking based on unification", Science of Computer Programming. Elsevier Science Bv, pp. 261-298. doi: 10.1016/S0167-6423(98)00017-3.
Derrick, J., Boiten, E. A., Bowman, H. and Steen, M. (1998) "Specifying and Refining Internal Operations in Z", Formal Aspects of Computing. Springer, pp. 125-159. doi: 10.1007/s001650050007.
Bowman, H., Faconti, G., Katoen, J.-P., Latella, D. and Massink, M. (1998) "Automatic Verification of a Lip Synchronisation Protocol using UPPAAL", Formal Aspects of Computing. Springer-Verlag, pp. 550-575. doi: 10.1007/s001650050032.
Bowman, H. (1998) "A LOTOS Based Tutorial on Formal Methods for Object Oriented Distributed Systems", New Generation Computing. Springer-Verlag, pp. 343-372. doi: 10.1007/BF03037429.
Charles, N., Bowman, H. and Thompson, S. (1997) "From ACT-ONE to Miranda, a Translation Experiment", Computer Standards and Interfaces. North-Holland, pp. 31-49. doi: 10.1016/S0920-5489(97)00005-6.
Bowman, H., Derrick, J., Linington, P. F. and Steen, M. (1996) "Cross-viewpoint consistency in open distributed processing", Software Engineering Journal. IEE, pp. 44-57.
Bowman, H., Derrick, J., Linington, P. F. and Steen, M. (1995) "FDTs for ODP", Computer Standards and Interfaces. Elsevier Science Bv, pp. 457-479. doi: 10.1016/0920-5489(95)00021-L.
Blair, L., Blair, G. S., Bowman, H. and Chetwynd, A. G. (1995) "Formal Specification and Verification of Multimedia Systems in Open Distributed Processing", Computer Standards and Interfaces. North-Holland, pp. 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). 33rd Annual Meeting of the Cognitive Science Society 2011 (CogSci 2011), Austin, Texas, USA: Cognitive Science Society, pp. 2598-2603.
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., 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. 29th Annual meeting of the cognitive science society (CogSci 2007), 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. 5th International Conference FORMATS 2007 (Formal Modelling and Analysis of Timed Systems), Berlin, Germany: Springer, pp. 195-210. doi: 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. CogSci 2005, XXVII Annual Conference 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. AISB'05: Social Intelligence and Interaction in Animals, Robots and Agents, 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. Proceedings of the 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. Progress in Neural Processing, 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. Proceedings of the International Conference on Cognitive Modelling, 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. Proceedings of the Eighth Neural Computation and Psychology Workshop, Connectionist Models of Cognition and Perception II, 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. 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. doi: 10.1007/978-3-540-39979-7_12.
Linington, P. F. (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. F. (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. W., 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. Integrated Formal Methods (IFM 2000), Berlin, Germany: Springer, pp. 176-193. doi: 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. 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. ARTS'99, 5th International AMAST Workshop on Real-time and Probabilistic Systems, Berlin, Germany: Springer, pp. 334-354. doi: 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). Formal Methods for Open Object-based Distributed Systems, Kluwer Academic, pp. 213-239. doi: 10.1007/978-0-387-35562-7_18.
Steen, M., Derrick, J., Boiten, E. A. and Bowman, H. (1999) "Consistency of partial process specifications", in Haeberer, A. (ed.) Algebraic Methodology and Software Technology 7th International Conference. 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98), Berlin, Germany: Springer, pp. 248-262. doi: 10.1007/3-540-49253-4_19.
Bowman, H., Faconti, G. P. 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. 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98, Vienna, Austria: Springer, pp. 261-277. doi: 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. Electronic Publishing 98, Berlin, Germany: Springer, pp. 355-369. doi: 10.1007/BFb0053283.
Bowman, H., Faconti, G., Katoen, J.-P., 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. FMICS'98, Third International Workshop on Formal Methods for Industrial Crtical Systems, CWI, pp. 97-124.
Bowman, H. and Katoen, J.-P. (1998) "A True Concurrency Semantics for ET-LOTOS", in Proceedings of the 1998 International Conference on Application of Concurrency to System Design. CSD'98 International Conference on Application of Concurrency to System Design, IEEE, pp. 228-238. doi: 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. International Conference on Analytic Tableaux and Related Methods (TABLEAUX 98), Berlin, Germany: Springer, pp. 108-123. doi: 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. Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97, Boston, Massachusetts, USA: Springer, pp. 177-192. doi: 10.1007/978-0-387-35271-8_11.
Boiten, E. A., 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. FME 1997, Berlin, Germany: Springer, pp. 644-664. doi: 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. FMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, Boston, Massachusetts, USA: Springer, pp. 335-351. doi: 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. ARTS'97, AMAST Workshop on Real-Time Systems, Concurrent and Distributed Software, Berlin, Germany: Springer, pp. 382-399. doi: 10.1007/3-540-63010-4_26.
Derrick, J., Boiten, E. A., 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. Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation, Berlin, Germany: Springer, pp. 369-388. doi: 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. 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (ARTS 97), Berlin, Germany: Springer, pp. 383-399. doi: 10.1007/3-540-63010-4_26.
Boiten, E. A., 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. Viewpoints '96, New York, USA: ACM, pp. 162-166. doi: 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. FMOODS'96, Boston, Massachusetts, USA: Springer, pp. 189-204. doi: 10.1007/978-0-387-35082-0_14.
Boiten, E. A., 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. doi: 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. FMOODS'96, Boston, Massachusetts, USA: Springer, pp. 399-406. doi: 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. MMNet'95, International Conference on Multimedia and Networking, IEEE, pp. 173-182.
Bowman, H., Blair, L., Blair, G. S. and Chetwynd, A. G. (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. Multimedia Transport and Teleservices, International COST 237 Workshop, Berlin, Germany: Springer, pp. 145-167. doi: 10.1007/3-540-58759-4_33.
Bowman, H., Blair, G. S., Blair, L. and Chetwynd, A. G. (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. FORTE 93 - IFIP 6th International Conference on Formal Description Techniques, 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. H., Bowman, H., Bryans, J. W. 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.
Bryans, J. W., Bowman, H. and Derrick, J. (2000) A Model Checking Algorithm for Stochastic Systems. University of Kent.
Bowman, H. (1999) On Time and Action Lock Free Description of Timed Systems.
Bowman, H., Steen, M., Boiten, E. A. 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. A., Derrick, J. and Steen, M. (1996) Strategies for Consistency Checking, the Choice of Unification. UKC.
Bowman, H., Boiten, E. A., Derrick, J. and Steen, M. (1995) Strategies for Consistency Checking. University of Kent, Computing Laboratory.
Boiten, E. A., 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. M., Bowman, H. and Mandic, D. P. (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. doi: 10.1109/EMBC.2014.6943762.
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) "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. J. 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. 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., 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. W. 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. doi: 10.1016/S1571-0661(04)80896-X.
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. 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. A., 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. A., 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. A. and Steen, M. (1996) "Comparing LOTOS and Z refinement relations", in. FORTE 96, Kaiserslautern, Germany: Chapman & Hall, pp. 501-516.
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.
Boiten, E. A., 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. E. (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. Edited by H. Bowman and J. Derrick. Cambridge, UK: Cambridge University Press.
Blair, G. S., Blair, L., Bowman, H. and Chetwynd, A. G. (1997) Formal Specification of Distributed Multimedia Systems. University College London Press.
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. S., Blair, L. and Chetwynd, A. G. (1995) "Formal description of distributed multimedia systems: An assessment of potential techniques", Computer Communications. Elsevier Science Bv, pp. 964-977. doi: 10.1016/0140-3664(96)81596-9.
Total publications in KAR: 196 [See all in KAR]

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

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

Last Updated: 07/12/2022