King's College London

Research portal

Informatics

Organisational unit: Department

YearTypeCountFull text
2019Show types36
Conference paper36
2018Show types295790
Working paper34
Other contribution14
Review article212
Short survey16
Letter35
Editorial24
Conference paper515
Conference article1
Article147483
Poster abstract2
Other chapter contribution24
Meeting abstract43
Entry in encyclopedia/dictionary11
Conference paper107217
Conference contribution28
Chapter1122
Book12
2017Show types4311216
Pre-print12
Other contribution21
Article13
Review article38
Poster abstract11
Meeting abstract33
Editorial612
Conference paper28
Article196667
Poster abstract11
Other chapter contribution54127
Meeting abstract53
Conference paper133327
Chapter1948
Commissioned report12
Book33
2016Show types4431256
Other contribution1
Review article14
Meeting abstract11
Letter27
Editorial613
Conference paper1548
Book/Film/Article review12
Article216642
Other chapter contribution928
Conference paper159433
Chapter2768
Book48
Anthology12
2015Show types365829
Other contribution1
Meeting abstract1
Letter11
Editorial23
Conference paper926
Article158393
Other chapter contribution512
Meeting abstract21
Conference paper156333
Chapter2652
Book36
Anthology12
2014Show types310580
Patent1
Special issue12
Review article25
Literature review14
Letter24
Editorial510
Conference paper35
Article147291
Poster abstract1
Other chapter contribution510
Meeting abstract1
Foreword/postscript23
Conference paper121209
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 types250461
Working paper1
Patent2
Literature review35
Poster abstract12
Meeting abstract62
Editorial711
Conference paper12
Article120241
Poster abstract1
Other chapter contribution34
Meeting abstract12
Conference paper95182
Chapter910
2011Show types237331
Patent1
Literature review35
Meeting abstract3
Editorial12
Conference paper34
Article117193
Poster abstract1
Other chapter contribution33
Conference paper86103
Chapter1312
Report36
Commissioned report1
Book23
2010Show types330329
Working paper2
Patent1
Poster abstract2
Meeting abstract1
Letter11
Editorial59
Conference paper65
Article128178
Other chapter contribution33
Conference paper155108
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 types293252
Working paper12
Meeting abstract1
Editorial34
Conference paper64
Article138186
Other chapter contribution2
Conference paper11949
Chapter116
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 types12965
Literature review1
Editorial1
Conference paper1
Article5155
Other chapter contribution1
Conference paper618
Chapter52
Book8
1999Show types3922
Article1919
Conference paper203
1998Show types4321
Other contribution12
Literature review1
Letter1
Article1617
Other chapter contribution1
Conference paper232
1997Show types235
Article115
Conference paper11
Report1
1996Show types224
Article6
Conference paper154
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. 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

  2. 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

  3. 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

  4. 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

  5. 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 others Delgadillo, 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. Soft-TTL: Time-Varying Fractional Caching

    Goseling, J. & Simeone, O. 23 Nov 2018 In : IEEE Networking Letters.

    Research output: Contribution to journalArticle

  13. Function Summarization Modulo Theories

    Asadi, S., Blicha, M., Fedyukovich, G., Hyyvarinen, A., Even Mendoza, K., Sharygina, N. & Chockler, H. 16 Nov 2018 LPAR-22: 22nd International Conference on Logic for Programming, Articial Intelligence and Reasoning. Vol. 57, p. 56-75 (EPiC Series in Computing)

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

  14. Lookahead-Based SMT Solving

    Hyyvarinen, A., Marescotti, M., Sadigova, P., Chockler, H. & Sharygina, N. 16 Nov 2018 LPAR-22: LPAR-22: 22ND INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING. EasyChair

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

  15. In preparation
  16. A New Design of Membership-Function-Dependent Controller for T-S Fuzzy Systems Under Imperfect Premise Matching

    Zhang, C., Lam, H. K., Qiu, J., Liu, C. & Chen, Q. 9 Nov 2018 In : IEEE Transactions on Fuzzy Systems.

    Research output: Contribution to journalArticle

  17. Ranking the Impact of Different Tests on a Hypothesis in a Bayesian Network

    Overill, R. E., Schneps, L. & Lagnado, D. 7 Nov 2018 In : Entropy. 20, 11, p. 856 - 870 15 p., 357847

    Research output: Contribution to journalArticle

  18. Conditional Simple Temporal Networks with Uncertainty and Decisions

    Zavatteri, M. & Viganò, L. 6 Nov 2018 In : Theoretical Computer Science. 48 p.

    Research output: Contribution to journalArticle

  19. Explaining Reputation Assessments

    Nunes, I., Taylor, P., Barakat, L., Griffiths, N. & Miles, S. 3 Nov 2018 In : INTERNATIONAL JOURNAL OF HUMAN COMPUTER STUDIES.

    Research output: Contribution to journalArticle

  20. Multi-Tenant C-RAN With Spectrum Pooling: Downlink Optimization Under Privacy Constraints

    Park, S., Simeone, O. & Shamai, S. Nov 2018 In : IEEE Transactions on Vehicular Technology. 67, 11, p. 10492-10503

    Research output: Contribution to journalArticle

  21. On the Origins of Memes by Means of Fringe Web Communities

    Zannettou, S., Caulfield, T., Blackburn, . J., De Cristofaro, E., Sirivianos, M., Stringhini, G. & Suarez-Tangil, G. 31 Oct 2018 ACM Internet Measurement Conference.

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

  22. Enhanced sparse Bayesian learning-based channel estimation with optimal pilot design for massive MIMO-OFDM systems

    Al-Salih, H., Nakhai, M. R. & Le, T. A. 30 Oct 2018 In : IET Communications. 12, 17, p. 2174-2180 7 p.

    Research output: Contribution to journalArticle

  23. Accepted/In press

    Alpha-Beta Privacy

    Mödersheim, S. A. & Vigano, L. 26 Oct 2018 (Accepted/In press) In : ACM Transactions on Privacy and Security. 35 p.

    Research output: Contribution to journalArticle

  24. Combining social choice theory and argumentation: Enabling collective decision making

    Ganzer Ripoll, J., Criado Pacheco, N., Lopez-Sanchez, M., Parsons, S. D. & Rodriguez-Aguilar, J. 25 Oct 2018 In : GROUP DECISION AND NEGOTIATION. 47 p.

    Research output: Contribution to journalArticle

  25. Goal-Reasoning in StarCraft: Brood War through Multilevel Planning

    Martinez Munoz, M. & Luis, N. 25 Oct 2018 Conferencia de la Asociación Española para la Inteligencia Artificial. XVIII ed. Granada, 6 p.

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

  26. VISupply: A Supply Chain Framework for Visualization Guidelines

    Engelke, U., Abdul-Rahman, A. & Chen, M. 18 Oct 2018 4th International Symposium on Big Data Visual and Immersive Analytics.

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

  27. Design and experimental validation of a multiple-frequency microwave tomography system employing the DBIM-TwIST algorithm

    Ahsan, S., Guo, Z., Miao, Z., Sotiriou, I., Koutsoupidou, M., Kallos, E., Palikaras, G. & Kosmas, P. 16 Oct 2018 In : Sensors (Switzerland). 18, 10, 3491

    Research output: Contribution to journalArticle

  28. Accepted/In press

    Joint Power and Channel Allocation for D2D Underlaying Cellular Networks with Rician Fading

    Wang, Y., Chen, M., Huang, N., Yang, Z. & Pan, Y. 12 Oct 2018 (Accepted/In press) In : IEEE COMMUNICATIONS LETTERS.

    Research output: Contribution to journalArticle

  29. Event-Triggered Fuzzy Filtering for Nonlinear Dynamic Systems via Reduced-Order Appraoch

    Su, X., Wen, Y., Shi, P. & Lam, H. K. 4 Oct 2018 In : IEEE Transactions on Fuzzy Systems.

    Research output: Contribution to journalArticle

  30. Accepted/In press

    A Framework for Teaching Impedance Behaviours by Combining Human and Robot ‘Best Practice’

    Zhao, Y. & Howard, M. J. W. 1 Oct 2018 (Accepted/In press) IEEE International Conference on Intelligent Robots and Systems. IEEE

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

  31. The ERGO framework and its use in planetary/orbital scenarios

    Ocón, J., Colmenero, F., Estremera, J., Buckley, K., Alonso, M., Heredia, E., Garcia, J., Coles, A. I., Coles, A. J., Martinez Munoz, M., Savas, O. E., Pommerening, F., Keller, T., Karachalios, S., Woods, M., Dragomir, I., Bensalem, S., Dissaux, P. & Schach, A. 1 Oct 2018 Proceedings of the 69th International Astronautical Congress (IAC).

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

  32. Accepted/In press

    Angle Domain Channel Estimation in Hybrid MmWave Massive MIMO Systems

    Fan, D., Gao, F., Liu, Y., Deng, Y., Wang, G., Zhong, Z. & Nallanathan, A. 24 Sep 2018 (Accepted/In press) In : IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS.

    Research output: Contribution to journalArticle

  33. Optimal Piecewise Linear Regression Algorithm for QSAR Modelling

    Cardoso-Silva, J., Papadatos, G., Papageorgiou, L. G. & Tsoka, S. 24 Sep 2018 In : Molecular Informatics.

    Research output: Contribution to journalArticle

  34. Accepted/In press
  35. Insights into the influence of specific splicing events on the structural organization of LRRK2

    Vlachakis, D., Labrou, N. E., Iliopoulos, C., Hardy, J., Lewis, P. A., Rideout, H. & Trabzuni, D. 16 Sep 2018 In : International Journal of Molecular Sciences. 19, 9, 2784

    Research output: Contribution to journalArticle

  36. Accepted/In press

    Basic Cyber Hygiene: Does it work?

    Such, J. M., Ciholas, P., Rashid, A., Vidler, J. & Seabrook, T. 15 Sep 2018 (Accepted/In press) In : COMPUTER.

    Research output: Contribution to journalArticle

  37. Virtual Network Function Service Chaining Anomaly Detection

    Blaise, A., Wong, S. & Aghvami, A. H. 13 Sep 2018 2018 25th International Conference on Telecommunications, ICT 2018. Institute of Electrical and Electronics Engineers Inc., p. 411-415 5 p. 8464860

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

  38. On overabundant words and their application to biological sequence analysis

    Almirantis, Y., Charalampopoulos, P., Gao, J., Iliopoulos, C. S., Mohamed, M., Pissis, S. P. & Polychronopoulos, D. 12 Sep 2018 In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

Previous 1 2 3 4 5 6 7 8 ...120 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