MIRTO: an open-source robotic platform for education

Conference paper


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
TypeConference paper
TitleMIRTO: an open-source robotic platform for education
AuthorsAndroutsopoulos, 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.
Abstract

This paper introduces the MIddlesex RoboTic platfOrm (MIRTO), an open-source platform that has been used for teaching First Year Computer Science students since the academic year 2013/2014, with the aim of providing a physical manifestation of Software Engineering concepts that are often delivered using only abstract or synthetic case studies. In this paper we provide a detailed description of the platform, whose hardware specifications and software libraries are all released open source; we describe a number of teaching usages of the platform, report students’ projects, and evaluate some of its aspects in terms of effectiveness, usability, and maintenance.

KeywordsSoftware Engineering Education; Robotics; Computational Thinking
LanguageEnglish
Conference3rd European Conference on Software Engineering Education
Page range55-62
Proceedings TitleECSEE'18: Proceedings of the 3rd European Conference of Software Engineering Education
ISBN
Hardcover9781450363839
PublisherAssociation for Computing Machinery (ACM)
Publication dates
Print14 Jun 2018
Publication process dates
Deposited14 Jun 2018
Accepted10 May 2018
Output statusPublished
Accepted author manuscript
Copyright Statement

© 2018 Copyright held by the owner/author(s). Publication rights licensed to the Association for Computing Machinery. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in ECSEE’18: European Conference of Software Engineering Education 2018, June 14–15, 2018, Seeon/ Bavaria, Germany. ACM, New York, NY, USA, http://dx.doi.org/10.1145/3209087.3209106

Digital Object Identifier (DOI)https://doi.org/10.1145/3209087.3209106
Web of Science identifierWOS:000478670000009
Permalink -

https://repository.mdx.ac.uk/item/87qy1

Download files


Accepted author manuscript
  • 76
    total views
  • 9
    total downloads
  • 7
    views this month
  • 2
    downloads this month

Export as

Related outputs

