Home > Research Search

Search for research

  1. E-pub ahead of print

    Modeling of spatial extremes in environmental data science: Time to move away from max-stable processes

    Huser, R., Opitz, T. & Wadsworth, J., 31/12/2025, In: Environmental Data Science. 4, 1, e3.

    Research output: Contribution to Journal/MagazineComment/debatepeer-review

  2. Published

    Products and practices: Selected concepts from science and technology studies and from social theories of consumption and practice

    Ingram, J., Shove, E. & Watson, M., 2007, In: Design Issues. 23, 2, p. 3-16 14 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  3. Published

    Best practice guidance for linear mixed-effects models in psychological science

    Meteyard, L. & Davies, R., 30/06/2020, In: Journal of Memory and Language. 112, 22 p., 104092.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  4. Published

    The TECHNOLIFE project: an experimental approach to new ethical frameworks for emerging science and technology.

    Rommetveit, K., Gunnarsdottir, K., Jepsen, K. S., Bertelsson, M., Verax, F. & Strand, R., 2013, In: International Journal of Sustainable Development. 16, 1-2, p. 23-45 23 p.

    Research output: Contribution to Journal/MagazineSpecial issuepeer-review

  5. Published

    Multi-rate Threshold FlipThem

    Leslie, D. S., Sherfield, C. L. & Smart, N. P., 12/08/2017, Computer Security – ESORICS 2017: Lecture Notes in Computer Science, vol 10493. Foley, S., Gollmann, D. & Snekkenes, E. (eds.). Springer, p. 174-190 17 p. (Lecture Notes in Computer Science; vol. 10493).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  6. Published

    Strengthening Chvátal-Gomory cuts for the stable set problem

    Letchford, A. N., Marzi, F., Rossi, F. & Smriglio, S., 10/09/2016, Combinatorial Optimization: 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers. Cerulli, R., Fujishige, S. & Mahjoub, A. R. (eds.). Berlin: Springer, p. 201-212 12 p. (Lecture Notes in Computer Science; vol. 9849).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

  7. Published

    'I wouldn't say it's sexism, except that ... It's all these little subtle things': healthcare scientists' accounts of gender in healthcare science laboratories

    Bevan, V. & Learmonth, M., 02/2013, In: Social Studies of Science. 43, 1, p. 136-158 23 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  8. Published

    Preface

    Power, J. & Wingfield, C., 28/03/2014, In: Electronic Notes in Theoretical Computer Science. 303, p. 1-2 2 p.

    Research output: Contribution to Journal/MagazineEditorialpeer-review

  9. Published

    The bibliometric bandwagon: characteristics of bibliometric articles outside the field literature. Journal of the American Society for Information Science and Technology (vol 63, pg 829, 2012)

    Jonkers, K. & Derrick, G. E., 06/2012, In: Journal of The American Society for Information Science and Technology. 63, 6, p. 1280-1280 1 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Forthcoming

    ReCePS: Reward Certification for Policy Smoothed Reinforcement Learning

    Mu, R., Soriano Marcolino, L., Zhang, T., Zhang, Y., Huang, X. & Ruan, W., 10/12/2023, (Accepted/In press) Conference on Artificial Intelligence (AAAI-24): SRRAI Special Track.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  11. Published

    Multi-task projected embedding for igbo

    Ezeani, I., Hepple, M., Onyenwe, I. & Enemuo, C., 8/09/2018, Text, Speech, and Dialogue - 21st International Conference, TSD 2018, Proceedings. Sojka, P., Horák, A., Kopecek, I. & Pala, K. (eds.). Cham: Springer-Verlag, p. 285-294 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11107 LNAI).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  12. Published

    The influence of government science and technology policies on new product development in the US UK, South Korea and Taiwan.

    Schoening, N., Sounder, W. E., Lee, J. & Cooper, R., 1998, In: International Journal of Technology Management. 15, 8, p. 821-835 15 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  13. Published

    Mitigating the Effect of Language in the Assessment of Science: A study of English-language learners in primary classrooms in the United Kingdom

    Afitska, O. & Heaton, T., 1/11/2019, In: Science Education. 103, 6, p. 1396-1422 27 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  14. Published

    Electrochemical surface science of tungsten and molybdenum oxide clusters on boron nitride nanomesh

    De Bonis, E., 2024, Lancaster University.

    Research output: ThesisDoctoral Thesis

  15. Published

    Between the Blabbering Noise of Individuals or the Silent Dialogue of Many: a Collective Response to ‵Postdigital Science and Education′ (Jandrić et al. 2018)

    Dawson, M., Arndt, S., Asher, G., Knox, J., Ford, D. & Hayes, S., 1/10/2019, In: Postdigital Science and Education. 1, p. 446–474 29 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  16. Published

    Threshold FlipThem: when the winner does not need to take all

    Leslie, D., Sherfield, C. L. & Smart, N. P., 12/11/2015, Decision and Game Theory for Security : 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings. Khouzani, M. H. R., Panaousis, E. & Theodorakopoulos, G. (eds.). Cham: Springer, p. 74-92 19 p. (Lecture Notes in Computer Science; vol. 9406).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  17. Published

    Introduction

    Hutchison, D., Mariani, J. & Shepherd, D., 1/01/1985, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 184 LNCS, p. III-IV

    Research output: Contribution to Journal/MagazineEditorialpeer-review

  18. Published

    Producing Policy-relevant Science by Enhancing Robustness and Model Integration for the Assessment of Global Environmental Change

    Warren, R. F., Edwards, N. R., Barbonneau, F., Bacon, P. M., Dietrich, J. P., Ford, R. W., Garthwaite, P., Gerten, D., Goswami, S., Haurie, A., Hiscock, K., Holden, P., Hyde, M. R., Joshi, S. R., Kanudia, A., Labriet, M., Liembach, M., Oyebamiji, O. K., Osborn, T. & Pizzileo, B. & 7 others, Popp, A., Price, J., Riley, G., Schaphoff, S., Slavin, P., Vielle, M. & Wallace, C., 01/2019, In: Environmental Modelling and Software. 111, p. 248-258 11 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  19. Published

    Data science & neutrino physics: improving the Pandora Reconstruction Framework at the DUNE far detector

    Cross, R., 2023, Lancaster University. 271 p.

    Research output: ThesisDoctoral Thesis

  20. Published

    In silico toxicity prediction (ISTP) as a means of screening species for materials science and engineering

    Shah, S., 1/10/2023, Lancaster University. 113 p.

    Research output: ThesisMaster's Thesis

  21. Published

    Recovering missing values from corrupted spatio-temporal sensory data via robust low-rank tensor completion

    Ruan, W., Xu, P., Sheng, Q. Z., Falkner, N. J. G., Li, X. & Zhang, W. E., 1/04/2017, Database Systems for Advanced Applications . Candan, S., Chen, L., Pedersen, T., Chang, L. & Hua, W. (eds.). Cham: Springer, p. 607-622 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10177).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  22. Published
  23. Unpublished

    AspectLua - A Dynamic AOP Approach

    Cacho, N., Batista, T. & Fernandes, F., 01/2005, (Unpublished) In: Journal of Universal Computer Science.

    Research output: Contribution to Journal/MagazineJournal article

  24. Published

    Undesigning the Internet: An exploratory study of reducing everyday Internet connectivity

    Widdicks, K. V., Ringenson, T., Pargman, D., Kuppusamy, V. & Lago, P., 10/05/2018, ICT4S2018. 5th International Conference on Information and Communication Technology for Sustainability. Penzenstadler, B., Easterbrook, S., Venters, C. & Ahmed, S. I. (eds.). p. 384-397 14 p. (EPiC Series in Computing; vol. 52).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  25. Published

    Online trajectory classification

    Sas, C., O'Hare, G. & Reilly, R., 1/12/2003, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2659, p. 1035-1044 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  26. Published

    A Plurality of Practices: Artistic Narratives in HCI Research

    Sturdee, M., Lewis, M., Strohmayer, A., Spiel, K., Koulidou, K., Fdili Alaoui, S. & Davis, J. U., 22/06/2021, C&C '21: Creativity and Cognition. New York: ACM, p. 1-14 14 p. 35

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  27. Published

    A scenario-based approach for robust linear optimization

    Goerigk, M. & Schöbel, A., 2011, Theory and Practice of Algorithms in (Computer) Systems. Marchetti-Spaccamela, A. & Segal, M. (eds.). Berlin: Springer, p. 139-150 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6595).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  28. Published

    Preface

    Hutchison, D. & Schäfer, R., 1/01/1998, Multimedia Applications, Services and Techniques: ECMAST'98. Springer, Vol. 1425. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNForeword/postscript

  29. Recognizing daily living activity using embedded sensors in smartphones: A data-driven approach

    Ruan, W., Chea, L., Sheng, Q. Z. & Yao, L., 15/12/2016, Advanced Data Mining and Applications - 12th International Conference, ADMA 2016, Proceedings. Li, J., Li, X., Wang, S., Li, J. & Sheng, Q. Z. (eds.). Springer Verlag, p. 250-265 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10086 LNAI).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  30. Published

    A gateway for linking local area networks and X.25 networks

    Grant, A., Hutchison, D. & Shepherd, W. D., 8/10/1983, ACM SIGCOMM Computer Communication Review. ACM, p. 234-239 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  31. Published

    Preface

    Corrales, J. C., Iglesias, J. A. & Angelov, P., 11/2018, Advances in Information and Communication Technologies for Adapting Agriculture to Climate Change II: Proceedings of the 2nd International Conference of ICT for Adapting Agriculture to Climate Change (AACC’18), November 21–23, 2018, Cali, Colombia. Corrales, J. C., Angelov, P. & Iglesias, J. A. (eds.). Cham: Springer, p. v-vi 2 p. (Advances in Intelligent Systems and Computing; vol. 893).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNOther chapter contribution

  32. Published

    Preface

    Corrales, J. C., Iglesias, J. A. & Angelov, P., 1/01/2018, Advances in Information and Communication Technologies for Adapting Agriculture to Climate Change: Proceedings of the International Conference of ICT for Adapting Agriculture to Climate Change (AACC'17), November 22-24, 2017, Popayán, Colombia. Angelov, P., Iglesias, J. A. & Corrales, J. C. (eds.). Cham: Springer, p. v-vi 2 p. (Advances in Intelligent Systems and Computing; vol. 687).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

  33. Published

    Navigating uncertainty: understanding stakeholder decision-making in environmental data science

    Wright, K., 2025, Lancaster University. 278 p.

    Research output: ThesisDoctoral Thesis

  34. Published

    Chief Digital Officers as Protagonists in Digital Transformation

    Panteli, N. & Engesmo, J., 30/09/2019, Digital Transformation for a Sustainable Society in the 21st Century - 18th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2019, Proceedings. Pappas, I. O., Pappas, I. O., Krogstie, J., Jaccheri, L., Mikalef, P., Dwivedi, Y. K. & Mäntymäki, M. (eds.). Springer-Verlag, p. 730-737 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11701 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  35. Published

    868 MHz: a noiseless environment, but no free lunch for protocol design

    Woehrle, M., Bor, M. & Langendoen, K., 16/07/2012, 2012 Ninth International Conference on Networked Sensing (INSS). IEEE, p. 1-8 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  36. Inferring Performance Bug Patterns from Developer Commits

    Chen, Y., Winter, S. & Suri, N., 17/07/2019, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering, ISSRE 2019. Wolter, K., Schieferdecker, I., Gallina, B., Cukier, M., Natella, R., Ivaki, N. & Laranjeiro, N. (eds.). IEEE Computer Society Press, p. 70-81 12 p. 8987574. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2019-October).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  37. Published

    Designing a Digital StoryTelling platform to detect gender stereotypes

    Kasibante, R., Rubegni, E. & Jaccheri, L., 27/06/2022, Proceedings of Interaction Design and Children, IDC 2022. New York: ACM, p. 611-616 6 p. (Proceedings of Interaction Design and Children, IDC 2022).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  38. Published

    Feminist Thematic Discourse Analysis in CS

    Ashcroft, A., 19/07/2022, International Conferences ICT, Society, and Human Beings 2022. International Assn for Development of the Information Society (IADIS), p. 281-284 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  39. Published

    Impact of Content Popularity on Content Finding in NDN: Default NDN vs. Vicinity-based Enhanced NDN: 10th International Conference on Information Science and Technology, ICIST 2020

    Suwannasa, A., Broadbent, M. & Mauthe, A., 5/06/2020, p. 163-168. 6 p.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  40. Published

    Transactions on aspect-oriented software development V

    Rashid, A. (Editor) & Ossher, H. (Editor), 2009, Berlin: Springer. (Lecture Notes in Computer Science; vol. 5490)

    Research output: Book/Report/ProceedingsBook

  41. Published

    Experimenting with automatic text summarization for Arabic

    El-Haj, M., Kruschwitz, U. & Fox, C., 2011, Human language technology - challenges for computer science and linguistics: 4th Language and Technology Conference, LTC 2009, Poznan, Poland, November 6-8, 2009, Revised Selected Papers. Vetulani, Z. (ed.). Berlin: Springer, p. 490-499 10 p. (Lecture Notes in Computer Science; vol. 6652).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  42. Published

    Scene analysis with symmetry

    Jackson, B., Kaszanitzky, V. & Schulze, B., 31/12/2021, Conference on Developments in Computer Science. Csuhaj-Varju, E. & Sziklai, P. (eds.). Budapest: Eotvos Lorand University, p. 83-86 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  43. Published

    QoS adaptation and flow filtering in ATM networks

    Yeadon, N., García, F., Campbell, A. & Hutchison, D., 1/01/1994, IWACA 1994: Multimedia: Advanced Teleservices and High-Speed Communication Architectures. Steinmetz, R. (ed.). Springer-Verlag, p. 191-202 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 868 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  44. A hyper-heuristic based on random gradient, greedy and dominance

    Özcan, E. & Kheiri, A., 1/12/2012, Computer and Information Sciences II: 26th International Symposium on Computer and Information Sciences. Gelenbe, E., Lent, R. & Sakellari, G. (eds.). Springer, Vol. 2. p. 557-563 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  45. Published

    Backfiring and favouring: how design processes in HCI lead to anti-patterns and repentant designers

    Widdicks, K., Pargman, D. & Björk, S., 1/10/2020, NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society. ACM, p. 1–12 12 p. 16

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  46. Published

    Towards Human-Bot Collaborative Software Architecting with ChatGPT

    Ahmad, A., Waseem, M., Liang, P., Fahmideh, M., Aktar, M. S. & Mikkonen, T., 14/06/2023, Proceedings of EASE 2023 - Evaluation and Assessment in Software Engineering. New York: ACM, p. 279-285 7 p. (ACM International Conference Proceeding Series).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  47. Published

    Security design in human computation games (transcript of discussion)

    Yan, J., 2014, Security Protocols XVIII: 18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers. Christianson, B. & Malcolm, J. (eds.). Berlin: Springer Verlag, p. 154-160 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7061).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  48. Published

    Analysing spatial properties on neighbourhood spaces

    Linker, S., Papacchini, F. & Sevegnani, M., 1/08/2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 66:1-66:14 14 p. MFCS-2020-66. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  49. Published

    Modelling the interpretation of novel compounds

    Lynott, D. & Keane, M. T., 1/01/2004, ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings. IOS Press, p. 1053-1054 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 110).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  50. Published

    Investigating the effect of social relationships on collaborative learning

    Alrayes, A. & Gadalla, E., 2011, Proceedings of the IADIS International Conference e-Learning 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011. p. 101-108 8 p. (Proceedings of the IADIS International Conference e-Learning 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011; vol. 1).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  51. Published

    FCNN: Fourier Convolutional Neural Networks

    Pratt, H., Williams, B., Coenen, F. & Zheng, Y., 30/12/2017, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2017, Proceedings. Ceci, M., Dzeroski, S., Vens, C., Todorovski, L. & Hollmen, J. (eds.). Springer-Verlag, p. 786-798 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10534 ).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  52. Published

    Toward Unified Cloud Service Discovery for Enhanced Service Identification

    Alfazi, A., Sheng, Q. Z., Babar, A., Ruan, W. & Qin, Y., 1/04/2018, Service Research and Innovation: 5th and 6th Australasian Symposium, ASSRI 2015 and ASSRI 2017, Revised Selected Papers. Beheshti, A., Zhang, W. E., Dong, H. & Hashmi, M. (eds.). Springer Verlag, p. 149-163 15 p. (Lecture Notes in Business Information Processing; vol. 234).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  53. Published

    Real time fuzzy based traffic flow estimation and analysis

    Abbas, M., Mehboob, F., Khan, S. A., Rauf, A. & Jiang, R., 19/04/2019, New Knowledge in Information Systems and Technologies - Volume 2. Rocha, Á., Costanzo, S., Adeli, H. & Reis, L. P. (eds.). Springer-Verlag, Vol. 2. p. 472-482 11 p. (Advances in Intelligent Systems and Computing; vol. 931).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  54. Published

    Preface

    Kortuem, G., Finney, J., Lea, R. & Sundramoorthy, V., 31/08/2007, Smart Sensing and Context: Second European Conference, EuroSSC 2007, Kendal, England, October 23-25, 2007, Proceedings. Kortuem, G., Finney, J., Lea, R. & Sundramoorthy, V. (eds.). Springer, p. v-vi 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4793).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNForeword/postscript

  55. Published

    Design of quality-based composite Web services

    De Paoli, F., Lulli, G. & Maurino, A., 1/12/2006, Service-Oriented Computing - ICSOC 2006 - 4th International Conference, Proceedings. Springer, p. 153-164 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4294 ).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  56. Published

    PET - A Partial Exploration Tool for Probabilistic Verification.

    Meggendorfer, T., 21/10/2022, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). p. 320-326 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13505 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  57. Published

    Resource management in the air traffic domain

    Lulli, G., Mirandola, R., Potena, P. & Raibulet, C., 30/09/2011, Software Architecture - 5th European Conference, ECSA 2011, Proceedings. Springer, p. 97-104 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6903 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  58. Published

    Empowering Users: Leveraging Interface Cues to Enhance Password Security

    Abdrabou, Y., Asbeck, M., Pfeuffer, K., Abdelrahman, Y., Hassib, M. & Alt, F., 19/09/2023, Human-Computer Interaction – INTERACT 2023 - 19th IFIP TC13 International Conference, Proceedings: 19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part I. Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A. & Winckler, M. (eds.). Cham: Springer, p. 359-368 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14142 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  59. Published

    Design agency: prototyping multi-agent systems in architecture

    Gerber, D. J., Pantazis, E. & Soriano Marcolino, L., 16/06/2015, Computer-Aided Architectural Design Futures. The Next City - New Technologies and the Future of the Built Environment: 16th International Conference, CAAD Futures 2015, São Paulo, Brazil, July 8-10, 2015. Selected Papers. Celani, G., Moreno Sperling, D. & Moara Santos Franco, J. (eds.). Springer, p. 213-235 23 p. (Communications in Computer and Information Science; vol. 527).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  60. Published

    A spatial view of information

    Gratus, J. & Porter, T., 12/11/2006, In: Theoretical Computer Science. 365, 3, p. 206-215 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  61. Published

    Being there: Humans and robots in public spaces

    Bremner, P., Trigoni, N., Brown, I., Gunes, H., Bevan, C., Fraser, D. S. & Levine, M., 1/12/2013, Social Robotics - 5th International Conference, ICSR 2013, Proceedings. p. 581-582 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8239 LNAI).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  62. Published

    A Gaussian process approach to locate cracks in plate-like structures

    Surace, C., Hensman, J., Mattone, M., Gherlone, M. & Corrado, N., 2014, Proceedings of the Twelfth International Conference on Computational Structures Technology. Topping, B. H. V. & Ivanyi, P. (eds.). 122. (Civil-Comp Proceedings; vol. 106).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  63. Published

    Approximation algorithms for the weight-reducible knapsack problem

    Goerigk, M., Sabharwal, Y., Schöbel, A. & Sen, S., 2014, Theory and Applications of Models of Computation. TAMC 2014. Berlin: Springer, p. 203-215 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8402 ).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  64. Published

    A framework of design weakness detection through machine health monitoring for the evolutionary design optimization of multi-domain systems

    Xia, M. & De Silva, C. W., 15/10/2014, Proceedings of the 9th International Conference on Computer Science and Education, ICCCSE 2014. Institute of Electrical and Electronics Engineers Inc., p. 205-210 6 p. 6926455. (Proceedings of the 9th International Conference on Computer Science and Education, ICCCSE 2014).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  65. Forthcoming

    Accessible Design in Integrated Development Environments: A Think Aloud Study Exploring the Experiences of Students with ADHD

    Halpin, L., Benachour, P., Hall, T., Houghton, A.-M. & Winter, E., 12/06/2025, (Accepted/In press) Two Decades of TEL: from Lessons Learnt to Challenges Ahead. Springer, (Lecture Notes in Computer Science).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  66. Published
  67. Published

    Traffic event detection from road surveillance videos based on fuzzy logic

    Mehboob, F., Abbas, M. & Jiang, R., 29/08/2016, Proceedings of 2016 SAI Computing Conference, SAI 2016. Institute of Electrical and Electronics Engineers Inc., p. 188-194 7 p. 7555981. (Proceedings of 2016 SAI Computing Conference, SAI 2016).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  68. Published

    Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.

    Kretínský, J., Meggendorfer, T. & Weininger, M., 14/07/2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. IEEE, p. 1-14 14 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2023-June).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  69. Published

    An Overlay Tree Building Control Protocol.

    Mathy, L., Canonico, R. & Hutchison, D., 1/01/2001, Networked Group Communication. Heidelberg: Springer Berlin, Vol. 2233/2. p. 76-87 12 p. (Lecture Notes in Computer Science).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  70. Published

    Workflow and Process Automation: Concepts and Technology

    Cichocki, A., Helal, S., Rusinkiewicz, M. & Woelk, D., 1997, Boston: Springer. (The Springer International Series in Engineering and Computer Science book series; vol. 432)

    Research output: Book/Report/ProceedingsBook

  71. Published

    Reducing the Computational Complexity of an RLS-Based Adaptive Controller in ANVC Applications

    Montazeri, A. & Poshtan, J., 2009, Advances in Computer Science and Engineering: 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers. Sarbazi-Azad, H., Parhami, B., Miremadi, S.-G. & Hessabi, S. (eds.). Berlin: SPRINGER-VERLAG BERLIN, p. 259-266 8 p. (COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE; vol. 6).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  72. Published

    A posture HCI design pattern for television commerce based on user experience

    Galabo, R. J. & Soares Neto, C., 1/08/2015, Design, User Experience, and Usability: Design Discourse - 4th International Conference, DUXU 2015 Held as Part of HCI International 2015, Proceedings. Marcus, A. (ed.). Cham: Springer-Verlag, p. 191-203 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9186).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  73. Published

    Scalable adaptive hierarchical clustering

    Mathy, L., Canonico, R., Simpson, S. & Hutchison, D., 1/01/2002, NETWORKING 2002: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications . Gregori, E., Conti, M., Omidyar, G., Zukerman, M. & Campbell, A. T. (eds.). IEEE, p. 1172-1177 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2345).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  74. Published

    Engineering the modulo network simplex heuristic for the periodic timetabling problem

    Goerigk, M. & Schöbel, A., 2011, Experimental Algorithms. Pardalos, P. M. & Rebennack, S. (eds.). Berlin: Springer, p. 181-192 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6630).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  75. Published

    The air traffic flow management problem: An integer optimization approach

    Bertsimas, D., Lulli, G. & Odoni, A., 30/06/2008, Integer Programming and Combinatorial Optimization - 13th International Conference, IPCO 2008, Proceedings. p. 34-46 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5035 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  76. Published

    Access units

    Hutchison, D., 1/01/1985, Local Area Networks: An Advanced Course. Hutchison, D., Mariani, J. A. & Shepherd, W. D. (eds.). Springer, p. 87-107 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 184 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  77. Published

    A learning environment based on multiple qualitative models

    Sime, J. A. & Leitch, R., 1/01/1992, Intelligent Tutoring Systems - 2nd International Conference, ITS 1992, Proceedings. Frasson, C., McCalla, G. I. & Gauthier, G. (eds.). Springer-Verlag, p. 116-123 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 608 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  78. Published

    Towards new security primitives based on hard AI problems

    Zhu, B. B. & Yan, J., 2013, Security Protocols XXI: 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers. Christianson, B., Malcolm, J., Stajano, F., Anderson, J. & Bonneau, J. (eds.). Berlin: Springer Verlag, p. 3-10 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8263).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  79. Published

    Transactions on Aspect-Oriented Software Development III

    Rashid, A. (Editor), 2007, Springer. (Lecture Notes in Computer Science)

    Research output: Book/Report/ProceedingsBook

  80. Published

    Transactions on Aspect-Oriented Software Development IV

    Rashid, A. (Editor), 2007, Springer. (Lecture Notes in Computer Science)

    Research output: Book/Report/ProceedingsBook

  81. Published

    Context Acquisition Based on Load Sensing

    Schmidt, A., Strohbach, M., Van Laerhoven, K., Friday, A. & Gellersen, H., 09/2002, Proceedings of Ubicomp 2002. Springer Verlag, Vol. 2498. p. 161-192 32 p. (Lecture Notes in Computer Science).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  82. Published

    User-Friendly Surveying Techniques for Location-aware Systems.

    Scott, J. & Hazas, M., 10/2003, UbiComp 2003: Ubiquitous Computing. Heidelberg: Springer Berlin, Vol. 2864/2. p. 44-53 10 p. (Lecture Notes in Computer Science).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  83. Published

    Aspect Composition Applying the Design by Contract Principle

    Klaeren, H., Pulvermueller, E., Rashid, A. & Speck, A., 2001, Generative and Component-Based Software Engineering Second International Symposium, GCSE 2000 Erfurt, Germany, October 9–12, 2000 Revised Papers. Butler, G. & Jarzabek, S. (eds.). Berlin: Springer, p. 57-69 13 p. (Lecture Notes in Computer Science; vol. 2177).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  84. Published

    Generalization bounds for learning weighted automata

    Balle, B. & Mohri, M., 15/03/2018, In: Theoretical Computer Science. 716, p. 89-106 18 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  85. Published

    Transactions on Aspect-Oriented Software Development II

    Rashid, A. (Editor) & Aksit, M. (Editor), 2006, Berlin: Springer-Verlag. 288 p. (Lecture Notes in Computer Science; vol. 4242)

    Research output: Book/Report/ProceedingsBook

  86. Published

    Transactions on Aspect-Oriented Software Development I

    Rashid, A. (Editor) & Aksit, M. (Editor), 2006, Berlin: Springer Verlag. 334 p. (Lecture Notes in Computer Science; vol. 3880)

    Research output: Book/Report/ProceedingsBook

  87. Published

    Cryptography and coding: 8th IMA International Conference Cirencester, UK, December 17–19, 2001 Proceedings

    Honary, B. (Editor), 2001, Berlin: Springer Verlag. 416 p. (Lecture Notes in Computer Science; vol. 2260)

    Research output: Book/Report/ProceedingsBook

  88. Published

    Data, Decisions, and Doubt: Affording Trust Within Environmental Data Science

    Thornton, L., 2025, Lancaster University. 224 p.

    Research output: ThesisDoctoral Thesis

  89. Published

    A multimedia session manager service for the collaborative browsing system

    Rafaeli, S. & Hutchison, D., 1/01/2000, Proceedings of the Third International Workshop on Distributed Communities on the Web. Unger, H., Kropf, P. G., Babin, G. & Plaice, J. (eds.). Springer-Verlag, p. 23-33 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1830).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  90. Published

    To blank or not to blank? A comparison of the effects of disclosure limitation methods on nonlinear regression estimates

    Lechner, S. & Pohlmeier, W., 31/12/2004, International Workshop on Privacy in Statistical Databases: PSD 2004: Privacy in Statistical Databases . Domingo-Ferrer, J. & Torra, V. (eds.). Berlin: Springer-Verlag, p. 187-200 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3050).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

  91. Published

    Security design in human computation games

    Yu, S. Y. & Yan, J., 2014, Security Protocols XVIII : 18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers. Christianson, B. & Malcolm, J. (eds.). Berlin: Springer Verlag, p. 142-153 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7061).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  92. Published

    Urinary bladder tumor grade diagnosis using on-line trained neural networks

    Tasoulis, D. K., Spyridonos, P., Pavlidis, N. G., Cavouras, D., Ravazoula, P., Nikiforidis, G. & Vrahatis, M. N., 1/12/2003, Knowledge-Based Intelligent Information and Engineering Systems: 7th INternational Conference, KES 2003, Oxford, UK, September 2003. Proceedings, Part I. Springer, Vol. 2773 PART 1. p. 199-206 8 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  93. Published

    Evolution of charging and billing models for GSM and future mobile internet services

    Cushnie, J., Hutchison, D. & Oliver, H., 1/01/2000, Quality of Future Internet Services : QofIS 2000. Crowcroft, J., Roberts, J. & Smirnov, M. I. (eds.). Springer, p. 312-323 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1922).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  94. Published

    Topological measures of connectomics for low grades Glioma

    Amoah, B. & Crimi, A., 12/04/2017, Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries - Second International Workshop, BrainLes 2016, with the Challenges on BRATS, ISLES and mTOP 2016 Held in Conjunction with MICCAI 2016, Revised Selected Papers. Crimi, A., Menze, B., Maier, O., Reyes, M., Winzeck, S. & Handels, H. (eds.). Cham: Springer-Verlag, Vol. 10154. p. 23-31 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10154 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  95. Published

    A parallel 3D unstructured implicit RANS solver for compressible and incompressible CFD simulations

    Bonfiglioli, A., Campobasso, S., Carpentieri, B. & bollhoefer, M., 2012, Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II. Wyrzykowski, R., Dongarra, J., Karczewski, K. & Waśniewski , J. (eds.). Berlin: Springer, p. 312-322 11 p. (Lecture Notes in Computer Science; vol. 7203).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  96. Published

    Foreign Currency Exchange Rate Prediction using Neuro-Fuzzy Systems

    Yong, Y. L., Lee, Y., Gu, X., Angelov, P. P., Ling Ngo, D. C. & Shafipour Yourdshahi, E., 1/12/2018, Procedia Computer Science. Elsevier, Vol. 144. p. 232-238 7 p. (Procedia Computer Science; vol. 144).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  97. Published

    The REVERE project: Experiments with the application of probabilistic NLP to systems engineering

    Rayson, P., Emmet, L., Garside, R. & Sawyer, P., 1/01/2001, Natural Language Processing and Information Systems - 5th International Conference on Applicationsof Natural Language to Information Systems, NLDB 2000, Revised Papers. Springer-Verlag, p. 288-300 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1959).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  98. Published

    Metaspaces and mobile computing: Promises and challenges

    Manning, E. G., Khan, S., Lea, R., Shoja, G. C. & Zastre, M. M. J., 29/07/1997, Worldwide Computing and Its Applications - International Conference, WWCA 1997, Proceedings. Masuda, T., Masunaga, Y. & Tsukamoto, M. (eds.). Springer-Verlag, p. 350-362 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1274).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  99. Published

    Multimodal analysis and prediction of latent user dimensions

    Wendlandt, L., Mihalcea, R., Boyd, R. L. & Pennebaker, J. W., 15/09/2017, Social Informatics - 9th International Conference, SocInfo 2017, Proceedings. Ciampaglia, G. L., Yasseri, T. & Mashhadi, A. (eds.). Springer-Verlag, p. 323-340 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10539 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  100. Published

    Stochastic local search procedures for the probabilistic two-day vehicle routing problem

    Doerner, K. F., Gutjahr, W. J., Hartl, R. F. & Lulli, G., 18/09/2008, Advances in Computational Intelligence in Transport, Logistics, and Supply Chain Management. Springer, p. 153-168 16 p. (Studies in Computational Intelligence; vol. 144).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

Previous 1 2 3 4 5 6 7 8 ...99 Next