A racket-based robot to teach first-year computer science

Conference paper

Androutsopoulos, K., Gorogiannis, N., Loomes, M., Margolis, M., Primiero, G., Raimondi, F., Varsani, P., Weldin, N. and Zivanovic, A. 2014. A racket-based robot to teach first-year computer science. 7 th European Lisp Symposium. IRCAM, Paris, France 05 - 06 May 2014 pp. 54-61
TypeConference paper
TitleA racket-based robot to teach first-year computer science
AuthorsAndroutsopoulos, K., Gorogiannis, N., Loomes, M., Margolis, M., Primiero, G., Raimondi, F., Varsani, P., Weldin, N. and Zivanovic, A.
Abstract

A novel approach to teaching Computer Science has been developed for the academic year 2013/14 at Middlesex University,
UK. The whole first year is taught in an holistic fashion, with programming at the core, using a number of practical projects to support learning and inspire the students. The Lisp derivative, Racket, has been chosen as the main programming language for the year. An important feature of the approach is the use of physical computing so that the students are not always working “through the screen”, but can experience physical manifestations of behaviours resulting from programs. In this paper we describe the MIddlesex Robotic plaTfOrm (MIRTO), an open-source platform built using Raspberry Pi, Arduino, and with Racket as the core coordination mechanism. We describe the architecture of the platform and how it can be used to support teaching of core Computer Science topics, we describe our teaching and assessment strategies, we present students’ projects and we provide a preliminary evaluation of our approach.

Research GroupArtificial Intelligence group
Foundations of Computing group
Research Group on Development of Intelligent Environments
SensoLab group
Conference7 th European Lisp Symposium
Page range54-61
Publication dates
Print2014
Publication process dates
Deposited19 Dec 2014
Output statusPublished
Web address (URL)https://european-lisp-symposium.org/static/proceedings/2014.pdf
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/84y8v

Log in to edit
  • 218
    total views
  • 0
    total downloads
  • 16
    views this month
  • 0
    downloads this month

Export as

Related outputs

