Howard Bowman
Howard Bowman
School of Computing, University of Kent and School of Psychology, University of Birmingham
Verified email at - Homepage
Cited by
Cited by
The simultaneous type, serial token model of temporal attention and working memory.
H Bowman, B Wyble
Psychological review 114 (1), 38, 2007
The attentional blink provides episodic distinctiveness: sparing at a cost.
B Wyble, H Bowman, M Nieuwenstein
Journal of experimental psychology: Human perception and performance 35 (3), 787, 2009
Oscillations and episodic memory: addressing the synchronization/desynchronization conundrum
S Hanslmayr, BP Staresina, H Bowman
Trends in neurosciences 39 (1), 16-25, 2016
Deep temporal models and active inference
KJ Friston, R Rosch, T Parr, C Price, H Bowman
Neuroscience & Biobehavioral Reviews 90, 486-501, 2018
Neural-symbolic learning and reasoning: A survey and interpretation
TR Besold, AA Garcez, S Bader, H Bowman, P Domingos, P Hitzler, ...
arXiv preprint arXiv:1711.03902, 2017
Attentional episodes in visual perception.
B Wyble, MC Potter, H Bowman, M Nieuwenstein
Journal of Experimental Psychology: General 140 (3), 488, 2011
Neural correlates of intrusion of emotion words in a modified Stroop task
JC Van Hooff, KC Dietz, D Sharma, H Bowman
International journal of psychophysiology 67 (1), 23-34, 2008
Dissociating local and global levels of perceptuo-motor control in masked priming.
F Schlaghecken, H Bowman, M Eimer
Journal of Experimental Psychology: Human Perception and Performance 32 (3), 618, 2006
A decision procedure and complete axiomatization of finite interval temporal logic with projection
H Bowman, S Thompson
Journal of logic and Computation 13 (2), 195-239, 2003
Automatic verification of a lip-synchronisation protocol using uppaal
H Bowman, G Faconti, JP Katoen, D Latella, M Massink
Formal Aspects of Computing 10 (5), 550-575, 1998
The attentional blink reveals serial working memory encoding: Evidence from virtual and human event-related potentials
P Craston, B Wyble, S Chennu, H Bowman
Journal of cognitive neuroscience 21 (3), 550-566, 2009
A formal framework for viewpoint consistency
H Bowman, MWA Steen, EA Boiten, J Derrick
Formal Methods in System Design 21 (2), 111-166, 2002
Recovery after stroke: not so proportional after all?
TMH Hope, K Friston, CJ Price, AP Leff, P Rotshtein, H Bowman
Brain 142 (1), 15-22, 2019
Concurrency theory: calculi and automata for modelling untimed and timed concurrent systems
H Bowman, R Gomez
Springer Science & Business Media, 2006
Viewpoint consistency in ODP
E Boiten, H Bowman, J Derrick, P Linington, M Steen
Computer Networks 34 (3), 503-537, 2000
Formal Specification of Distributed Multimedia Systems
L Blair, GS Blair, H Bowman, AG Chetwynd
University College London Press, 1997
FDTs for ODP
H Bowman, J Derrick, PF Linington, M Steen
Computer Standards and Interfaces 17 (5-6), 457-479, 1995
The temporal signature of memories: identification of a general mechanism for dynamic memory replay in humans
S Michelmann, H Bowman, S Hanslmayr
PLoS biology 14 (8), e1002528, 2016
Attention Increases the Temporal Precision of Conscious Perception: Verifying the Neural-ST2 Model
S Chennu, P Craston, B Wyble, H Bowman
PLoS computational biology 5 (11), e1000576, 2009
Viewpoint consistency in ODP, a general interpretation.
H Bowman, E Boiten, J Derrick, M Steen
First IFIP International Workshop on Formal Methods for Open Object-Based …, 1996
The system can't perform the operation now. Try again later.
Articles 1–20