Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Number of items: 181.
Article
| Alsufyani, Abdulmajeed and Hajilou, Omid and Zoumpoulaki, Alexia and Filetti, Marco and Solomon, Christopher J. and Gibson, Stuart J. and Alroobaea, Roobaea and Bowman, Howard (2019) Breakthrough Percepts of Famous Faces. Psychophysiology, 56 (1). e13279. ISSN 0048-5772. (doi:https://doi.org/10.1111/psyp.13279) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
|
| Hope, Thomas M.H. and Friston, Karl J. and Price, Cathy J. and Leff, Alex P. and Rotshtein, Pia and Bowman, Howard (2019) Recovery After Stroke: Not So Proportional After All? Brain, 142 (1). pp. 15-22. ISSN 0006-8950. E-ISSN 1460-2156. (doi:https://doi.org/10.1093/brain/awy302) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
|
| Michelmann, Sebastian and Staresina, Bernhard and Bowman, Howard and Hanslmayr, Simon (2018) Speed of time-compressed forward replay flexibly changes in human episodic memory. Nature Human Behavior, . E-ISSN 2397-3374. (doi:https://doi.org/10.1038/s41562-018-0491-4) (Full text available) |
|
| Michelmann, Sebastian and Treder, Matthias S. and Griffiths, Benjamin and Kerrén, Casper and Roux, Frédéric and Wimber, Maria and Rollings, David and Sawlani, Vijay and Chelvarajah, Ramesh and Gollwitzer, Stephanie and Kreiselmeyer, Gernot and Hamer, Hajo and Bowman, Howard and Staresina, Bernhard and Hanslmayr, Simon (2018) Data-driven re-referencing of intracranial EEG based on independent component analysis (ICA). Journal of Neuroscience Methods, 307 . pp. 125-137. ISSN 0165-0270. (doi:https://doi.org/10.1016/j.jneumeth.2018.06.021) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
|
| Michelmann, Sebastian and Bowman, Howard and Hanslmayr, Simon (2018) Replay of Stimulus-specific Temporal Patterns during Associative Memory Formation. Journal of Cognitive Neuroscience, . ISSN 0898-929X. E-ISSN 1530-8898. (doi:https://doi.org/10.1162/jocn_a_01304) (Full text available) |
|
| Shirazibeheshti, Amirali and Cooke, Jennifer and Chennu, Srivas and Adapa, Ram and Menon, David K. and Hojjatoleslami, Ali and Witon, Adrien and Li, Ling and Bekinschtein, Tristan and Bowman, Howard (2018) Placing Meta-stable States of Consciousness within the Predictive Coding Hierarchy: the Deceleration of the Accelerated Prediction Error. Consciousness and Cognition, 63 . pp. 123-142. ISSN 1053-8100. (doi:https://doi.org/10.1016/j.concog.2018.06.010) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
|
| Parish, George and Hanslmayr, Simon and Bowman, Howard (2018) The Sync/deSync model: How a synchronized hippocampus and a de-synchronized neocortex code memories. The Journal of Neuroscience, 38 (14). pp. 3428-3440. ISSN 0270-6474. (doi:https://doi.org/10.1523/JNEUROSCI.2561-17.2018) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
|
| Lorca-Puls, Diego L. and Gajardo-Vidal, Andrea and White, Jitrachote and Seghier, Mohamed L. and Leff, Alexander P. and Green, David W. and Crinion, Jenny T. and Ludersdorfer, Philipp and Hope, Thomas M.H. and Bowman, Howard and Price, Cathy J. (2018) The impact of sample size on the reproducibility of voxel-based lesion-deficit mappings. Neuropsychologia, . ISSN 0028-3932. (doi:https://doi.org/10.1016/j.neuropsychologia.2018.03.014) (Full text available) |
|
| Gajardo-Vidal, Andrea and Lorca-Puls, Diego L. and Crinion, Jennifer T. and White, Jitrachote and Seghier, Mohamed L. and Leff, Alex P. and Hope, Thomas M.H. and Ludersdorfer, Philipp and Green, David W. and Bowman, Howard and Price, Cathy J. (2018) How distributed processing produces false negatives in voxel-based lesion-deficit analyses. Neuropsychologia, . ISSN 0028-3932. (doi:https://doi.org/10.1016/j.neuropsychologia.2018.02.025) (Full text available) |
|
| Mazaheri, A. and Segaert, K. and Olichney, J. and Yang, J-C and Niu, Y-Q and Shapiro, Kimron L. and Bowman, Howard (2017) EEG oscillations during word processing predict MCI conversion to Alzheimer's disease. NeuroImage: Clinical, 17 . pp. 188-197. ISSN 2213-1582. (doi:https://doi.org/10.1016/j.nicl.2017.10.009) (Full text available) |
|
| Ahmad, Jumana and Swan, Garrett and Bowman, Howard and Wyble, Brad and Nobre, Anna C. and Shapiro, Kimron L. and McNab, Fiona (2017) Competitive interactions affect working memory performance for both simultaneous and sequential stimulus presentation. Scientific Reports, 7 (4785). ISSN 2045-2322. (doi:https://doi.org/10.1038/s41598-017-05011-x) (Full text available) |
|
| Friston, Karl J. and Rosch, Richard and Parr, Thomas and Price, Cathy and Bowman, Howard (2017) Deep temporal models and active inference. Neuroscience & Biobehavioral Reviews, 77 . pp. 388-402. ISSN 0149-7634. (doi:https://doi.org/10.1016/j.neubiorev.2017.04.009) (Full text available) |
|
| Simione, Luca and Akyurek, Elkan and Vastola, Valentina and Raffone, Antonino and Bowman, Howard (2017) Illusions of Integration are Subjectively Impenetrable: Phenomenological Experience of Lag 1 Percepts during Dual-target RSVP. Consciousness and Cognition, 51 . pp. 181-192. ISSN 1053-8100. (doi:https://doi.org/10.1016/j.concog.2017.03.004) (Full text available) |
|
| Brooks, Joseph L and Zoumpoulaki, Alexia and Bowman, Howard (2016) Data-driven region-of-interest selection without inflating Type I error rate. Psychophysiology, 54 (1). pp. 100-113. ISSN 0048-5772. E-ISSN 1469-8986. (doi:https://doi.org/10.1111/psyp.12682) (Full text available) |
|
| Michelmann, Sebastian and Bowman, Howard and Hanslmayr, Simon (2016) The Temporal Signature of Memories: Identification of a General Mechanism for Dynamic Memory Replay in Humans. PLoS Biology, 8 (14). pp. 1-27. ISSN 1544-9173. E-ISSN 1002528. (doi:https://doi.org/10.1371/journal.pbio.1002528) (Full text available) |
|
| Pincham, Hannah and Bowman, Howard and Denes, Szucs (2016) The Experiential Blink: mapping the cost of working memory encoding onto conscious perception in the attentional blink. Cortex, 81 . pp. 35-49. ISSN 0010-9452. (doi:https://doi.org/10.1016/j.cortex.2016.04.007) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
|
| Hanslmayr, S and Staresina, B and Bowman, Howard (2016) Oscillations and Episodic Memory: Addressing the Synchronization/Desynchronization Conundrum. Trends in Neuroscience, 39 (1). pp. 16-25. ISSN 0166-2236. E-ISSN 1878-108X. (doi:https://doi.org/10.1016/j.tins.2015.11.004) (Full text available) |
|
| Zoumpoulaki, Alexia and Alsufyani, Abdulmajeed and Filetti, Marco and Brammer, Mick and Bowman, Howard (2015) Latency as a Region Contrast: Measuring ERP Latency Differences with Dynamic Time Warping. Psychophysiology, . pp. 1-46. ISSN 0048-5772. (Full text available) |
|
| Li, Su and Wyble, Brad and Zhou, Lai-quan and Wang, Kui and Wang, Yu-na and Cheung, Eric F.C. and Bowman, Howard and Chan, Raymond C.K. (2015) Temporal perception deficits in schizophrenia: integration is the problem, not deployment of attentions. Scientific Reports, 5 . pp. 1-12. ISSN 2045-2322. (doi:https://doi.org/10.1038/srep09745) (Full text available) |
|
| Zoumpoulaki, Alexia and Alsufyani, Abdulmajeed and Bowman, Howard (2015) Resampling the peak, some dos and don'ts. Psychophysiology, 52 (3). pp. 444-448. ISSN 0048-5772. (Full text available) |
|
| Wyble, Brad and Bowman, Howard and Nieuwenstein, Mark (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 (1661). p. 1471. ISSN 0962-8436. (Full text available) |
|
| Su, Li and Gomez, Rodolfo and Bowman, Howard (2014) Analysing neurobiological models using communicating automata. Formal Aspects of Computing, 26 (6). pp. 1169-1204. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-014-0294-y) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
|
| Bowman, Howard and Filetti, Marco and Alsufyani, Abdulmajeed and Janssen, Dirk P. and Su, Li (2014) Countering Countermeasures: Detecting Identity Lies by Detecting Conscious Breakthrough. PLoS ONE, 9 (3). e90595. ISSN 1932-6203. (doi:https://doi.org/10.1371/journal.pone.0090595) (Full text available) |
|
| Chennu, Srivas and Alsufyani, Abdulmajeed and Filetti, Marco and Owen, Adrian and Bowman, Howard (2013) The cost of space independence in P300-BCI spellers. Journal of NeuroEngineering and Rehabilitation, 10 (82). pp. 1-13. ISSN 1743-0003. (doi:https://doi.org/10.1186/1743-0003-10-82) (Full text available) |
|
| Bowman, Howard and Filetti, Marco and Wyble, Brad and Olivers, Christian (2013) Attention is more than prediction precision [Commentary on target article]. Behavioral and Brain Sciences, 36 (3). pp. 206-208. ISSN 0140-525X. (doi:https://doi.org/10.1017/S0140525X12002324) (Full text available) |
|
| Bowman, Howard and Filetti, Marco and Janssen, Dirk P. and Li, Su and Alsufyani, Abdulmajeed and Wyble, Brad (2013) Subliminal Salience Search Illustrated: EEG Identity and Deception Detection on the Fringe of Awareness. PLoS ONE, 8 (1). pp. 1-21. ISSN 1932-6203. (doi:https://doi.org/10.1371/journal.pone.0054258) (Full text available) |
|
| Su, Li and Bowman, Howard and Barnard, Philip (2011) Glancing and then looking: on the role of body, affect, and meaning in cognitive control. Frontiers in Cognition, 2 (348). pp. 182-196. (doi:https://doi.org/10.3389/fpsyg.2011.00348) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Wyble, Brad and Potter, Mary C. and Bowman, Howard and Nieuwenstein, Mark (2011) Attentional Episodes in Visual Perception. Journal of Experimental Psychology: General, 140 (3). pp. 182-196. (doi:https://doi.org/10.1037/a0023612) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Chennu, Srivas and Craston, Patrick and Wyble, Brad and Bowman, Howard (2009) Attention Increases the Temporal Precision of Conscious Perception: Verifying the Neural-ST2 Model. PLoS Computational Biology, 5 (11). e1000576. ISSN 1553-734X. E-ISSN 1553-7358. (doi:https://doi.org/10.1371/journal.pcbi.1000576) (Full text available) |
|
| Craston, Patrick and Wyble, Brad and Chennu, Srivas and Bowman, Howard (2009) The attentional blink reveals serial working memory encoding: Evidence from virtual and human event-related potentials. Journal of Cognitive Neuroscience, 21 (3). pp. 550-566. ISSN 0898-929X. (doi:https://doi.org/10.1162/jocn.2009.21036) (Full text available) |
|
| Wyble, Brad and Sharma, Dinkar and Bowman, Howard (2008) Strategic Regulation of Cognitive Control by Emotional Salience: A Neural Network Model. Cognition and Emotion, 22 (6). pp. 1019-1051. ISSN 0269-9931. (doi:https://doi.org/10.1080/02699930701597627) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Wyble, Brad and Bowman, Howard and Nieuwenstein, Mark (2008) The Attentional Blink provides Episodic Distinctiveness: Sparing at a Cost. Journal of Experimental Psychology: Human Perception and Performance, . ISSN 0096-1523. (doi:https://doi.org/10.1037/a0013902) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Wyble, Brad and Chennu, Srivas and Craston, Patrick (2008) A Reciprocal Relationship Between Bottom-up Trace Strength and the Attentional Blink Bottleneck: Relating the LC-NE and ST2 Models. Brain Research, 1202 . pp. 25-42. ISSN 0006-8993. (doi:https://doi.org/10.1016/j.brainres.2007.06.035) (Full text available) |
|
| Wyble, Brad and Bowman, Howard and Potter, Mary C. (2008) Categorically Defined Targets Trigger Spatiotemporal Attention. Journal of Experimental Psychology: Human Perception and Performance, . ISSN 0096-1523. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Van Hooff, Johanna C. and Dietz, Kristina Charlotte and Sharma, Dinkar and Bowman, Howard (2008) Neural correlates of intrusion of emotion words in a modified Stroop task. International Journal of Psychophysiology, 67 (1). pp. 23-34. ISSN 0167-8760. (doi:https://doi.org/10.1016/j.ijpsycho.2007.09.002) (Full text available) |
|
| Su, Li and Bowman, Howard and Barnard, Philip and Wyble, Brad (2008) Process Algebraic Modelling of Attentional Capture and Human Electrophysiology in Reactive Systems. Formal Aspects of Computing, . ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-008-0094-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Kalidindi, Kiran and Bowman, Howard (2007) Using e-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task. Neural Networks, 20 (6). pp. 676-689. ISSN 0893-6080. (doi:https://doi.org/10.1016/j.neunet.2007.04.026) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
|
| Bowman, Howard and Wyble, Brad (2007) The Simultaneous Type, Serial Token Model of Temporal Attention and Working Memory. Psychological Review, 114 (1). pp. 38-70. ISSN 0033-295X. (doi:https://doi.org/10.1037/0033-295X.114.1.38) (Full text available) |
|
| Bowman, Howard and Gomez, Rodolfo (2006) How to stop time stopping. Formal Aspects of Computing, 18 (4). pp. 459-493. ISSN 0934-5043. (Full text available) |
|
| Wyble, Brad and Bowman, Howard (2006) A neural network account of binding discrete items into working memory using a distributed pool of flexible resources. Journal of Vision, 6 (6). 33-33a. ISSN 1534-7362. (doi:https://doi.org/10.1167/6.6.33) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Schlaghecken, Friederike and Bowman, Howard and Eimer, Martin (2006) Dissociating Local and Global Levels of Perceptuo-Motor Control in Masked Priming. Journal of Experimental Psychology: Human Perception and Performance, 32 (3). pp. 618-632. ISSN 0096-1523. (doi:https://doi.org/10.1037/0096-1523.32.3.618) (Full text available) |
|
| Craston, Patrick and Wyble, Brad and Bowman, Howard (2006) An EEG study of masking effects in RSVP [Abstract]. Journal of Vision, 6 (6). p. 1016. ISSN 1534-7362. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Schlaghecken, Friederike and Eimer, Martin (2006) A Neural Network Model of Inhibitory Processing in Subliminal Priming. Visual Cognition, 13 (4). pp. 401-480. ISSN 1464-0716 (electronic) 1350-6285 (paper). (doi:https://doi.org/10.1080/13506280444000823) (Full text available) |
|
| Bowman, Howard and Gomez, Rodolfo and Su, Linying (2005) A tool for the syntactic detection of zeno-timelocks in timed automata. Electronic Notes in Theoretical Computer Science, 139 (1). pp. 25-47. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2005.09.006) (Full text available) |
|
| Wyble, Brad and Bowman, Howard (2005) The attentional blink reflects the time course of token binding, computational modeling and empirical data (Abstract). Journal of Vision, 5 (8). 116a-116a. ISSN 1534-7362. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Barnard, Philip and Bowman, Howard (2004) Rendering Information Processing Models of Cognition and Affect Computationally Explicit: Distributed Executive Control and the Deployment of Attention. Cognitive Science Quarterly, 3 (3). pp. 297-328. ISSN 1466-6553. (Full text available) |
|
| Gomez, Rodolfo and Bowman, Howard (2004) PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. Journal of Applied Non-Classical Logics, 14 (1-2). pp. 105-148. ISSN 1166-3081. (Full text available) |
|
| Bryans, Jeremy W. and Bowman, Howard and Derrick, John (2003) Model Checking Stochastic Automata. ACM Transactions on Computational Logic, 4 (4). pp. 452-492. ISSN 1529-3785. (doi:https://doi.org/10.1145/937555.937558) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Thompson, Simon (2003) A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. Journal of Logic and Computation, 13 (2). pp. 195-239. ISSN 0955-792X. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Cameron, Helen and King, Peter and Thompson, Simon (2003) Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design, 22 (1). pp. 5-38. ISSN 0925-9856. (doi:https://doi.org/10.1023/A:1021736013555) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Steen, Maarten and Boiten, Eerke Albert and Derrick, John (2002) A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21 (2). pp. 111-166. ISSN 0925-9856. (doi:https://doi.org/10.1023/A:1016000201864) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard (2001) Formal Methods Elsewhere. Electronic Notes in Theoretical Computer Science, 43 . pp. 162-163. ISSN 1571-0661. (doi:https://doi.org/10.1016/S1571-0661(05)81053-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Bryans, Jeremy W. and Derrick, John (2001) Analysis of a Multimedia Stream using Stochastic Process Algebra. Computer Journal, 44 (4). pp. 230-245. ISSN 0010-4620. (doi:https://doi.org/10.1093/comjnl/44.4.230) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten (2000) Viewpoint Consistency in ODP. Computer Networks, 34 (3). pp. 503-537. ISSN 1389-1286. (Full text available) |
|
| Bowman, Howard and Derrick, John and Brinksma, E. (2000) Guest Editors Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Transactions on Software Engineering, 26 (7). pp. 577-578. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Derrick, John 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, 26 (7). pp. 577-578. ISSN 0098-5589. (doi:https://doi.org/10.1109/TSE.2000.859528) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Faconti, Giorgio (1999) Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects of Computing, 11 (2). pp. 132-159. (doi:https://doi.org/10.1007/s001650050045) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423. (doi:https://doi.org/10.1016/S0167-6423(99)00006-4) (Full text available) |
|
| Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards and Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489. (doi:https://doi.org/10.1016/S0920-5489(99)00010-0) (Full text available) |
|
| Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. (doi:https://doi.org/10.1016/S0167-6423(98)00017-3) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1998) Specifying and Refining Internal Operations in Z. Formal Aspects of Computing, 10 (2). pp. 125-159. ISSN 0934-5043 (Print) 1433-299X (Online). (doi:https://doi.org/10.1007/s001650050007) (Full text available) |
|
| Bowman, Howard and Faconti, Giorgio and Katoen, J-P. and Latella, D. and Massink, M. (1998) Automatic Verification of a Lip Synchronisation Protocol using UPPAAL. Formal Aspects of Computing, 10 (5-6). pp. 550-575. ISSN 1433-299X. (doi:https://doi.org/10.1007/s001650050032) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard (1998) A LOTOS Based Tutorial on Formal Methods for Object Oriented Distributed Systems. New Generation Computing, 16 (4). pp. 343-372. ISSN 0288-3635. (doi:https://doi.org/10.1007/BF03037429) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Thompson, Simon (1998) A tableau method for interval temporal logic with projection. TABLEAUX 1998: Automated Reasoning with Analytic Tableaux and Related Methods, . pp. 108-123. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Charles, Nathan and Bowman, Howard and Thompson, Simon (1997) From ACT-ONE to Miranda, a Translation Experiment. Computer Standards and Interfaces, 19 (1). pp. 31-49. ISSN 0920-5489. (doi:https://doi.org/10.1016/S0920-5489(97)00005-6) (Full text available) |
|
| Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten (1996) Cross-viewpoint consistency in open distributed processing. Software Engineering Journal, 11 (1). pp. 44-57. ISSN 0268-6961. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Derrick, John and Linington, Peter F. and Steen, Maarten (1995) FDTs for ODP. Computer Standards and Interfaces, 17 (5-6). pp. 457-479. ISSN 0920-5489. (doi:https://doi.org/10.1016/0920-5489(95)00021-L) (Full text available) |
|
| Blair, Lynne and Blair, Gordon S. and Bowman, Howard and Chetwynd, Amanda G. (1995) Formal Specification and Verification of Multimedia Systems in Open Distributed Processing. Computer Standards and Interfaces, 17 (5-6). pp. 413-436. ISSN 0920-5489. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Book section
| Bowman, Howard and Li, Su (2011) Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems. In: Voronkov, Andrei and Korovina, Margarita, eds. Higher-Order Workshop on Automated Runtime Verification and Debugging, EasyChair Proceedings, Festschrift celebrating Howard Barringer's 60th Birthday. EasyChair. ISBN xxxxx. (Full text available) |
|
| Bowman, Howard and Su, Li and Wyble, Brad and Barnard, Philip (2009) Salience Sensitive Control, Temporal Attention and Stimulus-Rich Reactive Interfaces. In: Roda, Claudia, ed. Human Attention in Digital Environments. Cambridge University Press. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Wyble, Brad and Sharma, Dinkar and Bowman, Howard (2005) Modelling the slow emotional stroop effect: Suppression of cognitive control. In: Cangelosi, Angelo and Bugmann, Guido, eds. Modelling Language, Cognition and Action. Proceedings of the Ninth Neural Computation and Psychology Workshop, University of Plymouth, UK 8 - 10 September 2004. Progress in Neural Processing (16). World Scientific Publishing Company Pte Ltd, Singapore, pp. 291-300. ISBN 981-256-324-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Linington, Peter F. (2001) Distributed Systems, an ODP Perspective. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, pp. 18-35. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Linington, Peter F. (2001) Issues in Distributed Systems. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, pp. 3-17. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Derrick, John (2001) Issues in Formal Methods (chapter 3). In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, pp. 18-35. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Derrick, John (2001) Viewpoints Modelling. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, pp. 451-475. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Kent, Stuart (2001) The Unified Modeling Language. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, p. 126. ISBN 978-0-521-77184-9. (Full text available) |
|
| Bowman, Howard and Blair, Gordon S. and Blair, Lynne and Chetwynd, Amanda G. (1993) Time Versus Abstraction In Formal Description. In: Tenney, Richard L. and Amer, Paul D. and Uyar, M.Umit, eds. FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI. North-Holland Publishing Co., Netherlands, pp. 467-482. ISBN 0-444-81773-5. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Monograph
| Gomez, Rodolfo and Bowman, Howard (2006) Compositional Detection of Zeno Behaviour in Timed Automata. Technical report. Computing Laboratory, CT2 7NF Canterbury, Kent, UK (Full text available) |
|
| Wyble, Brad and Bowman, Howard and Craston, Patrick (2006) Attentional Capture in Stimulus Rich Computer Interfaces. Technical report. UKC (Full text available) |
|
| Wyble, Brad and Craston, Patrick and Bowman, Howard (2006) Electrophysiological Feedback in Adaptive Human Computer Interfaces. Technical report. UKC (Full text available) |
|
| Li, Su and Bowman, Howard and Barnard, Philip (2006) Emotional Modulation of Temporal Attention, An Approach based upon Distributed Control and Formal Methods. Technical report. UKC (Full text available) |
|
| Bowman, Howard and Su, Li and Wyble, Brad (2006) Performance of Reactive Interfaces in Stimulus Rich Environments, applying Formal Methods and Cognitive Frameworks. Technical report. UKC (Full text available) |
|
| Bowman, Howard and Su, Li and Barnard, Philip (2006) Semantic Modulation of Temporal Attention: Distributed Control and Levels of Abstraction in Computational Modelling. Technical report. UKC (Full text available) |
|
| Su, Li and Bowman, Howard and Wyble, Brad (2006) Formal Modeling of Connectionism using Concurrency Theory, an Approach Based on Automata and Model Checking. Technical report. UKC (Full text available) |
|
| Kalidindi, Kiran and Bowman, Howard and Wyble, Brad (2005) Using e-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task. Technical report. , Canterbury, Kent, CT2 7NF, UK (Full text available) |
|
| Gomez, Rodolfo and Bowman, Howard (2005) Discrete Timed Automata. Technical report. UKC (Full text available) |
|
| Bowman, Howard and Gomez, Rodolfo and Su, Li (2004) How to stop time stopping (preliminary version). Technical report. University of Kent, Canterbury, Kent, CT2 7NF, UK (Full text available) |
|
| Gomez, Rodolfo and Bowman, Howard (2003) A MONA-based Decision Procedure for Propositional Interval Temporal Logic. Other. Kent University, Vienna, Austria (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Aron, A. and Eimer, E. and Schlaghecken, Friederike (2001) A Connectionist Model of Inhibitory Processes in Motor Control and its Application to a Masked Priming Task. Technical report. Computing Laboratory, University of Kent, Canterbury, Canterbury, Kent (Full text available) |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/application_msword.png)
|
| Bowman, Howard and Barnard, Philip (2001) Computational Modelling of Distributed Executive Control. Technical report. UKC, Canterbury, Kent, UK (Full text available) |
|
| Akehurst, David H. and Bowman, Howard and Bryans, Jeremy W. and Derrick, John (2000) A Manual for a ModelChecker for Stochastic Automata. Technical report. n/a (Full text available) |
|
| Bowman, Howard and Thompson, Simon (2000) A Complete Axiomatization of Interval Temporal Logic with Projection. Technical report. University of Kent (Full text available) |
|
| Bryans, Jeremy W. and Bowman, Howard and Derrick, John (2000) A Model Checking Algorithm for Stochastic Systems. Technical report. University of Kent, Canterbury, Kent (Full text available) |
|
| Bowman, Howard and Steen, Maarten and Boiten, Eerke Albert and Derrick, John (1999) A Formal Framework for Viewpoint Consistency (full version). Technical report. , Canterbury, Kent, CT2 7NZ (Full text available) |
|
| Bowman, Howard (1999) On Time and Action Lock Free Description of Timed Systems. Technical report. (Full text available) |
|
| Bowman, Howard and Faconti, Giorgio and Massink, M. (1999) Towards Integrated Cognitive and Interface Analysis. Technical report. (Full text available) |
|
| Bowman, Howard (1998) An Interpretation of Cognitive Theory in Concurrency Theory. Technical report. University of Kent (Full text available) |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/other.png)
|
| Bowman, Howard and Thompson, Simon (1997) A Tableau Method for Interval Temporal Logic. Technical report. University of Kent at Canterbury (Full text available) |
|
| Bowman, Howard and Cameron, Helen and King, Peter and Thompson, Simon (1997) Mexitl: Multimedia in Executable Interval Temporal Logic. Technical report. University of Kent (Full text available) |
|
| Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1996) Strategies for Consistency Checking, the Choice of Unification. Technical report. UKC, University of Kent, Canterbury, UK (Full text available) |
|
| Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1995) Strategies for Consistency Checking. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available) |
|
| Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1995) Cross Viewpoint Consistency in Open Distributed Processing (Intra language consistency). Technical report. UKC, University of Kent, Canterbury, UK (Full text available) |
|
| Bowman, Howard and Derrick, John (1994) Towards a Formal Model of Consistency in ODP. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (Full text available) |
|
Conference or workshop item
| Li, Ling and Witon, Adrien and Marcora, Samuele Maria and Bowman, Howard and Mandic, Danilo 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. Engineering in Medicine and Biology Society (EMBC), 2014 36th Annual International Conference of the IEEE. IEEE pp. 1002-1005. (doi:https://doi.org/10.1109/EMBC.2014.6943762) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
|
| Ahmad, Jumana and Ferguson, Heather J. and Bowman, Howard (2013) An examination of working memory processing across modalities in developmental dyslexia. In: IWORDD - International Workshop on Reading and Developmental Dyslexia. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Ahmad, Jumana and Ferguson, Heather J. and Bowman, Howard (2012) Working memory processing in dyslexia: evidence from P300 analysis. In: Experimental Psychology Society Meeting. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Ahmad, Jumana and Ferguson, Heather J. and Bowman, Howard (2012) An electrophysiological and behavioural exploration of the Working Memory deficit in developmental dyslexia. In: Annual PsyPAG 2012 Postgraduate Conference. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Ahmad, Jumana and Ferguson, Heather J. and Bowman, Howard (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. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Chennu, Srivas and Bowman, Howard and Wyble, Brad and Craston, Patrick (2011) Fortunate Conjunctions Revived: Feature Binding with the 2f-ST2 Model. In: Proceedings of the 33rd Annual Conference of the Cognitive Science Society. Proceedings of the 33rd Annual Conference of the Cognitive Science Society. Cognitive Science Society, Austin, TX pp. 2598-2603. ISBN 978-1-61839-097-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Su, Li and Barnard, Philip and Bowman, Howard (2010) On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Dietz, Kristina Charlotte and Van Hooff, Johanna C. and Bowman, Howard (2010) Using event-related potentials to distinguish mirror effect types: Evidence from a modified directed forgetting procedure (item-method) {A}bstract. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Craston, Patrick and Chennu, Srivas and Wyble, Brad (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. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Chennu, Srivas and Craston, Patrick and Wyble, Brad and Bowman, Howard (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. (Full text available) |
|
| Dietz, Kristina Charlotte and Bowman, Howard and Van Hooff, Johanna C. (2008) Towards a competitive learning model of mirror effects in yes/no recognition memory tests. In: Mayor, J. and Ruh, N. and Plunkett, K., eds. Connectionist models of behaviour and cognition II. Progress in Neural Processing (18). World Scientific: London pp. 129-140. ISBN 978-981-283-422-5. (Full text available) |
|
| Chennu, Srivas and Craston, Patrick and Wyble, Brad and Bowman, Howard (2008) Transient Attentional Enhancement during the Attentional Blink: ERP correlates of the ST2 model. In: French, Robert M. and Thomas, Elizabeth, eds. From Associations to Rules: Connectionist Models of Behavior and Cognitionn. Progress in Neural Processing, 17. World Scientific, World Scientific Publishing ISBN 978-981-279-731-5. (Full text available) |
|
| Su, Li and Bowman, Howard and Barnard, Philip (2007) Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. In: The 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007). Workshop held in conjunction with HCI 2007. Elsevier pp. 95-111. (doi:https://doi.org/10.1016/j.entcs.2008.03.109) (Full text available) |
|
| Su, Li and Bowman, Howard and Barnard, Philip (2007) Attentional capture by meaning: A multi-level modelling study. In: Proceedings of the 29th Annual meeting of the cognitive science society (CogSci 2007). Taylor & Francis Group p. 6. ISBN 978-0-9768318-3-9. (Full text available) |
|
| Gomez, Rodolfo and Bowman, Howard (2007) Efficient Detection of Zeno Runs in Timed Automata. In: Raskin, J.-F. and Thiagarajan, P.S., eds. Formal Modeling and Analysis of Timed Systems: 5th International Conference, Formats 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. Lecture Notes in Computer Science, 4763. Springer, Salzburg, Austria pp. 195-210. ISBN 3-540-75453-9. (Full text available) |
|
| Sharma, Dinkar and Wyble, Brad and Bowman, Howard (2007) Modulation of Cognitive Control by Negative Affect. Experimental Verification of a Connectionist Model of the Emotional Stroop. In: Experimental Psychology Society conference, 4-7 July 2007, Edinburgh. (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Su, Li and Bowman, Howard and Wyble, Brad (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, 30 July - 5 August 2005, Edinburgh, Scotland. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Wyble, Brad and Bowman, Howard (2005) Computational and Experimental Evaluation of the Attentional Blink: Testing the Simultaneous Type Serial Token Model. In: Bara, Bruno G. and Barsalou, Lawrence W. and Bucciarelli, Monica, eds. CogSci 2005, XXVII Annual Conference of the Cognitive Science Society. Cognitive Science Society through Lawrence Erlbaum, Mahwah, New Jersey (USA) pp. 2371-2376. ISBN 0-9768318-1-3. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Kalidindi, Kiran and Bowman, Howard and Wyble, Brad (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, Dylan and Canamero, Lola, eds. Proceedings of the Symposium on Agents that Want and Like: Motivational and Emotional Roots of Cognition and Action. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour pp. 51-54. ISBN 1902956417. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Wyble, Brad (2005) Computational Modelling of the Attentional Blink. In: Cangelosi, Angelo and Bugmann, Guido and Borisyuk, Roman, eds. Proceedings of the Neural Computation and Psychology Workshop. World Scientific Publication ISBN 981-256-324-5. (Full text available) |
|
| Kalidindi, Kiran and Bowman, Howard and Wyble, Brad (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, Angelo and Bugmann, Guido and Borisyuk, Roman, eds. Progress in Neural Processing. World Scientific pp. 331-335. ISBN 981-256-324-5. (Full text available) |
|
| Wyble, Brad and Bowman, Howard (2004) The Attentional Blink at 20 items/sec, Model Prediction and Empirical Validation of Lag-2 Sparing. In: Schunn, Christian, ed. Proceedings of the sixth International Conference on Cognitive Modelling. pp. 400-401. ISBN 0-8058-5426-6. (Full text available) |
|
| UNSPECIFIED (2004) Proceedings of the Eighth Neural Computation and Psychology Workshop, Connectionist Models of Cognition and Perception II. In: Bowman, Howard and Labiouse, C., eds. Progress in Neural Processing. Progress in Neural Processing, 15. World Scientific, Singapore ISBN 981-238-805-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Wyble, Brad and Barnard, Philip (2004) Towards a Neural Network Model of the Attentional Blink. In: Bowman, Howard and Labiouse, C., eds. Proceedings of the Eighth Neural Computation and Psychology Workshop, Connectionist Models of Cognition and Perception II. Progress in Neural Processing, 15. World Scientific, Singapore pp. 178-187. ISBN 981-238-805-2. (Full text available) |
|
| Gomez, Rodolfo and Bowman, Howard (2003) Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. In: Konig, H. and Heiner, M. and Wolisz, A., eds. Formal Techniques for Networked and Distributed Systems - FORTE 2003. Proceedings of the 23rd IFIP WG 6.1 International Conference. LNCS, 2767 (2767). Springer, Berlin, Germany pp. 177-192. ISBN 3-540-20175-0. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Barnard, Philip (2003) Towards a Neural Network Model of the Attentional Blink (Abstract). In: Grossberg, Stephen, ed. Proceedings of Seventh International Conference on Cognitive and Neural Systems, May 2003. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Schlaghecken, Friederike and Eimer, Martin (2002) Neural Network Modelling of Inhibition in Visuo-Motor Control. In: Bullinaria, John A. and Lowe, Will, eds. Proceedings of the Seventh Neural Computation and Psychology Workshop: Connectionist Models of Cognition and Perception. World Scientific pp. 209-222. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Schlaghecken, Friederike and Eimer, Martin (2002) A Connectionist Model of Inhibition in Masked Priming (abstract). In: Grossberg, Stephen, ed. Proceedings of Sixth International Conference on Cognitive and Neural Systems, May 30th - June 1st, 2002. Boston University, Boston (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard (2001) Time and Action Lock Freedom Properties of Timed Automata. In: Kim, Myungchul and Chin, Byoungmoon and Kang, Sungwon and Lee, Danhyung, eds. Formal Techniques for Networked and Distributed Systems. Kluwer Academic Publishers pp. 119-134. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bryans, Jeremy W. and Blair, Lynne and Bowman, Howard and Derrick, John (2000) Specification and Analysis of Automata-based Designs. In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds. Integrated Formal Methods (IFM 2000). Lecture Notes in Comuter Science, 1945. Springer pp. 176-193. ISBN 3-540-41196-8. (Full text available) |
|
| Bowman, Howard and Bryans, Jeremy W. and Derrick, John (2000) Towards Stochastic Model Checking with Generalised Distributions. In: UKPEW 2000, 16th United Kingdom Performance Engineering Workshop. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Faconti, Giorgio and Massink, M. (2000) Towards Integrated Cognitive and Interface Analysis. In: Bowman, Howard, ed. Proceedings of Formal Methods Elsewhere 2000, Pisa, Italy. Elsevier Science pp. 97-112. (doi:https://doi.org/10.1016/S1571-0661(04)80896-X) (Full text available) |
|
| Bowman, Howard (1999) Modelling Concurrent Cognitive Architectures Using Process Calculi. In: Bagnara, Sebastiano, ed. European Conference on Cognitive Science 1999. Istituto di Psicologia, CNR pp. 161-166. ISBN 88-85059-10-4. (Full text available) |
|
| Bowman, Howard (1999) Modelling Timeouts without Timelocks. In: ARTS'99, 5th International AMAST Workshop on Real-time and Probabilistic Systems. (doi:https://doi.org/10.1007/3-540-48778-6_20) (Full text available) |
|
| Bowman, Howard and Derrick, John (1999) A Junction between State Based and Behavioural Specification. In: Ciancarini, Paolo and Fantechi, Alessandro and Gorrieri, Robert, eds. Formal Methods for Open Object-based Distributed Systems. Kluwer pp. 213-239. ISBN 0-7923-8429-6. (doi:https://doi.org/10.1007/978-0-387-35562-7_18) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Steen, Maarten and Derrick, John and Boiten, Eerke Albert and Bowman, Howard (1999) Consistency of partial process specifications. In: Haeberer, A.M., ed. Algebraic Methodology and Software Technology (AMAST '98). http://dx.doi.org/10.1007/3-540-49253-4_19, 1548. Springer-Verlag Berlin pp. 248-262. ISBN 3-540-65462-3. (doi:https://doi.org/10.1007/3-540-49253-4_19) (Full text available) |
|
| Bowman, Howard and Bryans, Jeremy W. and Derrick, John (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. (Full text available) |
|
| Bowman, Howard and Faconti, Giorgio and Massink, M. (1998) Specification and Verification of Media Constraints using UPPAAL. In: 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98. Eurographics Series. Springer-Verlag pp. 261-277. ISBN 3-211-83212-2. (Full text available) |
|
| Bowman, Howard and Faconti, Giorgio and Katoen, J-P. and Latella, D. and Massink, M. (1998) Automatic Verification of a Lip-Synchronisation Algorithm Using UPPAAL - Extended Version. In: Groote, J.F. and Luttik, B. and van Warnel, J., eds. FMICS'98, Third Internatinoal Workshop on Formal Methods for Industrial Crtical Systems. CWI pp. 97-124. ISBN 90-6196-480-6. (Full text available) |
|
| Cameron, Helen and King, Peter and Bowman, Howard and Thompson, Simon (1998) Synchronization in Multimedia Documents. In: Andre, Jacques, ed. Electronic Publishing 98. Lecture Notes In Computer Science, 1357. Springer pp. 355-369. ISBN 3-540-64298-6. (Full text available) |
|
| Bowman, Howard and Thompson, Simon (1998) A Tableaux Method for Interval Temporal Logic with Projection. In: TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods. Lecture Notes In Computer Science, 1397 (1397). Springer-Verlag pp. 108-123. ISBN 3-540-64406-7. (Full text available) |
|
| Bowman, Howard and Katoen, J-P. (1998) A True Concurrency Semantics for ET-LOTOS. In: CSD'98 International Conference on Application of Concurrency to System Design. IEEE Computer Society. IEEE Computer Society Press pp. 228-238. ISBN 0-8186-8350-3. (doi:https://doi.org/10.1109/CSD.1998.657554) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Steen, Maarten and Bowman, Howard and Derrick, John and Boiten, Eerke Albert (1997) Disjunction of LOTOS specifications. In: Mizuno, Tadanori and Shiratori, Norio and Higashino, Teruo and Togashi, Atsushi, eds. Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97. Chapman & Hall, Osaka, Japan pp. 177-192. ISBN 0-412-82060-9. (Full text available) |
|
| Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1997) Viewpoint consistency in Z and LOTOS: A case study. In: Fitzgerald, John and Jones, Cliff B. and Lucas, Peter, eds. Lecture Notes in Computer Science. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe. Lecture Notes in Computer Science, 1313. Springer-Verlag Berlin pp. 644-664. ISBN 3-540-63533-5. (doi:https://doi.org/10.1007/3-540-63533-5_34) (Full text available) |
|
| Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1997) Coupling schemas: data refinement and view(point)composition. In: Duke, David J. and Evans, A.S., eds. BCS-FACS Northern formal methods Workshop. Workshops in Computing, 2. Springer-Verlag ISBN 3-540-76215-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| UNSPECIFIED (1997) FMOODS'97, IFIP TC6 WG6.1 International Conference on Formal Methods for Open Object-based Distributed Systems. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Briscoe-Smith, C. and Derrick, John and Strulo, B. (1997) On Behavioural Subtyping in LOTOS. In: Bowman, Howard and Derrick, John, eds. FMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems. Chapman and Hall pp. 335-351. ISBN 0-412-82040-4. (Full text available) |
|
| Bowman, Howard and Cameron, Helen and King, Peter and Thompson, Simon (1997) Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In: International Conference on Temporal Logic. Applied Logic Series. Kluwer (Full text available) |
|
| Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1997) Translating LOTOS to Object-Z. In: Duke, David J. and Evans, A.S., eds. 2nd BCS-FACS Northern Formal Methods Workshop. Workshops in Computing. Springer-Verlag ISBN 3-540-76215-9. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Derrick, John (1997) Extending LOTOS with Time: True Concurrency Perspective. In: Bertran, Miquel and Rus, Teodor, eds. ARTS'97, AMAST Workshop on Real-Time Systems, Concurrent and Distributed Software. Lecture Notes in Computer Science, 1231. Springer-Verlag pp. 382-399. ISBN 3-540-63010-4. (doi:https://doi.org/10.1007/3-540-63010-4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1997) Weak refinement in Z. In: Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation. (doi:https://doi.org/10.1007/BFb0027298) (Full text available) |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
|
| Bowman, Howard and Derrick, John (1997) Extending LOTOS with time: A true concurrency perspective. In: Bertran, Miquel and Rus, Teodor, eds. Transformation-Based Reactive Systems Development. Lecture Notes In Computer Science, 1231. Springer-Verlag, Berlin, Germany pp. 383-399. ISBN 3-540-63010-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Derrick, John and Bowman, Howard and Boiten, Eerke Albert and Steen, Maarten (1996) Comparing LOTOS and Z refinement relations. In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI. Chapman & Hall, Kaiserslautern, Germany pp. 501-516. ISBN 0-412-79490-X. (Full text available) |
|
| Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1996) Issues in multiparadigm viewpoint specification. In: Finkelstein, A. and Spanoudakis, G., eds. ISAW '96 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. ACM pp. 162-166. ISBN 0-89791-867-3. (Full text available) |
|
| Linington, Peter F. and Derrick, John and Bowman, Howard (1996) The specification and conformance of ODP systems. In: 9th International Workshop on Testing of Communicating Systems. Chapman & Hall, Darmstadt, Germany pp. 93-114. (Full text available) |
|
| Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED. (Full text available) |
|
| Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1996) Supporting ODP - Translating LOTOS into Z. In: Najm, Elie and Stefani, J.-B., eds. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall, Paris pp. 399-406. ISBN 0-412-79770-4. (Full text available) |
|
| Bowman, Howard and Boiten, Eerke Albert and Derrick, John and Steen, Maarten (1996) Viewpoint consistency in ODP, a general interpretation. In: Najm, Elie and Stefani, J.-B., eds. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. First IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems. Chapman & Hall pp. 189-204. ISBN 0-412-79770-4. (Full text available) |
|
| Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1995) Unification and multiple views of data in Z. In: van Vliet, J.C., ed. Computer Science in the Netherlands 1995. Stichting Mathematisch Centrum, Amsterdam pp. 73-85. ISBN 90-6196-460-1. (Full text available) |
|
| Bowman, Howard and Derrick, John (1995) A True Concurrency Semantics for Quality of Service Specification and Validation. In: Sarikaya, Behcet and Saito, Senro, eds. MMNet'95, International Conference on Multimedia and Networking. IEEE Computer Society Press pp. 173-182. ISBN 0-8186-7090-8. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Derrick, John and Bowman, Howard and Steen, Maarten (1995) Viewpoints and Objects. In: UNSPECIFIED. (Full text available) |
|
| Derrick, John and Bowman, Howard and Steen, Maarten (1995) Maintaining Cross Viewpoint Consistency using Z. In: UNSPECIFIED. (Full text available) |
|
| Bowman, Howard and Derrick, John (1995) Modelling Distributed Systems using Z. In: UNSPECIFIED. (Full text available) |
|
| Bowman, Howard and Derrick, John and Steen, Maarten (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED. (Full text available) |
|
| Steen, Maarten and Bowman, Howard and Derrick, John (1995) Composition of LOTOS specifications. In: UNSPECIFIED. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Blair, Lynne and Blair, Gordon S. and Chetwynd, Amanda G. (1994) A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. In: Hutchison, D. and Danthine, A. and Leopold, H. and Coulson, G., eds. Multimedia Transport and Teleservices, International COST 237 Workshop. Lecture Notes in Computer Science, 882. Springer-Verlag pp. 145-167. ISBN 3-540-58759-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Derrick, John and Jones, Richard E. (1994) Modelling Garbage Collection Algorithms --- Extend abstract. In: Proceedings of Principles of Distributed Computing'94. (Full text available) |
|
| Sharma, Dinkar and Bowman, Howard and Wyble, Brad Computational Modelling of the Emotional Stroop Effect. In: Ninth Neural Computation and Psychology conference, 2004, Beijing. (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Book
| Bowman, Howard and Gomez, Rodolfo (2006) Concurrency Theory, Calculi and Automata for Modelling Untimed and Timed Concurrent Systems. Springer, London, 459 pp. ISBN 1-85233-895-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bowman, Howard and Derrick, John (2001) Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, 480 pp. ISBN 0-521-77184-6. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Blair, Gordon S. and Blair, Lynne and Bowman, Howard and Chetwynd, Amanda G. (1997) Formal Specification of Distributed Multimedia Systems. University College London Press, 352 pp. ISBN 1-85728-677-4. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Thesis
| Witon, Adrien J-B. (2019) EEG-Based Mental States Identification. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available) |
|
| Cooke, Jennifer, Ann (2016) Interacting with consciousness: An investigation into the neural signatures of conscious processing using the global-local auditory task. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available) |
|
| Zoumpoulaki, Alexia (2016) Detecting Perceptual Breakthrough in RSVP with Applications in Deception Detection Methodological, Behavioural and Electrophysiological Explorations. Doctor of Philosophy (PhD) thesis, University of Kent, EPSRC. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
|
| Shirazibeheshti, Amirali (2015) The effect of sedation on conscious processing: Computational analysis of the EEG response to auditory irregularity. Doctor of Science (DSc) thesis, University of Kent,. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
|
| Gootjes-Dreesbach, Ellis Luise (2015) Awareness & Perception in Rapid Serial Visual Presentation. Doctor of Philosophy (PhD) thesis, University of Kent,. (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
|
| Ahmad, Jumana (2015) A Behavioural and Electrophysiological exploration of the Working Memory impairment in Developmental Dyslexia. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available) |
|
Review
| Bowman, Howard and Blair, Gordon S. and Blair, Lynne and Chetwynd, Amanda G. (1995) Formal description of distributed multimedia systems: An assessment of potential techniques. Computer Communications, 18 (12). pp. 964-977. ISSN 0140-3664. (doi:https://doi.org/10.1016/0140-3664(96)81596-9) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
