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

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: 123.

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, Finland. 07 - 09 Oct 2009.

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), pp. 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, Turkey. 23 - 27 Aug 2009. , pp. 165-168.

Ahmadi, Arash, Mangieri, Eduardo, Maharatna, Koushik and Zwolinski, Mark (2009) Physical Realizable Circuit Structure For Adaptive Frequency Hopf Oscillator At NEWCAS-TAISA'09, France. 28 Jun - 01 Jul 2009.

Apampa, K.M, Wills, G.B and Argles, D (2009) Towards Security Goals in Summative E-Assessment Security At ICITST-2009, United Kingdom. 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, Canada. 26 - 30 Oct 2009.

Baldan, Paolo, Corradini, Andrea, Heindel, Tobias, K\"onig, Barbara and Soboci\'nski, Paweł, (2009) Unfolding grammars in adhesive categories Kurz, Alexander, Lenisa, Marina and Tarlecki, Andrzej (eds.) At Algebra and Coalgebra in Computer Science (CALCO `09), Italy. 07 - 10 Sep 2009. , pp. 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 At 4th System Safety Conference 2009, United Kingdom. 26 - 28 Oct 2009.

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2009) Deriving Safety Cases from Machine-Generated Proofs At Workshop on Proof-Carrying Code and Software Certification (PCC'09), United States.

Butler, Michael (2009) Decomposition Structures for Event-B At Integrated Formal Methods iFM2009, Springer, LNCS 5423.

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 pp. 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), pp. 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. 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 At International conference on Multimedia and Information and Communucation Technologies in Education (m-ICTE 2009), Portugal. 22 - 24 Apr 2009.

Cirstea, Corina, Kupke, Clemens and Pattinson, Dirk, (2009) EXPTIME Tableaux for the Coalgebraic Mu-Calculus Grädel, Erich and Kahle, Reinhard (eds.) At Computer Science Logic 2009. , pp. 179-193.

Cirstea, Corina, Kurz, Alexander, Pattinson, Dirk, Schröder, Lutz and Venema, Yde, Sassone, Vladimiro(ed.) (2009) Modal logics are coalgebraic The Computer Journal, 54, (1), pp. 31-41. (doi:10.1093/comjnl/bxp004).

Colley, John and Butler, Michael (2009) On Proving with Event-B that a Pipelined Processor Model Implements its ISA Specification At Dagstuhl Seminar on Refinement Based Methods for the Construction of Dependable Systems.

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 At The 6th International Conference on Embedded Software and Systems, 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 s.n.

Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software s.n.

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, 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, New Zealand. 16 - 20 Nov 2009.

Crowder, RM, Wong, S, Shadbolt, N and Wills, G (2009) KNOWLEDGE-BASED REPOSITORY TO SUPPORT ENGINEERING DESIGN At 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.. , pp. 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 At International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, United States. 30 Aug - 02 Sep 2009.

Damchoom, Kriangsak and Butler, Michael (2009) Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B At SBMF 2009, Brazil. 19 - 21 Aug 2009. , pp. 134-152. (doi:10.1007/978-3-642-10452-7).

Darbari, Ashish, Al Hashimi, Bashir M, Flynn, David and Biggs, John (2009) Selective State Retention Design using Symbolic Simulation At 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, New Zealand. 16 - 20 Nov 2009. , pp. 560-564. (doi:10.1109/ASE.2009.71).

Egyed, A and Fischer, B (2009) Guest editors' introduction Automated Software Engineering, 16, pp. 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 At International Conference on Hardware/Software Codesign and System Synthesis, France. 11 - 16 Oct 2009.

El Shabrawy, Karim, Maharatna, Koushik and Al-Hashimi, Bashir (2009) Exploiting SWCNT Structural Variability Towards the Development of a Photovoltaic Device At International Symposium on Integrated Circuits (ISIC2009), Singapore.

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-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), pp. 886-899.

Ferrara, Anna Lisa, Green, Matthew, Hohenberger, Susan and Pedersen, Michael Østergaard (2009) Practical Short Signature Batch Verification At Topics in Cryptology - The Cryptographers' Track at the RSA Conference, United States. 20 - 24 Apr 2009. , pp. 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), pp. 36-39.

