Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2009
|Up a level|
Acharyya, Amit, Maharatna, Koushik and Al-Hashimi, Bashir (2009) HARDWARE REDUCTION METHODOLOGY FOR 2-DIMENSIONAL KURTOTIC FASTICA BASED ON ALGORITHMIC ANALYSIS AND ARCHITECTURAL SYMMETRY. At IEEE Workshop on Signal Processing Systems, Tampere , Finland, 07 - 09 Oct 2009. IEEE.
Acharyya, Amit, Maharatna, Koushik, Al-Hashimi, Bashir and Gunn, Steve (2009) Memory Reduction Methodology for Distributed-Arithmetic-Based DWT/IDWT Exploiting Data Symmetry. IEEE Transactions on Circuits and Systems- II: Express Briefs, 56, (4), 285-289.
Acharyya, Amit, Maharatna, Koushik, Sun, Jinhong, Al-Hashimi, Bashir and Gunn, Steve (2009) Hardware Efficient Fixed-Point VLSI Architecture for 2D Kurtotic FastICA. At 19th European Conference on Circuit Theory and Design , Antalya, Turkey, 23 - 27 Aug 2009. , 165-168.
Ahmadi, Arash, Mangieri, Eduardo, Maharatna, Koushik and Zwolinski, Mark (2009) Physical Realizable Circuit Structure For Adaptive Frequency Hopf Oscillator. In, NEWCAS-TAISA'09, Toulouse, France, 28 Jun - 01 Jul 2009. IEEE.
Apampa, K.M, Wills, G.B and Argles, D (2009) Towards Security Goals in Summative E-Assessment Security. At ICITST-2009, London, UK, 09 - 12 Nov 2009.
Apampa, K.M, Wills, G.B and Argles, D (2009) Towards Security Requirements in Online Summative Assessments. At E-Learn 2009, Vancouver, BC , Canada, 26 - 30 Oct 2009.
Baldan, Paolo, Corradini, Andrea, Heindel, Tobias, K\"onig, Barbara and Soboci\'nski, Paweł (2009) Unfolding grammars in adhesive categories. In, Algebra and Coalgebra in Computer Science (CALCO `09), Udine, Italy, 07 - 10 Sep 2009. Springer, 350-366.
Ball, Elisabeth and Butler, Michael (2009) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction. In, Methods, Models and Tools for Fault Tolerance LNCS 5454. , Springer.
Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2009) Deriving Safety Cases from Automatically Constructed Proofs. In, 4th System Safety Conference 2009, London, UK, 26 - 28 Oct 2009.
Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2009) Deriving Safety Cases from Machine-Generated Proofs. In, Workshop on Proof-Carrying Code and Software Certification (PCC'09), Los Angeles, California, USA,
Butler, Michael (2009) Decomposition Structures for Event-B. In, Integrated Formal Methods iFM2009, Springer, LNCS 5423 Springer.
Butler, Michael (2009) Incremental Design of Distributed Systems with Event-B. In, Broy, Manfred, Sitou, Wassiou and Hoare, Tony (eds.) Engineering Methods and Tools for Software Safety and Security - Marktoberdorf Summer School 2008. , IOS Press, 131-160.
Butler, Michael, Jones, Cliff B, Romanovsky, Alexander and Troubitsyna, Elena (2009) Methods, Models and Tools for Fault Tolerance, Springer (LNCS, 5454).
Carbone, Marco, Sobocinski, Pawel and Valencia, Frank D. (2009) Foreword: Festschrift for Mogens Nielsen's 60th birthday. [in special issue: Festschrift for Mogens Nielsen’s 60th Birthday] Theoretical Computer Science, 410, (41), 4001-4005. (doi:10.1016/j.tcs.2009.06.007).
Chang, Victor (2009) Cloud Storage Framework – An Integrated Technical Approach and Prototype for Breast Cancer. At All Hands Meeting 2009, Oxford, 07 - 09 Dec 2009.
Chen-Wilson, Lisha, Blowers, Rob, Gravell, Andrew and Argles, David (2009) Towards an secured e-Certificate System for use in e-Portfolios. In, International conference on Multimedia and Information and Communucation Technologies in Education (m-ICTE 2009), Lisbon, Portugal, 22 - 24 Apr 2009.
Cherrett, Tom, Gates, James C, John, Pearl, Holdaway-Salmon, Laura, Price, Joseph, Wills, Gary B and Dror, Itiel E (2009) Making laser safety training more cognitively effective: making training videos interactive and adaptive. In, International Laser Safety Conference (ILSC 2009), Reno 9, USA, 23 - 26 Mar 2009.
Cirstea, Corina, Kupke, Clemens and Pattinson, Dirk (2009) EXPTIME Tableaux for the Coalgebraic Mu-Calculus. In, Computer Science Logic 2009 Springer, 179-193.
Colley, John and Butler, Michael (2009) On Proving with Event-B that a Pipelined Processor Model Implements its ISA Specification. In, Dagstuhl Seminar on Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl,
Cordeiro, Lucas, Fischer, Bernd, Chen, Huan and Marques-Silva, Joao (2009) Formal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. At 6th IEEE International Conference on Embedded Systems and Software (ICESS-09)
Cordeiro, Lucas, Fischer, Bernd, Chen, Huan and Marques-Silva, Joao (2009) Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. In, The 6th International Conference on Embedded Software and Systems, HangZhou, Zhejiang, China, 25 - 27 May 2009.
Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking.
Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software.
Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. At 24th IEEE/ACM International Conference on Automated Software Engineering, , Auckland, New Zealand, 16 - 20 Nov 2009.
Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. At 24th IEEE/ACM International Conference on Automated Software Engineering, , Auckland, New Zealand, 16 - 20 Nov 2009.
Crowder, RM, Wong, S, Shadbolt, N and Wills, G (2009) KNOWLEDGE-BASED REPOSITORY TO SUPPORT ENGINEERING DESIGN. In, DETC 2008: proceedings of the ASME international design engineering technical conferences and computers and informational in engineering conference, Vol 3, Pts A and B . pp. 585-593., New York, NY, , 585-593.
Crowder, Richard, Wilson, Max L., Fowler, David, Shadbolt, Nigel, Wills, Gary and Wong, Sylvia (2009) Navigation Over a Large Ontology for Industrial Web Applications. In, International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, San Diago, CA, USA, 30 Aug - 02 Sep 2009. DETC2009-86544.
Damchoom, Kriangsak and Butler, Michael (2009) Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. In, SBMF 2009, Gramado, Brazil, 19 - 21 Aug 2009. Springer LNCS, 134-152.
Darbari, Ashish , Al Hashimi, Bashir M , Flynn, David and Biggs, John (2009) Selective State Retention Design using Symbolic Simulation. In, DATE 2009
Denney, Ewen and Fischer, Bernd (2009) A verification-driven approach to traceability and documentation for auto-generated mathematical software. At ASE '09. Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering, Auckland, NZ, 16 - 20 Nov 2009. , 560-564. (doi:10.1109/ASE.2009.71).
Dhanjal, Charanpal, Gunn, Steve and Shawe-Taylor, John (2009) Efficient sparse kernel feature extraction based on partial least squares. IEEE Transactions on Pattern Analysis and Machine Intelligence, 31, (8), 1347-1361. (doi:10.1109/TPAMI.2008.171).
Egyed, A and Fischer, B (2009) Guest editors' introduction. AUTOMATED SOFTWARE ENGINEERING, 16, 1-2.
Ejlali, Alireza, Al-Hashimi, Bashir and Eles, Petru (2009) A standby-Sparing Technique with Low Energy-Overhead for Fault-Tolerant Hard Real-Time Systems. In, International Conference on Hardware/Software Codesign and System Synthesis, Grenoble, France, 11 - 16 Oct 2009. IEEE/ACM.
El Shabrawy, Karim, Maharatna, Koushik, Bagnall, Darren and Al-Hashimi, Bashir (2009) Modeling SWCNT Band-gap and Effective Mass Variation using a Monte Carlo Approach. IEEE Transactions on Nanotechnology
El Shabrawy, Karim, Maharatna , Koushik and Al-Hashimi, Bashir (2009) Exploiting SWCNT Structural Variability Towards the Development of a Photovoltaic Device. In, International Symposium on Integrated Circuits (ISIC2009),
El-Maleh, Aiman, Al-Hashimi, Bashir and Melouki, Aissa (2009) Defect Tolerant N^2-Transistor Structure for Reliable Nanoelectronic Designs, IET Computers & Digital Techniques
Ferrante, Alessandro, Parlato, Gennaro, Sorrentino, Francesco Sorrentino and Ventre, Carmine (2009) Fast payment schemes for truthful mechanisms with verification. Theor. Comput. Sci., 410, (8-10), 886-899.
Ferrara, Anna Lisa, Green, Matthew, Hohenberger, Susan and Pedersen, Michael Østergaard (2009) Practical Short Signature Batch Verification. In, Topics in Cryptology - The Cryptographers' Track at the RSA Conference, San Francisco, CA, USA, 20 - 24 Apr 2009. Springer, 309-324.
Fischer, B., Saabas, A. and Uustalu, T. (2009) Program repair as sound optimization of broken programs. 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), 165-73|xiii+333.
Gilbert, Lester (2009) Re-purpose, Re-use: Reconsider. IEEE Learning Technology Newsletter, 11, (4), 36-39.
Gilbert, Lester, Gale, Veronica, Wills, Gary and Warburton, Bill (2009) JISC Report on E-Assessment Quality (REAQ) in UK Higher Education.
Gondal, Ali, Poppleton, Mike and Snook, Colin (2009) Feature composition - towards product lines of Event-B models. In, 1st International Workshop on Model-Driven Product Line Engineering (MDPLE'09), Enschede, The , Netherlands, CTIT Workshop Proceedings.
Gough, Jeffrey, Jones, Gareth, Lovell, Chris, Macey, Paul, Morgan, Hywel, Revilla, Ferran, Spanton, Robert, Tsuda, Soichiro and Zauner, Klaus-Peter (2009) Integration of Cellular Biological Structures Into Robotic Systems. Acta Futura, 3, 43-49.
Guan, Tao, Fowler, David, Bandara, Ayomi, Zaluska, Ed, De Roure, David, Crowder, Richard and Wills, Gary (2009) Enhancing Grid Service Discovery with a Semantic Wiki and the Concept Matching Approach. At The 5th International Conference on Semantic, Knowledge and Grid 10 - 12 Oct 2009.
Guan, Tao, Fowler, David, Crowder, Richard, Shadbolt, Nigel, Tao, Feng and Wills, Gary (2009) A Semantic System for Rapid Information Search and Access. At European Semantic Web Conference 2009, Heraklion, Greece, 28 May - 04 Jun 2009.
Guan, Tao, Fowler, David, Crowder, Richard, Tao, Feng, Shadbolt, Nigel and Wills, Gary (2009) A Semantic Matching Approach for Distributed RDF Data Query on a Knowledge Bus. At The Third Chinese Semantic Web Symposium, Nanjing, China, 29 - 31 Aug 2009.
Hare, Jonathan, Osmond, Adrian, Yang , Yang, Wills, Gary, Weal, Mark, De Roure, David, Joseph, Judith and Yardley, Lucy (2009) LifeGuide: A platform for performing web-based behavioural interventions. At WebSci'09: Society On-Line, Athens, Greece, 18 - 20 Mar 2009.
Heindel, Tobias and Soboci\'nski, Paweł (2009) Van Kampen colimits as bicolimits in Span. In, Algebra and Coalgebra in Computer Science (CALCO `09) Springer, 335-349.
Ibrahim, Roziana (2009) A Conceptual Framework For Gender-Inclusivity. University of Southampton, Learning Societies Lab, Other Thesis .
Ibrahim, Roziana (2009) Game Design Model for Gender-Inclusivity. At Student Seminar, Learning Societies Lab, ECS, University of Southampton,
Ibrahim, Roziana (2009) Reading the Game:Game Simulation Development.
Ibrahim, Roziana (2009) Reading the Game:Introduction to Video Game Design and Development.
Ingelsson, Urban, Al-Hashimi, Bashir M., Khursheed, Saqib, Reddy, Sudhakar M. and Harrod, Peter (2009) Process variation-aware test for resistive bridges. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 28, (8), 1269-1274. (doi:10.1109/TCAD.2009.2021728).
Joseph, J.A., Yardley, L., Hare, Jonathan, Osmond, Adrian, Yang , Yang, Weal, Mark and Wills, Gary (2009) Application of the LifeGuide: The development and quantitative analysis of the 'Internet Doctor'. In, Proceedings 5th International Conference on e-Social Science, Cologne, Germany,
Kazmierski, Tom, Zhou, Dafeng and Al-Hashimi, Bashir (2009) HSPICE implementation of a numerically efficient model of CNT transistor. At Forum on Specification and Design Languages (FDL 2009), 22 - 24 Sep 2009.
Khursheed, Syed Saqib and Al-Hashimi, Bashir (2009) Test Strategies for Multi-Voltage Designs. In, Girard, Patrick, Nicolici, Nicola and Wen, Xiaoqing (eds.) Power-Aware Testing and Test Strategies for Low Power Devices. , Springer.
Khursheed, Syed Saqib, Al-Hashimi, Bashir and Harrod, Peter (2009) Test Cost Reduction for Multiple-Voltage Designs with Bridge Defects through Gate-Sizing. In, Design, Automation and Test in Europe, Nice, France,
Khursheed, Syed Saqib, Al-Hashimi, Bashir, Reddy, Sudhakar M. and Harrod, Peter (2009) Diagnosis of Multiple-Voltage Design with Bridge Defect. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS,, 28, (3), 406-416.
Klami, Arto, Kaski, Samuel, Pasupa, Kitsuchart, Szedmak, Sandor, Gunn, Steve, Hardoon, David and Csurka, Gabriela (2009) Predicting relevance of parts of an image.
Li, Yunjia, Wald, Mike, Khoja, Shakeel, Wills, Gary, Millard, David, Kajaba, Jiri, Singh, Priyanaka and Gilbert, Lester (2009) Synote: Enhancing Multimedia E-Learning with Synchronised Annotation. UNSPECIFIED
Li, Yunjia, Wald, Mike, Khoja, Shakeel, Wills, Gary, Millard, David, Kajaba, Jiri, Singh, Priyanaka and Gilbert, Lester (2009) Synote: enhancing multimedia e-learning with synchronised annotation. In, UNSPECIFIED ACM, 9-18.
Lovell, C. J. and Zauner, K.-P. (2009) Towards Algorithms for Autonomous Experimentation. At Eighth International Conference on Information Processing in Cells and Tissues (IPCAT 2009), Ascona, Switzerland, 05 - 09 Apr 2009. , 150-152.
Lovell, C.J. , Jones, G. and Zauner, K.-P. (2009) Autonomous experimentation: coupling machine learning with computer controlled microfluidics. At ELRIG Drug Discovery, Liverpool, GB, 07 - 08 Sep 2009.
Maamria, Issam, Butler, Michael, Edmunds, Andrew and Rezazadeh, Abdolbaghi (2009) On an Extensible Rule-based Prover for Event-B.
Maharatna, K., Ahmadi, A. and Magieri, E. (2009) Biologically inspired analogue signal processing: some results towards developing next generation signal analyzers. 2009 12th International Symposium on Integrated Circuits (ISIC 2009), 542-5.
Maharatna, Koushik, Ahmadi, Arash and Mangieri, Eduardo (2009) Biologically inspired analogue signal processing: some results towards developing next generation signal analysers. In, International Symposium on Integrated Circuits (ISIC2009),
Meher, Pramod, Valls, Javier, Juang, Tso-Bing, Sridharan, K and Maharatna, Koushik (2009) 50 Years of CORDIC: Algorithms, Architectures, and Applications. IEEE Transactions on Circuits and Systems - I, 56, (9), 1893-1907.
Melouki, Aissa, Srivastava, Saket and Al-Hashimi, Bashir (2009) Fault Tolerance Techniques for Hybrid CMOS/Nano Architecture. IET Computers & Digital Techniques
Merrett, Geoff, White, Neil, Harris, Nick and Al-Hashimi, Bashir (2009) Energy-Aware Simulation for Wireless Sensor Networks. In, Sixth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON 2009), Rome, Italy, 22 - 26 Jun 2009. IEEE.
Merrett, Geoff V, Peters, Christian, Hallett, Georgina and White, Neil M (2009) An Instrumented Crutch for Monitoring Patients' Weight Distribution during Orthopaedic Rehabilitation. At Eurosensors XXIII, Lausanne, Switzerland, 06 - 09 Sep 2009. Elsevier Procedia Chemistry.
Millard, David, Howard, Yvonne, Gilbert, Lester and Wills, Gary (2009) Co-design and Co-deployment Methodologies for Innovative m-Learning Systems. In, Multiplatform E-Learning Systems and Technologies: Mobile Devices for Ubiquitous ICT-Based Education. , IGI Global.
Millard, David E. , Howard, Yvonne , Abbas, Noura, Davis, Hugh C., Gilbert, Lester , Wills, Gary B. and Walters, Robert J. (2009) Pragmatic web service design: An agile approach with the service responsibility and interaction design method. Computer Science - Research and Development
Mishra, B, Al-Hashimi, Bashir and Zwolinski, Mark (2009) Variation Resilient Adaptive Controller for Subthreshold Circuits. In, DATE, 2009, Nice, France, 20 - 24 Apr 2009.
Nelso, James D.B., Damper, Robert I., Gunn, Steve R. and Guo, Baofeng (2009) A signal theory approach to support vector classification: the sinc kernel. Neural Networks, 22, (1), 49-57. (doi:10.1016/j.neunet.2008.09.016). (PMID:19118976).
Nitchot, Athitaya (2009) Semantic Competency-Based System for Recommending Study Materials.
Omana, Martin, Rossi, Daniele and Metra, Cecilia (2009) Novel high speed robust latch. In, 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, Chicago, US, 07 - 09 Oct 2009. , 65-73. (doi:10.1109/DFT.2009.40).
Osmond, Adrian, Hare, Jonathan, Price, Joseph, Smith, Ashley, Weal, Mark, Wills, Gary, Yang , Yang, Yardley, Lucy and De Roure, David (2009) Designing authoring tools for the creation of on-line behavioural interventions. In, Proceedings 5th International Conference on e-Social Science, Cologne, Germany,
P Iskandar, Yulita Hanum, Gilbert, Lester and Wills, Gary (2009) The design of effective feedback in computer-based sport training. At 7th International Symposium on Computer Science in Sport, Canberra, Australia, 22 - 25 Sep 2009.
P Iskandar, Yulita Hanum, Gilbert, Lester and Wills, Gary (2009) A Framework for Pedagogical Feedback in the Motor Skill Domain. In, The 9th IEEE International Conference on Advanced Learning Technologies, Riga, Latvia, 15 - 17 Jul 2009. , 37-39.
Parker, Marlon and Wills, Gary (2009) Improving the knowledge exchange landscape in the Cape Flats, a developing community in South Africa. South African Journal of Information Management , 11, (3)
Pasupa, Kitsuchart, Saunders, Craig, Szedmak, Sandor, Gunn, Steve, Hardoon, David, Klami, Arto, Kaski, Samuel, Leung, Alex and Auer, Peter (2009) Ranking algorithms for implicit feedback.
Pasupa, Kitsuchart, Saunders, Craig, Szedmak, Sandor, Klami, Arto, Kaski, Samuel and Gunn, Steve (2009) Learning to Rank Images from Eye Movements. At Proceeding of 2009 IEEE 12th International Conference on Computer Vision (ICCV'2009) Workshop on Human-Computer Interaction (HCI'2009), Kyoto, Japan, 27 Sep - 04 Oct 2009. IEEE, 2009-2016.
Rathke, Julian and Anderson, Gabrielle (2009) Migrating Protocols In Multi-Threaded Message-Passing Systems. In, Second ACM Workshop on Hot Topics in Software Upgrades (HotSWUp'09), Orlando, Florida,
Rathke, Julian and Soboci\'nski, Pawel (2009) Making the unobservable, unobservable. In, Proceedings of ICE '08 , 131-144.
Read, Nicholas, Scanlan, Jim, Wills, Gary and Halliday, Steve (2009) Providing value to a business using a lightweight design system to support knowledge reuse by designers. In, International Conference on Engineering Design - ICED09, Stanford, USA, 24 - 27 Aug 2009.
Reed, PAS, Starink, MJ, Gunn, SR and Sinclair, I (2009) Adaptive numerical modelling and hybrid physically based ANM approaches in materials engineering - a survey. MATERIALS SCIENCE AND TECHNOLOGY, 25, 488-503.
Ripon, Shamim and Butler, Michael (2009) PVS Embedding of cCSP Semantic Models and their Relationship. Electr. Notes Theor. Comput. Sci., 250, (2), 103-118.
Rossi, Daniele, Cazeaux, Jose' Manuel, Omana, Martin, Metra, Cecilia and Chatterjee, Abhijit (2009) Accurate linear model for SET critical charge estimation. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 17, (8), 1161-1166. (doi:10.1109/TVLSI.2009.2020391).
Said, Mar Yah, Butler, Michael and Snook, Colin (2009) Class and State Machine Re?nement in UML-B. In, Integration of Model-based Formal Methods and Tools (workshop at iFM 2009)
Said, Mar Yah, Butler, Michael and Snook, Colin (2009) Language and tool support for class and state machine refinement in UML-B. In, Cavalcanti, A. and Dams, D. (eds.) FM 2009: Formal Methods. FM2009 - 16th International Symposium on Formal Methods Berlin, DE, Heidelberg, DE, Springer, 579-595. (Lecture Notes in Computer Science, LNCS 5850). (doi:10.1007/978-3-642-05089-3_37).
Savicks, Vitaly, Snook, Colin and Butler, Michael (2009) Animation of UML-B State-machines.
Shafik, Rishad Ahmed and Al-Hashimi, Bashir M. (2009) Comparative Reliability Analysis between AMBA and Network-on-Chip: An MPEG-2 Case Study. In, 22nd International System-on-Chip Conference (SOCC), Belfast, Northern Ireland, , 247-250.
Shafik, Rishad Ahmed, Al-Hashimi, Bashir M., Kundu, Sandip and Ejlali, Alireja (2009) Soft error-aware voltage scaling technique for power minimization in application-specific MPSoC. Journal of Low Power Electronics, 5, (2), 145-156. (doi:10.1166/jolpe.2009.1016).
Shahidipour, Hamed, Ahmadi, Arash and Maharatna, Koushik (2009) Effect of Variability in SWCNT-Based Logic Gates. At International Symposium on Integrated Circuits (ISIC2009), IEEE.
Silva, Renato and Butler, Michael (2009) Supporting Reuse Mechanisms for Developments in Event-B: Composition.
Silva, Renato and Butler, Michael (2009) Supporting Reuse of Event-B Developments through Generic Instantiation. In, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, 09 - 12 Dec 2009. Springer.
Silva, Renato and Butler, Michael (2009) Supporting Reuse of Event-B Developments through Generic Instantiation. In, International Conference on Formal Engineering Methods(ICFEM), Rio de Janeiro, Brazil, 07 - 12 Dec 2010.
Sitthisak, Onjira and Gilbert, Lester (2009) Affordances of machine-processable competency modelling. In, Conference Cognition and Exploratory Learning in Digital Age, Rome, Italy,
Sitthisak, Onjira and Gilbert, Lester (2009) Improving the pedagogical expressiveness of IMS LD. In, International conference on Technology Enhanced Learning Conference, Taipei., Taiwan,
Sitthisak, Onjira, Gilbert, Lester and Davis, Hugh (2009) Transforming a competency model to parameterised questions in assessment. WEBIST 2008, Lecture Notes in Business Information Processing, 18, 392-405.
Soboci\'nski, Pawel (2009) A non-interleaving process calculus for multi-party synchronisation. In, ICE '09
Srivastava, Saket, Melouki, Aissa and Al-Hashimi, Bashir (2009) Defect Tolerance in Hybrid nano/CMOS Architecture using Tagging Mechanism. At IEEE/ACM Symposium on Nanoscale Architectures, San Francisco, USA, 30 - 31 Jul 2009.
Srivastava, Saket, Melouki, Aissa and Al-Hashimi, Bashir (2009) Repair Techniques for Hybrid Nano/CMOS Computational Architecture. At IEEE Conference on Nanotechnology, IEEE NANO 2009, Genoa, Italy, 26 - 31 Jul 2009.
Tiropanis, Thanassis, Davis, Hugh, Millard, David, Weal, Mark, White, Su and Wills, Gary (2009) Semantic Technologies in Learning and Teaching (SemTech) - JISC Report.
Torre, Salvatore La, Madhusudan, P. and Parlato, Gennaro (2009) Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. In, CAV, Grenoble, France, 26 Jun - 02 Jul 2009. Springer, 477-492.
Torre, Salvatore La, Madhusudan, Parthasarathy and Parlato, Gennaro (2009) Analyzing recursive programs using a fixed-point calculus. In, PLDI '09. Proceedings of the 2009 ACM SIGPLAN conference on Programming Language Design and Implementation, Dublin, IE, 15 - 21 Jun 2009. , 211-222. (doi:10.1145/1543135.1542500).
Wald, Mike, Wills, Gary, Millard, David, Gilbert, Lester, Khoja, Shakeel, Kajaba, Jiri and Li, Yunjia (2009) Synchronised Annotation of Multimedia. In, : Proceedings of the 9th IEEE International Conference on Advanced Learning Technologies (ICALT 2009), Riga , Latvia, IEEE, 594-596.
Wald, Mike, Wills, Gary, Millard, David, Gilbert, Lester, Khoja, Shakeel, Kajaba, Jiri, Li, Yunjia and Singh, Priyanaka (2009) ENHANCING LEARNING USING SYNCHRONISED MULTIMEDIA ANNOTATION. In, EUNIS 2009: "IT: Key of the European Space for Knowledge", Santiago de Compostela, Spain, 23 - 26 Jun 2009. EUNIS.
Wang, Leran, Kazmierski, Tom, Al-Hashimi, Bashir, Beeby, Steve and Zhu, Dibin (2009) An automated design flow for vibration-based energy harvester systems. At Design, Test and Automation in Europe (DATE 2009), Nice, France, 20 - 24 Apr 2009. , 1391-1396.
Weddell, A. S., Teacy, W. T. L., Grabham, N. J., Merrett, G. V., Harris, N. R., Rogers, A., White, N. M. and Jennings, N. R. (2009) Plug-and-Play Power Resources and Agent-Based Coordination for Energy-Aware Wireless Sensor Nodes. In, WiSIG Wireless Sensing Showcase 2009, National Physical Laboratory, Teddington, UK,
Weddell, Alex S., Merrett, Geoff V., Harris, Nick R. and White, Neil M. (2009) Energy Devices for Sensor Networks: Properties for Simulation and Deployment. In, Wireless Communications, Vehicular Technology, Information Theory and Aerospace & Electronic Systems Technology (Wireless VITAE); Special Session: Energy-Harvesting Wireless Sensor Networks, Aalborg, Denmark, 17 - 20 May 2009. IEEE, 26-30.
Wills, Gary, Bailey , Christopher , Davis , Hugh , Gilbert , Lester , Howard , Yvonne , Jeyes, Steve , Millard , David , Price, Joseph , Sclater, Niall , Sherratt , Robert , Tulloch , Iain and Young , Rowin (2009) An E-Learning Framework for Assessment (FREMA). Assessment & Evaluation in Higher Education, 34, (3), 273-292.
Wills, Gary, Davis, Hugh, Gilbert, Lester, Hare, Jonathon, Howard, Yvonne, Jeyes, Steve, Millard, David and Sherratt, Robert (2009) Delivery of QTIv2 question types. [in special issue: Emerging Frameworks for the Use of E-Assessment in Higher Education] Assessment & Evaluation in Higher Education, 34, (3), 353-366. (doi:10.1080/02602930802071106).
Wills, Julia, Parker, Marlon and Wills, Gary (2009) Social and Community Informatics and Social Theories of Networks.
Yadav, Divakar and Butler, Michael (2009) Formal Development of a Total Order Broadcast for Distributed Transactions using Event-B. In, Methods, Models and Tools for Fault Tolerance LNCS 5454. , Springer.
Yadav, Divakar and Butler, Michael (2009) Verification of Liveness Properties in Distributed Systems. In, Second International Conference, IC3 2009, Noida, India, 17 - 19 Aug 2009.
Yang, Letu and Poppleton, Michael (2009) Java implementation platform for the integrated state- and event-based specification in PROB. Concurrency and Computation: Practice and Experience, 22, (8), 1007-1022. (doi:10.1002/cpe.1425).
Yang, Yang, Osmond, Adrian, Chen, Xiaoyu, Weal, Mark, Wills, Gary, De Roure, David, Joseph, Judith and Yardley, Lucy (2009) Supporting the running and analysis of trials of web-based behavioural interventions: the LifeGuide. In, 5th IEEE International Conference on e-Science, Oxford, GB, 07 - 09 Dec 2009. 8pp.
Yang, Yang, Osmond, Adrian, Weal, Mark, Wills, Gary, De Roure, David, Joseph, Judith and Yardley, Lucy (2009) LifeGuide: An infrastructure for empowering behavioural intervention research. At UK e-Science All Hands Meeting 2009, Oxford, UK,
Yardley, Lucy , Osmond, Adrian, Hare, Jonathan, Wills, Gary, Weal, Mark, De Roure, David and Michie, Susan (2009) Introduction to the LifeGuide: software facilitating the development of interactive behaviour change internet interventions. In, Persuasive Technology and Digital Behaviour Intervention Symposium. (AISB 2009), Edinburgh, GB, 06 - 09 Apr 2009. 4pp.
Yusoff, Amri, Crowder, Richard, Gilbert, Lester and Wills, Gary (2009) A conceptual framework for serious games. In, Ninth IEEE International Conference on Advanced Learning Technologies, Riga, Latvia, 15 - 17 Jul 2009.
Zhang, Pei, Wills, Gary, Howard, Yvonne, Oussena, Samia, Kramer, Dean, Barn, Ravinder and Barn, Balbir (2009) An E-learning Support Toolkit for Social Work Students on Placement. In, IADIS e-Learning 2009, Algarve, Portugal, 17 - 20 Jun 2009.
Zhou, Dafeng, Kazmierski, Tom and Al-Hashimi, Bashir (2009) VHDL–AMS implementation of a numerical ballistic CNT model. In, Radetski, Martin (eds.) Languages for Embedded Systems and their Applications. Heidelberg, DE, Springer, 87-100. (Lecture Notes in Electrical Engineering, 36).