Home > Research Search

Search for research

  1. Published

    A new approach to the stable set problem based on ellipsoids

    Giandomenico, M., Letchford, A. N., Rossi, F. & Smriglio, S., 2011, Lancaster University: The Department of Management Science, (Management Science Working Paper Series).

    Research output: Working paper

  2. Published

    Angry-Builds: An empirical study of affect metrics and builds success on GitHub ecosystem

    Ortu, M., Pinna, A., Tonelli, R., Marchesi, M., Bowes, D. & Destefanis, G., 21/05/2018, XP '18: Proceedings of the 19th International Conference on Agile Software Development: Companion. New York: Association for Computing Machinery (ACM), 2 p. a35

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

  3. Published

    Obtaining (Ɛ,δ)-differential privacy guarantees when using the Poisson distribution to synthesize tabular data

    Jackson, J., Mitra, R., Francis, B. & Dove, I., 12/09/2024, Privacy in Statistical Databases – PSD2024. Domingo-Ferrer, J. & Önen, M. (eds.). Cham: Springer, p. 102-112 11 p. (Lecture Notes in Computer Science; vol. 14915).

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

  4. Published

    Preface

    Zheng, Y., Williams, B. M. & Chen, K., 1/01/2020, Medical Image Understanding and Analysis: 23rd Conference, MIUA 2019, Liverpool, UK, July 24–26, 2019, Proceedings. Zheng, Y., Williams, B. M. & Chen, K. (eds.). Cham: Springer, p. vi (Communications in Computer and Information Science; vol. 1065).

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

  5. Published

    SIF Permutations and Chord-connected Diagrams

    Blitvic, N., 2014, Discrete Mathematics and Theoretical Computer Science Proceedings: 26th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2014), 2014 Chicago, United States. p. 801-814 14 p.

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

  6. Published

    Improving the Reliability for Confidence Estimation

    Qu, H., Li, Y., Foo, L. G., Kuen, J., Gu, J. & Liu, J., 30/10/2022, Computer Vision – ECCV 2022 - 17th European Conference, 2022, Proceedings. Avidan, S., Brostow, G., Cissé, M., Farinella, G. M. & Hassner, T. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 391-408 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13687 LNCS).

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

  7. Published

    The relationship between evolutionary coupling and defects in large industrial software (journal-first abstract)

    Kirbas, S., Caglayan, B., Hall, T., Counsell, S., Bowes, D., Sen, A. & Bener, A., 2/04/2018, 25th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 471 1 p.

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

  8. Published

    Programmable resource discovery using peer-to-peer networks

    Smith, P., Simpson, S. & Hutchison, D., 1/01/2002, IFIP-TC6 4th International Working Conference, IWAN 2002: Active Networks . Tschudin, C., Takada, O., Sterbenz, J. & Plattner, B. (eds.). Springer, p. 229-240 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2546).

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

  9. Published

    Budget imbalance criteria for auctions: a formalized theorem

    Caminati, M. B., Kerber, M. & Rowat, C., 30/06/2014, Trends in Contemporary Computer Science. Bialystok University of Technology Publishing Office, (arXiv preprint arXiv:1412.0542).

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

  10. Published

    Minimizing Characterizing Sets

    Bulut, K., Jourdan, G. V. & Türker, U. C., 13/02/2020, Formal Aspects of Component Software (FACS 2019). Arbab, F. & Jongmans, S. S. (eds.). Cham: Springer, p. 72-86 15 p. (Lecture Notes in Computer Science; vol. 12018).

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