Howard Bowman

According to our database, Howard Bowman authored at least 77 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Reframing the Expected Free Energy: Four Formulations and a Unification.

Théophile Champion, Howard Bowman, Dimitrije Markovic, Marek Grzes

CoRR, 2024

2023

Predicting recovery following stroke: deep learning, multimodal data and feature selection using explainable AI.

Adam White, Margarita Saranti, Artur S. d'Avila Garcez, Thomas M. H. Hope, Cathy J. Price, Howard Bowman

CoRR, 2023

Deconstructing deep active inference.

Théophile Champion, Marek Grzes, Lisa Bonheme, Howard Bowman

CoRR, 2023

2022

Investigating the Cognitive Response of Brake Lights in Initiating Braking Action Using EEG.

Ramaswamy Palaniappan, Surej Mouli, Howard Bowman, Ian McLoughlin

IEEE Trans. Intell. Transp. Syst., 2022

Branching Time Active Inference: The theory and its generality.

Théophile Champion, Lancelot Da Costa, Howard Bowman, Marek Grzes

Neural Networks, 2022

Branching time active inference: Empirical study and complexity class analysis.

Théophile Champion, Howard Bowman, Marek Grzes

Neural Networks, 2022

Branching Time Active Inference with Bayesian Filtering.

Théophile Champion, Marek Grzes, Howard Bowman

Neural Comput., 2022

Multi-Modal and Multi-Factor Branching Time Active Inference.

Théophile Champion, Marek Grzes, Howard Bowman

CoRR, 2022

2021

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.

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, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha

Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021

How hot is the hot zone? Computational modelling clarifies the role of parietal and frontoparietal connectivity during anaesthetic-induced loss of consciousness.

Riku Ihalainen, Olivia Gosseries, Frederik Van de Steen, Federico Raimondo, Rajanikant Panda, Vincent Bonhomme, Daniele Marinazzo, Howard Bowman, Steven Laureys, Srivas Chennu

NeuroImage, 2021

Realizing Active Inference in Variational Message Passing: The Outcome-Blind Certainty Seeker.

Théophile Champion, Marek Grzes, Howard Bowman

Neural Comput., 2021

Realising Active Inference in Variational Message Passing: the Outcome-blind Certainty Seeker.

Théophile Champion, Marek Grzes, Howard Bowman

CoRR, 2021

Incandescent Bulb and LED Brake Lights: Novel Analysis of Reaction Times.

Ramaswamy Palaniappan, Surej Mouli, Evangelia Fringi, Howard Bowman, Ian McLoughlin

IEEE Access, 2021

2020

Breaking the circularity in circular analyses: Simulations and formal treatment of the flattened average approach.

Howard Bowman, Joseph L. Brooks, Omid Hajilou, Alexia Zoumpoulaki, Vladimir Litvak

PLoS Comput. Biol., 2020

2018

Replay of Stimulus-specific Temporal Patterns during Associative Memory Formation.

Sebastian Michelmann, Howard Bowman, Simon Hanslmayr

J. Cogn. Neurosci., 2018

2017

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.

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

CoRR, 2017

2014

Analysing neurobiological models using communicating automata.

Li Su, Rodolfo Gómez, Howard Bowman

Formal Aspects Comput., 2014

EEG-based brain connectivity analysis of states of unawareness.

Ling Li, Adrien Witon, Samuele Marcora, Howard Bowman, Danilo P. Mandic

Proceedings of the 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014

Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems.

Howard Bowman, Li Su

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2011

Fortunate Conjunctions Revived: Feature Binding with the 2f-ST2 Model.

Srivas Chennu, Howard Bowman, Brad Wyble

Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

2010

On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions.

Li Su, Philip J. Barnard, Howard Bowman

Proceedings of the Artificial Neural Networks - ICANN 2010, 2010

2009

Attention Increases the Temporal Precision of Conscious Perception: Verifying the Neural-ST² Model.

Srivas Chennu, Patrick Craston, Bradley P. Wyble, Howard Bowman

PLoS Comput. Biol., 2009

The Attentional Blink Reveals Serial Working Memory Encoding: Evidence from Virtual and Human Event-related Potentials.

Patrick Craston, Bradley P. Wyble, Srivas Chennu, Howard Bowman

J. Cogn. Neurosci., 2009

Process algebraic modelling of attentional capture and human electrophysiology in interactive systems.

Li Su, Howard Bowman, Philip J. Barnard, Bradley P. Wyble

Formal Aspects Comput., 2009

2007

Using epsiloon-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task.

Kiran Kalidindi, Howard Bowman

Neural Networks, 2007

Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks.

Li Su, Howard Bowman, Philip J. Barnard

Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, 2007

Efficient Detection of Zeno Runs in Timed Automata.

Rodolfo Gómez, Howard Bowman

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

How to stop time stopping.

Howard Bowman, Rodolfo Gómez

Formal Aspects Comput., 2006

Concurrency theory - calculi and automata for modelling untimed and timed concurrent systems.

Howard Bowman, Rodolfo Gómez

Springer, ISBN: 978-1-85233-895-4, 2006

2004

PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic.

Rodolfo Gómez, Howard Bowman

J. Appl. Non Class. Logics, 2004