Characteristics and circumstances of rail suicides in England 2019-2021: a cluster analysis and autopsy study  
Norman, H., Marzano, L., Fields, B., Brown, S., MacDonald Hart, S. and Kruger, I. 2024. Characteristics and circumstances of rail suicides in England 2019-2021: a cluster analysis and autopsy study  . Journal of Affective Disorders. 354, pp. 397-407. https://doi.org/10.1016/j.jad.2024.03.020
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. Programming Language Design and Implementation (PLDI 2022). San Diego, USA 13 - 17 Jun 2022 Association for computing machinery. pp. 442-457 https://doi.org/10.1145/3519939.3523435
A global and regional analysis of Risk Factors for Blindness and Vision impairment in 2020 and their contribution to the change in prevalence of vision loss over 3 decades
Bourne, R., Bottone, M., Steinmetz, J., Briant, P., Flaxman, S., Casson, R., Wang, N., Jost, J., Resnikoff, S., Braithwaite, T., Tapply, I., Cicinelli, M., Vos, T. and Taylor, H. 2022. A global and regional analysis of Risk Factors for Blindness and Vision impairment in 2020 and their contribution to the change in prevalence of vision loss over 3 decades. 2022 ARVO Annual Meeting. Denver, Colorado, USA 01 - 04 May 2022 ARVO.
Automatic annotation of confidential data in java code
Bastys, I., Bolignano, P., Raimondi, F. and Schoepe, D. 2021. Automatic annotation of confidential data in java code. FPS 2021: The 14th International Symposium on Foundations & Practice of Security. Paris, France 08 - 12 Dec 2021
Patterns and motivations for method choices in suicidal thoughts and behaviour: qualitative content analysis of a large online survey
Marzano, L., Katsampa, D., Mackenzie, J., Kruger, A., El-Gharbawi, N., Ffolkes-St-Helene, D., Mohiddin, H. and Fields, B. 2021. Patterns and motivations for method choices in suicidal thoughts and behaviour: qualitative content analysis of a large online survey. BJPsych Open. 7 (2), pp. 1-6. https://doi.org/10.1192/bjo.2021.15
Causes of blindness and vision impairment in 2020 and trends over 30 years, and prevalence of avoidable blindness in relation to VISION 2020: the Right to Sight: an analysis for the Global Burden of Disease Study
Steinmetz, J., Bourne, R., Briant, P., Flaxman, S., Taylor, H., Jonas, J., Abdoli, A., Abrha, W., Abualhasan, A., Abu-Gharbieh, E., Adal, T., Afshin, A., Ahmadieh, H., Alemayehu, W., Alemzadeh, S., Alfaar, A., Alipour, V., Androudi, S., Arabloo, J., Arditi, A., Aregawi, B., Arrigo, A., Ashbaugh, C., Ashrafi, E., Atnafu, D., Bagli, E., Baig, A., Bärnighausen, T., Battaglia Parodi, M., Beheshti, M., Bhagavathula, A., Bhardwaj, N., Bhardwaj, P., Bhattacharyya, K., Bijani, A., Bikbov, M., Bottone, M., Braithwaite, T., Bron, A., Burugina Nagaraja, S., Butt, Z., Caetano dos Santos, F., Carneiro, V., Casson, R., Cheng, C., Choi, J., Chu, D., Cicinelli, M., Coelho, J., Congdon, N., Couto, R., Cromwell, E., Dahlawi, S., Dai, X., Dana, R., Dandona, L., Dandona, R., Del Monte, M., Derbew Molla, M., Dervenis, N., Desta, A., Deva, J., Diaz, D., Djalalinia, S., Ehrlich, J., Elayedath, R., Elhabashy, H., Ellwein, L., Emamian, M., Eskandarieh, S., Farzadfar, F., Fernandes, A., Fischer, F., Friedman, D., Furtado, J., Gaidhane, S., Gazzard, G., Gebremichael, B., George, R., Ghashghaee, A., Gilani, S., Golechha, M., Hamidi, S., Hammond, B., Hartnett, M., Hartono, R., Hashi, A., Hay, S., Hayat, K., Heidari, G., Ho, H., Holla, R., Househ, M., Huang, J., Ibitoye, S., Ilic, I., Ilic, M., Ingram, A., Irvani, S., Islam, S., Itumalla, R., Jayaram, S., Jha, R., Kahloun, R., Kalhor, R., Kandel, H., Kasa, A., Kavetskyy, T., Kayode, G., Kempen, J., Khairallah, M., Khalilov, R., Khan, E., Khanna, R., Khatib, M., Khoja, T., Kim, J., Kim, Y., Kim, G., Kisa, S., Kisa, A., Kosen, S., Koyanagi, A., Kucuk Bicer, B., Kulkarni, V., Kurmi, O., Landires, I., Lansingh, V., Leasher, J., LeGrand, K., Leveziel, N., Limburg, H., Liu, X., Madhava Kunjathur, S., Maleki, S., Manafi, N., Mansouri, K., McAlinden, C., Meles, G., Mersha, A., Michalek, I., Miller, T., Misra, S., Mohammad, Y., Mohammadi, S., Mohammed, J., Mokdad, A., Moni, M., Montasir, A., Morse, A., Mulaw, G., Naderi, M., Naderifar, H., Naidoo, K., Naimzada, M., Nangia, V., Narasimha Swamy, S., Naveed, D., Negash, H., Nguyen, H., Nunez-Samudio, V., Ogbo, F., Ogundimu, K., Olagunju, A., Onwujekwe, O., Otstavnov, N., Owolabi, M., Pakshir, K., Panda-Jonas, S., Parekh, U., Park, E., Pasovic, M., Pawar, S., Pesudovs, K., Peto, T., Pham, H., Pinheiro, M., Podder, V., Rahimi-Movaghar, V., Rahman, M., Ramulu, P., Rathi, P., Rawaf, S., Rawaf, D., Rawal, L., Reinig, N., Renzaho, A., Rezapour, A., Robin, A., Rossetti, L., Sabour, S., Safi, S., Sahebkar, A., Sahraian, M., Samy, A., Sathian, B., Saya, G., Saylan, M., Shaheen, A., Shaikh, M., Shen, T., Shibuya, K., Shiferaw, W., Shigematsu, M., Shin, J., Silva, J., Silvester, A., Singh, J., Singhal, D., Sitorus, R., Skiadaresi, E., Skryabin, V., Skryabina, A., Soheili, A., Sorrie, M., Sousa, R., Sreeramareddy, C., Stambolian, D., Tadesse, E., Tahhan, N., Tareque, M., Topouzis, F., Tran, B., Tsegaye, G., Tsilimbaris, M., Varma, R., Virgili, G., Vongpradith, A., Vu, G., Wang, Y., Wang, N., Weldemariam, A., West, S., Wondmeneh, T., Wong, T., Yaseri, M., Yonemoto, N., Yu, C., Zastrozhin, M., Zhang, Z., Zimsen, S., Resnikoff, S. and Vos, T. 2021. Causes of blindness and vision impairment in 2020 and trends over 30 years, and prevalence of avoidable blindness in relation to VISION 2020: the Right to Sight: an analysis for the Global Burden of Disease Study. The Lancet Global Health. 9 (2), pp. e144-e160. https://doi.org/10.1016/S2214-109X(20)30489-7
Trends in prevalence of blindness and distance and near vision impairment over 30 years: an analysis for the Global Burden of Disease Study
Bourne, R., Steinmetz, J., Flaxman, S., Briant, P., Taylor, H., Resnikoff, S., Casson, R., Abdoli, A., Abu-Gharbieh, E., Afshin, A., Ahmadieh, H., Akalu, Y., Alamneh, A., Alemayehu, W., Alfaar, A., Alipour, V., Anbesu, E., Androudi, S., Arabloo, J., Arditi, A., Asaad, M., Bagli, E., Baig, A., Bärnighausen, T., Battaglia Parodi, M., Bhagavathula, A., Bhardwaj, N., Bhardwaj, P., Bhattacharyya, K., Bijani, A., Bikbov, M., Bottone, M., Braithwaite, T., Bron, A., Butt, Z., Cheng, C., Chu, D., Cicinelli, M., Coelho, J., Dagnew, B., Dai, X., Dana, R., Dandona, L., Dandona, R., Del Monte, M., Deva, J., Diaz, D., Djalalinia, S., Dreer, L., Ehrlich, J., Ellwein, L., Emamian, M., Fernandes, A., Fischer, F., Friedman, D., Furtado, J., Gaidhane, A., Gaidhane, S., Gazzard, G., Gebremichael, B., George, R., Ghashghaee, A., Golechha, M., Hamidi, S., Hammond, B., Hartnett, M., Hartono, R., Hay, S., Heidari, G., Ho, H., Hoang, C., Househ, M., Ibitoye, S., Ilic, I., Ilic, M., Ingram, A., Irvani, S., Jha, R., Kahloun, R., Kandel, H., Kasa, A., Kempen, J., Keramati, M., Khairallah, M., Khan, E., Khanna, R., Khatib, M., Kim, J., Kim, Y., Kisa, S., Kisa, A., Koyanagi, A., Kurmi, O., Lansingh, V., Leasher, J., Leveziel, N., Limburg, H., Majdan, M., Manafi, N., Mansouri, K., McAlinden, C., Mohammadi, S., Mohammadian-Hafshejani, A., Mohammadpourhodki, R., Mokdad, A., Moosavi, D., Morse, A., Naderi, M., Naidoo, K., Nangia, V., Nguyen, C., Nguyen, H., Ogundimu, K., Olagunju, A., Ostroff, S., Panda-Jonas, S., Pesudovs, K., Peto, T., Quazi Syed, Z., Rahman, M., Ramulu, P., Rawaf, S., Rawaf, D., Reinig, N., Robin, A., Rossetti, L., Safi, S., Sahebkar, A., Samy, A., Saxena, D., Serle, J., Shaikh, M., Shen, T., Shibuya, K., Shin, J., Silva, J., Silvester, A., Singh, J., Singhal, D., Sitorus, R., Skiadaresi, E., Skirbekk, V., Soheili, A., Sousa, R., Spurlock, E., Stambolian, D., Taddele, B., Tadesse, E., Tahhan, N., Tareque, M., Topouzis, F., Tran, B., Travillian, R., Tsilimbaris, M., Varma, R., Virgili, G., Wang, Y., Wang, N., West, S., Wong, T., Zaidi, Z., Zewdie, K., Jonas, J. and Vos, T. 2021. Trends in prevalence of blindness and distance and near vision impairment over 30 years: an analysis for the Global Burden of Disease Study. The Lancet Global Health. 9 (2), pp. e130-e143. https://doi.org/10.1016/S2214-109X(20)30425-3
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 International Publishing.
An approach to human-machine teaming in legal investigations using anchored narrative visualisation and machine learning
Attfield, S., Fields, B., Windridge, D. and Xu, K. 2019. An approach to human-machine teaming in legal investigations using anchored narrative visualisation and machine learning. Conrad, J., Pickens, J., Jones, A., Baron, J. and Henseler, H. (ed.) First International Workshop on AI and Intelligent Assistance for Legal Professionals in the Digital Workplace (LegalAIIA 2019).. Montreal, Canada 17 Jun 2019 CEUR Workshop Proceedings. pp. 7-11
Factors deterring and prompting the decision to attempt suicide on the railway networks: findings from 353 online surveys and 34 semi-structured interviews
Marzano, L., Mackenzie, J., Kruger, A., Borrill, J. and Fields, B. 2019. Factors deterring and prompting the decision to attempt suicide on the railway networks: findings from 353 online surveys and 34 semi-structured interviews. British Journal of Psychiatry. 215 (4), pp. 582-587. https://doi.org/10.1192/bjp.2018.303
Agoric computation: trust and cyber-physical systems
Bottone, M. 2018. Agoric computation: trust and cyber-physical systems. PhD thesis Middlesex University School of Science and Technology
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
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
A resources model for distributed sensemaking
Attfield, S., Fields, B. and Baber, C. 2018. A resources model for distributed sensemaking. Cognition, Technology and Work. 20 (4), pp. 651-664. https://doi.org/10.1007/s10111-018-0529-4
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
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
Common ground in collaborative intelligence analysis: an empirical study
Laurence, S., Fields, B. and Attfield, S. 2016. Common ground in collaborative intelligence analysis: an empirical study. 30th International BCS Human Computer Interaction Conference (HCI 2016). Bournemouth University, Poole, UK 11 - 15 Jul 2016 BCS Learning and Development. pp. 1-11 https://doi.org/10.14236/ewic/HCI2016.30
360 Cinematic literacy: a case study
Passmore, P., Glancy, M., Philpot, A. and Fields, B. 2017. 360 Cinematic literacy: a case study. International Broadcasting Convention Conference 2017. Amsterdam 14 - 18 Sep 2017 International Broadcasting Convention.
Behaviours preceding suicides at railway and underground locations: a multimethodological qualitative approach
Mackenzie, J., Borrill, J., Hawkins, E., Fields, B., Kruger, A., Noonan, I. and Marzano, L. 2018. Behaviours preceding suicides at railway and underground locations: a multimethodological qualitative approach. BMJ Open. 8 (4), pp. 1-8. https://doi.org/10.1136/bmjopen-2017-021076
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. Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Nancy, France 22 - 27 Aug 2016 Springer. https://doi.org/10.1007/s10817-017-9443-3
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
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. 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
User experience of panoramic video in CAVE-like and head mounted display viewing conditions
Philpot, A., Glancy, M., Passmore, P., Wood, A. and Fields, B. 2017. User experience of panoramic video in CAVE-like and head mounted display viewing conditions. TVX '17: ACM International Conference on Interactive Experiences for TV and Online Video. Hilversum, The Netherlands 14 - 16 Jun 2017 New York, NY, USA ACM. pp. 65-75 https://doi.org/10.1145/3077548.3077550
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
Insight/inside learning: a participatory app for analysing the effectiveness of school environments
Szynalska, K., Fields, B. and Bardill, A. 2017. Insight/inside learning: a participatory app for analysing the effectiveness of school environments. People, Personal Data and the Built Environment: A DIS2017 Workshop. Edinburgh 10 Jun 2017
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
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
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
Effects of viewing condition on user experience of panoramic video
Passmore, P., Glancy, M., Philpot, A., Roscoe, A., Wood, A. and Fields, B. 2016. Effects of viewing condition on user experience of panoramic video. Reiners, D., Iwai, D and Steinicke, F. (ed.) ICAT-EGVE 2016 - International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments. Little Rock, Arkansas, USA. 07 - 09 Dec 2016 The Eurographics Association. https://doi.org/10.2312/egve.20161428
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 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. 2016 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
SensePath: understanding the sensemaking process through analytic provenance
Nguyen, P., Xu, K., Wheat, A., Wong, B., Attfield, S. and Fields, B. 2016. SensePath: understanding the sensemaking process through analytic provenance. IEEE Transactions on Visualization and Computer Graphics. 22 (1), pp. 41-50. https://doi.org/10.1109/TVCG.2015.2467611
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.
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
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 Institute of Electrical and Electronics Engineers (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 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
Developing a model of distributed sensemaking: a case study of military analysis
Wheat, A., Attfield, S. and Fields, B. 2016. Developing a model of distributed sensemaking: a case study of military analysis. Informatics. 3 (1). https://doi.org/10.3390/informatics3010001
Software theory change for resilient near-complete specifications
Primiero, G. and Raimondi, F. 2015. Software theory change for resilient near-complete specifications. Procedia Computer Science. 52, pp. 988-995. https://doi.org/10.1016/j.procs.2015.05.091
Articulating resources: the impact of electronic health records on cross-professional healthcare work
Fields, B. and Duncker-Gassen, E. 2003. Articulating resources: the impact of electronic health records on cross-professional healthcare work. Interaction Design Centre - Middlesex University.
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
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
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
Hard-to-get-at data from difficult-to-access users
Fields, B., Bardill, A., Marzano, L. and Herd, K. 2015. Hard-to-get-at data from difficult-to-access users. 15th IFIP TC 13 International Conference on Human-Computer Interaction - Interact 2015:. Bamberg, Germany 14 - 18 Sep 2015 Springer. pp. 409-416 https://doi.org/10.1007/978-3-319-22723-8_32
Editorial: In use, in situ: extending field research methods
Fields, B., Amaldi, P., Wong, B. and Gill, S. 2007. Editorial: In use, in situ: extending field research methods. International Journal of Human-Computer Interaction. 22 (1-2), pp. 1-6. https://doi.org/10.1080/10447310709336952
Distributed sensemaking: a case study of military analysis
Attfield, S., Fields, B., Wheat, A., Hutton, R., Nixon, J., Leggatt, A. and Blackford, H. 2015. Distributed sensemaking: a case study of military analysis. 12th International Conference on Naturalistic Decision Making. McLean, Virginia, USA 09 - 12 Jun 2015
Visual analysis of streaming data with SAVI and SenseMAP
Xu, K., Nguyen, P. and Fields, B. 2014. Visual analysis of streaming data with SAVI and SenseMAP. 2014 IEEE Conference on Visual Analytics Science and Technology (VAST). pp. 389-390
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. Procedia Computer Science. 41, pp. 75-82. 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. 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
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
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
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
The application of mHealth to mental health: opportunities and challenges
Marzano, L., Bardill, A., Fields, B., Herd, K., Veale, D., Grey, N. and Moran, P. 2015. The application of mHealth to mental health: opportunities and challenges. The Lancet Psychiatry. 2 (10), pp. 942-948. https://doi.org/10.1016/S2215-0366(15)00268-0
A racket-based robot to teach first-year computer science
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
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
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. Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011. Waikiki, Honolulu, HI, USA 21 - 28 May 2011 pp. 291-300
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), p. 53. https://doi.org/10.1145/2501654.2501667
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
External representation of provenance in intelligence analysis
Wheat, A., Attfield, S. and Fields, B. 2014. External representation of provenance in intelligence analysis. Provenance for Sensemaking IEEE VIS 2014 Workshop. Paris, France 10 Nov 2014
From global terminology to local terminology: a review of cross-cultural interface design solutions
Duncker-Gassen, E., Sheikh, J. and Fields, B. 2013. From global terminology to local terminology: a review of cross-cultural interface design solutions. in: Rau, P. (ed.) Cross-Cultural Design. Methods Practice and Case-Studies: Proceedings of the 5th International Conference CCD 2013, held as part of HCI Inernational 2013, Las Vegas Springer.
Cultural representation for multi-culture interaction design
Sheikh, J., Fields, B. and Duncker-Gassen, E. 2009. Cultural representation for multi-culture interaction design. Lecture Notes in Computer Science. 5623 (14), pp. 99-107. https://doi.org/10.1007/978-3-642-02767-3_11
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 International Publishing. 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. pp. 440-447 https://doi.org/10.5220/0004972204400447
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. in: Proceedings of the 33rd International Conference on Software Engineering - ICSE '11 ACM. pp. 291-300
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
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
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/
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
Conversational spaces for learning and designing
Fields, B., Bardill, A. and Jones, S. 2010. Conversational spaces for learning and designing. CHI2010 Workshop on New Generation of HCI and Education. Atlanta, GA, USA 10 - 15 Apr 2010
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.
A grounded theory approach towards conceptualizing CIS for heterogeneous work communities
Selvaraj, N. and Fields, B. 2009. A grounded theory approach towards conceptualizing CIS for heterogeneous work communities. Proceedings of the 23rd British HCI Group Annual Conference on People and Computers: Celebrating People and Technology. Cambridge, UK 01 - 05 Sep 2009 Swindon, UK British Computer Society. pp. 471-479
Developing a framework of common information space (CIS): grounded theory analysis of airport CIS
Selvaraj, N. and Fields, B. 2010. Developing a framework of common information space (CIS): grounded theory analysis of airport CIS. CRIWG10: Proceedings of the 16th international conference on Collaboration and technology. Maastricht, The Netherlands Berlin, Germany Springer Verlag.
The roles of time, place, value and relationships in collocated photo sharing with camera phones
Stelmaszewska, H., Fields, B. and Blandford, A. 2008. The roles of time, place, value and relationships in collocated photo sharing with camera phones. England, D. and Beale, R. (ed.) The 22nd British HCI Group Annual Conference on People and Computers: Culture, Creativity, Interaction. Liverpool, UK 01 - 05 Sep 2008 Swindon, UK British Computer Society.
The cultural integration of knowledge management into interactive design
Sheikh, J., Fields, B. and Duncker-Gassen, E. 2011. The cultural integration of knowledge management into interactive design. HI'11 Proceedings of the 2011 international conference on Human interface and the management of information. Orlando, FL, USA 09 - 14 Jul 2011 Springer. https://doi.org/10.1007/978-3-642-21793-7_6
Mediation role of boundary objects in articulating common information spaces.
Selvaraj, N. and Fields, B. 2010. Mediation role of boundary objects in articulating common information spaces. Workshop held in conjunction with the 9th International Conference on the Designing Cooperative Systems (COOP 2010). Aix-en-Provence, France 18 - 21 May 2010
Design tribes and information spaces for creative conversations
Bardill, A., Griffiths, W., Jones, S. and Fields, B. 2010. Design tribes and information spaces for creative conversations. The 12th International Conference on Engineering and Product Design Education. Trondheim, Norway 02 - 03 Sep 2010
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. IEEE Computer Society. 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. Fundamental Approaches to Software Engineering (FASE '09). Springer. https://doi.org/10.1007/978-3-642-00593-0_15
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
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. pp. 170-180
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
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. pp. 47-56
Lo-fi prototyping to design interactive-tabletop applications for children
Rick, J., Francois, P., Fields, B., Fleck, R., Yuill, N. and Carr, A. 2010. Lo-fi prototyping to design interactive-tabletop applications for children. The 9th International Conference on Interaction Design and Children. Barcelona, Spain 09 - 12 Jun 2010 New York, NY, USA ACM. pp. 138-146
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. in: Brochard, M. and Jurgens, M. (ed.) 6th EUROCONTROL innovative research workshop & exhibition. Eurocontrol. pp. 47-62
A framework for considering spatial-temporal representation design needs in air traffic control.
Wong, B., Rozzi, S., Amaldi, P., Woodward, P. and Fields, B. 2006. A framework for considering spatial-temporal representation design needs in air traffic control. in: Proceedings of the Human Factors and Ergonomics Society 50th annual meeting: October 16 - 20, 2006, San Francisco. Santa Monica, CA. HFES. pp. 250-254
Research into EMD at the London ambulance service: stage 1 report requirements, priorities and projects.
Wong, B., Fields, B. and Blandford, A. 2000. Research into EMD at the London ambulance service: stage 1 report requirements, priorities and projects. London Middlesex University.
Emergency medical dispatch at the London ambulance service.
Wong, B., Blandford, A. and Fields, B. 2000. Emergency medical dispatch at the London ambulance service. Middlesex University.
Evaluating combined 2D/3D displays for ATC.
Rozzi, S., Woodward, P., Amaldi, P., Fields, B. and Wong, B. 2006. Evaluating combined 2D/3D displays for ATC. in: 5th EUROCONTROL innovative research workshop & exhibition: proceedings. Eurocontrol: [http://inoworkshop.eurocontrol.fr/]. pp. 167-174
Developing visualisations to support spatial-temporal reasoning in ATC.
Rozzi, S., Wong, B., Woodward, P., Amaldi, P., Fields, B. and Panizzi, E. 2006. Developing visualisations to support spatial-temporal reasoning in ATC. in: Pejcic-Tarle, S. (ed.) Second international conference on research in air transportation. Belgrade, Serbia University of Belgrade: Faculty of Traffic and Transport Engineering.
Design sketching for space and time
Rozzi, S., Wong, B., Amaldi, P., Woodward, P. and Fields, B. 2006. Design sketching for space and time. in: Clemmensen, T., Orngreen, R., Pejtersen, A. and Wong, B. (ed.) Human work interaction design: designing for human work : the first IFIP TC 13.6 WG conference New York Springer.
Operational potential for 3D displays in air traffic control
Rozzi, S., Amaldi, P., Wong, B. and Fields, B. 2007. Operational potential for 3D displays in air traffic control. in: Brinkman, W., Ham, D. and Wong, B. (ed.) ECCE 2007: European conference on cognitive ergonomics, 2007. New York Association for computing machinery.
Next generation 4D HMI concepts. Deliverable 14. Report prepared for AD4: 4D virtual airspace management system, sixth framework programme, priority 1.4 aeronautics and space.
Wong, B., Panifici, E., Lot, D., Amaldi, P., Fields, B. and Rozzi, S. 2005. Next generation 4D HMI concepts. Deliverable 14. Report prepared for AD4: 4D virtual airspace management system, sixth framework programme, priority 1.4 aeronautics and space. Rome NEXT Sistems Ingegeria o..
Operational concepts report Vol.2: tower control deliverable 12.
Amaldi, P., Fields, B., Rozzi, S., Woodward, P. and Wong, B. 2005. Operational concepts report Vol.2: tower control deliverable 12. Middlesex University Press.
Operational Concepts Report Vol.1: Approach Control.
Amaldi, P., Fields, B., Rozzi, S. and Wong, B. 2005. Operational Concepts Report Vol.1: Approach Control. London Middlesex University Press.
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
Disrupting digital library development with scenario informed design
Fields, B., Blandford, A., Furniss, D. and Keith, S. 2007. Disrupting digital library development with scenario informed design. Interacting with Computers. 19 (1), pp. 70-82. https://doi.org/10.1016/j.intcom.2006.07.003
Claims analysis "In The Wild": a case study on digital library development
Fields, B., Blandford, A. and Keith, S. 2006. Claims analysis "In The Wild": a case study on digital library development. International Journal of Human-Computer Interaction. 21 (2), pp. 197-218. https://doi.org/10.1207/s15327590ijhc2102_5
Dynamic digital libraries for children.
Fields, B., Buchanan, G., Mohd-Nasir, N. and Theng, Y. 2001. Dynamic digital libraries for children. in: 1st ACM/IEEE-CS joint conference on Digital Libraries, Proceedings. NY, USA ACM New York. pp. 406-411
Representing collaborative work: the airport as common information space
Fields, B., Tassi, A. and Amaldi-Trillo, P. 2005. Representing collaborative work: the airport as common information space. Cognition Technoogy and Work. 7 (2), pp. 119-133. https://doi.org/10.1007/s10111-005-0177-3
A study into the effect of digitisation projects on the management and stability of historic photograph collections.
Butterworth, R., Fields, B., Curzon, P. and Davis-Perkins, V. 2005. A study into the effect of digitisation projects on the management and stability of historic photograph collections. in: 9th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2005), Vienna, Austria. Proceedings. Heidelberg. Springer Berlin.