School of Mathematical & Computer Sciences

Research output

Research output per year 1966 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023

• 253723 Citations
• 188 h-index
• 5219 Article
• 1844 Conference contribution
• 667 Paper
• 168 Chapter
• 675 More
  • 115 Chapter (peer-reviewed)
  • 63 Book
  • 59 Conference article
  • 51 Editorial
  • 44 Other report
  • 43 Literature review
  • 37 Anthology
  • 32 Working paper
  • 25 Other contribution
  • 24 Other chapter contribution
  • 21 Review article
  • 20 Abstract
  • 19 Preprint
  • 16 Commissioned report
  • 14 Other
  • 14 Comment/debate
  • 13 Letter
  • 9 Doctoral Thesis
  • 8 Book/Film/Article review
  • 8 Special issue
  • 6 Foreword/postscript
  • 6 Poster
  • 6 Web publication/site
  • 5 Entry for encyclopedia/dictionary
  • 5 Meeting abstract
  • 5 Patent
  • 2 Digital or Visual Products
  • 2 Exhibition
  • 2 Discussion paper
  • 1 Master's Thesis

Research output per year

Research output per year

Search results

• Chapter

  Epidemic models, control

  Clancy, D., 22 Jun 2015, Wiley Stasref: Statistics Reference Online. Wiley, p. 1-8 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Estimating Marine CSEM Responses Using Gaussian Process Regression Based on Synthetic Models

  Mohd Aris, M. N., Daud, H., Mohd Noh, K. A. & Dass, S. C., 2022, Towards Intelligent Systems Modeling and Simulation. Springer, p. 235-247 13 p. (Studies in Systems, Decision and Control; vol. 383).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Electromagnetism 100%
  • Response 100%
  • Kriging 100%
  • Electrical Resistivity 83%
  • Estimate 50%

• Evolutionary Algorithms

  Corne, D. & Lones, M. A., 22 Feb 2018, (E-pub ahead of print) Handbook of Heuristics. Martí, R., Panos, P. & Resende, M. (eds.). Springer

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Evolutionary Algorithms 100%
  • Practical Application 12%
  • Genetic Algorithm 12%
  • Combinatorial Problem 12%
  • Natural Evolution 12%

• Experimental Evaluation of a Multi-modal User Interface for a Robotic Service

  Di Nuovo, A., Wang, N., Broz, F., Belpaeme, T., Jones, R. & Cangelosi, A., 2016, Towards Autonomous Robotic Systems: 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26-July 1, 2016, Proceedings. Alboul, L., Damian, D. & Aitken, J. M. (eds.). 1 ed. Springer, Vol. 9716. p. 87-98 12 p. (Lecture Notes in Artificial Intelligence; vol. 9716).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
  4 Citations (Scopus)

• Extensional Rewriting with Sums

  Lindley, S., 2007, Typed Lambda Calculi and Applications: TLCA 2007. Springer, p. 255-271 17 p. (Lecture Notes in Computer Science; vol. 4583).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Equational Theory 100%
  • Evaluation 100%
  • Standards 100%
  • Normalization 100%
  13 Citations (Scopus)

• Extrinsic versus intrinsic evaluation of natural language generation for spoken dialogue systems and social robotics

  Hastie, H., Cuayáhuitl, H., Dethlefs, N., Keizer, S. & Liu, X., 25 Dec 2016, Dialogues with Social Robots: Enablements, Analyses, and Evaluation. Jokinen, K. & Wilcock, G. (eds.). Springer, Vol. Part V. p. 303-311 9 p. (Lecture Notes in Electrical Engineering; vol. 999).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Evaluation 100%
  • Robotics 66%
  • Case Study 33%
  • System Development 33%
  • Spoken Dialog System 33%
  2 Citations (Scopus)

• Feedback control of nonlinear PDEs using data-efficient reduced order models based on the Koopman operator

  Peitz, S. & Klus, S., 2020, The Koopman Operator in Systems and Control. Springer, p. 257-282 26 p. (Lecture Notes in Control and Information Sciences; vol. 484).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Simulation Mode 100%
  • PDE 75%
  • Operators 75%
  • Nonlinear 50%
  • Predictive Model 50%
  5 Citations (Scopus)

• Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness

  Komendantskaya, E. & Power, J., 2008, Logics in Artifiicial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings. Hölldobler, S., Lutz, C. & Wansing, H. (eds.). Springer, p. 258-271 14 p. (Lecture Notes in Computer Science; vol. 5293).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Semantics 100%
  • Soundness 66%
  • Semantic Ground 66%
  • Programs 66%
  • Algorithms 33%
  4 Citations (Scopus)

