Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

2013 2011 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993

Number of items: 141.

2013

Bowman, H. and Filetti, M. and Janssen, D.P. and Li, Su and Alsufyani, A. and Wyble, B. (2013) Subliminal Salience Search Illustrated: EEG Identity and Deception Detection on the Fringe of Awareness. PLoS ONE, 8 (1). pp. 1-21. ISSN 1932-6203.

Preview

Bowman, H. and Filetti, M. and Wyble, B. and Olivers, C. (2013) Attention is more than prediction precision [Commentary on target article]. Behavioral and Brain Sciences, 36 (3). pp. 26-28. ISSN 0140-525X .

Preview

2011

Bowman, H. and Li, Su (2011) Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems. In: Voronkov, Andrei and Korovina, Margarita, eds. Higher-Order Workshop on Automated Runtime Verification and Debugging, EasyChair Proceedings, Festschrift celebrating Howard Barringer's 60th Birthday. EasyChair. The full text of this publication is not available from this repository.

Wyble, B. and Potter, M. and Bowman, H. and Nieuwenstein, M. (2011) Attentional Episodes in Visual Perception. Journal of Experimental Psychology: General, 140 (3). pp. 182-196. The full text of this publication is not available from this repository.

Bowman, H. and Wyble, B. and Chennu, S. and Craston, P. (2011) Fortunate Conjunctions Revived: Feature Binding with the 2f-ST2 Model. In: Proceedings of the 33rd Annual Conference of the Cognitive Science Society. The full text of this publication is not available from this repository.

2009

Bowman, H. and Craston, Patrick and Chennu, Srivas and Wyble, Brad (2009) The delayed consolidation hypothesis of all-or-none conscious perception during the attentional blink, applying the ST2 framework. In: Proceedings of the 31st Annual Conference of the Cognitive Science Society. The full text of this publication is not available from this repository.

Chennu, Srivas and Craston, Patrick and Wyble, Brad and Bowman, H. (2009) The influence of target discriminability on the time course of attentional selection. In: Proceedings of the 31th Annual Conference of the Cognitive Science Society.

Preview

Bowman, H. and Su, L. and Wyble, B. and Barnard, P.J. (2009) Salience Sensitive Control, Temporal Attention and Stimulus-Rich Reactive Interfaces. In: Roda, Claudia, ed. Human Attention in Digital Environments. Cambridge University Press. The full text of this publication is not available from this repository.

Craston, Patrick and Wyble, Brad and Chennu, Srivas and Bowman, H. (2009) The attentional blink reveals serial working memory encoding: Evidence from virtual and human event-related potentials. Journal of Cognitive Neuroscience, 21 (3). pp. 550-566. ISSN 0898-929X.

Preview

2008

Wyble, B.P. and Sharma, D. and Bowman, H. (2008) Strategic Regulation of Cognitive Control by Emotional Salience: A Neural Network Model. Cognition & Emotion, 22 (6). 1019-1051 . ISSN 0269-9931 . The full text of this publication is not available from this repository.

Dietz, K.C. and Bowman, H. and van Hooff, J.C. (2008) Towards a competitive learning model of mirror effects in yes/no recognition memory tests. In: Connectionist models of behaviour and cognition II.

Preview

Bowman, H. and Wyble, B. and Chennu, Srivas and Craston, P. (2008) A Reciprocal Relationship Between Bottom-up Trace Strength and the Attentional Blink Bottleneck: Relating the LC-NE and ST2 Models. Brain Research, 1202 . pp. 25-42.

Preview

Wyble, B. and Bowman, H. and Nieuwenstein, M. (2008) The Attentional Blink provides Episodic Distinctiveness: Sparing at a Cost. Journal of Experimental Psychology: Human Perception and Performance . ISSN 0096-1523. The full text of this publication is not available from this repository.

Wyble, B. and Bowman, H. and Potter, M. (2008) Categorically Defined Targets Trigger Spatiotemporal Attention. Journal of Experimental Psychology: Human Perception and Performance . The full text of this publication is not available from this repository.

Van Hooff, J.C. and Dietz, K.C. and Sharma, D. and Bowman, H. (2008) Neural correlates of intrusion of emotion words in a modified Stroop task. International Journal of Psychophysiology, 67 (1). pp. 23-34. ISSN 0167-8760 .

