Howard Bowman

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Branching time active inference: the theory and its generality Neural Networks	2023-10-17	Paper
Branching time active inference with Bayesian filtering Neural Computation	2022-10-24	Paper
Realizing Active Inference in Variational Message Passing: The Outcome-Blind Certainty Seeker Neural Computation	2022-02-23	Paper
Realizing Active Inference in Variational Message Passing: The Outcome-Blind Certainty Seeker Neural Computation	2022-02-23	Paper
Model checking stochastic automata ACM Transactions on Computational Logic	2017-06-13	Paper
Analysing neurobiological models using communicating automata Formal Aspects of Computing	2016-08-05	Paper
A tool for the syntactic detection of Zeno-timelocks in timed automata	2013-10-02	Paper
Issues in formal methods	2012-09-05	Paper
Viewpoints modelling	2012-09-05	Paper
Process algebraic modelling of attentional capture and human electrophysiology in interactive systems Formal Aspects of Computing	2010-01-04	Paper
Efficient Detection of Zeno Runs in Timed Automata Lecture Notes in Computer Science	2008-07-03	Paper
Using \(\epsilon\)-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task Neural Networks	2007-09-19	Paper
How to stop time stopping Formal Aspects of Computing	2006-12-20	Paper
Concurrency theory. Calculi and automata for modelling untimed and timed cocurrent systems.	2006-04-12	Paper
scientific article; zbMATH DE number 2079815 (Why is no real title available?)	2004-07-30	Paper
A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection Journal Of Logic And Computation	2004-05-18	Paper
A formal framework for viewpoint consistency Formal Methods in System Design	2002-09-18	Paper
Analysis of a multimedia stream using stochastic process algebra The Computer Journal. Section A Section B	2002-01-23	Paper
Constructive consistency checking for partial specification in Z Science of Computer Programming	2000-11-22	Paper
scientific article; zbMATH DE number 1304374 (Why is no real title available?)	1999-06-17	Paper
Strategies for consistency checking based on unification Science of Computer Programming	1999-03-30	Paper
Specifying and refining internal operations in \(Z\) Formal Aspects of Computing	1999-03-09	Paper
scientific article; zbMATH DE number 1189099 (Why is no real title available?)	1999-01-05	Paper

Research outcomes over time

This page was built for person: Howard Bowman