Gilbert, Lester, Gale, Veronica, Wills, Gary and Warburton, Bill (2009) JISC Report on E-Assessment Quality (REAQ) in UK Higher Education s.n.

Gondal, Ali, Poppleton, Mike and Snook, Colin (2009) Feature composition - towards product lines of Event-B models At 1st International Workshop on Model-Driven Product Line Engineering (MDPLE'09), Netherlands.

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, pp. 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, 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, 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. 18 - 20 Mar 2009.

Heindel, Tobias and Soboci\'nski, Paweł (2009) Van Kampen colimits as bicolimits in Span At Algebra and Coalgebra in Computer Science (CALCO `09). , pp. 335-349.

Ibrahim, Roziana (2009) A Conceptual Framework For Gender-Inclusivity University of Southampton, Learning Societies Lab, Doctoral Thesis .

Ibrahim, Roziana (2009) Game Design Model for Gender-Inclusivity At Student Seminar.

Ibrahim, Roziana (2009) Reading the Game:Game Simulation Development s.n.

Ibrahim, Roziana (2009) Reading the Game:Introduction to Video Game Design and Development s.n.

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), pp. 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' At Proceedings 5th International Conference on e-Social Science, 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), Germany. 22 - 24 Sep 2009.

Kazmierski, Tom, Zhou, Dafeng, Al-Hashimi, Bashir and Ashburn, Peter (2009) Numerically efficient modeling of CNT transistors with ballistic and non-ballistic effects for circuit simulation IEEE Transactions on Nanotechnology, 9, (1), pp. 99-107. (doi:10.1109/TNANO.2009.2017019).

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 At Design, Automation and Test in Europe, 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), pp. 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 s.n.

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 At workshop; 2009-10-01.

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 At workshop; 2009-01-01. , pp. 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), Switzerland. 05 - 09 Apr 2009. , pp. 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, United Kingdom. 07 - 08 Sep 2009.

Maamria, Issam, Butler, Michael, Edmunds, Andrew and Rezazadeh, Abdolbaghi (2009) On an Extensible Rule-based Prover for Event-B s.n.

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), pp. 542-5.

Maharatna, Koushik, Ahmadi, Arash and Mangieri, Eduardo (2009) Biologically inspired analogue signal processing: some results towards developing next generation signal analysers At International Symposium on Integrated Circuits (ISIC2009), Singapore.

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), pp. 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 At Sixth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON 2009), Italy. 22 - 26 Jun 2009.

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, Switzerland. 06 - 09 Sep 2009.

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 At DATE, 2009, France. 20 - 24 Apr 2009.

Nitchot, Athitaya (2009) Semantic Competency-Based System for Recommending Study Materials

Omana, Martin, Rossi, Daniele and Metra, Cecilia (2009) Novel high speed robust latch At 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, United States. 07 - 09 Oct 2009. , pp. 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 At Proceedings 5th International Conference on e-Social Science, 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, 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 At The 9th IEEE International Conference on Advanced Learning Technologies, Latvia. 15 - 17 Jul 2009. , pp. 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 s.n.

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), Japan. 27 Sep - 04 Oct 2009. , pp. 2009-2016.

Rathke, Julian and Anderson, Gabrielle (2009) Migrating Protocols In Multi-Threaded Message-Passing Systems At Second ACM Workshop on Hot Topics in Software Upgrades (HotSWUp'09).

Rathke, Julian and Soboci\'nski, Pawel (2009) Making the unobservable, unobservable At Proceedings of ICE '08. , pp. 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 At International Conference on Engineering Design - ICED09. 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, pp. 488-503.

Ripon, Shamim and Butler, Michael (2009) PVS Embedding of cCSP Semantic Models and their Relationship Electr. Notes Theor. Comput. Sci., 250, (2), pp. 103-118. (doi:10.1016/j.entcs.2009.08.020).

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), pp. 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 At 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 Cavalcanti, A. and Dams, D. (eds.) In FM 2009: Formal Methods. Springer. 17 pp, pp. 579-595. (doi:10.1007/978-3-642-05089-3_37).