Preview

Su, L. and Bowman, H. and Barnard, P.J. and Wyble, B. (2008) Process Algebraic Modelling of Attentional Capture and Human Electrophysiology in Reactive Systems. Formal Aspects of Computing . ISSN 0934-5043. The full text of this publication is not available from this repository.

Chennu, Srivas and Craston, Patrick and Wyble, Brad and Bowman, H. (2008) Transient Attentional Enhancement during the Attentional Blink: ERP correlates of the ST2 model. In: FROM ASSOCIATIONS TO RULES: Connectionist Models of Behavior and Cognition.

Preview

2007

Su, Li and Bowman, H. and Barnard, Philip (2007) Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks. In: Electronic Notes in Theoretical Computer Science. Elsevier pp. 95-111.

Preview

Su, Li and Bowman, H. and Barnard, Philip (2007) Attentional capture by meaning: A multi-level modelling study. In: Proceedings of the 29th Annual meeting of the cognitive science society (CogSci 2007), August 1-4, 2007, Nashville, Tennessee. (In press)

Preview

Kalidindi, Kiran and Bowman, H. (2007) Using e-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task. Neural Networks, 20 (6). pp. 676-689. ISSN 0893-6080. Access to this publication is restricted.

Bowman, H. and Wyble, B. (2007) The Simultaneous Type, Serial Token Model of Temporal Attention and Working Memory. Psychological Review, 114 (1). pp. 38-70. ISSN 0033-295X.

Preview

Gomez, R.S. and Bowman, H. (2007) Efficient Detection of Zeno Runs in Timed Automata. In: 5th International Conference FORMATS 2007 (Formal Modelling and Analysis of Timed Systems), October 2007, Salzburg, Austria.

Preview

Sharma, D. and Wyble, B. and Bowman, H. (2007) Modulation of Cognitive Control by Negative Affect. Experimental Verification of a Connectionist Model of the Emotional Stroop. In: Experimental Psychology Society conference , 4-7 July 2007, Edinburgh. (Unpublished) The full text of this publication is not available from this repository.

2006

Gomez, R.S. and Bowman, H. (2006) Compositional Detection of Zeno Behaviour in Timed Automata. Technical report. Computing Laboratory, CT2 7NF Canterbury, Kent, UK

Preview

Bowman, H. and Gomez, R.S. (2006) How to stop time stopping. Formal Aspects of Computing, 18 (4). pp. 459-493. ISSN 0934-5043.

Preview

Wyble, B. and Bowman, H. and Craston, P. (2006) Attentional Capture in Stimulus Rich Computer Interfaces. Technical report. UKC

Preview

Wyble, B. and Craston, P. and Bowman, H. (2006) Electrophysiological Feedback in Adaptive Human Computer Interfaces. Technical report. UKC

Preview

Li, Su and Bowman, H. and Barnard, P.J. (2006) Emotional Modulation of Temporal Attention, An Approach based upon Distributed Control and Formal Methods. Technical report. UKC

Preview

Bowman, H. and Li, Su and Wyble, Brad (2006) Performance of Reactive Interfaces in Stimulus Rich Environments, applying Formal Methods and Cognitive Frameworks. Technical report. UKC

Preview

Bowman, H. and Li, Su and Barnard, P.J. (2006) Semantic Modulation of Temporal Attention: Distributed Control and Levels of Abstraction in Computational Modelling. Technical report. UKC

Preview

Wyble, B. and Bowman, H. (2006) A neural network account of binding discrete items into working memory using a distributed pool of flexible resources. Journal of Vision, 6 (6). 33-33a. ISSN 1534-7362 . The full text of this publication is not available from this repository.

Craston, Patrick and Wyble, Brad and Bowman, H. (2006) An EEG study of masking effects in RSVP [Abstract]. Journal of Vision, 6 (6). p. 1016. ISSN 1534-7362. The full text of this publication is not available from this repository.

Schlaghecken, F. and Bowman, H. and Eimer, M. (2006) Dissociating Local and Global Levels of Perceptuo-Motor Control in Masked Priming. Journal of Experimental Psychology, Human Perception and Performance, 32 (3). pp. 618-632. ISSN 0096-1523.

