Howard Bowman

	2010
54		Li Su, Philip Barnard, Howard Bowman: On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions. ICANN (3) 2010: 504-509
	2009
53		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)
52		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)
51		Srivas Chennu, Patrick Craston, Bradley P. Wyble, Howard Bowman: Attention Increases the Temporal Precision of Conscious Perception: Verifying the Neural-ST2 Model. PLoS Computational Biology 5(11): (2009)
	2008
50		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)
	2007
49		Rodolfo Gómez, Howard Bowman: Efficient Detection of Zeno Runs in Timed Automata. FORMATS 2007: 195-210
48		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)
	2006
47		Howard Bowman, Rodolfo Gómez: Concurrency theory - calculi and automata for modelling untimed and timed concurrent systems. Springer 2006: I-XXIV, 1-435
46		Howard Bowman, Rodolfo Gómez: How to stop time stopping. Formal Asp. Comput. 18(4): 459-493 (2006)
	2005
45		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)
	2004
44		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
43		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)
	2003
42		Rodolfo Gómez, Howard Bowman: Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. FORTE 2003: 177-192
41		Jeremy Bryans, Howard Bowman, John Derrick: Model checking stochastic automata. ACM Trans. Comput. Log. 4(4): 452-492 (2003)
40		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)
39		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)
	2002
38		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)
	2001
37		Howard Bowman: Time and Action Lock Freedom Properties for Timed Automata. FORTE 2001: 119-134
36		Howard Bowman, Jeremy Bryans, John Derrick: Analysis of a Multimedia Stream using Stochastic Process Algebra. Comput. J. 44(4): 230-245 (2001)
35		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)
34		Howard Bowman, Giorgio P. Faconti, Mieke Massink: Towards Integrated Cognitive and Interface Analysis. Electr. Notes Theor. Comput. Sci. 43: 97-112 (2001)
	2000
33		Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick: Specification and Analysis of Automata-Based Designs. IFM 2000: 176-193
32		Jeremy Bryans, Howard Bowman, John Derrick: Stochastic Model Checking for Multimedia CoRR cs.MM/0002004: (2000)
31		Eerke A. Boiten, Howard Bowman, John Derrick, Peter F. Linington, Maarten Steen: Viewpoint consistency in ODP. Computer Networks 34(3): 503-537 (2000)
30		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)
	1999
29		Howard Bowman: Modelling Timeouts without Timelocks. ARTS 1999: 334-353
28		Howard Bowman, John Derrick: A Junction between State Based and Behavioural Specification (Invited Talk). FMOODS 1999: 213-239
27		Howard Bowman, Giorgio P. Faconti: Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Asp. Comput. 11(2): 132-159 (1999)
26		Howard Bowman, Eerke A. Boiten, John Derrick, Maarten Steen: Strategies for Consistency Checking Based on Unification. Sci. Comput. Program. 33(3): 261-298 (1999)
25		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)
	1998
24		Howard Bowman, Joost-Pieter Katoen: A True Concurrency Semantics for ET-LOTOS. ACSD 1998: 228-238
23		Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman: Consistency of Partial Process Specifications. AMAST 1998: 248-262
22		Howard Bowman, Giorgio P. Faconti, Mieke Massink: Specification and Verification of Media Constraints using UPAAL. DSV-IS 1998: 261-277
21		Peter R. King, Helen Cameron, Howard Bowman, Simon J. Thompson: Synchronization in Multimedia Documents. EP 1998: 355-369
20		Howard Bowman, Simon J. Thompson: A Tableau Method for Interval Temporal Logic with Projection. TABLEAUX 1998: 108-123
19		Nathan Charles, Howard Bowman, Simon J. Thompson: From ACT-ONE to Miranda, a translation experiment. Computer Standards & Interfaces 19(1): 31-49 (1998)
18		John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Specifying and Refining Internal Operations in Z. Formal Asp. Comput. 10(2): 125-159 (1998)
17		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)
16		Howard Bowman: A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems. New Generation Comput. 16(4): 343-372 (1998)
	1997
15		Howard Bowman, John Derrick: Extending LOTOS with Time: A True Concurrency Perspective. ARTS 1997: 383-399
14		Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen: Viewpoint Consistency in Z and LOTOS: A Case Study. FME 1997: 644-664
13		Maarten Steen, Howard Bowman, John Derrick, Eerke A. Boiten: Disjunction of LOTOS Specifications. FORTE 1997: 177-192
12		John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Weak Refinement in Z. ZUM 1997: 369-388
	1996
11		Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen: Consistency and Refinement for Partial Specification in Z. FME 1996: 287-306
10		John Derrick, Howard Bowman, Eerke A. Boiten, Maarten Steen: Comparing LOTOS and Z Refinement Relations. FORTE 1996: 501-516
	1995
9		Howard Bowman, John Derrick: A True Concurrency Semantics for Quality of Service Specification and Validation. MMNET 1995: 173-182
8		Maarten Steen, Howard Bowman, John Derrick: Composition of LOTOS specifications. PSTV 1995: 87-102
7		Howard Bowman, John Derrick: Modelling distributed systems using Z. SAC 1995: 147-151
6		Howard Bowman, John Derrick, Maarten Steen: Viewpoints and Objects. ZUM 1995: 449-468
5		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)
	1994
4		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
3		Howard Bowman, John Derrick: Consistency and Conformance in ODP (Abstract). PODC 1994: 388
2		Howard Bowman, John Derrick, Richard E. Jones: Modelling Garbage Collection Algorithms Using CCS and Temporal Logic (Abstract). PODC 1994: 394
	1993
1		Howard Bowman, Gordon S. Blair, Lynne Blair, Amanda G. Chetwynd: Time Versus Abstraction in Formal Description. FORTE 1993: 467-482

Coauthor Index

1	Philip Barnard	[50] [53] [54]
2	Gordon S. Blair	[1] [4] [5]
3	Lynne Blair	[1] [4] [5] [33]
4	Eerke A. Boiten	[10] [11] [12] [13] [14] [18] [23] [25] [26] [31] [38]
5	Ed Brinksma	[30]
6	Jeremy Bryans (Jeremy W. Bryans)	[32] [33] [36] [41]
7	Helen Cameron	[21] [40]
8	Nathan Charles	[19]
9	Srivas Chennu	[51] [52]
10	Amanda G. Chetwynd	[1] [4] [5]
11	Patrick Craston	[51] [52]
12	John Derrick	[2] [3] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [18] [23] [25] [26] [28] [30] [31] [32] [33] [36] [38] [41]
13	Giorgio P. Faconti (Giorgio Faconti)	[17] [22] [27] [34]
14	Rodolfo Gómez (Rodolfo Sabás Gómez)	[42] [43] [45] [46] [47] [49]
15	Richard E. Jones	[2]
16	Kiran Kalidindi	[48]
17	Joost-Pieter Katoen	[17] [24]
18	Peter R. King	[21] [40]
19	Diego Latella	[17]
20	Peter F. Linington	[31]
21	Mieke Massink	[17] [22] [34]
22	Maarten W. A. Steen (Maarten Steen)	[6] [8] [10] [11] [12] [13] [14] [18] [23] [25] [26] [31] [38]
23	Li Su	[45] [50] [53] [54]
24	Simon J. Thompson	[19] [20] [21] [39] [40]
25	Bradley P. Wyble	[44] [51] [52] [53]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page