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
 
Warning

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 2005
(Grouped by Item Type)

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
Number of items: 98.

Article

Butler, M., Ferreira, C. and Ng, M. Y. (2005) Precise Modelling of Compensating Business Transactions and its Application to BPEL. Journal of Universal Computer Science, 11 (5). pp. 712-743. ISSN 0948-6968

Carrabs, F., Cerulli, R., Gentili, M. and Parlato, G. (2005) A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds. Inf. Process. Lett., 94 (1). pp. 29-35.

Crowder, R., Wills, G. and Hall, W. (2005) Hypermedia maintenance support applications: Benefits and development costs. Computers in Industry, 56 (7). pp. 681-698.

Gonciari, P. T., Al-Hashimi, B. and Nicolici, N. (2005) Synchronization Overhead in SOC Compressed Test. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 13 (1). pp. 140-152.

Henderson, P., Crouch, S., Walters, R. J. and Ni, Q. (2005) Effects of introducing survival behaviours into automated
negotiators specified in an environmental and behavioural framework.
Journal of Systems and Software, 76 (1). pp. 65-76. ISSN 0164-1212

Hennessy, M., Yoshida, N. and Rathke, J. (2005) safeDpi: a language for controlling mobile code. Acta Informatica, 42 (4). pp. 227-290.

Jafaipanah, M., Al-Hashimi, B. and White, N. (2005) Dynamic sensor compensation using adaptive filter compatible with digital technology. IEEE Proceedings on Circuits, Devices and Systems, 152 (6). pp. 745-751.

Jafaripanah, M., Al-Hashimi, B. and White, N. M. (2005) Application of Analog Adaptive Filters for Dynamic Sensor Compensation. IEEE Transaction On Instrumentation and Measurement, 54 (1). pp. 245-251.

Jafaripanah, M., Al-Hashimi, B. M. and White, N. M. (2005) Dynamic Sensor Compensation Using Analogue Adaptive Filter Compatible with Digital Technology. Accepted for publication in IEE Proc. Circuits, Devices & Systems . (Submitted)

Jeffrey, A. and Rathke, J. (2005) Contextual equivalence for higher-order pi-calculus revisited. Logical Methods in Computer Science, 1 (1).

Jeffrey, A. and Rathke, J. (2005) A fully abstract may testing semantics for concurrent objects. Theoretical Computer Science, 338 (1-3). pp. 17-63.

Lack, S. and Sobocinski, P. (2005) Adhesive and quasiadhesive categories. Theoretical Informatics and Applications, 39 (2). pp. 522-546.

Maharatna, K., Banerjee, S., Grass, E., Krstic, M. and Troya, A. (2005) Modified virtually scaling free adaptive CORDIC rotator algorithm and architecture. IEEE Transactions on Circuits and Ssystems for Video Technology, 15 (11). pp. 1463-1474.

Nitsun, M., Ryan, M., Gilbert, L. and Mason, H. (2005) A Prospective Study of the Effectiveness of Group and Individual Psychotherapy for Women CSA Survivors. Psychology and Psychotherapy, 78 (4). pp. 419-469.

Rosinger, P., Al-Hashimi, B. and Chakrabarty, K. (2005) Thermal-Safe Test Scheduling for Core-Based System-on-a-Chip Integrated Circuits. IEEE Transactions on Computer Aided Design, 25 (11). pp. 2502-2512.

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories. Theoretical Computer Science, 333 (1-2). pp. 297-327.

Satpathy, M., Leuschel, M. and Butler, M. (2005) ProTest: An Automatic Test Environment for B Specifications. Electronic Notes in Theoretical Computer Science, 111 . pp. 113-136. ISSN 1571-0661

Schmitz, M. T., Al-Hashimi, B. M. and Eles, P. (2005) Co-Synthesis of Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities. IEEE Transactions on Computer-Aided Design .

Schmitz T., M., Al-Hashimi, B. M. and Eles, P. (2005) Co-Synthesis of Energy-Efficient Multi-Mode Embedded Systems with Consideration of Mode Execution Probabilities. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, 24 (2). pp. 153-169. ISSN 0278-0070