Preview

Bowman, H. and Schlaghecken, F. and Eimer, M. (2006) A Neural Network Model of Inhibitory Processing in Subliminal Priming. Visual Cognition, 13 (4). pp. 401-480. ISSN 1464-0716 (electronic) 1350-6285 (paper) .

Preview

Bowman, H. and Gomez, R.S. (2006) Concurrency Theory, Calculi and Automata for Modelling Untimed and Timed Concurrent Systems. Springer, London, 459 pp. ISBN 1-85233-895-4. The full text of this publication is not available from this repository.

Su, Li and Bowman, H. and Wyble, Brad (2006) Formal Modeling of Connectionism using Concurrency Theory, an Approach Based on Automata and Model Checking. Technical report. UKC

Preview

2005

Bowman, H. and Gomez, R.S. and Su, L. (2005) A tool for the syntactic detection of zeno-timelocks in timed automata. Electronic Notes in Theoretical Computer Science, 139 (1). pp. 25-47.

Preview

Kalidindi, Kiran and Bowman, H. and Wyble, Brad (2005) Using e-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task. Technical report. , Canterbury, Kent, CT2 7NF, UK

Preview

Wyble, B. and Bowman, H. (2005) The attentional blink reflects the time course of token binding, computational modeling and empirical data (Abstract). Journal of Vision, 5 (8). 116a-116a. ISSN 1534-7362. The full text of this publication is not available from this repository.

Su, Li and Bowman, H. and Wyble, Brad (2005) Symbolic Encoding of Neural Networks using Communicating Automata with Applications to Verification of Neural Network Based Controllers. In: Nineteenth International Joint Conference on Artificial Intelligence, 30 July - 5 August 2005, Edinburgh, Scotland. The full text of this publication is not available from this repository.

Wyble, B. and Bowman, H. (2005) Computational and Experimental Evaluation of the Attentional Blink: Testing the Simultaneous Type Serial Token Model. In: CogSci 2005, XXVII Annual Conference of the Cognitive Science Society, 21-23 July 2005, Stresa, Italy. The full text of this publication is not available from this repository.

Wyble, B. and Sharma, D. and Bowman, H. (2005) Modelling the slow emotional stroop effect: Suppression of cognitive control. In: Cangelosi, A. and Bugmann, Guido, eds. Modelling Language, Cognition and Action. Proceedings of the Ninth Neural Computation and Psychology Workshop, University of Plymouth, UK 8 - 10 September 2004. Progress in Neural Processing (16). World Scientific Publishing Company Pte Ltd, Singapore, pp. 291-300. ISBN 981-256-324-5 . The full text of this publication is not available from this repository.

Kalidindi, Kiran and Bowman, H. and Wyble, Brad (2005) A consideration of decision-making, motivation and emotions within Dual Process theory: supporting evidence from Somatic-Marker theory and simulations of the Iowa Gambling task. In: AISB’05: Social Intelligence and Interaction in Animals, Robots and Agents, 12-15 April 2005, Hatfield, United Kingdom. The full text of this publication is not available from this repository.

Gomez, R.S. and Bowman, H. (2005) Discrete Timed Automata. Technical report. UKC

Preview

Bowman, H. and Wyble, B.P. (2005) Computational Modelling of the Attentional Blink. In: Proceedings of the Neural Computation and Psychology Workshop.

Preview

Kalidindi, Kiran and Bowman, H. and Wyble, B. (2005) An investigation of the myopia for future consequences theory of VMF patient behaviour on the Iowa Gambling Task: An abstract neural network simulation. In: Progress in Neural Processing.

Preview

2004

Wyble, B. and Bowman, H. (2004) The Attentional Blink at 20 items/sec, Model Prediction and Empirical Validation of Lag-2 Sparing. In: Proceedings of the International Conference on Cognitive Modelling, JUL 30-AUG 01, 2004, Carnegie Mellon Univ, Pittsburgh, PA, .

Preview

Bowman, H. and Gomez, R.S. and Su, Li (2004) How to stop time stopping (preliminary version). Technical report. University of Kent, Canterbury, Kent, CT2 7NF, UK

Preview

