Home > Research Search

Search for research

  1. Published

    On the nature of issues in five open source microservices systems: An empirical study

    Waseem, M., Liang, P., Shahin, M., Ahmad, A. & Nassab, A. R., 21/06/2021, Proceedings of EASE 2021 - Evaluation and Assessment in Software Engineering. The Association for Computing Machinery, p. 201-210 10 p. (ACM International Conference Proceeding Series).

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

  2. Published

    Predictive policing and artificial intelligence

    McDaniel, J. L. M. & Pease, K. G., 26/02/2021, London: Routledge. 312 p. (Routledge Frontiers of Criminal Justice)

    Research output: Book/Report/ProceedingsBook

  3. Published

    A survey of applications of CSCW for digital libraries: Technical Report CSEG/4/1998

    Twidale, M. & Nichols, D., 1998, Lancaster University. 29 p.

    Research output: Book/Report/ProceedingsOther report

  4. Published

    Crowd-Assisted Machine Learning: Current Issues and Future Directions

    Wang, J., Wang, Y. & Lv, Q., 1/01/2019, In: Computer. 52, 1, p. 46-53 8 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  5. Published

    Resilient Collaborative Caching for Multi-Edge Systems With Robust Federated Deep Learning

    Chen, Z., Liang, J., Yu, Z., Cheng, H., Min, G. & Li, J., 30/04/2025, In: IEEE/ACM Transactions on Networking. 33, 2, p. 654-669 16 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  6. Published

    Collect&Drop: A Technique for Multi-Tag Interaction with Real World Objects and Information

    Broll, G., Haarlaender, M., Paolucci, M., Wagner, M., Rukzio, E. & Schmidt, A., 19/11/2008, Ambient Intelligence. Aarts, E., Crowley, J. L., Ruyter, B. D., Gerhäuser , H., Pflaum, A., Schmidt, J. & Wichert, R. (eds.). Berlin: Springer, p. 175-191 17 p. (Lecture Notes in Computer Science; vol. 5355).

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

  7. Published

    Decision Models for Selecting Patterns and Strategies in Microservices Systems and their Evaluation by Practitioners

    Waseem, M., Liang, P., Ahmad, A., Shahin, M., Khan, A. A. & Márquez, G., 17/06/2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering: Software Engineering in Practice, ICSE-SEIP 2022. IEEE Computer Society Press, p. 135-144 10 p. (Proceedings - International Conference on Software Engineering).

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

  8. Published

    Do Cancer Cells Collaborate During Metastasis?

    Vermolen, F. J., Peng, Q. & Weihs, D., 24/04/2024, Computer Methods in Biomechanics and Biomedical Engineering II: Selected Papers from the 18th International Symposium CMBBE 2023, May 3-5, 2023, Paris, France. Skalli, W., Laporte, S. & Benoit, A. (eds.). Cham: Springer, p. 289-296 8 p. (Lecture Notes in Computational Vision and Biomechanics; vol. 39).

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

  9. Published

    FMVEA for Safety and Security Analysis of Intelligent and Cooperative Vehicles.

    Schmittner, C., Ma, Z. & Smith, P., 2014, Computer Safety, Reliability, and Security. SAFECOMP 2014. : Lecture Notes in Computer Science. Springer, Vol. 8696. p. 282-288 7 p.

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

  10. Published

    A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees

    Wu, M., Wicker, M., Ruan, W., Huang, X. & Kwiatkowska, M., 6/02/2020, In: Theoretical Computer Science. 807, p. 298-329 32 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  11. Published

    High fidelity simulation and visualization of activities of daily living in Persim 3D

    Liu, S., Helal, S., Lee, J. W., B., A. (Editor), H., A. (Editor), M., M. (Editor) & [Unknown] (Translator), 2017, International Conference on Smart Homes and Health Telematics ICOST 2017. Mokhtari, M., Abdulrazak, B. & Aloulou, H. (eds.). Cham: Springer, 13 p. (Lecture Notes in Computer Science; vol. 10461).

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

  12. Published

    Interoperability in complex distributed systems

    Blair, G., Paolucci, M., Grace, P. & Georgantas, N., 2011, Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Bernardo, M. & Issarny, V. (eds.). Berlin: Springer Verlag, p. 1-26 26 p. (Lecture Notes in Computer Science; vol. 6659).

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

  13. Published

    Improving first order temporal fact extraction with unreliable data

    Luo, B., Feng, Y., Wang, Z. & Zhao, D., 2/12/2016, Natural Language Understanding and Intelligent Applications: 5th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2016, and 24th International Conference on Computer Processing of Oriental Languages, ICCPOL 2016, Kunming, China, December 2–6, 2016, Proceedings. Lin, C.-Y., Xue, N., Zhao, D., Huang, X. & Feng, Y. (eds.). Cham: Springer, p. 251-262 12 p. (Lecture Notes in Computer Science; vol. 10102).

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

  14. Published

    Deep middleware for the divergent grid

    Grace, P., Coulson, G., Blair, G. & Porter, B., 2005, Proceeding Middleware '05 Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware. Alonso, G. (ed.). Berlin: Springer Verlag, p. 334-353 20 p. (Lecture Notes in Computer Science; vol. 3790).

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

  15. Published

    Cross-Document Dependency Analysis for System-of-System Integration

    Naqvi, A., Chitchyan, R., Zschaler, S., Rashid, A. & Südholt, M., 2010, Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers.. Choppy, C. & Sokolsky, O. (eds.). Berlin: Springer, p. 201-226 26 p. (Lecture Notes in Computer Science; vol. 6028).

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

  16. Published

    Eye pull, eye push: moving objects between large screens and personal devices with gaze and touch

    Turner, J., Alexander, J., Bulling, A., Schmidt, D. & Gellersen, H., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Berlin: Springer, p. 170-186 17 p. (Lecture Notes in Computer Science; vol. 8118).

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

  17. Published

    From tele presence to human absence: the pragmatic construction of the human in communications systems research

    Harper, R., 2009, BCS-HCI '09 Proceedings of the 23rd British HCI Group Annual Conference on People and Computers: Celebrating People and Technology. New York: ACM, p. 73-82 10 p.

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

  18. Published

    AI-Driven Data Analytics and Intent-Based Networking for Orchestration and Control of B5G Consumer Electronics Services

    Abbas, K., Nauman, A., Bilal, M., Yoo, J.-H., Hong, J. W.-K. & Song, W.-C., 29/02/2024, In: IEEE Transactions on Consumer Electronics. 70, 1, p. 2155 - 2169

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  19. Published

    RDE with forgetting: an approximate solution for large values of k with an application to fault detection problems

    Bezerra, C. G., Costa, B., Guedes, L. A. & Angelov, P., 2015, Statistical learning and data sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Springer, p. 169-178 10 p. (Lecture Notes in Computer Science; vol. 9047).

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

  20. Published

    Deep Neural Networks meet computation offloading in mobile edge networks: Applications, taxonomy, and open issues

    Mustafa, E., Shuja, J., Rehman, F., Riaz, A., Maray, M., Bilal, M. & Khan, M. K., 30/06/2024, In: Journal of Network and Computer Applications. 226, 103886.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  21. Published

    The power of teams that disagree: team formation in large action spaces

    Soriano Marcolino, L., Xu, H., Xin Jiang, A., Tambe, M. & Bowring, E., 7/11/2015, Coordination, Organizations, Institutions and Norms in Agent Systems X: COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers. Ghose, A., Oren, N., Telang, P. & Thangarajah, J. (eds.). Springer, p. 213-232 20 p. (Lecture Notes in Computer Science; vol. 9372).

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

  22. Published

    Algorithms and Hardness Results for Computing Cores of Markov Chains.

    Ahmadi, A., Chatterjee, K., Goharshady, A. K., Meggendorfer, T., Safavi, R. & Zikelic, Ð., 14/12/2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. Dawar, A. & Guruswami, V. (eds.). p. 29:1-29:20 20 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 250).

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

  23. Published

    On the separation of maximally violated mod-k cuts

    Caprara, A., Fischetti, M. & Letchford, A. N., 1999, Integer Programming and Combinatorial Optimization: Proceedings of the 7th International IPCO Conference. Cornuéjols, G., Burkard, R. E. & Woeginger, G. J. (eds.). Berlin: Springer, p. 87-98 12 p. (Lecture Notes in Computer Science ; vol. 1610).

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

  24. Published

    Multi-agent team formation for design problems

    Soriano Marcolino, L., Xu, H., Gerber, D. J., Kolev, B., Price, S., Pantazis, E. & Tambe, M., 2016, Coordination, Organizations, Institutions, and Normes in Agent Systems XI: COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers. Dignum, V., Noriega, P., Sensoy, M. & Sichman, J. S. (eds.). Springer, p. 354-375 22 p. (Lecture Notes in Computer Science; vol. 9628).

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

  25. Published

    An application service provider perspective of e-business engagement by SME aggregations

    Lockett, N. & Brown, D., 1/12/2005, Association for Information Systems - 11th Americas Conference on Information Systems, AMCIS 2005: A Conference on a Human Scale. Association for Information Systems, p. 3393-3403 11 p. (Association for Information Systems - 11th Americas Conference on Information Systems, AMCIS 2005: A Conference on a Human Scale; vol. 7).

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