Falling down is part of Growing up: The Study of Failure and the Software Engineering Community

Dalcher, D., 1994, Software Engineering Education. Diaz-Herrera, J. L. (ed.). Berlin: Springer, p. 489-496 8 p. (Lecture Notes in Computer Science; vol. 750).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Correct Approximation of Stationary Distributions.

Meggendorfer, T., 22/04/2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer, p. 489-507 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Gap inequalities for the max-cut problem: a cutting-plane algorithm

Galli, L., Kaparis, K. & Letchford, A., 2012, Combinatorial Optimization: Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers. Mahjoub, A. R. (ed.). Berlin: Springer, p. 178-188 11 p. (Lecture Notes in Computer Science; vol. 7422).

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

A hyper-heuristic with a round robin neighbourhood selection

Kheiri, A. & Özcan, E., 22/03/2013, Evolutionary Computation in Combinatorial Optimization: 13th European Conference, EvoCOP 2013, Proceedings. Springer, p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7832 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A heuristic for maximising energy efficiency in OFDMA systems with QoS constraints

Letchford, A. N., Ni, Q. & Zhong, Z., 1/07/2018, Combinatorial Optimization: 5th International Symposium. Lee, J., Rinaldi, G. & Mahjoub, A. R. (eds.). Springer, p. 303-312 10 p. (Lecture Notes in Computer Science; vol. 10856).

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

A method for analysing traceability between privacy policies and privacy controls of online social networks

Anthonysamy, P., Greenwood, P. & Rashid, A., 2014, Privacy technologies and policy: First Annual Privacy Forum, APF 2012, Limassol, Cyprus, October 10-11, 2012, Revised Selected Papers. Preneel, B. & Ikonomou, D. (eds.). Berlin: Springer, p. 187-202 16 p. (Lecture Notes in Computer Science; vol. 8319).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Domain-specific metamodelling languages for software language engineering

Zschaler, S., Kolovos, D. S., Drivalos, N., Paige, R. F. & Rashid, A., 2010, Software language engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers. van den Brand, M., Gašević, D. & Gray, J. (eds.). Berlin: Springer, p. 334-353 20 p. (Lecture Notes in Computer Science; vol. 5969).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Match graph construction for large image databases

Kim, K. I., Tompkin, J., Theobald, M., Kautz, J. & Theobalt, C., 2012, Computer Vision – ECCV 2012 : 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part I. Springer, p. 272-285 14 p. (Lecture Notes in Computer Science; vol. 7572).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review