Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 148.

Article

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. (Full text available)
[img]
Preview

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. (Full text available)
[img]
Preview

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. (Full text available)
[img]
Preview

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. (Full text available)
[img]
Preview

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. (The full text of this publication is not available from this repository)

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. (The full text of this publication is not available from this repository)

Chennu, Srivas and Craston, Patrick and Wyble, Brad and Bowman, Howard (2009) Attention Increases the Temporal Precision of Conscious Perception: Verifying the Neural-ST² Model. PLoS Computational Biology, 5 (11). pp. 182-196. (The full text of this publication is not available from this repository)

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. (Full text available)
[img]
Preview

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). 1019-1051 . ISSN 0269-9931 . (The full text of this publication is not available from this repository)

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 ST<span class='mathrm'><sup>2</sup></span> Models. Brain Research, 1202 . pp. 25-42. ISSN 0006-8993. (Full text available)
[img]
Preview

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. (The full text of this publication is not available from this repository)

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 available from this repository)

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 . (Full text available)
[img]
Preview

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. (The full text of this publication is not available from this repository)

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. (Access to this publication is restricted)
[img]

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. (Full text available)
[img]
Preview

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)
[img]
Preview

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 . (The full text of this publication is not available from this repository)

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 available from this repository)

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. (Full text available)
[img]
Preview

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) . (Full text available)
[img]
Preview

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. (Full text available)
[img]
Preview

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 available from this repository)

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)
[img]
Preview

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)
[img]
Preview

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. (The full text of this publication is not available from this repository)

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 available from this repository)

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 . (The full text of this publication is not available from this repository)

Bowman, Howard and Steen, Maarten and Boiten, Eerke and Derrick, John (2002) A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21 (2). pp. 111-166. ISSN 0925-9856. (The full text of this publication is not available from this repository)

Bowman, Howard (2001) Formal Methods Elsewhere. Electronic Notes in Theoretical Computer Science, 43 . 162-163 . ISSN 1571-0661. (The full text of this publication is not available from this repository)

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 . (The full text of this publication is not available from this repository)

Boiten, Eerke 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 . (The full text of this publication is not available from this repository)

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 available from this repository)

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. (The full text of this publication is not available from this repository)

Bowman, Howard and Faconti, Giorgio (1999) Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects of Computing, 11 (2). pp. 132-159. (The full text of this publication is not available from this repository)

Boiten, Eerke 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. (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Boiten, Eerke 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. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Boiten, Eerke 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. (The full text of this publication is not available from this repository)

Derrick, John and Boiten, Eerke 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). (Full text available)
[img]
Preview
[img]
Preview

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 . (The full text of this publication is not available from this repository)

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 . (The full text of this publication is not available from this repository)

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 . (Full text available)
[img]
Preview
[img]
Preview

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 available from this repository)

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. (Full text available)
[img]
Preview
[img]
Preview

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 available from this repository)

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)
[img]
Preview

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 available from this repository)

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 available from this repository)

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 0521771846. (The full text of this publication is not available from this repository)

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 0521771846. (The full text of this publication is not available from this repository)

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 available from this repository)

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 available from this repository)

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 9780521771849. (Full text available)
[img]
Preview

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)
[img]
Preview

Wyble, Brad and Bowman, Howard and Craston, Patrick (2006) Attentional Capture in Stimulus Rich Computer Interfaces. Technical report. UKC (Full text available)
[img]
Preview

Wyble, Brad and Craston, Patrick and Bowman, Howard (2006) Electrophysiological Feedback in Adaptive Human Computer Interfaces. Technical report. UKC (Full text available)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

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)
[img]
Preview

Gomez, Rodolfo and Bowman, Howard (2005) Discrete Timed Automata. Technical report. UKC (Full text available)
[img]
Preview

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)
[img]
Preview

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 available from this repository)

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]

Bowman, Howard and Barnard, Philip (2001) Computational Modelling of Distributed Executive Control. Technical report. UKC, Canterbury, Kent, UK (Full text available)
[img]

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)
[img]
Preview

Bowman, Howard and Thompson, Simon (2000) A Complete Axiomatization of Interval Temporal Logic with Projection. Technical report. University of Kent (Full text available)
[img]
Preview

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)
[img]
Preview
[img]
Preview

