Howard Bowman

Available identifiers

zbMath Open bowman.howardMaRDI QIDQ736843

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2851073	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2906934	2012-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q2906956	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Howard Bowman