Items where Author, Editor or other role is "Bowman, Howard"

A

Alsufyani, Abdulmajeed, Harris, Kathryn, Zoumpoulaki, Alexia, Filetti, Marco, Bowman, Howard (2021) Breakthrough percepts of famous names. Cortex, 139 . pp. 267-281. ISSN 0010-9452. (doi:10.1016/j.cortex.2021.02.030) (KAR id:94138)

Aviles, Alberto, Bowman, Howard, Wyble, Brad (2020) On the limits of evidence accumulation of the preconscious percept. Cognition, 195 . Article Number 104080. ISSN 0010-0277. E-ISSN 1873-7838. (doi:10.1016/j.cognition.2019.104080) (KAR id:77074)

Alsufyani, Abdulmajeed, Hajilou, Omid, Zoumpoulaki, Alexia, Filetti, Marco, Solomon, Christopher J., Gibson, Stuart J., Alroobaea, Roobaea, Bowman, Howard (2019) Breakthrough Percepts of Famous Faces. Psychophysiology, 56 (1). Article Number 13279. ISSN 0048-5772. (doi:10.1111/psyp.13279) (KAR id:68555)

Ahmad, Jumana, Swan, Garrett, Bowman, Howard, Wyble, Brad, Nobre, Anna C., Shapiro, Kimron L., McNab, Fiona (2017) Competitive interactions affect working memory performance for both simultaneous and sequential stimulus presentation. Scientific Reports, 7 (4785). ISSN 2045-2322. (doi:10.1038/s41598-017-05011-x) (KAR id:62475)

Ahmad, Jumana, Ferguson, Heather J., 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) (KAR id:46035)

Ahmad, Jumana, Ferguson, Heather J., 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) (KAR id:46039)

Ahmad, Jumana, Ferguson, Heather J., 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) (KAR id:46037)

Ahmad, Jumana, Ferguson, Heather J., 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) (KAR id:46038)

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 (KAR id:21927)

B

Bowman, Howard, Jones, William, Pincham, Hannah, Fleming, Steve, Cleeremans, Axel, Smith, Murray (2022) Modelling the simultaneous encoding/serial experience theory of the perceptual moment: a blink of meta-experience. Neuroscience of Consciousness, 2022 (1). ISSN 2057-2107. (doi:10.1093/nc/niac003) (KAR id:104569)

Bowman, Howard, Brooks, Joseph L, Hajilou, Omid, Zoumpoulaki, Alexia, Litvak, Vladimir (2020) Breaking the Circularity in Circular Analyses: Simulations and Formal Treatment of the Flattened Average Approach. PLoS Computational Biology, 16 (11). Article Number e1008286. ISSN 1553-734X. E-ISSN 1553-7358. (doi:10.1371/journal.pcbi.1008286) (KAR id:82894)

Banellis, Leah, Sokoliuk, Rodika, Wild, Conor J., Bowman, Howard, Cruse, Damian (2020) Event-related potentials reflect prediction errors and pop-out during comprehension of degraded speech. Neuroscience of Consciousness, 2020 (1). pp. 1-13. E-ISSN 2057-2107. (doi:10.1093/nc/niaa022) (KAR id:85600)

Bonkhoff, Anna, Hope, Thomas M.H., Bzdok, Danilo, Guggisberg, Adrian, Hawe, Rachel, Dukelow, Sean, Rehme, Anne, Fink, Gereon, Grefkes, Christian, Bowman, Howard and others. (hide) (2020) Bringing Proportional Recovery into Proportion: Bayesian Modelling of Post-Stroke Motor Impairment. Brain, 143 (7). pp. 2189-2206. ISSN 0006-8950. (doi:10.1093/brain/awaa146) (KAR id:81216)

Brooks, Joseph L, Zoumpoulaki, Alexia, 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:10.1111/psyp.12682) (KAR id:55323)

Bowman, Howard, Filetti, Marco, Alsufyani, Abdulmajeed, Janssen, Dirk P., Su, Li (2014) Countering Countermeasures: Detecting Identity Lies by Detecting Conscious Breakthrough. PLoS ONE, 9 (3). Article Number 90595. ISSN 1932-6203. (doi:10.1371/journal.pone.0090595) (KAR id:38771)

Bowman, Howard, Filetti, Marco, Wyble, Brad, 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:10.1017/S0140525X12002324) (KAR id:33892)

Bowman, Howard, Filetti, Marco, Janssen, Dirk P., Li, Su, Alsufyani, Abdulmajeed, 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:10.1371/journal.pone.0054258) (KAR id:33454)

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. (KAR id:30708)

Bowman, Howard, Craston, Patrick, Chennu, Srivas, 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) (KAR id:24086)

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) (KAR id:24097)

Bowman, Howard, Wyble, Brad, Chennu, Srivas, 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:10.1016/j.brainres.2007.06.035) (KAR id:23957)

Bowman, Howard, 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:10.1037/0033-295X.114.1.38) (KAR id:14608)

Bowman, Howard, Gomez, Rodolfo (2006) How to stop time stopping. Formal Aspects of Computing, 18 (4). pp. 459-493. ISSN 0934-5043. (doi:10.1007/s00165-006-0010-7) (KAR id:14388)

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 (KAR id:14414)

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 (KAR id:14418)

Bowman, Howard, Schlaghecken, Friederike, 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:10.1080/13506280444000823) (KAR id:14502)

Bowman, Howard, 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) (KAR id:14506)

