Howard Bowman - RankMe

84 papers A* 2B 3C 5Misc 1Journal 45Unranked 23

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Deconstructing Deep Active Inference: A Contrarian Information Gatherer. Neural Comput. Théophile Champion, Marek Grzes, Lisa Bonheme, Howard Bowman
2024	J	`jnl`	Reframing the Expected Free Energy: Four Formulations and a Unification. CoRR Théophile Champion, Howard Bowman, Dimitrije Markovic, Marek Grzes
2024	J	`jnl`	Structure learning with Temporal Gaussian Mixture for model-based Reinforcement Learning. CoRR Théophile Champion, Marek Grzes, Howard Bowman
2023	J	`jnl`	Deconstructing deep active inference. CoRR Théophile Champion, Marek Grzes, Lisa Bonheme, Howard Bowman
2023	J	`jnl`	Predicting recovery following stroke: deep learning, multimodal data and feature selection using explainable AI. CoRR Adam White, Margarita Saranti, Artur S. d'Avila Garcez, Thomas M. H. Hope, Cathy J. Price, Howard Bowman
2022	J	`jnl`	Branching Time Active Inference with Bayesian Filtering. Neural Comput. Théophile Champion, Marek Grzes, Howard Bowman
2022	J	`jnl`	Branching Time Active Inference: The theory and its generality. Neural Networks Théophile Champion, Lancelot Da Costa, Howard Bowman, Marek Grzes
2022	J	`jnl`	Branching time active inference: Empirical study and complexity class analysis. Neural Networks Théophile Champion, Howard Bowman, Marek Grzes
2022	J	`jnl`	Investigating the Cognitive Response of Brake Lights in Initiating Braking Action Using EEG. IEEE Trans. Intell. Transp. Syst. Ramaswamy Palaniappan, Surej Mouli, Howard Bowman, Ian McLoughlin
2022	J	`jnl`	Multi-Modal and Multi-Factor Branching Time Active Inference. CoRR Théophile Champion, Marek Grzes, Howard Bowman
2021	J	`jnl`	Branching Time Active Inference with Bayesian Filtering. CoRR Théophile Champion, Marek Grzes, Howard Bowman
2021	J	`jnl`	Branching Time Active Inference: empirical study and complexity class analysis. CoRR Théophile Champion, Howard Bowman, Marek Grzes
2021	J	`jnl`	Branching Time Active Inference: the theory and its generality. CoRR Théophile Champion, Lancelot Da Costa, Howard Bowman, Marek Grzes
2021	J	`jnl`	How hot is the hot zone? Computational modelling clarifies the role of parietal and frontoparietal connectivity during anaesthetic-induced loss of consciousness. NeuroImage Riku Ihalainen, Olivia Gosseries, Frederik Van de Steen, Federico Raimondo, Rajanikant Panda, Vincent Bonhomme, Daniele Marinazzo, Howard Bowman, Steven Laureys, Srivas Chennu
2021	J	`jnl`	Incandescent Bulb and LED Brake Lights: Novel Analysis of Reaction Times. IEEE Access Ramaswamy Palaniappan, Surej Mouli, Evangelia Fringi, Howard Bowman, Ian McLoughlin
2021	—	`ch.`	Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. Neuro-Symbolic Artificial Intelligence 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
2021	J	`jnl`	Realising Active Inference in Variational Message Passing: the Outcome-blind Certainty Seeker. CoRR Théophile Champion, Marek Grzes, Howard Bowman
2021	J	`jnl`	Realizing Active Inference in Variational Message Passing: The Outcome-Blind Certainty Seeker. Neural Comput. Théophile Champion, Marek Grzes, Howard Bowman
2020	J	`jnl`	Breaking the circularity in circular analyses: Simulations and formal treatment of the flattened average approach. PLoS Comput. Biol. Howard Bowman, Joseph L. Brooks, Omid Hajilou, Alexia Zoumpoulaki, Vladimir Litvak
2020	J	`jnl`	Incandescent Bulb and LED Brake Lights: Novel Analysis of Reaction Times. CoRR Ramaswamy Palaniappan, Surej Mouli, Evangelia Fringi, Howard Bowman, Ian McLoughlin
2018	J	`jnl`	Replay of Stimulus-specific Temporal Patterns during Associative Memory Formation. J. Cogn. Neurosci. Sebastian Michelmann, Howard Bowman, Simon Hanslmayr
2017	J	`jnl`	Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. CoRR 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
2014	J	`jnl`	Analysing neurobiological models using communicating automata. Formal Aspects Comput. Li Su, Rodolfo Gómez, Howard Bowman
2014	—	`ch.`	Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems. HOWARD-60 Howard Bowman, Li Su
2014	—	`conf`	EEG-based brain connectivity analysis of states of unawareness. EMBC Ling Li, Adrien Witon, Samuele Marcora, Howard Bowman, Danilo P. Mandic
2011	B	`conf`	Fortunate Conjunctions Revived: Feature Binding with the 2f-ST2 Model. CogSci Srivas Chennu, Howard Bowman, Brad Wyble
2010	—	`conf`	On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions. ICANN (3) Li Su, Philip J. Barnard, Howard Bowman
2009	J	`jnl`	Attention Increases the Temporal Precision of Conscious Perception: Verifying the Neural-ST PLoS Comput. Biol. Srivas Chennu, Patrick Craston, Bradley P. Wyble, Howard Bowman
2009	J	`jnl`	Process algebraic modelling of attentional capture and human electrophysiology in interactive systems. Formal Aspects Comput. Li Su, Howard Bowman, Philip J. Barnard, Bradley P. Wyble
2009	J	`jnl`	The Attentional Blink Reveals Serial Working Memory Encoding: Evidence from Virtual and Human Event-related Potentials. J. Cogn. Neurosci. Patrick Craston, Bradley P. Wyble, Srivas Chennu, Howard Bowman
2007	—	`conf`	Efficient Detection of Zeno Runs in Timed Automata. FORMATS Rodolfo Gómez, Howard Bowman
2007	—	`conf`	Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. FMIS@BCS HCI Li Su, Howard Bowman, Philip J. Barnard
2007	J	`jnl`	Using epsiloon-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task. Neural Networks Kiran Kalidindi, Howard Bowman
2006	—	`book`	Concurrency theory - calculi and automata for modelling untimed and timed concurrent systems. Howard Bowman, Rodolfo Gómez
2006	J	`jnl`	How to stop time stopping. Formal Aspects Comput. Howard Bowman, Rodolfo Gómez
2004	—	`conf`	A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata. ARTS Howard Bowman, Rodolfo Gómez, Li Su
2004	J	`jnl`	PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. J. Appl. Non Class. Logics Rodolfo Gómez, Howard Bowman
2004	—	`conf`	The Attentional Blink at 20 items/sec, Model Prediction and Empirical Validation of Lag-2 Sparing. ICCM Bradley P. Wyble, Howard Bowman
2003	J	`jnl`	A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. J. Log. Comput. Howard Bowman, Simon J. Thompson
2003	C	`conf`	Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. FORTE Rodolfo Gómez, Howard Bowman
2003	J	`jnl`	Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods Syst. Des. Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson
2003	J	`jnl`	Model checking stochastic automata. ACM Trans. Comput. Log. Jeremy W. Bryans, Howard Bowman, John Derrick
2002	J	`jnl`	A Formal Framework for Viewpoint Consistency. Formal Methods Syst. Des. Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick
2001	J	`jnl`	Analysis of a Multimedia Stream using Stochastic Process Algebra. Comput. J. Howard Bowman, Jeremy W. Bryans, John Derrick
2001	—	`ed.`	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, FM-Elsewhere 2000, Pisa, Italy, October 2000 FM-Elsewhere@FORTE/PSTV Howard Bowman
2001	C	`conf`	Time and Action Lock Freedom Properties for Timed Automata. FORTE Howard Bowman
2000	—	`conf`	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. FM-Everywhere@FORTE/PSTV Howard Bowman
2000	J	`jnl`	Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Trans. Software Eng. Howard Bowman, John Derrick, Ed Brinksma
2000	B	`conf`	Specification and Analysis of Automata-Based Designs. IFM Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick
2000	J	`jnl`	Stochastic Model Checking for Multimedia CoRR Jeremy W. Bryans, Howard Bowman, John Derrick
2000	—	`conf`	Towards Integrated Cognitive and Interface Analysis. FM-Everywhere@FORTE/PSTV Howard Bowman, Giorgio P. Faconti, Mieke Massink
2000	J	`jnl`	Viewpoint consistency in ODP. Comput. Networks Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen
1999	—	`conf`	A Junction between State Based and Behavioural Specification (Invited Talk). FMOODS Howard Bowman, John Derrick
1999	J	`jnl`	Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects Comput. Howard Bowman, Giorgio P. Faconti
1999	J	`jnl`	Constructive Consistency Checking for Partial Specification in Z. Sci. Comput. Program. Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
1999	—	`conf`	Modelling Timeouts without Timelocks. ARTS Howard Bowman
1999	J	`jnl`	Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen
1998	J	`jnl`	A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems. New Gener. Comput. Howard Bowman
1998	B	`conf`	A Tableau Method for Interval Temporal Logic with Projection. TABLEAUX Howard Bowman, Simon J. Thompson
1998	—	`conf`	A True Concurrency Semantics for ET-LOTOS. ACSD Howard Bowman, Joost-Pieter Katoen
1998	J	`jnl`	Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Formal Aspects Comput. Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink
1998	—	`conf`	Consistency of Partial Process Specifications. AMAST Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman
1998	J	`jnl`	From ACT-ONE to Miranda, a translation experiment. Comput. Stand. Interfaces Nathan Charles, Howard Bowman, Simon J. Thompson
1998	—	`conf`	Specification and Verification of Media Constraints using UPAAL. DSV-IS Howard Bowman, Giorgio P. Faconti, Mieke Massink
1998	J	`jnl`	Specifying and Refining Internal Operations in Z. Formal Aspects Comput. John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
1998	—	`conf`	Synchronization in Multimedia Documents. EP Peter R. King, Helen Cameron, Howard Bowman, Simon J. Thompson
1997	C	`conf`	Disjunction of LOTOS Specifications. FORTE Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten
1997	—	`conf`	Extending LOTOS with Time: A True Concurrency Perspective. ARTS Howard Bowman, John Derrick
1997	—	`conf`	Viewpoint Consistency in Z and LOTOS: A Case Study. FME Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
1997	—	`conf`	Weak Refinement in Z. ZUM John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen
1996	C	`conf`	Comparing LOTOS and Z Refinement Relations. FORTE John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen
1996	—	`conf`	Consistency and Refinement for Partial Specification in Z. FME Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen
1996	J	`jnl`	Cross-viewpoint consistency in open distributed processing. Softw. Eng. J. Howard Bowman, John Derrick, Peter W. A. Linington, Maarten W. A. Steen
1996	—	`conf`	Issues in multiparadigm viewpoint specification. ISAW/Viewpoints@FSE Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
1995	—	`conf`	A True Concurrency Semantics for Quality of Service Specification and Validation. MMNET Howard Bowman, John Derrick
1995	—	`conf`	Composition of LOTOS specifications. PSTV Maarten Steen, Howard Bowman, John Derrick
1995	J	`jnl`	Formal description of distributed multimedia systems: an assessment of potential techniques. Comput. Commun. Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd
1995	Misc	`conf`	Modelling distributed systems using Z. SAC Howard Bowman, John Derrick
1995	—	`conf`	Viewpoints and Objects. ZUM Howard Bowman, John Derrick, Maarten Steen
1994	—	`conf`	A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. COST 237 Workshop Howard Bowman, Lynne Blair, Gordon S. Blair, Amanda G. Chetwynd
1994	A*	`conf`	Consistency and Conformance in ODP (Abstract). PODC Howard Bowman, John Derrick
1994	A*	`conf`	Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract). PODC Howard Bowman, John Derrick, Richard E. Jones
1993	C	`conf`	Time Versus Abstraction in Formal Description. FORTE Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd
1991	—	`—`	A unifying language study of automatic parallelization. Howard Bowman