Savicks, Vitaly, Snook, Colin and Butler, Michael (2009) Animation of UML-B State-machines s.n.

Shafik, Rishad Ahmed and Al-Hashimi, Bashir M. (2009) Comparative Reliability Analysis between AMBA and Network-on-Chip: An MPEG-2 Case Study At 22nd International System-on-Chip Conference (SOCC). , pp. 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), pp. 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), Singapore.

Silva, Renato and Butler, Michael (2009) Supporting Reuse Mechanisms for Developments in Event-B: Composition s.n.

Silva, Renato and Butler, Michael (2009) Supporting Reuse of Event-B Developments through Generic Instantiation At Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Brazil. 09 - 12 Dec 2009. (doi:10.1007/978-3-642-10373-5_24).

Silva, Renato and Butler, Michael (2009) Supporting Reuse of Event-B Developments through Generic Instantiation At International Conference on Formal Engineering Methods(ICFEM), Brazil. 07 - 12 Dec 2010.

Sitthisak, Onjira and Gilbert, Lester (2009) Affordances of machine-processable competency modelling At Conference Cognition and Exploratory Learning in Digital Age, Italy.

Sitthisak, Onjira and Gilbert, Lester (2009) Improving the pedagogical expressiveness of IMS LD At International conference on Technology Enhanced Learning Conference, Taiwan, Province of China.

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, pp. 392-405.

Soboci\'nski, Pawel (2009) A non-interleaving process calculus for multi-party synchronisation At ICE '09.

Sorge, Jennifer, Poppleton, Michael and Butler, Michael (2009) A Basis for feature-oriented modelling in Event-B s.n.

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, United States. 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, 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 At CAV, France. 26 Jun - 02 Jul 2009. , pp. 477-492.

Torre, Salvatore La, Madhusudan, Parthasarathy and Parlato, Gennaro (2009) Analyzing recursive programs using a fixed-point calculus At PLDI '09. Proceedings of the 2009 ACM SIGPLAN conference on Programming Language Design and Implementation, Ireland. 15 - 21 Jun 2009. , pp. 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 At : Proceedings of the 9th IEEE International Conference on Advanced Learning Technologies (ICALT 2009), Latvia. , pp. 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 At EUNIS 2009: "IT: Key of the European Space for Knowledge", Spain. 23 - 26 Jun 2009.

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), France. 20 - 24 Apr 2009. , pp. 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 At WiSIG Wireless Sensing Showcase 2009, United Kingdom.

Weddell, Alex S., Merrett, Geoff V., Harris, Nick R. and White, Neil M. (2009) Energy Devices for Sensor Networks: Properties for Simulation and Deployment At Wireless Communications, Vehicular Technology, Information Theory and Aerospace & Electronic Systems Technology (Wireless VITAE); Special Session: Energy-Harvesting Wireless Sensor Networks, Denmark. 17 - 20 May 2009. , pp. 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), pp. 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), pp. 353-366. (doi:10.1080/02602930802071106).

Wills, Julia, Parker, Marlon and Wills, Gary (2009) Social and Community Informatics and Social Theories of Networks s.n.

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 At Second International Conference, IC3 2009, 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), pp. 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 At 5th IEEE International Conference on e-Science, United Kingdom. 07 - 09 Dec 2009. 8 pp.

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, United Kingdom.

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 At Persuasive Technology and Digital Behaviour Intervention Symposium. (AISB 2009), United Kingdom. 06 - 09 Apr 2009. 4 pp.

Yusoff, Amri, Crowder, Richard, Gilbert, Lester and Wills, Gary (2009) A conceptual framework for serious games At Ninth IEEE International Conference on Advanced Learning Technologies, 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 At IADIS e-Learning 2009, 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 pp. 87-100. (Lecture Notes in Electrical Engineering, 36).

This list was generated on Sun Apr 9 00:45:26 2017 BST.