Bowman, Howard, Gomez, Rodolfo, 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:10.1016/j.entcs.2005.09.006) (KAR id:14234)

Bowman, Howard and Wyble, Bradley (2005) Modelling the Attentional Blink. In: Cangelosi, Angelo and Bugmann, Guido and Borisyuk, Roman, eds. Modeling Language, Cognition And Action - Proceedings Of The Ninth Neural Computation And Psychology Workshop. Progress in Neural Processing . World Scientific Publishing. ISBN 981-256-324-5. (KAR id:14375)

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 (KAR id:14161)

Barnard, Philip, 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. (KAR id:14180)

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. Connectionist Models of Cognition and Perception II: Proceedings of the Eighth Neural Computation and Psychology Workshop. Progress in Neural Processing . World Scientific Publishing, Singapore, pp. 178-187. ISBN 981-238-805-2. (KAR id:14189)

Bryans, Jeremy W., Bowman, Howard, Derrick, John (2003) Model Checking Stochastic Automata. ACM Transactions on Computational Logic, 4 (4). pp. 452-492. ISSN 1529-3785. (doi: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) (KAR id:13898)

Bowman, Howard, 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) (KAR id:13974)

Bowman, Howard, 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. (doi:10.1093/logcom/13.2.195) (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) (KAR id:13995)

Bowman, Howard, Cameron, Helen, King, Peter, Thompson, Simon (2003) Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design, 22 (1). pp. 5-38. ISSN 0925-9856. (doi: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) (KAR id:14016)

Bowman, Howard, Steen, Maarten, Boiten, Eerke Albert, Derrick, John (2002) A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21 (2). pp. 111-166. ISSN 0925-9856. (doi: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) (KAR id:13730)

Bowman, Howard, Schlaghecken, Friederike, 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. . pp. 209-222. World Scientific (doi:10.1142/9789812777256_0017) (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) (KAR id:13749)

Bowman, Howard, Schlaghecken, Friederike, 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) (KAR id:13788)

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 (KAR id:13527)

Bowman, Howard and Barnard, Philip (2001) Computational Modelling of Distributed Executive Control. Technical report. UKC, Canterbury, Kent, UK (KAR id:13548)

Bowman, Howard, 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) (KAR id:13543)

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) (KAR id:13554)

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) (KAR id:13555)

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. . pp. 119-134. Kluwer Academic Publishers (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) (KAR id:13578)

Bowman, Howard (2001) Formal Methods Elsewhere. Electronic Notes in Theoretical Computer Science, 43 . pp. 162-163. ISSN 1571-0661. (doi: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) (KAR id:13603)

Bowman, Howard, Bryans, Jeremy W., Derrick, John (2001) Analysis of a Multimedia Stream using Stochastic Process Algebra. Computer Journal, 44 (4). pp. 230-245. ISSN 0010-4620. (doi: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) (KAR id:13625)

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 Second International Conference. Lecture Notes in Comuter Science . Springer, Berlin, Germany, pp. 176-193. ISBN 978-3-540-41196-3. E-ISBN 978-3-540-40911-3. (doi:10.1007/3-540-40911-4_11) (KAR id:21939)

Bowman, Howard, Bryans, Jeremy W., 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) (KAR id:21943)

Bowman, Howard, Faconti, Giorgio, Massink, M. (2000) Towards Integrated Cognitive and Interface Analysis. In: Bowman, Howard, ed. Proceedings of Formal Methods Elsewhere 2000, Pisa, Italy. 43 of. pp. 97-112. Elsevier Science (doi:10.1016/S1571-0661(04)80896-X) (KAR id:21954)

Boiten, Eerke Albert, Bowman, Howard, Derrick, John, Linington, Peter F., Steen, Maarten (2000) Viewpoint Consistency in ODP. Computer Networks, 34 (3). pp. 503-537. ISSN 1389-1286. (doi:10.1016/s1389-1286(00)00114-6) (KAR id:21992)

Bowman, Howard, Derrick, John, 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) (KAR id:22006)

Bowman, Howard, Derrick, John, 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: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) (KAR id:16156)

Bowman, Howard and Thompson, Simon (2000) A Complete Axiomatization of Interval Temporal Logic with Projection. Technical report. University of Kent (KAR id:22055)

Bryans, Jeremy W. and Bowman, Howard and Derrick, John (2000) A Model Checking Algorithm for Stochastic Systems. Technical report. University of Kent, Canterbury, Kent (KAR id:22063)

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 (KAR id:21731)

Bowman, Howard (1999) On Time and Action Lock Free Description of Timed Systems. Technical report. (KAR id:21729)

Bowman, Howard (1999) Modelling Concurrent Cognitive Architectures Using Process Calculi. In: Bagnara, Sebastiano, ed. Conference Proceedings of the European Conference on Cognitive Science 1999. Istituto di Psicologia, pp. 161-166. ISBN 88-85059-10-4. (KAR id:21760)

Bowman, Howard, Faconti, Giorgio (1999) Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects of Computing, 11 (2). pp. 132-159. (doi: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) (KAR id:21747)

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423. (doi:10.1016/S0167-6423(99)00006-4) (KAR id:17100)

Bowman, Howard (1999) Modelling Timeouts without Timelocks. In: Formal Methods for Real-Time and Probabilistic Systems 5th International. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 334-354. ISBN 978-3-540-66010-1. E-ISBN 978-3-540-48778-4. (doi:10.1007/3-540-48778-6_20) (KAR id:21826)