Bowman, Howard and Steen, Maarten and Boiten, Eerke and Derrick, John (1999) A Formal Framework for Viewpoint Consistency (full version). Technical report. , Canterbury, Kent, CT2 7NZ (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard (1999) On Time and Action Lock Free Description of Timed Systems. Technical report. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Faconti, Giorgio and Massink, M. (1999) Towards Integrated Cognitive and Interface Analysis. Technical report. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard (1998) An Interpretation of Cognitive Theory in Concurrency Theory. Technical report. University of Kent (Full text available)
[img] [img]
Preview

Bowman, Howard and Thompson, Simon (1997) A Tableau Method for Interval Temporal Logic. Technical report. University of Kent at Canterbury (Full text available)
[img]
Preview
[img]
Preview

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)
[img]
Preview
[img]
Preview

Bowman, Howard and Boiten, Eerke 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)
[img]
Preview
[img]
Preview

Bowman, Howard and Boiten, Eerke 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)
[img]
Preview
[img]
Preview

Boiten, Eerke 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)
[img]
Preview
[img]
Preview

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)
[img]
Preview
[img]
Preview

Conference or workshop item

Bowman, Howard and Wyble, Brad and Chennu, Srivas 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. (The full text of this publication is not available from this repository)

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 available from this repository)

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 available from this repository)

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 ST<span class='mathrm'><sup>2</sup></span> framework. In: Proceedings of the 31st Annual Conference of the Cognitive Science Society. (The full text of this publication is not available from this repository)

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. (Full text available)
[img]
Preview

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: Connectionist models of behaviour and cognition II. (Full text available)
[img]
Preview

Chennu, Srivas and Craston, Patrick and Wyble, Brad and Bowman, Howard (2008) Transient Attentional Enhancement during the Attentional Blink: ERP correlates of the ST<span class='mathrm'><sup>2</sup></span> model. In: From Associations to Rules: Connectionist Models of Behavior and Cognition. (Full text available)
[img]
Preview

Su, Li and Bowman, Howard and Barnard, Philip (2007) Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. In: Electronic Notes in Theoretical Computer Science. Elsevier pp. 95-111. (Full text available)
[img]
Preview

Su, Li and Bowman, Howard and Barnard, Philip (2007) Attentional capture by meaning: A multi-level modelling study. In: 29th Annual meeting of the cognitive science society (CogSci 2007), August 1-4, 2007, Nashville, Tennessee. (Full text available)
[img]
Preview

Gomez, Rodolfo and Bowman, Howard (2007) Efficient Detection of Zeno Runs in Timed Automata. In: 5th International Conference FORMATS 2007 (Formal Modelling and Analysis of Timed Systems), October 2007, Salzburg, Austria. (Full text available)
[img]
Preview

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 available from this repository)

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 available from this repository)

Wyble, Brad and Bowman, Howard (2005) Computational and Experimental Evaluation of the Attentional Blink: Testing the Simultaneous Type Serial Token Model. In: CogSci 2005, XXVII Annual Conference of the Cognitive Science Society, 21-23 July 2005, Stresa, Italy. (The full text of this publication is not available from this repository)

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: AISB’05: Social Intelligence and Interaction in Animals, Robots and Agents, 12-15 April 2005, Hatfield, United Kingdom. (The full text of this publication is not available from this repository)

Bowman, Howard and Wyble, Brad (2005) Computational Modelling of the Attentional Blink. In: Proceedings of the Neural Computation and Psychology Workshop. (Full text available)
[img]
Preview

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: Progress in Neural Processing. (Full text available)
[img]
Preview

Wyble, Brad and Bowman, Howard (2004) The Attentional Blink at 20 items/sec, Model Prediction and Empirical Validation of Lag-2 Sparing. In: Proceedings of the International Conference on Cognitive Modelling, JUL 30-AUG 01, 2004, Carnegie Mellon Univ, Pittsburgh, PA, . (Full text available)
[img] [img]
Preview

UNSPECIFIED (2004) Proceedings of the Eighth Neural Computation and Psychology Workshop, Connectionist Models of Cognition and Perception II. In: UNSPECIFIED, April 2004, Singapore,. (The full text of this publication is not available from this repository)