A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata.

Howard Bowman, Rodolfo Gómez, Li Su

Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

The Attentional Blink at 20 items/sec, Model Prediction and Empirical Validation of Lag-2 Sparing.

Bradley P. Wyble, Howard Bowman

Proceedings of the International Conference on Cognitive Modelling, 2004

2003

Model checking stochastic automata.

Jeremy W. Bryans, Howard Bowman, John Derrick

ACM Trans. Comput. Log., 2003

A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection.

Howard Bowman, Simon J. Thompson

J. Log. Comput., 2003

Mexitl: Multimedia in Executable Interval Temporal Logic.

Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson

Formal Methods Syst. Des., 2003

Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream.

Rodolfo Gómez, Howard Bowman

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

2002

A Formal Framework for Viewpoint Consistency.

Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick

Formal Methods Syst. Des., 2002

2001

Analysis of a Multimedia Stream using Stochastic Process Algebra.

Howard Bowman, Jeremy W. Bryans, John Derrick

Comput. J., 2001

Time and Action Lock Freedom Properties for Timed Automata.

Howard Bowman

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000

Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems.

Howard Bowman, John Derrick, Ed Brinksma

IEEE Trans. Software Eng., 2000

Towards Integrated Cognitive and Interface Analysis.

Howard Bowman, Giorgio P. Faconti, Mieke Massink

Proceedings of the Formal Methods Elsewhere, 2000

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.

Howard Bowman

Proceedings of the Formal Methods Elsewhere, 2000

Stochastic Model Checking for Multimedia

Jeremy W. Bryans, Howard Bowman, John Derrick

CoRR, 2000

Viewpoint consistency in ODP.

Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen

Comput. Networks, 2000

Specification and Analysis of Automata-Based Designs.

Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999

Strategies for Consistency Checking Based on Unification.

Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen

Sci. Comput. Program., 1999

Constructive Consistency Checking for Partial Specification in Z.

Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen

Sci. Comput. Program., 1999

Analysing Cognitive Behaviour using LOTOS and Mexitl.

Howard Bowman, Giorgio P. Faconti

Formal Aspects Comput., 1999

A Junction between State Based and Behavioural Specification (Invited Talk).

Howard Bowman, John Derrick

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Modelling Timeouts without Timelocks.

Howard Bowman

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1998

A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems.

Howard Bowman

New Gener. Comput., 1998

Specifying and Refining Internal Operations in Z.

John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen

Formal Aspects Comput., 1998

Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal.

Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink

Formal Aspects Comput., 1998

From ACT-ONE to Miranda, a translation experiment.

Nathan Charles, Howard Bowman, Simon J. Thompson

Comput. Stand. Interfaces, 1998

A Tableau Method for Interval Temporal Logic with Projection.

Howard Bowman, Simon J. Thompson

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Synchronization in Multimedia Documents.

Peter R. King, Helen Cameron, Howard Bowman, Simon J. Thompson

Proceedings of the Electronic Publishing, 1998

Specification and Verification of Media Constraints using UPAAL.

Howard Bowman, Giorgio P. Faconti, Mieke Massink

Proceedings of the Design, 1998

Consistency of Partial Process Specifications.

Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman

Proceedings of the Algebraic Methodology and Software Technology, 1998

A True Concurrency Semantics for ET-LOTOS.

Howard Bowman, Joost-Pieter Katoen

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Weak Refinement in Z.

John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Disjunction of LOTOS Specifications.

Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

Viewpoint Consistency in Z and LOTOS: A Case Study.

Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Extending LOTOS with Time: A True Concurrency Perspective.

Howard Bowman, John Derrick

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996

Cross-viewpoint consistency in open distributed processing.

Howard Bowman, John Derrick, Peter W. A. Linington, Maarten W. A. Steen

Softw. Eng. J., 1996

Issues in multiparadigm viewpoint specification.

Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen

Proceedings of the 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, 1996

Comparing LOTOS and Z Refinement Relations.

John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen

Proceedings of the Formal Description Techniques IX: Theory, 1996

Consistency and Refinement for Partial Specification in Z.

Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Formal description of distributed multimedia systems: an assessment of potential techniques.

Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd

Comput. Commun., 1995

Viewpoints and Objects.

Howard Bowman, John Derrick, Maarten Steen

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Modelling distributed systems using Z.

Howard Bowman, John Derrick

Proceedings of the 1995 ACM symposium on applied computing, 1995

Composition of LOTOS specifications.

Maarten Steen, Howard Bowman, John Derrick

Proceedings of the Protocol Specification, 1995

A True Concurrency Semantics for Quality of Service Specification and Validation.

Howard Bowman, John Derrick

Proceedings of the International Conference on Multimedia Networking, 1995

1994

Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract).

Howard Bowman, John Derrick, Richard E. Jones

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

Consistency and Conformance in ODP (Abstract).

Howard Bowman, John Derrick

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation.

Howard Bowman, Lynne Blair, Gordon S. Blair, Amanda G. Chetwynd

Proceedings of the Multimedia Transport and Teleservices, 1994

1993

Time Versus Abstraction in Formal Description.

Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1991

A unifying language study of automatic parallelization.

Howard Bowman

PhD thesis, 1991