Bowman, Howard, Boiten, Eerke Albert, Derrick, John, Steen, Maarten (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. (doi: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) (KAR id:17119)

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 IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS). IFIP — The International Federation for Information Processing . Kluwer Academic, pp. 213-239. ISBN 978-1-4757-5266-3. E-ISBN 978-0-387-35562-7. (doi: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) (KAR id:21871)

Bowman, Howard and Faconti, Giorgio and Massink, M. (1999) Towards Integrated Cognitive and Interface Analysis. Technical report. (KAR id:21874)

Bowman, Howard (1998) An Interpretation of Cognitive Theory in Concurrency Theory. Technical report. University of Kent (KAR id:21592)

Bowman, Howard, Bryans, Jeremy W., 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. . pp. 51-69. , Nice (KAR id:21606)

Bowman, Howard, Faconti, Giorgio, Katoen, J-P., Latella, D., 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: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) (KAR id:21620)

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: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) (KAR id:21621)

Bowman, Howard and Faconti, Giorgio P. and Massink, Mieke (1998) Specification and Verification of Media Constraints using UPPAAL. In: Design, Specification and Verification of Interactive Systems ’98: Proceedings of the Eurographics Workshop. Eurographics . Springer, Vienna, Austria, pp. 261-277. ISBN 978-3-211-83212-7. E-ISBN 978-3-7091-3693-5. (doi:10.1007/978-3-7091-3693-5_17) (KAR id:21613)

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 International Workshop on Formal Methods for Industrial Crtical Systems. CWI, pp. 97-124. ISBN 90-6196-480-6. (KAR id:21658)

Bowman, Howard, Thompson, Simon (1998) A Tableau Method for Interval Temporal Logic with Projection. In: TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods, 05-08 May 1998, Oisterwijk, Netherlands. (KAR id:21654)

Bowman, Howard 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. IEEE, pp. 228-238. ISBN 0-8186-8350-3. (doi: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) (KAR id:21681)

Bowman, Howard and Thompson, Simon (1998) A tableau method for interval temporal logic with projection. In: deSwart, H., ed. Automated Reasoning with Analytic Tableaux and Related Methods International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 108-123. ISBN 978-3-540-64406-4. E-ISBN 978-3-540-69778-7. (doi:10.1007/3-540-69778-0_17) (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) (KAR id:17603)

Bowman, Howard and Thompson, Simon (1997) A Tableau Method for Interval Temporal Logic. Technical report. University of Kent at Canterbury (KAR id:21432)

Blair, Gordon S., Blair, Lynne, Bowman, Howard, 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) (KAR id:21462)

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. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 644-664. ISBN 978-3-540-63533-8. E-ISBN 978-3-540-69593-6. (doi:10.1007/3-540-63533-5_34) (KAR id:21452)

+1 more...

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1997) Coupling schemas: data refinement and view(point) composition. In: Duke, David J. and Evans, A.S., eds. Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods. Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods. . Springer (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) (KAR id:21472)

Bowman, H. and Briscoe-Smith, C. and Derrick, J. and Strulo, B. (1997) On Behavioural Subtyping in LOTOS. In: Bowman, Howard and Derrick, John, eds. Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology, 2 . Springer, Boston, Massachusetts, USA, pp. 335-351. ISBN 978-1-5041-2952-7. E-ISBN 978-0-387-35261-9. (doi:10.1007/978-0-387-35261-9_23) (KAR id:21473)

+1 more...

Bowman, Howard, Cameron, Helen, King, Peter, Thompson, Simon (1997) Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In: International Conference on Temporal Logic. Applied Logic Series . Kluwer (KAR id:21471)

+1 more...

Bowman, Howard and Derrick, John (1997) Extending LOTOS with Time: True Concurrency Perspective. In: Bertran, Miquel and Rus, Teodor, eds. Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 382-399. ISBN 978-3-540-63010-4. E-ISBN 978-3-540-69058-0. (doi:10.1007/3-540-63010-4_26) (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) (KAR id:21500)

Bowman, Howard and Cameron, Helen and King, Peter and Thompson, Simon (1997) Mexitl: Multimedia in Executable Interval Temporal Logic. Technical report. University of Kent (KAR id:21503)

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 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, A. Lecture Notes In Computer Science . Springer, Berlin, Germany, pp. 383-399. ISBN 978-3-540-63010-4. E-ISBN 978-3-540-69058-0. (doi:10.1007/3-540-63010-4_26) (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) (KAR id:18303)

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. 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, New York, USA, pp. 162-166. ISBN 0-89791-867-3. (doi:10.1145/243327.243639) (KAR id:21329)

Boiten, Eerke Albert and Derrick, John and Bowman, Howard and Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: Gaudel, M.C. and Woodcock, Jim, eds. FME'96: Industrial Benefit and Advances in Formal Methods Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 287-306. ISBN 978-3-540-60973-5. E-ISBN 978-3-540-49749-3. (doi:10.1007/3-540-60973-3_93) (KAR id:21388)

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M.W.A. (1996) Viewpoint consistency in ODP, a general interpretation. In: Najm, Elie and Stefani, J.-B., eds. Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology . Springer, Boston, Massachusetts, USA, pp. 189-204. ISBN 978-1-5041-2875-9. E-ISBN 978-0-387-35082-0. (doi:10.1007/978-0-387-35082-0_14) (KAR id:21386)

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 (KAR id:21396)