Lessons from adopting a competency-based assessment approach for an introductory programming module
Androutsopoulos, K., Heeney, M., Smith, S. and Ticar, M.A. 2025. Lessons from adopting a competency-based assessment approach for an introductory programming module. ITiCSE 2025: Innovation and Technology in Computer Science Education. Nijmegen, Netherlands 27 Jun - 02 Jul 2025 Association for Computing Machinery (ACM). https://doi.org/10.1145/3724389.3731257
Implementing a digital twin for a robotic platform to support large-scale coding classes
Heeney, M., Androutsopoulos, K. and Raimondi, F. 2024. Implementing a digital twin for a robotic platform to support large-scale coding classes. Santos, A.L. and Pinto-Albuquerque, M. (ed.) 5th International Computer Programming Education Conference. Lisbon, Portugal 27 - 28 Jun 2024 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH. https://doi.org/10.4230/oasics.icpec.2024.15
AI enhanced collaborative human-machine interactions for home-based telerehabilitation
Le, H., Loomes, M.J. and Loureiro, R.C.V. 2023. AI enhanced collaborative human-machine interactions for home-based telerehabilitation. Journal of Rehabilitation and Assistive Technologies Engineering. 10. https://doi.org/10.1177/20556683231156788
Differential cost analysis with simultaneous potentials and anti-potentials
Žikelić, Ð., Chang, B., Bolignano, P. and Raimondi, F. 2022. Differential cost analysis with simultaneous potentials and anti-potentials. 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. San Diego, USA 13 - 17 Jun 2022 Association for Computing Machinery (ACM). pp. 442-457 https://doi.org/10.1145/3519939.3523435
Automatic annotation of confidential data in Java code
Bastys, I., Bolignano, P., Raimondi, F. and Schoepe, D. 2022. Automatic annotation of confidential data in Java code. Aïmeur, E., Laurent, M., Yaich, R., Dupont, B. and Garcia-Alfaro, J. (ed.) FPS 2021: The 14th International Symposium on Foundations & Practice of Security. Paris, France 08 - 12 Dec 2021 Springer. pp. 146-161 https://doi.org/10.1007/978-3-031-08147-7_10
Correctly slicing extended finite state machines
Amtoft, T., Androutsopoulos, K. and Clark, D. 2020. Correctly slicing extended finite state machines. in: Di Pierro, A., Malacaria, P. and Nagarajan, R. (ed.) From lambda calculus to cybersecurity through program analysis: Essays dedicated to Chris Hankin on the occasion of his retirement Switzerland Springer. pp. 149-197
Value-sensitive co-design for resilient information systems
Primiero, G., Barn, B. and Barn, R. 2020. Value-sensitive co-design for resilient information systems. Studies in Logic, Grammar and Rhetoric. 63 (1), pp. 141-164. https://doi.org/10.2478/slgr-2020-0032
Comparing approaches for model-checking strategies under imperfect information and fairness constraints
Busard, S., Pecheur, C., Qu, H. and Raimondi, F. 2019. Comparing approaches for model-checking strategies under imperfect information and fairness constraints. International Journal on Software Tools for Technology Transfer. 21 (4), pp. 449-469. https://doi.org/10.1007/s10009-018-0505-6
The power of affective touch within social robotics
Varsani, P. 2018. The power of affective touch within social robotics. Masters thesis Middlesex University
Negative trust for conflict resolution in software management
Primiero, G. and Boender, J. 2018. Negative trust for conflict resolution in software management. Web Intelligence. 16 (4), pp. 251-271. https://doi.org/10.3233/web-180393
Evelyne Lutton, Nathalie Perrot, Alberto Tonda: Evolutionary algorithms for food science and technology, Wiley, 2016, 182 pp, ISBN: 978-1-119-13683-5 [Book review]
Androutsopoulos, K. 2018. Evelyne Lutton, Nathalie Perrot, Alberto Tonda: Evolutionary algorithms for food science and technology, Wiley, 2016, 182 pp, ISBN: 978-1-119-13683-5 [Book review]. Genetic programming and Evolvable Machines. https://doi.org/10.1007/s10710-018-9335-2
Multi-agent based simulations of block-free distributed ledgers
Bottone, M., Raimondi, F. and Primiero, G. 2018. Multi-agent based simulations of block-free distributed ledgers. The 32nd IEEE International Conference on Advanced Information Networking and Applications Workshops (WAINA). Krakow, Poland 16 - 18 May 2018 IEEE. pp. 585-590 https://doi.org/10.1109/WAINA.2018.00149
Simulation of a trust and reputation based mitigation protocol for a black hole style attack on VANETs
Martorana, A., Primiero, G. and Tagliabue, J. 2018. Simulation of a trust and reputation based mitigation protocol for a black hole style attack on VANETs. 2018 IEEE European Symposium on Security and Privacy Workshops - S4CIP’18: 3rd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection. London, United Kingdom 27 Apr 2018 Institute of Electrical and Electronics Engineers (IEEE). pp. 127-135 https://doi.org/10.1109/EuroSPW.2018.00025
The logic of identity and copy for computational artefacts
Angius, N. and Primiero, G. 2018. The logic of identity and copy for computational artefacts. Journal of Logic and Computation. 28 (6), pp. 1293-1322. https://doi.org/10.1093/logcom/exy012
Annotated natural deduction for adaptive reasoning
Allo, P. and Primiero, G. 2019. Annotated natural deduction for adaptive reasoning. in: Baskent, C. and Ferguson, T. (ed.) Graham Priest on Dialetheism and Paraconsistency Springer.
Sensorial computing
Varsani, P., Moseley, R., Jones, S., James-Reynolds, C., Chinellato, E. and Augusto, J. 2018. Sensorial computing. in: Filimowicz, M. and Tzankova, V. (ed.) New Directions in Third Wave Human-Computer Interaction: Volume 1 - Technologies Cham, Switzerland Springer. pp. 265-284
Analysis and verification of ECA rules in intelligent environments
Cacciagrano, D., Corradini, F., Culmone, R., Gorogiannis, N., Mostarda, L., Raimondi, F. and Vannucchi, C. 2018. Analysis and verification of ECA rules in intelligent environments. Journal of Ambient Intelligence and Smart Environments. 10 (3), pp. 261-273. https://doi.org/10.3233/AIS-180487
MIRTO: an open-source robotic platform for education
Androutsopoulos, K., Aristodemou, L., Boender, J., Bottone, M., Currie, E., El-Aroussi, I., Fields, B., Gheri, L., Gorogiannis, N., Heeney, M., Micheletti, M., Loomes, M., Margolis, M., Petridis, M., Piermarteri, A., Primiero, G., Raimondi, F. and Weldin, N. 2018. MIRTO: an open-source robotic platform for education. 3rd European Conference on Software Engineering Education. Seeon, Germany 14 - 15 Jun 2018 Association for Computing Machinery (ACM). pp. 55-62 https://doi.org/10.1145/3209087.3209106
CoSMed: a confidentiality-verified social media platform
Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2018. CoSMed: a confidentiality-verified social media platform. Journal of Automated Reasoning. 61 (1-4), pp. 113-119. https://doi.org/10.1007/s10817-017-9443-3
Creating smarter teaching and training environments: innovative set-up for collaborative hybrid learning
Dafoulas, G., Cardoso Maia, C., Loomes, M., Serce, F., Swigger, K., Brazile, R., Lopez, V., Alpaslan, F. and Milewski, A. 2016. Creating smarter teaching and training environments: innovative set-up for collaborative hybrid learning. Novais, P. and Konomi, S. (ed.) 12th International Conference on Intelligent Environments (IE16) - Workshop. London, United Kingdom 12 - 13 Sep 2016 IOS Press. https://doi.org/10.3233/978-1-61499-690-3-238
Managing software uninstall with negative trust
Primiero, G. and Boender, J. 2017. Managing software uninstall with negative trust. 11th IFIP WG 11.11 International Conference, IFIPTM 2017. Gothenburg, Sweden 12 - 16 Jun 2017 Springer. pp. 79-93 https://doi.org/10.1007/978-3-319-59171-1_7
Implementing virtual pheromones in BDI robots using MQTT and Jason
Bottone, M., Palumbo, F., Primiero, G., Raimondi, F. and Stocker, R. 2016. Implementing virtual pheromones in BDI robots using MQTT and Jason. 2016 5th IEEE International Conference on Cloud Networking (Cloudnet). Pisa, Italy 03 - 05 Oct 2016 Institute of Electrical and Electronics Engineers (IEEE). pp. 196-199 https://doi.org/10.1109/CloudNet.2016.22
From raw data to agent perceptions for simulation, verification, and monitoring
Bottone, M., Primiero, G., Raimondi, F. and Rungta, N. 2016. From raw data to agent perceptions for simulation, verification, and monitoring. 12th International Conference on Intelligent Environment 2016:- 5th International Workshop on Reliability of Intelligent Environments (WoRIE’16). London, United Kingdom 14 - 16 Sep 2016 IOS Press. pp. 66-75 https://doi.org/10.3233/978-1-61499-690-3-66
Trust and distrust in contradictory information transmission
Primiero, G., Raimondi, F., Bottone, M. and Tagliabue, J. 2017. Trust and distrust in contradictory information transmission. Applied Network Science. 2 (1). https://doi.org/10.1007/s41109-017-0029-0
Examining the interaction between fourth estate and Twitter: an exploratory case study
Barn, B., Barn, R., Raimondi, F. and Mukherjee, U. 2017. Examining the interaction between fourth estate and Twitter: an exploratory case study. HUSO 2017: Third International Conference on Human and Social Analytics. Nice, France 23 - 27 Jul 2017 IARIA. pp. 11-17
Symbolic verification of event–condition–action rules in intelligent environments
Vannucchi, C., Diamanti, M., Mazzante, G., Cacciagrano, D., Culmone, R., Gorogiannis, N., Mostarda, L. and Raimondi, F. 2017. Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments. 3 (2), pp. 117-130. https://doi.org/10.1007/s40860-017-0036-z
Algorithmic iteration for computational intelligence
Primiero, G. 2017. Algorithmic iteration for computational intelligence. Minds and Machines. 27 (3), pp. 521-543. https://doi.org/10.1007/s11023-017-9423-8
A novel symbolic approach to verifying epistemic properties of programs
Gorogiannis, N., Raimondi, F. and Boureanu, I. 2017. A novel symbolic approach to verifying epistemic properties of programs. Twenty-Sixth International Joint Conference on Artificial Intelligence. Melbourne, Australia 19 - 25 Aug 2017 International Joint Conferences on Artificial Intelligence. pp. 206-212 https://doi.org/10.24963/ijcai.2017/30
CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees
Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2017. CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. 38th IEEE Symposium on Security and Privacy. San Jose, CA, USA 22 - 26 May 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 729-748 https://doi.org/10.1109/SP.2017.24
A proof-theoretic trust and reputation model for VANET
Primiero, G., Raimondi, F., Chen, T. and Nagarajan, R. 2017. A proof-theoretic trust and reputation model for VANET. S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection. Paris, France 29 Apr 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 146-152 https://doi.org/10.1109/EuroSPW.2017.64
The packing chromatic number of the infinite square lattice is between 13 and 15
Martin, B., Raimondi, F., Chen, T. and Martin, J. 2017. The packing chromatic number of the infinite square lattice is between 13 and 15. Discrete Applied Mathematics. 225, pp. 136-142. https://doi.org/10.1016/j.dam.2017.03.013
A fused deep learning architecture for viewpoint classification of echocardiography
Gao, X., Li, W., Loomes, M. and Wang, L. 2017. A fused deep learning architecture for viewpoint classification of echocardiography. Information Fusion. 36, pp. 103-113. https://doi.org/10.1016/j.inffus.2016.11.007
MCMAS: an open-source model checker for the verification of multi-agent systems
Lomuscio, A., Qu, H. and Raimondi, F. 2017. MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer. 19 (1), pp. 9-30. https://doi.org/10.1007/s10009-015-0378-x
What learners want from educational spaces? A framework for assessing impact of architectural decisions in virtual worlds
Dafoulas, G., Saleeb, N. and Loomes, M. 2016. What learners want from educational spaces? A framework for assessing impact of architectural decisions in virtual worlds. IADIS International Journal on WWW/Internet. 14 (2), pp. 72-90.
Contradictory information flow in networks with trust and distrust
Primiero, G., Bottone, M., Raimondi, F. and Tagliabue, J. 2016. Contradictory information flow in networks with trust and distrust. 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016). Milan 01 - 06 Dec 2016 Springer. https://doi.org/10.1007/978-3-319-50901-3_29
A calculus for distrust and mistrust
Primiero, G. 2016. A calculus for distrust and mistrust. Tenth IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2016. Darmstadt, Germany 18 - 22 Jul 2016 Springer. https://doi.org/10.1007/978-3-319-41354-9_15
Information in the philosophy of computer science
Primiero, G. 2016. Information in the philosophy of computer science. in: Floridi, L. (ed.) The Routledge Handbook of Philosophy of Information Routledge. pp. 90-106
Assessing the role of optical head-mounted displays in education: an investigation of Google Glass in creating learning portfolios and providing feedback
Dafoulas, G., Cardoso Maia, C. and Loomes, M. 2016. Assessing the role of optical head-mounted displays in education: an investigation of Google Glass in creating learning portfolios and providing feedback. 8th International Conference on Education and New Learning Technologies. Barcelona, Spain 04 - 06 Jul 2016 IATED. pp. 5357 https://doi.org/10.21125/edulearn.2016.2277
The role of architectural design in virtual worlds for educational purposes
Saleeb, N., Dafoulas, G. and Loomes, M. 2016. The role of architectural design in virtual worlds for educational purposes. 9th International Conference on ICT, Society and Human Beings (part of MCCSIS 2016: Multi Conference on Computer Science and Information Systems:). Funchal, Madeira, Portugal 01 - 04 Jul 2016 IADIS. pp. 32-40
Robot overlords
Griffiths, W., Weldin, N., Zivanovic, A., Knott, C. and Tsvetkov, D. 2015. Robot overlords. Lonsdale Road, Queen's Park, London 24 - 27 Sep 2015
When logic meets engineering: introduction to logical issues in the history and philosophy of computer science
De Mol, L. and Primiero, G. 2015. When logic meets engineering: introduction to logical issues in the history and philosophy of computer science. History and Philosophy of Logic. 36 (3), pp. 195-204. https://doi.org/10.1080/01445340.2015.1084183
Teaching functional patterns through robotic applications
Boender, J., Currie, E., Loomes, M., Primiero, G. and Raimondi, F. 2016. Teaching functional patterns through robotic applications. The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015. Sophia-Antipolis, France 02 Jun 2015 Open Publishing Association. pp. 17-29 https://doi.org/10.4204/EPTCS.230.2
CoSMed: a confidentiality-verified social media platform
Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2016. CoSMed: a confidentiality-verified social media platform. Blanchette, J.C. and Merz, S. (ed.) ITP 2016: 7th International Conference on Interactive Theorem Proving. Nancy, France 22 - 25 Aug 2016 Springer. pp. 87-106 https://doi.org/10.1007/978-3-319-43144-4_6
Using Optical Head-Mounted Devices (OHMD) for provision of feedback in education
Dafoulas, G., Cardoso Maia, C. and Loomes, M. 2016. Using Optical Head-Mounted Devices (OHMD) for provision of feedback in education. 12th International Conference on Intelligent Environments (IE). London, United Kingdom 14 - 16 Sep 2016 IEEE. pp. 159-162 https://doi.org/10.1109/IE.2016.34
A model for trustworthy orchestration in the internet of things
Bottone, M., Primiero, G., Raimondi, F. and De Florio, V. 2016. A model for trustworthy orchestration in the internet of things. 12th International Conference on Intelligent Environments (IE). London, United Kingdom 14 - 16 Sep 2016 IEEE. pp. 171-174 https://doi.org/10.1109/IE.2016.37
Using multi-agent systems to go beyond temporal patterns verification
Raimondi, F. 2016. Using multi-agent systems to go beyond temporal patterns verification. ACM SIGLOG News. 3 (2), pp. 69-77. https://doi.org/10.1145/2948896.2948905
Taking Arduino to the Internet of things: the ASIP programming model
Barbon, G., Margolis, M., Palumbo, F., Raimondi, F. and Weldin, N. 2016. Taking Arduino to the Internet of things: the ASIP programming model. Computer Communications. 89-90, pp. 128-140. https://doi.org/10.1016/j.comcom.2016.03.016
A computationally grounded, weighted doxastic logic
Chen, T., Primiero, G., Raimondi, F. and Rungta, N. 2016. A computationally grounded, weighted doxastic logic. Studia Logica. 104 (4), pp. 679-703. https://doi.org/10.1007/s11225-015-9621-4
A new approach to image enhancement for the visually impaired
Gao, X. and Loomes, M. 2016. A new approach to image enhancement for the visually impaired. IS&T International Symposium on Electronic Imaging 2016 - Color Imaging XXI: Displaying, Processing, Hardcopy, and Applications. San Francisco, CA, USA 14 - 18 Feb 2016 Society for Imaging Science and Technology. pp. 1-7 https://doi.org/10.2352/ISSN.2470-1173.2016.20.COLOR-325
Personalisation of 3D virtual spaces for enhanced ubiquitous learning
Saleeb, N., Dafoulas, G. and Loomes, M. 2016. Personalisation of 3D virtual spaces for enhanced ubiquitous learning. in: Neto, F., de Souza, R. and Gomes, A. (ed.) Handbook of Research on 3-D Virtual Environments and Hypermedia for Ubiquitous Learning IGI Global. pp. 87-114
Methodologies and strategies for enhancing the undergraduate experience for BA/BSC product design students through collaborations with designer Moritz Waldemeyer
Jedwab, D. and Zivanovic, A. 2015. Methodologies and strategies for enhancing the undergraduate experience for BA/BSC product design students through collaborations with designer Moritz Waldemeyer. EDULEARN15 7th International Conference on Education and New Learning Technologies. Barcelona, Spain 06 - 08 Jul 2015 IATED. pp. 3190-3199
Realist consequence, epistemic inference, computational correctness
Primiero, G. 2015. Realist consequence, epistemic inference, computational correctness. in: Koslow, A. and Buchsbaum, A. (ed.) The road to universal logic: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II Springer International Publishing. pp. 573-588
Temporal planning for business process optimisation
Magazzeni, D., Mercorio, F., Barn, B., Clark, T., Raimondi, F. and Kulkarni, V. 2014. Temporal planning for business process optimisation. ICAPS 2014: 8th Scheduling and Planning Application woRKshop (SPARK 2014). Portsmouth, New Hampshire, USA 22 Jun 2014
Design of ubiquitous 3D virtual spaces: matching with behavioural patterns
Dafoulas, G., Saleeb, N. and Loomes, M. 2014. Design of ubiquitous 3D virtual spaces: matching with behavioural patterns. 11th International Conference on Web Based Communities and Social Media 2014.
Assistive technologies and advantageous themes for collaboration, learning & teaching within virtual worlds and virtual learning environments
Dafoulas, G., Saleeb, N. and Loomes, M. 2010. Assistive technologies and advantageous themes for collaboration, learning & teaching within virtual worlds and virtual learning environments. Proceedings of the Higher Education Academy Annual Conference.
Pulling the physical and virtual environment into the blend
Loomes, M., Dafoulas, G. and Saleeb, N. 2011. Pulling the physical and virtual environment into the blend. Proceedings of the 6th International Blended Learning Conference, From Innovation to Institutional Enhancement: Operating in Challenging Times.
Modeling human behaviour with higher order logic: insider threats
Boender, J., Kammueller, F., Ivanova, M. and Primiero, G. 2014. Modeling human behaviour with higher order logic: insider threats. 4th Workshop on Socio-Technical Aspects in Security and Trust. Vienna Technical University, Vienna, Austria 18 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 31-39
On malfunctioning software
Floridi, L., Fresco, N. and Primiero, G. 2015. On malfunctioning software. Synthese. 192 (4), pp. 1199-1220. https://doi.org/10.1007/s11229-014-0610-3
On the ontology of the computing process and the epistemology of the computed
Primiero, G. 2014. On the ontology of the computing process and the epistemology of the computed. Philosophy & Technology. 27 (3), pp. 485-489. https://doi.org/10.1007/s13347-014-0174-7
Facing computing as technique: towards a history and philosophy of computing
De Mol, L. and Primiero, G. 2014. Facing computing as technique: towards a history and philosophy of computing. Philosophy & Technology. 27 (3), pp. 321-326. https://doi.org/10.1007/s13347-014-0169-4
Modeling human behaviour with higher order logic: insider threats
Boender, J., Ivanova, M., Kammueller, F. and Primiero, G. 2014. Modeling human behaviour with higher order logic: insider threats. 4th Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014). Vienna, Austria 18 Jul 2014 Institute of Electrical and Electronics Engineers. pp. 31-39 https://doi.org/10.1109/STAST.2014.13
Aviation safety: modeling and analyzing complex interactions between humans and automated systems
Rungta, N., Brat, G., Clancey, W., Linde, C., Raimondi, F., Seah, C. and Shafto, M. 2013. Aviation safety: modeling and analyzing complex interactions between humans and automated systems. ATACCS 2013. Naples, Italy 28 - 30 May 2013 Association for computing machinery. pp. 27-37 https://doi.org/10.1145/2494493.2494498
A synergistic and extensible framework for multi-agent system verification
Hunter, J., Raimondi, F., Rungta, N. and Stocker, R. 2013. A synergistic and extensible framework for multi-agent system verification. AAMAS 2013 :12th International Conference on Autonomous Agents and Multiagent Systems. Saint Paul, Minnesota, USA. 06 - 10 May 2013 Richland, SC International Foundation for Autonomous Agents and Multiagent Systems. pp. 869-876
Domain types: abstract-domain selection based on variable usage
Apel, S., Beyer, D., Friedberger, K., Raimondi, F. and von Rhein, A. 2013. Domain types: abstract-domain selection based on variable usage. Hardware and Software: Verification and Testing. 8244 (1), pp. 262-278. https://doi.org/10.1007/978-3-319-03077-7_18
Introducing Binary Decision Diagrams in the explicit-state verification of Java code
von Rhein, A., Apel, S. and Raimondi, F. 2011. Introducing Binary Decision Diagrams in the explicit-state verification of Java code. The Java Pathfinder Workshop (co-located with ASE 2011). Oread, Lawrence, Kansas 12 Nov 2011
A taxonomy of errors for information systems
Primiero, G. 2014. A taxonomy of errors for information systems. Minds and Machines. 24 (3), pp. 249-273. https://doi.org/10.1007/s11023-013-9307-5
The role of resilience and value for effective co-design of information systems
Barn, B., Barn, R. and Primiero, G. 2014. The role of resilience and value for effective co-design of information systems. in: Proceedings of the Conference of the International Association for Computing and Philosophy (IACAP 14) Springer Synthese Library.
Towards cyber-physical systems as services: the ASIP protocol
Bordoni, M., Bottone, M., Fields, B., Gorogiannis, N., Margolis, M., Primiero, G. and Raimondi, F. 2015. Towards cyber-physical systems as services: the ASIP protocol. 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS). Florence, Italy 17 - 17 May 2015 IEEE. pp. 52-55 https://doi.org/10.1109/SEsCPS.2015.18
Minimizing transitive trust threats in software management systems
Boender, J., Primiero, G. and Raimondi, F. 2015. Minimizing transitive trust threats in software management systems. 13th Annual Conference on Privacy, Security and Trust (PST 2015). Izmir, Turkey 21 - 23 Jul 2015 IEEE. pp. 191-198 https://doi.org/10.1109/PST.2015.7232973
Symbolic model-checking for resource-bounded ATL
Alechina, N., Logan, B., Nguyen, H., Raimondi, F. and Mostarda, L. 2015. Symbolic model-checking for resource-bounded ATL. 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015. Istanbul, Turkey 04 - 08 May 2015 International Foundation for Autonomous Agents and Multiagent Systems. pp. 1809-1810
Symbolic model checking for one-resource RB±ATL
Alechina, N., Logan, B., Nguyen, H. and Raimondi, F. 2015. Symbolic model checking for one-resource RB±ATL. Yang, Q. and Wooldridge, M. (ed.) 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Buenos Aires, Argentina 25 - 31 Jul 2015 Buenos Aires, Argentina AAAI Press / International Joint Conferences on Artificial Intelligence. pp. 1069-1075
Software theory change for resilient near-complete specifications
Primiero, G. and Raimondi, F. 2015. Software theory change for resilient near-complete specifications. 2nd International Workshop on Computational Antifragility and Antifragile Engineering (ANTIFRAGILE 2015). London, UK 02 - 05 Jun 2015 Elsevier. https://doi.org/10.1016/j.procs.2015.05.091
A framework for trustworthiness assessment based on fidelity in cyber and physical domains
De Florio, V. and Primiero, G. 2015. A framework for trustworthiness assessment based on fidelity in cyber and physical domains. 2nd International Workshop on Computational Antifragility and Antifragile Engineering (ANTIFRAGILE 2015). London, UK 02 - 05 Jun 2015 Elsevier. https://doi.org/10.1016/j.procs.2015.05.092
The application of KAZE features to the classification echocardiogram videos
Li, W., Qian, Y., Loomes, M. and Gao, X. 2015. The application of KAZE features to the classification echocardiogram videos. First International Workshop Multimodal Retrieval in the Medical Domain (MRMD 2015). Vienna, Austria 29 Mar 2015 Springer. pp. 61-72 https://doi.org/10.1007/978-3-319-24471-6_6
On the role of value sensitive concerns in software engineering practice
Barn, B., Barn, R. and Raimondi, F. 2015. On the role of value sensitive concerns in software engineering practice. 37th International Conference on Software Engineering, ICSE 2015. Florence, Italy 16 - 24 May 2015 IEEE. pp. 497-500 https://doi.org/10.1109/ICSE.2015.182
An approach to early evaluation of informational privacy requirements
Barn, B., Primiero, G. and Barn, R. 2015. An approach to early evaluation of informational privacy requirements. 30th Annual ACM Symposium on Applied Computing. Salamanca, Spain 13 - 17 Apr 2015 Association for Computing Machinery (ACM). pp. 1370-1375 https://doi.org/10.1145/2695664.2695788
Soundscape and haptic cues in an interactive painting: a study with autistic children
Le, H., Loureiro, R., Dussopt, F., Phillips, N., Zivanovic, A. and Loomes, M. 2014. Soundscape and haptic cues in an interactive painting: a study with autistic children. 5th IEEE RAS/EMBS International Conference on Biomedical Robotics and Biomechatronics. Anhembi Convention Center in São Paulo, Brazil 12 - 15 Aug 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 375-380 https://doi.org/10.1109/BIOROB.2014.6913805
Mapping arm movements to robotic sonic interaction promote group dynamics and increase engagement at a task
Le, H., Loomes, M. and Loureiro, R. 2013. Mapping arm movements to robotic sonic interaction promote group dynamics and increase engagement at a task. in: Pons, J., Torricelli, D. and Pajaro, M. (ed.) Converging Clinical and Engineering Research on Neurorehabilitation Springer.
J-Calc: a typed lambda calculus for intuitionistic justification logic
Pouliasis, K. and Primiero, G. 2014. J-Calc: a typed lambda calculus for intuitionistic justification logic. Electronic Notes in Theoretical Computer Science. 300, pp. 71-87. https://doi.org/10.1016/j.entcs.2013.12.012
Algorithmic check of standards for information quality dimensions
Primiero, G. 2014. Algorithmic check of standards for information quality dimensions. in: Floridi, L. and Illari, P. (ed.) The philosophy of information quality Springer.
Communicating simulated emotional states of robots by expressive movements
Sial, S. and Zivanovic, A. 2013. Communicating simulated emotional states of robots by expressive movements. International Conference on Social Robotics, Workshop 2: Embodied Communication of Goals and Intentions. Bristol, UK 27 - 29 Oct 2013 pp. 1-6
A haptically enhanced painting as a tool for neurorehabilitation
Le, H., Loureiro, R., Dussopt, F., Phillips, N., Zivanovic, A. and Loomes, M. 2013. A haptically enhanced painting as a tool for neurorehabilitation. 2013 IEEE International Conference on Rehabilitation Robotics. Seattle, WA, USA 24 - 26 Jun 2013 pp. 1-6 https://doi.org/10.1109/ICORR.2013.6650468
Model checking degrees of belief in a system of agents
Primiero, G., Raimondi, F. and Rungta, N. 2014. Model checking degrees of belief in a system of agents. AAMAS 2014: 13th International Conference on Autonomous Agents and Multiagent Systems. Paris, France 05 - 09 May 2014 International Foundation for Autonomous Agents and Multiagent Systems. pp. 133-140
Programming the MIRTO robot with neurons
Huyck, C., Primiero, G. and Raimondi, F. 2014. Programming the MIRTO robot with neurons. 5th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2014. Cambridge, MA, USA 07 - 09 Nov 2014 Elsevier. https://doi.org/10.1016/j.procs.2014.11.087
A typed natural deduction calculus to reason about secure trust
Primiero, G. and Raimondi, F. 2014. A typed natural deduction calculus to reason about secure trust. 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST). Toronto, Canada 23 - 24 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 379-382 https://doi.org/10.1109/PST.2014.6890963
Decidable model-checking for a resource logic with production of resources
Alechina, N., Logan, B., Nguyen, H. and Raimondi, F. 2014. Decidable model-checking for a resource logic with production of resources. Schaub, T., Friedrich, G. and O'Sullivan, B. (ed.) 21st European Conference on Artificial Intelligence (ECAI-2014). Prague, Czech Republic 18 - 22 Aug 2014 Prague, Czech Republic IOS Press. pp. 9-14 https://doi.org/10.3233/978-1-61499-419-0-9
Improving the model checking of strategies under partial observability and fairness constraints
Busard, S., Pecheur, C., Qu, H. and Raimondi, F. 2014. Improving the model checking of strategies under partial observability and fairness constraints. 16th International Conference on Formal Engineering Methods, ICFEM 2014. Luxembourg 03 - 05 Nov 2014 Springer. pp. 27-42 https://doi.org/10.1007/978-3-319-11737-9_3
Slrtool: a tool to support collaborative systematic literature reviews
Barn, B., Raimondi, F., Athiappan, L. and Clark, T. 2014. Slrtool: a tool to support collaborative systematic literature reviews. 16th International Conference on Enterprise Information Systems. Lisbon, Portugal 27 - 30 Apr 2014 SCITEPRESS - Science and Technology Publications. pp. 440-447 https://doi.org/10.5220/0004972204400447
An analysis of the relationship between conditional entropy and failed error propagation in software testing
Androutsopoulos, K., Clark, D., Dan, H., Hierons, R. and Harman, M. 2014. An analysis of the relationship between conditional entropy and failed error propagation in software testing. 36th International Conference on Software Engineering, ICSE '14. Hyderabad, India 31 May - 07 Jun 2014 Association for Computing Machinery (ACM). pp. 573-583 https://doi.org/10.1145/2568225.2568314
A firefly-inspired method for protein structure prediction in lattice models
Maher, B., Albrecht, A., Loomes, M., Yang, X. and Steinhofel, K. 2014. A firefly-inspired method for protein structure prediction in lattice models. Biomolecules. 4 (1), pp. 56-75. https://doi.org/10.3390/biom4010056
The semantics of untrustworthiness
Primiero, G. and Laszlo, K. 2016. The semantics of untrustworthiness. Topoi. 35 (1). https://doi.org/10.1007/s11245-013-9227-2
Cardiac motion reconstruction using LKT algorithm from 2D and 3D echocardiography
Gao, A., Li, W., Lin, C., Loomes, M. and Gao, X. 2013. Cardiac motion reconstruction using LKT algorithm from 2D and 3D echocardiography. in: IPCV'13 - The 2013 International Conference on Image Processing, Computer Vision, and Pattern Recognition CSRES Press.
Proceeding in abstraction. From concepts to types and the recent perspective on information
Primiero, G. 2009. Proceeding in abstraction. From concepts to types and the recent perspective on information. History and Philosophy of Logic. 30 (3), pp. 257-282. https://doi.org/10.1080/01445340902872630
Context-aware adaptive applications: fault patterns and their automated identification
Sama, M., Elbaum, S., Raimondi, F., Rosenblum, D. and Wang, Z. 2010. Context-aware adaptive applications: fault patterns and their automated identification. IEEE Transactions on Software Engineering. 36 (5), pp. 644-661. https://doi.org/10.1109/TSE.2010.35
An epistemic logic for becoming informed
Primiero, G. 2009. An epistemic logic for becoming informed. Synthese. 167 (2), pp. 363-389. https://doi.org/10.1007/s11229-008-9413-8
A modal type theory for formalizing trusted communications
Primiero, G. and Taddeo, M. 2012. A modal type theory for formalizing trusted communications. Journal of Applied Logic. 10 (1), pp. 92-114. https://doi.org/10.1016/j.jal.2011.12.002
Content-based petrieval of 3D medical images
Qian, Y., Gao, X., Loomes, M., Comley, R., Barn, B., Hui, R. and Tian, Z. 2011. Content-based petrieval of 3D medical images. in: Gemert-Pijnen, L., Ossebaard, H. and Hämäläinen, P. (ed.) eTELEMED 2011, The Third International Conference on eHealth, Telemedicine, and Social Medicine IARIA. pp. 7-12
Robotic system for transrectal biopsy of the prostate: real-time guidance under MRI
Elhawary, H., Tse, Z., Rea, M., Zivanovic, A., Davies, B., Besant, C., De Souza, N., McRobbie, D., Young, I. and Lamperth, M. 2010. Robotic system for transrectal biopsy of the prostate: real-time guidance under MRI. IEEE Engineering in Medicine and Biology Magazine. 29 (2), pp. 78-86. https://doi.org/10.1109/MEMB.2009.935709
Radio dispatchers' interruption recovery strategies
Mancero, G., Wong, B. and Loomes, M. 2009. Radio dispatchers' interruption recovery strategies. in: Proceedings of the 21st Annual Conference of the Australian Computer-Human Interaction Special Interest Group on Design: Open 24/7 - OZCHI '09 New York Association for Computing Machinery (ACM). pp. 113-120
Evaluation of collaborative filtering algorithms using a small dataset
Roda, F., Liberti, L. and Raimondi, F. 2011. Evaluation of collaborative filtering algorithms using a small dataset. WEBIST 2011. http://www.webist.org/WEBIST2011/
Enterprise architecture coherence and the model driven enterprise: is simulation the answer or are we flying kites?
Barn, B., Clark, T. and Loomes, M. 2013. Enterprise architecture coherence and the model driven enterprise: is simulation the answer or are we flying kites? 6th India Software Engineering Conference. New Delhi, India 21 - 23 Feb 2013 Association for Computing Machinery (ACM). pp. 97-102 https://doi.org/10.1145/2442754.2442769
Reasoning about strategies under partial observability and fairness constraints
Busard, S., Pecheur, C., Qu, H. and Raimondi, F. 2013. Reasoning about strategies under partial observability and fairness constraints. 1st International Workshop on Strategic Reasoning. Rome, Italy 16 - 17 Mar 2013 Open Publishing Association. https://doi.org/10.4204/EPTCS.112.12
Implementing adaptation and reconfiguration strategies in heterogeneous WSN
Di Marco, A., Gallo, F., Gemikonakli, O., Mostarda, L. and Raimondi, F. 2013. Implementing adaptation and reconfiguration strategies in heterogeneous WSN. 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013). Barcelona, Spain 25 - 28 Mar 2013 IEEE. pp. 477-483 https://doi.org/10.1109/AINA.2013.102
The anonymous subgraph problem
Bettinelli, A., Liberti, L., Raimondi, F. and Savourey, D. 2013. The anonymous subgraph problem. Computers and Operations Research. 40 (4), pp. 973-979. https://doi.org/10.1016/j.cor.2012.11.018
State-based model slicing: a survey
Androutsopoulos, K., Clark, D., Harman, M., Krinke, J. and Tratt, L. 2013. State-based model slicing: a survey. ACM Computing Surveys. 45 (4), pp. 1-36. https://doi.org/10.1145/2501654.2501667
Amorphous slicing of extended finite state machines
Androutsopoulos, K., Clark, D., Harman, M., Hierons, R., Li, Z. and Tratt, L. 2013. Amorphous slicing of extended finite state machines. IEEE Transactions on Software Engineering. 39 (7), pp. 892-909. https://doi.org/10.1109/TSE.2012.72
Retrieval of 3D medical images via their texture features
Gao, X., Qian, Y., Loomes, M., Barn, B., Comley, R., Chapman, A., Rix, J., Hui, R. and Tian, Z. 2012. Retrieval of 3D medical images via their texture features. International Journal on Advances in Software. 4 (3&4), pp. 499-509.
Application of verification techniques to security: model checking insider attacks
Kammueller, F., Probst, C. and Raimondi, F. 2012. Application of verification techniques to security: model checking insider attacks. 1st International Conference on Software and Emerging Technologies for Education, Culture, Entertainment, and Commerce (SETECEC 2012): New Directions in Multimedia Mobile Computing, Social Networks, Human-Computer Interaction and Communicability. Venice, Italy 28 - 29 Mar 2012 Blue Herons editions.
Innovations in learning and teaching interactions between BA (Hons) Product Design and BSc (Hons) Product Design engineering students on design projects
Jedwab, D. and Zivanovic, A. 2010. Innovations in learning and teaching interactions between BA (Hons) Product Design and BSc (Hons) Product Design engineering students on design projects. iCERI 2010: International Conference of Education, Research and Innovation. Madrid, Spain 15 - 17 Nov 2010 IATED. pp. 5586-5595
Bridging the abridged – the diffusion of Telemedicine in Europe and China
Gao, X., Loomes, M. and Comley, R. 2012. Bridging the abridged – the diffusion of Telemedicine in Europe and China. in: Rodrigues, J., Díez, I. and Abajo, B. (ed.) Telemedicine and e-health services, policies, and applications: avancements and developments USA IGI Global. pp. 451-495
Material Beliefs [webpage]
Zivanovic, A., Auger, J. and Loizeau, J. 2008. Material Beliefs [webpage]. The Royal Institution of Great Britain, 21 Albemarle Street, London, W1S 4BS 02 Oct - 21 Nov 2008
Material Beliefs [exhibition brochure]
Zivanovic, A., Auger, J. and Loizeau, J. 2009. Material Beliefs [exhibition brochure]. P3, 35 Marylebone Road, London 27 Feb - 02 Mar 2009
RFID Gesture Generating Robot [webpage]
Zivanovic, A. 2009. RFID Gesture Generating Robot [webpage]. The Science Museum's Dana Centre, London 19 - 30 May 2009
RFID Gesture Generating Robot [catalogue]
Zivanovic, A. 2010. RFID Gesture Generating Robot [catalogue]. Watermans, London 01 Sep - 22 Oct 2010
Carnivorous domestic entertainment robots [exhibition]
Zivanovic, A., Auger, J. and Loizeau, J. 2008. Carnivorous domestic entertainment robots [exhibition]. Gijon, Spain 07 Oct - 21 Nov 2008
Carnivorous domestic entertainment robots [book section]
Zivanovic, A., Auger, J. and Loizeau, J. 2009. Carnivorous domestic entertainment robots [book section]. 3rd International Conference on Tangible and Embedded Interaction. Cambridge, UK 16 - 18 Feb 2009 New York, NY, USA Association for Computing Machinery (ACM). pp. 127-130 https://doi.org/10.1145/1517664.1517696
The technologies of Edward Ihnatowicz
Zivanovic, A. 2009. The technologies of Edward Ihnatowicz. in: Brown, P., Gere, C., Lambert, N. and Mason, C. (ed.) White Heat Cold Logic: British Computer Art 1960-1980 The MIT Press. pp. 95-110
A 3-DOF MR-compatible device for magic angle related in vivo experiments
Tse, Z., Elhawary, H., Zivanovic, A., Rea, M., Paley, M., Bydder, G., Davies, B., Young, I. and Lamperth, M. 2008. A 3-DOF MR-compatible device for magic angle related in vivo experiments. IEEE/ASME transactions on mechatronics. 13 (3), pp. 316-324. https://doi.org/10.1109/TMECH.2008.924109
A MR compatible mechatronic system to facilitate magic angle experiments in vivo
Elhawary, H., Zivanovic, A., Rea, M., Tse, Z., McRobbie, D., Young, I., Paley, M., Davies, B. and Lampérth, M. 2007. A MR compatible mechatronic system to facilitate magic angle experiments in vivo. Lecture Notes in Computer Science. 4792, pp. 604-611. https://doi.org/10.1007/978-3-540-75759-7_73
A review of magnetic resonance imaging compatible manipulators in surgery.
Lamperth, M., Davies, B., Zivanovic, A. and Elhawary, H. 2006. A review of magnetic resonance imaging compatible manipulators in surgery. Institution of Mechanical Engineers. Proceedings. Part H: Journal of Engineering in Medicine. 220 (3), pp. 413-424. https://doi.org/10.1243/09544119JEIM73
A robotic system for blood sampling
Zivanovic, A. and Davies, B. 2000. A robotic system for blood sampling. IEEE Transactions on Information Technology in Biomedicine. 4 (1), pp. 8-14. https://doi.org/10.1109/4233.826854
The feasibility of MR-image guided prostate biopsy using piezoceramic motors inside or near to the magnet isocentre
Elhawary, H., Zivanovic, A., Rea, M., Davies, B., Besant, C., McRobbie, D., Desouza, N., Young, I. and Lampérth, M. 2006. The feasibility of MR-image guided prostate biopsy using piezoceramic motors inside or near to the magnet isocentre. Lecture Notes in Computer Science. 4190, pp. 519-526. https://doi.org/10.1007/11866565_64
A modular approach to MRI-compatible robotics: using robotic modules with interconnectable 1-DoF stages
Elhawary, H., Zivanovic, A., Rea, M., Davies, B., Besant, C., McRobbie, D., Desouza, N., Young, I. and Lamperth, M. 2008. A modular approach to MRI-compatible robotics: using robotic modules with interconnectable 1-DoF stages. Engineering in Medicine and Biology Magazine. 27 (3), pp. 35 -41. https://doi.org/10.1109/EMB.2007.910260
Elegant motion: the senster and other cybernetic sculptures by Edward Ihnatowicz.
Zivanovic, A. and Boyd Davis, S. 2011. Elegant motion: the senster and other cybernetic sculptures by Edward Ihnatowicz. Kybernetes. 40 (1/2), pp. 47-62. https://doi.org/10.1108/03684921111117924
Evolutionary FCMAC-BYY applied to stream data analysis
Shi, D., Loomes, M. and Nguyen, M. 2010. Evolutionary FCMAC-BYY applied to stream data analysis. Lecture Notes in Computer Science. 6457, pp. 187-194. https://doi.org/10.1007/978-3-642-17298-4_19
Model projection: simplifying models in response to restricting the environment
Androutsopoulos, K., Binkley, D., Clark, D., Gold, N., Harman, M., Lano, K. and Li, Z. 2011. Model projection: simplifying models in response to restricting the environment. ICSE11: International Conference on Software Engineering. Waikiki, Honolulu, HI, USA 21 - 28 May 2011 Association for Computing Machinery (ACM). pp. 291-300 https://doi.org/10.1145/1985793.1985834
The secret santa problem.
Liberti, L. and Raimondi, F. 2008. The secret santa problem. Lecture Notes in Computer Science. 5034, pp. 271-279. https://doi.org/10.1007/978-3-540-68880-8_26
Algorithms for efficient symbolic detection of faults in context-aware applications.
Sama, M., Raimondi, F., Rosenblum, D. and Emmerich, W. 2008. Algorithms for efficient symbolic detection of faults in context-aware applications. in: Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference. Institute of Electrical and Electronics Engineers. pp. 1-8
Service-level agreements for electronic services
Skene, J., Raimondi, F. and Emmerich, W. 2010. Service-level agreements for electronic services. IEEE Transactions on Software Engineering. 36 (2), pp. 288-304. https://doi.org/10.1109/TSE.2009.55
PDVer, a tool to verify PDDL planning domains.
Raimondi, F., Pecheur, C. and Brat, G. 2009. PDVer, a tool to verify PDDL planning domains. ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems. Thessaloniki, Greece 20 Sep 2009
The Anonymous subgraph problem.
Bettinelli, A., Liberti, L., Raimondi, F. and Savourey, D. 2009. The Anonymous subgraph problem. Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization. Paris 02 - 04 Jun 2009 pp. 269-274
Combinatorial optimization based recommender systems.
Roda, F., Liberti, L. and Raimondi, F. 2009. Combinatorial optimization based recommender systems. Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization. Paris 02 - 04 Jun 2009 pp. 175-179
A model to design and verify context-aware adaptive service composition.
Cubo, J., Sama, M., Raimondi, F. and Rosenblum, D. 2009. A model to design and verify context-aware adaptive service composition. 6th IEEE International Conference on Services Computing (SCC 2009). Bangalore 21 - 25 Sep 2009
Change blindness and situation awareness in a police C2 environment.
Mancero, G., Wong, B. and Loomes, M. 2009. Change blindness and situation awareness in a police C2 environment. in: Norros, L. (ed.) ECCE 2009 - European Conference on Cognitive Ergonomics: designing beyond the product: understanding activity and user experience in ubiquitous environments. Vuorimiehentie VTT Technical Research Centre of Finland.
A local search heuristic for bounded-degree minimum spanning trees
Zahrani, M., Loomes, M., Malcolm, J. and Albrecht, A. 2008. A local search heuristic for bounded-degree minimum spanning trees. Engineering Optimization. 40 (12), pp. 1115-1135. https://doi.org/10.1080/03052150802317440
Texture-based 3d image retrieval for medical applications
Gao, X., Qian, Y., Hui, R., Loomes, M., Comley, R., Barn, B., Chapman, A. and Rix, J. 2010. Texture-based 3d image retrieval for medical applications. Macedo, M. (ed.) IADIS International Conference e-Health 2010. Freiburg, Germany 29 - 31 Jul 2010 IADIS. pp. 101-108
An alternative characterization of weak order dependence
Amtoft, T., Androutsopoulos, K., Clark, D., Harman, M. and Li, Z. 2010. An alternative characterization of weak order dependence. Information Processing Letters. 110 (21), pp. 939-943. https://doi.org/10.1016/j.ipl.2010.07.023
A theoretical and empirical study of EFSM dependence
Androutsopoulos, K., Gold, N., Harman, M., Li, Z. and Tratt, L. 2009. A theoretical and empirical study of EFSM dependence. ICSM 2009: International Conference on Software Maintenance. Edmonton, AB, Canada 20 - 26 Sep 2009 IEEE. pp. 287-296 https://doi.org/10.1109/ICSM.2009.5306309
Control dependence for extended finite state machines
Androutsopoulos, K., Clark, D., Harman, M., Li, Z. and Tratt, L. 2009. Control dependence for extended finite state machines. Chechik, M. and Wirsing, M. (ed.) Fundamental Approaches to Software Engineering (FASE '09): 12th International Conference. York, UK. 03 - 22 Mar 2009 Springer. pp. 216-230 https://doi.org/10.1007/978-3-642-00593-0_15
A formal analysis of requirements-based testing
Pecheur, C., Raimondi, F. and Brat, G. 2009. A formal analysis of requirements-based testing. in: Rothermel, G. and Dillon, L. (ed.) Proceedings of the Eighteenth International Symposium on Software Testing and Analysis Association for Computing Machinery (ACM). pp. 47-56
MCMAS: a model checker for the verification of multi-agent systems
Lomuscio, A., Qu, H. and Raimondi, F. 2009. MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science. 5643, pp. 682-688. https://doi.org/10.1007/978-3-642-02658-4_55
Landscape analysis for multicast routing
Loomes, M., Albrecht, A., Malcolm, J. and Zahrani, M. 2006. Landscape analysis for multicast routing. Computer Communications. 30 (1), pp. 101-116. https://doi.org/10.1016/j.comcom.2006.07.019
Genetic local search for multicast routing with pre-processing by logarithmic simulated annealing
Zahrani, M., Loomes, M., Malcolm, J., Ullah, A., Steinhoefel, K. and Albrecht, A. 2008. Genetic local search for multicast routing with pre-processing by logarithmic simulated annealing. Computers and Operations Research. 35 (6), pp. 2049-2070. https://doi.org/10.1016/j.cor.2006.10.001
Efficient online monitoring of web-service SLAs
Raimondi, F., Skene, J. and Emmerich, W. 2008. Efficient online monitoring of web-service SLAs. in: Harrold, J. and Murphy, G. (ed.) Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering Association for Computing Machinery (ACM). pp. 170-180
3D-in-2D Displays for ATC
Wong, B., Rozzi, S., Boccalatte, A., Gaukrodger, S., Amaldi, P., Fields, B., Loomes, M. and Martin, P. 2007. 3D-in-2D Displays for ATC. Brochard, M. and Jurgens, M. (ed.) 6th EUROCONTROL Innovative Research Workshop and Exhibition. Brétigny-sur-Orge, France 05 - 07 Dec 2007 Eurocontrol. pp. 47-62
The role of global and feature based information in gender classification of faces: a comparison of human performance and computational models.
Loomes, M., Davey, N., Frank, R. and Buchala, S. 2005. The role of global and feature based information in gender classification of faces: a comparison of human performance and computational models. International Journal of Neural Systems. 15 (1-2), pp. 121-128. https://doi.org/10.1142/S0129065705000074
Adaptive simulated annealing for CT image classification
Loomes, M., Albrecht, A., Steinhoefel, K. and Taupitz, M. 2002. Adaptive simulated annealing for CT image classification. International Journal of Pattern Recognition and Artificial Intelligence. 16 (5), pp. 573-588. https://doi.org/10.1142/S0218001402001848