UNSPECIFIED (2004) Proceedings of the Eighth Neural Computation and Psychology Workshop, Connectionist Models of Cognition and Perception II. In: UNSPECIFIED, April 2004, Singapore,. The full text of this publication is not available from this repository.

Barnard, P.J. and Bowman, H. (2004) Rendering Information Processing Models of Cognition and Affect Computationally Explicit: Distributed Executive Control and the Deployment of Attention. Cognitive Science Quarterly, 3 (3). pp. 297-328. ISSN 1466-6553.

Preview

Bowman, H. and Wyble, B. and Barnard, P.J. (2004) Towards a Neural Network Model of the Attentional Blink. In: Proceedings of the Eighth Neural Computation and Psychology Workshop, Connectionist Models of Cognition and Perception II, Aug 28-30, 2003 , Univ Kent Canterbury, Kent, England.

Preview

Gomez, R.S. and Bowman, H. (2004) PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. Journal of Applied Non-Classical Logics, 14 (1-2). pp. 105-148. ISSN 1166-3081.

Preview

2003

Bryans, J. and Bowman, H. and Derrick, J. (2003) Model Checking Stochastic Automata. ACM Transactions on Computational Logic, 4 (4). pp. 452-492. ISSN 1529-3785. The full text of this publication is not available from this repository.

Gomez, R.S. and Bowman, H. (2003) Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream. In: Konig, H. and Heiner, M. and Wolisz, A., eds. Lecture Notes in Computr Science. LNCS, 2767 (2767). Springer, Berlin, Germany pp. 177-192. ISBN 3-540-20175-0 . The full text of this publication is not available from this repository.

Gomez, R.S. and Bowman, H. (2003) A MONA-based Decision Procedure for Propositional Interval Temporal Logic. Other. Kent University, Vienna, Austria (Unpublished) The full text of this publication is not available from this repository.

Bowman, H. and Barnard, P.J. (2003) Towards a Neural Network Model of the Attentional Blink (Abstract). In: Proceedings of Seventh International Conference on Cognitive and Neural Systems, May 2003, May 2003., Boston University, May 2003. . The full text of this publication is not available from this repository.

Bowman, H. and Thompson, S.J. (2003) A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. Journal of Logic and Computation, 13 (2). pp. 195-239. ISSN 0955-792X. The full text of this publication is not available from this repository.

Bowman, H. and Cameron, H. and King, P. and Thompson, S.J. (2003) Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods in System Design, 22 (1). pp. 5-38. ISSN 0925-9856 . The full text of this publication is not available from this repository.

2002

Bowman, H. and Steen, M.W.A. and Boiten, E.A. and Derrick, J. (2002) A Formal Framework for Viewpoint Consistency. Formal Methods in System Design, 21 (2). pp. 111-166. ISSN 0925-9856. The full text of this publication is not available from this repository.

Bowman, H. and Aron, A. and Schlaghecken, F. and Eimer, M. (2002) Neural Network Modelling of Inhibition in Visuo-Motor Control. In: Proceedings of the Seventh Neural Computation and Psychology Workshop: Connectionist Models of Cognition and Perception, September 2002. The full text of this publication is not available from this repository.

Bowman, H. and Schlaghecken, F. and Eimer, M. (2002) A Connectionist Model of Inhibition in Masked Priming (abstract). In: Proceedings of Sixth International Conference on Cognitive and Neural Systems, May 30th - June 1st, 2002, May 30th to June 1st 2002, Boston, Massachussetts. The full text of this publication is not available from this repository.

2001

Bowman, H. and Aron, A. and Eimer, E. and Schlaghecken, F. (2001) A Connectionist Model of Inhibitory Processes in Motor Control and its Application to a Masked Priming Task. Technical report. Computing Laboratory, University of Kent, Canterbury, Canterbury, Kent

Linington, P.F. (2001) Distributed Systems, an ODP Perspective. In: Bowman, H. and Derrick, J., eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, pp. 18-35. ISBN 0521771846. The full text of this publication is not available from this repository.

Linington, P.F. (2001) Issues in Distributed Systems. In: Bowman, H. and Derrick, J., eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, pp. 3-17. ISBN 0521771846. The full text of this publication is not available from this repository.