Shi, D., Ng, G. S., Damper, R. I. and Gunn, S. R. (2005) Radical recognition of handwritten Chinese characters using GA-based kernel active shape modelling. IEE Proceedings: Vision, Image and Signal Processing, 152 (5). pp. 634-638.

Varea, M., Al-Hashimi, B. M., Cortés, L. A., Eles, P. and Peng, Z. (2005) Dual Flow Nets: Modelling the Control/Data-Flow Relation in Embedded Systems. ACM Transactions on Embedded Computing Systems (TECS) . ISSN 1539-9087 (In Press)

Walters, R. J. (2005) Checking of models built using a graphically based formal modelling language. Journal of Systems and Software, 76 (1). pp. 55-64. ISSN 0164-1212

Watkins, E. R. and Nicole, D. A. (2005) Version Control in Online Software Repositories. Proceedings of the 2005 International Conference on Software Engineering Research and Practice, II . pp. 550-556. ISSN 1-932415-49-1

Watkins, E. R. and Nicole, D. A. (2005) Version Control in Online Software Repositories. ACM TechNews, 7 (872).

Wilcock, R., Al-Hasmimi, B. M. and Wilson, P. (2005) Integrated High Bandwidth Wave Elliptic Low-Pass Switched-Current Filter in Digital CMOS Technology. Electronics Letters . (In Press)

Wills, G., Miles-Board, T., Bailey, C., Carr, L., Gee, Q., Hall, W. and Grange, S. (2005) The Dynamic Review Journal: a scholarly archive. New Review of Hypermedia and Multimedia, 11 (1). pp. 69-89. ISSN 13614568

Conference or Workshop Item

Cai, Y., Reddy, S., Pomeranz, I. and Al-Hashimi, B. M. (2005) Battery-aware dynamic voltage scaling in multiprocessor embedded system. In: IEEE ISCAS, May 2005, Japan. (In Press)

Andrei, A., Schmitz, M. T., Eles, P., Peng, Z. and Al-Hashimi, B. M. (2005) Quasi-Static Voltage Scaling for Energy Minimization with Time Constraints. In: Design, Automation and Test Europe Conference (DATE2005), March 2005, Munich, Germany.

Argles, D., Gee, Q. and Wills, G. (2005) Developing a Computing Degree to Encourage Widening Participation. In: The 6th Annual Higher Education Academy Subject Network for Information Computer Science, 30th August - 1st September 2005, York, UK. pp. 135-139.

Argles, D. and Wills, G. (2005) CECIL – A Language for Learning Hardware Design. In: EdMedia--World Conference on Educational Multimedia, Hypermedia & Telecomunications, 28 June - 2 July 2005, Montreal, Canada. pp. 4181-4188.

Banach, R., Poppleton, M., Jeske, C. and Stepney, S. (2005) Retrenching the Purse: Finite Sequence Numbers,
and the Tower Pattern.
In: FM 2005: International Symposium of Formal Methods Europe, 18-22 July 2005, Newcastle, UK. pp. 382-398.

Bruni, R., Butler, M., Ferreira, C., Hoare, T., Melgratti, H. and Montanari, U. (2005) Comparing two approaches to compensable flow composition. In: CONCUR 2005, 23-26 August 2005, San Francisco. (In Press)

Butler, M., Hoare, C. A. R. and Ferreira, C. (2005) A trace semantics for long-running transactions. In: 25 Years of CSP, July 2004, London. pp. 133-150.

Butler, M. and Leuschel, M. (2005) Combining CSP and B for Specification and Property Verification. In: Formal Methods 2005, 18-22 July 2005, Newcastle upon Tyne. pp. 221-236.

Butler, M., Leuschel, M. and Snook, C. (2005) Tools for system validation with B abstract machines. In: ASM 2005: 12th International Workshop on Abstract State Machines, March 2005, Paris. (In Press)

Butler, M. and Ripon, S. (2005) Executable Semantics for Compensating CSP. In: 2nd International Workshop on Web Services and Formal Methods, September 2005, Versailles. 243- 256.

