Dean of the Faculty of Engineering and Physical Sciences
Michael Butler is Dean of the Faculty of Engineering and Physical Sciences and a Professor of Computer Science. His research is in the area of mathematical methods for design and verification of safe and secure software-based systems.
Education:
B.A.(Hons) Computer Science, Trinity College Dublin (1988);
M.Sc. Computation, University of Oxford (1989);
D.Phil. Computation, University of Oxford (1992).
My main research area is formal methods for software engineering. These are mathematical modeling and analysis methods used to increase the trustworthiness of software based systems. They are typically used for high integrity systems where software-induced failures would lead to loss of life or significant loss of business or reputation. I specialise in model-based formal methods, in particular a formal method called Event-B. My research work encompasses applications, tools and methodology for formal methods. I have made key theoretical and methodological contributions to the Event-B formal method that enable it to scale to large complex systems. These contributions enable modular analysis in terms of how systems models are structured and analysed as well as methods for development of domain-specific mathematical theories that are reusable across multiple projects.
Research Projects
HD-Sec: Holistic Design of Secure Systems on Capability Hardware
HICLASS: Enabling Development of Complex and Secure Aerospace Systems
UKRI Trustworthy Autonomous Systems Hub
Professional Activities:
Member IFIP WG 2.3 Programming Methodology
Editorial Board of Formal Aspects of Computing
Editorial Board of Intl. J. of Critical Computer-Based Systems
Editorial Board of Software Tools for Technology Transfer
Silva, Renato and Butler, Michael (2009) Supporting reuse of Event-B developments through generic instantiation. Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil. 09 - 12 Dec 2009. 19 pp . (doi:10.1007/978-3-642-10373-5_24).
Sorge, Jennifer, Poppleton, Michael and Butler, Michael (2009) A Basis for feature-oriented modelling in Event-B s.n.
Silva, Renato and Butler, Michael (2009) Supporting reuse mechanisms for developments in event-b: composition Southampton, UK. University of Southampton 15pp.
Pascal, Carine and Silva, Renato (2009) Event-B model decomposition. DEPLOY Plenary Technical Workshop 2009. 20 - 22 Oct 2009. 6 pp .
Silva, Renato, Pascal, Carine, Hoang, T.S. and Butler, Michael (2009) Decomposition tool for Event-B Southampton, UK. University of Southampton 4pp.
Maamria, Issam, Butler, Michael, Edmunds, Andrew and Rezazadeh, Abdolbaghi (2010) On an extensible rule-based prover for event-B. In Proceedings of ABZ 2010. Springer. 3 pp .
Butler, M. J. and Hartel, P. H. (1999) Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp. ACM Transactions on Programming Languages and Systems, 21 (3), 417-430.
Butler, M. J. (1999) Calculational Derivation of Pointer Algorithms from Tree Operations. Science of Computer Programming, 33 (3), 221-260.
Butler, M. J. (1999) csp2B: A Practical Approach to Combining CSP and B. Wing, J. M., Woodcock, J. and Davies, J. (eds.) Proc. FM'99: World Congress on Formal Methods. pp. 490-508 .
Butler, M. J. (1999) Distributed Electronic Mail System. Sekerinski, E. and Sere, K. (eds.) Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series. pp. 301-322 .
Butler, M. J. and Waldén, M. (1999) Parallel Programming with the B Method. Sekerinski, E. and Sere, K. (eds.) Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series. pp. 183-195 .
Hartel, P. H., Butler, M. J. and Levy, M. (1999) The Operational Semantics of a Java Secure Processor. In, Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java, LNCS 1523. Formal Syntax and Semantics of Java, LNCS 1523 (01/01/99) Springer-Verlag, pp. 313-52.
Hartel, P., Butler, M., Currie, A., Henderson, P., Leuschel, M., Martin, A., Smith, A., Ultes-Nitsche, U. and Walters, R.J. (1999) Questions and Answers About Ten Formal Methods. Gnesi, S. and latella, D. (eds.) Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems. pp. 179-203 .
Back, R. J. R. and Butler, M. J. (1998) Fusion and Simultaneous Execution in the Refinement Calculus. Acta Informatica, 35 (11), 921-949.
Butler, M. J. (1998) Event Ordering in Action Systems. Grundy, J., Schwenke, M. and Vickers, T. (eds.) Proc. Int. Refinement Workshop / Formal Methods Pacific'98, Springer Series in Discrete Mathematics and Theoretical Computer Science. pp. 61-80 .
Butler, M. J. (1998) Using Refinement to Analyse the Safety of an Authentication Protocol s.n.
Butler, M. J. (1997) An Approach to the Design of Distributed Systems with B AMN. Bowen, J., Hinchey, M. and Till, D. (eds.) Proc. 10th Int. Conf. of Z Users: The Z Formal Specification Notation (ZUM), LNCS 1212. pp. 223-241 .
Butler, M. J. (1997) Review of Abrial, J.-R. The B-Book. The Computer Journal, 40 (1), 59-61.
Butler, M. J., Grundy, J., Långbacka, T., Ruksenas, R. and Wright, J. von (1997) The Refinement Calculator: Proof Support for Program Refinement. Groves, L. and Reeves, S. (eds.) Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science. pp. 40-61 .
Butler, M. J. (1997) Action System Analysis of an Authentication Protocol (extended abstract). Groves, L. and Reeves, S. (eds.) Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science. pp. 287-288 .
Butler, M. J. (1996) Stepwise Refinement of Communicating Systems. Science of Computer Programming, 27 (2), 139-173.
Butler, M. J. (1996) Calculational Derivation of Algorithms on Tree-based Pointer Structures. Jifeng, He, Cooke, J. and Wallace, P. (eds.) BCS-FACS Refinement Workshop.
Butler, M. J. (1996) An Approach to the Design of Distributed Systems with B AMN (extended version) s.n.
Butler, M. J. and Långbacka, T. (1996) Program Derivation using the Refinement Calculator. Wright, J. von, Grundy, J. and Harrison, J. (eds.) Proc. 9th Int. Conf. on Theorem Proving in Higher Order Logics (TPHOLs'96), LNCS 1125. pp. 93-108 .
Butler, M. J., Sekerinski, E. and Sere, K. (1996) An Action System Approach to the Steam Boiler Problem. Abrial, J.-R., Börger, E. and Langmaack, H. (eds.) Formal Methods for Industrial Applications -- Specifying and Programming the Steam Boiler Control, LNCS 1165. pp. 129-148 .
Butler, M. J. and Waldén, M. (1996) Distributed System Development in B. Habrias, H. (ed.) Proc. First B Conf.. pp. 155-168 .
Butler, M.J. and Morgan, C.C. (1995) Action Systems, Unbounded Nondeterminism, and Infinite Traces. Formal Aspects of Computing, 7, 37-53.
Back, R.J.R. and Butler, M.J. (1995) Exploring Summation and Product Operators in the Refinement Calculus. Möller, B. (ed.) Mathematics of Program Construction.
Butler, M.J. (1993) Refinement and decomposition of value-passing action systems in the refinement calculus. In, Best, E. and Best, E. (eds.) CONCUR'93. (Lecture Notes in Computer Science, 715) 4th Intrenational Conference on Concurrency Theory (22/08/93 - 26/08/93) Berlin, Heidelberg. Springer. (doi:10.1007/3-540-57208-2_16).
Butler, M.J. (1991) Behavioural Extension for CSP Processes. Prehn, S. and Toetenel, W.J. (eds.) VDM '91.
Butler, M.J. (1990) Service Extension at the Specification Level. Nicholls, J.E. (ed.) Z User Meeting.
Butler, M.J., Hedman, E., Nilson, P., Ruksenas, R., Waldén, M. and Zhao, Y. (1994) Specification of a Program Derivation Editor (Reports in Mathematics and Computer Science, A94-15) s.n.
Butler, M.J. and Back, R.J.R. (1994) Applications of Summation and Product Operators in the Refinement Calculus. 6th Nordic Workshop on Programming Theory.
Butler, M.J. (1989) Formal Techniques Applied to the X.400 Reliable Transfer Service. University of Oxford, Masters Thesis.
Butler, M.J. (1992) A CSP Approach to Action Systems. University of Oxford, Computing Laboratory, Doctoral Thesis.
Butler, M.J. (1993) Feature Interaction Analysis Using Z s.n.
Butler, M. J. and Meagher, M. M. R. (2000) Performing Algorithmic Refinement before Data Refinement in B. Proc. ZB2000: Formal Specification and Development in Z and B. pp. 324-343 .
Hallerstede, S. and Butler, M. J. (1999) Refinement of Dynamic Systems University of Southampton
Butler, M. J. (2000) csp2B: A Practical Approach to Combining CSP and B. Formal Aspects of Computing, 12, 182-196.
Satpathy, Manoranjan, Harrison, Rachel, Snook, Colin and Butler, Michael (2001) A Generic Model for Assessing Process Quality. Dumke, None and Abran, None (eds.) International Workshop on Software Measurement (IWSM2000).
Butler, Michael and Ferreira, Carla (2000) A Process Compensation Language. Grieskamp, W., Santen, T. and Stoddart, B. (eds.) Integrated Formal Methods IFM2000. p. 61 .
Butler, Michael, Hartel, Pieter, Jong, Eduard de and Longley, Mark (1997) Applying Formal Methods to the Design of Smart Card Software s.n.
Butler, Michael and Airchinnigh, Micheal Mac an (1993) Service Specification Using Z s.n.
Butler, Michael and McDonnell, Eoin (1993) Experiment D: Application of Z to IN-Services Test Case s.n.
Butler, Michael, Hartel, Pieter, Jong, Eduard de and Longley, Mark (2001) Transacted Memory for Smart Cards. Oliveira, J. N. and Zave, P. (eds.) FME 2001, Formal Methods for Increasing Software Productivity. pp. 478-99 .
Snook, Colin and Butler, Michael (2000) Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit. UML 2000 Workshop, Dynamic Behaviour in UML Models: Semantic Questions.
Snook, C. and Butler, M. J. (2001) Using a Graphical Design Tool for Formal Specification. Proceedings 13th Annual Workshop of the Psychology of Programming Interest Group.
Mikhailov, Leonid and Butler, Michael (2001) Combining B and Alloy. Formal Methods for Industrial Critical Systems.
Satpathy, Manoranjan, Harrison, Rachel, Snook, Colin and Butler, Michael (2001) A Comparative Study of Formal and Informal Specifications through an Industrial Case Study. IEEE/ IFIP Workshop on Formal Specification of Computer Based Systems (FSCBS'01).
DeRoure, David, Moreau, Luc, Butler, Michael, Chown, Tim and Hartel, Pieter (2000) Study of Security in Multi-Agent Architectures Department of Electronics and Computer Science, University of Southampton
Leuschel, Michael, Adhianto, Laksono, Butler, Michael, Ferreira, Carla and Mikhailov, Leonid (2001) Animation and Model Checking of CSP and B using Prolog Technology. Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich (eds.) Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001. pp. 97-109 .
Mikhailov, Leonid and Butler, Michael (2002) An Approach to Combining B and Alloy. ZB'2002.
Butler, Michael (2002) A System-based Approach to the Formal Development of Embedded Controllers for a Railway. Design Automation for Embedded Systems, 6, 355-366.
Butler, Michael and Falampin, Jerome (2002) An Approach to Modelling and Refining Timing Properties in B. Refinement of Critical Systems (RCS).
Mikhailova, Anna, Doche, Marielle and Butler, Michael (2002) Contracts for Scenario-Based Testing of Object-Oriented Programs s.n.
Ng, Muan Yong and Butler, Michael (2002) Tool Support for Visualizing CSP in UML. George, Chris and Miao, HuaiKou (eds.) International Conference on Formal Engineering Methods(ICFEM), Shanghai, China. 20 - 24 Oct 2002. pp. 287-298 .
Butler, Michael, Leuschel, Michael, Lo Presti, Stephane, Allsopp, David, Beautement, Patrick, Booth, Chris, Cusack, Mark and Kirton, Mike (2003) Towards a Trust Analysis Framework for Pervasive Computing Scenarios.
Butler, Michael, Ferreira, Carla, Henderson, Peter, Chessell, Mandy, Griffin, Catherine and Vines, David (2002) Extending the Concept of Transaction Compensation. IBM Systems Journal, 47, 743-758.
Augusto, Juan Carlos, Leuschel, Michael, Butler, Michael and Ferreira, Carla (2003) Using the Extensible Model Checker XTL to Verify StAC Business Specifications. Leuschel, Michael, Gruner, Stefan and Lo Presti, Stephane (eds.) 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), Southampton. 01 - 02 Apr 2003. pp. 253-266 .
Butler, M. J. (2002) On the Use of Data Refinement in the Development of Secure Communications Systems. Formal Aspects of Computing, 14 (1), 2-34.
Augusto, Juan, Butler, Michael, Ferreira, Carla and Craig, Stephen (2003) Using SPIN and STeP to Verify StAC Specifications. 5th International A.P.Ershov Conference on Perspectives of System Informatics, Novosibirsk, Russia.
Ng, Muan Yong and Butler, Michael (2003) Towards formalizing UML State Diagrams in CSP. Cerone, Antonio and Lindsay, Peter (eds.) 1st IEEE International Conference on Software Engineering and Formal Methods, Brisbane, Australia. 24 - 25 Sep 2003. pp. 138-147 .
Leuschel, Michael and Butler, Michael (2003) ProB: A Model Checker for B. Keijiro, Araki, Gnesi, Stefania and Dino, Mandrio (eds.) Formal Methods Europe 2003, Pisa, Italy. pp. 855-874 .
Butler, Michael and Ferreira, Carla (2003) Using B Refinement to Analyse Compensating Business Processes. ZB 2003: Third International Conference of B and Z Users, Turku.
Rezazadeh, Abdolbaghi and Butler, Michael (2003) Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems. Refinement of Critical Systems (RCS'03).
Butler, Michael, Leuschel, Michael, Lo Presti, Stephane and Turner, Phillip (2004) The Use of Formal Methods in the Analysis of Trust (Position Paper). Jensen, Christian, Poslad, Stefan and Dimitrakos, Theo (eds.) Second International Conference on Trust Management (iTrust 2004), Oxford, United Kingdom. 01 Mar - 28 Apr 2004. pp. 333-339 .
Hallerstede, Stefan and Butler, Michael (2004) Performance Analysis of Probabilistic Action Systems. Formal Aspects of Computing, 16 (4), 313-331.
Butler, Michael and Ferreira, Carla (2004) An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions. De Nicola, Rocco, Ferrari, Gianluigi and Meredith, Greg (eds.) Coordination 2004, Pisa.
Snook, Colin, Butler, Michael and Oliver, Ian (2004) The UML-B Profile for formal systems modelling in UML. In, Mermet, J. (ed.) UML-B Specification for Proven Embedded Systems Design. Springer.
Butler, Michael, Ferreira, Carla and Ng, Muan Yong (2005) Precise Modelling of Compensating Business Transactions and its Application to BPEL. Journal of Universal Computer Science, 11 (5), 712-743.
Butler, Michael, Hoare, C.A.R. and Ferreira, Carla (2005) A trace semantics for long-running transactions. Abdallah, A.E., Jones, C.B. and Sanders, J.W. (eds.) 25 Years of CSP, London. pp. 133-150 .
Snook, Colin and Butler, Michael (2006) UML-B: Formal modelling and design aided by UML. ACM Transactions on Software Engineering and Methodology, 15 (1), 92-122.
Lo Presti, Stephane, Butler, Michael, Leuschel, Michael, Snook, Colin and Turner, Phillip (2004) Formal Modelling and Verification of Trust in a Pervasive Application s.n.
Snook, Colin, Butler, Michael, Edmunds, Andy and Johnson, Ian (2004) Rigorous development of reusable, domain-specific components, for complex applications. Jurgens, Jan and France, Robert (eds.) 3rd International Workshop on Critical Systems Development with UML, Lisbon. pp. 115-129 .
Butler, Michael and Leuschel, Michael (2005) Combining CSP and B for Specification and Property Verification. Fitzgerald, John, Hayes, Ian and Tarlecki, Andrzej (eds.) Formal Methods 2005, Newcastle upon Tyne. 17 - 21 Jul 2005. pp. 221-236 .
Rezazadeh, Abdolbaghi and Butler, Michael (2005) Some Guidelines for Formal Development of Web-based Applications in B-Method. 4th International Conference of B and Z Users (ZB 2005), 13-15 April 2005.
Satpathy, Manoranjan, Leuschel, Michael and Butler, Michael , Gurevich, Yuri, Petrenko, Alexander K. and Kossatchev, Alexander (eds.) (2005) ProTest: An Automatic Test Environment for B Specifications. Electronic Notes in Theoretical Computer Science, 111, 113-136. (doi:10.1016/j.entcs.2004.12.009).
Butler, Michael, Leuschel, Michael and Snook, Colin (2005) Tools for system validation with B abstract machines. ASM 2005: 12th International Workshop on Abstract State Machines, Paris.
Snook, Colin and Butler, Michael (2004) U2B - A tool for translating UML-B models into B. In, Mermet, J. (ed.) UML-B Specification for Proven Embedded Systems Design. Springer.
Lo Presti, S, Butler, M, Leuschel, M and Booth, C (2005) A Trust Analysis Methodology for Pervasive Computing Systems. In, Falcone, R, Barber, S, Sabater, J and Singh, M (eds.) Trusting Agents for trusting Electronic Societies, LNCS Volume 3577. Springer. (doi:10.1007/11532095).
Butler, Michael and Ripon, Shamim (2005) Executable Semantics for Compensating CSP. Bravetti, Mario, Kloul, Leïla and Zavattaro, Gianluigi (eds.) 2nd International Workshop on Web Services and Formal Methods, Versailles. 243- 256 . (doi:10.1007/11549970_18).
Lo Presti, Stephane and Butler, Michael (2005) Literature Survey on Trust s.n.
Bruni, Roberto, Butler, Michael, Ferreira, Carla, Hoare, Tony, Melgratti, Hernan and Montanari, Ugo (2005) Comparing two approaches to compensable flow composition. CONCUR 2005, San Francisco. 22 - 25 Aug 2005.
Yadav, Divakar and Butler, Michael (2005) Application of Event B to Global Causal Ordering for Fault Tolerant Transactions. Workshop on Rigorous Engineering of Fault Tolerant Systems (REFT2005), Newcastle upon Tyne. 17 - 21 Jul 2005. pp. 93-102 .
Butler, Michael, Jones, Cliff, Romanovsky, Alexander and Troubitsyna, Elena (2005) Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). (Technical Report Series, CS-TR-), vol. CS-TR-, University of Newcastle upon Tyne, School of Computing Science
Leuschel, Michael and Butler, Michael (2005) Automatic Refinement Checking for B. ICFEM'05.
Evans, Neil and Butler, Michael (2006) A Proposal for Records in Event-B. Nipkow, Tobias, Misra, Jayadev and Sekerinski, Emil (eds.) Formal Methods 2006, McMaster, Canada. pp. 221-235 .
Yadav, Divakar and Butler, Michael (2006) Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems using Event B. In, Rigorous Development of Complex Fault-Tolerant Systems. Lecture Notes in Computer Science, Springer , 2006, pp. 343-363.
Ripon, Shamim and Butler, Michael (2006) Relating Semantic Models of Compensating CSP s.n.
Lo Presti, Stéphane, Butler, Michael, Leuschel, Michael and Booth, Chris (2006) Holistic Trust Design of E-Services. In, Song, Ronggong (ed.) Trust in E-services: Technologies, Practices and Challenges.
Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan and Voisin, Laurent (2006) An open extensible tool environment for Event-B. Liu, Zhiming and He, Jifeng (eds.) ICFEM 2006, Macau.
Evans, Neil and Butler, Michael (2006) Incremental Construction of Large Specifications: Case Study and Techniques s.n.
Turner, Edd and Butler, Michael (2006) Symmetry Reduction in the ProB Model Checker. FM2006 Doctoral Symposium, McMaster University, Canada. 20 - 26 Aug 2006.
Ball, Elisabeth and Butler, Michael (2006) Using Decomposition to Model Multi-agent Interaction Protocols in Event-B. FM'06 Doctoral Symposium, McMaster University, Hamilton, Canada.
Leavens, Gary T., Abrial, Jean-Raymond, Batory, Don, Butler, Michael, Coglio, Alessandro, Fisler, Kathi, Hehner, Eric, Jones, Cliff B., Miller, Dale, Peyton-Jones, Simon, Sitaraman, Murali, Smith, Douglas R. and Stump, Aaron (2006) Roadmap for Enhanced Languages and Methods to Aid Verification. Generative Programming and Component Engineering, 5th International, Portland, Oregon. 21 - 25 Oct 2006.
Leuschel, Michael and Butler, Michael (2008) ProB: an automated analysis toolset for the B method. International Journal on Software Tools for Technology Transfer, 10 (2), 185-203. (doi:10.1007/s10009-007-0063-9).
Leuschel, Michael, Butler, Michael, Spermann, Corinna and Turner, Edd (2006) Symmetry Reduction for B by Permutation Flooding. B2007, Besancon, France.
Butler, Michael and Yadav, Divakar (2008) An incremental development of the Mondex system in Event-B. Formal Aspects of Computing, 20 (1), 61-77. (doi:10.1007/s00165-007-0061-4).
Butler, Michael, Jones, Cliff B., Romanovsky, Alexander and Troubitsyna, Elena (2006) Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science, 4157), vol. 4157, Springer
Yadav, Divakar and Butler, Michael (2007) Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B s.n.
Turner, Edd, Leuschel, Michael, Spermann, Corinna and Butler, Michael (2007) Symmetry Reduced Model Checking for B. First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), ECNU, Shanghai, China. 05 - 07 Jun 2007. pp. 25-34 .
Ball, Elisabeth and Butler, Michael (2007) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction. Methods, Models and Tools for Fault Tolerance, Oxford, United Kingdom.
Yadav, Divakar and Butler, Michael (2007) Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts. Methods, Models and Tools for Fault Tolerance (MeMoT 2007), Oxford. pp. 33-42 .
Leuschel, Michael, Butler, Michael, Spermann, Corinna and Turner, Edd (2007) Symmetry Reduction for B by Permutation Flooding. Julliand, Jacques and Kouchnarenko, Olga (eds.) 7th International B Conference, Besancon, France. 17 - 19 Jan 2007.
Leuschel, Michael, Cansell, Dominique and Butler, Michael (2007) Validating and Animating Higher-Order Recursive Functions in B. Abrial,, Jean-Raymond and Glässer, Uwe (eds.) Festschrift for Egon Börger.
Satpathy, Manoranjan, Butler, Michael, Leuschel, Michael and Ramesh, S (2007) Automatic Testing from Formal Specifications. International Conference on Tests And Proofs (TAP), ETH Zurich, Switzerland. 12 - 13 Feb 2007.
Butler, Michael, Jones, Cliff, Romanovsky, Alexander and Troubitsyna, Elena (2007) Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMToFT 2007).
Snook, Colin and Butler, Michael (2008) UML-B and Event-B: an integration of languages and tools. The IASTED International Conference on Software Engineering - SE2008, Innsbruck, Austria. 12 - 14 Feb 2008.
Butler, Michael and Hallerstede, Stefan (2007) The Rodin Formal Modelling Tool. In BCS-FACS Christmas 2007 Meeting. BCS.. (In Press)
Rezazadeh, Abdolbaghi, Evans, Neil and Butler, Michael (2007) Redevelopment of an industrial case study using Event-B and Rodin. BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, , London, United Kingdom.
Butler, Michael (2006) On the Verified-by-Construction Approach. FACS FACTS.
Edmunds, Andrew and Butler, Michael (2008) Linking Event-B and Concurrent Object-Oriented Programs. Refine 2008 - International Refinement Workshop, Turku, Finland. (doi:10.1016/j.entcs.2008.06.008).
Damchoom, Kriangsak, Butler, Michael and Abrial, Jean-Raymond (2008) Modelling and proof of a Tree-structured File System in Event-B and Rodin. ICFEM 2008. pp. 25-44 . (doi:10.1007/978-3-540-88194-0_5).
Boerger, Egon, Butler, Michael, Bowen, Jonathan and Boca, Paul (2008) ABZ2008 Conference - Short Papers s.n. (In Press)
Börger, Egon, Butler, Michael, Bowen, Jonathan P. and Boca, Paul (2008) Abstract State Machines, B and Z - First International Conference ABZ 2008 (LNCS, 5238), vol. 5238, Springer
Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan and Voisin, Laurent (2008) A Roadmap for the Rodin Toolset. Abstract State Machines, B and Z, First International Conference ABZ 2008. p. 347 .
Snook, Colin and Butler, Michael (2008) UML-B: A plug-in for the Event-B tool set. Abstract State Machines, B and Z, First International Conference ABZ 2008. p. 347 .
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 (2009) Decomposition Structures for Event-B. Integrated Formal Methods iFM2009, Springer, LNCS 5423.
Said, Mar Yah, Butler, Michael and Snook, Colin (2009) Class and state machine refinement in UML-B. Integration of Model-based Formal Methods and Tools (workshop at iFM 2009).
Ball, Elisabeth and Butler, Michael (2009) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction. In, Butler, M, Jones, C, Romanovsky, A and Troubitsyna, E (eds.) Methods, Models and Tools for Fault Tolerance. (Lecture Notes in Computer Science,, 5454) Springer. (doi:10.1007/978-3-642-00867-2_6).
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.
Butler, Michael, Jones, Cliff B, Romanovsky, Alexander and Troubitsyna, Elena (2009) Methods, Models and Tools for Fault Tolerance (LNCS, 5454), vol. 5454, Springer
Yadav, Divakar and Butler, Michael (2009) Verification of Liveness Properties in Distributed Systems. Second International Conference, IC3 2009, Noida, India. 16 - 18 Aug 2009.
Savicks, Vitaly, Snook, Colin and Butler, Michael (2009) Animation of UML-B State-machines s.n. (Submitted)
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. pp. 579-595 . (doi:10.1007/978-3-642-05089-3_37).
Maamria, Issam, Butler, Michael, Edmunds, Andrew and Rezazadeh, Abdolbaghi (2009) On an Extensible Rule-based Prover for Event-B s.n. (In Press)
Damchoom, Kriangsak and Butler, Michael (2009) Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. SBMF 2009, Gramado, Brazil. 18 - 20 Aug 2009. pp. 134-152 . (doi:10.1007/978-3-642-10452-7).
Abrial, Jean-Raymond, Butler, Michael, Joshi, Rajev, Troubitsyna, Elena and Woodcock, Jim C. P. (2010) 09381 Extended Abstracts Collection — Refinement Based Methods for the Construction of Dependable Systems (Dagstuhl Seminar Proceedings, 9381, 9381), vol. 9381, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
Ripon, Shamim and Butler, Michael (2009) PVS Embedding of cCSP Semantic Models and their Relationship. Electr. Notes Theor. Comput. Sci., 250 (2), 103-118. (doi:10.1016/j.entcs.2009.08.020).
Ireland, Andrew, Grov, Gudmund and Butler, Michael (2010) Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. ABZ 2010, Orford, Canada.
Turner, Edd, Butler, Michael and Leuschel, Michael (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. ABZ 2010, Orford, Canada. (In Press)
Sorge, Jennifer, Poppleton, Mike and Butler, Michael (2010) A Basis for Feature-Oriented Modelling in Event-B. ABZ2010, Orford, Canada. 23 - 25 Feb 2010.
Silva, Renato, Pascal, Carine, Hoang, T. Son and Butler, Michael (2010) Decomposition Tool for Event-B. Workshop on Tool Building in Formal Methods - ABZ Conference, Orford, Quebec, Canada. (Submitted)
Gondal, Ali, Poppleton, Mike, Butler, Michael and Snook, Colin (2010) Feature-Oriented Modelling Using Event-B. International Conference on Software Engineering Theory and Practice (SETP-10), Orlando, FL., United States. 11 - 13 Jul 2010.
Yeganefard, Sanaz, Butler, Michael and Rezazadeh, Abdolbaghi (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215, Washington DC. 12 - 13 Apr 2010. pp. 182-191 .
Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan, Hoang, Thai Son, Mehta, Farhad and Voisin, Laurent (2010) Rodin: an open toolset for modelling and reasoning in Event-B. International Journal on Software Tools for Technology Transfer, 12 (6), 447-466. (doi:10.1007/s10009-010-0145-y).
Maamria, Issam and Butler, Michael (2010) Rewriting and Well-Definedness within a Proof System. Partiality and Recursion in Interactive Theorem Provers PAR-10.
Salehi Fathabadi, Asieh and Butler, Michael (2010) Applying Event-B Atomicity Decomposition to a Multi Media Protocol. FMCO Formal Methods for Components and Objects. pp. 89-104 . (doi:10.1007/978-3-642-17071-3_5).
Silva, Renato, Pascal, Carine, Hoang, Thai Son and Butler, Michael (2011) Decomposition Tool for Event-B. Software: Practice and Experience, 41 (2), 199-208. (doi:10.1002/spe.1002).
Gondal, Ali, Poppleton, Mike and Butler, Michael (2011) Composing Event-B Specifications - Case-Study Experience. Apel, S and Jackson, E (eds.) 10th International Conference on Software Composition, Zurich, Switzerland. 29 - 30 Jun 2011. pp. 100-115 .
Edmunds, Andrew and Butler, Michael (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code. PLACES 2011, Saarbrucken, Germany. (In Press)
Ireland, Andrew, Grov, Gudmund, Llano, Maria Teresa and Butler, Michael (2013) Reasoned modelling critics: turning failed proofs into modelling guidance. [in special issue: Abstract State Machines, Alloy, B and Z - Selected Papers from ABZ 2010] Science of Computer Programming, 78 (3), 293-309. (doi:10.1016/j.scico.2011.03.006).
Salehi Fathabadi, Asieh, Rezazadeh, Abdolbaghi and Butler, Michael (2011) Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. THIRD NASA FORMAL METHODS SYMPOSIUM, Pasadena, California. 17 - 19 Apr 2011.
Silva, Renato and Butler, Michael (2010) Shared Event Composition/Decomposition in Event-B. FMCO Formal Methods for Components and Objects, Graz, Austria. 29 Nov - 01 Dec 2010.
Sarshogh, Mohammad Reza and Butler, Michael (2011) Specification and refinement of discrete timing properties in Event-B. AVoCS 2011, Newcastle. (Submitted)
Butler, Michael and Schulte, Wolfram (2011) FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 , Springer
Colley, John and Butler, Michael (2009) On Proving with Event-B that a Pipelined Processor Model Implements its ISA Specification. Dagstuhl Seminar on Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl.
Edmunds, Andrew, Rezazadeh, Abdolbaghi and Butler, Michael (2011) From Event-B models to code: sensing, actuating, and the environment. SBMF2011, Sao Paulo, Brazil. 25 - 27 Sep 2011. 6 pp .
Snook, Colin, Savicks, Vitaly and Butler, Michael (2011) Verification of UML models by translation to UML-B. Lecture Notes in Computer Science, 6957, 251.
Edmunds, Andrew, Rezazadeh, Abdolbaghi and Butler, Michael (2012) Formal modelling for Ada implementations: tasking Event-B. Ada-Europe 2012: 17th International Conference on Reliable Software Technologies, Stockholm, Sweden. 10 - 14 Jun 2012. 14 pp .
Edmunds, Andrew, Butler, Michael, Maamria, Issam, Silva, Renato and Lovell, Chris (2012) Event-B code generation: type extension with theories. ABZ 2012, Pisa, Italy. 18 - 20 Jun 2012. 4 pp .
Yeganefard, Sanaz and Butler, Michael (2012) Control systems: phenomena and structuring functional requirement documents. 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012)., Paris, France. 17 - 19 Jul 2012. 10 pp . (Submitted)
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.
Lovell, Chris, Edmunds, Andy, Silva, Renato, Maamria, Issam and Butler, Michael (2012) Ensuring extensibility within code generation. Rodin User and Developer Workshop, Fontainebleau, France. 27 - 29 Feb 2012.
Edmunds, Andrew, Lovell, Chris, Silva, Renato, Maamria, Issam and Butler, Michael (2012) Code generation update. Rodin User and Developer Workshop, Fontainebleau, France. 27 - 29 Feb 2012. 2 pp .
Butler, Michael, Salehi Fathabadi, Asieh and Silva, Renato (2012) Event-B and Rodin. In, Boulanger, Jean-Louis (ed.) Industrial Use of Formal Methods: Formal Verification. Chichester, GB. ISTE; Wiley, pp. 215-245.
Salehi Fathabadi, Asieh, Butler, Michael and Rezazadeh, Abdolbaghi (2012) A systematic approach to atomicity decomposition in Event-B. [in special issue: Software Engineering and Formal Methods. 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings] Lecture Notes in Computer Science, 7504, 78-93. (doi:10.1007/978-3-642-33826-7_6).
Butler, Michael (2012) External and internal choice with event groups in Event-B. [in special issue: Celebrating the 60th Birthday of Carroll Morgan] Formal Aspects of Computing, 24 (4-6), 555-567. (doi:10.1007/s00165-012-0239-2).
Edmunds, Andrew, Colley, John and Butler, Michael (2012) Building on the DEPLOY legacy: code generation and simulation. DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B.
Said, Mar Yah (2012) ATM Case study models - UML-B/Event-B. University of Southampton [Dataset]
Butler, Michael (2013) Mastering System Analysis and Design through Abstraction and Refinement. In, Engineering Dependable Software Systems. Summer School on Engineering Dependable Software Systems, Marktoberdorf, Germany, 2012 (01/01/13) IOS Press.
Satpathy, Manoranjan, Snook, Colin, Arora, Silky, Ramesh, S and Butler, Michael (2013) Systematic Development of Control Designs via Formal Refinement. International Conference on Model-Driven Engineering and Software Development.
Colley, John and Butler, Michael (2013) A Formal, Systematic Approach to STPA using Event-B Refinement and Proof. 21th Safety Critical System Symposium.
Butler, Michael, Colley, John, Edmunds, Andrew, Snook, Colin, Evans, Neil, Grant, Neil and Marshall, Helen (2013) Modelling and Refinement in CODA. Refine. pp. 36-51 .
Satpathy, M., Ramesh, S., Snook, Colin, Singh, N.K. and Butler, Michael (2013) A Mixed Approach to Rigorous Development of Control Designs. IEEE Multi-Conference on Systems and Control (MSC 2013).
Butler, Michael and Maamria, Issam (2013) Practical Theory Extension in Event-B. Festschrift Symposium in Honour of He Jifeng on the Occasion of His 70th Birthday.
Yeganefard, Sanaz and Butler, Michael (2013) Problem Decomposition and Sub-Model Reconciliation of Control Systems in Event-B. IEEE International Workshop on Formal Methods Integration.
Banach, Richard and Butler, Michael (2013) Cruise Control in Hybrid Event-B. International Colloquium on Theoretical Aspects of Computing (ICTAC).
Banach, Richard and Butler, Michael (2013) A Hybrid Event-B Study of Lane Centering. Complex Systems Design & Management (CSD&M) 2013.
Dghaym, Dana, Butler, Michael and Salehi Fathabadi, Asieh (2014) Evaluation of graphical control flow management approaches for Event-B modelling. Proceedings of the 13th International Workshop on Automated Verification of Critical Systems (AVocS 2013), Guildford, United Kingdom. 15 pp . (doi:10.14279/tuj.eceasst.66.891).
Bicknell, Brett, Reis, Jose, Butler, Michael, Colley, John and Snook, Colin (2012) A Practical Approach for Closed Systems Formal Verification Using Event-B. 10th International Conference on Software Engineering and Formal Methods (SEFM 2012). pp. 323-332 .
Butler, Michael, Voisin, Laurent and Muller, Thomas (2013) Tooling in DEPLOY. In, Romanovsky, Alexander and Thomas, Martin (eds.) Industrial Deployment of System Engineering Methods. Springer.
Said, Mar Yah, Butler, Michael and Snook, Colin (2015) A method of refinement in UML-B. Software and Systems Modeling, 14 (4), 1557–1580. (doi:10.1007/s10270-013-0391-z).
Alkhammash, Eman, Salehi Fathabadi, Asieh, Butler, Michael and Cirstea, Corina (2013) Building Traceable Event-B Models from Requirements. Automated Verification of Critical Systems (AVoCS 2013).
Savicks, Vitaly, Butler, Michael, Bendisposto, Jens and Colley, John (2013) Co-simulation of Event-B and Continuous Models in Rodin. 4th Rodin User and Developer Workshop.
Pereverzeva, Inna, Butler, Michael and Salehi Fathabadi, Asieh et al. (2014) Formal derivation of distributed MapReduce. 4th International ABZ 2014 Conference, , Toulouse, France. 01 - 05 Jun 2014. 17 pp .
Chaudemar, Jean-Charles, Savicks, Vitaly, Butler, Michael and Colley, John (2014) Co-simulation of Event-B and Ptolemy II Models via FMI. Embedded Real-time software and systems (ERTSS 2014).
Reis, Jose, Bicknell, Brett, Butler, Michael and Colley, John (2014) Innovative Approach for Requirements Verification of Closed Systems. Embedded Real-time software and systems (ERTSS 2014).
Savicks, Vitaly, Butler, Michael and Colley, John (2014) Co-simulation environment for Rodin: landing gear case study. 4th International ABZ 2014 Conference, , Toulouse, France. 01 - 05 Jun 2014. (doi:10.1007/978-3-319-07512-9_11).
Savicks, Vitaly, Butler, Michael, Colley, John and Bendisposto, Jens (2014) Rodin multi-simulation plug-in. 5th Rodin User and Developer Workshop, Toulouse, Toulouse, France. 01 - 02 Jun 2014.
Savicks, Vitaly, Butler, Michael and Colley, John (2014) Co-simulating Event-B and continuous models via FMI. 2014 Summer Computer Simulation Conference, Monterey, United States. 05 - 09 Jul 2014.
Salehi Fathabadi, Asieh, Snook, Colin and Butler, Michael (2014) Applying an integrated modelling process to run-time management of many-core systems. 11th International Conference on Integrated Formal Methods (iFM), Bertinoro, Italy. 08 - 10 Sep 2014.
Salehi Fathabadi, Asieh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) Language and tool support for event refinement structures in Event-B. Formal Aspects of Computing, 27 (3), 499-523. (doi:10.1007/s00165-014-0311-1).
Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) From Event-B models to Dafny code contracts. 6th IPM International Conference on Fundamentals of Software Engineering, Tehran, Iran, Islamic Republic of. 21 - 23 Apr 2015.
Butler, Michael, Abrial, Jean-Raymond and Banach, Richard (2016) Modelling and Refining Hybrid Systems in Event-B and Rodin. In, Petre, Luigia and Sekerinski, Emil (eds.) From Action System to Distributed Systems: The Refinement Approach. Taylor & Francis. (doi:10.1201/b20053-5).
Alkhammash, Eman, Butler, Michael, Fathabadi, Asieh Salehi and Cîrstea, Corina (2015) Building traceable Event-B models from requirements. Science of Computer Programming, 1- 21. (doi:10.1016/j.scico.2015.06.002).
Banach, Richard, Butler, Michael, Qin, Shengchao, Verma, Nitika and Zhu, Huibiao (2015) Core Hybrid Event-B I: Single Hybrid Event-B machines. Science of Computer Programming, 105, 92-123. (doi:10.1016/j.scico.2015.02.003).
Eleftherakis, George, Butler, Michael and Hinchey, Mike (2015) Editorial. Formal Asp. Comput., 27 (3), 473. (doi:10.1007/s00165-015-0335-1).
Wilkinson, Toby, Butler, Michael and Colley, John (2014) A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems. Model-Based Safety and Assessment - 4th International Symposium, {IMBSA} 2014, Munich, Germany, October 27-29, 2014. Proceedings. pp. 43-56 . (doi:10.1007/978-3-319-12214-4_4).
Salehi Fathabadi, Asieh, Maeda-Nunez, Luis Alfonso, Butler, Michael, Al-Hashimi, Bashir and Merrett, Geoff (2015) Towards automatic code generation of run-time power management for embedded systems using formal methods. 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-15), Turin, Italy. 22 - 24 Sep 2015. 8 pp .
Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) Transforming Event-B models to Dafny contracts. 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), Edinburgh, United Kingdom. 31 Aug - 03 Sep 2015.
Wilkinson, Toby, Butler, Michael, Paxton, Martin and Waldron, Xanthippe (2015) A Formal Approach to Multi-UAV Route Validation. Fourth International Workshop on Formal Techniques for Safety-Critical Systems.
Butler, Michael (2016) Lectures on Modelling and Verification in Event-B. Spring School on Engineering Trustworthy Software Systems 2016, Chongqinq, China.
Dghaym, Dana, Trindade, Matheus Garay, Butler, Michael and Salehi Fathabadi, Asieh (2016) A graphical tool for event refinement structures in Event-B. Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Linz, Austria. pp. 269-274 . (doi:10.1007/978-3-319-33600-8_20).
Hoang, Thai Son, Snook, Colin, Ladenberger, Lukas and Butler, Michael (2016) Validating the requirements and design of a hemodialysis machine using iUML-B, BMotion Studio, and co-simulation. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. pp. 360-375 . (doi:10.1007/978-3-319-33600-8_31).
Darbari, Ashish, Singleton, Iain, Butler, Michael and Colley, John (2016) Formal modelling, testing and verification of HSA memory models using Event-B Southampton, GB. University of Southampton 9pp.
Hoang, Thai Son, Snook, Colin, Ladenberger, Lukas and Butler, Michael (2016) Formal specification of a Haemodialysis Machine (HD Machine) using Event-B. University of Southampton [Dataset]
Butler, Michael (2017) Reasoned modelling with Event-B. In, Bowen, Jonathan P., Liu, Zhiming and Zhang, Zili (eds.) Engineering Trustworthy Software Systems. (Lecture Notes in Computer Science, 10215) Heidelberg, DE. Springer, pp. 51-109. (doi:10.1007/978-3-319-56841-6).
Al-Brashdi, Ahmed, Butler, Michael, Rezazadeh, Abdolbaghi and Snook, Colin (2016) Tool support for model-based database design with Event-B. Ogata, K, Lawford, M and Liu, S (eds.) In Formal Methods and Software Engineering: ICFEM 2016. vol. 10009, Springer. pp. 210-225 . (doi:10.1007/978-3-319-47846-3_14).
Banach, Richard and Butler, Michael (2016) Modelling hybrid systems in Event-B and Hybrid Event-B: a comparison of water tanks. Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, {ICFEM} 2016, Proceedings, Tokyo, Japan. 14 - 18 Nov 2016. pp. 90-105 . (doi:10.1007/978-3-319-47846-3_7).
Alkhammash, Eman, Butler, Michael and Cirstea, Corina (2016) Modeling guidelines of FreeRTOS in Event-B. Communication, Management and Information Technology: Proceedings of the International Conference on Communication, Management and Information Technology (Iccmit 2016). pp. 453-462 .
Salehi Fathabadi, Asieh, Butler, Michael and Snook, Colin (2016) Extending Code Generation to Support Platform-Independent Event-B Models. Rodin Developer Workshop, 2016. p. 21 .
Snook, Colin, Hoang, Thai Son and Butler, Michael (2016) iUML-B model of VLAN system. University of Southampton doi:10.5258/SOTON/403533 [Dataset]
Banach, Richard, Butler, Michael, Qin, Shengchao and Zhu, Huibao (2017) Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Science of Computer Programming, 139, 1-35. (doi:10.1016/j.scico.2016.12.003).
Hoang, Son, Voisin, Laurent, Salehi Fathabadi, Asieh, Butler, Michael, Wilkinson, Toby and Beauger, Nicolas (2017) Theory plug-in for Rodin 3.x. arXiv, abs/1701.08625, 1-9.
Hoang, Thai Son, Salehi Fathabadi, Asieh, Butler, Michael and Voisin, Laurent (2016) Theory plug-in for Rodin 3.x. 6th Rodin User and Developer Workshop, Linz, Austria. 22 May 2016. 2 pp .
Howard, Giles, Butler, Michael, Colley, John and Sassone, Vladimiro (2017) Formal analysis of safety and security requirements of critical systems supported by an extended STPA methodology. 2nd Workshop on Safety & Security aSSurance, , Paris, France. 29 Apr 2017. 6 pp . (In Press) (doi:10.1109/EuroSPW.2017.68).
Snook, Colin, Hoang, Thai Son and Butler, Michael (2017) Analysing security protocols using refinement in iUML-B. In, Barrett, Clark, Davies, Misty and Kahsai, Temesghen (eds.) NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. (Lecture Notes in Computer Science, 10227) 9th NASA Formal Methods Symposium (15/05/17 - 18/05/17) Springer, pp. 84-98. (doi:10.1007/978-3-319-57288-8_6).
Dalvandi, Mohammad Sadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2017) Derivation of algorithmic control structures in Event-B refinement. Science of Computer Programming, 148, 49-65, [SCICO2103]. (doi:10.1016/j.scico.2017.05.010).
Hoang, Thai Son, Snook, Colin, Dghaym, Dana and Butler, Michael (2017) Class diagrams for Abstract Data Types. Hung, D. and Kapur, D. (eds.) In Theoretical Aspects of Computing – ICTAC 2017. vol. 10580, Springer. pp. 100-117 . (doi:10.1007/978-3-319-67729-3_7).
Butler, Michael, Dghaym, Dana, Fischer, Tomas, Hoang, Thai Son, Reichl, Klaus, Snook, Colin and Tummeltshammer, Peter (2017) Formal modelling techniques for efficient development of railway control products. Fantechi, A., Lecomte, T. and Romanovsky, A. (eds.) In RSSRail 2017 : Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. vol. 10598, Springer.. (doi:10.1007/978-3-319-68499-4_5).
Hoang, Thai, Snook, Colin, Dghaym, Dana and Butler, Michael (2017) RailGround using Theory plug-in. University of Southampton doi:10.5258/SOTON/D0162 [Dataset]
Bogdiukiewicz, Chris, Butler, Michael, Hoang, Thai Son, Paxton, Martin, Snook, James, Harvey, Waldron, Xanthippe and Wilkinson, Toby (2017) Formal development of policing functions for intelligent systems. In 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE). IEEE. 11 pp . (doi:10.1109/ISSRE.2017.40).
Snook, Colin, Dghaym, Dana, Hoang, Thai Son, Butler, Michael, Reichl, Klaus, Fischer, Tomas and Tummeltshammer, Peter (2017) Railground RSSRail models - iUML-B/Event-B. University of Southampton doi:10.5258/SOTON/D0184 [Dataset]
Bogdiukiewicz, Chris, Butler, Michael, Hoang, Thai Son, Paxton, Martin, Snook, James, Harvey, Waldron, Xanthippe and Wilkinson, Toby (2017) Route Validation in Event-B. University of Southampton doi:10.5258/SOTON/D0217 [Dataset]
Hoang, Thai Son, Dghaym, Dana, Snook, Colin and Butler, Michael (2018) A composition mechanism for refinement-based methods. In Proceedings 2017 22nd International Conference on Engineering of Complex Computer Systems: ICECCS 2017. IEEE. 10 pp . (doi:10.1109/ICECCS.2017.27).
Dghaym, Dana, Butler, Michael and Salehi Fathabadi, Asieh (2018) Extending ERS for modelling dynamic workflows in Event-B. 22nd International Conference on Engineering of Complex Computer Systems, The Kyushu University, Fukuoka, Japan. 05 - 08 Nov 2017. pp. 20-29 . (doi:10.1109/ICECCS.2017.29).
Hoang, Thai Son, Dghaym, Dana, Snook, Colin and Butler, Michael (2017) Development of a System Controlling Cars on a Bridge using Machine Inclusion. University of Southampton doi:10.5258/SOTON/D0237 [Dataset]
Hoang, Thai Son, Snook, Colin, Salehi Fathabadi, Asieh, Butler, Michael and Ladenberger, Lukas (2017) Validating and verifying the requirements and design of a haemodialysis machine using the rodin toolset. Science of Computer Programming. (doi:10.1016/j.scico.2017.11.002).
Al-Brashdi, Ahmed, Zahran Nasser, Butler, Michael and Rezazadeh, Abdolbaghi (2018) Incremental database design using UML-B and Event-B. 2nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, , Xi'an, China. 16 Nov 2017. pp. 34-47 . (doi:10.4204/EPTCS.271.3).
Salehi Fathabadi, Asieh, Butler, Michael J., Yang, Sheng, Maeda-Nunez, Luis, Bantock, James, Al-Hashimi, Bashir M. and Merrett, Geoff V. (2018) A model-based framework for software portability and verification in embedded power management systems. Journal of Systems Architecture, 82, 12-23. (doi:10.1016/j.sysarc.2017.12.001).
Zhu, Chenyang, Butler, Michael and Cirstea, Corina (2018) Refinement of timing constraints for concurrent tasks with scheduling. Butler, M., Raschke, A., Hoang, T. and Reichl, K. (eds.) In Abstract State Machines, Alloy, B, TLA, VDM, and Z: ABZ 2018. vol. 10817, Springer. pp. 219-233 . (doi:10.1007/978-3-319-91271-4).
Dalvandi, Mohammad Sadegh, Butler, Michael, Rezazadeh, Abdolbaghi and Salehi Fathabadi, Asieh (2018) Verifiable code generation from scheduled event-B models. In Abstract State Machines, Alloy, B, TLA, VDM, and Z: ABZ 2018. vol. 10817, Springer. pp. 1-15 . (doi:10.1007/978-3-319-91271-4_16).
Dalvandi, Mohammad Sadegh, Salehi Fathabadi, Asieh and Butler, Michael (2018) Using formal methods for automatic platform-independent code generation of run-time management. University Booth at DATE 2018, Maritim Hotel & Internationales Congress Center, Dresden, Germany. 19 - 22 Mar 2018.
Dalvandi, Mohammad Sadegh and Butler, Michael (2014) Towards verified implementation of Event-B models in Dafny. 5th Rodin User and Developer Workshop, Toulouse, Toulouse, France. 01 - 02 Jun 2014.
Butler, Michael and Schewe, Klaus Dieter (2018) Introduction to the ABZ 2016 Special issue. Science of Computer Programming. (doi:10.1016/j.scico.2018.01.005).
Dalvandi, Mohammad Sadegh, Salehi Fathabadi, Asieh and Butler, Michael (2018) A report on PRiME code generation activities. 7th Rodin Workshop, , Southampton, United Kingdom. 04 Jun 2018.
Zhu, Chenyang, Butler, Michael and Cirstea, Corina (2018) Semantics of real-time trigger-response properties in Event-B. In 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE. pp. 150-156 . (doi:10.1109/TASE.2018.00028).
Al-Brashdi, Ahmed, Zahran Nasser, Butler, Michael and Rezazadeh, Abdolbaghi (2018) UB2DB Rodin plug-in for automated database code generation. 7th Rodin Workshop, , Southampton, United Kingdom. 04 Jun 2018. pp. 1-2 .
Hoang, Thai Son, Sato, Naoto, Myosin, Tomoyuki, Butler, Michael, Nakagawa, Yuichiroh and Ogawa, Hideto (2018) Policing functions for machine learning systems. Workshop on Verification and Validation of Autonomous Systems: Satellite Workshop of Floc 2018, University of Oxford, Oxford, United Kingdom. 18 - 19 Jul 2018. 10 pp . (In Press)
Hoang, Thai Son, Butler, Michael and Reichl, Klaus (2018) The hybrid ERTMS/ETCS level 3 case study. In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Proceedings. vol. 10817 LNCS, Springer-Verlag. pp. 251-261 . (doi:10.1007/978-3-319-91271-4_17).
Hoang, Thai Son and Butler, Michael (2018) Rodin Developments for Formal Policing Functions based on Metamorphic Relations. University of Southampton doi:10.5258/SOTON/D0528 [Dataset]
Snook, James, Harvey, Butler, Michael and Hoang, Thai Son (2018) Developing a new language to construct algebraic hierarchies for Event-B. In Dependable Software Engineering. Theories, Tools, and Applications: SETTA 2018. vol. 10998, Springer. pp. 135-141 . (doi:10.1007/978-3-319-99933-3_9).
Snook, Colin, Hoang, Thai Son, Dghaym, Dana, Butler, Michael, Fischer, Tomas, Schlick, Rupert and Wang, Keming (2018) Behaviour-driven formal model development. Sun, J. and Sun, M. (eds.) In Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Springer. pp. 21-36 . (doi:10.1007/978-3-030-02450-5_2).
Morris, Karla, Snook, Colin, Hoang, Thai Son, Armstrong, Robert and Butler, Michael (2018) Refinement of statecharts with run-to-completion semantics. The Sixth International Workshop on Formal Techniques for Safety-Critical Systems, , Gold Coast, Australia. 16 Nov 2018.
Butler, Michael, Raschke, Alexander, Hoang, Thai Son and Reichl, Klaus (2018) Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10817, III-VI.
Dghaym, Dana, Snook, Colin, Hoang, Thai Son and Butler, Michael (2018) Reusing formal models via lifting. In Proceedings - 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018. vol. 2018-December, Institute of Electrical and Electronics Engineers Inc. pp. 189-192 . (doi:10.1109/ICECCS2018.2018.00029).
Sato, Naoto, Kuruma, Hironobu, Kaneko, Masanori, Nakagawa, Yuichiroh, Ogawa, Hideto, Hoang, Thai Son and Butler, Michael (2018) DeepSaucer: Unified environment for verifying Deep Neural Networks. arXiv.
Howard, Giles, Butler, Michael, Colley, John and Sassone, Vladimiro (2019) A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. International Journal of Critical Computer-Based Systems, 56-75. (doi:10.1504/IJCCBS.2019.098815).
Omitola, Temitope, Downes, Jonathan, Wills, Gary, Zwolinski, Mark and Butler, Michael (2018) Securing navigation of unmanned maritime systems. Schillai, Sophia M. and Townsend, Nicholas C. (eds.) In Proceedings of the 11th International Robotic Sailing Conference: Southampton, United Kingdom, August 31st - September 1st, 2018. vol. 2331, CEUR-WS. pp. 53-62 .
Zhu, Chenyang, Butler, Michael and Cirstea, Corina (2019) Towards refinement semantics of real-time trigger-response properties in Event-B. 13th International Symposium on Theoretical Aspects of Software Engineering, Guilin, Guilin, China. 29 Jul - 01 Aug 2019. 8 pp .
Salehi Fathabadi, Asieh, Dalvandi, Mohammad Sadegh and Butler, Michael (2019) Developing portable embedded software for multicore systems through formal abstraction and refinement. In, Al-Hashimi, Bashir M. and Merrett, Geoff V. (eds.) Many-Core Computing: Hardware and Software. Institute of Engineering and Technology, IET.
Snook, Colin, Hoang, Thai Son, Dghaym, Dana and Butler, Michael (2019) Domain-specific scenarios for refinement-based methods. Attiogbe, C., Ferrarotti, F. and Maabout, S. (eds.) In DETECT 2019: moDeling, vErification and Testing of dEpendable CriTical systems. Springer. pp. 18-31 . (doi:10.1007/978-3-030-32213-7_2).
Omitola, Temitope, Butler, Michael and Rezazadeh, Abdolbaghi (2019) Making (implicit) security requirements explicit for cyber-physical systems: A maritime use case security analysis. Anderst-Kotsis, G., Tjoa, A. and Khalil, I. (eds.) In Database and Expert Systems Applications. vol. 1062, Springer. pp. 75-84 . (doi:10.1007/978-3-030-27684-3_11).
Zhu, Chenyang (2019) Dataset for 'Formalizing Hierarchical Scheduling for Refinement of Real-Time Systems'. University of Southampton doi:10.5258/SOTON/D1075 [Dataset]
Dghaym, Dana, Turnock, Stephen, Butler, Michael, Downes, Jonathan, Hoang, Thai Son and Pritchard, Ben (2019) Developing a framework for trustworthy autonomous maritime systems. Valdez Banda, Osiris Alejandro, Kujala, Pentti, Hirdaris, Spyros and Basnet, Sunil (eds.) In Proceedings of the International Seminar on Safety and Security of Autonomous Vessels (ISSAV) and European STAMP Workshop and Conference (ESWC) 2019: ISSAV 2019. Sciendo. pp. 73-82 . (doi:10.2478/9788395669606-007).
Butler, Michael, Dghaym, Dana, Hoang, Thai Son, Omitola, Temitope, Snook, Colin, Fellner, Andreas, Schlick, Rupert, Tarrach, Thorsten, Fischer, Tomas and Tummeltshammer, Peter (2019) Behaviour-driven formal model development of the ETCS hybrid level 3. In The 24th International Conference on Engineering Of Complex Computer Systems: ICECCS 2019. pp. 1-10 . (In Press)
Dalvandi, Mohammad Sadegh, Butler, Michael and Salehi Fathabadi, Asieh (2019) SEB-CG: Code generation tool with algorithmic refinement support for Event-B. Practical Formal Verification for Software Dependability: co-located with the Formal Methods 2019 (FM'19), , Porto, Portugal. 07 Oct 2019.
Salehi Fathabadi, Asieh, Dalvandi, Mohammadsadegh, Butler, Michael and Al-Hashimi, Bashir M. (2019) Verifying cross-layer interactions through formal model-based assertion generation. IEEE Embedded Systems Letters. (doi:10.1109/LES.2019.2955316).
Zhu, Chenyang, Butler, Michael and Cirstea, Corina (2020) Formalizing hierarchical scheduling for refinement of real-time systems. Science of Computer Programming, 189, [102390]. (doi:10.1016/j.scico.2020.102390).
Zhu, Chenyang, Butler, Michael and Cirstea, Corina (2020) Real-time trigger-response properties for Event-B applied to the pacemaker. In The 14th International Symposium on Theoretical Aspects of Software Engineering. IEEE. 8 pp . (In Press)
Butler, Michael, Hoang, Thai Son, Raschke, Alexander and Reichl, Klaus (2020) Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3. International Journal on Software Tools for Technology Transfer, 22 (3), 249-255. (doi:10.1007/s10009-020-00562-3).
Fischer, Tomas, Reichl, Klaus, Tummeltshammer, Peter, Hoang, Thai Son and Butler, Michael (2020) Validation of railway control systems. In, Leitner, A., Watzenig, D. and Ibanez-Guzman, J. (eds.) Validation and Verification of Automated Systems. (HASH(0xd25dda8)) Cham. Springer International Publishing, pp. 221-229. (doi:10.1007/978-3-030-14628-3_17).
Zhu, Chenyang, Butler, Michael and Cirstea, Corina (2020) Trace semantics and refinement patterns for real-time properties in event-B models. Science of Computer Programming, 197, [102513]. (doi:10.1016/j.scico.2020.102513).
Snook, Colin, Hoang, Thai Son, Dghaym, Dana, Butler, Michael and Salehi Fathabadi, Asieh (2020) Dataset for: Domain-Specific Scenarios for Refinement-based Methods. University of Southampton doi:10.5258/SOTON/D1026 [Dataset]
Snook, Colin, Hoang, Thai Son, Dghaym, Dana, Salehi Fathabadi, Asieh and Butler, Michael (2021) Domain-specific scenarios for refinement-based methods. Journal of Systems Architecture, 112, [101833].
Hoang, Thai Son, Voisin, Laurent and Butler, Michael (2020) Domain-specific developments using Rodin theories. In, Ait-Ameur, Yamine, Nakajima, Shin and Méry, Dominique (eds.) Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems: Communications of NII Shonan Meetings. Springer Nature.
Morris, Karla, Snook, Colin, Hoang, Thai Son, Hulette, G., Armstrong, Robert and Butler, Michael (2020) Formal verification of run-to-completion style statecharts using Event-B. Muccini, Henry, Avgeriou, Paris, Buhnova, Barbora, Camara, Javier, Caporuscio, Mauro, Franzago, Mirco, Koziolek, Anne, Scandurra, Patrizia, Trubiani, Catia, Weyns, Danny and Zdun, Uwe (eds.) In Software Architecture. ECSA 2020.: Communications in Computer and Information Science. vol. 1269, Springer, Cham. pp. 311-325 . (doi:10.1007/978-3-030-59155-7_24).
Dghaym, Dana, Hoang, Thai Son, Turnock, Stephen, Butler, Michael, Downes, Jon and Pritchard, Ben (2021) An STPA-based formal composition framework for trustworthy autonomous maritime systems. Safety Science, 136 (0925-7535), [105139]. (doi:10.1016/j.ssci.2020.105139).
Hoang, Thai Son, Snook, Colin, Dghaym, Dana, Salehi Fathabadi, Asieh and Butler, Michael (2021) The CamilleX Framework for the Rodin Platform. ABZ 2021- 8th International Conference on Rigorous State Based Methods: ABZ 2021, virtual. 07 - 11 Jun 2021. pp. 124-129 .
Salehi Fathabadi, Asieh, Snook, Colin, Hoang, Thai Son, Dghaym, Dana and Butler, Michael (2021) Extensible Record Structures in Event-B. ABZ 2021- 8th International Conference on Rigorous State Based Methods: ABZ 2021, virtual. 07 - 11 Jun 2021. pp. 130-136 .
Dghaym, Dana, Hoang, Thai Son, Butler, Michael, Hu, Runshan, Aniello, Leonardo and Sassone, Vladimiro (2021) Verifying System-level Security of a Smart Ballot Box. In ABZ 2021 – 8th International Conference on Rigorous State Based Methods: ABZ 2021. Springer Nature Switzerland AG. 16 pp . (In Press)
Zhu, Chenyang, Butler, Michael, Cirstea, Corina and Hoang, Thai Son (2021) Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions. In Proceedings of TASE2021 Conference. (In Press)
Salehi Fathabadi, Asieh, Snook, Colin, Hoang, Thai Son, Dghaym, Dana and Butler, Michael (2021) Refinable record structures in formal methods. The International Workshop DETECT 2021. pp. 3-15 .
Hoang, Thai Son, Snook, Colin, Salehi Fathabadi, Asieh, Dghaym, Dana and Butler, Michael (2021) Towards CamilleX 3.0. 9th Rodin User and Developer Workshop, virtual. 08 - 11 Jun 2021.
Snook, Colin, Hoang, Thai Son, Salehi Fathabadi, Asieh, Dghaym, Dana and Butler, Michael (2021) Scenario Checker: An Event-B tool for validating abstract models. 9th Rodin User and Developer Workshop, virtual. 08 - 11 Jun 2021.
Morris, K., Snook, C., Hoang, T. S., Hulette, G., Armstrong, R. and Butler, M. (2022) Formal verification and validation of run-to-completion style state charts using Event-B. Innovations in Systems and Software Engineering. (doi:10.1007/s11334-021-00416-4).
Alotaibi, Fahad, Abduallah, Hoang, Thai Son and Butler, Michael (2022) High-level rigorous template for analysing safety properties of self-driving vehicle systems. In COMPSAC 2022. (In Press)
Rodney is a visitor at the University of Southampton school for Electronics and Computer Science, where he acts as an Industry Advisor to the Centre for Medical Technology. He also maintains links to the Research and Innovation Services (RIS) by providing consultancy support for Regulatory Affairs to groups within the university and is also active within the Fortisnet group run as part of the Institute of Life Sciences.
Dr Rodney Lane is the Design Directors and co-owner of Zelemiq Ltd.
Zelemiq is a med-tech company which is working on novel control systems for rehabilitation medical devices used to treat the effects of paralysis, and non-invasive methods of monotoring blood glucose levels for application to diabetes. Rodney has an extensive knowledge of the design and regulatory requirements for developing medical devices. He has degrees in Electronics Engineering and Behavioural studies as well as a PhD in the novel use of bio-signals for the control of wearable medical systems used to treat the effects of paralysis and is a named inventor on four medical device patents. He previously led the New Product Development team for the NHS spin-out company Odstock Medical Ltd. at Salisbury Hospital. He went on to work at The University of Southampton in a technology transfer role before co-founding Zelemiq Ltd.in 2017. He has clinical experience having worked for many years as a biomedical engineer in a research capacity, this along with the understanding of regulatory affairs makes him ideally capable of managing or contributing project were there is a responsibility for the proper carrying out of clinical studies.
Biosignal feedback control of body-worn medical devices
Combined heat and power solar systems
The relevance and importance of researching and developing within a regulatory affairs framework as a way to ensure a sucessful commercialisation.
Medical device regulatory affairs
Lane, R.P., Chappell, P.H. and Matthews, M.J.A. (2015) Combined dropfoot treatment using dynamic splinting with FES: a case study. IFESS15: Fifth Conference of the UK and Ireland Chapter of the International Functional Electrical Stimulation Society. 07 - 08 May 2015. p. 63 .
Telephone: +44 (0) 23 8059 7847534002
Email: r.p.lane@soton.ac.uk
I am an Assistant Professor at the Agents Interaction and Complexity Group, Electronics and Computer Science at the University of Southampton. Prior to Southampton I was a recipient of the prestigious Marie Curie research fellow award and hosted at the University of York. This followed previous research fellow appointments at the UPMC (France), Gulbenkian Institute of Science (Portugal), Institute for Systems and Robotics (Portugal), Swiss Federal Institute of Technology (Switzerland), and University of Lausanne (Switzerland) where I obtained my doctoral degree in Life Science. I have a Masters degree in Computer Science from the Indian Institute of Technology, Bombay.
Through the development and application of theoretical models, agent-based models, multi-scale stochastic simulations, and the physical instantiation of biological models in robots, I have addressed a diverse range of important problems in, task allocation and division of labor in large-scale multiagent systems, immunological maintenance of self-tolerance in the adaptive immune system, and fault-detection and fault-tolerance in both single-robot systems and large-scale robot swarms. Research on resilient robots that I have collaborated on has been featured on the front cover of the Nature magazine and received widespread media coverage. The work was covered by around 40 news outlets (including BBC News, CBC, Washington Post, The Guardian, The New York Times, and BBC Radio), and by over 15 science and technology blogs (including IEEE Spectrum, CNET, Science/AAAS, Phys.org, Tech Times, Wired.co.uk and Robotics Trends). The accompanying videos demonstrating robot damage recovery received over 225k views on YouTube.
My research aims to push robot swarms currently operating in carefully controlled laboratory environments out into the real world.
Robot swarms to date are frail systems, unprepared for long-term autonomy. They require hours of learning to adapt their behavior, to recover from faults inevitably sustained during operation. My research aims to remedy this situation by developing an algorithmic framework allowing robots in a swarm to robustly detect faults in each other, and adapt rapidly to unforeseen situations in their environment.
As an early career researcher, I have secured over £400K of research funding. I am currently PI on an EPSRC New Investigator grant to develop data-efficient learning algorithms for rapid behavior adaptation in robot swarms. Am also a Co-PI on a Turing pilot project formulating scalable human-swarm interactions for flexible autonomy.
Tarapore, Danesh, Lungarella, Max and Gómez, Gabriel (2006) Quantifying patterns of agent--environment interaction. Robotics and Autonomous Systems, 54 (2), 150-158.
Tarapore, Danesh, Christensen, Anders Lyhne, Lima, Pedro U and Carneiro, Jorge (2012) Environment classification in multiagent systems inspired by the adaptive immune system. In Proceedings of the 13th International Conference on the Simulation and Synthesis of Living Systems, Artificial Life. vol. 13, pp. 275-282 .
Tarapore, Danesh, Floreano, Dario and Keller, Laurent (2010) Task-dependent influence of genetic architecture and mating frequency on division of labour in social insect societies. Behavioral Ecology and Sociobiology, 64 (4), 675-684.
Lichocki, Pawel, Tarapore, Danesh, Keller, Laurent and Floreano, Dario (2012) Neural networks as mechanisms to regulate division of labor. The American Naturalist, 179 (3), 391-400.
Tarapore, Danesh, Christensen, Anders Lyhne, Lima, Pedro U and Carneiro, Jorge (2012) Clonal expansion without self-replicating entities. In International Conference on Artificial Immune Systems. pp. 191-204 .
Tarapore, Danesh, Christensen, Anders Lynhe, Lima, Pedro U and Carneiro, Jorge (2013) Abnormality detection in multiagent systems inspired by the adaptive immune system. In Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems. pp. 23-30 .
Tarapore, Danesh and Mouret, J-B (2014) Comparing the evolvability of generative encoding schemes. In Artificial Life 14: Fourteenth International Conference on the Synthesis and Simulation of Living Systems. pp. 55-62 .
Tarapore, Danesh, Christensen, Anders Lyhne and Timmis, Jon (2015) Abnormality detection in robots exhibiting composite swarm behaviours. In Proceedings of the 13th European Conference on Artificial Life (ECAL). MIT Press. pp. 406-413 .
Tarapore, Danesh, Lima, Pedro U., Carneiro, Jorge and Christensen, Anders Lyhne (2015) To err is robotic, to tolerate immunological: fault detection in multirobot systems. Bioinspiration & Biomimetics, 10 (1), [016014]. (doi:10.1088/1748-3190/10/1/016014).
Tarapore, Danesh and Mouret, Jean-Baptiste (2015) Evolvability signatures of generative encodings: Beyond standard performance benchmarks. Information Sciences, 313, 43-61. (doi:10.1016/j.ins.2015.03.046).
Cully, Antoine, Clune, Jeff, Tarapore, Danesh and Mouret, Jean-Baptiste (2015) Robots that can adapt like animals. Nature, 521 (7553), 503-507. (doi:10.1038/nature14422).
Tarapore, Danesh, Clune, Jeff, Cully, Antoine and Mouret, Jean-Baptiste (2016) How do different encodings influence the performance of the MAP-Elites algorithm? In GECCO '16 Proceedings of the 2016 on Genetic and Evolutionary Computation Conference. ACM Press. pp. 173-180 . (doi:10.1145/2908812.2908875).
Gomez, Gabriel, Lungarella, Max and Tarapore, Danesh (2006) Information-theoretic approach to embodied category learning. In Artificial Life X: Proceedings of the Tenth International Conference on the Simulation and Synthesis of Living Systems. MIT Press. pp. 332-337 .
Tarapore, Danesh, Lungarella, Max and Gómez, Gabriel (2004) Fingerprinting agent-environment interaction via information theory. In The Eighth International Conference on Intelligent Autonomous Systems (IAS-8). pp. 512-520 .
Tarapore, Danesh, Floreano, Dario and Keller, Laurent (2006) Influence of the level of polyandry and genetic architecture on division of labour. Rocha, Luis Mateus, Yaeger, Larry S., Bedau, Mark A., Floreano, Dario, Goldstone, Robert L. and Vespignani, Alessandro (eds.) In Artificial Life X: Proceedings of the Tenth International Conference on the Simulation and Synthesis of Living Systems. MIT Press. pp. 358-364 .
Tarapore, Danesh, Lima, Pedro U, Carneiro, Jorge and Christensen, Anders Lyhne (2014) Optimizing the crossregulation model for scalable abnormality detection. In Artificial Life 14: Proceedings of the Fourteenth International Conference on the Simulation and Synthesis of Living Systems. MIT Press..
Lichocki, Pawel, Tarapore, Danesh, Keller, Laurent and Floreano, Dario (2012) Limitations of response thresholds models of division of labor. Adami, Cristoph, Bryson, David M., Ofria, Charles and Pennock, Robert T. (eds.) In Artificial Life 13: Proceedings of the Thirteenth International Conference on the Simulation and Synthesis of Living Systems. MIT Press. pp. 561-562 .
O’Keeffe, James, Tarapore, Danesh, Millard, Alan G and Timmis, Jon (2017) Towards fault diagnosis in robot swarms: an online behaviour characterisation approach. In Conference Towards Autonomous Robotic Systems. vol. 10454, Springer. pp. 393-407 . (doi:10.1007/978-3-319-64107-2_31).
Tarapore, Danesh, Christensen, Anders Lyhne and Timmis, Jon (2017) Generic, scalable and decentralized fault detection for robot swarms. PLoS ONE, 12 (8), [e0182058]. (doi:10.1371/journal.pone.0182058).
O'Keeffe, James, Tarapore, Danesh, Millard, Alan G. and Timmis, Jon (2017) Fault diagnosis in robot swarms: an adaptive online behaviour characterisation approach. In 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017 - Proceedings. vol. 2018-January, Institute of Electrical and Electronics Engineers Inc. pp. 1-8 . (doi:10.1109/SSCI.2017.8280891).
O'Keeffe, James, Tarapore, Danesh, Millard, Alan G. and Timmis, Jonathan (2018) Adaptive online fault diagnosis in autonomous robot swarms. Frontiers in Robotics and AI, 5, [131]. (doi:10.3389/frobt.2018.00131).
Tarapore, Danesh, Timmis, Jon and Christensen, Anders Lyhne (2019) Fault detection in a swarm of physical robots based on behavioral outlier detection. IEEE Transactions on Robotics, 35 (6), 1516-1522. (doi:10.1109/TRO.2019.2929015).
Capezzuto, Luca, Tarapore, Danesh and Ramchurn, Sarvapali (2020) Anytime and efficient coalition formation with spatial and temporal constraints. In Proceedings of the European Conference on Multi-Agent Systems (EUMAS) 2020.
Bossens, David, Mouret, Jean-Baptiste and Tarapore, Danesh (2020) Learning behaviour-performance maps with meta-evolution. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2020. pp. 49-57 .
Tarapore, Danesh, Gross, Roderich and Zauner, Klaus-Peter (2020) Sparse robot swarms: Moving swarms to real world applications. Frontiers in Robotics and AI, 7, [83]. (doi:10.3389/frobt.2020.00083).
Bossens, David and Tarapore, Danesh (2020) QED: using Quality-Environment-Diversity to evolve resilient robot swarms. IEEE Transactions on Evolutionary Computation. (doi:10.1109/TEVC.2020.3036578).
Niu, Chaoyue (2020) Low-viewpoint forest depth dataset for sparse rover swarms. Zenodo doi:10.5281/zenodo.3945526 [Dataset]
Niu, Chaoyue, Tarapore, Danesh and Zauner, Klaus-Peter (2020) Low-viewpoint forest depth dataset for sparse rover swarms. In 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE. pp. 8035-8040 . (doi:10.1109/IROS45743.2020.9341435).
Bossens, David and Tarapore, Danesh (2021) On the use of feature-maps for improved quality-diversity meta-evolution. In GECCO '21: Proceedings of the Genetic and Evolutionary Computation Conference Companion. pp. 83-84 . (doi:10.1145/3449726.3459442).
Capezzuto, Luca, Tarapore, Danesh and Ramchurn, Sarvapali (2021) Large-scale, dynamic and distributed coalition formation with spatial and temporal constraints. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 108-125. (In Press)
Bossens, David and Tarapore, Danesh (2021) Rapidly adapting robot swarms with Swarm Map-based Bayesian Optimisation. In 2021 IEEE International Conference on Robotics and Automation (ICRA). pp. 9848-9854 . (doi:10.1109/ICRA48506.2021.9560958).
Thomas, Toby, Bossens, David and Tarapore, Danesh (2021) ASVLite: a high-performance simulator for autonomous surface vehicles. In 2021 IEEE International Conference on Robotics and Automation (ICRA). pp. 2249-2255 . (doi:10.1109/ICRA48506.2021.9561815).
Bossens, David and Tarapore, Danesh (2022) Quality-Diversity Meta-Evolution: customising behaviour spaces to a meta-objective. IEEE Transactions on Evolutionary Computation. (doi:10.1109/TEVC.2022.3152384). (In Press)
Bossens, David, Ramchurn, Sarvapali and Tarapore, Danesh (2022) Resilient robot teams: a review integrating decentralised control, change-detection, and learning. Current Robotics Reports. (doi:10.1007/s43154-022-00079-4).
Capezzuto, Luca, Tarapore, Danesh and Ramchurn, Sarvapali D. (2021) Anytime and efficient multi-agent coordination for disaster response. SN Computer Science, 2 (3). (doi:10.1007/s42979-021-00523-w).
Divband Soorati, Mohammad, Gerding, Enrico, Marchioni, Enrico, Naumov, Pavel, Norman, Timothy, Ramchurn, Sarvapali, Rastegari, Baharak, Sobey, Adam, Stein, Sebastian, Tarapore, Danesh, Yazdanpanah, Vahid and Zhang, Jie (2022) From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems. AI Communications.
Telephone: +44 (0) 23 8059 9255
Email: D.S.Tarapore@soton.ac.uk
Director of the Web Science Institute
Director of the Centre for Doctoral Training in Web Science and Innovation
Director of the Centre for Doctoral Training in Human Centred AI
Co-Director of the LifeGuide programme of research
Mark is an Associate Professor in the Web and Internet Science Group in Electronics and Computer Science at the University of Southampton. He is a Director of the Web Science Institute, the Director of the Centre for Doctoral Training in Web Science Innovation and the Centre for Doctoral Training in Human Centred AI. Mark is a Web Science Trust Fellow and a member of the University strategic research groups the ECS Centre for Health Technologies and the Centre of Excellence for the Future of Human Communication and the Interdisciplinary Dementia and Ageing Centre (iDeAC).
He is a co-director and the technical lead for the LifeGuide project, a multidisciplinary initiative led by Professor Lucy Yardley that has attracted funding of well over £45 million (from MRC, EPSRC, ESRC, NIHR, EC and medical charities) for the development of online digital public health interventions such as weight management, hand hygiene and smoking cessation, as well as illness management interventions including diabetes, cancer, respiratory conditions and eczema.
In addition to online behaviour change initiatives, Mark's research interests include the application of Semantic Web technologies to pervasive systems and methodologies for the use of social media data to assist in disaster management. Mark has worked for a number of years in the area of information systems, from hypermedia systems for eLearning through to information infrastructures for multi-user pervasive experiences as exemplified by his work on the Equator IRC.
The LifeGuide research programme is a multidisciplinary initiative led by Professor Lucy Yardley (Psychology) and Dr Mark Weal (Computer Science) at the University of Southampton. We have developed a unique set of open source software tools, that allows intervention designers with no experience of programming to create interactive web-based interventions to support healthy behaviour.
The research will be the detailed investigation into if and how Semantic Linked Data might be harnessed for social science research. To achieve this we have drawn together a strong team of social and computational scientists, with a well-established track record of collaboration. This team will be supported by an outstanding Advisory Group of experts, who have already agreed to participate in this project
A Health Foundation funded project to design, implement and evaluate a person-centred long-term follow-up pathway for cochlear implant users offering a triple approach of remote and self-monitoring, self-adjustment of devices and a personalised online or smartphone intervention package (LifeGuide) for testing their own hearing at home, information, self-rehabilitation, advice, equipment training and troubleshooting.
A British Tinnitus Association funded project to to create an smartphone app that works unobtrusively in the background, monitoring the sound level output, as well as behaviors such as how volume settings are adjusted, which media apps are being used, and what content is being accessed.
A Leverhulme funded project exploring the poetics of location-based narratives.
The UBhave project seeks to investigate the power and challenges of using mobile phones and social networking for Digital Behaviour Change Interventions (DBCIs), and to contribute to creating a scientific foundation for digitally supported behaviour change.
The WIME will be targeted at inappropriate prescribing of antibiotics in primary care. It will systematically develop and evaluate theory-based interventions that correspond to the theoretical, modelling and experimental phases of the MRC Framework.
Development and pilot evaluation of a web-supported programme of Constraint Induced Therapy following stroke (LifeCIT)
Open Impact is a project to help collect evidence about the impact of research that has been undertaken in UK universities and to provide it to a range of stakeholders (government, funders, press etc) through an independent third party agency (a learned society).
Identifying and quantifying the benefits of Semantic technologies for formal and informal learning.
A case study in semantic annotation focused on the research and practice of skills-based learning in the context of health care education.
Created and piloted an interactive electronic visualisation tool to be used in 2008-9 delivery of research-led nineteenth-century French literature and culture teaching using Web 2.0 technologies to allow students to explore the multiple perspectives, themes contexts and timelines within their core texts.
Programme Leader on iPhD Web Science
Module leader on COMP1205 Professional Development
Supervisor on COMP3200 Part III Individual Project
Supervisor on COMP6200 MSc Projects
Supervisor on COMP6228 MEng Individual Research Project
Supervisor on ELEC6200 MEng Group Design Project
Moderator on COMP2213 Interaction Design
Weal, Mark Jj, Michaelides, Danius T., Page, Kevin R., De Roure, David C., Gobbi, Mary, Monger, Eloise and Martinez, Fernando (2009) Location based semantic annotation for ward analysis. 3rd International Conference on Pervasive Computing Technologies for Healthcare 2009, London, UK. 31 Mar - 02 Apr 2009.
McDonald, John W., Gobbi, Mary O., Michaelides, Danius T., Monger, Eloise, Weal, Mark Jj and De Roure, David (2008) Grid-enabled data collection and analysis - semantic annotation in skills-based learning. 4th International Conference on e-Social Science, , Manchester, United Kingdom. 17 - 19 Jun 2008.
McDonald, John W., Michaelides, Danius, Weal, Mark J., De Roure, David, Gobbi, Mary and Monger, Eloise (2008) Visualisation of human-computer interaction within an interactive web-based learning environment Southampton, UK. University of Southampton 19pp.
Monger, Eloise, Weal, Mark J., Gobbi, Mary, Michaelides, Danius, Shepherd, Matthew, Wilson, Matthew and Barnard, Thomas (2008) Video supported performance feedback to nursing students after simulated practice events. DIVERSE 2008, , Haarlem, Netherlands. 30 Jun - 02 Jul 2008. 2 pp .
Weal, Mark J., Michaelides, Danius T., Page, Kevin R., De Roure, David C., Gobbi, Mary, Monger, Eloise and Martinez, Fernando (2009) Tracking and Annotation in Skills-Based Learning Environments. In Proceedings of the 2009 IEEE International Conference on Pervasive Computing and Communications. Institute of Electrical and Electronics Engineers. pp. 1-6 . (doi:10.1109/PERCOM.2009.4912884).
Yardley, Lucy, Osmond, Adrian, Hare, Jonathon, Wills, Gary, Weal, Mark, De Roure, Dave and Michie, Susan (2009) Introduction to the LifeGuide: software facilitating the development of interactive internet interventions. In Proceedings of the Persuasive Technology and Digital Behaviour Intervention Symposium.
Joseph, J.A., Yardley, Lucy, Hare, J., Osmond, A, Yang, Yang, Weal, Mark J., Wills, Gary B. and Michie, S (2009) Application of the LifeGuide: the development and quantitative analysis of the 'Internet Doctor'. 5th International Conference on e-Social Science, , Cologne, Germany. 24 - 26 Jun 2009. 6 pp .
Yang, Yang, Osmond, A., Chen, X., Weal, Mark J., Wills, G., De Roure, D., Joseph, Judith A. and Yardley, Lucy (2009) Supporting the running and analysis of trials of web-based behaviour interventions: the LifeGuide. 5th IEEE International Conference on e-Science (e-science 2009), Oxford, Oxford, United Kingdom. 09 - 11 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. UK e-Science All Hands Meeting 2009, , Oxford, United Kingdom. 07 - 09 Dec 2009.
Williams, Sarah, Yardley, Lucy, Weal, Mark and Wills, Gary (2010) Introduction to LifeGuide: Open-source Software for Creating Online Interventions for Health Care, Health Promotion and Training. In, Medetel: Global Telemedicine and eHealth Updates. Med-e-Tel 2010 (13/04/10 - 15/04/10) Zürich (Kreis 9), CH. International Society for Telemedicine & eHealth, pp. 187-190.
Yardley, Lucy, Joseph, Judith, Michie, Susan, Weal, Mark, Wills, Gary and Little, Paul (2010) Evaluation of a web-based intervention providing tailored advice for self-management of minor respiratory symptoms: exploratory randomized controlled trial. Journal of Medical Internet Research, 12 (4), e66. (doi:10.2196/jmir.1599). (PMID:21159599)
McDonald, John W., Gobbi, Mary O., Michaelides, Danius T., Monger, Eloise, Weal, Mark J. and De Roure, David C. (2008) Grid-enabled data collection and analysis – semantic annotation in skills-based learning. 4th International Conference on e-Social Science, , Manchester, United Kingdom. 17 - 19 Jun 2008.
Wilkins, Robert J. and Weal, Mark J. (1993) VirtualMedia : Virtual Reality as a Hypermedia Navigation Tool. Proceedings of Hypertext '93 Seattle.
Dobie, Mark R., Tansley, Robert H., Joyce, Dan W., Weal, Mark J., Lewis, Paul H. and Hall, Wendy (1999) A Flexible Architecture for Content and Concept Based Multimedia Information Exploration. Harper, David J. and Eakins, John P. (eds.) The Challenge of Image Retrieval, Newcastle, 1999. pp. 1-12 .
Hall, Wendy, Weal, Mark J., Heath, Ian, Wills, Gary B. and Crowder, Richard M. (1997) Flexible Interfaces in the Industrial Environment. International Conference Managing Enterprises- Stakeholders, Engineering, Logistics and Achievement (ME-SELA'97) Loughborough, UK.. 453--460 .
Dobie, Mark R., Tansley, Robert H., Joyce, Dan W., Weal, Mark J., Lewis, Paul H. and Hall, Wendy (1999) MAVIS 2: A New Approach to Content and Concept Based Navigation. Proceedings of the IEE Colloquim on Multimedia Databases and MPEG-7. 9/1--9/5 .
Hall, W., Hughes, G.V., Martinez, K., Weal, M.J. and Wills, G.B. (2000) Digitising the Turing Archive: A Pilot Study s.n.
Tansley, Robert, Bird, Colin, Hall, Wendy, Lewis, Paul and Weal, Mark (2000) Automating the Linking of Content and Concept. Proceedings ACM Multimedia 2000. pp. 445-448 .
Weal, Mark J (2000) Visualisation of Hypermedia Systems: An Open Approach. University of Southampton, : University of Southampton, Doctoral Thesis.
Moreau, Luc, Gibbins, Nick, DeRoure, David, El-Beltagy, Samhaa, Hall, Wendy, Hughes, Gareth, Joyce, Dan, Kim, Sanghee, Michaelides, Danius, Millard, Dave, Reich, Sigi, Tansley, Robert and Weal, Mark (2000) SoFAR with DIM Agents: An agent framework for Distributed Information Management. The Fifth International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agents. 369--388 .
Cruickshank, Don, Roure, David De, Hughes, Gareth, Page, Kevin, Millard, David, Moreau, Luc and Weal, Mark (2001) Using continuous metadata to aid navigation of ontological and temporal information spaces. Reich, Sigi (ed.) Posters and Demonstrations Proceedings of the Twelth ACM Conference on Hypertext and Hypermedia (Hypertext '01). p. 17 .
Weal, Mark J., Millard, David E., Michaelides, Danius T. and Roure, David C. De (2001) Building Narrative Structures Using Context Based Linking. In Hypertext '01. Proceddings of the Twelfth ACM conference on Hypertext, Aarhus, Denmark.. pp. 37-38 .
Scotcher, S.M., Laidlaw, D.A.H., Canning, C.R., Weal, M.J. and Harrad, R.A. (1997) Pulfrich's phenomenon in unilateral cataract. British Journal of Ophthalmology, 81 (12), 1050-1055.
Scotcher, S.M., Canning, C.R., Weal, M.J., Hutchings, G.A., Laidlaw, D.A.H. and Harrad, R.A. (1995) Pulfrichs Phenomenon in Patients with Unilateral Cataract - a Previously Unrecognized Cause of Visual Disability. Investigative Ophthamology & Visual Science, 36 (4), p.S 794.
Weal, M.J., Ingham, R. and Rolls, G. (1998) Looking Forward (interactive CD ROM).
Weal, Mark J. (1996) 3D Interfaces to Hypermedia Information Spaces. University of Southampton, : University of Southampton, Masters Thesis.
Michaelides, Danius T., Millard, David E., Weal, Mark J. and De Roure, David C. (2001) Auld Leaky: A Contextual Open Hypermedia Link Server. The 7th Workshop on Open Hypermedia Systems, ACM Hypertext 2001 Conference, Aarhus, Denmark.
De Roure, David C., Cruickshank, Don G., Michaelides, Danius T., Page, Kevin R. and Weal, Mark J. (2002) On Hyperstructure and Musical Structure. The Thirteenth ACM Conference on Hypertext and Hypermedia (Hypertext 2002), Maryland, United States. 10 - 14 Jun 2002. pp. 95-104 .
Bailey, Christopher, Hall, Wendy, Millard, David E. and Weal, Mark J. (2002) Towards Open Adaptive Hypermedia. De Bra, Paul, Brusilovsky, Peter and Conejo, Ricardo (eds.) 2nd International Conference, Adaptive Hypermedia and Adaptive Web-Based Systems, Málaga, Spain. 28 - 30 May 2002. pp. 36-46 .
Sinclair, Patrick, Martinez, Kirk, Millard, David and Weal, Mark J. (2002) Links in the Palm of your Hand: Tangible Hypermedia using Augmented Reality. The Thirteenth ACM Conference on Hypertext and Hypermedia, Maryland, United States. pp. 127-136 .
Weal, Mark J., Bernstein, Mark and Millard, David E. (2002) On Writing Sculptural Hypertext. The Thirteenth ACM Conference on Hypertext and Hypermedia, Maryland, United States. pp. 65-66 .
Griffiths, Jon, Millard, David E., Davis, Hugh, Michaelides, Danius T. and Weal, Mark J. (2002) Reconciling Versioning and Context in Hypermedia Structure Servers. Nürnberg, Peter J. (ed.) Metainformatics International Symposium, MIS 2002, Esbjerg, Denmark. 06 - 09 Aug 2002. pp. 118-131 .
Kim, Sanghee, Alani, Harith, Hall, Wendy, Lewis, Paul, Millard, David, Shadbolt, Nigel and Weal, Mark (2002) Artequakt: Generating Tailored Biographies from Automatically Annotated Fragments from the Web. Workshop on Semantic Authoring, Annotation & Knowledge Markup (SAAKM’02), the 15th European Conference on Artificial Intelligence, (ECAI’02), Lyon, France. 20 - 25 Jul 2002. pp. 1-6 .
Millard, Dave E., Bailey, Christopher P., Brody, Timothy D., Dupplaw, David P., Hall, Wendy, Harris, Steve W., Page, Kevin R., Power, Guillermo and Weal, Mark J. (2003) Hyperdoc: An Adaptive Narrative System for Dynamic Multimedia Presentations s.n.
Thompson, Mark K, Weal, Mark J, Michaelides, Danius T, Cruickshank, Don G and De Roure, David C (2003) MUD Slinging: Virtual Orchestration of Physical Interactions s.n.
Weal, Mark J., Hughes, Gareth V., Millard, David E. and Moreau, Luc (2001) Open Hypermedia as a Navigational Interface to Ontological Information Spaces. Twelfth ACM Conference on Hypertext and Hypermedia, Arhus, Denmark. pp. 227-236 .
Alani, Harith, Kim, Sanghee, Millard, David E., Weal, Mark J., Hall, Wendy, Lewis, Paul H. and Shadbolt, Nigel R. (2003) Automatic Ontology-Based Knowledge Extraction from Web Documents. IEEE Intelligent Systems, 18 (1), 14-21.
Millard, David E., Davis, Hugh C., Weal, Mark J., Aben, Koen and De Bra, Paul (2003) AHA! meets Auld Linky : Integrating Designed and Freeform Hypertext Systems. Carr, L.A and Hardman, L (eds.) ACM Hypertext '03, Nottingham, United Kingdom. 25 - 29 Aug 2003. pp. 161-169 .
Weal, Mark J., Michaelides, Danius T., Thompson, Mark K. and De Roure, David C. (2003) The Ambient Wood Journals - Replaying the Experience. HT'03 The fourteenth conference on Hypertext and Hypermedia, Nottingham, United Kingdom. 25 - 29 Aug 2003. pp. 20-27 .
Alani, Harith, Kim, Sanghee, Millard, David E., Weal, Mark J., Lewis, Paul H., Hall, Wendy and Shadbolt, Nigel R. (2003) Automatic Extraction of Knowledge from Web Documents. 2nd International Semantic Web Conference - Workshop on Human Language Technology for the Semantic Web abd Web Services, Sanibel Island, Florida, United States. 19 - 22 Oct 2003.
Millard, Ian C., Hughes, Gareth V., Michaelides, Danius T., Millard, David E., schraefel, m. c., Thompson, Mark K. and Weal, Mark J. (2003) 'Forget About It': Signage at Preview Day 2003 s.n.
schraefel, monica m.c., Millard, Ian, Millard, Dave, Hughes, Gareth V., Weal, Mark J., Michaelides, Danius T., Harris, Steve and Gibbins, Nick (2003) Connecting Physical+Temporal Events to Digital Contexts.
Bailey, Christopher, Hall, Wendy, Millard, David E. and Weal, Mark J. (2007) Adaptive Hypermedia through Contextualised Open Hypermedia Structures. ACM Transactions on Information Systems, 25 (4).
Sinclair, Patrick A.S., Martinez, Kirk, Millard, David E. and Weal, Mark J. , Tudhope, Douglas (ed.) (2003) Augmented Reality as an Interface to Adaptive Hypermedia Systems. New Review of Hypermedia and Multimedia, Special Issue on Hypermedia beyond the Desktop, 9, 117-136.
Gibbins, Nicholas M., Harris, Steve W., Michaelides, Danius T., Millard, David E. and Weal, Mark J. (2003) Exploring the Relationship Between FOHM and RDF. 1st International Workshop on Hypermedia and the Semantic Web (HTSW2003), Nottingham, United Kingdom.
Alani, Harith, Kim, Sanghee, Millard, David E., Weal, Mark J., Hall, Wendy, Lewis, Paul H. and Shadbolt, Nigel (2004) Using Protege for Automatic Ontology Instantiation. 7th International Protégé Conference, Bethesda, Maryland, United States. 05 - 08 Jul 2004.
Weal, Mark J., Michaelides, Danius T., Thompson, Mark K. and De Roure, David C. , Tudhope, Douglas (ed.) (2003) Hypermedia in the Ambient Wood. New Review of Hypermedia and Multimedia, Special Issue on Hypermedia beyond the Desktop, 9, 137-156.
Rogers, Yvonne, Price, Sara, Fitzpatrick, Geraldine, Fleck, Rowanne, Harris, Eric, Smith, Hilary, Randell, Cliff, Muller, Henk, O'Malley, Claire, Stanton, Danäe, Thompson, Mark and Weal, Mark J. (2004) Ambient Wood: Designing New Forms of Digital Augmentation for Learning Outdoors. Third International Conference for Interaction Design and Children (IDC 2004), Maryland, United States. 31 May - 02 Jun 2004. pp. 1-9 .
Millard, David E., Alani, Harith, Kim, Sanghee, Weal, Mark J., Lewis, Paul, Hall, Wendy, De Roure, David and Shadbolt, Nigel (2003) Generating Adaptive Hypertext Content from the Semantic Web. 1st International Workshop on Hypermedia and the Semantic Web (HTSW2003), Nottingham, United Kingdom.
Jennings, N. R., Cohn, A.C., Fox, M., Long, D., Luck, M.M., Michaelides, D.T., Munroe, S.J. and Weal, M.J. (2006) Interaction, planning and motivation. In, Morris, R., Taressenko, L. and Kenward, M. (eds.) Cognitive systems: Information processing meets brain science. Elsevier, pp. 163-188.
Rogers, Yvonne, Price, Sara, Stanton Fraser, Danae, Randell, Cliff, Weal, Mark and Fitzpatrick, Geraldine (2005) Ubi-learning Integrates indoor and outdoor experiences. Communications of the ACM, 48 (1), 55-59.
Hooper, Clare and Weal, Mark J. (2005) StorySpinner: Controlling Narrative Pace in Hyperfiction. HT'05 Workshop on Narrative, Musical, Cinematic and Gaming Hyperstructure. In Conjunction with the sixteenth ACM conference on Hypertext and Hypermedia, Salzburg., Austria. pp. 232-234 .
Weal, Mark J. (2005) Exposing potential narrative structure through user choice. HT'05 Workshop on Narrative, Musical, Cinematic and Gaming Hyperstructure. In Conjunction with Hypertext 2005, Salzburg., Austria.
Halloran, John, Hornecker, Eva, Fitzpatrick, Geraldine, Millard, David E. and Weal, Mark J. (2005) The Chawton House Experience - Augmenting the Grounds of a Historic Manor House. Workshop - Re-Thinking Technology in Museums: Towards a New Understanding of People's Experience in Museums, Limerick, Ireland. pp. 54-65 .
Weal, Mark J., Cruickshank, Don G., Michaelides, Danius T., Millard, David E., De Roure, David C., Hornecker, Eva, Halloran, John and Fitzpatrick, Geraldine (2006) A Reusable, Extensible Infrastructure for Augmented Field Trips. PerEL 2006, 2nd International workshop on Pervasive eLearning in conjunction with PerCom 2006, Pisa, Italy. pp. 201-205 .
Millard, David E., Gibbins, Nicholas M., Michaelides, Danius T. and Weal, Mark J. (2005) Mind the Semantic Gap. the sixteenth ACM conference on Hypertext and Hypermedia, Salzburg, Austria. pp. 54-62 .
Millard, David E., De Roure, David C., Michaelides, Danius T., Thompson, Mark K. and Weal, Mark J. (2004) Navigational Hypertext Models For Physical Hypermedia Environments. Hypertext 2004. The Fifteenth ACM Conference on Hypertext and Hypermedia, Santa Cruz, CA, United States. 08 - 12 Aug 2004. pp. 110-111 .
Halloran, John, Hornecker, Eva, Fitzpatrick, Geraldine, Weal, Mark J., Millard, David E., Michaelides, Danius T., Cruickshank, Don G. and De Roure, David C. (2006) The Literacy Fieldtrip: Using UbiComp to Support Children's Creative Writing. 5th International Conference for Interaction Design and Children, Tampere, Finland. 06 - 08 Jun 2006. pp. 17-24 .
Weal, Mark J., Cruickshank, Don G., Michaelides, Danius T., Millard, David E., De Roure, David C., Halloran, John, Hornecker, Eva and Fitzpatrick, Geraldine (2006) A persistent infrastructure for augmented field trips. World Conference on Educational Multimedia, Hypermedia and Telecommunications, Ed-Media 06, Orlando, Florida, United States.
Weal, Mark J., Hornecker, Eva, Cruickshank, Don G., Michaelides, Danius T., Millard, David E., Halloran, John, De Roure, David C. and Fitzpatrick, Geraldine (2006) Requirements for In-Situ Authoring of Location Based Experiences. 8th ACM International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI 06), Espoo, Finland. 11 - 14 Sep 2006. pp. 121-128 .
Hornecker, Eva, Halloran, John, Fitzpatrick, Geraldine, Weal, Mark J., Millard, David E., Michaelides, Danius T., Cruickshank, Don G. and De Roure, David C. (2006) UbiComp in Opportunity Spaces: Challenges for Participatory Design. Participatory Design Conference (PDC '06), Trento, Italy. 30 Jul - 04 Aug 2006. pp. 47-56 .
Weal, Mark J., Alani, Harith, Kim, Sanghee, Lewis, Paul H., Millard, David E., Sinclair, Patrick A. S., De Roure, David C. and Shadbolt, Nigel R. (2007) Ontologies as Facilitators for Repurposing Web Documents. International Journal of Human-Computer Studies, 65 (6), 537-562.
MacColl, Ian, Millard, David E, Randell, Cliff, Steed, Anthony, Brown, Barry, Benford, Steve, Chalmers, Matthew, Conroy, Ruth, Dalton, Nick, Galani, Areti, Greenhalgh, Chris, Michaelides, Danius T, Rodden, Tom, Taylor, Ian and Weal, Mark (2002) Shared visiting in EQUATOR city. CVE '02: 4th international conference on Collaborative virtual environments, Bonn, Germany. pp. 88-94 .
Halloran, John, Hornecker, Eva, Fitzpatrick, Geraldine, Weal, Mark J., Millard, David E., Michaelides, Danius T., Cruickshank, Don G. and De Roure, David C. (2006) Unfolding understandings: co-designing UbiComp In Situ, over time. Symposium on Designing Interactive Systems archive, in Proceedings of the 6th ACM conference on Designing Interactive systems, University Park, PA, United States. pp. 109-118 .
Weal, Mark J., Cruickshank, Don C., Michaelides, Danius T., Millard, David E., De Roure, David C., Howland, Katherine and Fitzpatrick, Geraldine (2007) Supporting Domain Experts in Creating Pervasive Experiences. Proceedings of the Fifth Annual IEE International Conference on Pervasive Computing and Communications (PERCOM'07), White Plains, NY, United States. 19 - 23 Mar 2007. pp. 108-113 .
Weal, Mark J., Cruickshank, Don C., Michaelides, Danius T., Millard, David E., De Roure, David C., Howland, Katherine and Fitzpatrick, Geraldine (2007) A Card Based Metaphor for Organising Pervasive Educational Experiences. Proceedings of the 3rd IEEE International Workshop on PervasivE Learning, March 19-23. pp. 165-170 .
Hooper, Clare and Weal, Mark (2005) The StorySpinner Sculptural Reader. the sixteenth ACM conference on Hypertext and Hypermedia, Salzburg, Austria. pp. 288-289 .
Weal, Mark J., Michaelides, Danius T., Millard, David E., De Roure, David C. and Fitzpatrick, Geraldine (2007) Observations on Pervasive Information Systems Design. Workshop on Principles of Pervasive Information Systems Design in conjunction with Pervasive 2007, Toronto, Ontario, Canada.
Chalmers, Matthew, Brown, Barry, Benford, Steve, Dalton, R, Dalton, N, Galani, Areti, Greenhalgh, Chris, MacColl, Ian, Michaelides, Danius T., Millard, David E., Randell, Cliff, Steed, Anthony, Rodden, Tom, Taylor, Ian and Weal, Mark J. (2002) Blurring the boundaries of the Mackintosh room. CHI 2002 Conference on Human Factors in Computing Systems, Minneapolis, Minnesota, United States. 19 - 24 Apr 2002.
Weal, M.J., Michaelides, D.T., De Roure, D., Gobbi, M., Monger, E. and McDonald, J.W. (2007) Semantic annotation in ubiquitous healthcare skills-based learning environments. Workshop on Semantic Web in Ubiquitous Healthcare in conjunction with ISWC2007, , Busan, Korea, Republic of. 01 Nov 2007. 10 pp .
Hooper, Greg, Fitzpatrick, Geraldine and Weal, Mark J. (2008) Does it Matter who is Holding the PDA in a Mobile Learning Experience? IADIS International Conference of e-Learning, Algarve, Portugal. 10 - 12 Apr 2008.
Hargood, Charlie, Millard, David and Weal, Mark (2008) A Thematic Approach to Emerging Narrative Structure. Web Science Workshop at Hypertext '08, Pittsburg, United States. (Submitted)
Tiropanis, Thanassis, Davis, Hugh, Millard, David and Weal, Mark (2009) Semantic Technologies for Learning and Teaching in the Web 2.0 era - A survey. WebSci'09: Society On-Line, , Athens, Greece. 18 - 20 Mar 2009.
Yang, Yang, Au Yeung, Ching Man, Weal, Mark J. and Davis, Hugh (2009) The Researcher Social Network: a social network based on metadata of scientific publications. Proceedings of WebSci'09: Society On-Line, , Athens, Greece. 18 - 20 Mar 2009. 5 pp .
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. WebSci'09: Society On-Line, , Athens, Greece. 18 - 20 Mar 2009. 5 pp .
Tiropanis, Thanassis, Davis, Hugh, Millard, David, Weal, Mark, White, Su and Wills, Gary (2009) Semantic Technologies in Learning and Teaching (SemTech) - JISC Report.
Hargood, Charlie, Millard, David and Weal, Mark (2009) Investigating a thematic approach to narrative generation. DAH 09 at Hypertext 09.
Hargood, Charlie, Millard, David and Weal, Mark (2009) Using a Thematic Model to Enrich Photo Montages. Hypertext 09.
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. 5th International Conference on e-Social Science, , Cologne, Germany. 24 - 26 Jun 2009. 10 pp .
Tiropanis, Thanassis, Davis, Hugh, Millard, David, Weal, Mark and White, Su (2009) Linked Data as a Foundation for the Deployment of Semantic Applications in Higher Education. SWEL'09: Ontologies and Social Semantic Web for Intelligent Educational Systems, AIED'09 Conference, Brighton, United Kingdom.
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. 5th IEEE International Conference on e-Science (e-science 2009), Oxford, Oxford, United Kingdom. 09 - 11 Dec 2009. 8 pp .
Tiropanis, Thanassis, Davis, Hugh, Millard, David, Weal, Mark and White, Su (2009) A roadmap for semantic technology adoption in UK higher education. Association for Learning Technology (ALT-C 2009), 16th International Conference, 8-10 September 2009, Manchester, UK, University of Manchester. 07 - 09 Sep 2009. p. 26 .
Pagkalos, Ionnis and Weal, Mark (2009) Trust on the Web: A model for online discussions. IADIS International Conference WWW/INTERNET 2009, Rome, Italy. 19 - 22 Nov 2009.
Muda, Zurina, Lewis, Paul H., Payne, Terry R. and Weal, Mark (2009) Enhanced image annotations based on spatial information extraction and ontologies. IEEE International Conference On Signal & Image Processing 2009 (ICSIPA2009), , Kuala Lumpur, Malaysia. 18 - 19 Nov 2009. (In Press)
Tiropanis, Thanassis, Davis, Hugh, Millard, Dave and Weal, Mark (2009) Semantic technologies for learning and teaching in the Web 2.0 era. IEEE Intelligent Systems, 24 (6), 49-53. (doi:10.1109/MIS.2009.121).
Azman, Norhidayah, Millard, David E. and Weal, Mark J. (2010) Issues in measuring power and Influence in the blogosphere. Web Science Conference 2010, , Raleigh, United States. 25 - 26 Apr 2010. 5 pp .
Carr, Les, Weal, Mark and White, Wendy (2010) Research Assessment and a Diverse Role for Repositories. Open Repositories 2010, Madrid, Spain.
Hargood, Charlie, Millard, David E. and Weal, Mark J. (2010) A semiotic approach for the generation of themed photo narratives. HT '10. Proceedings of the 21st ACM conference on Hypertext and hypermedia, Toronto, Canada. 13 - 16 Jun 2010. pp. 19-28 . (doi:10.1145/1810617.1810623).
Hargood, Charlie, Millard, David and Weal, Mark (2010) Capturing the semiotic relationship between terms. New Review of Hypermedia and Multimedia, 16, 71-84.
Cerri, Stefano, Davis, Hugh, Tiropanis, Thanassis, Weal, Mark and White, Su (2012) Web science. In, Seel, Norbert M. (ed.) Encyclopedia of the Sciences of Learning. (Springer Reference, 1) New York, US. Springer.
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. Persuasive Technology and Digital Behaviour Intervention Symposium. (AISB 2009), Edinburgh, United Kingdom. 05 - 08 Apr 2009. 4 pp .
Treweek, Shaun, Ricketts, Ian W., Francis, Jullian, Eccles, Martin, Bonetti, Debbie, Pitts, Nigel B., MacLennan, Graeme, Sullivan, Frank, Jones, Claire, Weal, Mark and Barnett, Karen (2011) Developing and evaluating interventions to reduce inappropriate prescribing by general practitioners of antibiotics for upper respiratory tract infections: a randomised controlled trial to compare paper-based and web-based modelling experiments. Implementation Science, 6 (16).
Hargood, Charlie, Millard, David and Weal, Mark (2011) Measuring Narrative Cohesion: A Five Variables Approach. Narrative and Hypertext Workshop at Hypertext 11, Eindhoven.
Millard, David, Hargood, Charlie, Weal, Mark, Warren, Lorraine and Harris, Lisa (2011) Social Media and Emergent Organizational Narratives. Narrative and Hypertext Workshop at Hypertext 11, Eindhoven.
Hargood, Charlie, Millard, David and Weal, Mark (2011) The Thematic Illustrator: An Automatic Illustrative Approach to Enhancing Narrative Cohesion. Hypertext 2011 Poster Session, Eindhoven.
Duboc, Jean-Remy, Choi, Sunhea, Weal, Mark and Davis, Hugh (2011) Semantic virtual patients: using semantic web technology to improve virtual patients for medical education. 3rd international conference on web science, , Koblenz, Germany. 13 - 16 Jun 2011. (In Press)
Duboc, Jean-Remy, Choi, Sunhea, Weal, Mark and Davis, Hugh (2011) Modelling virtual patients and generating feedback using semantic web technologies. ASME Annual Scientific Meeting, , Edinburgh, United Kingdom. 12 - 14 Jul 2011. (In Press)
Khan, Sarosh, Moore, Roksana and Weal, Mark (2011) Social Media on the Job: An exploration of the potential legal consequences of employees’ social media activities during the course of employment. ACM WebSci '11, , Koblenz, Germany. 13 - 16 Jun 2011.
Duboc, Jean-Remy, Weal, Mark, Davis, Hugh and Choi, Sunhea (2011) Automatic feedback generation in virtual patients using semantic web technologies. 2011 International Computer Assisted Assessment (CAA) Conference, Southampton, United Kingdom. 04 - 05 Jul 2011.
Azman, Norhidayah, Millard, David and Weal, Mark (2011) Patterns of implicit and non-follower retweet propagation: investigating the role of applications and hashtags. ACM Web Science Conference 2011, , Koblenz, Germany. 13 - 16 Jun 2011.
Parson, Oliver, Ghosh, Siddhartha, Weal, Mark and Rogers, Alex (2011) Using hidden Markov models for iterative non-intrusive appliance monitoring. Neural Information Processing Systems workshop on Machine Learning for Sustainability, , Sierra Nevada, Spain.
Treweek, Shaun, Barnett, Karen, MacLennan, Graeme, Bonetti, Debbie, Eccles, Martin, Francis, Jill, Jones, Claire, Pitts, Nigel, Ricketts, Ian, Weal, Mark and Sullivan, Frank (2012) Email invitations to general practitioners were as effective as postal invitations and were more efficient. Journal of Clinical Epidemiology, 65 (7), Summer Issue.
Parson, Oliver, Ghosh, Siddhartha, Weal, Mark and Rogers, Alex (2012) Non-intrusive load monitoring using prior models of general appliance types. Twenty-Sixth Conference on Artificial Intelligence (AAAI-12), , Toronto, Canada. 22 - 26 Jul 2012. pp. 356-362 .
Weal, Mark J., Michaelides, Danius T., Page, Kevin R., De Roure, David C., Monger, Eloise and Gobbi, Mary (2012) Semantic annotation of ubiquitous learning environments. [in special issue: on Semantic Technologies for Learning and Teaching Support in Higher Education] IEEE Transactions on Learning Technologies, 5 (2), 143-156. (doi:10.1109/TLT.2011.37).
Gobbi, Mary, Monger, Eloise, Weal, Mark J., Michaelides, Danius T., McDonald, John W. and DeRoure, David C. (2012) The challenges of developing and evaluating complex care scenarios using simulation in nursing education. Journal of Research in Nursing, 17 (4), Summer Issue, 329-345. (doi:10.1177/1744987112449969).
Weal, Mark J., Hargood, Charlie, Michaelides, Danius T., Morrison, Leanne and Yardley, Lucy (2012) Making online behavioural interventions mobile. Digital Research 2012, , Oxford, United Kingdom. 10 - 12 Sep 2012.
Hargood, Charlie, Michaelides, Danius T., Weal, Mark J., Morrison, Leanne and Yardley, Lucy (2012) Digital interventions on and off mobile devices. Digital Futures 2012, Aberdeen, United Kingdom. 22 - 24 Oct 2012.
Azman, Norhidayah, Millard, David E. and Weal, Mark J. (2012) Dark retweets: investigating non-conventional retweeting patterns. 4th International Conference on Social Informatics, , Lausanne, Switzerland. 05 - 07 Dec 2012. 14 pp .
Sugiura, Lisa, Pope, Catherine, Weal, Mark J. and Webber, Craig (2012) Observing deviancy online. Digital Research 2012, , Oxford, United Kingdom. 10 - 12 Sep 2012. 4 pp .
Halford, Susan, Pope, Catherine and Weal, Mark J. (2013) Digital futures? Sociological challenges and opportunities in the emergent semantic web. Sociology, 47 (1), 173-189. (doi:10.1177/0038038512453798).
Millard, David, Hargood, Charlie, Jewell, Michael O. and Weal, Mark J. (2013) Canyons, deltas and plains: towards a unified sculptural model of location-based hypertext. ACM Hypertext 2013. 30 Apr - 01 May 2013. pp. 1-10 .
Fitzsimmons, Gemma, Weal, Mark J. and Drieghe, Denis (2013) On measuring the impact of hyperlinks on reading. Proceedings of the 5th Annual ACM Web Science Conference (WebSci '13), , Paris, France. 02 - 04 May 2013. pp. 65-74 . (doi:10.1145/2464464.2464501).
Sansrimahachai, Watsawee, Weal, Mark J. and Moreau, Luc (2012) Stream ancestor function: A mechanism for fine-grained provenance in stream processing systems. In 2012 Sixth International Conference on Research Challenges in Information Science (RCIS). IEEE.. (doi:10.1109/RCIS.2012.6240427).
Sansrimahachai, Watsawee, Weal, Mark J. and Moreau, Luc (2013) An On-the-fly Provenance Tracking Mechanism for Stream Processing Systems. IEEE/ACIS International Conference on Computer and Information Science (ICIS 2013). (doi:10.1109/ICIS.2013.6607885).
Welch, Jennifer R., Halford, Susan and Weal, Mark J. (2015) Conceptualising the Web for post-conflict governance building in fragile states. Peacebuilding, 3 (1), 58-74. (doi:10.1080/21647259.2014.973673).
Parson, Oliver, Ghosh, Siddhartha, Weal, Mark J. and Rogers, Alex (2014) An unsupervised training method for non-intrusive appliance load monitoring. Artificial Intelligence, 217, 1-19. (doi:10.1016/j.artint.2014.07.010).
Fitzsimmons, Gemma, Weal, Mark and Drieghe, Denis (2014) Skim reading: an adaptive strategy for reading on the web. WebSci '14 Proceedings of the 2014 ACM Conference on Web Science, , Bloomington, United States. 23 - 26 Jun 2014. pp. 211-219 . (doi:10.1145/2615569.2615682).
Morrison, Leanne G, Hargood, Charlie, Lin, Sharon Xiaowen, Dennison, Laura, Joseph, Judith, Hughes, Stephanie, Michaelides, Danius T, Johnston, Derek, Johnston, Marie, Michie, Susan, Little, Paul, Smith, Peter WF, Weal, Mark J and Yardley, Lucy (2014) Understanding usage of a hybrid website and smartphone app for weight management: a mixed-methods study. Journal of Medical Internet Research, 16 (10), e201. (doi:10.2196/jmir.3579).
Hargood, Charlie, Pejovic, Veljko, Morrison, Leanne, Michaelides, Danius T., Musolesi, Mirco, Yardley, Lucy and Weal, Mark J. (2014) The UBhave Framework: Dynamic Pervasive Applications for Behavioural Psychology. Mobiquitous 2014.
Blount, Thomas, Millard, David and Weal, Mark (2014) Towards modelling dialectic and eristic argumentation on the social web. 14th Workshop on Computational Models of Natural Argument, Krakow, Poland. 5 pp .
Bazan, S., White, S., Staab, S., Vafopoulos, M., Halford, S., Hooper, Clare, Akkermans, H. and Weal, M. (2014) Web Science Education Workshop 2014. Web science education: sharing experiences and developing community. Web Science Education: Sharing experiences and developing community (workshop), ACM WebSci'14, Bloomington, United States. 22 Jun 2014.
Weston, Anna, Morrison, Leanne, Yardley, Lucy, Van Kleek, Max and Weal, Mark (2015) Measurements of engagement in mobile behavioural interventions? Digital Health 2015, Florence, Italy. 18 - 20 May 2015. 8 pp .
Blount, Tom, Millard, David and Weal, Mark J. (2015) An investigation into the use of logical and rhetorical tactics within eristic argumentation on the social web. 26th ACM Conference on Hypertext and Social Media (HT2015), Guzelyurt, Cyprus. 31 Aug - 03 Sep 2015. 5 pp . (In Press) (doi:10.1145/2700171.2791052).
Parsons, Sophie, Atkinson, Peter M., Simperl, Elena and Weal, Mark (2015) Thematically analysing social network content during disasters through the lens of the disaster management lifecycle. Social Web for Disaster Management, Florence, Italy. 17 - 21 May 2015. pp. 1221-1226 . (doi:10.1145/2740908.2741721).
Blount, Tom, Millard, David E. and Weal, Mark J. (2015) On the role of avatars in argumentation. Narrative and Hypertext 2015, Guzelyurt, Cyprus. 31 Aug - 03 Sep 2015. 3 pp . (doi:10.1145/2804565.2804569).
Morrison, Leanne, Hargood, Charles, Pejovic, Veljko, MICHAELIDES, DANIUS T, Weston, Anna, Musolesi, Mirco, Weal, Mark and Yardley, Lucy (2015) The Effect of Timing and Frequency of Push Notifications on Usage of a Smartphone-Based Stress Management Intervention: An Exploratory Trial. University of Southampton doi:10.5258/SOTON/381004 [Dataset]
Gruenerbl, Agnes, Gobbi, Mary, Pirkl, Gerard, Lukowicz, Paul and Weal, Mark J. (2015) Towards Augmenting the Nurse Training and Monitoring. WAHM 2015: 2nd Workshop on Ubiquitous Technologies to Augment the Human Mind in conjunction with UbiComp 2015, Osaka, Japan. 06 - 10 Sep 2015. 6 pp .
Welch, Jennifer, Halford, Susan and Weal, Mark J. (2015) Information and communication technologies (ICTs) and peacebuilding: a conceptual framework. WebSci '15, Oxford, United Kingdom. 27 - 30 Jun 2015. (doi:10.1145/2786451.2786479).
Grünerbl, Agnes, Pirkl, Gerald, Weal, Mark, Gobbi, Mary and Lukowicz, Paul (2015) Monitoring and enhancing nurse emergency training with wearable devices. In UbiComp/ISWC'15 Adjunct Adjunct Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers. ACM Press. pp. 1261-1267 . (doi:10.1145/2800835.2807941).
Treweek, Shaun, Bonetti, Debbie, MacLennan, Graeme, Barnett, Karen, Eccles, Martin, Jones, Claire, Pitts, Nigel, Ricketts, Ian, Sullivan, Frank, Weal, Mark J. and Francis, Jill (2014) Paper-based and web-based intervention modeling experiments identified the same predictors of general practitioners' antibiotic-prescribing behavior. Journal of Clinical Epidemiology, 67 (3), 296-304. (doi:10.1016/j.jclinepi.2013.09.015). (PMID:24388292)
Pope, Catherine, Halford, Susan, Tinati, Ramine and Weal, Mark (2014) What’s the big fuss about ‘big data’? Journal of Health Services Research & Policy, 19 (2), 67-68. (doi:10.1177/1355819614521181).
Gray, Briony, Weal, Mark and Martin, David (2016) Social media and disasters: a new conceptual framework. Proceedings of the ISCRAM 2016 Conference, , Rio de Janeiro, Brazil. 22 - 25 May 2016. 6 pp . (In Press)
Hargood, Charlie, Hunt, Verity, Weal, Mark and Millard, David (2016) Patterns of sculptural hypertext in location based narratives. In HT'16: Proceedings of the 27th ACM Conference on Hypertext and Social Media. ACM Press. pp. 61-70 . (doi:10.1145/2914586.2914595).
Cullington, Helen, Kitterick, Padraig, DeBold, Lisa, Weal, Mark, Clarke, Nicholas, Newberry, Eva and Aubert, Lisa (2016) Personalised long-term follow-up of cochlear implant patients using remote care, compared to those on the standard care pathway: study protocol for a feasibility randomised controlled trial. BMJ Open, 6, [e011342]. (doi:10.1136/bmjopen-2016-011342).
Lin, Sharon X., Morrison, Leanne, Smith, Peter, Hargood, Charlie, Weal, Mark and Yardley, Lucy (2016) Properties of bootstrap tests for N-of-1 studies. British Journal of Mathematical and Statistical Psychology, 1-29. (doi:10.1111/bmsp.12071).
Cullington, Helen, Kitterick, Padraig, DeBold, Lisa, Weal, Mark, Clarke, Nicholas, Newberry, Eva and Aubert, Lisa (2016) Have cochlear implant; won’t have to travel. Introducing telemedicine to people using cochlear implants. American Journal of Audiology, 25, 299-302. (doi:10.1044/2016_AJA-16-0018).
Rimington, Elzabi, Weal, Mark and Leonard, Pauline (2016) A theoretical framework for online game society: the case of League of Legends. WebSci '16 Proceedings of the 8th ACM Conference on Web Science, , Hannover, Germany. 22 - 25 May 2016. pp. 355-357 . (doi:10.1145/2908131.2908194).
Blount, Tom, Millard, David and Weal, Mark (2016) An ontology for argumentation on the social web: rhetorical extensions to the AIF. International Conference on Computational Models of Argument, Potsdam, Germany. 11 - 15 Sep 2016. 8 pp .
Treweek, Shaun, Francis, Jill J., Bonetti, Debbie, Eccles, Martin P., Hudson, Jemma, Jones, Claire, Pitts, Nigel B., Ricketts, Ian W., Sullivan, Frank, Weal, Mark and MacLennan, Graeme (2016) A primary care web-based intervention modelling experiment replicated behaviour changes seen in earlier paper-based experiment. Journal of Clinical Epidemiology, 1-26. (doi:10.1016/j.jclinepi.2016.07.008).
Weal, Mark, Monger, Eloise and Gobbi, Mary (2016) Semantic annotation of skills-based sessions. In, Glasper, Alan and Rees, Colin (eds.) Nursing and Healthcare Research at a Glance. Chichester, GB. Wiley, pp. 180-181.
Monger, Eloise, Weal, Mark and Gobbi, Mary (2016) Video-view-point. In, Glasper, Alan and Rees, Colin (eds.) Nursing and Healthcare Research at a Glance. Chichester, GB. Wiley-Blackwell, pp. 176-177.
Murthy, Dhiraj, Powell, Alison B., Tinati, Ramine, Anstead, Nick, Carr, Les, Halford, Susan and Weal, Mark (2016) Automation, algorithms, and politics| bots and political influence: a sociotechnical investigation of social network capital. International Journal of Communication, 10, 4952-4971.
Morrison, Leanne G., Hargood, Charlie, Pejovic, Veljko, Geraghty, Adam W. A., Lloyd, Scott, Goodman, Natalie, Michaelides, Danius T., Weston, Anna, Musolesi, Mirco, Weal, Mark J. and Yardley, Lucy (2017) The effect of timing and frequency of push notifications on usage of a smartphone-based stress management intervention: an exploratory trial. PLoS ONE, 12 (1), 1-15, [e0169162]. (doi:10.1371/journal.pone.0169162).
Pagkalos, Ioannis, Kokkinopoulou, Anna, Weal, Mark, Petrou, Loukas and Hassapidou, Maria (2017) Exercise monitoring of young adults using a Facebook application. Digital Health, 3, [2055207617711286]. (doi:10.1177/2055207617711286).
Gray, Briony, Weal, Mark J. and Martin, David (2016) Social media and disasters: applying a new conceptual framework to the case of Storm Desmond. International Journal of Information Systems for Crisis Response and Management, 8 (4), 41-55. (doi:10.4018/IJISCRAM.2016100103).
Gray, Briony, Weal, Mark J. and Martin, David (2017) Social media during multi-hazard disasters: Lessons from the Kaikoura Earthquake 2016. Disaster Management 2017: 5th International Conference on Disaster Management and Human Health: Reducing Risk, Improving Outcomes, , Seville, Spain. 07 - 09 Jun 2017. 11 pp .
Gray, Briony, Jennifer, Weal, Mark and Martin, David (2017) Social Media during a sustained period of crisis: The case of the UK Storms 2015-2016. 14th International Conference on Information Systems for Crisis Response and Management, , Albi, France. 22 - 25 May 2017. 12 pp .
Gray, Briony, Weal, Mark J. and Martin, David (2017) Social media during multi-hazard disasters: lessons from the Kaikoura Earthquake 2016. International Journal of Safety and Security Engineering, 7 (3), 313-323. (doi:10.2495/SAFE-V7-N3-313-323).
Halford, Susan, Weal, Mark, Tinati, Ramine, Pope, Catherine and Carr, Leslie (2018) Understanding the production and circulation of social media data: toward methodological principles and praxis. New Media and Society, 20 (9), 3341–3358. (doi:10.1177/1461444817748953).
West, Peter, Van Kleek, Max, Giordano, Richard, Weal, Mark and Shadbolt, Nigel (2017) Information quality challenges of patient-generated data in clinical practice. Frontiers in Public Health, 5 (284), 1-13. (doi:10.3389/fpubh.2017.00284).
Cullington, Helen, Kitterick, Padraig, Weal, Mark and Margol-Gromada, Magdalena (2018) Feasibility of personalised remote long-term follow-up of people with cochlear implants: a randomised controlled trial. BMJ Open, 8 (4), 1-11, [e019640]. (doi:10.1136/bmjopen-2017-019640).
Batlajery, Belfrit Victor, Weal, Mark, Chapman, Adriane and Moreau, Luc (2017) prFood: Ontology principles for provenance and risk in the food domain. IEEE International Conference on Semantic Computing, The Hills Hotel, Laguna Hills, United States. 31 Jan - 02 Feb 2018. 8 pp . (In Press)
Elaheebocus, Sheik Mohammad Roushdat Ally, Weal, Mark, Morrison, Leanne and Yardley, Lucy (2018) Peer-based social media features in behavior change interventions: Systematic Review. Journal of Medical Internet Research, 20 (2), [e20]. (doi:10.2196/jmir.8342).
Hargood, Charles, Millard, David and Weal, Mark (2018) The thematic modelling of subtext. Multimedia Tools and Applications, 77 (21), 28281-28308. (doi:10.1007/s11042-018-5972-y).
Asiri, Yousef, Millard, David and Weal, Mark (2018) Digital mobile-based behaviour change interventions to assess and promote critical thinking and research skills among undergraduate students. Auer, M. and Tsiatsos, T. (eds.) In Interactive Mobile Communication Technologies and Learning - Proceedings of the 11th IMCL Conference. vol. 725, Springer-Verlag. pp. 155-166 . (doi:10.1007/978-3-319-75175-7_17).
West, Peter, Van Kleek, Max, Giordano, Richard, Weal, Mark and Shadbolt, Nigel (2018) Common barriers to the use of patient-generated data across clinical settings. Mandryk, Regan, Hancock, Mark, Perry, Mark and Cox, Anna (eds.) In CHI '18 : Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. ACM Press. pp. 1-13 . (doi:10.1145/3173574.3174058).
Morrison, Leanne G., Geraghty, Adam W.A., Lloyd, Scott, Goodman, Natalie, Michaelides, Danius T., Hargood, Charlie, Weal, Mark and Yardley, Lucy (2018) Comparing usage of a web and app stress management intervention: an observational study. Internet Interventions, 12, 74-82. (doi:10.1016/j.invent.2018.03.006).
Hargood, Charlie, Weal, Mark and Millard, David (2018) The storyplaces platform: Building a web-based locative hypertext system. In HT '18 Proceedings of the 29th ACM Conference on Hypertext and Social Media. ACM Press. pp. 128-135 . (doi:10.1145/3209542.3209559).
Batlajery, Belfrit, Victor, Weal, Mark, Chapman, Adriane and Moreau, Luc (2018) Belief propagation through provenance graphs. Balhajjame, K., Gehani, A. and Alper, P. (eds.) In Provenance and Annotation of Data and Processes: IPAW 2018. vol. 11017, Springer. pp. 145-157 . (doi:10.1007/978-3-319-98379-0_11).
Miller, Sascha, Ainsworth, Ben, Yardley, Lucy, Milton, Alex, Weal, Mark, Smith, Peter W.F. and Morrison, Leanne (2019) A framework for Analyzing and Measuring Usage and Engagement Data (AMUsED) in digital interventions: viewpoint. Journal of Medical Internet Research, 21 (2), 1-13, [10966]. (doi:10.2196/10966).
Anderson, Mark, Carr, Leslie, Davis, Hugh, Fountain, A, Hall, Wendy, Hutchings, Gerard A., Marshall, Fiona, Rake, S.T. and Weal, Mark (2018) Microcosm (in a Virtual Machine). University of Southampton doi:10.5258/SOTON/D0750 [Dataset]
Fitzsimmons, Gemma, Weal, Mark and Drieghe, Denis (2016) Reading, processing and interacting with hypertext on the Web. 30th International BCS Human Computer Interaction Conference (HCI 2016), Bournemouth University, Poole, United Kingdom. 11 - 14 Jul 2016. 8 pp . (In Press) (doi:10.14236/ewic/HCI2016.14).
Cullington, H.E., Kitterick, P., Margol-Gromada, M., Riggs, C., Finch, T. and Weal, M. (2018) Scaling up telemedicine for adults with cochlear implants - are you ready?: British Cochlear Implant Group Annual Meeting. British Cochlear Implant Group Conference, , Belfast, United Kingdom. 16 - 18 May 2018.
Fitzsimmons, Gemma, Weal, Mark and Drieghe, Denis (2019) The impact of hyperlinks on reading text. PLoS ONE, 14 (2), 1-20, [e0210900]. (doi:10.1371/journal.pone.0210900).
Cullington, Helen, Kitterick, Padraig, DeBold, Lisa and Weal, Mark (2017) Personalised long-term follow-up of people with cochlear implants using remote care. British Cochlear Implant Group Conference, , Birmingham, United Kingdom.
Cullington, Helen, Kitterick, Padraig, DeBold, Lisa, Weal, Mark, Clarke, Nicholas, Newberry, Eva and Aubert, Lisa (2016) Randomised controlled trial of remote care for adults with cochlear implants. British Cochlear Implant Group Conference, , London, United Kingdom. 27 - 28 Apr 2016.
Parsons, Sophie (2018) Survey Data from Emergency Responders' Followers about their Social Media Use. University of Southampton doi:10.5258/SOTON/D0655 [Dataset]
Parsons, Sophie (2019) Interview Data with 14 UK Emergency Responders about their Social Media Usage. University of Southampton doi:10.5258/SOTON/D0654 [Dataset]
Parsons, Sophie and Weal, Mark (2019) Observations data of Emergency Responders' Twitter Use During Winter Floods 2013/14. University of Southampton doi:10.5258/SOTON/D0653 [Dataset]
Rogers, Yvonne, Price, Sara, Harris, Eric, Phelps, Ted, Underwood, Mia, Wilde, Danielle, Muller, Henk, Randell, Cliff, Stanton, Danae, Neale, Helen, Thompson, M., Weal, Mark and Michaelides, Danius T (2002) Learning through digitally-augmented physical experiences: Reflections on the ambient wood project. Equator Project 19pp.
Parsons, Sophie, Weal, Mark, O'Grady, Nathaniel and Atkinson, Peter (2019) Social media in emergency management: exploring Twitter use by emergency responders in the UK. International Journal of Emergency Management, 14 (4), 322-343. (doi:10.1504/IJEM.2018.097360).
Cullington, Helen, Pickering, Mark, Darnton, Philippa, Greenwell, Kate, Finch, Tracy, Kitterick, Padraig, Harraway, Sarah, Little, Paul, Moran, Philippa, Riggs, C., Sibley, Andrew, Smith, Rachel, Walker, Dawn-Marie and Weal, Mark (2019) Programme management of a healthcare innovation. British Cochlear Implant Group Meeting 2019: Connecting for Life, Solent Conference Centre, Southampton, United Kingdom. 04 - 05 Apr 2019.
Asiri, Yousef, Millard, David and Weal, Mark (2019) Evaluating the impact of the components of a mobile behavior change intervention to support critical thinking in research projects. Ravesteijn, Pascal, Rodrigues, Luis, Isaias, Pedro, Ongena, Guido and Sanchez, Inmaculada Arnedillo (eds.) In Proceedings of the 15th International Conference on Mobile Learning 2019, ML 2019. IADIS Press. pp. 65-72 .
Weston, Anna, Charlotte (2019) Getting Active Data (Disengagement Research). University of Southampton doi:10.5258/SOTON/D0966 [Dataset]
(2019) SPoC. University of Southampton [Software]
Stuart, Charlotte, Zotova, Elina, Koster, Grielof, Varatharaj, Aravinthan, Richardson, Grace, Cornick, Faye, Weal, Mark, Newman, Tracey, Postle, Anthony and Galea, Ian (2020) High-throughput urinary neopterin-to-creatinine ratio monitoring of systemic inflammation. The Journal of Applied Laboratory Medicine, 5 (1), 101–113. (doi:10.1373/jalm.2019.030007).
Konstantinidis, Georgios, Chapman, Adriane, Weal, Mark, Alzubaidi, Ahmed, Ballard, Lisa and Lucassen, Anneke (2020) The need for machine-processable agreements in health data management. Algorithms, 13 (4), 1-21, [87]. (doi:10.3390/a13040087).
Fitzsimmons, Gemma, Jayes, Lewis, Weal, Mark and Drieghe, Denis (2020) The Impact of skim reading and navigation when reading hyperlinks on the web. PLoS ONE, 15 (9), 1-23, [e0239134]. (doi:10.1371/journal.pone.0239134).
Lyle, Kate, Lucassen, Anneke, Ballard, Lisa, Hardcastle, Faranak, Weal, Mark, Chapman, Adriane and Konstantinidis, George (2020) The secret life of immortal data. In WebSci 2020 - Companion of the 12th ACM Conference on Web Science. ACM Press. pp. 89-90 . (doi:10.1145/3394332.3402898).
Asiri, Yousef, Millard, David and Weal, Mark (2021) Assessing the impact of engagement and real-time feedback in a mobile behavior change intervention for supporting critical thinking in engineering research projects. IEEE Transactions on Learning Technologies, 14 (4), 445-459. (doi:10.1109/TLT.2021.3104817).
Miller, Sascha, Ainsworth, Benjamin, Weal, Mark, Smith, Peter W.F., Little, Paul, Yardley, Lucy and Morrison, Leanne (2021) Process evaluations of a web-based intervention to increase handwashing during a pandemic: Moving Germ Defence from a randomised controlled trial to public dissemination. Journal of Medical Internet Research, 23 (10), [e26104]. (doi:10.2196/26104).
Jayes, Lewis, Fitzsimmons, Gemma, Weal, Mark, Kaakinen, J.K. and Drieghe, Denis (2022) The impact of hyperlinks, skim reading and perceived importance when reading on the web. PLoS ONE, 17 (2), 1, [e0263669]. (doi:10.1371/journal.pone.0263669).
Cullington, Helen, Kitterick, Padraig, Darnton, Philippa, Finch, Tracy, Greenwell, Kate, Riggs, Carol, Weal, Mark, Walker, Dawn-marie and Sibley, Andrew (2021) Telemedicine for adults with cochlear implants in the UK (CHOICE): protocol for a prospective interventional multi-site study (Preprint). Journal of Medical Internet Research (JMIR) Research Protocols. (doi:10.2196/27207). (In Press)
Miller, Sascha, Yardley, Lucy, Smith, Peter W.F., Weal, Mark, Milton, Alexander MC, Stuart, Beth, Little, Paul and Morrison, Leanne (2022) A digital intervention for respiratory tract infections (Internet Dr): process evaluation to understand how to support self-care for minor ailments. JMIR Formative Research, 6 (1), [e24239]. (doi:10.2196/24239).
Wetherill, Stephen, Weal, Mark and Cullington, Helen (2020) How effective, accurate and repeatable are subjective CI microphone checks? British Cochlear Implant Group Meeting, , Nottingham, United Kingdom. 10 - 11 Mar 2020.
Ballard, Lisa, Dheensa, Sandeep, Weal, Mark, Fenwick, Angela J and Lucassen, Anneke (2019) myKinMatters: sharing genetic health information via an online tool. The 51st European Society of Human Genetics (ESHG) Conference, , Milan, Italy. 16 - 19 Jun 2018.
Telephone: +44 (0) 23 8059 9400
Email: mjw@ecs.soton.ac.uk
Harnad was born in Budapest, Hungary. He did his undergraduate work at McGill University and his graduate work at Princeton University's Department of Psychology. Harnad completed his Master of Arts degree in Psychology from McGill University in 1969, his Doctor of Philosophy degree from Princeton University in 1992.He was awarded an honorary doctorate by University of Liège in 2013. In 1978, Harnad was the founder of Behavioral and Brain Sciences, of which he remained editor-in-chief until 2002.In addition, he founded Psycoloquy (an early electronic journal sponsored by the American Psychological Association), CogPrints (an electronic eprint archive in the cognitive sciences hosted by the University of Southampton), and the American Scientist Open Access Forum (since 1998; now the Global Open Access List, GOAL). Harnad is an active promoter of open access, EPrints, Harnad is Editor-in-Chief of the refereed journal Animal Sentience launched in 2015 by the Institute of Science and Policy of The Humane Society of the United States. A vegan, Harnad is increasingly active in animal welfare animal rights and animal law.Harnad is the author of a 2011 open letter signed by over 60 external members of the Hungarian Academy of Sciences addressed to the Academy's President, József Pálinkás, concerning the press and police harassment campaign against Hungarian philosophers who were critics of the current Hungarian ruling party, Fidesz, and its prime minister, Viktor Orbán. Elected external member of the Hungarian Academy of Sciences in 2001, Harnad resigned in protest, 8 October 2016.
Harnad's research interests are in cognitive science and open access. He is currently professor of psychology at Université du Québec à Montréal (UQAM), McGill University, and professor emeritus of cognitive science at the University of Southampton. Elected external member of the Hungarian Academy of Sciences in 2001 (resigned in protest, 8 October 2016, he was Canada Research Chair in cognitive science 2001-2015. His research is on categorization, communication, cognition,and consciousness and he has written extensively on categorical perception, symbol grounding, origin of language, lateralization, the Turing test, distributed cognition, scientometrics, and consciousness. Harnad is a former student of Donald O. Hebb and Julian Jaynes.
Damper, R. I., Gore, M. O. and Harnad, S. (1996) Acoustic and auditory representations of the voicing contrast. Journal of the Acoustical Society of America, 100 (4/2), 2682.
Damper, R. I., Harnad, S. and Gore, M. O. (1996) The auditory basis of the perception of voicing. ESCA Tutorial and Research Workshop on the Auditory Basis of Speech Perception. 69--74 .
Harnad, Stevan (1990) The symbol grounding problem. Physica D, 42 (1-3), 335-346. (doi:10.1016/0167-2789(90)90087-6).
Harnad, Stevan , Simon, T and Scholes, R (eds.) (1982) Neoconstructivism: A Unifying Constraint for the Cognitive Sciences , Erlbaum
Harnad, Stevan (1982) Metaphor and Mental Duality. Simon, T. and Scholes, R (eds.) In Language, Mind and Brain. Erbaum. 189 - 211 .
Harnad, Stevan (1982) Consciousness: An Afterthought. Cognition and Brain Theory, 5, 29 - 47.
Harnad, Stevan (1987) Psychophysical and cognitive aspects of categorical perception: A critical overview. Harnad, Stevan (ed.) In Categorical Perception: The Groundwork of Cognition. Cambridge University Press. pp. 1-25 .
Harnad, Stevan (1987) Category Induction and Representation. Harnad, S (ed.) In Categorical Perception: The Groundwork of Cognition. Cambridge University Press. pp. 535-65 .
Damper, R. I. and Harnad, S. R. (2000) Neural network modeling of categorical perception. Perception and Psychophysics, 62 (4), 843-867.
Adams, L. J., Damper, R. I., Harnad, S. and Hall, W. (1999) A system design for human factors studies of speech-enabled Web browsing. ESCA Workshop on Interactive Dialogue in Multi-Modal Systems, Kloster Irsee, Germany. pp. 137-140 .
Harnad, Stevan (1972) Creativity, lateral saccades and the nondominant hemisphere. Perceptual and Motor Skills, 34, 653 - 654.
Harnad, Stevan (1990) Against Computational Hermeneutics. Social Epistemology, 4, 167-172.
Harnad, Stevan (1990) Lost in the hermeneutic hall of mirrors. Journal of Experimental and Theoretical Artificial Intelligence, 2, 321 - 327..
Harnad, Stevan (1990) Scholarly Skywriting and the Prepublication Continuum of Scientific Inquiry. Psychological Science, 1, 342 - 343.
Cangelosi, Angelo, Greco, Alberto and Harnad, Stevan (2000) From robotic toil to symbolic theft: Grounding transfer from entry-level to higher-level categories. Connection Science, 12 (2), 143-162.
Harnad, Stevan (2000) Minds, Machines and Turing: The Indistinguishability of Indistinguishables. Journal of Logic, Language, and Information, 9 (4), 425-445.
Harnad, Stevan (2000) Correlation Vs. Causality: How/Why the Mind/Body Problem Is Hard. Journal of Consciousness Studies, 7 (4), 54-61.
Cangelosi, Angelo and Harnad, Stevan (2001) The Adaptive Advantage of Symbolic Theft Over Sensorimotor Toil: Grounding Language in Perceptual Categories. Evolution of Communication, 4 (1), 117-142.
Harnad, Stevan (1999) The Future of Scholarly Skywriting. Scammell, A. (ed.) In "i in the Sky: Visions of the information future". Aslib/IMI. pp. 216-218 .
Harnad, Stevan (1999) Advancing Science By Self-Archiving Refereed Research. Science (on-line dEbates).
Harnad, Stevan (1999) Why I... believe that intelligence can be measured...
Duranceau, Ellen and Harnad, Stevan (1999) Resetting our intuition pumps for the online-only era: a conversation with Stevan Harnad. Serials Review, 25 (1), 109-115. (doi:10.1080/00987913.1999.10764487).
Harnad, Stevan (1998) The invisible hand of peer review. Nature [online].
Harnad, Stevan (1999) Free at Last: The Future of Peer-Reviewed Journals. D-Lib Magazine, 5 (12).
Harnad, Stevan (1998) On-Line Journals and Financial Firewalls. Nature, 395, 127-128.
Harnad, Stevan (1970) Behavioral and Brain Sciences.
Harnad, Stevan (1970) PSYCOLOQUY.
Harnad, Stevan (1970) American Scientist: September98 Forum on Freeing the Refereed Literature Online.
Light, P, White, S, Harnad, S, Light, V and Nesbitt, E (1998) Student Experiences of Skywriting. Implementing Student LearningTechnologies: Strategies and Experience. Southampton Learning Technologies Conference.
Tijsseling, A, Pevtzow, R, Casey, M and Harnad, S (1998) Categories as Attractors. Proceedings of the 2nd International Conference on Cognitive and Neural Systems. Boston University. Boston MA..
Harnad, Stevan (1998) Beyond Object Constancy. Institution of Electrical Engineers (IEE) Seminar on "Self-Learning RobotsII: Bio-Robotics." Commentary on Pfeifer (1998) "Embodied Cognition: Dynamic and Information Theoretic Implicationsof Embodiment".
Harnad, Stevan (1998) The Hardships of Cognitive Science. Trends in Cognitive Sciences, 2 (6), 234-235.
Livingston, Kenneth, Andrews, Janet and Harnad, Stevan (1998) Categorical Perception Effects Induced by Category Learning. Journal of Experimental Psychology: Learning, Memory and Cognition, 24 (3), 732-753.
Harnad, Stevan (1997) Learned Inquiry and the Net: The Role of Peer Review, Peer Commentary and Copyright. Learned Publishing, 11 (4), 283-292.
Harnad, Stevan, Smith, Arthur and Doyle, Mark (1998) Visions of an electronic-publishing future. American Scientist, 86 (6), 500.
Carr, Les, Hitchcock, Steve, Hall, Wendy and Harnad, Stevan (2000) A usage based analysis of CoRR. ACM Journal of Computer Documentation, 24 (2), 54-59.
Hitchcock, Steve, Carr, Les, Jiao, Zhuoan, Bergmark, Donna, Hall, Wendy, Lagoze, Carl and Harnad, Stevan (2000) Developing services for open eprint archives: globalisation, integration and the impact of links. Proceedings of the 5th ACM Conference on Digital Libraries, San Antonio, Texas, June 2000.. pp. 143-151 .
Harnad, Stevan (2000) E-Knowledge: Freeing the Refereed Journal Corpus Online. Computer Law & Security Review, 16 (2), 78-87.
Harnad, Stevan (2000) The invisible hand of peer review. Exploit Interactive, (5).
Cangelosi, Angelo, Greco, Alberto and Harnad, Stevan (1996) Categorical perception effects in connectionist models. Proceedings of the Annual Conference of the Italian Psychological Association. Experimental Psychology Section. Capri, 30 September 1996.
Greco, Alberto, Cangelosi, Angelo and Harnad, Stevan (1997) A connectionist model of categorical perception and symbol grounding. Proceedings of theAnnual Conference of Proceedings of the 15th Annual Workshop of the European Society for the Study of Cognitive Systemst.
Harnad, Stevan (1997) How Learned Journals Are Different. European Science Foundation Communications, 37, 22-24.
Tijsseling, A and Harnad, S (1997) Warping Similarity Space in Category Learning by Backprop Nets. Ramscar, M., Hahn, U., Cambouropolos, E. and Pain, H. (eds.) Proceedings of SimCat 1997: Interdisciplinary Workshop on Similarity and Categorization. 263 - 269 .
Pevtzow, Rachel and Harnad, Stevan (1997) Warping similarity space in category learning by human subjects: the role of task difficulty. Ramscar, M., Hahn, U., Cambouropolos, E. and Pain, H. (eds.) Proceedings of SimCat 1997: Interdisciplinary Workshop on Similarity andCategorization. 189 - 195 .
Harnad, S. and Hey, J.M.N. (1995) Esoteric Knowledge: the Scholar and Scholarly Publishing on the Net. Dempsey, L, Law, D and Mowlat, I (eds.) Networking and the Future of Libraries 2: Managing the Intellectual Record, Proceedings of an International Conference, Bath, 19-21 April 1995. pp. 110-16 .
Harnad, Stevan (1997) How to Fast-Forward Serials to the Inevitable and the Optimal for Scholars and Scientists. Learned Publishing, 30, 73-81.
Harnad, Stevan (1997) Lively flights of fancy. The Times Higher Education Supplement.
Harnad, Stevan (1997) The Paper House of Cards (And Why It Is Taking So Long To Collapse). Ariadne, 8, 6-7.
Harnad, Stevan and Hemus, Matt (1997) All Or None: No Stable Hybrid or Half-Way Solutions for Launching the Learned Periodical Literature into the PostGutenberg Galaxy. Butterworth, I. (ed.) In The Impact of Electronic Publishing on theAcademic Community. Portland Press. pp. 18-27 .
Harnad, Stevan (1996) Implementing Peer Review on the Net: Scientific Quality Control in Scholarly Electronic Journals. Peek, R. and Newby, G. (eds.) In Scholarly Publishing: The Electronic Frontier. MIT Press. pp. 103-118 .
Harnad, Stevan (1996) The Origin of Words: A Psychophysical Hypothesis. Velichkovsky, B. and Rumbaugh, D. (eds.) In Communicating Meaning: Evolution and Development of Language. Erlbaum. pp. 27-44 .
Harnad, Stevan (1996) Experimental Analysis of Naming Behavior Cannot Explain Naming Capacity. Journal of the Experimental Analysis of Behavior, 65, 262-264.
Harnad, Stevan (1996) What to do about feelings? The Times Higher Education Supplement, 29.
Harnad, Stevan, Varian, Hal and Parks, Bob (2000) Academic publishing in the online era. Culture Machine, 2.
Harnad, S. (2000) From sensorimotor praxis and pantomime to symbolic representations. The Evolution of Language. Proceedings of 3rd International Conference. pp. 118-125 .
Harnad, Stevan (1974) Review of Pribram & Luria's "The Psychophysiology of the Frontal Lobes". Quarterly Review of Biology.
Harnad, Stevan (1976) Induction, evolution and accountability. Harnad, S, Steklis, H.D. and Lancaster, J.B. (eds.) In Origins and Evolution of Language andSpeech. Annals of the New York Academy of Sciences. 58 - 60 .
Steklis, H.D. and Harnad, Stevan (1976) From hand to mouth: Some critical stages in the evolution of language. In, Harnad, S, Steklis, H.D. and Lancaster, J.B. (eds.) Annals of the New York Academy of Sciences. Origins and Evolution of Language and Speech (01/01/76) New York Academy of Sciences, pp. 445-455.
Harnad, Stevan (1995) Why and How We Are Not Zombies. Journal of Consciousness Studies, 1 (2), 164-167.
Harnad, Stevan (1995) The warp factor. The Guardian [OnLine Section: OffLine], 11.
Harnad, Stevan (1995) The PostGutenberg Galaxy: How To Get There From Here. Information Society, 11 (4), 285-292.
Harnad, Stevan (1995) Sorting the esoterica from the exoterica: there's plenty of room in cyberspace. Information Society, 11 (4), 305-324.
Harnad, Stevan (1995) A Subversive Proposal. In, Okerson, A. and O'Donnell, J. (eds.) Scholarly Journals at the Crossroads: A Subversive Proposal for Electronic Publishing. Scholarly Journals at the Crossroads; ASubversive Proposal for Electronic Publishing (01/01/95) Association of Research Libraries.
Harnad, Stevan (1995) Grounding symbols in sensorimotor categories with neural networks. "Grounding Representations: Integration of Sensory Information in Natural Language Processing, Artificial Intelligence and Neural Networks". p. 103 .
Harnad, Stevan (1995) What Thoughts Are Made Of. Nature, 378, 455-456.
Harnad, Stevan (1995) Interactive Cognition: Exploring the Potential of Electronic Quote/Commenting. Gorayska, B. and Mey, J.L. (eds.) In Cognitive Technology: In Search of a Humane Interface. Elsevier. pp. 397-414 .
Harnad, Stevan (1995) Electronic Scholarly Publication: Quo Vadis? Serials Review, 21 (1), 70-72.
Harnad, Stevan (1995) Learned Categorical Perception in Neural Nets: Implications for Symbol Grounding. Honavar, V. and Uhr, L. (eds.) In Symbol Processors and Connectionist Network Models in Artificial Intelligence and Cognitive Modelling: Steps Toward Principled Integration. Academic Press. pp. 191-206 .
Harnad, Stevan (1995) Grounding Symbolic Capacity in Robotic Capacity. Steels, L. and Brooks, R. (eds.) In Building Situated Embodied Agents. Erlbaum. pp. 276-286 .
Harnad, Stevan (1995) Does the Mind Piggy-Back on Robotic and Symbolic Capacity? Morowitz, H. (ed.) The Mind, the Brain, and Complex Adaptive Systems. pp. 204-220 .
Harnad, Stevan (1994) Computation Is Just Interpretable Symbol Manipulation: Cognition Isn't. Minds and Machines, 4, 379-390.
Harnad, Stevan (1994) The Convergence Argument in Mind-Modelling: Scaling Up from Toyland to the Total Turing Test. Cognoscenti: Bulletin of the Toronto Cognitive Science Society, 2, 35-39.
Harnad, Stevan (1994) Levels of Functional Equivalence in Reverse Bioengineering: The Darwinian Turing Test for Artificial Life. Artificial Life, 1 (3), 293-301.
Harnad, Stevan (1993) Discussion (passim). In, Bock, G.R. and Marsh, J. (eds.) CIBA Foundation Symposium. Experimental and Theoretical Studies of Consciousness (01/01/93) Wiley.
Harnad, Stevan (1993) Exorcizing the Ghost of Mental Imagery. Computational Intelligence, 9 (4).
Harnad, Stevan (1993) Problems, Problems: The Frame Problem as a Symptom of the Symbol Grounding Problem. Psycoloquy, 4 (34).
Harnad, S (1993) Symbol Grounding is an Empirical Problem: Neural Nets are Just a Candidate Component. Proceedings of the Fifteenth Annual Meeting of the Cognitive Science Society.
Harnad, Stevan (1993) Artificial Life: Synthetic Versus Virtual. Artificial Life III.
Harnad, Stevan (1993) Grounding Symbols in the Analog World with Neural Nets. Think, 2 (1), 12-78.
Harnad, Stevan (1992) Interactive Publication: Extending the American Physical Society's Discipline-Specific Model for Electronic Publishing. Serials Review, 58 - 61.
Hayes, P, Harnad, Stevan, Perlis, D and Block, N (1992) Virtual Symposium on Virtual Mind. Minds and Machines, 2 (3), 217-238.
Harnad, Stevan (1992) The Turing Test Is Not A Trick: Turing Indistinguishability Is A Scientific Criterion. SIGART Bulletin, 3 (4), 9-10.
Harnad, Stevan (1992) Connecting Object to Symbol in Modeling Cognition. Clark, A. and Lutz, R (eds.) In Connectionism in Context. Springer-Verlag. pp. 75-90 .
Harnad, Stevan (1991) Electronic Journal Publishing on the Net. ARL, 156, 2-3.
Harnad, Stevan (1991) Post-Gutenberg Galaxy: The Fourth Revolution in the Means of Production of Knowledge. Public-Access Computer Systems Review, 2 (1), 39 - 53.
Harnad, Stevan, Hanson, S.J. and Lubin, J. (1991) Categorical Perception and the Evolution of Supervised Learning in Neural Nets. Powers, D.W. and Reeker, L. (eds.) Proceedings of the AAAI Spring Symposium on Machine Learning of Natural Language and Ontology.
Harnad, Stevan (1991) Other bodies, Other minds: A machine incarnation of an old philosophical problem. Minds and Machines, 1, 43-54.
Harnad, Stevan (1990) Are Species Intelligent? Behavioral and Brain Sciences, 13 (1), 94.
Harnad, Stevan (1990) Symbols and Nets: Cooperation vs. Competition. Connection Science, 2, 455-456.
Harnad, Stevan (1976) Commentary on Paredes & Hepburn: The Split-Brain and the Culture-Cognition Paradox. Current Anthropology, 17, 320 -322.
Harnad, Stevan (1976) Commentary on Jonas & Jonas: Gender Differences in Mental Function. Current Anthropology, 17, 327 - 328.
Harnad, Stevan and Doty, R.W. (1977) Introductory Overview. Harnad, S, Doty, R.W., Goldstein, L., Jaynes, J. and Krauthamer, G. (eds.) In Lateralization in the Nervous System. Academic Press..
Goldstein, L. and Harnad, Stevan (1977) Quantitated EEG correlates of normal and abnormal interhemispheric relations. Desmedt, J. (ed.) In Language and hemispheric specialization in man. Karger..
Harnad, Stevan (1980) Biographical entry for A. Montagu. In International Encyclopedia of the Social Sciences (Biographical Supplement). Aslib/IMI. 535 - 536 .
Harnad, Stevan (1982) Discussion (passim). Lucas, M.M. and Hayes, P.J. (eds.) In Proceedings of the Cognitive Curriculum Conference. University of Rochester..
Harnad, Stevan (1983) Commentary on Klein: Analogy, mysticism and culture. Current Anthropology, 24, 170-171.
Harnad, Stevan (1984) Verifying machines' minds. Contemporary Psychology, 29, 389 - 391.
Harnad, Stevan (1984) Mind in society: Where the action is? Contemporary Psychology, 29, 951-953.
Harnad, Stevan (1984) Commentary on Garfield: Anthropology journals: What they cite and what cites them. Current Anthropology, 25, 521 - 522.
Harnad, Stevan (1984) Commentaries, opinions and the growth of scientific knowledge. American Psychologist, 39, 1497 - 1498.
Harnad, Stevan (1984) What are the scope and limits of radical behaviorist theory? Behavioral and Brain Sciences, 7, 720-721.
Harnad, Stevan (1985) Rational disagreement in peer review. Science, Technology, & Human Values, 10, 55-62.
Harnad, Stevan (1985) Hebb, D.O. - Father of Cognitive Psychobiology 1904-1985. Behavioral and Brain Sciences, 8 (4), 765.
Harnad, Stevan (1985) Bugs, Slugs, Computers and Consciousness. American Psychologist, 23 (2), 21.
Harnad, Stevan (1986) Policing the Paper Chase. Nature, 322, 24-25.
Light, P., Light, V., Nesbitt, E. and Harnad, Stevan (2000) CMC as a support for course related discussion in a campus university setting. Joiner, R. (ed.) In Rethinking Collaborative Learning. Routledge..
Harnad, Stevan and Carr, Les (2000) Integrating, Navigating and Analyzing Eprint Archives Through Open Citation Linking (the OpCit Project). Current Science, 79 (5), 629-638.
Harnad, Stevan (2000) Ingelfinger Over-Ruled: The Role of the Web in the Future of Refereed Medical Journal Publishing. The Lancet, 256, s16.
Harnad, Stevan (2001) Mind, Machines and Searle II: What's Wrong and Right About Searle's Chinese Room Argument? In, Bishop, M. and Preston, J. (eds.) Essays on Searle's Chinese Room Argument. Essays on Searle's Chinese Room Argument (01/01/01) Oxford University Press.
Harnad, Stevan (2001) Explaining the Mind: Problems, Problems. The Sciences, 41 (2), 36-43.
Harnad, Stevan, Carr, Les and Brody, Tim (2001) How and Why to Free All Refereed Research from Access- and Impact-Barriers, Now How and Why To Free All Refereed Research. High Energy Physics Library Webzine, 4.
Harnad, Stevan (2001) AAAS's Response: Too Little, Too Late. Science dEbates.
Harnad, Stevan (2001) The Self-Archiving Initiative. Nature, 410, 1024-1025.
Harnad, Stevan (2001) Six Proposals for Freeing the Refereed Literature Online: A Comparison. Ariadne.
Harnad, Stevan (2001) The (Refereed) Literature-Liberation Movement. New Scientist, 2292, 53.
Harnad, Stevan (2001) Research Access, Impact and Assessment. The Times Higher Education Supplement, 1487, 16.
Harnad, Stevan (1985) Aspects of behaviorism. Times Literary Supplement, 4298, 91.
Harnad, S (1992) What scholars want and need from electronic journals. Proceedings of the ASIS Annual Meeting. p. 342 .
Harnad, Stevan (2001) There is only one mind/body problem. Journal of Psychology, 27(3-4, 521.
Harnad, Stevan (1999) Online archive must serve authors as well as publishers. Nature, 401(67, 423.
Harnad, Stevan (2001) Trasformazioni al Passo con i Tempi. Ricerca Roche, 31, 22-25.
Harnad, Stevan (2001) The Self-Archiving Alternative. Nature WebDebates. Nature WebDebates.
Harnad, Stevan (2001) Harnad on Dennett on Chalmers on Consciousness: The Mind/Body Problem is the Feeling/Function Problem s.n.
Harnad, Stevan (2001) Spielberg's AI: Another Cuddly No-Brainer.
Cangelosi, A., Greco, A. and Harnad, Stevan (2002) Symbol Grounding and the Symbolic Theft Hypothesis. Cangelosi, A. and Parisi, D. (eds.) In Simulating the Evolution of Language. Springer..
Harnad, Stevan (2002) Symbol grounding and the origin of language s.n.
Liu, Xiaoming, Brody, Tim, Harnad, Stevan, Carr, Les, Maly, Kurt, Zubair, Mohammad and Nelson, Michael L (2002) A Scalable Architecture for Harvest-Based Digital Libraries - The ODU/Southampton Experiments.
Gutteridge, Christopher and Harnad, Stevan (2002) Applications, Potential Problems and a Suggested Policy for Institutional E-Print Archives.
Brody, Tim, Kampa, Simon, Harnad, Stevan, Carr, Les and Hitchcock, Steve (2003) Digitometric Services for Open Archives Environments. European Conference on Digital Libraries 2003, Trondheim, Norway. pp. 207-220 .
Harnad, Stevan (2003) Cielographie et cielolexie: Anomalie pos-gutenbergienne et comment la resoudre. In, Origgi, G. and Arikha, N. (eds.) Le texte a l'heure de l'Internet. Bibliotheque Centre Pompidou, pp. 77-103.
Carr, Les, Hitchcock, Steve, Hall, Wendy and Harnad, Stevan (2001) Enhancing OAI Metadata for Eprint Services: two proposals. Brody, T., Jiao, Z., Hitchcock, S., Carr, L. and Harnad, S. (eds.) Experimental OAI-based Digital Library Systems Workshop, Darmstadt. pp. 54-59 .
Harnad, Stevan (2002) Turing Indistinguishability and the Blind Watchmaker. In, Fetzer, J (ed.) Evolving Consciousness. Evolving Consciousness (01/01/02) John Benjamins, pp. 3-18.
Harnad, Stevan (2002) Symbol Grounding and the Origin of Language. In, Scheutz, M. (ed.) Computationalism: New Directions. Evolving Consciousness (01/01/02) MIT Press, pp. 143-158.
Harnad, Stevan (2002) Darwin, Skinner, Turing and the Mind. Magyar Pszichologiai Zsemle, 57 (4), 521-528.
Carr, Les, Hitchcock, Steve, Hall, Wendy and Harnad, Stevan (2002) Evidence of Hypertext in the Scholarly Archive. HT'02, the 13th ACM Conference on Hypertext, University of Maryland. pp. 54-59 .
Harnad, Stevan (2003) Can a Machine Be Conscious? How? Journal of Consciousness Studies, 10 (4-4), 69-75.
Harnad, Stevan (2003) Categorical Perception. In, Encyclopedia of Cognitive Science. Encyclopedia of Cognitive Science (01/12/03) Nature Publishing Group: Macmillan.
Harnad, Stevan (2003) Symbol Grounding Problem. In, Encyclopedia of Cognitive Science. Encyclopedia of Cognitive Science (01/12/03) Nature Publishing Group: Macmillan.
Harnad, Stevan (2003) Eprints: Electronic Preprints and Postprints. In, Encyclopedia of Library and Information Science. Encyclopedia of Cognitive Science (01/12/03) Marcel Dekker.
Harnad, Stevan (2003) Online Archives for Peer-Reviewed Journal Publications. In, Feather, John and Sturges, Paul (eds.) International Encyclopedia of Library and Information Science. Encyclopedia of Cognitive Science (01/12/03)
Harnad, Stevan (2003) Back to the Oral Tradition Through Skywriting at the Speed of Thought. Interdisciplines.
Harnad, Stevan (2003) Self-Archive Unto Others as Ye Would Have Them Self-Archive Unto You. The Australian Higher Education Supplement.
Harnad, Stevan, Carr, Les, Brody, Tim and Oppenheim, Charles (2003) Mandated online RAE CVs Linked to University Eprint Archives. Ariadne, 35.
Harnad, Stevan (2003) There is no Concrete (or: Living Within One's Means). Access to the Abstract., University of Southern , Odense, Denmark. 29 - 30 May 2003.
Harnad, Stevan and Santiago-Delefosse, M (2004) Maximiser l'impact de la recherche en psychologie au moyen de l'auto-archivage. L'initiative pour l'accès libre aux articles scientifiques. Pratiques Psycholoqiques, 10 (3), 273-282.
Hitchcock, Steve, Woukeu, Arouna, Brody, Tim, Carr, Les, Hall, Wendy and Harnad, Stevan (2003) Evaluating Citebase, an open access Web-based citation-ranked search and impact discovery service s.n.
Harnad, Stevan (2003) For Whom the Gate Tolls? In, Law, Derek and Andrews, Judith (eds.) Digital Libraries: Policy Planning and Practice. Ashgate.
Harnad, Stevan, Brody, Tim, Vallieres, Francois, Carr, Les, Hitchcock, Steve, Gingras, Yves, Oppenheim, Charles, Stamerjohanns, Heinrich and Hilf, Eberhardt (2004) The green and the gold roads to Open Access. Nature Web Focus.
Brody, Tim, Stamerjohanns, Heinrich, Vallieres, Francois, Harnad, Stevan, Yves, Gingras and Charles, Oppenheim (2004) The effect of Open Access on Citation Impact. National Policies on Open Access (OA) Provision for University Research Output: an International meeting, Southampton, Southamtpon University.
Harnad, Stevan and Brody, Tim (2004) Comparing the Impact of Open Access (OA) vs. Non-OA Articles in the Same Journals. D-Lib Magazine, 10 (6).
Harnad, Stevan (2005) Searle's Chinese Room Argument. In, Encyclopedia of Philosophy. Macmillan.
Harnad, Stevan (2005) Language and the game of life. Commentary on "Coordinating Perceptually Grounded Categories through Language. A Case Study for Colour." Luc Steels & Tony Belpaeme. Behavioral and Brain Sciences.
Harnad, Stevan (2005) Putting the Berlin Principle into Practice: The Southampton "Keystroke" Policy.
Harnad, Stevan (2001) The Budapest Open Access Initiative Self-Archiving FAQ.
Harnad, Stevan (2005) The Research-Impact Cycle, Open Access, and Self-Archiving.
Harnad, Stevan (2005) Fast-Forward on the Green Road to Open Access: The Case Against Mixing Up Green and Gold. Ariadne, 43.
Harnad, Stevan (2005) The Implementation of the Berlin Declaration on Open Access. D-Lib Magazine, 11 (3).
Harnad, Stevan (2007) Evan. In, Villaroya, Oscar and Forn, Francesc (eds.) Social Brain Matters. Stances on the Neurobiology of Social Cognition. Éditions Rodopi, Amsterdam/New York.
Brody, Tim, Harnad, Stevan and Carr, Les (2006) Earlier Web Usage Statistics as Predictors of Later Citation Impact. Journal of the American Association for Information Science and Technology (JASIST), 57 (8), 1060-1072.
Harnad, Stevan (2005) On Maximizing Journal Article Access, Usage and Impact. Haworth Press (occasional column).
Harnad, Stevan , Dror, Itiel and Dascal, Marcelo (eds.) (2005) Distributed Processes, Distributed Cognizers and Collaborative Cognition. Pragmatics & Cognition, 13 (3), 501-514.
Harnad, Stevan (2005) What is Consciousness? New York Review, 52 (11).
Harnad, Stevan (2005) Applying Optimality Findings: A Critique of Graham Taylor's Critique of RCUK Policy Proposal.
Harnad, Stevan (2005) The Green and Gold Roads to Maximizing Journal Article Access, Usage and Impact. Haworth Press (occasional column), July 1.
Harnad, Stevan (2005) A Keystroke Koan for our Open Access Times.
Harnad, Stevan (2005) Critique of ALPSP'S 1st Response to RCUK's Open Access Self-Archiving Proposal.
Berners-Lee, Tim, De Roure, Dave, Harnad, Stevan and Shadbolt, Nigel (2005) Open Letter to Research Councils UK: Rebuttal of ALPSP Critique.
Berners-Lee, Tim, De Roure, Dave, Harnad, Stevan and Shadbolt, Nigel (2005) Journal publishing and author self-archiving: Peaceful Co-Existence and Fruitful Collaboration.
Harnad, Stevan (2005) Rebuttal of STM Response to RCUK Self-Archiving Policy Proposal.
Harnad, Stevan (2005) Maximising the Return on UK's Public Investment in Research.
Harnad, Stevan (2005) From Hypertext to Hyperloquy.
Harnad, Stevan (2005) Making the case for web-based self-archiving. Research Money, 19 (16).
Hajjem, Chawki, Gingras, Yves, Brody, Tim, Carr, Les and Harnad, Stevan (2005) Open Access to Research Increases Citation Impact s.n.
Harnad, Stevan (2006) Publish or Perish — Self-Archive to Flourish: The Green Route to Open Access. ERCIM News, 64.
Harnad, Stevan (2005) To Cognize is to Categorize: Cognition is Categorization. In, Lefebvre, Claire and Cohen, Henri (eds.) Handbook of Categorization. Summer Institute in Cognitive Sciences on Categorisation (29/06/03 - 10/07/03) Elsevier.
Harnad, Stevan (2005) Science is systematised, institutionalised common sense. Spiked (Einstein Year): If you could teach the world just one thing....
Harnad, Stevan (2006) Generic Rationale for University Open Access Self-Archiving Policy.
Harnad, Stevan (2005) OA Impact Advantage = EA + (AA) + (QB) + QA + (CA) + UA.
Harnad, Stevan (2009) Cohabitation: Computation at 70, Cognition at 20. In, Dedrick, D and Trick, L (eds.) Computation, Cognition, and Pylyshyn. MIT Press, pp. 245-257.
Harnad, Stevan (2006) Maximizing research impact through institutional and national open-access self-archiving mandates. Jeffrey, Keith (ed.) CRIS2006. Current Research Information Systems: Open Access Institutional Repositories, , Bergen, Norway. 10 - 12 May 2006.
Harnad, Stevan (2006) Opening Access by Overcoming Zeno's Paralysis. In, Jacobs, N (ed.) Open Access: Key Strategic, Technical and Economic Aspects. Chandos.
Harnad, Stevan (2006) Online, Continuous, Metrics-Based Research Assessment s.n.
Hajjem, Chawki and Harnad, Stevan (2006) Manual Evaluation of Robot Performance in Identifying Open Access Articles s.n.
Harnad, Steven and Dror, Itiel E. , Harnad, Steven, Dror, Itiel E. and Dascal, Marcelo (eds.) (2006) Distributed cognition: cognizing, autonomy and the Turing Test. Pragmatics & Cognition, 14 (2), 209-213.
Shadbolt, Nigel, Brody, Tim, Carr, Les and Harnad, Stevan (2006) The Open Research Web: A Preview of the Optimal and the Inevitable. In, Jacobs, Neil (ed.) Open Access: Key Strategic, Technical and Economic Aspects. Chandos.
Harnad, Stevan (2006) Within-Journal Demonstrations of the Open-Access Impact Advantage: PLoS, Pipe-Dreams and Peccadillos (LETTER). PLoS Biology, 4 (5).
Harnad, Stevan (2006) How to Counter All Opposition to the US Federal Research Public Access Act (FRPAA) Self-Archiving Mandate s.n.
Carr, Les, Hitchcock, Steve, Oppenheim, Charles, McDonald, J. W., Champion, Tim and Harnad, Stevan (2006) Extending journal-based research impact assessment to book-based disciplines.
Harnad, Stevan (2006) Self-archiving should be mandatory. Research Information.
Harnad, Stevan (2006) Publish or Perish (Poem). Euroscience Open Forum ESOF2006, Munich.
Harnad, Stevan (2003) Open Access to Peer-Reviewed Research through Author/Institution Self-Archiving: Maximizing Research Impact by Maximizing Online Access. Journal of Postgraduate Medicine, 49, 337-342.
Harnad, Stevan (2006) Open access: the complaint, the evidence and the verdict. Journal of the Royal Society of Medicine, 99.
Harnad, Stevan (2008) The Annotation Game: On Turing (1950) on Computing, Machinery, and Intelligence (PUBLISHED VERSION BOWDLERIZED). In, Epstein, Robert, Roberts, Gary and Beber, Grace (eds.) Parsing the Turing Test: Philosophical and Methodological Issues in the Quest for the Thinking Computer. Evolving Consciousness (01/01/08) Springer, pp. 23-66.
Harnad, Stevan (2006) Central versus institutional self-archiving s.n.
Harnad, Stevan (2006) Optimizing OA Self-Archiving Mandates: What? Where? When? Why? How? s.n.
Carr, Les, Swan, Alma, Sale, Arthur, Oppenheim, Charles, Brody, Tim, Hitchcock, Steve, Hajjem, Chawki and Harnad, Stevan (2006) Repositories for Institutional Open Access: Mandated Deposit Policies.
Harnad, Stevan (2006) Critique of EPS/RIN/RCUK/DTI "Evidence-Based Analysis of Data Concerning Scholarly Journal Publishing" s.n.
Harnad, Stevan (2006) Preprints, Postprints, Peer Review, and Institutional vs. Central Self-Archiving s.n.
Harnad, Stevan (2006) 125 Provosts For, 10 Against FRPAA Self-Archiving Mandate s.n.
Carr, Les, DeRoure, Dave, Harnad, Stevan, Hey, Jessie, Hey, Tony, Hitchcock, Steve and Oppenheim, Charles (2004) Written Evidence to 2003 House of Commons Science and Technology Committee.
Harnad, Stevan (2006) Promoting open access to research. The Hindu.
Harnad, Stevan (2006) Self-Archiving and Journal Subscriptions: Flawed Method and No Data s.n.
Hajjem, Chawki (2006) The Self-Archiving Impact Advantage: Quality Advantage or Quality Bias? s.n.
Harnad, Stevan (2003) Spielberg's AI: Another Cuddly No-Brainer.
Harnad, Stevan (2007) The Green Road to Open Access: A Leveraged Transition. In, Anna, Gacs (ed.) The Culture of Periodicals from the Perspective of the Electronic Age. L'Harmattan, pp. 99-105.
Hajjem, Chawki and Harnad, Stevan (2007) The Open Access Citation Advantage: Quality Advantage Or Quality Bias? s.n.
Hajjem, Chawki and Harnad, Stevan (2007) Citation Advantage For OA Self-Archiving Is Independent of Journal Impact Factor, Article Age, and Number of Co-Authors s.n.
Harnad, Stevan (2007) On "Open Access" Publishers Who Oppose Open Access Self-Archiving Mandates s.n.
Harnad, Stevan (2007) Open Access Scientometrics and the UK Research Assessment Exercise. Torres-Salinas, Daniel and Moed, Hank F. (eds.) 11th Annual Meeting of the International Society for Scientometrics and Informetrics, Madrid, Madrid, Spain. 24 - 26 Jun 2007.
Harnad, Stevan (2007) Maturana’s Autopoietic Hermeneutics Versus Turing’s Causal Methodology for Explaining Cognition (Reply to A. Kravchenko (2007) Whence the autonomy? A comment on Harnad and Dror (2006). Pragmatics and Cognition.
Harnad, Stevan (2003) On the Incommensurability of Feeling and Doing: The Illusion of Free Will. (Review of: Wegner, Daniel (2003) The Illusion of Conscious Will. MIT Press.) s.n.
Carr, Leslie, Harnad, Stevan and Swan, Alma (2007) A Longitudinal Study of the Practice of Self-Archiving
Harnad, Stevan (2007) Asymptotic Costs of Gold Open Access Journal Publication s.n.
Harnad, Stevan (2007) Cure Gold Fever With Green Deposits s.n.
Harnad, Stevan (2007) Green OA Self-Archiving Needs a Lobbying Organisation s.n.
Harnad, Stevan (2007) Why Cornell's Institutional Repository Is Near-Empty s.n.
Harnad, Stevan (2007) No Need for Canadian PubMed Central: CIHR Should Mandate IR Deposit s.n.
Brody, Tim, Carr, Les, Harnad, Stevan and Swan, Alma (2007) Time to Convert to Metrics. Research Fortnight, 17-18.
Harnad, Stevan (2007) Letter to the Editor, Research Europe.
Brody, Tim, Carr, Les, Gingras, Yves, Hajjem, Chawki, Harnad, Stevan and Swan, Alma , Dirks, Lee and Hey, Tony (eds.) (2007) Incentivizing the Open Access Research Web: Publication-Archiving, Data-Archiving and Scientometrics. CTWatch Quarterly, 3 (3).
Harnad, Stevan and Scherzer, Peter (2007) First, Scale Up to the Robotic Turing Test, Then Worry About Feeling. Proceedings of AAAI 2007 Fall Symposium on AI and Consciousness, Washington DC. 08 - 11 Nov 2007.
Harnad, Stevan (2007) Ethics of Open Access to Biomedical Research: Just a Special Case of Ethics of Open Access to Research. Philosophy, Ethics and Humanities in Medicine, 2 (31).
Harnad, Stevan and Swan, Alma (2008) India, Open Access, the Law of Karma and the Golden Rule. DESIDOC Bulletin of Information Technology, 28 (1).
Harnad, Stevan (2007) From Knowing How To Knowing That: Acquiring Categories By Word of Mouth (presented at Kaziemierz Naturalized Epistemology Workshop (KNEW), Kaziemierz, Poland, 2 September 2007). Kazimierz Workshop on Naturalised Epistemology, University of Southern , Odense, Denmark. 31 Aug - 04 Sep 2007.
Harnad, Stevan (2007) Mandates and Metrics:How Open Repositories Enable Universities to Manage, Measure and Maximise their Research Assets. (In Press)
Harnad, Stevan (2008) Optimize the NIH Mandate Now: Deposit Institutionally, Harvest Centrally s.n. (In Press)
Harnad, Stevan (2008) Weaken the Harvard OA Mandate To Strengthen It s.n. (In Press)
Harnad, Stevan (2008) How To Integrate University and Funder Open Access Mandates s.n. (In Press)
Harnad, Stevan (2008) Why and how the problem of the evolution of Universal Grammar (UG) is hard. Behavioral and Brain Sciences, 31 (5), 524-526. (doi:10.1017/S0140525X08005153).
Harnad, Stevan (2008) Validating Research Performance Metrics Against Peer Rankings. Ethics in Science and Environmental Politics, 8 (11).
Harnad, Stevan (2007) Acesso livre: Que? Por quê? Como? Onde? Quando? Sociedade Brasileira para o Progresso da Ciência, Belem, Brazil. 07 - 09 Jul 2007. (In Press)
Harnad, Stevan (2007) Research Communication, Navigation, Evaluation, and Impact in the Open Access Era. Microsoft Research Faculty Summit 2007, Redmond, WA, United States. (In Press)
Harnad, Stevan (2007) From Knowing-How To Knowing-That: ?Acquiring Categories By Word of Mouth. Naturalised Epistemology Workshop, Kazimierz Dolny, Poland. 31 Aug - 04 Sep 2007. (In Press)
Harnad, Stevan (2007) Policy Recommendations for EuroOpenScholar. Liège Euro-Rectors' OA Mandate Conference Conference, Liege, Belgium. (In Press)
Harnad, Stevan and Scherzer, Peter (2008) First, Scale Up to the Robotic Turing Test,? Then Worry About Feeling. Symposium on AI and Consciousness: Theoretical Foundations and Current Approaches AAAI 2007, Washington, DC, United States. 09 - 11 Nov 2007.
Harnad, Stevan (2007) Mandates and Metrics: How Open Repositories Enable Universities to Manage, Measure and Maximise their Research Assets. UUK Resarch Information and Management Workshop, , London, United Kingdom. (In Press)
Harnad, Stevan (2008) Social Categories Are Categories. European Network for the Advancement of Artificial Cognitive Systems, Workshop on Social Cognition,, Venice, Italy. (In Press)
Harnad, Stevan (2008) Institutional versus Central Deposit Optimising DRIVER Policy for the OA Mandate and Metric Era. European Network for the Advancement of Artificial Cognitive Systems, Workshop on Social Cognition,, Goettingen, Germany. 16 - 17 Jan 2008. (In Press)
Harnad, Stevan (2008) The Dictionary As Mirror of the Mind. International Conference on Formal Concept Analysis (ICFCA'08), Montreal, Canada. 25 - 28 Feb 2008. (In Press)
Harnad, Stevan (2008) The University's Mission, Management and Mandate in the Open Access Era. EurOpenScholar Meeting: The University's Mission, Management and Mandate in the Open Access Era, Southampton University, Southampton, United Kingdom. (In Press)
Harnad, Stevan (2008) Open Access; let’s do it: top down, bottom up or both? International Science Fair, FESTRIESTE Consortium, International School for Advanced Studies (SISSA), University of Trieste, Trieste, Italy. (In Press)
Harnad, Stevan (2008) El movimiento mundial para el acceso libre: Maximizar el acceso al conocimiento para maximizar el progreso de los conocimientos. International Science Fair, FESTRIESTE Consortium, International School for Advanced Studies (SISSA), University of Trieste, Cordoba, Spain. (In Press)
Harnad, Stevan, Brody, Tim, Vallieres, Francois, Carr, Les, Hitchcock, Steve, Gingras, Yves, Oppenheim, Charles, Hajjem, Chawki and Hilf, Eberhardt (2008) The Access/Impact Problem and the Green and Gold Roads to Open Access: An Update. Serials Review, 34 (1), 36-40. (doi:10.1016/j.serrev.2007.12.005).
Harnad, Stevan (2008) The OA Deposit-Fee Kerfuffle: APA's Not Responsible; NIH Is s.n. (In Press)
Harnad, Stevan (2008) Confirmation Bias and the Open Access Advantage: Some Methodological Suggestions for the Davis Citation Study s.n. (In Press)
Harnad, Stevan (2008) What It Feels Like To Hear Voices: Fond Memories of Julian Jaynes. Biennial Julian Jaynes Conference on Consciousness, University of Prince Edward Island. 06 - 08 Aug 2008. (In Press)
Harnad, Stevan (2008) First Person Singular: A review of Brian Rotman's "Becoming Beside Ourselves: Alphabet, ghosts, distributed human beings" s.n.
Dror, Itiel and Harnad, Stevan (2008) Offloading cognition onto cognitive technology. In, Dror, Itiel and Harnad, Stevan (eds.) Cognition Distributed: How Cognitive Technology Extends Our Minds. (Benjamins Current Topics, 16) Amsterdam, The Netherlands. John Benjamins, pp. 1-23. (doi:10.1075/bct.16.02dro).
Harnad, Stevan, Carr, Les, Swan, Alma, Sale, Arthur and Bosc, Helene (2009) Maximizing and Measuring Research Impact Through University and Research-Funder Open-Access Self-Archiving Mandates. Wissenschaftsmanagement, 15 (4), 36-41.
Harnad, Stevan, Carr, Les and Gingras, Yves , Kuramoto, Helio (ed.) (2008) Maximizing Research Progress Through Open Access Mandates and Metrics. Liinc em Revista. (Submitted)
Chicoisne, Guillaume, Blondin-Masse, Alexandre, Picard, Olivier and Harnad, Stevan (2008) Grounding Abstract Word Definitions In Prior Concrete Experience. Sixth Annual Conference on the Mental Lexicon, , Banff, Canada. 06 - 09 Oct 2008. (Submitted)
St-Louis, Bernard, Corbeil, Marieve, Achim, Andre and Harnad, Stevan (2008) Acquiring the Mental Lexicon Through Sensorimotor Category Learning. Sixth Annual Conference on the Mental Lexicon, , Banff, Canada. 06 - 09 Oct 2008. (Submitted)
Harnad, Stevan (2008) The University's Mandate To Mandate Open Access s.n. (In Press)
Harnad, Stevan (2009) Open access scientometrics and the UK Research Assessment Exercise. Scientometrics, 79 (1), 147-156. (doi:10.1007/s11192-009-0409-z).
Harnad, Stevan (2009) On Fodor on Darwin on Evolution s.n. (In Press)
Harnad, Stevan (2008) Waking OA’s “Slumbering Giant”: The University's Mandate To Mandate Open Access. New Review of Information Networking, 14 (1), 51-68.
Harnad, Stevan (2009) Concepts: The Very Idea. Canadian Philosophical Association Symposium on Machery on Doing without Concepts, Carleton University. (In Press)
Harnad, Stevan (2009) From Sensorimotor Categories to Grounded Symbols s.n. (In Press)
Harnad, Stevan (2009) Integrating Universities' Thesis and Research Deposit Mandates. 12th International Symposium on Electronic Theses and Dissertations, University of Pittsburgh, Pittsburgh Pennsylvania. 09 - 12 Jun 2009. (In Press)
Harnad, Stevan (2009) DEBATE: Institutional repository success is dependent upon mandates. Bulletin of the American Society for Information Science and Technology, 5 (4).
Picard, Olivier, Blondin-Masse, Alexandre, Harnad, Stevan, Marcotte, Odile, Chicoisne, Guillaume and Gargouri, Yassine (2009) Hierarchies in dictionary definition space. 23rd Annual Conference on Neural Information Processing Systems: Workshop on Analyzing Networks and Learning With Graphs, Vancouver BC (), Canada. 11 - 12 Dec 2009.
Gargouri, Yassine, Hajjem, Chawki, Lariviere, Vincent, Gingras, Yves, Brody, Tim, Carr, Les and Harnad, Stevan (2010) Self-selected or mandated, open access increases citation impact for higher quality research. PLoS ONE, 5 (10), e13636-[5pp]. (doi:10.1371/journal.pone.0013636).
Sale, Arthur, Couture, Marc, Rodrigues, Eloy, Carr, Les and Harnad, Stevan (2014) Open Access Mandates and the "Fair Dealing" Button. In, Dynamic Fair Dealing: Creating Canadian Culture Online (Rosemary J. Coombe & Darren Wershler, Eds.). University of Toronto Press.
Harnad, Stevan (2010) The Immediate Practical Implication of the Houghton Report: Provide Green Open Access Now. Prometheus, 28 (1), 55-59. (doi:10.1080/08109021003676367).
Harnad, S (2009) Multiple metrics required to measure research performance. Nature, 457, 785-785.
Carr, Les and Harnad, Stevan (2011) Offloading cognition onto the Web. IEEE Intelligent Systems, 26 (1), 33-39. (doi:10.1109/MIS.2011.19).
Harnad, Stevan (2010) Symbol Grounding Problem: Turing-Scale Solution Needed. IEEE AMD Newsletter, 7 (1).
Harnad, Stevan (2010) Eliminating the “concept” concept. Behavioral and Brain Sciences, 33 (2/3). (In Press)
Harnad, Stevan (2010) No-Fault Peer Review Charges: The Price of Selectivity Need Not Be Access Denied or Delayed. D-Lib Magazine, 16 (7/8).
Harnad, Stevan (2010) Deceiving Ourselves About Self-Deception. Behavioral and Brain Sciences. (In Press)
Blondin-Massé, Alexandre, Harnad, Stevan and St-Louis, Bernard (2013) Symbol Grounding and the Origin of Language: From Show to Tell. In, Lefebvre, Claire, Cohen, Henri and Comrie, Bernard (eds.) New Perspectives on the Origins of Language. Benjamin.
Harnad, Stevan (2011) From Sensorimotor Categories and Pantomime to Grounded Symbols and Propositions. In, Tallerman, Maggie and Gibson, Kathleen (eds.) Handbook of Language Evolution. Oxford University Press.
Harnad, Stevan (2010) The Open Challenge: A Brief History. Public Service Review: European Science & Technology, 9, 13-15.
Harnad, Stevan (2010) Open Access: The Green Road to Maximizing Research Impact [Interview]. Bibliotek og Medier, 2010 (4), 4-7.
Harnad, Stevan (2010) Gold Open Access Publishing Must Not Be Allowed to Retard the Progress of Green Open Access Self-Archiving. Logos: The Journal of the World Book Community, 21 (3-4), 86-93. (Submitted)
Harnad, Stevan (2011) Zen and the Art of Explaining the Mind [Review of Shanahan M. (2010) Embodiment and the Inner Life: Cognition and Consciousness in the Space of Possible Minds. Oxford University Press.]. International Journal of Machine Consciousness (IJMC). (Submitted)
Carr, Les, Swan, Alma and Harnad, Stevan (2011) Creating and Curating the Cognitive Commons: Southampton’s Contribution. In, Simons, Maarten, Decuypere, Mathias, Vlieghe, Joris and Masschelein, Jan (eds.) Curating the European University. Universitaire Pers Leuven, pp. 193-199. (Submitted)
Harnad, Stevan (2011) Minds, Brains and Turing. In Third Annual Online Consciousness Conference. vol. 3, Consciousness Online..
Harnad, Stevan (2011) Open Access to Research: Changing Researcher Behavior Through University and Funder Mandates. JEDEM Journal of Democracy and Open Government, 3 (1), 33-41.
Harnad, Stevan (2009) The Explanatory Gap: Responses to Comments. PhilPapers Online Research in Philosophy.
Harnad, Stevan (2011) Open Access Is a Research Community Matter, Not a Publishing Community Matter. Lifelong Learning in Europe, XVI (2), 117-118.
Harnad, Stevan (1999) Comments on Harol Varmus's 1999 E-Biomed Proposal. (In Press)
Harnad, Stevan (2011) Comments on Open Access FAQ of German Alliance of Scientific Organisations (Allianz der deutschen Wissenschaftsorganisationen) s.n. (In Press)
Harnad, Stevan (2011) Lunch Uncertain [Review of: Floridi, Luciano (2011) The Philosophy of Information (Oxford)]. Times Literary Supplement, 5664, 22-23.
Harnad, Stevan (1969) The effects of fixation, attention, and report on the frequency and duration of visual disappearances. McGill University, Psychology, Masters Thesis.
Harnad, Stevan (2011) What Is To Be Done About Public Access to Peer-Reviewed Scholarly Publications Resulting From Federally Funded Research? (Response to US OSTP RFI) s.n. (Submitted)
Harnad, Stevan (2012) Research Works Act H.R.3699: The Private Publishing Tail Trying To Wag The Public Research Dog, Yet Again s.n.
Harnad, Stevan (2012) The causal topography of cognition. [in special issue: A Computational Foundation for the Study of Cognition] Journal of Cognitive Science, 13 (2), 181-196.
Harnad, Stevan (2012) Alan Turing and the “hard” and “easy” problem of cognition: doing and feeling. [in special issue: Turing Year 2012] Turing100: Essays in Honour of Centenary Turing Year 2012, Summer Issue.
Gargouri, Yassine, Lariviere, Vincent, Gingras, Yves, Carr, Les and Harnad, Stevan (2012) Green and Gold Open Access percentages and growth, by discipline. 17th International Conference on Science and Technology Indicators (STI), Montreal, Canada. 04 - 07 Sep 2012. 11 pp .
Harnad, Stevan (2012) Why the UK Should Not Heed the Finch Report. LSE Impact of Social Sciences Blog, Summer Issue.
Carr, Les, DeRoure, David C., Harnad, Stevan, Hey, Jessie, Hey, A J G, Hitchcock, Steve and Oppenheim, Charles (2004) Southampton Recommendations to 2004 UK Parliamentary Select Committee on Science and Technology: Open Access Policy. UK Parliament Publications and Records, 10.
Rosenthal, David and Harnad, Stevan (2012) Turing Centenary Institute on "The Evolution and Function of Consciousness". UQaM Turing Centenary Institute on the Evolution and Function of Consciousness, Montréal, Canada.
Harnad, Stevan (2012) The Optimal and Inevitable Outcome for Research in the Online Age. CILIP Update, 46-48.
Harnad, Stevan (2012) There's no justifying Research Council UK's support for [hybrid] gold open access. Guardian HE Network.
Harnad, Stevan (2012) Hybrid gold open access and the Cheshire Cat’s grin: How to repair the new open access policy of RCUK. LSE Impact of Social Sciences.
Giglia, Elena and Harnad, Stevan (2012) Open Access 2012: achievements, further steps, and obstacles. An interview with Stevan Harnad. European Journal of Physical and Rehabilitation Medicine (Europa Mediophysica), 48 (1/2), Autumn Issue. (Submitted)
Harnad, Stevan (2012) How and Why RCUK Open Access Policy Needs Revision. Digital Research 2012, Oxford, United Kingdom.
Harnad, Stevan (2012) United Kingdom's open access policy urgently needs a tweak. D-Lib Magazine, 18 (9/10), Autumn Issue. (doi:10.1045/september2012-harnad).
Stieg, Kerstin, Pavlovic, Karl and Harnad, Stevan (2012) Open Access: Stevan Harnad im Interview. Mitteilungen der VÖB, 3/4 (30), Autumn Issue, 167-177.
Poynder, Richard and Harnad, Stevan (2012) OA advocate Stevan Harnad withdraws support for RCUK policy. Open and Shut, Summer Issue.
Harnad, Stevan (2011) Sky-Writing, Or, When Man First Met Troll. The Atlantic, Spring Issue.
Blondin-Massé, Alexandre, Chicoisne, Guillaume, Gargouri, Yassine, Harnad, Stevan, Picard, Olivier and Marcotte, Odile (2008) How is meaning grounded in dictionary definitions? Coling 2008. 22nd International Conference on Computational Linguistics: TextGraphs-3 Proceedings of the 3rd Textgraphs Workshop on Graph-Based Algorithms for Natural Language Processing, Manchester, United Kingdom. 15 - 23 Aug 2008. pp. 17-24 .
Harnad, Stevan (2012) Publisher wheeling and dealing: open access via national and global McNopoly? Open Access Archivangelism.
Gargouri, Y, Lariviere, V, Gingras, Y, Brody, T, Carr, L and Harnad, S (2012) Testing the Finch Hypothesis on Green OA Mandate Ineffectiveness. Open Access Week 2012.
Harnad, Stevan (2013) Harnad Evidence to House of Lords Science and Technology Select Committee on Open Access. House of Lords Science and Technology Committee on Open Access, Winter Issue, 119-123.
Harnad, Stevan (2013) Harnad Evidence to BIS Select Committee Inquiry on Open Access University of Southampton (In Press)
Harnad, Stevan (2013) Worldwide open access: UK leadership? UKSG Insights, 26 (1), Winter Issue, 14-21. (doi:10.1629/2048-7754.26.1.14).
Harnad, Stevan (2013) Harnad Comments on HEFCE/REF Open Access Mandate Proposal. Open access and submissions to the REF post-2014. (In Press)
Harnad, Stevan (2013) Interview on Symbol Grounding. Kuenstliche Intelligenz, 27 (2), Spring Issue, 0933-1875. (doi:10.1007/s13218-013-0242-7).
Harnad, Stevan (2013) Follow-Up Comments for BIS Select Committee on Open Access. UK Parliament Publications and Records, Spring Issue.
Harnad, Stevan (2013) The Postgutenberg Open Access Journal (revised). In, Cope, B and Phillips, A (eds.) The Future of the Academic Journal (2nd edition). 2nd edition of book (01/01/13) Chandos. (In Press)
Harnad, Stevan (2011) Open Access Self-Archiving of Refereed Research: A PostGutenberg Compromise. Against the Grain, 23 (2), 22-23.
Harnad, Stevan (2013) Harnad Response to HEFCE REF OA Policy Consultation. HEFCE.
Harnad, Stevan (2013) Ordering Institutional Repository Priorities vs. Breaking Through Open Doors. Journal of Librarianship & Scholarly Communication, 1 (4), Winter Issue.
Yao, Jiadi, Carr, Les and Harnad, Stevan (2013) Understanding institutional collaboration networks computer science vs. psychology. 9th International Conference on Webometrics, Informetrics and Scientometrics (WIS) & 14th COLLNET Meeting, , Tartumaa, Estonia. 14 - 16 Aug 2013.
Gargouri, Yassine, Larivière, Vincent and Harnad, Stevan (2013) Ten-year Analysis of University of Minho Green OA Self-Archiving Mandate. In, Rodrigues, Eloy, Swan, Alma and Baptista, Ana Alice (eds.) Ten-year Anniversary of University of Minho RepositóriUM. TBA.
Harnad, Stevan (2013) Harnad Comments on Canada’s NSERC/SSHRC/CIHR Draft Tri-Agency Open Access Policy University of Southampton
Harnad, Stevan (2013) Politics vs Technology: the Twists and Turns of Open Access. First Southampton Web Science Seminar, Southampton, United Kingdom.
Harnad, Stevan (2013) Critique of RCUK's Response to BIS Recommendations on UK Open Access Policy. Open Access Archivangelism, Winter Issue.
Harnad, Stevan (2013) Finch II: "Our Mind's Made Up: Don't Confuse Us With Facts". LSE Impact of Social Sciences, 11 (18), Autumn Issue.
Harnad, Stevan (2013) Joint "Re-Engineering" Plan of UK Government and UK Publisher Lobby for "Nudging" UK Researchers Toward Gold Open Access. Open Access Archivangelism, 2013 (1077), Autumn Issue.
Harnad, Stevan (2015) Open access: what, where, when, how and why. In, Holbrook, J. Britt and Mitcham, Carl (eds.) Ethics, Science, Technology, and Engineering: An International Resource. Farmington Hills MI, US. Macmillan Reference.
Harnad, Stevan , Okerson, Anna Shumelda and O'Donnell, James J. (eds.) (1995) Scholarly Journals at the Crossroads: A Subversive Proposal for Electronic Publishing , Association of Research Libraries
Picard, Olivier, Lord, Melanie, Blondin-Massé, Alexandre, Marcotte, Odile, Lopes, Marcos and Harnad, Stevan (2013) Hidden Structure and Function in the Lexicon. In 10th International Workshop on Natural Language Processing and Cognitive Science. NLPCS. pp. 65-77 .
Harnad, Stevan (2014) HEFCE/REF adopts optimal complement to RCUK OA Mandate. LSE Impact, 1-4.
Vincent-Lamarre, Philippe, Blondin-Massé, Alexandre, Lord, Mélanie, Lopes, Marcos and Harnad, Stevan (2014) Psycholinguistic Correlates of Symbol Grounding in Dictionaries. Web Science and the Mind. p. 1 .
Vincent-Lamarre, Philippe, Boivin, Jade, Gargouri, Yassine, Larivière, Vincent and Harnad, Stevan (2014) The effect of Open Access mandate strength on deposit rate and latency. Summer School in Cognitive Sciences 2014: Web Science and the Mind, Montréal, Canada. 07 - 17 Jul 2014.
Vincent-Lamarre, Philippe, Boivin, Jade, Gargouri, Yassine, Larivière, Vincent and Harnad, Stevan (2016) Estimating open access mandate effectiveness: The MELIBEA Score. Journal of the Association for Information Science and Technology (JASIST), 67 (11), Summer Issue, 2815-2828. (doi:10.1002/asi.23601).
Vincent-Lamarre, Philippe, Blondin Massé, Alexandre, Lopes, Marcos, Lord, Mélanie, Marcotte, Odile and Harnad, Stevan (2016) The Latent Structure of Dictionaries. TopiCS in Cognitive Science, 8 (3), 625-659. (doi:10.1111/tops.12211).
Harnad, Stevan (2014) Crowd-Sourced Peer Review: Substitute or supplement for the current outdated system? London School of Economics Impact Blog.
Harnad, Stevan (2014) Animal pain and human pleasure: ethical dilemmas outside the classroom. London School of Economics LSE Impact Blog, Summer Issue.
Harnad, Stevan (2014) Turing Testing and the Game of Life: Cognitive science is about designing lifelong performance capacity not short-term fooling. London School of Economics LSE Impact Blog, Summer Issue.
Harnad, Stevan (2014) Chomsky’s Universe. À babord: Revue sociale es politique.
Harnad, Stevan (2014) The only way to make inflated journal subscriptions unsustainable: Mandate Green Open Access. London School of Economics LSE Impact Blog, Spring Issue.
Harnad, Stevan (2013) “Nudging” researchers toward Gold Open Access will delay the shift to wider access of research. London School of Economics LSE Impact Blog, Spring Issue.
Harnad, S (2013) Finch Group reviews progress in implementing open access transition amid ongoing criticisms. London School of Economics LSE Impact Blog, Autumn Issue.
Bekoff, Marc and Harnad, Stevan (2015) Doing the Right Thing: An Interview With Stevan Harnad. Psychology Today Blog, Winter Issue.
Swan, Alma, Gargouri, Yassine, Hunt, Megan and Harnad, Stevan (2015) Open Access Policy: Numbers, Analysis, Effectiveness. Pasteur4OA Work Package 3 report: Open Access policies.
Harnad, Stevan (2015) Taste and Torment: Why I Am Not a Carnivore. Québec Humaniste.
Harnad, Stevan (2015) Optimizing Open Access policy. The Serials Librarian: From the Printed Page to the Digital Age, 1-9. (doi:10.1080/0361526X.2015.1076368).
Harnad, Stevan (2016) Open Access Archivangelist: the last interview? CEON Otwarta Nauka (Open Science), Summer Issue. (In Press)
Harnad, Stevan (2006) Chomsky and Penrose on the Explicable and the Inexplicable. Author's Original.
Harnad, Stevan (2016) CCTV, web-streaming and crowd-sourcing to sensitize public to animal suffering. Animal Justice UK, 2, Winter Issue.
Perez-Gay, Fernanda, Christian, Thèriault, Gregory, Madeline, Sabri, Hisham, Harnad, Stevan and Rivas, Daniel (2017) How and why does category learning cause categorical perception? International Journal of Comparative Psychology, 30.
Christian, Thériault, Perez-Gay, Fernanda, Rivas, Daniel and Harnad, Stevan (2018) Learning-induced categorical perception in a neural network model. TopiCS in Cognitive Science, 1-11.
Pérez-Gay, Fernanda, Thériault, Christian, Gregory, Madeline, Sabri, Hisham, Rivas, Dan and Harnad, Stevan (2018) Erratum: How and why does category learning cause categorical perception?[Published: Special Issue: Categorization: Causes and Consequences, 30, (2017)]. International Journal of Comparative Psychology, 31.
Telephone: +44 (0) 23 8059 015147734948
Email: harnad@soton.ac.uk
West, Peter, Cox, Adrian and Davies, Susan (2019) Asthma. University of Southampton [Dataset]
West, Peter, Cox, Adrian and Davies, Susan (2019) Macroscope. University of Southampton [Dataset]
West, Peter, Cox, Adrian and Davies, Susan (2019) Distributed Observatory Search. University of Southampton [Dataset]
Belenguer, Germn, Mastrogiovanni, Gianmarco, Pacini, Clare, Hall, Zoe, Dowbaj, Anna M., Arnes-Benito, Robert, Sljukic, Aleksandra, Prior, Nicole, Kakava, Sofia, Bradshaw, Charles R., Davies, Susan, Vacca, Michele, Saeb-Parsy, Kourosh, Koo, Bon-Kyoung and Huch, Meritxell (2022) RNF43/ZNRF3 loss predisposes to hepatocellular-carcinoma by impairing liver regeneration and altering theliver lipid metabolic ground-state. Nature Communications, 13 (1), [334]. (doi:10.1038/s41467-021-27923-z).
Telephone: +44 (0) 23 8059 7768 266464; 023 8059 3523
Email: sdd1@soton.ac.uk
Yasir is a Senior Research Fellow at the University of Southampton, UK. He is currently working as a Researcher Co-Investigator on a £1.5m EPSRC project on developing the electroplating method for depositing 2D materials. He is also working as a Researcher within the EPSRC programme, QUantum DOts on Silicon (QUDOS), to integrate III/V optoelectronic devices on silicon photonic platforms. He was presented with the 2022 Dean's award for the exceptional early career researchers category.
He was previously a Research Fellow on another EPSRC programme, Advanced Devices by ElectroPlaTing (ADEPT), where he demonstrated the first electroplating of chalcogenide phase change materials in memory crossbar arrays. He was also a Research Associate at Lancaster University where he developed GaAs-based high energy particle detectors. He holds a PhD in Integrated Photonics and Quantum Communications from Lancaster University after winning several prestigious conference awards. He received a first-class (honours) degree from the University of Dundee in Electronic Engineering and Physics, having graduated the top 1st student winning three Duff & Garland prizes and three class medals. Yasir is also currently a Board Member for Quantum Base Ltd, was a Visiting Researcher at the Centre for Research and Advanced Studies of the National Polytechnic Institute (CINVESTAV) in Mexico City, a Consultant for CORNERSTONE and Carnegie Undergraduate Vocational Researcher at the Institute of Medical Science and Technology (IMSaT).
Yasir’s work is published in many high-impact journals such as ACS Applied Materials and Interfaces, ACS Nano Letters, Wiley Advanced Electronic Materials, IOP 2D materials, etc. He is a regular reviewer for several Nature, ACS, Wiley and IEEE group journals. In addition, he has one patent, two book chapters and numerous conference contributions. He has over 7 invited talks and was an external examiner for one PhD thesis. He was awarded the IOP Science Communication Competition at the UKSemiconductors conference, the three minutes thesis award at Lancaster University and the best poster presentation at the Optical Waveguide Theory and Numerical Modelling conference. He is a Fellow of the Software Sustainability Institute (SSI), an Associate Fellow of the Higher Education Academy (AFHEA), a member of the Institute of Electrical and Electronic Engineering (MIEEE), the Institute of Engineering and Technology (MIET) and the Institute of Physics (MIOP). He has successfully completed over 20 Science and Engineering modules offered by the MIT, Universities of California, Stanford, Pittsburgh, EPFL through the online platforms, EDX and Coursera.
Grants
Yasir's key research interests are in:
Huang, Ruomeng (2019) Dataset for Towards a 3D GST phase change memory with integrated selector by non-aqueous electrodeposition. University of Southampton doi:10.5258/SOTON/D0601 [Dataset]
Huang, Ruomeng, Kissling, Gabriela, Kashtiban, Reza J., Noori, Yasir, Cicvaric, Katarina, Zhang, Wenjian, Hector, Andrew L., Smith, David C., Reid, Gillian, Bartlett, Philip N. and De Groot, Cornelis (2018) Towards a 3D GeSbTe phase change memory with integrated selector by non-aqueous electrodeposition. Faraday Discussions, 1-17. (doi:10.1039/C8FD00126J).
Noori, Yasir (2017) Integrated optical components for quantum key distribution. Lancaster University, Doctoral Thesis, 156pp.
Noori, Yasir, Woodhead, Christopher S. and Young, Robert (2018) Increasing Light Absorption and Collection Using Engineered Structures. In, Kumar Nayak, Parmoda (ed.) Two-dimensional materials for photodetectors. London, UK. IN TECH, pp. 193-212. (doi:10.5772/intechopen.73079).
Roberts, J., Bagci, I.E., Zawawi, M.A.M., Sexton, J., Hulbert, N., Noori, Y.J., Young, M.P., Woodhead, C.S., Missous, M., Migliorato, M.A., Roedig, U. and Young, R.J. (2015) Using quantum confinement to uniquely identify devices. Scientific Reports, 5, 1-8, [16456]. (doi:10.1038/srep16456).
Orchard, Jonathan R., Woodhead, Chris, Wu, Jiang, Tang, Mingchu, Beanland, Richard, Noori, Yasir, Liu, Huiyun, Young, Robert J. and Mowbray, David J. (2017) Silicon-based single quantum dot emission in the telecoms C-band. ACS Photonics, 4 (7), 1740-1746. (doi:10.1021/acsphotonics.7b00276).
Young, M.P., Woodhead, C.S., Roberts, J., Noori, Y.J., Noble, M.T., Krier, A., Smakman, E.P., Koenraad, P.M., Hayne, M. and Young, R.J. (2014) Photoluminescence studies of individual and few GaSb/GaAs quantum rings. AIP Advances, 4 (11), 1-6, [117127]. (doi:10.1063/1.4902177).
Noori, Yasir J., Cao, Yameng, Roberts, Jonathan, Woodhead, Christopher, Bernardo-Gavito, Ramon, Tovee, Peter and Young, Robert J. (2016) Photonic crystals for enhanced light extraction from 2D materials. ACS Photonics, 3 (12), 2515-2520. (doi:10.1021/acsphotonics.6b00779).
Roberts, J., Bagci, I.E., Zawawi, M.A.M., Sexton, J., Hulbert, N., Noori, Y.J., Woodhead, C.S., Missous, M., Migliorato, M.A., Roedig, U. and Young, R.J. (2016) Atomic-scale authentication with resonant tunneling diodes. MRS Advances, 1 (22), 1625-1629. (doi:10.1557/adv.2016.156).
Woodhead, C.S., Roberts, J., Noori, Y.J., Cao, Y., Bernardo-Gavito, R., Tovee, P., Kozikov, A., Novoselov, K. and Young, R.J. (2017) Increasing the light extraction and longevity of TMDC monolayers using liquid formed micro-lenses. 2D Materials, 4 (1), 1-8, [015032]. (doi:10.1088/2053-1583/4/1/015032).
Bernardo Gavito, Ramón, Jiménez Urbanos, Fernando, Roberts, Jonathan, Sexton, James, Astbury, Benjamin, Shokeir, Hamzah, McGrath, Thomas, Noori, Yasir J., Woodhead, Christopher S., Missous, Mohamed, Roedig, Utz and Young, Robert J. (2017) N-state random switching based on quantum tunnelling. In Nanoengineering: Fabrication, Properties, Optics, and Devices XIV. vol. 10354, SPIE.. (doi:10.1117/12.2273298).
Bernardo-Gavito, Ramón, Bagci, Ibrahim Ethem, Roberts, Jonathan, Sexton, James, Astbury, Benjamin, Shokeir, Hamzah, McGrath, Thomas, Noori, Yasir J., Woodhead, Christopher S., Missous, Mohamed, Roedig, Utz and Young, Robert J. (2017) Extracting random numbers from quantum tunnelling through a single diode. Scientific Reports, 7 (1), 1-6, [17879]. (doi:10.1038/s41598-017-18161-9).
Alhodaib, Aiyeshah, Noori, Yasir J., Carrington, Peter J., Sanchez, Ana M., Thompson, Michael D., Young, Robert J., Krier, Anthony and Marshall, Andrew R.J. (2018) Room-temperature mid-infrared emission from faceted InAsSb multi quantum wells embedded in InAs nanowires. Nano Letters, 18 (1), 235-240. (doi:10.1021/acs.nanolett.7b03977).
Al-Saymari, Furat, Craig, Adam, Noori, Yasir, Lu, Qi, Marshall, Andrew and Krier, Anthony (2019) Electroluminescence enhancement in mid-infrared InAsSb resonant cavity light emitting diodes for CO2 detection. Applied Physics Letters, 114 (17), 171103. (doi:10.1063/1.5090840).
Noori, Yasir and De Groot, Cornelis (2020) Modelling resistive and phase‑change memory with passive selector arrays: a MATLAB tool. Journal of Computational Electronics, 19 (3), 1203-1214. (doi:10.1007/s10825-020-01504-7).
Thomas, Shibin, Smith, Danielle E., Greenacre, Victoria, Noori, Yasir, Hector, Andrew L., De Groot, Cornelis, Reid, Gillian and Bartlett, Philip N. (2020) Electrodeposition of MoS2 from dichloromethane. Journal of the Electrochemical Society, 167 (10), [106511]. (doi:10.1149/1945-7111/ab9c88).
Reeves, Simon, Noori, Yasir, Zhang, Wenjian, Reid, Gillian, Bartlett, Philip N. and Corsi, Josephine (2020) Dataset for Chloroantimonate Electrochemistry in Dichloromethane. University of Southampton doi:10.5258/SOTON/D1473 [Dataset]
Reeves, Simon, Noori, Yasir, Zhang, Wenjian, Reid, Gillian and Bartlett, Philip N. (2020) Chloroantimonate electrochemistry in dichloromethane. Electrochimica Acta, 354, [136692]. (doi:10.1016/j.electacta.2020.136692).
Noori, Yasir, Thomas, Shibin, Ramadan, Sami, Smith, Danielle E., Greenacre, Victoria, Abdelazim, Nema, Han, Yisong, Beanland, Richard, Hector, Andrew L., Klein, Norbet, Reid, Gillian, Bartlett, Philip N. and De Groot, Kees (2020) Large-area electrodeposition of few-layer MoS2 on graphene for 2D material heterostructures. ACS Applied Materials & Interfaces, 12 (44), 49786-49794. (doi:10.1021/acsami.0c14777).
Abdelazim, Nema, Noori, Yasir, Thomas, Shibin, Greenacre, Victoria, Han, Yisong and Smith, Danielle (2021) Dataset for Lateral growth of MoS2 2D material semiconductors over an insulator via electrodeposition. University of Southampton doi:10.5258/SOTON/D1856 [Dataset]
Noori, Yasir, Abdelazim, Nema, Thomas, Shibin, Greenacre, Victoria, Han, Yisong, Smith, Danielle E., Piana, Giacomo M, Zhelev, Nikolay, Hector, Andrew L., Beanland, Richard, Reid, Gillian, Bartlett, Philip N. and De Groot, Kees (2021) Lateral growth of MoS2 2D material semiconductors over an insulator via electrodeposition. Advanced Electronic Materials, 7 (9), 1-8, [2100419]. (doi:10.1002/aelm.202100419).
Noori, Yasir, Meng, Lingcong, Hamdiyah, Ayoub Hassan Jaafar, Zhang, Wenjian, Kissling, Gabriela, Han, Yisong, Abdelazim, Nema, Alibouri, Mehrdad, Leblanc, Kathleen, Zhelev, Nikolay, Huang, Ruomeng, Beanland, Richard, Smith, David C., Reid, Gillian, De Groot, Kees and Bartlett, Philip N. (2021) Phase change memory by GeSbTe electrodeposition in crossbar arrays. ACS Applied Electronic Materials, 3 (8), 3610-3618. (doi:10.1021/acsaelm.1c00491).
Noori, Yasir, Meng, Lingcong, Hamdiyah, Ayoub Hassan Jaafar, Han, Yisong and Abdelazim, Nema (2021) Dataset for Phase Change Memory by GeSbTe Electrodeposition in Crossbar Arrays. University of Southampton https://doi.org/10.1021/acsaelm.1c00491 [Dataset]
Thomas, Shibin, Greenacre, Victoria, Smith, Danielle E., Noori, Yasir, Abdelazim, Nema, Hector, Andrew L., De Groot, Kees, Levason, William, Bartlett, Philip N. and Reid, Gillian (2021) Tungsten disulfide thin films via electrodeposition from a single source precursor. ChemComm, 57 (79), 10194-10197. (doi:10.1039/D1CC03297F).
Kuoppa, Victor, Ye, Sheng, Noori, Yasir, Holmkvist, William, Young, Robert J. and Muenstermann, Daniel (2021) Towards GaAs thin-film tracking detectors. Journal of Instrumentation, 16 (P09012), 1-12, [P09012]. (doi:10.1088/1748-0221/16/09/P09012).
Hamdiyah, Ayoub Hassan Jaafar, Meng, Lingcong, Noori, Yasir and Han, Yisong (2021) Dataset for Electrodeposition of GeSbTe Based Resistive Switching Memory in Crossbar Arrays. University of Southampton doi:10.5258/SOTON/D2026 [Dataset]
Noori, Yasir, Thomas, Shibin, Ramadan, Sami, Greenacre, Victoria, Abdelazim, Nema, Han, Yisong, Zhang, J, Beanland, Richard, Hector, Andrew L., Klein, Norbert, Reid, Gillian, Bartlett, Philip N. and De Groot, Kees (2021) Electrodeposited WS2 monolayers on patterned graphene. 2D Materials, 9 (1), [015025]. (doi:10.1088/2053-1583/ac3dd6).
Soule, Samantha, Moehl, Gilles, Ernest Heinrich Karl, Huang, Ruomeng, Noori, Yasir, Kiang, Kian Shen, De Groot, Kees, Beanland, Richard, Smith, David and Hector, Andrew (2022) Dataset for Confining the growth of mesoporous silica films into nanospaces: towards surface nanopatterning. University of Southampton doi:10.5258/SOTON/D2093 [Dataset]
Noori, Yasir (2021) Electrodeposited WS2 Monolayers on Patterned Graphene. University of Southampton doi:10.5258/SOTON/D2045 [Dataset]
Jaafar, Ayoub H., Meng, Lingcong, Noori, Yasir J., Zhang, Wenjian, Han, Yisong, Beanland, Richard, Smith, David C., Reid, Gillian, De Groot, Kees, Huang, Ruomeng and Bartlett, Philip N. (2021) Electrodeposition of GeSbTe-based resistive switching memory in crossbar arrays. Journal of Physical Chemistry C, 125 (47), 26247-26255. (doi:10.1021/acs.jpcc.1c08549).
Soulé, Samantha, Moehl, Gilles E., Huang, Ruomeng, Noori, Yasir J., Kiang, Kian Shen, Kees de Groot, C. H., Beanland, Richard, Smith, David C. and Hector, Andrew L. (2022) Confining the growth of mesoporous silica films into nanospaces: towards surface nanopatterning. Nanoscale Advances, 4 (4), 1105-1111. (doi:10.1039/d1na00654a).
Moehl, Gilles, Ernest Heinrich Karl and Huang, Ruomeng (2022) Dataset for: AC-assisted deposition of aggregate free silica films with vertical pore structure'. University of Southampton doi:10.5258/SOTON/D2119 [Dataset]
Gardes, Frederic, Domínguez Bucio, Thalía, Skandalos, Ilias, Chakraborty, Ipsita, Rutirawut, Teerapat, Hou, Yaonan, Noori, Yasir and Mastronardi, Lorenzo (2022) Group IV compounds for CMOS photonics. In Semiconductor and Integrated Optoelectronics (SIOE) Conference. 1 pp . (In Press)
Noori, Yasir, Abdelazim, Nema, Thomas, Shibin, Reid, Gillian, Bartlett, Philip N., Klein, Norbert, Beanland, Richard, Hou, Yaonan, Skandalos, Ilias, Gardes, Frederic and De Groot, Kees (2022) 2D material based optoelectronics by electroplating. In Semiconductor and Integrated Optoelectronics (SIOE) Conference. 1 pp .
Hou, Yaonan, Jiang, Hui, Tang, Mingchu, Mosberg, Aleksander B., Ramasse, Quentin, Skandalos, Ilias, Noori, Yasir, Yang, Junjie, Liu, Huiyun and Gardes, Frederic (2022) A thermally removable SiOx surface protecting layer on Si (100) for molecular beam epitaxy. Semiconductor and Integrated OptoElectronics (SIOE) Conference, , Cardiff, United Kingdom. 12 - 14 Apr 2022. 1 pp . (In Press)
Skandalos, Ilias, Rutirawut, Teerapat, Domínguez Bucio, Thalía, Hou, Yaonan, Noori, Yasir, Tang, Mingchu, Chen, Siming, Liu, Huiyun and Gardes, Frederic (2022) Monolithic III-V/SiN co-integration through a butt-coupling scheme towards O-band applications. In Semiconductor and Integrated Optoelectronics (SIOE) Conference. (In Press)
Moehl, Gilles, Ernest Heinrich Karl, Nasir, Tauqir, Han, Yisong, Noori, Yasir, Huang, Ruomeng, Beanland, Richard, Bartlett, Philip N. and Hector, Andrew L. (2022) AC-assisted deposition of aggregate free silica films with vertical pore structure. Nanoscale, 14 (14), 5404-5411. (doi:10.1039/D1NR08253A).
Noori, Yasir, Abdelazim, Nema, Ramadan, Sami, Greenacre, Victoria, Han, Yisong, Beanland, Richard, Klein, Norbert, Reid, Gillian, Bartlett, Philip N. and De Groot, Kees (2022) Vertical and Lateral Electrodeposition of 2D Material Heterostructures. Graphene 2D Materials 2022, , Aachen, Germany. 05 - 08 Jul 2022. 1 pp .
Hou, Yaonan, Skandalos, Ilias, Noori, Yasir, Gardes, Frederic, Tang, Mingchu, Seeds, Alwyn and Liu, Huiyun (2022) Surface/interface engineering InAs quantum-dot based edge-emitting LED for III-V/SiN photonic integrations. In UK Semiconductor Meeting. (In Press)
Telephone: +44 (0) 23 8059 2422
Email: y.j.noori@soton.ac.uk
Telephone: +44 (0) 23 8059 7521719707
Email: y.j.noori@soton.ac.uk
Harris, Nicholas and Curry, Joshua, Sebastian (2018) Development and range testing of a LoRaWAN system in an urban environment. International Journal of Electronics and Communication Engineering, 12 (1). (doi:10.5281/zenodo.1315517).
Curry, Joshua, Sebastian and Harris, Nicholas (2019) Powering the environmental Internet of Things. Sensors, 19 (8), [1940]. (doi:10.3390/s19081940).
Outreach Officer in ECS.
Reena Pau is an enthusiastic communicator who is inspiring the next generation of computer scientists. She is passionate about introducing young people to the world of electronics and increasing the number of women entering the technology sector. Reena visits schools to run motivational sessions and full-day programmes as the Electronics and Computer Science (ECS) department’s Outreach Officer. I currently co-ordinate the ECS Taster Course and Taster days to ECS.
Pau, Reena (2009) Experiential factors which influence how female students perceive computing and computing careers at different stages in their education. University of Southampton, School of Electronics and Computer Science, Doctoral Thesis, 273pp.
Pau, Reena, Grace, Marcus and Hall, Wendy (2011) IT’S BORING: A comparison of male and female students’ experiences of ICT GCSE/ A-level and Computing A-level lessons and their impact on student motivation. School Science Review. (In Press)
Pau, Reena, Grace, Marcus, Hall, Wendy and Woollard, John (2011) Female students' experiences of programming: It's not all bad! ITiCSE 2011, Darmstadt, Germany. 26 - 28 Jun 2011. (In Press)
Dee, Hannah M., Petrie, Karen E., Boyle, Roger D. and Pau, Reena (2009) Why are we still here?: experiences of successful women in computing. pp. 233-237 . (doi:10.1145/1562877.1562951).
Pau, Reena, Argles, David, White, S.A. and Lovegrove, Gillian (2005) Computer geek versus computer chic: IT career and IT education. 6th International Women into Computing Conference. 13 - 15 Jul 2005.
Pau, Reena, Hall, Wendy and White, Su (2007) Women in computing: how does experience influence self-perception of computing careers? [in special issue: Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education (ITiCSE'07)] ACM SIGCSE bulletin, 39 (3), 349-349. (doi:10.1145/1269900.1268919).
Liccardi, Ilaria, Ounnas, Asma, Pau, Reena, Massey, Elizabeth, Kinnumen, Paivi, Lewthwaite, Sarah, Midy, Marie-Anne and Sakar, Chandan (2007) The role of social networks in students’ learning experiences. [in special issue: Proceeding: ITiCSE-WGR '07 Working Group Reports on ITiCSE on Innovation and Technology in Computer Science Education] ACM SIGCSE bulletin, 39 (4), 224-237. (doi:10.1145/1345443.1345442).
Ridgeway, Jennifer, Walters, Robert John and Pau, Reena (2013) Diversifying computing teaching: building an online hub to promote inclusivity. 18th Annual Conference on Innovation and Technology in Computer Science Education, Canterbury, United Kingdom. 30 Jun - 02 Jul 2013. 1 pp .
Basford, Philip, Bragg, Graeme, Hare, Jonathon, Jewell, Mike, Martinez, Kirk, Newman, David, Pau, Reena, Smith, Ash and Ward, Tyler (2016) Erica the Rhino: a case study in using Raspberry Pi Single Board Computers for interactive art. [in special issue: Raspberry Pi Technology] ELECTRONICS,, 5 (3), 1-18. (doi:10.3390/electronics5030035).
Telephone: +44 (0) 23 8059 7208
Email: R.Pau@soton.ac.uk
Dobranszki, Cristian, Golosnoy, Igor O. and Gabriel, Stephen (2018) Development of ignition unit for a liquid pulsed plasma thruster. Space Propulsion Conference, Barcelo Renacimiento Hotel, Seville, Spain. 14 - 18 May 2018. 8 pp .
Dobranszki, Cristian, Golosnoy, Igor O., Gabriel, Stephen and Gessini, Paolo (2019) Development of electrostrictive force-feeding sub-system for liquid pulsed plasma thrusters. 36th International Electric Propulsion Conference: IEPC, University of Vienna, Vienna, Austria. 15 - 20 Sep 2019. 11 pp .
Gessini, Paolo, Possa, Gabriela C., Intini Marques, Rodrigo, Dobranszki, Cristian, Golosnoy, Igor O. and Gabriel, Stephen (2019) Enabling low-cost high-energy missions with small spacecraft by using pulsed plasma thrusters. 36th International Electric Propulsion Conference: IEPC, University of Vienna, Vienna, Austria. 15 - 20 Sep 2019. 9 pp .
Daykin-Iliopoulos, Alexander, Bosi, Franco, Coccaro, Fabio, Magarotto, Mirko, Papadimopoulos, Athanasios, Del Carlo, Paola, Dobranszki, Cristian, Golosnoy, Igor O. and Gabriel, Stephen (2020) Characterisation of a thermionic plasma source apparatus for high-density gaseous plasma antenna applications. Plasma Sources Science and Technology, 29 (11), [115002]. (doi:10.1088/1361-6595/abb21a).
Telephone: +44 (0) 23 8059 5776
Email: cd1u16@soton.ac.uk
