King's College London

Research portal

Informatics

Organisational unit: Department

YearTypeCountFull text
2019Show types3564
Conference paper11
Article1945
Meeting abstract11
Conference paper1317
Chapter1
2018Show types320864
Working paper34
Other contribution14
Review article212
Short survey16
Letter35
Editorial24
Conference paper723
Conference article1
Article155519
Poster abstract2
Other chapter contribution24
Meeting abstract43
Entry in encyclopedia/dictionary11
Conference paper118242
Conference contribution412
Chapter1223
Report1
Book12
2017Show types4381225
Pre-print12
Other contribution21
Article13
Review article38
Poster abstract11
Meeting abstract33
Editorial612
Conference paper414
Article200672
Poster abstract11
Other chapter contribution54127
Meeting abstract53
Conference paper131319
Conference contribution26
Chapter1948
Commissioned report12
Book43
2016Show types4481267
Other contribution1
Review article14
Meeting abstract11
Letter27
Editorial613
Conference paper1548
Book/Film/Article review12
Article218646
Other chapter contribution928
Conference paper161436
Conference contribution14
Chapter2768
Book48
Anthology12
2015Show types371833
Other contribution2
Meeting abstract1
Letter11
Editorial23
Conference paper1030
Article160395
Other chapter contribution512
Meeting abstract21
Conference paper158331
Chapter2652
Book36
Anthology12
2014Show types312583
Patent1
Special issue12
Review article25
Literature review14
Letter24
Editorial510
Conference paper35
Comment/debate11
Article147291
Poster abstract1
Other chapter contribution510
Meeting abstract1
Foreword/postscript23
Conference paper122211
Chapter1534
Book23
Anthology1
2013Show types280508
Working paper24
Pre-print24
Other contribution12
Literature review12
Meeting abstract12
Conference paper24
Comment/debate11
Article119238
Poster abstract2
Other chapter contribution48
Meeting abstract1
Foreword/postscript12
Entry in encyclopedia/dictionary1
Conference paper122216
Chapter1923
Book12
2012Show types251463
Working paper1
Patent2
Literature review35
Poster abstract12
Meeting abstract62
Editorial711
Conference paper12
Article120241
Poster abstract1
Other chapter contribution34
Meeting abstract12
Conference paper96184
Chapter910
2011Show types238333
Patent1
Literature review35
Meeting abstract3
Editorial12
Conference paper34
Article117193
Poster abstract1
Other chapter contribution33
Conference paper87105
Chapter1312
Report36
Commissioned report1
Book23
2010Show types332333
Working paper2
Patent1
Poster abstract2
Meeting abstract1
Letter11
Editorial59
Conference paper65
Article129180
Other chapter contribution33
Conference paper156110
Chapter1919
Report12
Commissioned report1
Book54
2009Show types335324
Patent2
Special issue14
Literature review1
Editorial713
Conference paper1517
Article130147
Other chapter contribution58
Meeting abstract12
Conference paper152131
Chapter92
Report2
Book10
2008Show types359342
Review article1
Literature review12
Letter12
Editorial914
Conference paper83
Article147188
Other chapter contribution32
Meeting abstract1
Conference paper156118
Chapter199
Commissioned report42
Book92
2007Show types296253
Working paper12
Meeting abstract1
Editorial34
Conference paper64
Article138186
Other chapter contribution2
Conference paper11949
Chapter147
Book121
2006Show types320259
Patent3
Literature review46
Editorial810
Conference paper6
Article126180
Other chapter contribution7
Conference paper14359
Chapter112
Report12
Book11
2005Show types308215
Patent3
Literature review1
Meeting abstract3
Editorial32
Article137175
Other chapter contribution1
Conference paper14136
Chapter4
Book152
2004Show types355202
Letter22
Editorial43
Conference paper42
Comment/debate12
Article109146
Other chapter contribution72
Meeting abstract1
Conference paper20843
Chapter6
Commissioned report22
Book11
2003Show types326207
Patent3
Literature review33
Letter4
Editorial1
Conference paper54
Article107134
Other chapter contribution3
Conference paper17748
Chapter914
Commissioned report12
Book132
2002Show types289135
Working paper1
Patent3
Other contribution3
Literature review1
Editorial1
Conference paper42
Article88104
Conference paper16022
Chapter145
Book142
2001Show types204106
Patent3
Conference paper2
Article7070
Other chapter contribution22
Entry in encyclopedia/dictionary1
Conference paper10518
Chapter1114
Book102
2000Show types13067
Literature review1
Editorial1
Conference paper1
Article5155
Other chapter contribution1
Conference paper6210
Chapter52
Book8
1999Show types3922
Article1919
Conference paper203
1998Show types4525
Other contribution12
Literature review1
Letter1
Article1617
Other chapter contribution1
Conference paper256
1997Show types235
Article115
Conference paper11
Report1
1996Show types236
Article6
Conference paper166
Book1
1995Show types147
Article67
Other chapter contribution1
Conference paper7
1994Show types64
Article14
Conference paper5
1993Show types7
Other contribution1
Article1
Conference paper5
1992Show types22
Letter12
Conference paper1
1991Show types1
Article1
1989Show types32
Article12
Conference paper2
1988Show types1
Conference paper1
1987Show types3
Conference paper3
1986Show types5
Article1
Conference paper4
1985Show types1
Conference paper1
  1. Personalized Medication and Activity Planning in PDDL+

    Alaboud, F. K. & Coles, A. I., 11 Jul 2019, Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  2. Replanning for Situated Robots

    Cashmore, M., Coles, A. I., Cserna, B., Karpas, E., Magazzeni, D. & Ruml, W., 11 Jul 2019, Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  3. Accepted/In press

    Future War Crimes

    Homayounnejad, M., Overill, R. E. & Gow, A. J. W., 21 Feb 2019, (Accepted/In press) Routledge Handbook of War, Law and Technology. Gow, J., Dijxhoorn, E., Verdirame, G. & Kerr, R. (eds.). 1st ed. Routlege

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Accepted/In press
  5. Reliable Transmission of Short Packets through Queues and Noisy Channels under Latency and Peak-Age Violation Guarantees

    Devassy, R., Durisi, G., Ferrante, G. C., Simeone, O. & Uysal, E., 12 Feb 2019, In : IEEE Journal on Selected Areas in Communications.

    Research output: Contribution to journalArticle

  6. Accepted/In press

    Distributed Foresighted Energy Management in Smart-Grid-Powered Cellular Networks

    Zhang, X., Nakhai, M. R., Zheng, G., Lambotharan, S. & Chambers, J., 9 Feb 2019, (Accepted/In press) In : IEEE Transactions on Vehicular Technology. VT-2018-01053.R2.

    Research output: Contribution to journalArticle

  7. Accepted/In press

    Deceptive Storytelling in Artificial Dialogue Games

    Sarkadi, S., McBurney, P. J. & Parsons, S. D., 5 Feb 2019, (Accepted/In press) Proceedings of the AAAI 2019 Spring Symposium : Story-Enabled Intelligence. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  8. Accepted/In press

    A Calibrated Learning Approach to Distributed Power Allocation in Small Cell Networks

    Zhang, X., Nakhai, M. R., Zheng, G., Lambotharan, S. & Ottersten, B., 1 Feb 2019, (Accepted/In press) In : 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2019).

    Research output: Contribution to journalArticle

  9. Motion Artifact Sensor Using Strain Gauges

    Rana, S., Pricci, R. L., Kosmas, P. & Kallos, E., 1 Feb 2019, In : IEEE Sensors Letters. 3, 2, p. 1-4

    Research output: Contribution to journalArticle

  10. Allocating Planning Effort when Actions Expire

    Shperberg, S., Coles, A. I., Cserna, B., Karpas, E., Ruml, W. & Shimony, S., 27 Jan 2019, Proceedings of the Thirty Third AAAI Conference on Artificial Intelligence. AAAI Press

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  11. Efficient Temporal Planning Using Metastates

    Coles, A. J., Coles, A. I. & Beck, J. C., 27 Jan 2019, Proceedings of the Thirty Third AAAI Conference on Artificial Intelligence. AAAI Press

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  12. Efficiently Reasoning with Interval Constraints in Forward Search Planning

    Coles, A. J., Coles, A. I., Martinez Munoz, M., Savas, O. E., Delfa, J. M., de la Rosa, T., E-Martín, Y. & García Olaya, A., 27 Jan 2019, Proceedings of the Thirty Third AAAI Conference on Artificial Intelligence. AAAI Press

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  13. Chronic high-dose beetroot juice supplementation improves time trial performance of well-trained cyclists in normoxia and hypoxia

    Rokkedal-Lausch, T., Franch, J., Poulsen, M. K., Thomsen, L. P., Weitzberg, E., Kamavuako, E. N., Karbing, D. S. & Larsen, R. G., 24 Jan 2019, In : NITRIC OXIDE. 85, p. 44-52 9 p.

    Research output: Contribution to journalArticle

  14. Interference Mitigation in Large-Scale Multiuser Molecular Communication

    Dissanayake, M. B., Deng, Y., Nallanathan, A., Elkashlan, M. & Mitra, U., 23 Jan 2019, In : IEEE TRANSACTIONS ON COMMUNICATIONS.

    Research output: Contribution to journalArticle

  15. Accepted/In press

    Integrated Use of Licensed- and Unlicensed-Band mmWave Radio Technology in 5G and Beyond

    Lu, X., Sopin, E., Petrov, V., Galinina, O., Moltchanov, D., Ageev, K., Andreev, S., Koucheryavy, Y., Samouylov, K. & Dohler, M., 21 Jan 2019, (Accepted/In press) In : IEEE Access.

    Research output: Contribution to journalArticle

  16. Enabling grasp action: Generalized quality evaluation of grasp stability via contact stiffness from contact mechanics insight

    Dong, H., Qiu, C., Prasad, D. K., Pan, Y., Dai, J. & Chen, I. M., 18 Jan 2019, In : Mechanism and Machine Theory. 134, p. 625-644 20 p.

    Research output: Contribution to journalArticle

  17. Accepted/In press

    TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time

    Pendlebury, F., Pierazzi, F., Jordaney, R., Kinder, J. & Cavallaro, L., 18 Jan 2019, (Accepted/In press) USENIX Security Symposium.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  18. Accepted/In press

    Diagnostics as a Hybrid Reasoning Processes: from Logic Model to Software Design

    Cristani, M., Olivieri, F., Tomazzoli, C., Vigano, L. & Zorzi, M., 17 Jan 2019, (Accepted/In press) In : CIT. Journal of Computing and Information Technology. 26 p.

    Research output: Contribution to journalArticle

  19. Non-Orthogonal Multiplexing of Ultra-Reliable and Broadband Services in Fog-Radio Architectures

    Kassab, R., Simeone, O., Popovski, P. & Islam, T., 15 Jan 2019, In : IEEE Access. 15 p.

    Research output: Contribution to journalArticle

  20. Accepted/In press

    Emoji and Chernoff - A Fine Balancing Act or are we Biased?

    Colasanti, R., Borgo, R. & Jones, M. W., 14 Jan 2019, (Accepted/In press) IEEE Pacific Visualization Symposium (PacificVis 2019) . IEEE, 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  21. Accepted/In press

    Limiting the Influence to Vulnerable Users in Social Networks: A Ratio Perspective

    Chen, H., Loukidis, G., Fan, J. & Chan, H., 14 Jan 2019, (Accepted/In press) In : Advanced Information Networking and Applications.

    Research output: Contribution to journalConference paper

  22. Accepted/In press

    Live Human-Robot Interactive Public Demonstrations with Automatic Emotion and Personality Prediction

    Gunes, H., Celiktutan, O. & Sariyanidi, E., 14 Jan 2019, (Accepted/In press) In : Phil Trans Roy Soc.

    Research output: Contribution to journalArticle

  23. An Expectation–Maximization-Based IVA Algorithm for Speech Source Separation Using Student’s t Mixture Model Based Source Priors

    Rafique, W., Chambers, J. & Sunny, A. I., 10 Jan 2019, In : Acoustics . 1, 1, p. 119-136 20 p.

    Research output: Contribution to journalArticle

  24. Accepted/In press

    Explaining Cybersecurity with Films and the Arts

    Vigano, L., 6 Jan 2019, (Accepted/In press) Mathematics and Culture 7. 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  25. On-line weighted pattern matching

    Charalampopoulos, P., Iliopoulos, C. S., Pissis, S. P. & Radoszewski, J., 3 Jan 2019, In : INFORMATION AND COMPUTATION.

    Research output: Contribution to journalArticle

  26. Inferring Human Knowledgeability from Eye Gaze in Mobile Learning Environments

    Celiktutan, O. & Demiris, Y., Jan 2019, European Conference on Computer Vision Workshops.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  27. Joint Blocklength and Location Optimization for URLLC-enabled UAV Relay Systems

    Pan, C., Ren, H., Deng, Y., Elkashlan, M. & Nallanathan, A., 2019, In : IEEE COMMUNICATIONS LETTERS.

    Research output: Contribution to journalArticle

  28. Priority Inheritance Protocol Proved Correct

    Urban, C., 2019, In : JOURNAL OF AUTOMATED REASONING.

    Research output: Contribution to journalArticle

  29. Accepted/In press

    Robustness Envelopes for Temporal Plans

    Magazzeni, D., Cashmore, M., Cimatti, A., Micheli, A. & Zehtabi, P., 2019, (Accepted/In press) Proceedings of AAAI Conference on Artificial Intelligence (AAAI 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  30. Accepted/In press

    Self-Control in Cyberspace: Applying Dual Systems Theory to a Review of Digital Self-Control Tools

    Lyngs, U., Lukoff, K., Slovak, P., Binns, R., Slack, A., Inzlicht, M., Van Kleek, M. & Shadbolt, N., 2019, (Accepted/In press) Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. ACM New York, NY, USA, 18 p. (Proceedings of the CHI Conference on Human Factors in Computing Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  31. Accepted/In press

    ‘I make up a silly name’: Understanding Children’s Perception of Privacy Risks Online

    Zhao, J., Wang, G., Dally, C., Slovak, P., Childs, J., Van Kleek, M. & Shadbolt, N., 2019, (Accepted/In press) Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. ACM New York, NY, USA, 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  32. Accepted/In press

    The 'Robots Don't Rape' Controversy

    Homayounnejad, M. & Overill, R. E., 28 Dec 2018, (Accepted/In press) Routledge Handbook of War, Law and Technology. Gow, J., Dijxhoorn, E., Verdirame, G. & Kerr, R. (eds.). 1st ed. Routlege

    Research output: Chapter in Book/Report/Conference proceedingChapter

  33. Accepted/In press

    Prospecting for Periods with LSST – Low Mass X-ray Binaries as a Test Case

    Johnson, M. A. C., Gandhi, P., Chapman, A. P., Moreau, L., Charles, P. A., Clarkson, W. I. & Hill, A. B., 14 Dec 2018, (Accepted/In press) In : MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY.

    Research output: Contribution to journalArticle

  34. How data science can advance mental health research

    the MQ Data Science group, Russ, T. C., Woelbert, E., Davis, K. A. S., Hafferty, J. D., Ibrahim, Z., Inkster, B., John, A., Lee, W., Maxwell, M., McIntosh, A. M., Stewart, R., Anderson, M., Aylett, K., Bourke, S., Burhouse, A., Callard, F., Chapman, K., Cowley, M., Cusack, J. & 31 othersDelgadillo, J., Dix, S., Dobson, R., Donohoe, G., Dougall, N., Downs, J., Fisher, H., Folarin, A., Foley, T., Geddes, J., Globerman, J., Hassan, L., Hayes, J., Hodges, H., Jacob, E., Jacobs, R., Joyce, C., Kaur, S., Kerz, M., Kirkbride, J., Leavey, G., Lewis, G., Lloyd, K., Matcham, W., McCloskey, E., McQuillin, A., Delgado, T. N., Newsome, C., Nicodemus, K., Smith, D. & Stewart, R., 10 Dec 2018, In : Nature Human Behaviour.

    Research output: Contribution to journalArticle

  35. Softwarization and virtualization in 5G mobile networks: benefits, trends and challenges

    Condoluci, M. & Mahmoodi, T., 9 Dec 2018, In : COMPUTER NETWORKS. 146, p. 65-84

    Research output: Contribution to journalArticle

  36. A formalisation and prototype implementation of argumentation for statistical model selection

    Sassoon, I., Zillessen, S., Keppens, J. & McBurney, P., 6 Dec 2018, In : Argument & Computation. 10, 1, p. 83-103

    Research output: Contribution to journalArticle

  37. On the Formal Semantics of Theory of Mind in Agent Communication

    Panisson, A. R., Sarkadi, S., McBurney, P. J., Parsons, S. D. & Bordini, R. H., 6 Dec 2018, Proceedings of the 6th International Conference on Agreement Technologies: co-located with EUMAS 2018. 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  38. Towards an Approach for Modelling Uncertain Theory of Mind in Multi-Agent Systems

    Sarkadi, S., Panisson, A. R., Bordini, R. H., McBurney, P. J. & Parsons, S. D., 6 Dec 2018, Proceedings of the 6th International Conference on Agreement Technologies: co-located with EUMAS 2018. 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  39. The CONSULT system: Demonstration

    Essers, K., Chapman, M., Kokciyan, N., Sassoon, I., Porat, T., Balatsoukas, P., Young, P., Ashworth, M., Curcin, V., Modgil, S., Parsons, S. & Sklar, E. I., 4 Dec 2018, HAI 2018 - Proceedings of the 6th International Conference on Human-Agent Interaction. Association for Computing Machinery, Inc, p. 385-386 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  40. Accepted/In press

    Value-driven Collaborative Privacy Decision Making

    Mosca, F., Such Aparicio, J. M. & McBurney, P. J., 3 Dec 2018, (Accepted/In press) Proceedings of AAAI Spring Symposium 2019: PAL: Privacy-Enhancing Artificial Intelligence and Language Technologies.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  41. An immunologically relevant rodent model demonstrates safety of therapy using a tumour-specific IgE

    Josephs, D. H., Nakamura, M., Bax, H. J., Dodev, T. S., Muirhead, G., Saul, L., Karagiannis, P., Ilieva, K. M., Crescioli, S., Gazinska, P., Woodman, N., Lomardelli, C., Kareemaghay, S., Selkirk, C., Lentfer, H., Barton, C., Canevari, S., Figini, M., Downes, N., Dombrowicz, D. & 8 othersCorrigan, C. J., Nestle, F. O., Jones, P. S., Gould, H. J., Blower, P. J., Tsoka, S., Spicer, J. F. & Karagiannis, S. N., 1 Dec 2018, In : Allergy. 73, 12, p. 2328-2341 14 p., doi: 10.1111/all.13455.

    Research output: Contribution to journalArticle

  42. Distinct patterns of variation in the distribution of knee pain

    Boudreau, S. A., Royo, A. C., Matthews, M., Graven-Nielsen, T., Kamavuako, E. N., Slabaugh, G., Thorborg, K., Vicenzino, B. & Rathleff, M. S., 1 Dec 2018, In : Scientific Reports. 8, 1, 16522.

    Research output: Contribution to journalArticle

  43. Fast Average-Case Pattern Matching on Weighted Sequences

    Barton, C., Liu, C. & Pissis, S. P., 1 Dec 2018, In : INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. 29, 8, p. 1331-1343 13 p.

    Research output: Contribution to journalArticle

  44. Grasp analysis and optimal design of robotic fingertip for two tendon-driven fingers

    Dong, H., Asadi, E., Qiu, C., Dai, J. & Chen, I. M., 1 Dec 2018, In : Mechanism and Machine Theory. 130, p. 447-462 16 p.

    Research output: Contribution to journalArticle

  45. Dispersion processes

    Cooper, C., McDowell, A., Radzik, T., Rivera Aburto, N. & Shiraga, T., Dec 2018, In : RANDOM STRUCTURES AND ALGORITHMS. 53, 4, p. 561-585

    Research output: Contribution to journalArticle

  46. MobSTer: A Model-based Security Testing Framework for Web Applications

    Peroli, M., De Meo, F., Vigano, L. & Guardini, D., Dec 2018, In : SOFTWARE TESTING VERIFICATION AND RELIABILITY. 28, 8, 40 p., e1685.

    Research output: Contribution to journalArticle

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

View graph of relations

Search within the list

Refine results

Language

Language

Publication year

Publication year

Full text

Full text

Meeting and poster abstracts

Meeting and poster abstracts

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454