Howard Bowman

Available identifiers

zbMath Open bowman.howardMaRDI QIDQ736843

List of research outcomes

Publication	Date of Publication	Type
Branching time active inference: the theory and its generality	2023-10-17	Paper
Branching Time Active Inference with Bayesian Filtering	2022-10-24	Paper
Realizing Active Inference in Variational Message Passing: The Outcome-Blind Certainty Seeker	2022-02-23	Paper
Model checking stochastic automata	2017-06-13	Paper
Analysing neurobiological models using communicating automata	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	2010-01-04	Paper
Efficient Detection of Zeno Runs in Timed Automata	2008-07-03	Paper
Using \(\epsilon\)-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task	2007-09-19	Paper
How to stop time stopping	2006-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5200808	2006-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q4471917	2004-07-30	Paper
A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection	2004-05-18	Paper
A formal framework for viewpoint consistency	2002-09-18	Paper
Analysis of a multimedia stream using stochastic process algebra	2002-01-23	Paper
Constructive consistency checking for partial specification in Z	2000-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4251109	1999-06-17	Paper
Strategies for consistency checking based on unification	1999-03-30	Paper
Specifying and refining internal operations in \(Z\)	1999-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q3838807	1999-01-05	Paper

Research outcomes over time

This page was built for person: Howard Bowman