Bowman, H. and Barnard, P.J. (2001) Computational Modelling of Distributed Executive Control. Technical report. UKC, Canterbury, Kent, UK

Bowman, H. and Derrick, J., eds. (2001) Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, 480 pp. ISBN 0-521-77184-6. The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. (2001) Issues in Formal Methods (chapter 3). In: Bowman, H. and Derrick, J., eds. Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, pp. 18-35. ISBN 0-521-77184-6. The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. (2001) Viewpoints Modelling. In: Bowman, H. and Derrick, J., eds. Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches. Cambridge University Press, Cambridge, UK, pp. 451-475. ISBN 0-521-77184-6. The full text of this publication is not available from this repository.

Bowman, H. (2001) Time and Action Lock Freedom Properties of Timed Automata. In: Formal Techniques for Networked and Distributed Systems. The full text of this publication is not available from this repository.

Bowman, H. (2001) Formal Methods Elsewhere. Electronic Notes in Theoretical Computer Science, 43 . 162-163 . ISSN 1571-0661. The full text of this publication is not available from this repository.

Bowman, H. and Bryans, J.W. and Derrick, J. (2001) Analysis of a Multimedia Stream using Stochastic Process Algebra. The Computer Journal, 44 (4). pp. 230-245. ISSN 0010-4620 . The full text of this publication is not available from this repository.

Kent, S. (2001) The Unified Modeling Language. In: Bowman, H. and Derrick, J., eds. Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches. Cambridge University Press, p. 126. ISBN 9780521771849.

Preview

2000

Akehurst, D.H. and Bowman, H. and Bryans, J.W. and Derrick, J. (2000) A Manual for a ModelChecker for Stochastic Automata. Technical report.

Preview

Bryans, J.W. and Blair, L. and Bowman, H. and Derrick, John (2000) Specification and Analysis of Automata-based Designs. In: Grieskamp, W. and Stanten, T. and Stoddart, B., eds. Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 2000. Proceedings. Lecture Notes in Comuter Science, 1945. Springer pp. 176-193. ISBN 3-540-41196-8.

Preview

Preview

Bowman, H. and Bryans, J.W. and Derrick, J. (2000) Towards Stochastic Model Checking with Generalised Distributions. In: UKPEW 2000, 16th United Kingdom Performance Engineering Workshop, July 24-25, 2000, Durham Univ. uk, . The full text of this publication is not available from this repository.

Bowman, H. and Faconti, G. and Massink, M. (2000) Towards Integrated Cognitive and Interface Analysis. In: Proceedings of Formal Methods Elsewhere 2000, Pisa, Italy.

Preview

Boiten, E.A. and Bowman, H. and Derrick, J. and Linington, P.F. and Steen, M.W.A. (2000) Viewpoint Consistency in ODP. Computer Networks, 34 (3). pp. 503-537. ISSN 1389-1286 . The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. and Brinksma, E. (2000) Guest Editors Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Transactions on Software Engineering, 26 (7). pp. 577-578. The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. and Brinksma, E. (2000) Selected papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997. Ieee Transactions on Software Engineering, 26 (7). pp. 577-578. ISSN 0098-5589. The full text of this publication is not available from this repository.

Bowman, H. and Thompson, Simon (2000) A Complete Axiomatization of Interval Temporal Logic with Projection. Technical report. University of Kent

Preview

Bryans, J.W. and Bowman, H. and Derrick, J. (2000) A Model Checking Algorithm for Stochastic Systems. Technical report. University of Kent, Canterbury, Kent

Preview

Preview

1999

Bowman, H. and Steen, M.W.A. and Boiten, E.A. and Derrick, J. (1999) A Formal Framework for Viewpoint Consistency (full version). Technical report. , Canterbury, Kent, CT2 7NZ

Preview

Preview

Bowman, H. (1999) On Time and Action Lock Free Description of Timed Systems. Technical report.

Preview

Preview

Bowman, H. (1999) Modelling Concurrent Cognitive Architectures Using Process Calculi. In: European Conference on Cognitive Science 1999, 27th-30th October 1999, Siena, Italy.

Preview

Preview

Bowman, H. and Faconti, G. (1999) Analysing Cognitive Behaviour using LOTOS and Mexitl. Formal Aspects of Computing, 11 (2). pp. 132-159. The full text of this publication is not available from this repository.

Boiten, E.A. and Derrick, J. and Bowman, H. and Steen, M. (1999) Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1). pp. 29-75. ISSN 0167-6423.

Preview

Preview

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1999) Viewpoints and consistency: translating LOTOS to Object-z. Computer Standards & Interfaces, 21 (3). pp. 251-272. ISSN 0920-5489.

Preview

Preview

Bowman, H. (1999) Modelling Timeouts without Timelocks. In: Formal Methods for Real-Time and Probabilistic Systems. Lecture Notes in Computer Science, 1601. Springer-Verlag pp. 334-354.

Preview

Preview

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M.W.A. (1999) Strategies for consistency checking based on unification. Science of Computer Programming, 33 (3). pp. 261-298. ISSN 0167-6423. The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. (1999) A Junction between State Based and Behavioural Specification. In: Formal Methods for Open Object-based Distributed Systems. The full text of this publication is not available from this repository.

Bowman, H. and Faconti, G. and Massink, M. (1999) Towards Integrated Cognitive and Interface Analysis. Technical report.

Preview

Preview

Steen, M. and Derrick, J. and Boiten, E.A. and Bowman, H. (1999) Consistency of partial process specifications. In: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98), Jan 04-08, 1999, Amazonia, Brazil.

Preview

Preview

1998

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1998) Specifying and Refining Internal Operations in Z. Formal Aspects of Computing, 10 (2). pp. 125-159. ISSN 0934-5043 (Print) 1433-299X (Online).

Preview

Preview

Bowman, H. (1998) An Interpretation of Cognitive Theory in Concurrency Theory. Technical report. University of Kent

Preview

Bowman, H. and Bryans, J.W. and Derrick, J. (1998) Analysis of a Multimedia Stream using Stochastic Process Algebra. In: Sixth International Workshop on Process Algebras and Performance Modelling, 1998.

Preview

Bowman, H. (1998) A LOTOS Based Tutorial on Formal Methods for Object Oriented Distributed Systems. New Generation Computing, 16 (4). pp. 343-372. ISSN 0288-3635 . The full text of this publication is not available from this repository.

Bowman, H. and Faconti, G. and Katoen, J-P. and Latella, D. and Massink, M. (1998) Automatic Verification of a Lip Synchronisation Protocol using UPPAAL. Formal Aspects of Computing, 10 (5-6). pp. 550-575. ISSN 1433-299X . The full text of this publication is not available from this repository.

Bowman, H. and Faconti, G. and Massink, M. (1998) Specification and Verification of Media Constraints using UPPAAL. In: 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98, Jun 03-05, 1998, Abington, England, .

Preview

Preview

Bowman, H. and Thompson, Simon J. (1998) A Tableaux Method for Interval Temporal Logic with Projection. In: Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes In Computer Science, 1397 (1397). Springer-Verlag pp. 108-123. ISBN 3-540-64406-7.

Preview

Bowman, H. and Faconti, G. and Katoen, J-P. and Latella, D. and Massink, M. (1998) Automatic Verification of a Lip-Synchronisation Algorithm Using UPPAAL - Extended Version. In: FMICS'98, Third Internatinoal Workshop on Formal Methods for Industrial Crtical Systems.

Preview

Cameron, Helen and King, Peter and Bowman, H. and Thompson, Simon (1998) Synchronization in Multimedia Documents. In: Andre, Jacques, ed. Proceedings of the 7th International Conference on Electronic Publishing, Held Jointly with the 4th International Conference on Raster Imaging and Digital Typography: Electronic Publishing, Artistic Imaging, and Digital Typography. Lecture Notes In Computer Science, 1357. Springer pp. 355-369. ISBN 3-540-64298-6 .

Preview

Preview

Bowman, H. and Katoen, J-P. (1998) A True Concurrency Semantics for ET-LOTOS. In: CSD'98 International Conference on Application of Concurrency to System Design, Mar 23-26, 1998, Fukushima, Japan. The full text of this publication is not available from this repository.

Bowman, H. and Thompson, S. (1998) A tableau method for interval temporal logic with projection. Springer-Verlag Berlin ISBN 3-540-64406-7. The full text of this publication is not available from this repository.

1997

Bowman, H. and Thompson, Simon (1997) A Tableau Method for Interval Temporal Logic. Technical report. University of Kent at Canterbury

Preview

Preview

Steen, M.W.A. and Bowman, H. and Derrick, J. and Boiten, E.A. (1997) Disjunction of LOTOS specifications. In: Mizuno, T. and Shiratori, N. and Higashino, T. and Togashi, A., eds. IFIP Conference Proceedings; Vol. 107. Chapman & Hall, Osaka, Japan pp. 177-192. ISBN 0-412-82060-9 .

Preview

Blair, G.S. and Blair, L. and Bowman, H. and Chetwynd, A.G. (1997) Formal Specification of Distributed Multimedia Systems. University College London Press, 352 pp. ISBN 1-85728-677-4 PB. The full text of this publication is not available from this repository.

Boiten, E. and Bowman, H. and Derrick, J. and Steen, M. (1997) Viewpoint consistency in Z and LOTOS: A case study. In: UNSPECIFIED.

Preview

+1 more...

Boiten, E.A. and Derrick, J. and Bowman, H. and Steen, M. (1997) Coupling schemas: data refinement and view(point) composition. In: Northern formal methods, 1997; Jul, Ilkley. The full text of this publication is not available from this repository.

UNSPECIFIED (1997) FMOODS'97, IFIP TC6 WG6.1 International Conference on Formal Methods for Open Object-based Distributed Systems. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Bowman, H. and Briscoe-Smith, C. and Derrick, J. and Strulo, B. (1997) On Behavioural Subtyping in LOTOS. In: Bowman, H. and Derrick, J., eds. Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems. Chapman and Hall pp. 335-351. ISBN 0-412-82040-4 .

Preview

+1 more...

Bowman, H. and Cameron, Helen and King, Peter and Thompson, Simon (1997) Specification and Prototyping of Structured Multimedia Documents using Interval Temporal Logic. In: International Conference on Temporal Logic.

Preview

+1 more...

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1997) Translating LOTOS to Object-Z. In: 2nd BCS-FACS Northern Formal Methods Workshop : Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, 14-15 July, 1997, Ilkley, U. K.. The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. (1997) Extending LOTOS with Time: True Concurrency Perspective. In: Bertran, Miquel and Rus, Teodor, eds. Transformation-Based Reactive Systems Development. Lecture Notes in Computer Science, 1231. Springer-Verlag pp. 382-399. ISBN 3-540-63010-4 . The full text of this publication is not available from this repository.

Bowman, H. and Cameron, Helen and King, Peter and Thompson, Simon (1997) Mexitl: Multimedia in Executable Interval Temporal Logic. Technical report. University of Kent

Preview

Preview

Derrick, J. and Boiten, E.A. and Bowman, H. and Steen, M. (1997) Weak refinement in Z. In: Bowen, J.P. and Hinchey, M.G. and Till, D., eds. ZUM '97: The Z Formal Specification Notation. Lecture Notes in Computer Science, 1212. Springer-Verlag, Reading pp. 369-388. ISBN 3-540-62717-0.

+1 more...

Charles, Nathan and Bowman, H. and Thompson, Simon (1997) From ACT-ONE to Miranda, a Translation Experiment. Computer Standards and Interfaces, 19 (1). pp. 31-49. ISSN 0920-5489 .

Preview

Preview

Bowman, H. and Derrick, J. (1997) Extending LOTOS with time: A true concurrency perspective. In: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (ARTS 97), May 21-23, 1997, Palma De Mallorca, Spain. The full text of this publication is not available from this repository.

1996

Derrick, J. and Bowman, H. and Boiten, E.A. and Steen, M. (1996) Comparing LOTOS and Z refinement relations. In: UNSPECIFIED.

Preview

Preview

Boiten, E. and Bowman, H. and Derrick, J. and Steen, M. (1996) Issues in multiparadigm viewpoint specification. In: UNSPECIFIED.

Preview

Preview

Linington, P.F. and Derrick, J. and Bowman, H. (1996) The specification and conformance of ODP systems. In: 9th International Workshop on Testing of Communicating Systems.

Preview

Preview

Boiten, E. and Derrick, J. and Bowman, H. and Steen, M. (1996) Consistency and refinement for partial specification in Z. In: UNSPECIFIED.

Preview

Preview

Derrick, J. and Boiten, E. and Bowman, H. and Steen, M. (1996) Supporting ODP - Translating LOTOS into Z. In: UNSPECIFIED.

Preview

Preview

Bowman, H. and Boiten, E. and Derrick, J. and Steen, M. (1996) Viewpoint consistency in ODP, a general interpretation. In: UNSPECIFIED.

Preview

Preview

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M. (1996) Strategies for Consistency Checking, the Choice of Unification. Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

Bowman, H. and Derrick, J. and Linington, P.F. and Steen, M. (1996) Cross-viewpoint consistency in open distributed processing. Software Engineering Journal, 11 (1). pp. 44-57. ISSN 0268-6961. The full text of this publication is not available from this repository.

1995

Bowman, H. and Blair, G.S and Blair, L. and Chetwynd, A.G. (1995) Formal description of distributed multimedia systems: An assessment of potential techniques. Computer Communications, 18 (12). pp. 964-977. ISSN 0140-3664. The full text of this publication is not available from this repository.

Bowman, H. and Boiten, E.A. and Derrick, J. and Steen, M. (1995) Strategies for Consistency Checking. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview

Preview

Boiten, E. and Derrick, J. and Bowman, H. and Steen, M. (1995) Unification and multiple views of data in Z. In: UNSPECIFIED.

Preview

Preview

Bowman, H. and Derrick, J. (1995) A True Concurrency Semantics for Quality of Service Specification and Validation. In: MMNet'95, International Conference on Multimedia and Networking. The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. and Linington, P.F. and Steen, M. (1995) FDTs for ODP. Computer Standards and Interfaces, 17 (5-6). pp. 457-479. ISSN 0920-5489.

Preview

Preview

Blair, L. and Blair, G.S. and Bowman, H. and Chetwynd, A.G. (1995) Formal Specification and Verification of Multimedia Systems in Open Distributed Processing. Computer Standards and Interfaces, 17 (5-6). pp. 413-436. ISSN 0920-5489. The full text of this publication is not available from this repository.

Derrick, J. and Bowman, H. and Steen, M. (1995) Viewpoints and Objects. In: UNSPECIFIED.

Preview

Preview

Boiten, E.A. and Bowman, H. and Derrick, J. and Steen, M. (1995) Cross Viewpoint Consistency in Open Distributed Processing (Intra language consistency). Technical report. UKC, University of Kent, Canterbury, UK

Preview

Preview

Derrick, J. and Bowman, H. and Steen, M. (1995) Maintaining Cross Viewpoint Consistency using Z. In: UNSPECIFIED.

Preview

Preview

Bowman, H. and Derrick, J. (1995) Modelling Distributed Systems using Z. In: UNSPECIFIED.

Preview

Preview

Bowman, H. and Derrick, J. and Steen, M. (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED.

Preview

Preview

Steen, M.W.A. and Bowman, H. and Derrick, J. (1995) Composition of LOTOS specifications. In: UNSPECIFIED. The full text of this publication is not available from this repository.

1994

Bowman, H. and Blair, L. and Blair, G.S. and Chetwynd, A.G. (1994) A Formal Description Technique Supporting Expression of Quality of Service and Media Synchronisation. In: Multimedia Transport and Teleservices, International COST 237 Workshop. The full text of this publication is not available from this repository.

Bowman, H. and Derrick, J. (1994) Towards a Formal Model of Consistency in ODP. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, UK

Preview

Preview

Bowman, H. and Derrick, J. and Jones, Richard (1994) Modelling Garbage Collection Algorithms --- Extend abstract. In: Proceedings of Principles of Distributed Computing'94.

Preview

Preview

1993

Bowman, H. and Blair, G.S and Blair, L. and Chetwynd, A.G. (1993) Time Versus Abstraction In Formal Description. In: FORTE 93 - IFIP 6th International Conference on Formal Description Techniques, Boston, Ma. The full text of this publication is not available from this repository.

This list was generated on Sat May 18 13:32:10 2013 BST.