A unifying language study of automatic parallelization. - Howard Bowman (1991)

Time Versus Abstraction in Formal Description. - Howard Bowman; Gordon S. Blair; Lynne Blair; Amanda G. Chetwynd (FORTE, 1993)

A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. - Howard Bowman; Lynne Blair; Gordon S. Blair; Amanda G. Chetwynd (COST 237 Workshop, 1994)

Consistency and Conformance in ODP (Abstract). - Howard Bowman; John Derrick (PODC, 1994)

Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract). - Howard Bowman; John Derrick; Richard E. Jones (PODC, 1994)

A True Concurrency Semantics for Quality of Service Specification and Validation. - Howard Bowman; John Derrick (MMNET, 1995)

Composition of LOTOS specifications. - Maarten Steen; Howard Bowman; John Derrick (PSTV, 1995)

Modelling distributed systems using Z. - Howard Bowman; John Derrick (SAC, 1995)

Viewpoints and Objects. - Howard Bowman; John Derrick; Maarten Steen (ZUM, 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)

Consistency and Refinement for Partial Specification in Z. - Eerke A. Boiten; John Derrick; Howard Bowman; Maarten Steen (FME, 1996)

Comparing LOTOS and Z Refinement Relations. - John Derrick; Howard Bowman; Eerke A. Boiten; Maarten Steen (FORTE, 1996)

Issues in multiparadigm viewpoint specification. - Eerke A. Boiten; Howard Bowman; John Derrick; Maarten Steen (ISAW/Viewpoints@FSE, 1996)

Cross-viewpoint consistency in open distributed processing. - Howard Bowman; John Derrick; Peter W. A. Linington; Maarten W. A. Steen (Softw. Eng. J., 1996)

Extending LOTOS with Time: A True Concurrency Perspective. - Howard Bowman; John Derrick (ARTS, 1997)

Viewpoint Consistency in Z and LOTOS: A Case Study. - Eerke A. Boiten; Howard Bowman; John Derrick; Maarten Steen (FME, 1997)

Disjunction of LOTOS Specifications. - Maarten Steen; Howard Bowman; John Derrick; Eerke A. Boiten (FORTE, 1997)

Weak Refinement in Z. - John Derrick; Eerke A. Boiten; Howard Bowman; Maarten Steen (ZUM, 1997)

A True Concurrency Semantics for ET-LOTOS. - Howard Bowman; Joost-Pieter Katoen (ACSD, 1998)

Consistency of Partial Process Specifications. - Maarten Steen; John Derrick; Eerke A. Boiten; Howard Bowman (AMAST, 1998)

Specification and Verification of Media Constraints using UPAAL. - Howard Bowman; Giorgio P. Faconti; Mieke Massink (DSV-IS, 1998)

Synchronization in Multimedia Documents. - Peter R. King; Helen Cameron; Howard Bowman; Simon J. Thompson (EP, 1998)

A Tableau Method for Interval Temporal Logic with Projection. - Howard Bowman; Simon J. Thompson (TABLEAUX, 1998)

From ACT-ONE to Miranda, a translation experiment. - Nathan Charles; Howard Bowman; Simon J. Thompson (Comput. Stand. Interfaces, 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)

Specifying and Refining Internal Operations in Z. - John Derrick; Eerke A. Boiten; Howard Bowman; Maarten Steen (Formal Aspects Comput., 1998)

A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems. - Howard Bowman (New Gener. Comput., 1998)

Modelling Timeouts without Timelocks. - Howard Bowman (ARTS, 1999)

A Junction between State Based and Behavioural Specification (Invited Talk). - Howard Bowman; John Derrick (FMOODS, 1999)

Analysing Cognitive Behaviour using LOTOS and Mexitl. - Howard Bowman; Giorgio P. Faconti (Formal Aspects Comput., 1999)

Constructive Consistency Checking for Partial Specification in Z. - Eerke A. Boiten; John Derrick; Howard Bowman; Maarten Steen (Sci. Comput. Program., 1999)

Strategies for Consistency Checking Based on Unification. - Howard Bowman; Eerke A. Boiten; John Derrick; Maarten Steen (Sci. Comput. Program., 1999)

Specification and Analysis of Automata-Based Designs. - Jeremy W. Bryans; Lynne Blair; Howard Bowman; John Derrick (IFM, 2000)

Viewpoint consistency in ODP. - Eerke A. Boiten; Howard Bowman; John Derrick; Peter F. Linington; Maarten Steen (Comput. Networks, 2000)

