The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1996

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 21.


AL-HASHIMI, B.M., Browne, Jack(ed.) (1996) Understand the Fundamental of Passive Video Filters Microwave & RF, 35, (5), pp. 171-78.

Butler, M. J. (1996) Stepwise Refinement of Communicating Systems Science of Computer Programming, 27, (2), pp. 139-173.

Gravell, A. M. and Henderson, P. (1996) Executing Formal Specifications Need Not be Harmful Software Engineering J., 11, (2), pp. 104-110.


Al-Hashimi, B.M., Whitaker, Jerry C. (ed.) (1996) The Electroincs Handbook: 1st, CRC Press in cooperation with IEEE Press

Conference or Workshop Item

Al-Hashimi, B.M. (1996) New dual output transconductance amplifier based biquad , pp. 1200-1204.

Butler, M. J., (1996) Calculational Derivation of Algorithms on Tree-based Pointer Structures Jifeng, He, Cooke, J. and Wallace, P. (eds.) At BCS-FACS Refinement Workshop.

Butler, M. J. and Långbacka, T., (1996) Program Derivation using the Refinement Calculator Wright, J. von, Grundy, J. and Harrison, J. (eds.) At Proc. 9th Int. Conf. on Theorem Proving in Higher Order Logics (TPHOLs'96), LNCS 1125. , pp. 93-108.

Butler, M. J., Sekerinski, E. and Sere, K., (1996) An Action System Approach to the Steam Boiler Problem Abrial, J.-R., Börger, E. and Langmaack, H. (eds.) At Formal Methods for Industrial Applications -- Specifying and Programming the Steam Boiler Control, LNCS 1165. , pp. 129-148.

Butler, M. J. and Waldén, M., (1996) Distributed System Development in B Habrias, H. (ed.) At Proc. First B Conf.. , pp. 155-168.

Gunn, S.R. and Nixon, M.S. (1996) Snake Head Boundary Extraction using Local and Global Energy Minimisation At IEEE Int. Conf. on Pattern Recognition, Austria. , pp. 581-585.

Holdcroft, D, Moniri, M. and AL-Hashimi, B.M. (1996) Comparative study of recursive digital filters using Z and delta operators , pp. 91-6.

Kollig, P. and AL-Hashimi, B.M. (1996) Design and implementation of digital systems for automatic control based on behavioral descriptions , pp. 21-4.

Moniri, M. and Al-Hashimi, B.M. (1996) Generation of current mode filter structures using dual output transconductance amplifiers At IEEE Proceedings of the 39th Midwest Symposium on Circuits and Systems. , pp. 903-906.

Nicole, Denis A and Sivaram, Rajini (1996) SCOTT: The Southampton COFF Tools for Transputers At WOTUG-19, Proceedings of the 19th World occam and transputer user group technical meeting. , p. 191.

Somerset, W., Al-Hashimi, B.M. and Moniri, M. (1996) A computer program for the design and analysis of linear phase FIR raised cosine filters , pp. 627-30.


Butler, M. J. (1996) An Approach to the Design of Distributed Systems with B AMN (extended version) s.n.

Crowder, R.M., Nadesakumar, A. and Wills, G. (1996) Electrically Powered Integrated Control Actuation. s.n.


Gunn, S.R. and Nixon, M.S. (1996) Dual Active Contour Models for Image Feature Extraction University of Southampton, Electronics and Computer Science : University of Southampton, Doctoral Thesis .


Al-Hashimi, B. (1996) current mode filter structure based on dual output transconductance amplifiers

K, Thomas (1996) Parallel Progarmming in Ada on Arrays of Transputers

Lind, L.F., Al-Hashimi, B. M. and Somerset, W.P. (1996) Linear programming design of FIR raised cosine filters with >100% excess bandwidth

This list was generated on Thu Apr 13 09:33:44 2017 BST.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.