• Flow boiling in compact heat exchangers.

  Kew, P. A. & Cornwell, K., 1999, Handbook on phase change,: Boiling and condensation, Eds. S G Kandlikar, Taylor and Francis, Section 16.2. p. 403-441 39 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Formalisation and verification of knowledge management in digital economy and organisations

  Georgieva, L. & Zia, I., 2013, Agent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce. Springer, Vol. 462. p. 53-66 14 p. (Studies in Computational Intelligence; vol. 462).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Knowledge Management 100%
  • Knowledge Exchange 16%
  • Case Study 16%
  • Simulation Mode 16%
  • Formalization 16%
  2 Citations (Scopus)

• Fourier Tauberian theorems

  Levitin, M., 1996, The asymptotic distribution of eigenvalues of partial differential operators by Yu Safarov and D Vassiliev, AMS Series Translations of Mathematical Monographs, AMS, Providence, R. I.. Vol. 155. p. 297-305 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Fully Bayesian Approach

  Xu, Y., Choi, J., Dass, S. & Maiti, T., 2016, Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks. p. 53-75 (SpringerBriefs in Electrical and Computer Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Fully Bayesian Spatial Prediction Using Gaussian Markov Random Fields

  Xu, Y., Choi, J., Dass, S. & Maiti, T., 2016, Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks. p. 91-106 (SpringerBriefs in Electrical and Computer Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Functional prototyping for parallel skeleton based implementation

  Michaelson, G. J. & Scaife, N., 2002, Patterns and Skeletons for Parallel and Distributed Computing, Springer-Verlag, Sept 2002. Vol. CH 5. p. 129-153 25 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Games Robots Play: Once More, with Feeling

  Aylett, R., 2016, Emotion in Games: Theory and Praxis. Karpouzis, K. & Yannakakis, G. N. (eds.). Springer, p. 289-302 14 p. (Socio-Affective Computing; vol. 4).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Gender in email-based co-operative problem-solving

  Michaelson, G. J. & Pohl, M., 2001, Virtual Gender; Technology, consumption and identity. p. 28-44 17 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Genetics and insurance management

  Macdonald, A. S., 2004, The Swedish Society of Actuaries: One Hundred Years. Svenska Akuarieforeningen, Stockholm..

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Hamiltonian PDE's

  Kuksin, S., 2006, Handbook of Dynamical Systems, 1B. Hasselblatt, B. & Katok, A. (eds.). Vol. 1B. p. 1087-1134 48 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• How neural networks reduce HCI overhead of problem solvers.

  Kozato, F. & De Wilde, P., 1992, In J. Finlay and R. Beale, editors, Pattern Recognition and. Vol. 18. p. 343-355 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Human genetics and insurance issues

  Macdonald, A. S., 2000, Bioethics in the new Millennium, St Andrews Press. p. 25-38 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Hyperbolic groups

  Howie, J., 2000, Omades kai Efarmoges (Groups and Applications). p. 137-160 24 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Improved Immune Genetic Algorithm For Solving Flow Shop Scheduling Problem

  Liu, M., Pang, W., Wang, K. P., Song, Y. Z. & Zhou, C. G., 12 Oct 2006, Computational Methods. Liu, G. R., Tan, V. B. C. & Han, X. (eds.). Dordrecht, Netherlands: Springer, p. 1057-1062 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Genetic Algorithm 100%
  • Algorithm 66%
  • Procedures 66%
  • Standard 66%
  • Flow 66%

• Incorporating commercial and private data into an open linked data platform for drug discovery

  Goble, C., Gray, A. J. G., Harland, L., Karapetyan, K., Loizou, A., Mikhailov, I., Rankka, Y., Senger, S., Tkachenko, V., Williams, A. J. & Willighagen, E. L., 2013, Incorporating commercial and private data into an open linked data platform for drug discovery. Springer, Vol. 8219. p. 65-80 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8219 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Dataset 100%
  • Drug Discovery 75%
  • Data Collection 25%
  • Data Source 25%
  • Authorized User 25%
  5 Citations (Scopus)

• Inductive Families Need Not Store Their Indices

  Brady, E., McBride, C. & Mckinna, J., 2004, Types for Proofs and Programs. TYPES 2003. Springer, p. 115-129 15 p. (Lecture Notes in Computer Science; vol. 3085).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Efficient Representation 100%
  • Storage Requirement 100%
  • Argument Constructor 100%
  • Elimination Rule 100%
  • Representation 100%
  56 Citations (Scopus)

• Information technology, communications systems and artificial intelligence in intelligent buildings

  Glover, N., Corne, D. & Liu, K., 2004, Intelligent Buildings: design, management and operation. Clements-Croome, D. (ed.). Thomas Telford Ltd.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Insurance

  Macdonald, A. S., 2007, Handbook of Statistical Genetics. Balding, D. J., Cannings, C. & Bishop, M. (eds.). 3 ed. Chichester, UK: Wiley, Vol. 2. p. 1346-1367 22 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
  1 Citation (Scopus)

• Intelligent workflow management for Fish4Knowledge using the SWELL system

  Nadarajan, G., Yang, C-L. & Chen-Burger, Y-H., 2016, Fish4Knowledge: Collecting and Analyzing Massive Coral Reef Fish Video Data. Fisher, R. B., Chen-Burger, Y-H., Giordano, D., Hardman, L. & Lin, F-P. (eds.). Springer, p. 83-101 19 p. (Intelligent Systems Reference Library; vol. 104).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Workflows 100%
  • Video Processing 75%
  • Image Processing 50%
  • Systems Performance 25%
  • High-Performance Computing 25%

• Introduction: Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks

  Xu, Y., Choi, J., Dass, S. & Maiti, T., 2016, Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks. p. 1-9 (SpringerBriefs in Electrical and Computer Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• IS degrees – sociotechnical or technosocial?

  Coady, J. & Pooley, R. J., 2010, Information Systems Development: Towards a Service Provision Society. Papadopoulos, G. A., Wojtkowski, W., Wojtkowski, G., Wrycza, S. & Zupancic, J. (eds.). p. 885-890 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Kelvin and Statistical mechanics

  Penrose, O., 2008, Kelvin: Life, Labours and Legacy. p. 253-277 25 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Knowledge Engineering and Planning for Social Human-Robot Interaction: A Case Study

  Petrick, R. P. A. & Foster, M. E., 2020, Knowledge Engineering Tools and Techniques for AI Planning. Vallati, M. & Kitchin, D. (eds.). Springer, p. 261-277 17 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Automated Planning 100%
  • Domains 66%
  • Case Study 33%
  • Natural Languages 33%
  • Artificial Intelligence 33%
  5 Citations (Scopus)

• Learning Covariance Functions

  Xu, Y., Choi, J., Dass, S. & Maiti, T., 2016, Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks. p. 19-26 (SpringerBriefs in Electrical and Computer Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Legacy to SOA Evolution: A Systematic Literature Review

  Khadka, R., Saeidi, A. M., Idu, A., Hage, J. & Jansen, S., Nov 2012, Migrating Legacy Applications: Challenges in Service Oriented Architecture and Cloud Computing Environments. Ionita, A. D., Litoiu, M. & Lewis, G. (eds.). IGI Global, p. 40-70 31 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Evolution 100%
  • Enterprise Architecture 85%
  • Research 57%
  • Approach 28%
  • Evaluation 28%
  40 Citations (Scopus)

• Lightweight functional session types

  Lindley, S. & Morris, J. G., 2017, Behavioural Types: from Theory to Tools English. River Publishers, p. 265-286 22 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Extensibility 100%
  • Type Inference 50%
  • Functional Programming 50%
  • Programming Language 50%
  • Parametric Polymorphism 50%
  17 Citations (Scopus)

• likelihood estimation for stochastic compartmental models using Markov chain methods

  Gibson, G. & Renshaw, E., 2000, Statistics and Computing.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Locally weighted autoregression

  Feng, Y. & Heiler, S., 2000, Institutional Arrangements for Global Economic Integration. Vosgerau, H-J. (ed.). Palgrave Macmillan, p. 371-388 18 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Medical Applications of Cartesian Genetic Programming

  Smith, S. L. & Lones, M. A., 2018, Inspired by Nature. Stepney, S. & Adamatzky, A. (eds.). Springer, p. 247-266 20 p. (Emergence, Complexity and Computation; vol. 28).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Genetic Programming 100%
  • Classification (Machine Learning) 50%
  • Medical Application 50%
  • Application 50%
  • Comprehension 50%

• Memory Efficient Prediction With Truncated Observations

  Xu, Y., Choi, J., Dass, S. & Maiti, T., 2016, Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks. p. 27-52 (SpringerBriefs in Electrical and Computer Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Metrics and evaluation of spoken dialogue systems

  Hastie, H., 2012, Data-Driven Methods for Adaptive Spoken Dialogue Systems : Computational Learning for Conversational Interfaces. Lemon, O. & Pietquin, O. (eds.). Springer, p. 131-150 20 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Microworlds, Objects First, Computational Thinking and Programming

  Michaelson, G. J., Aug 2018, Computational Thinking in the STEM Disciplines: Foundations and Research Highlights. Khine, M. (ed.). Springer, p. 31-48 18 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Microworld 100%
  • Computational Thinking 55%
  • Transitions 22%
  • Object Orientation 11%
  • Design Technique 11%
  7 Citations (Scopus)

• ML4PG in Computer Algebra Verification

  Heras, J. & Komendantskaya, E., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Springer, p. 354-358 5 p. (Lecture Notes in Computer Science; vol. 7961).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Computer 100%
  • Machine Learning 50%
  • Algorithms 50%
  • Efficient Algorithm 50%
  • Formalization 50%
  7 Citations (Scopus)

• Modelling biological invasions: chance, explanation, prediction

  Mollison, D., 1987, Quantitative Aspects of the Ecology of Biological Invasions. p. 675-693 19 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Biological Product 100%
  • Element 100%
  • Scientific Modelling 100%
  • Weakness 50%
  • Competition 50%
  71 Citations (Scopus)

• Moving beyond Objective Testing in Online Assessment

  Ashton, H. S., Beevers, C., Milligan, C., Thomas, R. & Youngson, M. A., Jul 2005, Chapter V111 in Online Assessment and Measurement: Case studies from Higher Education, K-12 and Corporate. p. 116-128 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  3 Citations (Scopus)

• Multimodal Action Recognition

  Jia, C., Pang, W. & Fu, Y., 2015, Human Activity Recognition and Prediction. Fu, Y. (ed.). Switzerland: Springer, p. 71-85 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Narrative Structure of Mathematical Tents

  Kamareddine, F. D., Maarek, M., Retel, K. & Wells, J. B., 2007, Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Vol. 4573. p. 296-312 (Lecture Notes in Computer Science; vol. 4573).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Neural network learning in a travel reservation domain.

  De Wilde, P. & Aboulenien, H., 2000, In Lakhmi Jain and Anna Maria Fanelli, editors, Recent Advances. Vol. 7. p. 213-228 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Neural Networks for Proof-Pattern Recognition

  Komendantskaya, E. & Lichota, K., 2012, Artificial Neural Networks and Machine Learning – ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II. Villa, A. E. P., Duch, W., Érdi, P., Masulli, F. & Palm, G. (eds.). Springer, p. 427-434 8 p. (Lecture Notes in Computer Science; vol. 7553).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Pattern Recognition 100%
  • Algorithms 50%
  • Backpropagation 50%
  • Feature Vector 50%
  • Programs 50%
  1 Citation (Scopus)

• Neurons or Symbols: Why does OR Remain Exclusive?

  Komendantskaya, E., 2009, IJCCI 2009 - Proceedings of the International Joint Conference on Computational Intelligence, Funchal, Madeira, Portugal, October 5-7, 2009. Dourado Correia, A., Rosa, A. C. & Madani, K. (eds.). INSTICC Press , p. 502-507 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Networks 100%
  • Computational Logic 66%
  • Computation 33%
  • Interdisciplinary 33%
  • Adaptive Behavior 33%
  1 Citation (Scopus)

• Neuro-symbolic Representation of Logic Programs Defining Infinite Sets

  Komendantskaya, E., Broda, K. & Garcez, A. DA., 2010, Artificial Neural Networks - ICANN 2010: 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I. Diamantaras, K., Duch, W. & Iliadis, L. S. (eds.). Springer, p. 301-304 4 p. (Lecture Notes in Computer Science; vol. 6352).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Programs 100%
  • Recursive Program 50%
  • Inductive Definition 50%
  • Representation 50%
  1 Citation (Scopus)

• New Efficient Spatial Model with Built-In Gaussian Markov Random Fields

  Xu, Y., Choi, J., Dass, S. & Maiti, T., 2016, Bayesian Prediction and Adaptive Sampling Algorithms for Mobile Sensor Networks. p. 77-90 (SpringerBriefs in Electrical and Computer Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter