Howard Bowman

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 19

Top Venues

CoRR

Neural Comput.

Neural Networks

Formal Aspects Comput.

Lancaster University, UK (PHD)

Education History

Lancaster University, UK

PHD

Publications

Théophile Champion, Howard Bowman, Dimitrije Markovic, Marek Grzes
Reframing the Expected Free Energy: Four Formulations and a Unification. CoRR (2024)
Adam White, Margarita Saranti, Artur S. d'Avila Garcez, Thomas M. H. Hope, Cathy J. Price, Howard Bowman
Predicting recovery following stroke: deep learning, multimodal data and feature selection using explainable AI. CoRR (2023)
Théophile Champion, Marek Grzes, Lisa Bonheme, Howard Bowman
Deconstructing deep active inference. CoRR (2023)
Théophile Champion, Marek Grzes, Howard Bowman
Multi-Modal and Multi-Factor Branching Time Active Inference. CoRR (2022)
Ramaswamy Palaniappan, Surej Mouli, Howard Bowman, Ian McLoughlin
Investigating the Cognitive Response of Brake Lights in Initiating Braking Action Using EEG. IEEE Trans. Intell. Transp. Syst. 23 (8) (2022)
Théophile Champion, Howard Bowman, Marek Grzes
Branching time active inference: Empirical study and complexity class analysis. Neural Networks 152 (2022)
Théophile Champion, Lancelot Da Costa, Howard Bowman, Marek Grzes
Branching Time Active Inference: The theory and its generality. Neural Networks 151 (2022)
Théophile Champion, Marek Grzes, Howard Bowman
Branching Time Active Inference with Bayesian Filtering. Neural Comput. 34 (10) (2022)
Riku Ihalainen, Olivia Gosseries, Frederik Van de Steen, Federico Raimondo, Rajanikant Panda, Vincent Bonhomme, Daniele Marinazzo, Howard Bowman, Steven Laureys, Srivas Chennu
How hot is the hot zone? Computational modelling clarifies the role of parietal and frontoparietal connectivity during anaesthetic-induced loss of consciousness. NeuroImage 231 (2021)
Théophile Champion, Marek Grzes, Howard Bowman
Realising Active Inference in Variational Message Passing: the Outcome-blind Certainty Seeker. CoRR (2021)
Théophile Champion, Howard Bowman, Marek Grzes
Branching Time Active Inference: empirical study and complexity class analysis. CoRR (2021)
Théophile Champion, Lancelot Da Costa, Howard Bowman, Marek Grzes
Branching Time Active Inference: the theory and its generality. CoRR (2021)
Théophile Champion, Marek Grzes, Howard Bowman
Realizing Active Inference in Variational Message Passing: The Outcome-Blind Certainty Seeker. Neural Comput. 33 (10) (2021)
Ramaswamy Palaniappan, Surej Mouli, Evangelia Fringi, Howard Bowman, Ian McLoughlin
Incandescent Bulb and LED Brake Lights: Novel Analysis of Reaction Times. IEEE Access 9 (2021)
Théophile Champion, Marek Grzes, Howard Bowman
Branching Time Active Inference with Bayesian Filtering. CoRR (2021)
Howard Bowman, Joseph L. Brooks, Omid Hajilou, Alexia Zoumpoulaki, Vladimir Litvak
Breaking the circularity in circular analyses: Simulations and formal treatment of the flattened average approach. PLoS Comput. Biol. 16 (11) (2020)
Ramaswamy Palaniappan, Surej Mouli, Evangelia Fringi, Howard Bowman, Ian McLoughlin
Incandescent Bulb and LED Brake Lights: Novel Analysis of Reaction Times. CoRR (2020)
Sebastian Michelmann, Howard Bowman, Simon Hanslmayr
Replay of Stimulus-specific Temporal Patterns during Associative Memory Formation. J. Cogn. Neurosci. 30 (11) (2018)
Tarek R. Besold, Artur S. d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro M. Domingos, Pascal Hitzler, Kai-Uwe Kühnberger, Luís C. Lamb, Daniel Lowd, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. CoRR (2017)
Ling Li, Adrien Witon, Samuele Marcora, Howard Bowman, Danilo P. Mandic
EEG-based brain connectivity analysis of states of unawareness. EMBC (2014)
Li Su, Rodolfo Gómez, Howard Bowman
Analysing neurobiological models using communicating automata. Formal Aspects Comput. 26 (6) (2014)
Srivas Chennu, Howard Bowman, Brad Wyble
Fortunate Conjunctions Revived: Feature Binding with the 2f-ST2 Model. CogSci (2011)
Li Su, Philip J. Barnard, Howard Bowman
On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions. ICANN (3) (2010)
Li Su, Howard Bowman, Philip J. Barnard, Bradley P. Wyble
Process algebraic modelling of attentional capture and human electrophysiology in interactive systems. Formal Aspects Comput. 21 (6) (2009)
Patrick Craston, Bradley P. Wyble, Srivas Chennu, Howard Bowman
The Attentional Blink Reveals Serial Working Memory Encoding: Evidence from Virtual and Human Event-related Potentials. J. Cogn. Neurosci. 21 (3) (2009)
Srivas Chennu, Patrick Craston, Bradley P. Wyble, Howard Bowman
Model. PLoS Comput. Biol. 5 (11) (2009)
Li Su, Howard Bowman, Philip J. Barnard
Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. Electron. Notes Theor. Comput. Sci. 208 (2008)
Kiran Kalidindi, Howard Bowman
Using epsiloon-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task. Neural Networks 20 (6) (2007)
Rodolfo Gómez, Howard Bowman
Efficient Detection of Zeno Runs in Timed Automata. FORMATS (2007)
Howard Bowman, Rodolfo Gómez
How to stop time stopping. Formal Aspects Comput. 18 (4) (2006)
Howard Bowman, Rodolfo Gómez, Li Su
A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata. Electron. Notes Theor. Comput. Sci. 139 (1) (2005)
Rodolfo Gómez, Howard Bowman
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. J. Appl. Non Class. Logics 14 (1-2) (2004)
Bradley P. Wyble, Howard Bowman
The Attentional Blink at 20 items/sec, Model Prediction and Empirical Validation of Lag-2 Sparing. ICCM (2004)
Rodolfo Gómez, Howard Bowman
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. FORTE (2003)
Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson
Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods Syst. Des. 22 (1) (2003)
Jeremy W. Bryans, Howard Bowman, John Derrick
Model checking stochastic automata. ACM Trans. Comput. Log. 4 (4) (2003)
Howard Bowman, Simon J. Thompson
A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. J. Log. Comput. 13 (2) (2003)
Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick
A Formal Framework for Viewpoint Consistency. Formal Methods Syst. Des. 21 (2) (2002)
Howard Bowman, Giorgio P. Faconti, Mieke Massink
Towards Integrated Cognitive and Interface Analysis. Electron. Notes Theor. Comput. Sci. 43 (2001)
Howard Bowman, Jeremy W. Bryans, John Derrick
Analysis of a Multimedia Stream using Stochastic Process Algebra. Comput. J. 44 (4) (2001)
Howard Bowman
Time and Action Lock Freedom Properties for Timed Automata. FORTE (2001)
Howard Bowman
Formal Methods Elsewhere - A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering. Electron. Notes Theor. Comput. Sci. 43 (2001)
Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick
Specification and Analysis of Automata-Based Designs. IFM (2000)
Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen
Viewpoint consistency in ODP. Comput. Networks 34 (3) (2000)
Jeremy W. Bryans, Howard Bowman, John Derrick
Stochastic Model Checking for Multimedia CoRR (2000)
Howard Bowman, John Derrick, Ed Brinksma
Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Trans. Software Eng. 26 (7) (2000)
Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
Constructive Consistency Checking for Partial Specification in Z. Sci. Comput. Program. 35 (1) (1999)
Howard Bowman, Giorgio P. Faconti
Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects Comput. 11 (2) (1999)
Howard Bowman, John Derrick
A Junction between State Based and Behavioural Specification (Invited Talk). FMOODS (1999)
Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen
Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33 (3) (1999)
Howard Bowman
Modelling Timeouts without Timelocks. ARTS (1999)
Howard Bowman
A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems. New Gener. Comput. 16 (4) (1998)
Nathan Charles, Howard Bowman, Simon J. Thompson
From ACT-ONE to Miranda, a translation experiment. Comput. Stand. Interfaces 19 (1) (1998)
Peter R. King, Helen Cameron, Howard Bowman, Simon J. Thompson
Synchronization in Multimedia Documents. EP (1998)
John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
Specifying and Refining Internal Operations in Z. Formal Aspects Comput. 10 (2) (1998)
Howard Bowman, Joost-Pieter Katoen
A True Concurrency Semantics for ET-LOTOS. ACSD (1998)
Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman
Consistency of Partial Process Specifications. AMAST (1998)
Howard Bowman, Giorgio P. Faconti, Mieke Massink
Specification and Verification of Media Constraints using UPAAL. DSV-IS (1998)
Howard Bowman, Simon J. Thompson
A Tableau Method for Interval Temporal Logic with Projection. TABLEAUX (1998)
Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink
Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Formal Aspects Comput. 10 (5-6) (1998)
Howard Bowman, John Derrick
Extending LOTOS with Time: A True Concurrency Perspective. ARTS (1997)
John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
Weak Refinement in Z. ZUM (1997)
Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
Viewpoint Consistency in Z and LOTOS: A Case Study. FME (1997)
Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten
Disjunction of LOTOS Specifications. FORTE (1997)
Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
Issues in multiparadigm viewpoint specification. ISAW/Viewpoints@FSE (1996)
Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
Consistency and Refinement for Partial Specification in Z. FME (1996)
John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen
Comparing LOTOS and Z Refinement Relations. FORTE (1996)
Howard Bowman, John Derrick, Peter W. A. Linington, Maarten W. A. Steen
Cross-viewpoint consistency in open distributed processing. Softw. Eng. J. 11 (1) (1996)
Howard Bowman, John Derrick
Modelling distributed systems using Z. SAC (1995)
Maarten Steen, Howard Bowman, John Derrick
Composition of LOTOS specifications. PSTV (1995)
Howard Bowman, John Derrick
A True Concurrency Semantics for Quality of Service Specification and Validation. MMNET (1995)
Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd
Formal description of distributed multimedia systems: an assessment of potential techniques. Comput. Commun. 18 (12) (1995)
Howard Bowman, John Derrick, Maarten Steen
Viewpoints and Objects. ZUM (1995)
Howard Bowman, Lynne Blair, Gordon S. Blair, Amanda G. Chetwynd
A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. COST 237 Workshop (1994)
Howard Bowman, John Derrick, Richard E. Jones
Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract). PODC (1994)
Howard Bowman, John Derrick
Consistency and Conformance in ODP (Abstract). PODC (1994)
Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd
Time Versus Abstraction in Formal Description. FORTE (1993)

Howard Bowman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Howard Bowman