Howard Bowman

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

Li Su, Howard Bowman, Philip Barnard, Bradley P. Wyble: Process algebraic modelling of attentional capture and human electrophysiology in interactive systems. Formal Asp. Comput. 21(6): 513-539 (2009)

Patrick Craston, Bradley P. Wyble, Srivas Chennu, Howard Bowman: The Attentional Blink Reveals Serial Working Memory Encoding: Evidence from Virtual and Human Event-related Potentials. J. Cognitive Neuroscience 21(3): 550-566 (2009)

Srivas Chennu, Patrick Craston, Bradley P. Wyble, Howard Bowman: Attention Increases the Temporal Precision of Conscious Perception: Verifying the Neural-ST² Model. PLoS Computational Biology 5(11) (2009)

Li Su, Howard Bowman, Philip Barnard: Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. Electr. Notes Theor. Comput. Sci. 208: 95-111 (2008)

Kiran Kalidindi, Howard Bowman: Using epsiloon-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task. Neural Networks 20(6): 676-689 (2007)

Rodolfo Gómez, Howard Bowman: Efficient Detection of Zeno Runs in Timed Automata. FORMATS 2007: 195-210

Howard Bowman, Rodolfo Gómez: Concurrency theory - calculi and automata for modelling untimed and timed concurrent systems. Springer 2006, isbn 978-1-85233-895-4, pp. I-XXIV, 1-435

Howard Bowman, Rodolfo Gómez: How to stop time stopping. Formal Asp. Comput. 18(4): 459-493 (2006)

Howard Bowman, Rodolfo Gómez, Li Su: A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata. Electr. Notes Theor. Comput. Sci. 139(1): 25-47 (2005)

Rodolfo Gómez, Howard Bowman: PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. Journal of Applied Non-Classical Logics 14(1-2): 105-148 (2004)

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

Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson: Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design 22(1): 5-38 (2003)

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

Jeremy Bryans, Howard Bowman, John Derrick: Model checking stochastic automata. ACM Trans. Comput. Log. 4(4): 452-492 (2003)

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

Howard Bowman, Maarten Steen, Eerke A. Boiten, John Derrick: A Formal Framework for Viewpoint Consistency. Formal Methods in System Design 21(2): 111-166 (2002)

Howard Bowman, Jeremy Bryans, John Derrick: Analysis of a Multimedia Stream using Stochastic Process Algebra. Comput. J. 44(4): 230-245 (2001)

Howard Bowman, Giorgio P. Faconti, Mieke Massink: Towards Integrated Cognitive and Interface Analysis. Electr. Notes Theor. Comput. Sci. 43: 97-112 (2001)

Howard Bowman: 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. Electr. Notes Theor. Comput. Sci. 43: 162-163 (2001)

Howard Bowman: Time and Action Lock Freedom Properties for Timed Automata. FORTE 2001: 119-134

Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen: Viewpoint consistency in ODP. Computer Networks 34(3): 503-537 (2000)

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

Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick: Specification and Analysis of Automata-Based Designs. IFM 2000: 176-193

Jeremy Bryans, Howard Bowman, John Derrick: Stochastic Model Checking for Multimedia. CoRR cs.MM/0002004 (2000)

Howard Bowman, Giorgio P. Faconti: Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Asp. Comput. 11(2): 132-159 (1999)

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

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

Howard Bowman: Modelling Timeouts without Timelocks. ARTS 1999: 334-353

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

Nathan Charles, Howard Bowman, Simon J. Thompson: From ACT-ONE to Miranda, a translation experiment. Computer Standards & Interfaces 19(1): 31-49 (1998)

John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Specifying and Refining Internal Operations in Z. Formal Asp. Comput. 10(2): 125-159 (1998)

Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink: Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. Formal Asp. Comput. 10(5-6): 550-575 (1998)

Howard Bowman: A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems. New Generation Comput. 16(4): 343-372 (1998)

Howard Bowman, Joost-Pieter Katoen: A True Concurrency Semantics for ET-LOTOS. ACSD 1998: 228-238

Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman: Consistency of Partial Process Specifications. AMAST 1998: 248-262

Howard Bowman, Giorgio P. Faconti, Mieke Massink: Specification and Verification of Media Constraints using UPAAL. DSV-IS 1998: 261-277

Peter R. King, Helen Cameron, Howard Bowman, Simon J. Thompson: Synchronization in Multimedia Documents. EP 1998: 355-369

Howard Bowman, Simon J. Thompson: A Tableau Method for Interval Temporal Logic with Projection. TABLEAUX 1998: 108-123

Howard Bowman, John Derrick: Extending LOTOS with Time: A True Concurrency Perspective. ARTS 1997: 383-399

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

Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten: Disjunction of LOTOS Specifications. FORTE 1997: 177-192

John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Weak Refinement in Z. ZUM 1997: 369-388

Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306

John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen: Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516

Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd: Formal description of distributed multimedia systems: an assessment of potential techniques. Computer Communications 18(12): 964-977 (1995)

Howard Bowman, John Derrick: A True Concurrency Semantics for Quality of Service Specification and Validation. MMNET 1995: 173-182

Maarten Steen, Howard Bowman, John Derrick: Composition of LOTOS specifications. PSTV 1995: 87-102

Howard Bowman, John Derrick: Modelling distributed systems using Z. SAC 1995: 147-151

Howard Bowman, John Derrick, Maarten Steen: Viewpoints and Objects. ZUM 1995: 449-468

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

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

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

Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd: Time Versus Abstraction in Formal Description. FORTE 1993: 467-482