1. 2013
  2. Published

    Carotenoids and tocopherols in yellow and red raspberries

    Carvalho, E., Fraser, P. D. & Martens, S. 1 Jul 2013 In : Food Chemistry. 139, 1-4, p. 744-752 9 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

  8. Published
  9. Published

    Identification of novel antioxidant peptides generated in Spanish dry-cured ham

    Escudero, E., Mora, L., Fraser, P. D., Aristoy, M-C. & Toldra, F. 15 May 2013 In : Food Chemistry. 138, 2-3, p. 1282-1288 7 p.

    Research output: Contribution to journalArticle

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

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

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

  13. Published

    NITRILASE1 regulates the exit from proliferation, genome stability and plant development

    Doskočilová, A., Kohoutová, L., Volc, J., Kourová, H., Benada, O., Chumová, J., Plíhal, O., Petrovská, B., Halada, P., Bogre, L. & Binarová, P. May 2013 In : New Phytologist. 198, 3, p. 685-698

    Research output: Contribution to journalArticle

  14. Published
  15. Published

    The development and optimisation of a label-free quantitative proteomic procedure and its application in the assessment of genetically modified tomato fruit

    Mora, L., Bramley, P. M. & Fraser, P. D. 25 Apr 2013 In : Proteomics. 13, 12-13, p. 2016-2030 15 p.

    Research output: Contribution to journalArticle

  16. Published

    An EMV (Chip & PIN) Case Study

    Nguyen, K. 17 Apr 2013 Germany: LAP Lambert Academic Publishing. 136 p.

    Research output: Book/ReportBook

  17. Published

    Carotenoid Biosynthesis and Chlorophyll Degradation

    Bramley, P. 5 Apr 2013 The Molecular Biology and Biochemistry of Fruit Ripening. Seymour, G., Poole, M., Giovannoni, J. & Tucker, G. (eds.). 1st ed. John Wiley & Sons, p. 75-116 41 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  19. Published

    The role of the potato (Solanum tuberosum) CCD8 gene in stolon and tuber development

    Pasare, S. A., Ducreux, L. J. M., Morris, W. L., Campbell, R., Sharma, S. K., Roumeliotis, E., Kohlen, W., van der Krol, S., Bramley, P. M., Roberts, A. G., Fraser, P. D. & Taylor, M. A. 15 Mar 2013 In : New Phytologist. 198, 4, p. 1108-1120 12 p.

    Research output: Contribution to journalArticle

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

  21. Published

    Network Inference Analysis Identifies an APRR2-Like Gene Linked to Pigment Accumulation in Tomato and Pepper Fruits

    Pan, Y., Bradley, G., Pyke, K., Ball, G., Lu, C., Fray, R., Marshall, A., Jayasuta, S., Baxter, C., van Wijk, R., Boyden, L., Cade, R., Chapman, N. H., Fraser, P. D., Hodgman, C. & Seymour, G. B. Mar 2013 In : Plant physiology. 161, 3, p. 1476-1485 10 p.

    Research output: Contribution to journalArticle

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

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

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

  25. Published

    Purification and Identification of antihypertensive peptides in Spanish dry-cured ham

    Escudero, E., Mora, L., Fraser, P. D., Aristoy, M-C., Arihara, K. & Toldra, F. 14 Jan 2013 In : Journal of proteomics. 78, p. 499-507 9 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

  32. Published

    A History of the World in Twelve Maps Review

    Eades, G. 2013 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

  33. Published

    A Logic-Programming Semantics of Services

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

    Research output: Contribution to conferencePaper

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

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

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

  37. Published

    A RESTful and decentralised implementation of open objects

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

    Research output: Contribution to conferencePaper

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

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

  40. Unpublished
  41. 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

  42. Unpublished

    Adaptive Online Learning

    Adamskiy, M. 2013

    Research output: ThesisDoctoral Thesis

  43. Unpublished

    Algorithms for Parameterized Constraint Satisfaction Problems

    Crowston, R. 2013 125 p.

    Research output: ThesisDoctoral Thesis

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

  45. Published
  46. 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

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

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

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

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

  51. Published

    Comorphisms of structured institutions

    Tutu, I. 2013 In : Information Processing Letters. 113, p. 894-900 22-24

    Research output: Contribution to journalArticle

  52. Unpublished

    Consistency and Complexity Tradeoffs for Highly-Available Multi-Cloud Store

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

    Research output: Working paper

  53. Published

    Constraint Expressions and Workflow Satisability

    Crampton, J. & Gutin, G. 2013 18th ACM SACMAT. p. 73-84

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

  54. Published

    Detecting and predicting privacy violations in online social networks

    Kafali, O., Gunay, A. & Yolum, P. 2013 In : Distributed and Parallel Databases. p. 1-30 30 p.

    Research output: Contribution to journalArticle

  55. Published

    DIESECT: A DIstributed Environment for Simulating E-commerce ContracTs

    Wood, D., Kafali, O. & Stathis, K. 2013 E-Commerce and Web Technologies. Huemer, C. & Lops, P. (eds.). Springer Berlin / Heidelberg, Vol. 152, p. 39-50 12 p. (Lecture Notes in Business Information Processing)

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

  56. Published

    Dynamic Performance Profiling of Cloud Caches

    Chockler, G., Vigfusson, Y., Saemundsson, T. & Bjornsson, H. 2013

    Research output: Contribution to conferencePoster

  57. Published

    Efficient Computation of Balanced Structures

    Harris, D. G., Morsy, E., Pandurangan, G., Robinson, P. & Srinivasan, A. 2013 Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. p. 581-593 13 p.

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

  58. Published

    Ethical consumption in Brazil and Chile: Institutional contexts and development trajectories

    Ariztía, T., Kleine, D., Brightwell, M., Agloni, N., Afonso, R. & Bartholo, R. 2013 In : Journal of Cleaner Production.

    Research output: Contribution to journalArticle

  59. Published

    Fast byzantine agreement in dynamic networks

    Augustine, J., Pandurangan, G. & Robinson, P. 2013 ACM Symposium on Principles of Distributed Computing, PODC '13, Montreal, QC, Canada, July 22-24, 2013. p. 74-83 10 p.

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

  60. Published

    Fixed-Parameter Tractability of Workflow Satisability in the Presence of Seniority Constraints

    Crampton, J., Crowston, R., Gutin, G., Jones, M. & Ramanujan, M. S. 2013 FAW-AAIM 2013: Lecture Notes in Computer Science. Vol. 7924, p. 198-209

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

  61. Published

    Fruits and vegetables

    Bramley, P. 2013 Proteomics in Foods: Principles and applications. Toldra, F. & Nollet, L. (eds.). 1st ed. New York: Springer, p. 323-340 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  62. Published

    GLL parse-tree generation

    Scott, E. & Johnstone, A. 2013 In : Science of Computer Programming. 78, 10, p. 1828–1844

    Research output: Contribution to journalArticle

  63. Published
  64. Published

    Innovation through collaborative partnerships: Creating the MSN News for iPad app at VanceInfo Technologies

    Zheng, Y. 2013 In : Journal of Information Technology Teaching Cases. 3, 1, p. 16- 28

    Research output: Contribution to journalArticle

  65. Published

    Island Grammar-Based Parsing Using GLL and Tom

    Johnstone, A., Scott, E., van den Brand, M., Afroozeh, A., Manders, M., Moreau, P-E. & Bach, J-C. 2013 Software Language Engineering Lecture Notes in Computer Science : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. p. 224 243 p.

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

  66. Published

    IT readiness in small firms

    Spinelli, R., Dyerson, R. & Harindranath, G. 2013 In : Journal of Small Business and Enterprise Development. 20, 4

    Research output: Contribution to journalArticle

  67. Published

    Kernel Ridge Regression

    Vovk, V. 2013 Empirical Inference: Festschrift in Honor of Vladimir N. Vapnik. Springer, p. 105-116 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  68. Published

    Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic

    Allender, E., Davie, G., Friedman, L., Hopkins, S. & Tzameret, I. 2013 In : Chicago Journal of Theoretical Computer Science. 5, p. 1-15 15 p.

    Research output: Contribution to journalArticle

  69. Forthcoming
  70. Published

    Logical Foundations of Services

    Tutu, I. 2013 p. 111-118

    Research output: Contribution to conferencePaper

  71. Published

    Mapping Europe's Borderlands Review

    Eades, G. 2013 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

  72. Published

    Mark My Words: Native Women on Mapping Our Nations Review

    Eades, G. 2013 In : Cartographica.

    Research output: Contribution to journalBook/Film/Article review

  73. Published

    Maximum Balanced Subgraph Problem Parameterized Above Lower Bound

    Crowston, R., Gutin, G., Jones, M. & Muciaccia, G. 2013 In : Theoretical Computer Science. 513, p. 434-445

    Research output: Contribution to journalArticle

  74. Unpublished
  75. Published

    Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

    Denielou, P-M. & Yoshida, N. 2013 Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II: ICALP (2). 2013 ed. Springer, Vol. 7966, p. 174 186 p.

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

  76. Forthcoming

    Mysterious objects in the pleural biopsy of a patient with recurrent pleural empyema: Photo Quiz Answer: Tomato seeds in the pleural biopsy after emergency thoracotomy

    Held, J., Graeber, K., Leubner-Metzger, G., Kunkel, T., Theilacker, C., Kramme, S. & Schmitt-Graeff, A. 2013 In : Journal of Clinical Microbiology. in press

    Research output: Contribution to journalArticle

  77. Published

    On the complexity of universal leader election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A. 2013 ACM Symposium on Principles of Distributed Computing, PODC '13, Montreal, QC, Canada, July 22-24, 2013. p. 100-109 10 p.

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

  78. Published

    ORC: an Ontology Reasoning Component for Diabetes

    Kafali, O., Sindlar, M., Weide, T. V. D. & Stathis, K. 2013 2nd International Workshop on Artificial Intelligence and Netmedicine (NetMed'13).

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

  79. Published

    Paradigms in Cartography Review

    Eades, G. 2013 In : Environment and Planning D: Society and Space.

    Research output: Contribution to journalBook/Film/Article review

  80. Forthcoming

    Parameterized Complexity of k-Chinese Postman Problem

    Gutin, G., Muciaccia, G. & Yeo, A. 2013 In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  81. Forthcoming

    Parameterized Complexity of MaxSat Above Average

    Crowston, R., Gutin, G., Jones, M., Raman, V. & Saurabh, S. 2013 In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  82. Published

    Parameterized Complexity of Satisfying Almost All Linear Equations over F_2

    Crowston, R., Gutin, G., Jones, M. & Yeo, A. 2013 In : Theory of Computing Systems. 52, p. 719-728

    Research output: Contribution to journalArticle

  83. Published

    Parameterized Two-Player Nash Equilibrium

    Hermelin, D., Huang, C-C., Kratsch, S. & Wahlström, M. 2013 In : Algorithmica. 65, 4, p. 802-816 15 p.

    Research output: Contribution to journalArticle

  84. Published

    Place Memes

    Eades, G. 2013

    Research output: Working paper

  85. Published

    Placing and scaling ethical choices: ethical consumption and ethical public procurement

    Kleine, D. 2013 Proceedings of the 11th Congress of the European Society for Agricultural and Food Ethics. EurSafe

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

  86. Published

    PROTEOMIC IDENTIFICATION OF SMALL ANTIOXIDANT PEPTIDES IN DRY-CURED HAM

    Toldra, F., Mora, L., Escudero, E., Fraser, P. D. & Aristoy, M. C. 2013 In : Annals of nutrition and metabolism. 63, p. 1682-1682 1 p.

    Research output: Contribution to journalMeeting abstract

  87. Published

    Proving Random Formulas in Propositional Logic

    Tzameret, I. & Muller, S. 2013 Logic Across the University: Foundations and Application: Proceedings of the Tsinghua Logic Conference. van Benthem, J. & Liu, F. (eds.). London: College Publications London, Vol. 47, p. 201-208 8 p. (Studies in Logic)

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

  88. Published

    Robust Leader Election in a Fast-Changing World

    Augustine, J., Kulkarni, T., Nakhe, P. & Robinson, P. 2013 Proceedings Ninth International Workshop on Foundations of Mobile Computing, FOMC 2013, Jerusalem, Israel, October 17-18, 2013.. p. 38-49 12 p.

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

  89. Published

    Robust synthesis for real-time systems

    Larsen, K. G., Legay, A., Traonouez, L-M. & Wąsowski, A. 2013 In : Theoretical Computer Science.

    Research output: Contribution to journalArticle

  90. Published

    Safe Specification of Operator Precedence Rules

    Johnstone, A., Scott, E., van den Brand, M., Vinju, J. & Afroozeh, A. 2013 Software Language Engineering Lecture Notes in Computer Science . Vol. 8225, p. 137 156 p.

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

  91. Published

    Sobre palavras e atos no consumo sustentável no Brasil: os “aparentes paradoxos” de uma pesquisa qualitativa

    Afonso, R., Bartholo, R., Kleine, D. & Brightwell, M. D. G. 2013 In : Sustentabilidade em Debate. 4, p. 185 208 p.

    Research output: Contribution to journalArticle

  92. Published

    Spatiotemporal seed development analysis provides insight into primary dormancy induction and evolution of the Lepidium DELAY OF GERMINATION1 genes

    Graeber, K., Voegele, A., Büttner-Mainik, A., Sperber, K., Mummenhoff, K. & Leubner-Metzger, G. 2013 In : Plant Physiology. 161, p. 1903-1917 15 p.

    Research output: Contribution to journalArticle

  93. Published

    Storage and search in dynamic peer-to-peer networks

    Augustine, J., Molla, A. R., Morsy, E., Pandurangan, G., Robinson, P. & Upfal, E. 2013 25th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA '13, Montreal, QC, Canada - July 23 - 25, 2013. p. 53-62 10 p.

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

  94. Published
  95. Published

    Sublinear Bounds for Randomized Leader Election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A. 2013 Distributed Computing and Networking, 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings. p. 348-362 15 p.

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

  96. Published

    Subtyping in Type Theory: Coercion Contexts and Local Coercions

    Luo, Z. & Part, F. 2013

    Research output: Contribution to conferenceAbstract

  97. Published

    Technologies of Choice?: ICTs, development, and the capabilities approach

    Kleine, D. 2013 Cambridge, MA: MIT Press. 267 p. (The Information Society Series)

    Research output: Book/ReportBook

  98. Unpublished

    The Effect of Representations on Constraint Satisfaction Problems

    Houghton, C. 2013 138 p.

    Research output: ThesisDoctoral Thesis

  99. Published

    The environmental determinants of human security in the context of climate change

    Simon, D. 2013 Handbook on Climate Change and Human Security. Redclift, M. & Grasso, M. (eds.). Cheltenham UK and Northampton, MA, USA: Edward Elgar, p. 113-136 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  100. Unpublished

    Theory and Implementation of Coercive Subtyping

    Xue, T. 2013

    Research output: ThesisDoctoral Thesis

  101. Published

    Threats to an ecosystem service: pressures on pollinators

    Brown, M. J. F. , Bryden, J. , Jansen, V. A. A. , Raine, N. E. & 35 others Vanbergen, A. J., Baude, M., Biesmeijer, J. C., Britton, N. F., Brown, M., Budge, G. E., Carvell, C., Challinor, A. J., Connolly, C. N., Evans, D. J., Feil, E. J., Garratt, M. P., Greco, M. K., Heard, M. S., Keeling, M. J., Kunin, W. E., Marris, G. C., Memmott, J., Murray, J. T., Nicolson, S. W., Osborne, J. L., Paxton, R. J., Pirk, C. W. W., Polce, C., Potts, S. G., Priest, N. K., Roberts, S., Ryabov, E. V., Shafir, S., Shirley, M. D. F., Simpson, S. J., Stevenson, P. C., Stone, G. N., Termansen, M. & Wright, G. A. 2013 In : Frontiers in Ecology and the Environment. 11, p. 251–259

    Research output: Contribution to journalScientific review

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