Bowman, Howard, Derrick, John, Linington, Peter F., Steen, Maarten (1996) Cross-viewpoint consistency in open distributed processing. Software Engineering Journal, 11 (1). pp. 44-57. ISSN 0268-6961. (doi:10.1049/sej.1996.0005) (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) (KAR id:18834)

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: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) (KAR id:19715)

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 (KAR id:21223)

Boiten, Eerke Albert, Derrick, John, Bowman, Howard, Steen, Maarten (1995) Unification and multiple views of data in Z. In: van Vliet, J.C., ed. Computer Science in the Netherlands 1995. . pp. 73-85. Stichting Mathematisch Centrum, Amsterdam ISBN 90-6196-460-1. (KAR id:21226)

Bowman, Howard, Derrick, John, Linington, Peter F., Steen, Maarten (1995) FDTs for ODP. Computer Standards and Interfaces, 17 (5-6). pp. 457-479. ISSN 0920-5489. (doi:10.1016/0920-5489(95)00021-L) (KAR id:21243)

Blair, Lynne, Blair, Gordon S., Bowman, Howard, 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) (KAR id:21250)

Bowman, Howard and Derrick, John (1995) A True Concurrency Semantics for Quality of Service Specification and Validation. In: Sarikaya, Behcet and Saito, Senro, eds. Proceedings of the International Conference on Multimedia Networking: MmNet '95. IEEE, 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) (KAR id:21237)

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 (KAR id:21256)

Bowman, Howard, Derrick, John (1995) Modelling Distributed Systems using Z. In: UNSPECIFIED. (doi:10.1145/315891.315941) (KAR id:21281)

Bowman, Howard, Derrick, John, Steen, Maarten (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED. (doi:10.1007/978-0-387-34882-7_31) (KAR id:21276)

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 . Springer, Berlin, Germany, pp. 145-167. ISBN 978-3-540-58759-0. E-ISBN 978-3-540-49065-4. (doi:10.1007/3-540-58759-4_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) (KAR id:21165)

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 (KAR id:21202)

Bowman, Howard, Derrick, John, Jones, Richard E. (1994) Modelling Garbage Collection Algorithms --- Extend abstract. In: Proceedings of Principles of Distributed Computing'94. . (KAR id:21211)

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) (KAR id:20396)

C

Chen, Ivory Y., Karabay, Aytaç, Mathȏt, Sebastiaan, Bowman, Howard, Akyürek, Elkan G. (2022) Concealed identity information detection with pupillometry in rapid serial visual presentation. Psychophysiology, 60 (1). Article Number e14155. ISSN 1469-8986. (doi:10.1111/psyp.14155) (KAR id:99102)

Champion, Théophile, Grzes, Marek, Bowman, Howard (2022) Branching Time Active Inference with Bayesian Filtering. Neural Computation, 34 (10). pp. 2132-2144. ISSN 0899-7667. (doi:10.1162/neco_a_01529) (KAR id:95495)

Champion, Théophile, Bowman, Howard, Grzes, Marek (2022) Branching Time Active Inference: empirical study and complexity class analysis. Neural Networks, 152 . pp. 450-466. ISSN 0893-6080. (doi:10.1016/j.neunet.2022.05.010) (KAR id:98200)

Champion, Théophile, Da Costa, Lancelot, Bowman, Howard, Grześ, Marek (2022) Branching Time Active Inference: The theory and its generality. Neural Networks, 151 . pp. 295-316. ISSN 0893-6080. (doi:10.1016/j.neunet.2022.03.036) (KAR id:93990)

Champion, Théophile, Grześ, Marek, Bowman, Howard (2021) Realising Active Inference in Variational Message Passing: the Outcome-blind Certainty Seeker. Neural Computation, 33 (10). ISSN 0899-7667. E-ISSN 1530-888X. (doi:10.1162/neco_a_01422) (KAR id:88015)

Coulborn, Sean, Bowman, Howard, Miall, Chris, Fernández-Espejo, Davinia (2020) Effect of tDCS Over the Right Inferior Parietal Lobule on Mind-Wandering Propensity. Frontiers in Human Neuroscience, . pp. 1-20. ISSN 1662-5161. (KAR id:82811)

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,. (KAR id:63872)

Chennu, Srivas, Alsufyani, Abdulmajeed, Filetti, Marco, Owen, Adrian, 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:10.1186/1743-0003-10-82) (KAR id:34935)

Chennu, Srivas and Bowman, Howard and Wyble, Brad and Craston, Patrick (2011) Fortunate Conjunctions Revived: Feature Binding with the 2f-ST2 Model. In: 33rd Annual Meeting of the Cognitive Science Society 2011 (CogSci 2011). Cognitive Science Society, Austin, Texas, USA, 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) (KAR id:30744)

Chennu, Srivas, Craston, Patrick, Wyble, Brad, 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:10.1371/journal.pcbi.1000576) (KAR id:54653)

Chennu, Srivas, Craston, Patrick, Wyble, Brad, 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. (KAR id:24083)

Craston, Patrick, Wyble, Brad, Chennu, Srivas, 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:10.1162/jocn.2009.21036) (KAR id:23966)

Chennu, Srivas, Craston, Patrick, Wyble, Brad, 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. (KAR id:23962)