Cai, Y., Schmitz, M. T., Al-Hashimi, B. M. and Reddy, S. M. (2005) Workload-Ahead-Driven Online Energy Minimization Techniques for Battery-Powered Embedded Systems with Time-Constraints. In: IFIP International Conference on Very Large Scale Integration (VLSI-SOC), October, 2005, Australia. (In Press)

Collins, M., Al-Hashimi, B. and Ross, N. (2005) A Programmable Time Measurement Architecture for Embedded Memory Characterization. In: 10th IEEE European Test Symposium (ETS'05), 22-25 May, Tallinn, Estonia. pp. 128-133.

Conole, G., Miles-Board, T., Bailey, C., Carr, L., Gee, Q., Grange, S., Hall, W., Power, G., Woukeu, A. and Wills, G. (2005) Tool Kits for a Dynamic Review Journal. In: EDMEDIA 2005 - World Conference on Education Multimedia, Hypermedia and Telecommunications., June 27- July 2, 2005, Montreal, Canada,.

Crouch, S., Henderson, P. and Walters, R. J. (2005) BUILDING APPLICATIONS ABLE TO COPE WITH
PROBLEMATIC DATA USING A DATAWARP APPROACH.
In: Seventh International Conference on Enterprise Information Systems, May 25-28, 2005, Miami, USA. pp. 411-414.

Ejlali, A., Schmitz, M., Al-Hashimi, B. M., Miremadi, S. G. and Rosinger, P. (2005) Energy Efficient SEU-Tolerance in DVS-Enabled Real-Time Systems through Information Redundancy. In: International Symposium on Low Power Electronics and Design (ISLPED 2005), August 8-10, 2005, San Diego, California, USA. (In Press)

El-Maleh, A., Khursheed, S. S. and M. Sait, S. (2005) Efficient Static Compaction Techniques for Sequential Circuits Based on Reverse Order Restoration and Test Relaxation. In: Asian Test Symposium.

Ferrante, A., Parlato, G., Sorrentino, F. and Ventre, C. (2005) Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents. In: WAOA. pp. 147-160.

Garratt, P. W. and Jam, E. R. (2005) Open Source Planning and Management Tool PPMT. In: ICMS'05 International Conference on Modeling and Simulatio, 22-24 November 2005, Marrakesh Morocco.

Gee, Q., Carr, L., Conole, G., Grange, S., Hall, W. and Wills, G. (2005) Building a Virtual University for Orthopaedics. In: IFIP World Conference on Computers in Education 2005, 4-7 July 2005, Stellenbosch, South Africa.

Gee, Q. H., Wills, G. and Cooke, E. (2005) A first programming language for IT students. In: 6th Annual Conference of the LTSN Centre for ICS, 30 Aug - 1 Sep 2005, York, UK.

Gilbert, L., Sim, Y. W. and Wang, C. (2005) An e-Learning Systems Engineering Methodology. In: The 5th IEEE International Conference on Advanced Learning Technologies, July 5 - 8, 2005, Kaohsiung, Taiwan. pp. 150-154.

Gilbert, L., Sim, Y. W. and Wang, C. (2005) Modelling the Learning Transaction. In: The 5th IEEE International Conference on Advanced Learning Technologies, July 5 - 8, 2005, Kaohsiung, Taiwan. pp. 615-616.

Gilbert, L., Wills, G., Sim, Y. W., Wang, C. and Stenning, M. (2005) e-Learning within a Collaborative Orthopaedic Research Environment (CORE). In: Association for Learning Technology (ALT-C 2005), 6-8 Septem,ber 2005, University of Manchester. pp. 79-80.

Guo, B., Gunn, S. R., Damper, R. I. and Nelson, J. (2005) Adaptive band selection for hyperspectral image fusion using mutual information. In: 8th International Conference on Information Fusion, Philadelphia, PA. pp. 630-637.

Guo, B., Gunn, S. R., Damper, R. I. and Nelson, J. (2005) Hyperspectral image fusion using spectrally weighted kernels. In: 8th International Conference on Information Fusion, Philadelphia, PA. pp. 402-408.

Huggett, C., Maharatna, K. and Paul, K. (2005) On the implementation of 128-pt FFT/IFFT for high-performance WPAN. In: IEEE International Symposium on Circuits and Systems (ISCAS) 2005, Kobe, Japan. pp. 5513-5516.

Jafaripanah, M., Al-Hashimi, B. M. and White, N. M. (2005) Adaptive Sensor Response Correction Using Analog Filter Compatible with Digital Technology. In: IEEE International Symposium on Circuits and Systems ( ISCAS 2005), 23-26 May 2005, Kobe, Japan. (In Press)

Jeffrey, A. and Rathke, J. (2005) Java Jr. : Fully abstract trace semantics for a Core Java Language. In: European Symposium on Programming, part of ETAPS, Edinburgh. pp. 423-438.

Klin, B., Sassone, V. and Sobocinski, P. (2005) Labels from Reductions: Towards a General Theory. In: First International Conference on Algebras and Coalgebras in Computer Science.. pp. 30-50.

Leuschel, M. and Butler, M. (2005) Automatic Refinement Checking for B. In: ICFEM'05.

Maneewatthana, T., Wills, G. and Hall, W. (2005) Adaptive Personal Information Environment based on
the Semantic Web.
In: HT 2005 - Sixteenth ACM Conference on Hypertext and Hypermedia, September 6-9, 2005, Salzburg, Austria.

Maneewatthana, T., Wills, G. and Hall, W. (2005) Adaptive Personal Information Environment based on the Semantic Web. In: HT 2005 - ACM Workshop on Hypertext and Hypermedia, 6-9 September, 2005, Salzburg, Austria.

Merrett, G., Al-Hashimi, B. M., White, N. M. and Harris, N. R. (2005) Information Managed Wireless Sensor Networks with Energy Aware Nodes. In: 2005 NSTI Nanotechnology Conference and Trade Show (NanoTech 2005), 8-12 May 2005, Anaheim, California. pp. 367-370.

Merrett, G. V., Al-Hashimi, B. M., White, N. M. and Harris, N. R. (2005) Resource Aware Sensor Nodes in Wireless Sensor Networks. In: Sensors & their Applications XIII, 6-8 September 2005, Chatham Maritime, Kent. pp. 137-142.

Miles-Board, T., Woukeu, A., Carr, L., Wills, G. and Hall, W. (2005) Bringing the Semantic Web to the Office Desktop. In: 2005 ACM International Symposium on Document Engineering, 2 - 4 November 2005, Bristol, United Kingdom.

Millard, D., Howard, Y., Bailey, C., Davis, H., Gilbert, L., Jeyes, S., Price, J., Sclater, N., Sherratt, R., Tulloch, I., Wills, G. and Young, R. (2005) Mapping the e-Learning Assessment Domain: Concept Maps for Orientation and Navigation. In: e-Learn 2005, 24-28 October, 2005, Vancouver, Canada.

Nicole, D. A. (2005) UNICORE and GRIP: Experiences of Grid Middleware Development. In: 2005 International Conference on Grid Computing and Applications, June 20-23, 2005, Las Vegas, Nevada, USA. pp. 11-17.

Ochoa-Montiel, M. A., Al-Hashimi, B. M. and Kollig, P. (2005) Impact of Multicycled Scheduling on Power-Area Tradeoffs in Behavioural Synthesis. In: 2005 IEEE International Symposium on Circuits and Systems (ISCAS), 23/05/2005 - 26/05/2005, Kobe, Japan. (In Press)

Ogg, S. and Al-Hashimi, B. (2005) Improved Data Compression for Serial Interconnected Network on Chip through Unused Significant Bit Removal. In: 19th International Conference on VLSI Design, 3-7 January 2006, Hyderabad, India. (In Press)

Rezazadeh, A. and Butler, M. (2005) Some Guidelines for Formal Development of Web-based Applications in B-Method. In: 4th International Conference of B and Z Users (ZB 2005), 13-15 April 2005. (In Press)

Rogers, J. D. and Gunn, S. R. (2005) Identifying Feature Relevance using a Random Forest. In: Subspace, Latent Structure and Feature Selection techniques: Statistical and Optimisation perspectives Workshop, Bohinj, Slovenia.

Rosinger, P., Al-Hashimi, B. and Chakrabarty, K. (2005) Rapid generation of thermal-safe test schedules. In: Design Automation and Test in Europe (DATE), 7-11 March 2005, Munich, Germany. (In Press)

Sassone, V. and Sobocinski, P. (2005) A Congruence for Petri Nets. In: International Workshop on Petri Nets and Graph Transformations.. pp. 107-120.

Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans. In: 20th Symposium on Logic in Computer Science, LICS 2005.. pp. 311-320.

Shafik, R. A., Weiss, S. and Rogers, E. T. A. (2005) A DSP-Based Approach to Congestion Control for Multihop Ad Hoc WLANs with BoD Access. In: 2nd IEE/EURASIP Conference on DSP Enabled Radio, September 19-20, University of Southampton. 31/1-31/9.

Sim, Y. W., Wang, C., Carr, L. A., Davis, H. C., Gilbert, L., Grange, S., Millard, D. E. and Wills, G. B. (2005) A Web/Grid Services Approach for a Virtual Research Environment Implementation. In: the Fourth e-Science All Hands Meeting (AHM 2005), 19 September 2005, Nottingham, UK.

Sim, Y. W., Wang, C., Gilbert, L. and Wills, G. B. (2005) Towards a Collaborative Orthopaedic Research Environment. In: the IEEE 1st International Workshop on Service-Oriented Computing: Consequences for Engineering Requirements (SOCCER'05), 30 August 2005, Paris, France.

Snook, C., Poppleton, M. and Johnson, I. (2005) The engineering of generic requirements for failure
management.
In: Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality, 13-14 June 2005, Oporto. pp. 145-160.

Snook, C., Poppleton, M. and Johnson, I. (2005) Towards a methodology for rigorous development of generic requirements patterns. In: Workshop on Rigorous Engineering of Fault Tolerant Systems, 19-07-2005, Newcastle, UK. pp. 17-27.

Tafaj, E., Rosinger, P., Al-Hashimi, B. and Chakrabarty, K. (2005) Improving Thermal-Safe Test Scheduling for Core-Based
Systems-on-Chip Using Shift Frequency Scaling.
In: International Symposium on Defect and Fault Tolerance in VLSI Systems, 3-5 October, Monterey, CA. (In Press)

Walters, R. J. and Crouch, S. (2005) M-grid: Using Ubiquitous Web Technologies to create a
Computational Grid.
In: European Grid Conference (EGC) 2005, 14th - 16th February 2005, Amsterdam.

Wilcock, R., Wilson, P. R. and Al-Hashimi, B. (2005) A Novel Switch-Current Phase Locked Loop. In: ISCAS 2005, May 2005, Kobe, Japan. (In Press)

Wills, G. B., Gilbert, L., Gee, Q., Davis, H. C., Miles-Board, T., Millard, D. E., Carr, L. A., Hall, W. and Grange, S. (2005) A Grid Services Implementation for a Virtual Research Environment. In: 1st International ELeGI Conference on Advanced Technology for Enhanced Learning, 14-16 March 2005, Vico Equense - Napoli (Italy).

Wills, G. B., Gilbert, L., Gee, Q., Davis, H. C., Miles-Board, T., Millard, D. E., Carr, L. A., Hall, W. and Grange, S. (2005) Towards Grid Services for a Virtual Research Environment. In: The 5th IEEE International Conference on Advanced Learning Technologies (ICALT 2005), July 5 - 8, 2005, Kaohsiung, Taiwan. pp. 863-867.

Wilson, P. R., Brown, A. D., Wilcock, R. and Al-Hashimi, B. (2005) Behavioural modeling and simulation of a switch-current phase locked loop. In: IEEE International Behavioral Modeling and Simulation Conference, September 2005, San Jose, USA. (In Press)

Wilson, P. R., Swabey, M., Brown, A. D. and Ross, J. N. (2005) An Intelligent Fuse-box for use with Renewable Energy Sources integrated within a Domestic Environment. In: World renewable Energy Congress, May 2005, Aberdeen, UK.

Wu, D., Al-Hashimi, B. M., Schmitz, M. T. and Eles, P. (2005) Power-Composition Profile Driven Co-Synthesis with Power Management Selection for Dynamic and Leakage Energy Reduction. In: 8th EUROMICRO Conference on Digital System Design, 30 August - 3 September, 2005, Porto, Portugal. (In Press)

Yadav, D. and Butler, M. (2005) Application of Event B to Global Causal Ordering for Fault Tolerant Transactions. In: Workshop on Rigorous Engineering of Fault Tolerant Systems (REFT2005), 18-22, July 2005, Newcastle upon Tyne. pp. 93-102.

Yang, J., Cirstea, C. and Henderson, P. (2005) Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition. In: OnTheMove Workshops, Nov 2005, Cyprus. pp. 39-48. (In Press)

Yang, J., Cirstea, C. and Henderson, P. (2005) An Operational Semantics for DFM, a Formal Notation for Modeling Asynchronous Web Services. In: The 5th International Conference on Quality Software (QSIC 2005), Sep 2005, Melbourne, Australia. pp. 446-451.

Book

Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E. (2005) Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). Technical Report Series, CS-TR- University of Newcastle upon Tyne, School of Computing Science.

Ciaffaglione, A., Hennessy, M. and Rathke, J. (2005) Proof methodologies for behavioural equivalence in distributed pi-calculus. Lecture Notes in Computer Science 3731, Proc. Springer-Verlag.

Jeffrey, A. and Rathke, J. (2005) Full abstraction for Polymorphic Pi-Calculus. Lecture Notes in Computer Science, Proc. Springer-Verlag.

Book Section

Lo Presti, S., Butler, M., Leuschel, M. and Booth, C. (2005) A Trust Analysis Methodology for Pervasive Computing Systems. In: Trusting Agents for trusting Electronic Societies, LNCS Volume 3577, Springer.

Technical Report

Ciaffaglione, A., Hennessy, M. and Rathke, J. (2005) Proof methodologies for behavioural equivalence in distributed pi-calculus. Technical Report Computer Science Report 03-2005, Informatics, University of Sussex.

Lo Presti, S. and Butler, M. (2005) Literature Survey on Trust. Technical Report , School of Electronics and Computer Science, University of Southampton. (Unpublished)

Sim, Y. W., Wang, C., Gilbert, L. and Wills, G. B. (2005) An Overview of Service-Oriented Architecture. Technical Report ECSTR-IAM05-004, Electronics and Computer Science, University of Southampton.

Sim, Y. W., Wang, C., Gilbert, L. and Wills, G. B. (2005) User Requirement Study for a Virtual Research Environment. Technical Report ECSTR-IAM05-003, Electronics and Computer Science, University of Southampton.

Stenning, M., Grange, S., Sim, Y. W., Wang, C., Gilbert, L. and Wills, G. (2005) CORE User Requirement Study. Technical Report ECSTR-IAM05-007, Electronics and Computer Science, University of Southampton.

Wang, C., Sim, Y. W., Gilbert, L. and Wills, G. B. (2005) Integrating Service Oriented Architecture with a Virtual Research Environment. Technical Report ECSTR-IAM05-002, School of Electronics and Computer Science, University of Southampton.

Wills, G. B., Gilbert, L., Sim, Y. W., Wang, C. and Carr, L. (2005) Virtual Research Environments: A Literature Review. Technical Report ECSTR-IAM05-001, Electronics and Computer Science, University of Southampton.

Thesis

Shafik, R. A. (2005) Congestion Control of Ad Hoc Wireless LANs: A Control-theoretic paradigm to digital filter based solution. Masters thesis, University of Southampton.

This list was generated on Fri Dec 19 00:56:01 2014 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 http://eprints.ecs.soton.ac.uk/cgi/oai2

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