Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2011
|Up a level|
Acharyya, Amit, Maharatna, Koushik and Al-Hashimi, Bashir (2011) Algorithm and architecture for N-D vector cross-product computation. IEEE Transactions on Signal Processing, 59, (2), 812-826. (doi:10.1109/TSP.2010.2090523).
Acharyya, Amit, Maharatna, Koushik and Al-Hashimi, Bashir (2011) Predictive Algorithm Based Low Complexity 2D FastICA. At UK Electronics Forum 2011, University of Manchester, Manchester, UK, 04 - 05 Jul 2011. (Submitted).
Acharyya, Amit, Maharatna, Koushik, Al-Hashimi, Bashir and Reeve, Jeff (2011) Co-ordinate Rotation based Low Complexity N-D FastICA Algorithm and Architecture. IEEE Transactions on Signal Processing
Acharyya, Amit, Maharatna, Koushik, Al-Hashimi, Bashir and Tudugalle, Hasitha (2011) Simplified Logic Design Methodology for Fuzzy Membership Function based Robust Detection of Maternal Modulus Maxima Location : a Low Complexity Fetal ECG Extraction Architecture for Mobile Health Monitoring Systems. At IEEE International Symposium on Circuits and Systems, Rio de Janeiro, Brazil, 15 - 18 May 2011. IEEE.
Ahmadi, Arash, Mangieri, Eduardo, Maharatna, Koushik, Dasmahapatra, Srinandan and Zwolinski, Mark (2011) On the VLSI implementation of adaptive-frequency hopf oscillator. IEEE Transactions on Circuits and Systems I Regular Papers, 58, (7), 1076-1088. (doi:10.1109/TCSI.2010.2092070).
Anderson, Gabrielle (2011) Behavioural Properties and Dynamic Software Update for Concurrent Programs, Thesis Progress Report.
Apampa, Kikelomo Maria , Wills, Gary and Argles, David (2011) Towards a blob-based presence verification system in summative e-assessments. International Journal of e-Assessment, 1, (1)
Asnawi, Ani Liza, Gravell, Andrew and Wills, Gary (2011) Empirical Investigation on Agile Methods Usage: Issues Identified from Early Adopters in Malaysia. In, XP2011, 12th International conference on Agile Software Development,, Madrid , Spain, 10 - 13 May 2011. Springer-Verlag Berlin Heidelberg 2011, 192-207.
Atig, Mohamed Faouzi, Bouajjani, Ahmed and Parlato, Gennaro (2011) Getting rid of store-buffers in TSO analysis. In, 23rd International Conference on Computer Aided Verification (CAV 2011), Snowbird, US, 14 - 20 Jul 2011. 16pp, 99-115. (doi:10.1007/978-3-642-22110-1_9).
Bacigalupo, David A. , van Hemert, Jano , Chen, Xiaoyu, Usmani, Asif , Chester, Adam P. , He, Ligang , Dillenberger, Donna N. , Wills, Gary, Gilbert, Lester and Jarvis, Stephen A. (2011) Managing Dynamic Enterprise and Urgent Workloads on Clouds Using Layered Queuing and Historical Performance Models. Simulation Modelling Practice and Theory , 19, (6), 1479-1495.
Barreto, Raimundo, Cordeiro, Lucas and Fischer, Bernd (2011) Verifying Embedded C Software with Timing Constraints using an Untimed Bounded Model Checker. At Symposium on Computing System Engineering, Florianópolis, Santa Catarina, Brazil, 07 - 11 Nov 2011.
Barreto, Raimundo, Cordeiro, Lucas and Fischer, Bernd (2011) Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker. (Submitted)
Bouajjani, Ahmed, Emmi, Michael and Parlato, Gennaro (2011) On Sequentializing Concurrent Programs. In, SAS, Venice , Italy, 14 - 16 Sep 2011. Springer.
Butler, Michael and Schulte, Wolfram (2011) FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Springer
Caldas, Ruiter, Barreto, Raimundo, Cordeiro, Lucas and Campos, Sérgio (2011) A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems. In, IADIS Applied Computing Conference
Carrabs, Francesco, Cerulli, Raffaele, Gentili, Monica and Parlato, Gennaro (2011) A tabu search heuristic based on k-diamonds for the weighted feedback vertex set problem. In, Network Optimization: 5th International Conference, (INOC) , Hamburg, Germany, 13 - 16 Jun 2001. Springer.
Chang, Victor (2011) Cloud Computing: Tsunami and seismic simulations to study impacts to Japan. At United Nations World Summit Information Society, Geneva, Switzerland, 16 - 20 May 2011.
Chang, Victor (2011) Simulations and Modelling in Cloud Computing: Contributions offered by Organisational Sustainability and Enterprise Portability for Industry and Academia. At Complex Science, Winchester, UK, 07 Aug 2011.
Chang, Victor (2011) A thorough investigation of Cloud Computing: Sustainability Modelling and Enterprise Portability for Industry and Academia. At "Set for Britain" 2011, The Parliament, UK,
Chang, Victor, De Roure, David, Walters, Robert John and Wills, Gary (2011) Organisational Sustainability Modelling for Return on Investment: Case Studies presented by a National Health Service (NHS) Trust UK. Journal of Computing and Information Technology, 19, (3)
Chang, Victor, De Roure, David, Wills, Gary and Walters, Robert (2011) Case Studies and Organisational Sustainability Modelling presented by Cloud Computing Business Framework. International Journal of Web Services Research, 8, (3), 26-53.
Chang, Victor, Li, Chung-Sheng, De Roure, David, Wills, Gary, Walters, Robert and Chee, Clinton (2011) The financial clouds review. International Journal of Cloud Applications and Computing, 1, (2), 41-63. (doi:10.4018/978-1-4666-0879-5.ch5.3).
Chang, Victor, Wills, Gary and Walters, Robert (2011) Towards Business Integration as a Service 2.0. In, IEEE International Conference on e-Business Engineering, The 3rd International Workshop on Cloud Services - Platform Accelerating e-Business , Beijing, China, 19 - 21 Oct 2011.
Chen, Wen-Pin , Millard, David E. and Wills, Gary B. (2011) Using Scrutable Learning Models to Support Personal learning Objectives on Mobile Devices. In, The PLE Conference 2011, Southampton, UK, 11 - 13 Jul 2011.
Chen-Wilson, Lisha, Gilbert, Lester, Wills, Gary, Gravell, Andrew and Argles, David (2011) A User-Centric Approach for Secured eDocument Transmission: Digital Signing Practical Issues and the eCert Solution. International Journal for Information Security Research (IJISR), 1, (3)
Chen-Wilson, Lisha, Gravell, Andrew and Argles, David (2011) Giving You back Control of Your Data: Digital Signing Practical Issues and the eCert Solution. In, The World Congress on Internet Security (WorldCIS-2011), London, UK, 21 - 23 Feb 2011.
Chen-Wilson, Lisha, Wang, Xin, Wills, Gary, Argles, David and Shoniregun, Charles (2011) Healthcare Data Management Issues and the eCert Solution. In, International Conference on Information Society (i-Society 2011), London, UK, 27 - 29 Jun 2011.
Cirstea, Corina (2011) Maximal traces and path-based coalgebraic temporal logics. [in special issue: CMCS Tenth Anniversary Meeting] Theoretical Computer Science, 412, (38), 5025-5042. (doi:10.1016/j.tcs.2011.04.025).
Cirstea, Corina (2011) Model checking linear coalgebraic temporal logics: an automata-theoretic approach. In, 2011 International Conference on Algebra and Coalgebra in Computer Science Springer, 130-144. (doi:10.1007/978-3-642-22944-2_10).
Cordeiro, Lucas and Fischer, Bernd (2011) Verifying multi-threaded software using SMT-based context-bounded model checking. In, ICSE '11. Proceedings of the 33rd International Conference on Software Engineering, Honolulu, US, 21 - 28 May 2011. , 331-340. (doi:10.1145/1985793.1985839).
Cordeiro, Lucas and Fischer, Bernd (2011) Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking. At International Conference on Software Engineering, Waikiki, Honolulu, Hawaii, 21 - 28 May 2011.
De Jager, Dirk, Wood, Alex L., Merrett, Geoff V., Al-Hashimi, Bashir M., O'Hara, Kieron, Shadbolt, Nigel R. and Hall, Wendy (2011) A low-power, distributed, pervasive healthcare system for supporting memory. In, 1st ACM MobiHoc Workshop on Pervasive Wireless Healthcare (MobileHealth 2011), Paris, France,
Edmunds, Andrew and Butler, Michael (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code. In, PLACES 2011, Saarbrucken, Germany,
Edmunds, Andrew, Rezazadeh, Abdolbaghi and Butler, Michael (2011) From Event-B models to code: sensing, actuating, and the environment. At SBMF2011, Sao Paulo, BR, 26 - 28 Sep 2011. 6pp.
Elizabeth, Hart E.E, Andras, Sobester,A, Kamal, Djidjeli, Marc, Molinari,M, Ken, Thomas,K.S. and Simon, Cox, S.J. (2011) A geometry optimization framework for photonic crystal design. Photonics and Nanostructures - Fundamentals and Applications
Fadhel, Nawfal, Argles, David and Wills, Gary (2011) Transparent authentication in e-learning. In, International Conference on Information Society (i-Society), London, GB, 27 - 29 Jun 2011. , 336 -342.
Fadhel, Nawfal, Wills, Gary and Argles, David (2011) Transparent authentication in E-learning. In, International Conference on Information Society (i-Society), 2011, London, GB, 27 - 29 Jun 2011. 6pp, 336-342.
Francalanza, Adrian, Rathke, Julian and Sassone, Vladimiro (2011) Permission-based separation logic for message-passing concurrency. Logical Methods in Computer Science, 7, (3), 1-47. (doi:10.2168/LMCS-7(3:7)2011).
Giaffreda, Daniele, Omana, Martin, Rossi, Daniele and Metra, Cecilia (2011) Model for thermal behavior of shaded PV cells under hot-spot condition. In, IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, Vancouver, CA, 03 - 05 Oct 2011. , 252-258. (doi:10.1109/DFT.2011.47).
Gilbert, Lester, Whitelock, Denise and Gale, Veronica (2011) Synthesis report on assessment and feedback with technology enhancement.
Gondal, Ali (2011) Capability and potential for formal feature-oriented reuse in Event-B. (Submitted)
Gondal, Ali, Poppleton, Mike and Butler, Michael (2011) Composing Event-B Specifications - Case-Study Experience. In, 10th International Conference on Software Composition, Zurich , Switzerland, 30 Jun - 01 Jul 2011. Springer, 100-115.
Grange, Simon (2011) Current Issues and Regulations in Tendon Regeneration and Musculoskeletal Repair with Mesenchymal Stem Cells. CURRENT STEM CELL RESEARCH AND THERAPY, 3
Hallerstede, Stefan and Snook, Colin (2011) Refining Nodes and Edges of State Machines. In, ICFEM 2011: 13th International Conference on Formal Engineering Methods, Durham, United Kingdom, 26 - 28 Oct 2011.
Hoang, Thai Son, Illianov, Alexei, Silva, Renato and Wei, Wei (2011) Monitor and Update Master Data Case Studies.
Huang, Hui, Merrett, Geoff, Metcalf, Cheryl and White, Neil (2011) A Feasibility Study on Body-Worn Inertial Energy Harvesting during Walking and Running. At Energy Harvesting 2011, IET London, Savoy Place, London , UK,
Huang, Hui, Merrett, Geoff and White, Neil (2011) Human-powered inertial energy harvesters: the effect of orientation, location and activity on obtainable power. In, Eurosensors XXV, Athens, Greece, 04 - 07 Sep 2011. Elsevier Procedia Engineering.
Ibrahim, Roziana (2011) A conceptual framework for supporting gender inclusivity in games. University of Southampton, School of Electronics and Computer Science, Doctoral Thesis , 180pp.
Ibrahim, Roziana (2011) Games for Change.
Ibrahim, Roziana (2011) Gender Inclusivity in Games: Towards Reliability and Construct Validity of the Gender Inclusivity Rating Scale (GIRS). At th European Conference on Games Based Learning (ECGBL 2011), Athens, Greece, 20 - 21 Oct 2011. (Submitted).
Ibrahim, Roziana (2011) Gender Issues in Games.
Ibrahim, Roziana (2011) Gender-Inclusivity Framework (GIF): A Conceptual Framework for Supporting Gender-Inclusivity in Games. At 3rd International Conference on Education and New Learning Technologies, EDULEARN11, Barcelona, Spain, 04 - 06 Jul 2011. (Submitted).
Ibrahim, Roziana, Wills, Gary and Gilbert, Lester (2011) DEVELOPMENT OF A CONCEPTUAL FRAMEWORK FOR SUPPORTNG GENDER INCLUSIVITY IN GAMES. In, IADIS International Conference Game and Entertainment Technologies 2011 , Rome, Italy, 22 - 24 Jul 2011. (Submitted).
Ibrahim, Roziana, Wills, Gary and Gilbert, Lester (2011) GENDER INCLUSIVITY FRAMEWORK (GIF): INTER-RATER AGREEMENT TOWARDS THE COMPONENTS OF GENDER INCLUSIVITY IN GAMES. In, IADIS International Conference Game and Entertainment Technologies 2011 , Rome, Italy, 22 - 24 Jul 2011. (Submitted).
Jagadeesan, Radha, Pitcher, Corin, Rathke, Julian and Riely, James (2011) Local memory via layout randomization. In, IEEE 24th Computer Security Foundations Symposium (CSF), Cernay-la-Ville, FR, 27 - 29 Jun 2011. IEEE Computer Society Press, 161-174. (doi:10.1109/CSF.2011.18).
Jeffrey, Alan and Rathke, Julian (2011) The Lax Braided Structure of Streaming I/O. In, Annual Conference of the European Association for Computer Science Logic, Bergen, Norway, 12 - 15 Sep 2011. LIPIcs, Leibniz International Proceedings in Informatics.
Jones, Gareth, Lovell, Chris, Morgan, Hywel and Zauner, Klaus-Peter (2011) Organising Chemical Reaction Networks in Space and Time with Microfluidics. International Journal of Nanotechnology and Molecular Computation (IJNMC), 3, (1), 35-56.
Kavousianos, X., Tenentes, V., Chakrabarty, K. and Kalligeros, E. (2011) Defect-oriented LFSR reseeding to target unmodeled defects using stuck-at test sets. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 19, (12), 2330-2335. (doi:10.1109/TVLSI.2010.2079961).
Khursheed, Syed Saqib, Yang, Sheng, Al-Hashimi, Bashir, Huang, Xiaoyu and Flynn, David (2011) Improved DFT for Testing Power Switches. In, 16th IEEE European Test Symposium (ETS 2011), Trondheim, Norway, 23 - 27 May 2011.
Li, Yunjia, Wald, Mike and Wills, Gary (2011) Interlinking Multimedia Annotations. At Web Science 2011, Koblenz, Germany, 14 - 18 Jun 2011.
Lovell, Chris, Jones, Gareth, Gunn, Steve and Zauner, Klaus-Peter (2011) Autonomous Experimentation: Active Learning for Enzyme Response Characterisation. JMLR: Workshop and Conference Proceedings, 16, 141-155.
Lovell, Chris, Zauner, Klaus-Peter and Gunn, Steve (2011) Exploration and Exploitation in an Artificial Experimenter. In, ICML Workshop on On-line Trading of Exploration and Exploitation 2
Madhusudan, P. and Parlato, Gennaro (2011) The tree width of auxiliary storage. In, POPL '11. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin, US, 26 - 28 Jan 2011. ACM, 283-294. (doi:10.1145/1925844.1926419).
Madhusudan, P., Parlato, Gennaro and Qiu, Xiaokang (2011) Decidable logics combining heap structures and data. In, POPL '11. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Austin, US, 26 - 28 Jan 2011. ACM, 611-622. (doi:10.1145/1925844.1926455).
Mahmoodi, Sasan and Gunn, Steve (2011) Scale Space Smoothing, Image Feature Extraction and Bessel Filters. At Lecture Notes in Computer Science-17th Scandinavian Conference on Image Analysis, Ystad, Sweden, 23 - 27 May 2011. Springer-Verlag, 625-634.
Mahmoodi, Sasan and Gunn, Steve (2011) Snake based Unsupervised Texture Segmentation using Gaussian Markov Random Field Models. At 18th IEEE International Conference on Image Processing , Brussels, Belgium, 11 - 14 Sep 2011. IEEE.
Mazomenos, Evangelos, Acharyya, Amit and Maharatna, Koushik (2011) Clinical Feature Extraction for Mobile ECG. At 8th International Conference on Wearable Micro and Nano Technologies for Personalised Health (pHealth 2011), Lyon, France, 29 Jun - 01 Jul 2011.
Merrett, Geoff V, Metcalf, Cheryl D, Zheng, Deyi, Cunningham, Sarah, Barrow, Stuart and Demain, Sara H (2011) Design and Qualitative Evaluation of Tactile Devices for Stroke Rehabilitation. At IET Assisted Living 2011, London, UK, Institution of Engineering and Technology (IET).
Merrett, Geoff V. (2011) Wireless Sensor Networks for Process Monitoring: The Rise of Remote Control (Editorial). Energy and Environmental Management, 2011, (Summer), 43-43.
Mistry, Jatin, Al-Hashimi, Bashir, Flynn, David and Hill, Stephen (2011) Sub-Clock Power-Gating Technique for Minimising Leakage Power During Active Mode. In, Design, Automation and Test in Europe, Grenoble, France, 14 - 18 Mar 2011. ACM/IEEE.
Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software. In, 9th International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay, 18 - 14 Nov 2011. , 302-317.
Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-bounded model checking of LTL properties for ANSI-C software. In, Software Engineering and Formal Methods. 9th International Conference, SEFM 2011 Berlin, DE, Springer, 302-317. (Lecture Notes in Computer Science: Programming and Software Engineering, 7041). (doi:10.1007/978-3-642-24690-6_21).
Nitchot, Athitaya, Gilbert, Lester and Wills, Gary (2011) Competence-based System for Recommending Study Materials from the Web: Design and Experiment. In, ED-MEDIA 2011-World Conference on Educational Multimedia, Hypermedia & Telecommunications, Lisbon, Portugal, 27 Jun - 01 Jul 2011.
Nitchot, Athitaya, Gilbert, Lester and Wills, Gary (2011) Designing a Competence Structure to Generate Learning Paths and Assessment Questions for Self-Study. At 2011 International Computer Assisted Assessment (CAA) Conference
Nitchot, Athitaya, Gilbert, Lester and Wills, Gary (2011) Designing XML Schema of a Competence Structure from Course Intended Learning Outcomes. In, The 14th IASTED International Conference on Computers and Advanced Technology in Education, Cambridge, UK, 11 - 13 Jul 2011.
P Iskandar, Yulita Hanum, Gilbert, Lester and Wills, Gary (2011) Machine-processable Representation of Training Outcomes. IEEE Learning Technology Newsletter, 13, (1)
Purwandari, Betty, Hall, Wendy and Wills, Gary (2011) Methodology for Impact Analysis of the Mobile Web in Developing Countries: a Pilot Study in Nairobi, Kenya. At ACM Web Science Conference 2011, Koblenz, Germany, 14 - 17 Jun 2011.
Rebenich, Till, Gravell, Andrew and Tiropanis, Thanassis (2011) Evaluating a Web-Based Information System for Managing Master of Science Summer Projects. In, ITiCSE 2011, 16th Annual Conference on Innovation and Technology in Computer Science Education, Darmstadt, Germany, 27 - 29 Jun 2011. ACM, 123-127.
Recio, A (2011) Exploring the Impact of using Stories and ICT to teach English to 3- and 4- year-old Spanish children: Motivation and Development. In, EDULearn International Conference on Education and New Learning Technologies, Barcelona, Spain, 04 - 06 Jul 2011.
Reed, Nicholas , Scanlan, Jim , Wills, Gary and Halliday, Steven T. (2011) Knowledge use in an advanced manufacturing environment. Design Studies, 32, (3), 292-312.
Rossi, Daniele, Omana, Martin, Metra, Cecilia and Paccagnella, Alessandro (2011) Impact of aging phenomena on soft error susceptibility. In, IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, Vancouver, CA, 03 - 05 Oct 2011. , 18-24. (doi:10.1109/DFT.2011.45).
Rossi, Daniele, Timoncini, Nicola, Spica, Michael and Metra, Cecilia (2011) Error correcting code analysis for cache memory high reliability and performance. In, IEEE/ACM Design, Automation and Test in Europe (DATE), Grenoble, FR, 14 - 18 Mar 2011. , 1-6. (doi:10.1109/DATE.2011.5763257).
Salehi Fathabadi, Asieh, Rezazadeh, Abdolbaghi and Butler, Michael (2011) Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. In, THIRD NASA FORMAL METHODS SYMPOSIUM, Pasadena, California, 18 - 20 Apr 2011.
Schiano di Zenise, Michele, Vitaletti, Andrea and Argles, David (2011) A User-Centric Approach to eCertificate for Electronic Identities (eIDs) Management in Mobile Environment. In, WorldCIS-2011, London, 21 - 23 Feb 2011. , 212-217.
Schiano di Zenise, Michele, Vitaletti, Andrea , Chen-Wilson, Lisha, Gilbert, Lester and Argles, David (2011) eIDeCert: A User-Centric Solution for Mobile Identification. International Journal for Infonomics (IJI), 4, (1)
Shafik, Rishad and Al-Hashimi, Bashir (2011) Reliability Analysis of On-Chip Communication Architectures: An MPEG-2 Video Decoder Case Study. Embedded Hardware Design (MICPRO), 35, (2), 285-296.
Silva, Renato (2011) Application of Decomposition and Generic Instantiation.
Silva, Renato (2011) Towards the Composition of Specifications in Event-B. In, B 2011, Limerick, Ireland,
Silva, Renato, Pascal, Carine, Hoang, Thai Son and Butler, Michael (2011) Decomposition Tool for Event-B. Software: Practice and Experience, 41, (2), 199-208.
Snook, Colin (2011) Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines. In, B2011, Limerick,
Snook, Colin, Savicks, Vitaly and Butler, Michael (2011) Verification of UML models by translation to UML-B. Lecture Notes in Computer Science, 6957, 251.
Srivastava, Saket, Melouki, Aissa and Al-Hashimi, Bashir (2011) Tagged repair techniques for defect tolerance in hybrid nano/CMOS architecture. IEEE Transactions on Nanotechnology, 10, (3), 424-432. (doi:10.1109/TNANO.2010.2045393).
Tangworakitthaworn, Preecha, Gilbert, Lester and Wills, Gary (2011) Towards a Matching Strategy of Constructivism and Instructionism. In, The 19th International Conference on Computers in Education, ICCE 2011, Chiang Mai, Thailand, 28 Nov - 02 Dec 2011.
Tenentes, Vasileios and Kavousianos, X. (2011) Test-data volume and scan-power reduction with low ATE interface for multi-core SoCs. In, IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2011 , San Jose, US, 07 - 10 Nov 2011. , 747-754. (doi:10.1109/ICCAD.2011.6105413).
Tenentes, Vasileios and Kavousianos, Xrysovalantis (2011) Low power test-compression for high test-quality and low test-data volume. In, 20th Asian Test Symposium (ATS), New Delhi, IN, 20 - 23 Nov 2011. 6pp, 46-53. (doi:10.1109/ATS.2011.75).
Tobias, Heindel and Pawel, Sobocinski (2011) Being Van Kampen is a universal property. Logical Methods in Computer Science, 7, (1)
Turnball, Niruwan (2011) The challenge of e-learning for healthcare professionals: an exploration in rural Thailand. University of Southampton, Faculty of Physical and Applied Sciences, Doctoral Thesis , 239pp.
Turnbull, Niruwan, Wills, Gary and Gobbi, Mary (2011) The Challenge of Four-Status Model of eLearning: Principles Toward a New Understanding for Healthcare Professionals. In, International eLearning Conference (IEC2011), Bangkok, Thailand, 13 - 14 Jan 2011.
Wang, Leran, Kazmierski, Tom, Al-Hashimi, Bashir, Weddell, Alex, Merrett, Geoff and Ayala Garcia, Ivo (2011) Accelerated simulation of tunable vibration energy harvesting systems using a linearised state-space technique. In, Design, Test and Automation in Europe (DATE 2011), Grenoble, France, 14 - 18 Mar 2011.
Weddell, Alex, Merrett, Geoff and Al-Hashimi, Bashir (2011) Ultra low-power photovoltaic MPPT technique for indoor and outdoor wireless sensor nodes. At Design, Automation and Test in Europe (DATE), Grenoble, France, 14 - 18 Mar 2011. 4pp.
Weddell, Alex, Merrett, Geoff V., Kazmierski, Tom and Al-Hashimi, Bashir (2011) Accurate supercapacitor modeling for energy-harvesting wireless sensor nodes. IEEE Transactions on Circuits and Systems II: Express Briefs, 58, (12), 911-915. (doi:10.1109/TCSII.2011.2172712).
Wood, Alex L. (2011) DejaView: energy-efficient, adaptive, and context-aware sensing for a wearable memory aid system. At ESS group internal poster session, ECS, Southampton,
Xun, Li, Shiqi, Tang, Merrett, Geoff and White, Neil (2011) Energy-Efficient Data Acquisition in Wireless Sensor Networks through Spatial Correlation. In, IEEE Int'l Conf. Mechatronics and Automation (ICMA 2011), Beijing, China, 07 - 10 Aug 2011. IEEE, 1068-1073.
Yang, Sheng, Khursheed, Syed Saqib, Al-Hashimi, Bashir, Flynn, David and Idgunji, Sachin (2011) Reliable state retention-based embedded processors through monitoring and recovery. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 30, (12), 1773-1785 .
Yeganefard, Sanaz and Butler, Michael (2011) Structuring functional requirements of control systems to facilitate refinement-based formalisation. [in special issue: Automated Verification of Critical Systems 2011] Electronic Communications of the EASST, 46
Yusoff, Amri, Wills, Gary, Crowder, Richard and Gilbert, Lester (2011) Pedagogy and Game Attributes for Teaching English as a Second Language. In, Universiti Malaysia Terengganu 10th International Annual Symposium (UMTAS 2011), Kuala Terengganu, Terengganu , Malaysia, 11 - 13 Jul 2011. (Submitted).
Zhang, Pei, Recio, Alejandra, Wills, Gary, Smitham, Peter, Gilbert, Lester, Santer, Mike, Kanani, Michael and Grange, Simon (2011) Catch Before a Fall – an iPad Application for Osteoporosis Risk Assessment. In, IADIS e-Society, Avila, Spain, 10 - 13 Mar 2011.
Zhao, Yi, Khursheed, Saqib and Al-Hashimi, Bashir (2011) Cost-Effective TSV Grouping for Yield Improvement of 3D-ICs. At ATS 2011, (Submitted).
Zhong, Shida, Khursheed, Saqib and Al-Hashimi, Bashir (2011) A Fast and Accurate Process Variation-aware Modeling Technique for Resistive Bridge Defects. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (Submitted).
Zhong, Shida, Khursheed, Saqib, Al-Hashimi, Bashir, Reddy, Sudhakar and Chakrabarty, Krishnendu (2011) Analysis of Resistive Bridge Defect Delay Behavior in the Presence of Process Variation. At Asian Test Symposium 2011, New Delhi, India, 21 - 23 Nov 2011.