King's College London

Research portal

Informatics

Organisational unit: Department

YearTypeCountFull text
2018Show types176463
Working paper11
Other contribution14
Review article110
Letter35
Editorial24
Conference paper415
Conference article1
Article79257
Poster abstract2
Other chapter contribution24
Meeting abstract43
Conference paper70146
Conference contribution14
Chapter510
2017Show types4221197
Pre-print12
Other contribution21
Article13
Review article38
Poster abstract11
Meeting abstract33
Editorial612
Conference paper28
Article196665
Poster abstract23
Other chapter contribution54123
Meeting abstract53
Conference paper127317
Chapter1645
Commissioned report12
Book21
2016Show types4411250
Other contribution1
Review article12
Meeting abstract11
Letter27
Editorial613
Conference paper1548
Book/Film/Article review12
Article215641
Other chapter contribution826
Conference paper159432
Chapter2768
Book48
Anthology12
2015Show types361823
Other contribution1
Meeting abstract1
Letter11
Editorial23
Conference paper926
Article158393
Other chapter contribution512
Meeting abstract21
Conference paper155333
Chapter2346
Book36
Anthology12
2014Show types302565
Patent1
Special issue12
Review article25
Literature review14
Letter24
Editorial510
Conference paper35
Article146290
Poster abstract1
Other chapter contribution510
Meeting abstract1
Foreword/postscript23
Conference paper115197
Chapter1432
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 types249460
Working paper1
Patent2
Literature review35
Poster abstract12
Meeting abstract62
Editorial711
Conference paper12
Article119240
Poster abstract1
Other chapter contribution34
Meeting abstract12
Conference paper95182
Chapter910
2011Show types235329
Patent1
Literature review35
Meeting abstract3
Editorial12
Conference paper34
Article115191
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 types334323
Patent2
Special issue14
Literature review1
Editorial713
Conference paper1517
Article129146
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. 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

  2. Accepted/In press

    The bimodal logic of commuting difference operators is decidable

    Hampson, C. S. 26 Aug 2018 (Accepted/In press) Advances in Modal Logic. (Advances in Modal Logic)

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

  3. Blackbox, Five Years On: An Evaluation of a Large-scale Programming Data Collection Project

    Brown, N. C. C., Altadmri, A., Sentance, S. & Kölling, M. 13 Aug 2018 ACM International Computing Education Research Conference. 2018 ed. ACM, 9 p.

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

  4. Pattern Matching and Consensus Problems on Weighted Sequences and Profiles

    Kociumaka, T., Pissis, S. P. & Radoszewski, J. 10 Aug 2018 In : THEORY OF COMPUTING SYSTEMS.

    Research output: Contribution to journalArticle

  5. Multiday EMG-Based Classification of Hand Motions with Deep Learning Techniques

    Ur rehman, M. Z., Waris, A., Gilani, S. O., Jochumsen, M., Niazi, I. K., Jamil, M., Farina, D. & Kamavuako, E. N. 1 Aug 2018 In : Sensors. 18, 8, 16 p., 2497

    Research output: Contribution to journalArticle

  6. Performance of Combined Surface and Intramuscular EMG for Classification of Hand Movements

    Ur rehman, M. Z., Gilani, S. O., Waris, A., Jochumsen, M., Niazi, I. K. & Kamavuako, E. N. 21 Jul 2018 IEEE Engineering in Medicine and Biology Society. International Conference of the IEEE Engineering In Medicine And Biology Society

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

  7. Accepted/In press

    Timed Vacuity

    Chockler, H., Guha, S. & Kupferman, O. 15 Jul 2018 (Accepted/In press) International Symposium on Formal Methods. Springer, (LNCS)

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

  8. Automated and Efficient Analysis of Administrative Temporal RBAC Policies with Role Hierarchies

    Ranise, S., Truong, A. & Vigano, L. 13 Jul 2018 In : Journal of Computer Security. p. 423-458 35 p.

    Research output: Contribution to journalArticle

  9. Stacked Sparse Autoencoders for EMG-Based Classification of Hand Motions: A Comparative Multi Day Analyses between Surface and Intramuscular EMG

    Rehman, M. Z. U., Gilani, S. O., Waris, A., Niazi, I. K., Slabaugh, G., Farina, D. & Kamavuako, E. N. 11 Jul 2018 In : Applied Sciences (Switzerland). 8, 7, 1126

    Research output: Contribution to journalArticle

  10. Privacy-Preserving Intersection Management for Autonomous Vehicles

    Kokciyan, N., Erdogan, M., Meral, T. H. S. & Yolum, P. 5 Jul 2018 In : CEUR Workshop Proceedings. 8 p.

    Research output: Contribution to journalConference paper

  11. The flip Markov chain for connected regular graphs

    Cooper, C., Dyer, M., Greenhill, C. & Handley, A. 4 Jul 2018 In : DISCRETE APPLIED MATHEMATICS.

    Research output: Contribution to journalArticle

  12. Consume Local: Towards Carbon Free Content Delivery

    Raman, A., Karamshuk, D., Sastry, N., Secker, A. & Chandaria, J. Jul 2018 International Conference on Distributed Computing Systems. IEEE

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

  13. Envelope-constrained H∞ filtering for nonlinear systems with quantization effects: The finite horizon case

    Ma, L., Wang, Z., Han, Q-L. & Lam, H-K. Jul 2018 In : AUTOMATICA. 93, p. 527-534 8 p.

    Research output: Contribution to journalArticle

  14. Accepted/In press

    Magnetic-field-inspired Navigation for Soft Continuum Manipulator

    Ataka, A., Shiva, A., Lam, H-K. & Althoefer, K. A. 29 Jun 2018 (Accepted/In press) Proceedings - IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE

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

  15. Effect of cytochrome CYP2C19 metabolizing activity on antidepressant response and side effects: Meta-analysis of data from genome-wide association studies

    Fabbri, C. , Tansey, K. E. , Perlis, R. H. , Hauser, J. , Henigsberg, N. , Maier, W. , Mors, O. , Placentino, A. , Rietschel, M. , Souery, D. , Breen, G. , Curtis, C. , Lee, S-H. , Newhouse, S. , Patel, H. , O'Donovan, M. , Lewis, G. , Jenkins, G. , Weinshilboum, R. M. , Farmer, A. & 7 others Aitchison, K. J., Craig, I., McGuffin, P., Schruers, K., Biernacka, J. M., Uher, R. & Lewis, C. M. 28 Jun 2018 In : European Neuropsychopharmacology.

    Research output: Contribution to journalArticle

  16. Towards Haptic Communications over the 5G Tactile Internet

    Antonakoglou, K., Xu, X., Steinbach, E., Mahmoodi, T. & Dohler, M. 28 Jun 2018 In : Ieee Communications Surveys And Tutorials. p. 1-27 27 p.

    Research output: Contribution to journalArticle

  17. Accepted/In press
  18. Accepted/In press

    Strategic Port Graph Rewriting: An Interactive Modelling Framework

    Fernandez, M. I., Kirchner, H. & Pinaud, B. 26 Jun 2018 (Accepted/In press) In : MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE.

    Research output: Contribution to journalArticle

  19. Accepted/In press

    Instantiating Metalevel Argumentation Frameworks

    Young, A. P., Kokciyan, N., Sassoon, I. K., Modgil, S. & Parsons, S. D. 25 Jun 2018 (Accepted/In press) Proceedings of the 7th International Conference on Computational Models of Argument. IOS Press, 12 p. 47

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

  20. Accepted/In press

    Reasoning with Metalevel Argumentation Frameworks in Aspartix

    Kokciyan, N., Sassoon, I. K., Young, A. P., Modgil, S. & Parsons, S. 25 Jun 2018 (Accepted/In press) Proceedings of the 7th International Conference on Computational Models of Argument. IOS Press, 2 p.

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

  21. Personalised Medication Planning using PDDL+

    Alaboud, F. K. M. & Coles, A. I. 24 Jun 2018 Proceedings of the Scheduling and Planning Applications woRKshop (SPARK): At the 28th International Conference on Automated Planning and Scheduling. Bernadini, S., Parkinson, S. & Talamadupula, K. (eds.).

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

  22. Temporal Planning While the Clock Ticks

    Cashmore, M., Coles, A. I., Cserna, B., Karpas, E., Magazzeni, D. & Ruml, W. 24 Jun 2018 Proceedings of the 28th International Conference on Automated Planning and Scheduling. AAAI Press

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

  23. iCLAP: shape recognition by combining proprioception and touch sensing

    Luo, S., Mou, W., Althoefer, K. & Liu, H. 23 Jun 2018 In : Autonomous Robots. 12 p.

    Research output: Contribution to journalArticle

  24. Alignment-free sequence comparison using absent words

    Charalampopoulos, P., Crochemore, M., Fici, G., Mercaş, R. & Pissis, S. P. 22 Jun 2018 In : INFORMATION AND COMPUTATION.

    Research output: Contribution to journalArticle

  25. Classical logic, argument and dialectic

    D'Agostino, M. & Modgil, S. 20 Jun 2018 In : ARTIFICIAL INTELLIGENCE. 262, p. 15-51 37 p.

    Research output: Contribution to journalArticle

  26. Accepted/In press
  27. Energy-Constrained SWIPT Networks: Enhancing Physical Layer Security With FD Self-Jamming

    Tang, X., Cai, Y., Deng, Y., Huang, Y., Yang, W. & Yang, W. 18 Jun 2018 In : IEEE Transactions on Information Forensics and Security.

    Research output: Contribution to journalArticle

  28. Accepted/In press

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

    Peroli, M., De Meo, F., Vigano, L. & Guardini, D. 18 Jun 2018 (Accepted/In press) In : SOFTWARE TESTING VERIFICATION AND RELIABILITY. 40 p.

    Research output: Contribution to journalArticle

  29. Accepted/In press

    A Formal Approach to Analyzing Cyber-Forensics Evidence

    Karafili, E., Cristani, M. & Vigano, L. 15 Jun 2018 (Accepted/In press) 23rd European Symposium on Research in Computer Security ( ESORICS). Springer‐Verlag Berlin Heidelberg, 20 p.

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

  30. Accepted/In press

    Stakeholders' views on a collaborative decision support system to promote multimorbidity self-management: barriers, facilitators and design implications

    Porat, T., Kokciyan, N., Sassoon, I., Young, A. P., Chapman, M., Ashworth, M., Modgil, S., Parsons, S., Sklar, E. & Curcin, V. 12 Jun 2018 (Accepted/In press) American Medical Informatics Association (AMIA) 2018 Annual Symposium. 2 p.

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

  31. Accepted/In press

    Conditional Uncertainty in Constraint Networks

    Zavatteri, M. & Vigano, L. 11 Jun 2018 (Accepted/In press) 10th International Conference, ICAART 2018, Funchal, Portugal, January 16-18, 2018, Revised Selected Papers. Springer‐Verlag Berlin Heidelberg, 31 p.

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

  32. Joint Altitude, Beamwidth, Location and Bandwidth Optimization for UAV-Enabled Communications

    Yang, Z., Pan, C., Shikh-Bahaei, M. R., Xu, W., Chen, M., Elkashlan, M. & Nallanathan, A. 11 Jun 2018 In : IEEE COMMUNICATIONS LETTERS. 4 p.

    Research output: Contribution to journalArticle

  33. Accepted/In press

    Online Edge Caching and Wireless Delivery in Fog-Aided Networks with Dynamic Content Popularity

    Azimi, S. M., Simeone, O., Sengupta, A. & Tandon, R. 6 Jun 2018 (Accepted/In press) In : IEEE Journal on Selected Areas in Communications.

    Research output: Contribution to journalArticle

  34. Accepted/In press

    Cache Placement in Two-Tier HetNets with Limited Storage Capacity: Cache or Buffer?

    Yang, Z., Pan, C., Pan, Y., Wu, Y., Xu, W., Shikh-Bahaei, M. R. & Chen, M. 5 Jun 2018 (Accepted/In press) In : IEEE Transactions on Communications.

    Research output: Contribution to journalArticle

  35. Accepted/In press

    Blockchain, IoT and Sidechains

    Ngubo, C. E., McBurney, P. J. & Dohler, M. 4 Jun 2018 (Accepted/In press) The 18th IEEE International Conference on Software Quality, Reliability and Security.

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

  36. VisGuides: A Forum for Discussing Visualization Guidelines

    Diehl, A., Abdul-Rahman, A., El-Assady, M., Bach, B., Keim, D. & Chen, M. 4 Jun 2018 Proceedings of EuroVis 2018 (Short Paper).

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

  37. Technical Debt in Model Transformation Specifications

    Lano, K. C. & Alfraihi, H. A. A. 1 Jun 2018 In : Lecture Notes in Computer Science.

    Research output: Contribution to journalConference paper

  38. A survey of model transformation design patterns in practice

    Lano, K., Kolahdouz-Rahimi, S., Yassipour-Tehrani, S. & Sharbaf, M. Jun 2018 In : Journal of Systems and Software. 140, p. 48-73 26 p.

    Research output: Contribution to journalArticle

  39. Selective-compliance based Lagrange model and multilevel non-collocated feedback control of a humanoid robot

    Spyrakos-Papastavridis, E., Tsagarakis, N. G., Dai, J. & Childs, P. R. N. Jun 2018 In : Transactions of the ASME Journal of Mechanisms and Robotics .

    Research output: Contribution to journalArticle

  40. Accepted/In press

    Explainable Security

    Vigano, L. & Magazzeni, D. 30 May 2018 (Accepted/In press) IJCAI/ECAI 2018 Workshop on Explainable Artificial Intelligence (XAI). 7 p.

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

  41. Resource-bounded Norm Monitoring in Multi-agent Systems

    Criado Pacheco, N. 30 May 2018 In : Journal Artificial Intelligence Research. 62, p. 153 192 p.

    Research output: Contribution to journalArticle

  42. Accepted/In press

    Symbol-Level Selective Full-Duplex Relaying with Power and Location Optimization

    Hou, J., Kadan Veedu, S. N., Yi, N., Ma, Y. & Shikh-Bahaei, M. R. 28 May 2018 (Accepted/In press) In : IEEE Transactions on Communications.

    Research output: Contribution to journalArticle

  43. The Geography of Online Dating Fraud

    Edwards, M., Suarez de Tangil Rotaeche, G. N., Peersman, C., Stringhini, G., Rashid, A. & Whitty, M. 24 May 2018 Workshop on Technology and Consumer Protection (ConPro).

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

  44. Accepted/In press

    Automating Provenance Capture in Software Engineering with UML2PROV

    Saenz-Adan, C., Moreau, L., Pérez, B., Miles, S. & García-Izquierdo, A. F. J. 22 May 2018 (Accepted/In press) IPAW'2018: 7th International Provenance and Annotation Workshop. Springer-Verlag Berlin Heidelberg

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

  45. Accepted/In press

    Efficient enumeration of non-equivalent squares in partial words with few holes

    Charalampopoulos, P., Crochemore, M., Iliopoulos, C. S., Kociumaka, T., Pissis, S. P., Radoszewski, J., Rytter, W. & Waleń, T. 21 May 2018 (Accepted/In press) In : JOURNAL OF COMBINATORIAL OPTIMIZATION. p. 1-22 22 p.

    Research output: Contribution to journalArticle

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