Craston, Patrick (2008) Applying cognitive electrophysiology to neural modelling of the attentional blink. Doctor of Philosophy (PhD) thesis, University of Kent. (doi:10.22024/UniKent/01.02.86383) (KAR id:86383)

Craston, Patrick, Wyble, Brad, 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) (KAR id:14478)

Cameron, Helen and King, Peter and Bowman, Howard and Thompson, Simon (1998) Synchronization in Multimedia Documents. In: Andre, Jacques, ed. Electronic Publishing, Artistic Imaging, and Digital Typography 7th International Conference on Electronic Publishing. Lecture Notes In Computer Science . Springer, Berlin, Germany, pp. 355-369. ISBN 978-3-540-64298-5. E-ISBN 978-3-540-69718-3. (doi:10.1007/BFb0053283) (KAR id:21653)

Charles, Nathan, Bowman, Howard, Thompson, Simon (1997) From ACT-ONE to Miranda, a Translation Experiment. Computer Standards and Interfaces, 19 (1). pp. 31-49. ISSN 0920-5489. (doi:10.1016/S0920-5489(97)00005-6) (KAR id:21506)

D

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: Frings, C. and Mecklinger, A. and Wentura, D. and Zimmer, H., eds. Beiträge zur 52. Tagung experimentell arbeitender Psychologen. Pabst Science Publishers, Lengerich, Westphalia, Germany, pp. 182-196. ISBN 978-3-89967-626-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) (KAR id:30679)

Dietz, Kristina Charlotte, Bowman, Howard, 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). pp. 129-140. World Scientific: London ISBN 978-981-283-422-5. (KAR id:24112)

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards and Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489. (doi:10.1016/S0920-5489(99)00010-0) (KAR id:17284)

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, 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:10.1007/s001650050007) (KAR id:21577)

Derrick, John, Boiten, Eerke Albert, Bowman, Howard, Steen, Maarten (1997) Translating LOTOS to Object-Z. In: 2nd BCS-FACS Northern Formal Methods Workshop, 14-15 Jul 1997, Ilkley, England. (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) (KAR id:21474)

Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1997) Weak refinement in Z. In: Bowen, Jonathan P. and Hinchey, Michael G. and Till, David, eds. ZUM '97: The Z Formal Specification Notation 10th International Conference of Z Users. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 369-388. ISBN 978-3-540-62717-3. E-ISBN 978-3-540-68490-9. (doi:10.1007/BFb0027298) (KAR id:21516)

+1 more...

Derrick, John, Bowman, Howard, Boiten, Eerke Albert, 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. . pp. 501-516. Chapman & Hall, Kaiserslautern, Germany ISBN 0-412-79490-X. (doi:10.1007/978-0-387-35079-0_32) (KAR id:21330)

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M.W.A. (1996) Supporting ODP - Translating LOTOS to Z. In: Najm, Elie and Stefani, J.-B., eds. Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology . Springer, Boston, Massachusetts, USA, pp. 399-406. ISBN 978-1-5041-2875-9. E-ISBN 978-0-387-35082-0. (doi:10.1007/978-0-387-35082-0_29) (KAR id:21389)

Derrick, John, Bowman, Howard, Steen, Maarten (1995) Viewpoints and Objects. In: UNSPECIFIED. (KAR id:21245)

Derrick, John, Bowman, Howard, Steen, Maarten (1995) Maintaining Cross Viewpoint Consistency using Z. In: UNSPECIFIED. (doi:10.1007/978-0-387-34882-7_32) (KAR id:21280)

F

Friston, Karl J., Rosch, Richard, Parr, Thomas, Price, Cathy, Bowman, Howard (2017) Deep temporal models and active inference. Neuroscience & Biobehavioral Reviews, 77 . pp. 388-402. ISSN 0149-7634. (doi:10.1016/j.neubiorev.2017.04.009) (KAR id:62002)

G

Gajardo-Vidal, Andrea, Lorca-Puls, Diego L., Warner, Holly, Pshdary, Bawan, Crinion, Jennifer T., Leff, Alex P., Hope, Thomas M.H., Geva, Sharon, Seghier, Mohamed L., Green, David W., and others. Bowman, Howard, and Price, Cathy (hide) (2021) Damage to Broca’s area does not contribute to long-term speech production outcome after stroke. Brain, . Article Number awaa460. ISSN 0006-8950. E-ISSN 1460-2156. (doi:10.1093/brain/awaa460) (KAR id:85902)

Garner, Kelly, Bowman, Howard, Raymond, Jane (2020) Incentive value and spatial certainty combine additively to determine visual priorities. Attention, Perception, & Psychophysics, . ISSN 1943-3921. (doi:10.3758/s13414-020-02124-w) (KAR id:83566)

Gajardo-Vidal, Andrea, Lorca-Puls, Diego L., Crinion, Jennifer T., White, Jitrachote, Seghier, Mohamed L., Leff, Alex P., Hope, Thomas M.H., Ludersdorfer, Philipp, Green, David W., Bowman, Howard, and others. Price, Cathy J. (hide) (2018) How distributed processing produces false negatives in voxel-based lesion-deficit analyses. Neuropsychologia, . ISSN 0028-3932. (doi:10.1016/j.neuropsychologia.2018.02.025) (KAR id:66586)

Gootjes-Dreesbach, Ellis Luise (2015) Awareness & Perception in Rapid Serial Visual Presentation. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.56667) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:56667)

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. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 195-210. ISBN 978-3-540-75453-4. E-ISBN 978-3-540-75454-1. (doi:10.1007/978-3-540-75454-1_15) (KAR id:14538)