Bowman, Howard and Wyble, Brad and Barnard, Philip (2004) Towards a Neural Network Model of the Attentional Blink. In: Proceedings of the Eighth Neural Computation and Psychology Workshop, Connectionist Models of Cognition and Perception II, Aug 28-30, 2003 , Univ Kent Canterbury, Kent, England. (Full text available)
[img]
Preview

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. Lecture Notes in Computr Science. LNCS, 2767 (2767). Springer, Berlin, Germany pp. 177-192. ISBN 3-540-20175-0 . (The full text of this publication is not available from this repository)

Bowman, Howard and Barnard, Philip (2003) Towards a Neural Network Model of the Attentional Blink (Abstract). In: Proceedings of Seventh International Conference on Cognitive and Neural Systems, May 2003, May 2003., Boston University, May 2003. . (The full text of this publication is not available from this repository)

Bowman, Howard and Schlaghecken, Friederike and Eimer, Martin (2002) Neural Network Modelling of Inhibition in Visuo-Motor Control. In: Proceedings of the Seventh Neural Computation and Psychology Workshop: Connectionist Models of Cognition and Perception, September 2002. (The full text of this publication is not available from this repository)

Bowman, Howard and Schlaghecken, Friederike and Eimer, Martin (2002) A Connectionist Model of Inhibition in Masked Priming (abstract). In: Proceedings of Sixth International Conference on Cognitive and Neural Systems, May 30th - June 1st, 2002, May 30th to June 1st 2002, Boston, Massachussetts. (The full text of this publication is not available from this repository)

Bowman, Howard (2001) Time and Action Lock Freedom Properties of Timed Automata. In: Formal Techniques for Networked and Distributed Systems. (The full text of this publication is not available from this repository)

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, IFM 2000, Dagstuhl Castle, Germany, November 2000. Proceedings. Lecture Notes in Comuter Science, 1945. Springer pp. 176-193. ISBN 3-540-41196-8. (Full text available)
[img]
Preview
[img]
Preview

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, July 24-25, 2000, Durham Univ. uk, . (The full text of this publication is not available from this repository)

Bowman, Howard and Faconti, Giorgio and Massink, M. (2000) Towards Integrated Cognitive and Interface Analysis. In: Proceedings of Formal Methods Elsewhere 2000, Pisa, Italy. (Full text available)
[img]
Preview

Bowman, Howard (1999) Modelling Concurrent Cognitive Architectures Using Process Calculi. In: European Conference on Cognitive Science 1999, 27th-30th October 1999, Siena, Italy. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard (1999) Modelling Timeouts without Timelocks. In: Formal Methods for Real-Time and Probabilistic Systems. Lecture Notes in Computer Science, 1601. Springer-Verlag pp. 334-354. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Derrick, John (1999) A Junction between State Based and Behavioural Specification. In: Formal Methods for Open Object-based Distributed Systems. (The full text of this publication is not available from this repository)

Steen, Maarten and Derrick, John and Boiten, Eerke and Bowman, Howard (1999) Consistency of partial process specifications. In: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98), Jan 04-08, 1999, Amazonia, Brazil. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Bryans, Jeremy W. and Derrick, John (1998) Analysis of a Multimedia Stream using Stochastic Process Algebra. In: Sixth International Workshop on Process Algebras and Performance Modelling, 1998. (Full text available)
[img]
Preview

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, Jun 03-05, 1998, Abington, England, . (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Thompson, Simon (1998) A Tableaux Method for Interval Temporal Logic with Projection. In: Proceedings of the International Conference on Automated Reasoning with 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)
[img] [img]
Preview

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: FMICS'98, Third Internatinoal Workshop on Formal Methods for Industrial Crtical Systems. (Full text available)
[img]
Preview

Cameron, Helen and King, Peter and Bowman, Howard and Thompson, Simon (1998) Synchronization in Multimedia Documents. In: Andre, Jacques, ed. Proceedings of the 7th International Conference on Electronic Publishing, Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography: Electronic Publishing, Artistic Imaging, and Digital Typography. Lecture Notes In Computer Science, 1357. Springer pp. 355-369. ISBN 3-540-64298-6 . (Full text available)
[img]
Preview
[img]
Preview

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, Mar 23-26, 1998, Fukushima, Japan. (The full text of this publication is not available from this repository)

