Intranet Tools

nb. next round of REF2013 will NOT be using data from eprints.ecs, but the central university REF interface.

RSS 1.0 Feed
RSS 2.0 Feed
Atom Feed

Important message for ECS staff
From 1st March 2012 ECS EPrints will be merging with the central Southampton EPrints Repository (ePrints Soton) and will no longer be accepting new publications - click here to find out more.

Items from Current ECS Groups > Electronic and Software Systems in 1996
(Grouped by Creator/Authors Name)

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Creator/Authors Name
Jump to: A | B | C | G | H | K | L | M | N | S
Number of items: 21.


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

Al-Hashimi, B. M. (1996) The Electroincs Handbook. pp. 1986-2004, CRC Press in cooperation with IEEE Press. ISBN 0849383455

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

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


Butler, M. J. (1996) An Approach to the Design of Distributed Systems with B AMN (extended version). Technical Report , Electronics and Computer Science, Univ. of Southampton.

Butler, M. J. (1996) Calculational Derivation of Algorithms on Tree-based Pointer Structures. In: BCS-FACS Refinement Workshop.

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

Butler, M. J. and Långbacka, T. (1996) Program Derivation using the Refinement Calculator. In: 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. In: 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. In: Proc. First B Conf.. pp. 155-168.


Crowder, R. M., Nadesakumar, A. and Wills, G. (1996) Electrically Powered Integrated Control Actuation. Technical Report , UNSPECIFIED, UNSPECIFIED.


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

Gunn, S. R. (1996) Dual Active Contour Models for Image Feature Extraction. PhD thesis, University of Southampton.

Gunn, S. R. and Nixon, M. S. (1996) Snake Head Boundary Extraction using Local and Global Energy Minimisation. In: IEEE Int. Conf. on Pattern Recognition, Vienna, 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. In: UNSPECIFIED. pp. 91-6.


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

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


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


Moniri, M. and Al-Hashimi, B. M. (1996) Generation of current mode filter structures using dual output transconductance amplifiers. In: UNSPECIFIED. pp. 903-906.


Nicole, D. A. and Sivaram, R. (1996) SCOTT: The Southampton COFF Tools for Transputers. In: 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. In: UNSPECIFIED. pp. 627-30.

This list was generated on Fri Feb 5 00:55:34 2016 GMT.
  Welcome from Deputy Head of School (Research) Research Prospectus Industrial Partnerships New Research Students Notes for Guidance New Research Students Notes for Guidance
The ECS EPrints Repository supports OAI 2.0 with a base URL of

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.