Gomez, Rodolfo and Bowman, Howard (2006) Compositional Detection of Zeno Behaviour in Timed Automata. Technical report. Computing Laboratory, CT2 7NF Canterbury, Kent, UK (KAR id:14389)

Gomez, Rodolfo and Bowman, Howard (2005) Discrete Timed Automata. Technical report. UKC (KAR id:14362)

Gomez, Rodolfo, 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. (doi:10.3166/jancl.14.105-148) (KAR id:14032)

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 23rd IFIP WG 6.1 International Conference. Lecture Notes in Computr Science . Springer, Berlin, Germany, pp. 177-192. ISBN 978-3-540-20175-5. E-ISBN 978-3-540-39979-7. (doi:10.1007/978-3-540-39979-7_12) (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) (KAR id:13904)

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) (KAR id:13933)

H

Harris, Kathryn Louise (2022) Generalising the Fringe-P3 Method for the Detection of Deception and Concealed Information Through Investigations into Stimuli and Analyses. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.94071) (KAR id:94071)

Hellerstedt, Robin, Moccia, Arianna, Brunskill, Chloe M, Bowman, Howard, Bergström, Zara M (2021) Aging Reduces EEG Markers of Recognition Despite Intact Performance: Implications for Forensic Memory Detection. Cortex, 140 . pp. 80-97. ISSN 0010-9452. (doi:10.1016/j.cortex.2021.03.015) (KAR id:88316)

Harris, Kathryn, Miller, Claire, Jose, Brendan, Beech, Anthony, Bowman, Howard (2021) Breakthrough percepts of online identity: Detecting recognition of email addresses on the fringe of awareness. European Journal of Neuroscience, 53 (3). pp. 895-901. ISSN 0953-816X. E-ISSN 1460-9568. (doi:10.1111/ejn.15098) (KAR id:85599)

Hajilou, Omid (2020) Face Perception and Recognition, on the Fringe of Human Awareness. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.85577) (KAR id:85577)

Hosseini, Mahan, Powell, Michael, Collins, John, Callahan-Flintoft, Chloe, Jones, William, Bowman, Howard, Wyble, Brad (2020) I tried a bunch of things: The dangers of unexpected overfitting in classification of brain data. Neuroscience & Biobehavioral Reviews, 119 . pp. 456-467. ISSN 0149-7634. (doi:10.1016/j.neubiorev.2020.09.036) (KAR id:84806)

Hope, Thomas M.H., Friston, Karl J., Price, Cathy J., Leff, Alex P., Rotshtein, Pia, 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:10.1093/brain/awy302) (KAR id:69746)

Hanslmayr, Simon, Staresina, B, 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:10.1016/j.tins.2015.11.004) (KAR id:54575)

I

Ihalainen, Riku (2022) EEG-based effective and functional connectivity for differentiating and predicting altered states of consciousness. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.97273) (KAR id:97273)

J

Jones, William, Pincham, Hannah, Gootjes-Dreesbach, Ellis Luise, Bowman, Howard (2020) Fleeting Perceptual Experience and the Possibility of Recalling Without Seeing. Scientific Reports, 10 (8540). ISSN 2045-2322. (doi:10.1038/s41598-020-64843-2) (KAR id:81206)

Jones, William Roger (2019) On the Possibility of Recalling Without Seeing: Evidence From State-Trace Analysis of the Experiential Blink. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:82197)

K

Kolibius, Luca D, Roux, Frederic, Parish, George, Ter Wal, Marije, Van Der Plas, Mircea, Chelvarajah, Ramesh, Sawlani, Vijay, Rollings, David T, Lang, Johannes D, Gollwitzer, Stephanie, and others. Walther, Katrin, Hopfengärtner, Rüdiger, Kreiselmeyer, Gernot, Hamer, Hajo, Staresina, Bernhard P, Wimber, Maria, Bowman, Howard, and Hanslmayr, Simon (hide) (2023) Hippocampal neurons code individual episodic memories in humans. Nature human behaviour, 7 (11). pp. 1968-1977. ISSN 2397-3374. (doi:10.1038/s41562-023-01706-6) (KAR id:103341)

Kalidindi, Kiran, 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: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) (KAR id:14601)

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 (KAR id:14252)

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, UK, 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) (KAR id:14333)

Kalidindi, Kiran and Bowman, Howard and Wyble, Bradley (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. Modeling Language, Cognition And Action - Proceedings Of The Ninth Neural Computation And Psychology Workshop. Progress in Neural Processing . World Scientific Publishing, pp. 331-335. ISBN 981-256-324-5. (doi:10.1142/9789812701886_0034) (KAR id:14222)

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. (KAR id:13503)

L

Lorca-Puls, Diego L., Gajardo-Vidal, Andrea, White, Jitrachote, Seghier, Mohamed L., Leff, Alexander P., Green, David W., Crinion, Jenny T., Ludersdorfer, Philipp, Hope, Thomas M.H., Bowman, Howard, and others. Price, Cathy J. (hide) (2018) The impact of sample size on the reproducibility of voxel-based lesion-deficit mappings. Neuropsychologia, . ISSN 0028-3932. (doi:10.1016/j.neuropsychologia.2018.03.014) (KAR id:66579)

Li, Su, Wyble, Brad, Zhou, Lai-quan, Wang, Kui, Wang, Yu-na, Cheung, Eric F.C., Bowman, Howard, 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:10.1038/srep09745) (KAR id:48708)