Stochastic Model Checking for Multimedia - Jeremy W. Bryans; Howard Bowman; John Derrick (CoRR, 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 (FM-Everywhere@FORTE/PSTV, 2000)

Towards Integrated Cognitive and Interface Analysis. - Howard Bowman; Giorgio P. Faconti; Mieke Massink (FM-Everywhere@FORTE/PSTV, 2000)

Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. - Howard Bowman; John Derrick; Ed Brinksma (IEEE Trans. Software Eng., 2000)

Time and Action Lock Freedom Properties for Timed Automata. - Howard Bowman (FORTE, 2001)

Analysis of a Multimedia Stream using Stochastic Process Algebra. - Howard Bowman; Jeremy W. Bryans; John Derrick (Comput. J., 2001)

A Formal Framework for Viewpoint Consistency. - Howard Bowman; Maarten Steen; Eerke A. Boiten; John Derrick (Formal Methods Syst. Des., 2002)

Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. - Rodolfo Gómez 001; Howard Bowman (FORTE, 2003)

Mexitl: Multimedia in Executable Interval Temporal Logic. - Howard Bowman; Helen Cameron; Peter R. King; Simon J. Thompson (Formal Methods Syst. Des., 2003)

A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. - Howard Bowman; Simon J. Thompson (J. Log. Comput., 2003)

Model checking stochastic automata. - Jeremy W. Bryans; Howard Bowman; John Derrick (ACM Trans. Comput. Log., 2003)

The Attentional Blink at 20 items/sec, Model Prediction and Empirical Validation of Lag-2 Sparing. - Bradley P. Wyble; Howard Bowman (ICCM, 2004)

A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata. - Howard Bowman; Rodolfo Gómez 001; Li Su 002 (ARTS, 2004)

PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. - Rodolfo Gómez 001; Howard Bowman (J. Appl. Non Class. Logics, 2004)

Concurrency theory - calculi and automata for modelling untimed and timed concurrent systems. - Howard Bowman; Rodolfo Gómez 001 (Springer, 2006)

How to stop time stopping. - Howard Bowman; Rodolfo Gómez 001 (Formal Aspects Comput., 2006)

Efficient Detection of Zeno Runs in Timed Automata. - Rodolfo Gómez 001; Howard Bowman (FORMATS, 2007)

Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. - Li Su 002; Howard Bowman; Philip J. Barnard (FMIS@BCS HCI, 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)

Process algebraic modelling of attentional capture and human electrophysiology in interactive systems. - Li Su 002; Howard Bowman; Philip J. Barnard; Bradley P. Wyble (Formal Aspects Comput., 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)

Attention Increases the Temporal Precision of Conscious Perception: Verifying the Neural-ST2 Model. - Srivas Chennu; Patrick Craston; Bradley P. Wyble; Howard Bowman (PLoS Comput. Biol., 2009)

On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions. - Li Su 002; Philip J. Barnard; Howard Bowman (ICANN (3), 2010)

Fortunate Conjunctions Revived: Feature Binding with the 2f-ST2 Model. - Srivas Chennu; Howard Bowman; Brad Wyble (CogSci, 2011)

Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems. - Howard Bowman; Li Su 002 (HOWARD-60, 2014)

EEG-based brain connectivity analysis of states of unawareness. - Ling Li 010; Adrien Witon; Samuele Marcora; Howard Bowman; Danilo P. Mandic (EMBC, 2014)

Analysing neurobiological models using communicating automata. - Li Su 002; Rodolfo Gómez 001; Howard Bowman (Formal Aspects Comput., 2014)

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. - Tarek R. Besold; Artur S. d'Avila Garcez; Sebastian Bader 001; 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; et al. (CoRR, 2017)

Replay of Stimulus-specific Temporal Patterns during Associative Memory Formation. - Sebastian Michelmann; Howard Bowman; Simon Hanslmayr (J. Cogn. Neurosci., 2018)

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)

Incandescent Bulb and LED Brake Lights: Novel Analysis of Reaction Times. - Ramaswamy Palaniappan; Surej Mouli; Evangelia Fringi; Howard Bowman; Ian McLoughlin 001 (IEEE Access, 2021)

Realising Active Inference in Variational Message Passing: the Outcome-blind Certainty Seeker. - Théophile Champion; Marek Grzes; Howard Bowman (CoRR, 2021)

Realizing Active Inference in Variational Message Passing: The Outcome-Blind Certainty Seeker. - Théophile Champion; Marek Grzes; Howard Bowman (Neural Comput., 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)

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. - Tarek R. Besold; Artur S. d'Avila Garcez; Sebastian Bader 001; 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; et al. (Neuro-Symbolic Artificial Intelligence, 2021)

Multi-Modal and Multi-Factor Branching Time Active Inference. - Théophile Champion; Marek Grzes; Howard Bowman (CoRR, 2022)

Branching Time Active Inference with Bayesian Filtering. - Théophile Champion; Marek Grzes; Howard Bowman (Neural Comput., 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: The theory and its generality. - Théophile Champion; Lancelot Da Costa; Howard Bowman; Marek Grzes (Neural Networks, 2022)

Investigating the Cognitive Response of Brake Lights in Initiating Braking Action Using EEG. - Ramaswamy Palaniappan; Surej Mouli; Howard Bowman; Ian McLoughlin 001 (IEEE Trans. Intell. Transp. Syst., 2022)

Deconstructing deep active inference. - Théophile Champion; Marek Grzes; Lisa Bonheme; Howard Bowman (CoRR, 2023)

Predicting recovery following stroke: deep learning, multimodal data and feature selection using explainable AI. - Adam White 002; Margarita Saranti; Artur S. d'Avila Garcez; Thomas M. H. Hope; Cathy J. Price; Howard Bowman (CoRR, 2023)

Reframing the Expected Free Energy: Four Formulations and a Unification. - Théophile Champion; Howard Bowman; Dimitrije Markovic; Marek Grzes (CoRR, 2024)

Structure learning with Temporal Gaussian Mixture for model-based Reinforcement Learning. - Théophile Champion; Marek Grzes; Howard Bowman (CoRR, 2024)

Deconstructing Deep Active Inference: A Contrarian Information Gatherer. - Théophile Champion; Marek Grzes; Lisa Bonheme; Howard Bowman (Neural Comput., 2024)