1. 2014
  2. Published

    Generating Matrix Identities and Proof Complexity

    Li, F. & Tzameret, I. 2014 p. 1-46 46 p.

    Research output: Contribution to conferencePaper

  3. Published

    GO: On the Geographies of Gunnar Olsson Review

    Eades, G. 2014 In : The Canadian Geographer.

    Research output: Contribution to journalBook/Film/Article review

  4. Published

    Haa Leelk'w Has Aani Saax'u/Our Grandparents Names on the Land Review

    Eades, G. 2014 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

  5. Published

    Half-integrality, LP-branching and FPT Algorithms

    Wahlström, M. 2014 SODA. Chekuri, C. (ed.). SIAM, p. 1762-1781 20 p.

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

  6. Published

    Heterogeneous and Asynchronous Networks of Timed Systems

    Fiadeiro, J. L. & Lopes, A. 2014 Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014. Springer, Vol. 8411, p. 79-93 15 p. (Lecture Notes in Computer Science)

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

  7. Published

    Heterogeneous Timed Machines

    Delahaye, B., Fiadeiro, J. L., Legay, A. & Lopes, A. 2014 Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014.. Springer, Vol. 8687, p. 115-132 18 p. (Lecture Notes in Computer Science)

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

  8. Published

    Investigation into the annotation of protocol sequencing steps in the Sequence Read Archive

    AlNasir, J. & Shanahan, H. 2014 In : GigaScience. 4, 23

    Research output: Contribution to journalArticle

  9. Published

    Iterative Plan Construction for the Workflow Satisfiability Problem

    Cohen, D., Crampton, J., Gagarin, A., Gutin, G. & Jones, M. 2014 In : Journal of Artificial Intelligence Research. 51, p. 555-577

    Research output: Contribution to journalArticle

  10. Published

    Kernelization, Matroid Methods

    Wahlström, M. 2014 Encyclopedia of Algorithms. Springer, p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Published

    Mega-events as potential drivers of sustainable innovation: London 2012 Olympics

    Kromidha, E., Spence, L., Anastasiadis, S. & Dore, D. 2014 Proceedings of the 6th Humboldt University Berlin Conference Series on Corporate Social Responsibility, 8-9 October 2014. Berlin, Germany

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

  12. Published

    Monotonicity and Completeness in Attribute-Based Access Control

    Crampton, J. & Morisset, C. 2014 Security and Trust Management - 10th International Workshop. Springer, p. 33-48

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

  13. Published

    Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories

    Lungu, G. & Luo, Z. 2014 Logical Aspects of Computational Aspects. p. 138-148 (Lecture Notes in Computer Science; vol. 8535)

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  14. Published

    National urbanization and urban strategies: necessary but absent policy instruments in Africa

    Parnell, S. & Simon, D. 2014 Africa's Urban Revolution. Parnell, S. & Pieterse, E. (eds.). London and New York: Zed Books, p. 237-256 20 p. Chapter 13

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Published

    Natural Language Reasoning Using Proof-assistant Technology: Rich Typing and Beyond

    Chatzikyriakidis, S. & Luo, Z. 2014 EACL Workshop on Type Theory and Natural Language Semantics (TTNLS).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  16. Published

    On Correctness of Data Structures under Reads-Write Concurrency

    Chockler, G., Keidar, I. & Lev-Ari, K. 2014

    Research output: Contribution to conferencePaper

  17. Published

    On Correctness of Data Structures under Reads-Write Concurrency

    Lev-Ari, K., Chockler, G. & Keidar, I. 2014 Distributed Computing: 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings. Kuhn, F. (ed.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. 8784, p. 273-287 15 p. (Lecture Notes in Computer Science)

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

  18. Published

    Parameterisation for abstract structured specifications

    Tutu, I. 2014 In : Theoretical Computer Science. 517, p. 102-142

    Research output: Contribution to journalArticle

  19. Published

    Parameterized Algorithms for Load Coloring Problem

    Gutin, G. & Jones, M. 2014 In : Information Processing Letters. 114

    Research output: Contribution to journalArticle

  20. Published

    Parameterized Directed k-Chinese Postman Problem and k Arc-Disjoint Cycles Problem on Euler Digraphs

    Gutin, G., Jones, M., Sheng, B. & Wahlström, M. 2014 Proceedings of WG 2014.

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

  21. Published

    Path Conditions and Principal Matching: A New Approach to Access Control

    Crampton, J. & Sellwood, J. 2014 19th ACM Symposium on Access Control Models and Technologies. ACM, p. 187-198

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

  22. Published

    Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem

    Gutin, G., Kratsch, S. & Wahlström, M. 2014 Proceedings of IPEC 2014.

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

  23. Unpublished

    Polynomial Kernels for Graph and Hypergraph Optimisation Problems

    Muciaccia, G. 2014 129 p.

    Research output: ThesisDoctoral Thesis

  24. Published

    Polynomially Closed Co-clones

    Lagerkvist, V. & Wahlström, M. 2014 Proceedings of ISMVL 2014: IEEE 44th International Symposium on Multiple-Valued Logic. IEEE, p. 85-90 6 p.

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

  25. Forthcoming

    Probability-Free Solutions to the Non-Stationary Newsvendor Problem

    Zhang, Y., Vovk, V. & Zhang, W. 2014 In : Annals of Operations Research.

    Research output: Contribution to journalArticle

  26. Published

    Prototyping symbolic execution engines for interpreted languages

    Bucur, S., Kinder, J. & Candea, G. 2014 Proc. Architectural Support for Programming Languages and Operating Systems (ASPLOS 2014). ACM, p. 239-254

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

  27. Published

    RECON: a Robust multi-agent Environment for simulating COncurrent Negotiations

    Alrayes, B., Kafali, O. & Stathis, K. 2014 In Seventh International Workshop on Agent-based Complex Automated Negotiations (ACAN), AAMAS: best student paper award.

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

  28. Published

    Regular Strategies in Pushdown Reachability Games

    Hague, M. & Carayol, A. 2014 8th International Workshop on Reachability Problems 2014. 13 p.

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

  29. Published

    Reliable Indoor Location Prediction Using Conformal Measurement

    Nguyen, K. & Luo, Z. 2014 In : Annals of Mathematics and Artificial Intelligence. 10472, 23 p.

    Research output: Contribution to journalArticle

  30. Published

    Reliable Network Traffic Classification and Demand Prediction

    Dashevskiy, M. & Luo, Z. 2014 Predictions for Reliable Machine Learning: Theory, Adaptations and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). ELSEVIER ACADEMIC PRESS INC, p. 231-259 29 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  31. Published

    Revolutionary Evolutionist: Stephen Jay Gould and his legacy for radical human geography

    Eades, G. 2014 In : Human Geography. 7, 1, p. 110-116

    Research output: Contribution to journalArticle

  32. Forthcoming

    Rural Postman Parameterized by the Number of Components of Required Edges

    Gutin, G., Wahlström, M. & Yeo, A. 1 Feb 2017 In : Journal of Computer and System Sciences. 83, 1, p. 121-131 11 p.

    Research output: Contribution to journalArticle

  33. Published

    Satisfying More Than Half of a System of Linear Equations Over GF(2): A Multivariate Approach

    Crowston, R., Fellows, M., Gutin, G., Jones, M., Kim, E. J., Rosamond, F., Ruzsa, I. Z., Thomasse, S. & Yeo, A. 2014 In : Journal of Computer and System Sciences. 80, p. 687-696

    Research output: Contribution to journalArticle

  34. Published

    Segmentation of electronic dance music

    Scarfe, T., Koolen, W. & Kalnishkan, Y. 2014 In : International Journal of Engineering Intelligent Systems for Electrical Engineering and Communications. 22, 3/4

    Research output: Contribution to journalArticle

  35. Published

    Short Propositional Refutations for Dense Random 3CNF Formulas

    Muller, S. & Tzameret, I. 2014 In : Annals of Pure and Applied Logic. 165, p. 1864-1918 55 p.

    Research output: Contribution to journalArticle

  36. Published

    Solving Queries over Modular Logic Programs

    Tutu, I. & Fiadeiro, J. L. 2014

    Research output: Contribution to conferenceAbstract

  37. Published

    SVM Venn Machine with k-Means Clustering

    Zhou, C., Nouretdinov, I., Luo, Z. & Gammerman, A. 2014 Artificial Intelligence Applications and Innovations: AIAI2014 Workshops. Rhodes, Greece, p. 251-260 10 p.

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

  38. Published

    The basic conformal prediction framework

    Vovk, V. 2014 Conformal Prediction for Reliable Machine Learning: Theory, Adaptations, and Applications. Elsevier, p. 3-19 17 p. 1

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. Published

    The Generalized Loneliness Detector and Weak System Models for k-Set Agreement

    Biely, M., Robinson, P. & Schmid, U. 2014 In : IEEE Transactions Parallel Distributed Systems. 25, 4, p. 1078-1088 11 p.

    Research output: Contribution to journalArticle

  40. Published

    Towards Self-Healing SDN

    Chockler, G. & Trehan, A. 2014

    Research output: Contribution to conferenceOther

  41. Published

    Using Signatures in Type Theory to Represent Situations

    Chatzikyriakidis, S. & Luo, Z. 2014 Annual Conference on Logic and Engineering of Natural Language Semantics 11.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  42. Published

    Venn-Abers predictors

    Vovk, V. & Petej, I. 2014 Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence. p. 829-838 10 p.

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

  43. Unpublished

    Workshop And the ICT4kids Oscar goes to…: Good practice in engaging children and youth in development

    Kleine, D., Hollow, D. & Poveda Villalba, S. 2014 Workshop And the ICT4kids Oscar goes to…: Good practice in engaging children and youth in development. Deutsche Welle

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

  44. 2013
  45. E-pub ahead of print

    Dissecting the chromatin interactome of microRNA genes

    Chen, D., Fu, L-Y., Zhang, Z., Yu, G., Zhang, H., Jiang, L., Harrison, A., Shanahan, H., Klukas, C., Zhang, H-Y., Ruan, Y., Chen, L. I-L. I. & Chen, M. 20 Dec 2013 In : Nucleic Acids Research.

    Research output: Contribution to journalArticle

  46. Published

    Saturation of Concurrent Collapsible Pushdown Systems

    Hague, M. 12 Dec 2013 FSTTCS: Foundations of Software Technology and Theoretical Computer Science. 12 p.

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

  47. Published

    Editorial, Special Issue on 'IT innovation in emerging economies'

    Rai, S., Harindranath, G. & Liebenau, J. 1 Dec 2013 In : Journal of Information Technology. 28, 4, p. 261-263

    Research output: Contribution to journalArticle

  48. Published

    ICT in South African SMEs: A study of the Manufacturing and Logistics sectors: BEST PAPER in ICT, IT and E-Business in the Small Firm Sector track, 36th ISBE Conference 2013, Cardiff, UK

    Gono, S., Harindranath, G. & Özcan, G. B. 13 Nov 2013 Proceedings of ISBE 2013, November, Cardiff. 20 p.

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

  49. Published

    Abstract probabilistic automata

    Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wa̧sowski, A. 1 Nov 2013 In : Information and Computation. 232, p. 66–116 16 p.

    Research output: Contribution to journalArticle

  50. Published

    Evaluating IT readiness in Small Firms: A Survey of UK Manufacturing Firms

    Spinelli, R., Dyerson, R. & Harindranath, G. 1 Nov 2013 ISBE 2013, November, Cardiff.. 2013

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

  51. Published

    PDB structural analysis service

    Alnasir, J. 1 Nov 2013

    Research output: Non-textual formSoftware

  52. Published

    Scientific impact evaluation and the effect of self-citations: Mitigating the bias by discounting the h-index

    Ferrara, E. & Romero, A. E. 1 Nov 2013 In : Journal of the American Society for Information Science and Technology. 64, 11, p. 2332-2339 8 p.

    Research output: Contribution to journalArticle

  53. Published

    Enhanced Conformal Predictors for Indoor Localisation Based on Fingerprinting Method

    Nguyen, K. & Luo, Z. 2 Oct 2013 9th IFIP International Conference on Artificial Intelligence Applications & Innovations (AIAI 2013). p. 411-420 10 p. (IFIP Advances in Information and Communication Technology)

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

  54. Published

    COMMODITY12: A smart e-health environment for diabetes management

    Kafali, O., Bromuri, S., Sindlar, M., van der Weide, T., Aguilar Pelaez, E., Schaechtle, U., Alves, B., Zufferey, D., Rodriguez-Villegas, E., Schumacher, M. & Stathis, K. Oct 2013 In : Journal of Ambient Intelligence and Smart Environments. 5, 5, p. 479-502

    Research output: Contribution to journalArticle

  55. Published

    Conformal prediction under hypergraphical models

    Fedorova, V., Gammerman, A., Nouretdinov, I. & Vovk, V. Oct 2013 The 9th Artificial Intelligence Applications and Innovations Conference (AIAI): 2nd Workshop on Conformal Prediction and its Applications. p. 371-383 13 p.

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

  56. Published

    Defensive Forecast for Conformal Bounded Regression

    Nouretdinov, I. & Lebedev, A. Oct 2013 The 9th Artificial Intelligence Applications and Innovations Conference (AIAI): 2nd Workshop on Conformal Prediction and its Applications. p. 384-393 10 p. (IFIP Advances in Information and Communication Technology; vol. 412)

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

  57. Published

    Learning by Conformal Predictors with Additional Information

    Yang, M., Nouretdinov, I. & Luo, Z. Oct 2013 The 9th Artificial Intelligence Applications and Innovations Conference (AIAI): 2nd Workshop on Conformal Prediction and its Applications. p. 394-400 7 p. (IFIP Advances in Information and Communication Technology; vol. 412)

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

  58. Published

    Refuting Random 3CNF Formulas in Propositional Logic

    Muller, S. & Tzameret, I. Oct 2013 p. 201 208 p.

    Research output: Contribution to conferencePaper

  59. Published

    C-SHORe: A Collapsible Approach to Verifying Higher-Order Programs

    Broadbent, C., Carayol, A., Hague, M. & Serre, O. 25 Sep 2013 ICFP: International Conference on Functional Programming. p. 13-24 12 p.

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

  60. Published

    An interface theory for service-oriented design

    Fiadeiro, J. L. & Lopes, A. 9 Sep 2013 In : Theoretical Computer Science. 503, p. 1-30

    Research output: Contribution to journalArticle

  61. Published

    Multi-Dimensional Causal Discovery

    Schaechtle, U., Stathis, K. & Bromuri, S. 3 Aug 2013 Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence: Beijing, China, 3-9 August 2013. Rossi, F. (ed.). p. 1649-1655

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

  62. Published

    Social Technologies for Community Response to Epidemics

    Cole, J. & Watkins, C. Aug 2013 Tackling Antimicrobial Resistance - Identifying Future Research Themes: Proceedings of the Conference Tackling Antimicrobial Resistance, 6 February 2013. London: Royal United Services Institute, p. 65-73 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  63. Published

    Conditional validity of inductive conformal predictors

    Vovk, V. 5 Jul 2013 In : Machine Learning. 92, 2-3, p. 349 - 376 28 p.

    Research output: Contribution to journalArticle

  64. Published

    Cities, human security and global environmental change

    Simon, D. & Leck, H. Jul 2013 A Changing Environment for Human Security: : Transformative approaches to research, policy and action. Sygna, L., O'Brien, K. & Wolf, J. (eds.). London and New York: Routledge, p. 170-180 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  65. Published

    Making Automated Testing of Cloud Applications an Integral Component of PaaS

    Bucur, S., Kinder, J. & Candea, G. Jul 2013 Proc. 4th Asia-Pacific Workshop on Systems (APSYS 2013). USENIX

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

  66. Published

    From boundary spanning to creolization: A study of Chinese software and services outsourcing vendors

    Abbott, P., Zheng, Y., Du, R. & Willcocks, L. Jun 2013 In : Journal of Strategic Information Systems. 22, 2, p. 121-136

    Research output: Contribution to journalArticle

  67. Published

    On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem

    Crampton, J., Gutin, G. & Yeo, A. Jun 2013 In : ACM Transactions on Information and System Security. 16, 1, 4

    Research output: Contribution to journalArticle

  68. Published

    Using the Choice Framework to Situate Cases of Collective Action in Capabilities Thinking: The Example of Public Procurement

    Kleine, D. Jun 2013 Maitreyee - e-Journal of the Human Development and Capability Association. Human Development and Capability Association (HDCA), p. 15-18 4 p.

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

  69. Published

    A model for dynamic reconfiguration in service-oriented architectures

    Fiadeiro, J. L. & Lopes, A. 1 May 2013 In : Software and Systems Modeling. 12, 2, p. 349-367 19 p.

    Research output: Contribution to journalArticle

  70. Published

    A Glucose Sensor Based on Glucose Oxidase Immobilized by Electrospinning Nanofibrous Polymer Membranes Modified with Carbon Nanotubes

    Wang, Y., Xu, H., Wang, Z., Hu, R., Luo, Z., Xu, Z. & Li, G. May 2013 In : Sensors & Transducers Journal. 152, 5, p. 180-185 6 p.

    Research output: Contribution to journalArticle

  71. Published

    Automated Debugging for Arbitrarily Long Executions

    Zamfir, C., Kasikci, B., Kinder, J., Bugnion, E. & Candea, G. May 2013 Proc. 14th Workshop on Hot Topics in Operating Systems (HotOS 2013). USENIX

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

  72. Published

    Fostering Multiscalar Collaboration and Co-operation for Effective Governance of Climate Change Adaptation

    Leck, H. & Simon, D. May 2013 In : Urban Studies. 50, 6, p. 1221-1238

    Research output: Contribution to journalArticle

  73. Published

    Jasmonate controls leaf growth by repressing cell proliferation and the onset of endoreduplication while maintaining a potential stand-by mode

    Noir, S., Bömer, M., Takahashi, N., Ishida, T., Tsui, T-L., Balbi, V., Shanahan, H., Sugimoto, K. & Devoto, A. Apr 2013 In : Plant Physiology. 161, 4, p. 1930-1951

    Research output: Contribution to journalArticle

  74. Published

    A large-scale evaluation of computational protein function prediction

    Yang, H. , Romero, A. E. , Bhat, P. , Paccanaro, A. & 98 others Radivojac, P., Clark, W. T., Oron, T. R., Schnoes, A. M., Wittkop, T., Sokolov, A., Graim, K., Funk, C., Verspoor, K., Ben-Hur, A., Pandey, G., Yunes, J. M., Talwalkar, A. S., Repo, S., Souza, M. L., Piovesan, D., Casadio, R., Wang, Z., Cheng, J., Fang, H., Gough, J., Koskinen, P., Törönen, P., Nokso-Koivisto, J., Holm, L., Cozzetto, D., Buchan, D. W. A., Bryson, K., Jones, D. T., Limaye, B., Inamdar, H., Datta, A., Manjari, S. K., Joshi, R., Chitale, M., Kihara, D., Lisewski, A. M., Erdin, S., Venner, E., Lichtarge, O., Rentzsch, R., Hamp, T., Kaßner, R., Seemayer, S., Vicedo, E., Schaefer, C., Achten, D., Auer, F., Boehm, A., Braun, T., Hecht, M., Heron, M., Hönigschmid, P., Hopf, T. A., Kaufmann, S., Kiening, M., Krompass, D., Landerer, C., Mahlich, Y., Roos, M., Björne, J., Salakoski, T., Wong, A., Shatkay, H., Gatzmann, F., Sommer, I., Wass, M. N., Sternberg, M. J. E., Škunca, N., Supek, F., Bošnjak, M., Panov, P., Džeroski, S., Šmuc, T., Kourmpetis, Y. A. I., van Dijk, A. D. J., ter Braak, C. J. F., Zhou, Y., Gong, Q., Dong, X., Tian, W., Falda, M., Fontana, P., Lavezzo, E., Di Camillo, B., Toppo, S., Lan, L., Djuric, N., Guo, Y., Vucetic, S., Bairoch, A., Linial, M., Babbitt, P. C., Brenner, S. E., Orengo, C., Rost, B., Mooney, S. D. & Friedberg, I. Mar 2013 In : Nature Methods. 10, 3, p. 221-7 7 p.

    Research output: Contribution to journalArticle

  75. Published

    An identity for kernel ridge regression

    Zhdanov, F. & Kalnishkan, Y. 18 Feb 2013 In : Theoretical Computer Science. 473, p. 157-178

    Research output: Contribution to journalArticle

  76. Published

    Guest Editors’ foreword

    Hutter, M., Stefan, F., Vovk, V. & Zeugmann, T. 18 Feb 2013 In : Theoretical Computer Science. 473, p. 1-3 3 p.

    Research output: Contribution to journalEditorial

  77. Published

    Coercive subtyping: theory and implementation

    Luo, Z., Soloviev, S. & Xue, T. Feb 2013 In : Information and Computation. 223, p. 18-42

    Research output: Contribution to journalArticle

  78. Published

    Evaluation of Bluetooth Properties for Indoor Localisation

    Nguyen, K. & Luo, Z. 3 Jan 2013 Progress in Location-Based Services: Lecture Notes in Geoinformation and Cartography. Munich, Germany: Springer, p. 127-149 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  79. Published

    Follow the Leader If You Can, Hedge If You Must

    de Rooij, S., van Erven, T., D. Grünwald, P. & M. Koolen, W. 3 Jan 2013 In : ArXiv.org.

    Research output: Contribution to journalArticle

  80. Published

    Featured transition systems: Foundations for verifying variability- intensive systems and their application to LTL model checking

    Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F. 1 Jan 2013 In : Software Engineering, IEEE Transactions on. 39, 8, p. 1069-1089 21 p.

    Research output: Contribution to journalArticle

  81. Published

    A Dibutyl Phthalate Sensor Based on a Nanofiber Polyaniline Coated Quartz Crystal Monitor

    Wang, Y., Ding, P., Hu, R., Zhang, J., Ma, X., Luo, Z. & Li, G. Jan 2013 In : Sensors. 13, 3, p. 3765-3775

    Research output: Contribution to journalArticle

  82. Published

    (Non-)existence of Polynomial Kernels for the Test Cover Problem

    Gutin, G., Muciaccia, G. & Yeo, A. 2013 In : Information Processing Letters. 113, p. 123-126

    Research output: Contribution to journalArticle

  83. Published

    A Completeness Theory for Polynomial (Turing) Kernelization

    Hermelin, D., Kratsch, S., Soltys, K., Wahlström, M. & Wu, X. 2013 IPEC. Springer, Vol. LNCS 8246, p. 202 215 p.

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

  84. Published

    A History of the World in Twelve Maps Review

    Eades, G. 2013 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

  85. Published

    A Logic-Programming Semantics of Services

    Tutu, I. & Fiadeiro, J. L. 2013 p. 299-313

    Research output: Contribution to conferencePaper

  86. Published

    A long-range self-similarity approach to segmenting DJ mixed music streams

    Scarfe, T., Koolen, W. M. & Kalnishkan, Y. 2013 Artificial Intelligence Applications and Innovations: Proceedings of the 9th IFIP WG 12.5 International Conference, AIAI 2013, Paphos, Cyprus, September 30 – October 2, 2013. Papadopoulos, H., Andreou, A. S., Iliadis, L. & Maglogiannis, I. (eds.). Springer, p. 235-244 10 p. (IFIP Advances in Information and Communication Technology; vol. 412)

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

  87. Forthcoming

    A new bound for 3-satisfiable MaxSat and its algorithmic application

    Gutin, G., Jones, M., Scheder, D. & Yeo, A. 2013 In : Information and Computation. 8 p.

    Research output: Contribution to journalArticle

  88. Published

    A Pluralist Approach to Type-Theoretic Foundations.

    Luo, Z. 2013 Inter. Conf. on Type Theory, Homotopy Theory and Univalent Foundations. .

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

  89. Published

    A RESTful and decentralised implementation of open objects

    Goncalves, P. & Stathis, K. 2013 p. 1515-1524 9 p.

    Research output: Contribution to conferencePaper

  90. Published

    A Self-Healing Distributed Pervasive Health System

    Bromuri, S., Schumacher, M. & Stathis, K. 2013 In : Int. J. of Web Engineering and Technology. 8, 2, p. 177 196 p.

    Research output: Contribution to journalArticle

  91. Published

    A timed component algebra for services

    Delahaye, B., Fiadeiro, J. L., Legay, A. & Lopes, A. 2013 FMOODS/FORTE. Beyer, D. & Borelae, M. (eds.). Springer, p. 242-257 16 p. (Lecture Notes in Computer Science; vol. 7892)

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

  92. Unpublished
  93. Published

    Abusing the Tutte Matrix: An Algebraic Instance Compression for the K-set-cycle Problem

    Wahlström, M. 2013 STACS. p. 341-352 12 p.

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

  94. Unpublished

    Adaptive Online Learning

    Adamskiy, M. 2013

    Research output: ThesisDoctoral Thesis

  95. Unpublished

    Algorithms for Parameterized Constraint Satisfaction Problems

    Crowston, R. 2013 125 p.

    Research output: ThesisDoctoral Thesis

  96. Published

    An Algebraic Theory of Complexity for Discrete Optimisation

    Cohen, D. A., Cooper, M. C., Creed, P., Jeavons, P. G. & Živný, S. 2013 In : SIAM Journal on Computing. 42, 5, p. 1915-1939 24 p.

    Research output: Contribution to journalArticle

  97. Published
  98. Forthcoming

    An Overview of Gene Regulation

    Shanahan, H. & Harrison, A. 2013 Approaches to Integrative Bioinformatics. Chen, M. I. & Hofstaedt, R. (eds.). Springer, p. 21-69

    Research output: Chapter in Book/Report/Conference proceedingChapter

  99. Published

    Argumentative Agents for Service-Oriented Computing

    Morge, M., McGinnis, J., Bromuri, S., Mancarella, P., Stathis, K. & Toni, F. 2013 Multiagent Systems and Applications. Ganzha, M. & Jain, L. C. (eds.). Springer-Verlag Berlin Heidelberg, p. 217-255 39 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  100. Published

    Artificial Intelligence Applications in Biomedicine

    Vlamos, P., Lefkimmiatis, K., Cocianu, C., State, L. & Luo, Z. 2013 In : Advances in Artificial Intelligence. 2 p.

    Research output: Contribution to journalArticle

  101. Published

    Brief Announcement: Consistency and Complexity Tradeoffs for Highly-Available Multi-Cloud Store

    Chockler, G., Shraer, A. & Dobre, D. 2013

    Research output: Contribution to conferencePaper

  102. Published

    Climate and environmental change and the potential for greening African cities

    Simon, D. 2013 In : Local Economy. 28, 2, p. 203-217 15 p.

    Research output: Contribution to journalArticle

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