Li, Ling, Witon, Adrien, Marcora, Samuele Maria, Bowman, Howard, 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. . pp. 1002-1005. IEEE (doi:10.1109/EMBC.2014.6943762) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:48649)

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 (KAR id:14421)

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) (KAR id:13535)

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) (KAR id:13534)

Linington, Peter F., Derrick, John, Bowman, Howard (1996) The specification and conformance of ODP systems. In: 9th International Workshop on Testing of Communicating Systems. . pp. 93-114. Chapman & Hall, Darmstadt, Germany (KAR id:21340)

M

Michelmann, Sebastian, Staresina, Bernhard, Bowman, Howard, Hanslmayr, Simon (2019) Speed of time-compressed forward replay flexibly changes in human episodic memory. Nature Human Behavior, 3 . pp. 143-154. E-ISSN 2397-3374. (doi:10.1038/s41562-018-0491-4) (KAR id:71430)

Michelmann, Sebastian, Treder, Matthias S., Griffiths, Benjamin, Kerrén, Casper, Roux, Frédéric, Wimber, Maria, Rollings, David, Sawlani, Vijay, Chelvarajah, Ramesh, Gollwitzer, Stephanie, and others. Kreiselmeyer, Gernot, Hamer, Hajo, Bowman, Howard, Staresina, Bernhard, and Hanslmayr, Simon (hide) (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:10.1016/j.jneumeth.2018.06.021) (KAR id:67587)

Michelmann, Sebastian, Bowman, Howard, Hanslmayr, Simon (2018) Replay of Stimulus-specific Temporal Patterns during Associative Memory Formation. Journal of Cognitive Neuroscience, 30 (11). pp. 1577-1589. ISSN 0898-929X. E-ISSN 1530-8898. (doi:10.1162/jocn_a_01304) (KAR id:67257)

Mazaheri, A., Segaert, K., Olichney, J., Yang, J-C, Niu, Y-Q, Shapiro, Kimron L., 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:10.1016/j.nicl.2017.10.009) (KAR id:64541)

Michelmann, Sebastian, Bowman, Howard, 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:10.1371/journal.pbio.1002528) (KAR id:57412)

N

Nguyen, Huy Le (2023) Constraint programming in spiking neural networks. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.100670) (KAR id:100670)

Nayeb Ghanbar Hosseini, Mahan (2022) My mind's playing tricks on me: Understanding event integration in rapid stimulus streams. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.97369) (KAR id:97369)

P

Palaniappan, Ramaswamy, Mouli, Surej, Bowman, Howard, McLoughlin, Ian Vince (2021) Investigating the Cognitive Response of Brake Lights in Initiating Braking Action Using EEG. IEEE Transactions on Intelligent Transportation Systems, . pp. 1-6. ISSN 1524-9050. (doi:10.1109/TITS.2021.3091291) (KAR id:88998)

Palaniappan, Ramaswamy, Mouli, Surej, Fringi, Evangelia, Bowman, Howard, McLoughlin, Ian (2021) Incandescent Bulb and LED Brake Lights: Novel Analysis of Reaction Times. IEEE Access, 9 . pp. 29143-29152. ISSN 2169-3536. (doi:10.1109/ACCESS.2021.3058579) (KAR id:85926)

Parish, George, Hanslmayr, Simon, 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:10.1523/JNEUROSCI.2561-17.2018) (KAR id:66377)

Pincham, Hannah, Bowman, Howard, 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:10.1016/j.cortex.2016.04.007) (KAR id:55816)

S

Shirazibeheshti, Amirali, Cooke, Jennifer, Chennu, Srivas, Adapa, Ram, Menon, David K., Hojjatoleslami, Ali, Witon, Adrien, Li, Ling, Bekinschtein, Tristan, Bowman, Howard and others. (hide) (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:10.1016/j.concog.2018.06.010) (KAR id:67245)

Simione, Luca, Akyurek, Elkan, Vastola, Valentina, Raffone, Antonino, 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:10.1016/j.concog.2017.03.004) (KAR id:61353)

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,. (doi:10.22024/UniKent/01.02.54467) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:54467)

Su, Li, Gomez, Rodolfo, Bowman, Howard (2014) Analysing neurobiological models using communicating automata. Formal Aspects of Computing, 26 (6). pp. 1169-1204. ISSN 0934-5043. (doi: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) (KAR id:47880)

Su, Li, Bowman, Howard, 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: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) (KAR id:30706)

Su, Li, Barnard, Philip, Bowman, Howard (2010) On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions. In: UNSPECIFIED. (doi:10.1007/978-3-642-15825-4_69) (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) (KAR id:30657)

Su, Li, Bowman, Howard, Barnard, Philip (2008) Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. Electronic Notes in Theoretical Computer Science, 208 . pp. 95-111. ISSN 1571-0661. (doi:10.1016/j.entcs.2008.03.109) (KAR id:14545)

Su, Li, Bowman, Howard, Barnard, Philip, Wyble, Brad (2008) Process Algebraic Modelling of Attentional Capture and Human Electrophysiology in Reactive Systems. Formal Aspects of Computing, . ISSN 0934-5043. (doi: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) (KAR id:24016)