Steen, Maarten and Bowman, Howard and Derrick, John and Boiten, Eerke (1997) Disjunction of LOTOS specifications. In: Mizuno, Tadanori and Shiratori, Norio and Higashino, Teruo and Togashi, Atsushi, eds. IFIP Conference Proceedings; Vol. 107. Chapman &amp; Hall, Osaka, Japan pp. 177-192. ISBN 0-412-82060-9 . (Full text available)
[img]
Preview

Boiten, Eerke and Bowman, Howard and Derrick, John and Steen, Maarten (1997) Viewpoint consistency in Z and LOTOS: A case study. In: UNSPECIFIED. (Full text available)
[img] [img]
Preview

Boiten, Eerke and Derrick, John and Bowman, Howard and Steen, Maarten (1997) Coupling schemas: data refinement and view(point)composition. In: Northern formal methods, 1997; Jul, Ilkley. (The full text of this publication is not available from this repository)

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 available from this repository)

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. Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems. Chapman and Hall pp. 335-351. ISBN 0-412-82040-4 . (Full text available)
[img] [img]
Preview

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. (Full text available)
[img] [img]
Preview

Derrick, John and Boiten, Eerke and Bowman, Howard and Steen, Maarten (1997) Translating LOTOS to Object-Z. In: 2nd BCS-FACS Northern Formal Methods Workshop : Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, 14-15 July, 1997, Ilkley, U. K.. (The full text of this publication is not available from this repository)

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. Lecture Notes in Computer Science, 1231. Springer-Verlag pp. 382-399. ISBN 3-540-63010-4 . (The full text of this publication is not available from this repository)

Derrick, John and Boiten, Eerke 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. Lecture Notes in Computer Science, 1212. Springer-Verlag, Reading pp. 369-388. ISBN 3-540-62717-0. (Full text available)
[img] [img]

Bowman, Howard and Derrick, John (1997) Extending LOTOS with time: A true concurrency perspective. In: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (ARTS 97), May 21-23, 1997, Palma De Mallorca, Spain. (The full text of this publication is not available from this repository)

Derrick, John and Bowman, Howard and Boiten, Eerke and Steen, Maarten (1996) Comparing LOTOS and Z refinement relations. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke and Bowman, Howard and Derrick, John and Steen, Maarten (1996) Issues in multiparadigm viewpoint specification. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

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. (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke and Derrick, John and Bowman, Howard and Steen, Maarten (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Boiten, Eerke and Bowman, Howard and Steen, Maarten (1996) Supporting ODP - Translating LOTOS into Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Boiten, Eerke and Derrick, John and Steen, Maarten (1996) Viewpoint consistency in ODP, a general interpretation. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Boiten, Eerke and Derrick, John and Bowman, Howard and Steen, Maarten (1995) Unification and multiple views of data in Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Derrick, John (1995) A True Concurrency Semantics for Quality of Service Specification and Validation. In: MMNet'95, International Conference on Multimedia and Networking. (The full text of this publication is not available from this repository)

Derrick, John and Bowman, Howard and Steen, Maarten (1995) Viewpoints and Objects. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Derrick, John and Bowman, Howard and Steen, Maarten (1995) Maintaining Cross Viewpoint Consistency using Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Derrick, John (1995) Modelling Distributed Systems using Z. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Bowman, Howard and Derrick, John and Steen, Maarten (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

Steen, Maarten and Bowman, Howard and Derrick, John (1995) Composition of LOTOS specifications. In: UNSPECIFIED. (The full text of this publication is not available from this repository)

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: Multimedia Transport and Teleservices, International COST 237 Workshop. (The full text of this publication is not available from this repository)

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)
[img]
Preview
[img]
Preview

Bowman, Howard and Blair, Gordon S. and Blair, Lynne and Chetwynd, Amanda G. (1993) Time Versus Abstraction In Formal Description. In: FORTE 93 - IFIP 6th International Conference on Formal Description Techniques, Boston, Ma. (The full text of this publication is not available from this repository)

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 available from this repository)

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 available from this repository)

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 available from this repository)

Bowman, Howard and Thompson, Simon (1998) A tableau method for interval temporal logic with projection. Springer-Verlag Berlin ISBN 3-540-64406-7. (The full text of this publication is not available from this repository)

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 PB. (The full text of this publication is not available from this repository)

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. (The full text of this publication is not available from this repository)

This list was generated on Fri Aug 1 13:42:10 2014 BST.