Su, Li and Bowman, Howard and Barnard, Philip (2007) Attentional capture by meaning: A multi-level modelling study. In: Cogsci 2007: Proceedings of the 29th Annual Conference of the Cognitive Science Society. Lawrence Erlbaum Associates. ISBN 978-0-9768318-3-9. (KAR id:14549)

Sharma, Dinkar, Wyble, Brad, 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) (KAR id:12380)

Schlaghecken, Friederike, Bowman, Howard, 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:10.1037/0096-1523.32.3.618) (KAR id:14468)

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 (KAR id:14514)

Su, Li, Bowman, Howard, 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) (KAR id:14284)

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 7th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 248-262. ISBN 978-3-540-65462-9. E-ISBN 978-3-540-49253-5. (doi:10.1007/3-540-49253-4_19) (KAR id:16653)

Steen, M.W.A. and Bowman, H. and Derrick, J. and Boiten, E.A. (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. IFIP - The International Federation for Information Processing . Springer, Boston, Massachusetts, USA, pp. 177-192. ISBN 978-1-4757-5260-1. E-ISBN 978-0-387-35271-8. (doi:10.1007/978-0-387-35271-8_11) (KAR id:21439)

Steen, Maarten, Bowman, Howard, 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) (KAR id:21289)

Sharma, Dinkar, Bowman, Howard, 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) (KAR id:12394)

V

Vidal-Gran, Consuelo, Sokoliuk, Rodika, Bowman, Howard, Cruse, Damian (2020) Strategic and Non-Strategic Semantic Expectations Hierarchically Modulate Neural Processing. eNeuro, 7 (5). ISSN 2373-2822. (doi:10.1523/ENEURO.0229-20.2020) (KAR id:84690)

Van Hooff, Johanna C., Dietz, Kristina Charlotte, Sharma, Dinkar, 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:10.1016/j.ijpsycho.2007.09.002) (KAR id:4511)

W

Witon, Adrien, Shirazibeheshti, Amirali, Cooke, Jennifer, Aviles, Alberto, Adapa, Ram, Menon, David K., Chennu, Srivas, Bekinschtein, Tristan A., David Lopez, Jose, Litvak, Vladimir, and others. Li, Ling, Friston, Karl, and Bowman, Howard (hide) (2020) Sedation Modulates Frontotemporal Predictive Coding Circuits and the Double Surprise Acceleration Effect. Cerebral Cortex, . ISSN 1047-3211. E-ISSN 1460-2199. (doi:10.1093/cercor/bhaa071) (KAR id:80568)

Wyble, Brad, Callahan-Flintoft, Chloe, Chen, Hui, Marinov, Toma, Sarkar, Aakash, Bowman, Howard (2020) Understanding visual attention with RAGNAROC: A Reflexive Attention Gradient through Neural AttRactOr Competition. Psychological Review, 127 (6). pp. 1163-1198. ISSN 0033-295X. E-ISSN 1939-1471. (doi:10.1037/rev0000245) (KAR id:81591)

Witon, Adrien J-B. (2019) EEG-Based Mental States Identification. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:73337)

Wyble, Brad, Bowman, Howard, 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. (KAR id:47943)

Wyble, Brad, Potter, Mary C., Bowman, Howard, Nieuwenstein, Mark (2011) Attentional Episodes in Visual Perception. Journal of Experimental Psychology: General, 140 (3). pp. 182-196. (doi: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) (KAR id:30736)

Wyble, Brad, Sharma, Dinkar, 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: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) (KAR id:4605)

Wyble, Brad, Bowman, Howard, 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: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) (KAR id:23974)

Wyble, Brad, Bowman, Howard, 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) (KAR id:24015)

Wyble, Brad and Bowman, Howard and Craston, Patrick (2006) Attentional Capture in Stimulus Rich Computer Interfaces. Technical report. UKC (KAR id:14417)

Wyble, Brad and Craston, Patrick and Bowman, Howard (2006) Electrophysiological Feedback in Adaptive Human Computer Interfaces. Technical report. UKC (KAR id:14420)

Wyble, Brad, 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: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) (KAR id:14465)

Wyble, Brad, 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) (KAR id:14255)

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. Proceedings of the Annual Meeting of the Cognitive Science Society. 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) (KAR id:14300)

Wyble, Bradley and Sharma, Dinkar and Bowman, Howard (2005) Modelling the slow emotional stroop effect: Suppression of cognitive control. In: Cangelosi, Angelo and Bugmann, Guido, eds. Modeling Language, Cognition And Action - Proceedings Of The Ninth Neural Computation And Psychology Workshop. Progress in Neural Processing . World Scientific Publishing, pp. 291-300. ISBN 981-256-324-5. (doi:10.1142/9789812701886_0030) (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) (KAR id:4604)

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 Modeling. Psychology Press, pp. 400-401. ISBN 978-0-8058-5426-8. (KAR id:14073)

Z

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. (doi:10.22024/UniKent/01.02.61386) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:61386)

Zoumpoulaki, Alexia, Alsufyani, Abdulmajeed, Filetti, Marco, Brammer, Mick, Bowman, Howard (2015) Latency as a Region Contrast: Measuring ERP Latency Differences with Dynamic Time Warping. Psychophysiology, . pp. 1-46. ISSN 0048-5772. (KAR id:51064)

Zoumpoulaki, Alexia, Alsufyani, Abdulmajeed, Bowman, Howard (2015) Resampling the peak, some dos and don'ts. Psychophysiology, 52 (3). pp. 444-448. ISSN 0048-5772. (KAR id:47944)