1. 2016
  2. Published

    A Theoretical Framework for Constraint Propagator Triggering

    Cohen, D., Petrie, K. & Jefferson, C., 12 May 2016. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  3. Published

    Argumentation-Based Multi-Agent Decision Making with Privacy Preserved

    Gao, Y., Toni, F., Wang, H. & Xu, F., 9 May 2016, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems, p. 1153-1161 9 p.

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

  4. Published

    A Linear Dependent Type Theory

    Luo, Z. & Zhang, Y., May 2016, TYPES 2016: Book of Abstracts. p. 69-70 2 p.

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

  5. Forthcoming

    Free Jazz in the Land of Algebraic Improvisation

    Chirita, C-E. & Luiz Fiadeiro, J., May 2016, (Accepted/In press). 8 p.

    Research output: Contribution to conferencePaperpeer-review

  6. Published

    mutation3D: Cancer Gene Prediction Through Atomic Clustering of Coding Variants in the Structural Proteome

    Meyer, M. J., Lapcevic, R., Romero, A. E., Yoon, M., Das, J., Beltrán, J. F., Mort, M., Stenson, P. D., Cooper, D. N., Paccanaro, A. & Yu, H., May 2016, In: Human Mutation. 37, 5, p. 447-456 10 p.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    Conformal Predictors for Compound Activity Prediction

    Toccaceli, P., Nouretdinov, I. & Gammerman, A., 17 Apr 2016, Conformal and Probabilistic Prediction with Applications: 5th International Symposium, COPA 2016 Madrid, Spain, April 20–22, 2016 Proceedings. Springer, Vol. 9653. p. 51-66 16 p. (Lecture Notes in Computer Science; vol. 9653).

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

  8. Published

    Criteria of Efficiency for Conformal Prediction

    Vovk, V., Fedorova, V., Nouretdinov, I. & Gammerman, A., 17 Apr 2016, Conformal and Probabilistic Prediction with Applications: 5th International Symposium, COPA 2016 Madrid, Spain, April 20–22, 2016 Proceedings. Springer, Vol. 9653. p. 23-39 17 p. (Lecture Notes in Computer Science; vol. 9653).

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

  9. Published

    Hidden Markov Models with Confidence

    Cherubin, G. & Nouretdinov, I., 17 Apr 2016, Conformal and Probabilistic Prediction with Applications: 5th International Symposium, COPA 2016 Madrid, Spain, April 20–22, 2016 Proceedings. Springer, Vol. 9653. p. 128-144 17 p. (Lecture Notes in Computer Science; vol. 9653).

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

  10. Published

    Building Power Consumption Models from Executable Timed I/O Automata Specifications

    Barbot, B., Kwiatkowska, M., Mereacre, A. & Paoletti, N., 11 Apr 2016, Hybrid Systems : Computation and Control. p. 195-204 10 p.

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

  11. Published

    Characteristic formulae for session types

    Lange, J. & Yoshida, N., 9 Apr 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Raskin, J-F. & Chechik, M. (eds.). Springer Verlag, p. 833-850 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9636).

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

  12. E-pub ahead of print

    PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems

    Ceska, M., Pilar, P., Paoletti, N., Brim, L. & Kwiatkowska, M., 9 Apr 2016, (E-pub ahead of print) Tools and Algorithms for the Construction and Analysis of Systems. Chechik, M. & Raskin, J-F. (eds.). p. 367-384 18 p. (Lecture Notes in Computer Science; vol. 9636).

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

  13. Published

    A closer look at adaptive regret

    Adamskiy, D., Koolen, W., Chernov, A. & Vovk, V., Apr 2016, In: Journal of Machine Learning Research. 17, 23, p. 1-21 21 p.

    Research output: Contribution to journalArticlepeer-review

  14. E-pub ahead of print

    RECON: A Robust Multi-agent Environment for Simulating COncurrent Negotiations

    Alrayes, B., Kafali, R. & Stathis, K., 25 Mar 2016, (E-pub ahead of print) Recent Advances in Agent-based Complex Automated Negotiation. Fukuta, N., Ito, T., Zhang, M., Fujita, K. & Robu, V. (eds.). Springer, p. 157-174 18 p. (Studies in Computational Intelligence; vol. 638).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Published

    Tool support for component-based semantics

    van Binsbergen, L. T., 14 Mar 2016, Companion Proceedings of the 15th International Conference on Modularity.

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

  16. Published

    Distributed Algorithmic Foundations of Dynamic Networks

    Augustine, J., Pandurangan, G. & Robinson, P., 10 Mar 2016, In: SIGACT News. 47, 1, p. 69-98 30 p.

    Research output: Contribution to journalArticle

  17. Published

    ARPPM: Administration in the RPPM model

    Crampton, J. & Sellwood, J., 9 Mar 2016, CODASPY 2016 - Proceedings of the 6th ACM Conference on Data and Application Security and Privacy. ACM, p. 219-230 12 p.

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

  18. Published

    Tight lower bounds for the Workflow Satisfiability Problem based on the Strong Exponential Time Hypothesis

    Gutin, G. & Wahlstrom, M., Mar 2016, In: Information Processing Letters. 116, 3, p. 223-226 4 p.

    Research output: Contribution to journalArticlepeer-review

  19. Published

    Using Decomposition-Parameters for QBF: Mind the Prefix!

    Eiben, E., Ganian, R. & Ordyniak, S., 21 Feb 2016, p. 964-970. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  20. Published

    Evolution of Attacks, Threat Models, and Solutions for Virtualized Systems

    Sgandurra, D. & Lupu, E., 8 Feb 2016, In: ACM Computing Surveys. 48, 3, p. 1-38 38 p., 46.

    Research output: Contribution to journalArticlepeer-review

  21. E-pub ahead of print

    Parameterized Traveling Salesman Problem: Beating the Average

    Gutin, G. & Patel, V., 4 Feb 2016, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 30, 1, p. 220-238 19 p.

    Research output: Contribution to journalArticlepeer-review

  22. Published

    An experimental study of the intrinsic stability of random forest variable importance measures

    Wang, H., Yang, F. & Luo, Z., 3 Feb 2016, In: BMC Bioinformatics. 17, p. 1-18 18 p., 60.

    Research output: Contribution to journalArticlepeer-review

  23. Published

    Parameterized Complexity and Kernelizability of Max Ones and Exact Ones Problems

    Kratsch, S., Marx, D. & Wahlstrom, M., 3 Feb 2016, In: ACM Transactions on Computation Theory (TOCT). 8, 1, p. 1-28 28 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    Hybrid Publicly Verifiable Computation

    Alderman, J., Janson, C., Crampton, J. & Cid, C., 2 Feb 2016, Topics in Cryptology - CT-RSA 2016. Sako, K. (ed.). Springer, Vol. 9610. p. 147-163 17 p. (Lecture Notes in Computer Science).

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

  25. Published
  26. Unpublished
  27. Published

    Unboundedness and downward closures of higher-order pushdown automata

    Hague, M., Kochems, J. & Ong, C-H. L., 11 Jan 2016, Principles of Programming Languages: POPL '16. New York, NY: ACM, p. 151-163 13 p.

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

  28. E-pub ahead of print

    Cryptographic Enforcement of Information Flow Policies Without Public Information

    Crampton, J., Farley, N., Gutin, G., Jones, M. & Poettering, B., 9 Jan 2016, (E-pub ahead of print) 13th International Conference on Applied Cryptography and Network Security (ACNS 2015) . Malkin, T., Kolesnikov, V., Bishop Lewko, A. & Polychronakis, M. (eds.). p. 389-408 20 p. (Lecture Notes in Computer Science; vol. 9092).

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

  29. Published

    Health Advice from Internet Discussion Forums: How Bad is Dangerous?

    Cole, J., Watkins, C. & Kleine, D., 6 Jan 2016, In: Journal of Medical Internet Research. 18, 1, p. 1-15 15 p., e4.

    Research output: Contribution to journalArticlepeer-review

  30. E-pub ahead of print

    Comparison and data fusion of electronic nose and near-infrared reflectance spectroscopy for the discrimination of ginsengs

    Miao, J., Luo, Z., Wang, Y. & Li, G., 4 Jan 2016, (E-pub ahead of print) In: Analytical Methods. p. 1-9 9 p.

    Research output: Contribution to journalArticlepeer-review

  31. Published

    Antimicrobial resistance – a ‘rising tide’ of national (and international) risk

    Cole, J., Jan 2016, In: Journal of Hospital Infection. 92, 1, p. 3-4 2 p.

    Research output: Contribution to journalArticlepeer-review

  32. Published

    Model checking for symbolic-heap separation logic with inductive predicates

    Brotherston, J., Gorogiannis, N., Kanovich, M. & Rowe, R., Jan 2016, POPL '16 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, p. 84-96 13 p.

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

  33. Published

    Parameterizations of Test Cover with Bounded Test Sizes

    Crowston, R., Gutin, G., Jones, M., Muciaccia, G. & Yeo, A., Jan 2016, In: Algorithmica. 74, 1, p. 367-384 18 p.

    Research output: Contribution to journalArticlepeer-review

  34. Unpublished

    A Concurrent Bilateral Negotiation Model for Open E-Markets

    Alrayes, B., 2016, (Unpublished) 217 p.

    Research output: ThesisDoctoral Thesis

  35. Published

    A Multivariate Approach for Checking Resiliency in Access Control

    Crampton, J., Gutin, G. & Watrigant, R., 2016, Algorithmic Aspects in Information and Management: AAIM 2016. Springer-Verlag, p. 173-184 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  36. Published

    Adaptability checking in complex systems

    Merelli, E., Paoletti, N. & Tesei, L., 2016, In: Science of Computer Programming. 115-116, p. 23-46 24 p.

    Research output: Contribution to journalArticlepeer-review

  37. Unpublished

    Adapting Compiler Front Ends for Generalised Parsing

    Walsh, R. M., 2016, (Unpublished) 264 p.

    Research output: ThesisDoctoral Thesis

  38. Published

    An Upper Bound for Aggregating Algorithm for Regression with Changing Dependencies

    Kalnishkan, Y., 2016, Algorithmic Learning Theory : 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings. Springer International Publishing, Vol. 9925. p. 238-252 15 p. (Lecture Notes in Computer Science; vol. 9925).

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

  39. Published

    Automatic detection of microaneurysms in diabetic retinopathy fundus images using the L*a*b color space

    Navarro, P., Alonso, D. & Stathis, K., 2016, In: JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION. 33, 1, p. 74-83 10 p.

    Research output: Contribution to journalArticlepeer-review

  40. Published

    Cryptographic Tools for Cloud Environments

    Alderman, J., Crampton, J. & Martin, K., 2016, Guide to Security Assurance for Cloud Computing. Zhu, S. Y., Hill, R. & Trovati, M. (eds.). Springer, Vol. Guide to Security Assurance for Cloud Computing. p. 15-30 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  41. Published

    Directed multicut is W[1]-hard, even for four terminal pairs

    Pilipczuk, M. & Wahlstrom, M., 2016, Proceedings of SODA 2016. Krauthgamer, R. (ed.). SIAM, p. 1167-1178 12 p.

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

  42. Unpublished

    Dynamic Causal Discovery

    Schaechtle, U., 2016, (Unpublished) 146 p.

    Research output: ThesisDoctoral Thesis

  43. Unpublished

    Faithful Visualisation of Similarities in High Dimensional Data

    Kou, J., 2016, (Unpublished) 197 p.

    Research output: ThesisDoctoral Thesis

  44. Submitted

    Impossibility Results for k-Set Agreement in Message-Passing Systems

    Biely, M., Robinson, P., Schmid, U. & Winkler, K., 2016, (Submitted) In: Information and Computation.

    Research output: Contribution to journalArticlepeer-review

  45. Forthcoming

    Introduction: Modern Perspectives in Type Theoretical Semantics

    Chatzikyriakidis, S. & Luo, Z., 2016, (Accepted/In press) Modern Perspectives in Type Theoretical Semantics.

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

  46. Published

    Many-Valued Institutions for Constraint Specification

    Chirita, C-E., Luiz Fiadeiro, J. & Orejas, F., 2016, Fundamental Approaches to Software Engineering. Stevens, P. & Wasowski, A. (eds.). Berlin: Springer, Vol. 9633. p. 359-376 18 p. (Lecture Notes in Computer Science; vol. 9633).

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

  47. Forthcoming

    On the Interpretation of Common Nouns: Types v.s. Predicates

    Chatzikyriakidis, S. & Luo, Z., 2016, (Accepted/In press) Modern Perspectives in Type Theoretical Semantics. Springer

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

  48. Published

    Purely pathwise probability-free Ito integral

    Vovk, V., 2016, In: Matematychni Studii. 46, 1, p. 96-110 15 p.

    Research output: Contribution to journalArticlepeer-review

  49. Unpublished
  50. Forthcoming

    Resiliency Policies in Access Control Revisited

    Crampton, J., Gutin, G. & Watrigant, R., 2016, (Accepted/In press) Proceedings of 21st ACM Symposium on Access Control Models and Technologies (SACMAT 2016). ACM

    Research output: Chapter in Book/Report/Conference proceedingChapter

  51. Published

    Specialist Experts for Prediction with Side Information

    Kalnishkan, Y., Adamskiy, D., Chernov, A. & Scarfe, T., 2016, 2015 IEEE International Conference on Data Mining Workshop (ICDMW). IEEE, p. 1470-1477 8 p.

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

  52. Unpublished

    The efficiency of conformal predictors for anomaly detection

    Smith, J., 2016, (Unpublished)

    Research output: ThesisDoctoral Thesis

  53. Published

    Universal Probability-Free Conformal Prediction

    Vovk, V. & Pavlovic, D., 2016, Proceedings of COPA 2016: Fifth Symposium on Conformal and Probabilistic Prediction with Applications. Springer, Vol. 9653. p. 40-47 8 p. (Lecture Notes in Computer Science; vol. 9653).

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

  54. 2015
  55. Published

    A Full Operational Semantics for Asynchronous Relational Networks

    Vissani, I., Lopez Pombo, C., Tutu, I. & Fiadeiro, J. L., 30 Dec 2015, Recent Advances in Algebraic Development Techniques. Springer, p. 131-150 20 p. (Lecture Notes in Computer Science; vol. 9463).

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

  56. E-pub ahead of print

    An Institutional Foundation for the K Semantic Framework

    Chirita, C-E. & Serbanuta, T. F., 30 Dec 2015, (E-pub ahead of print) In: Lecture Notes in Computer Science. 9463, p. 9-29 21 p.

    Research output: Contribution to journalArticlepeer-review

  57. Published

    Hypergraphical Conformal Predictors

    Fedorova, V., Gammerman, A., Nouretdinov, I. & Vovk, V., 21 Dec 2015, In: International Journal on Artificial Intelligence Tools. 24, 6, 1560003.

    Research output: Contribution to journalArticlepeer-review

  58. Published

    Transductive Conformal Prediction

    Vovk, V., 21 Dec 2015, In: International Journal on Artificial Intelligence Tools. 24, 6, 1560001.

    Research output: Contribution to journalArticlepeer-review

  59. E-pub ahead of print

    Enabling Robust and Efficient Distributed Computation in Dynamic Peer-to-Peer Networks

    Augustine, J., Pandurangan, G., Robinson, P., Roche, S. & Upfal, E., 17 Dec 2015, (E-pub ahead of print) Foundations of Computer Science (FOCS), 2015 IEEE 56th Annual Symposium on. IEEE, p. 1-20 20 p.

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

  60. Published

    Network-aware stream query processing in mobile ad-hoc networks

    O'Keeffe, D., Salonidis, T. & Pietzuch, P. R., 17 Dec 2015, 34th IEEE Military Communications Conference, MILCOM 2015, Tampa, FL, USA, October 26-28, 2015. p. 1335-1340 6 p.

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

  61. Published

    Large-scale probabilistic predictors with and without guarantees of validity

    Vovk, V., Petej, I. & Fedorova, V., 7 Dec 2015, NIPS'15: Proceedings of the 28th International Conference on Neural Information Processing Systems. MIT Press, Vol. 1. p. 892-900 9 p.

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

  62. E-pub ahead of print

    A network medicine approach to quantify distance between hereditary disease modules on the interactome

    Caniza, H., Romero, A. E. & Paccanaro, A., 3 Dec 2015, (E-pub ahead of print) In: Scientific Reports. 5, p. 1-10 10 p., 17658.

    Research output: Contribution to journalArticlepeer-review

  63. Published

    International employees’ concerns during serious disease outbreaks and the potential impact on business continuity: Lessons identified from the 2014–15 West African Ebola outbreak

    Cole, J. & Watkins, C., 1 Dec 2015, In: Journal of Business Continuity and Emergency Planning. 9, 2, p. 149-162 14 p.

    Research output: Contribution to journalArticlepeer-review

  64. Published

    The EChO science case

    Tinetti, G., Drossart, P., Eccleston, P., Hartogh, P., Isaak, K., Linder, M., Lovis, C., Micela, G., Ollivier, M., Puig, L., Ribas, I., Snellen, I., Swinyard, B., Allard, F., Barstow, J., Cho, J., Coustenis, A., Cockell, C., Correia, A., Decin, L. & 335 others, de Kok, R., Deroo, P., Encrenaz, T., Forget, F., Glasse, A., Griffith, C., Guillot, T., Koskinen, T., Lammer, H., Leconte, J., Maxted, P., Mueller-Wodarg, I., Nelson, R., North, C., Pallé, E., Pagano, I., Piccioni, G., Pinfield, D., Selsis, F., Sozzetti, A., Stixrude, L., Tennyson, J., Turrini, D., Zapatero-Osorio, M., Beaulieu, J. P., Grodent, D., Guedel, M., Luz, D., Nørgaard-Nielsen, H. U., Ray, T., Rickman, H., Selig, A., Swain, M., Banaszkiewicz, M., Barlow, M., Bowles, N., Branduardi-Raymont, G., du Foresto, V. C., Gerard, J. C., Gizon, L., Hornstrup, A., Jarchow, C., Kerschbaum, F., Kovacs, G., Lagage, P. O., Lim, T., Lopez-Morales, M., Malaguti, G., Pace, E., Pascale, E., Vandenbussche, B., Wright, G., Zapata, G. R., Adriani, A., Azzollini, R., Balado, A., Bryson, I., Burston, R., Colomé, J., Crook, M., Di Giorgio, A., Griffin, M., Hoogeveen, R., Ottensamer, R., Irshad, R., Middleton, K., Morgante, G., Pinsard, F., Rataj, M., Reess, J. M., Savini, G., Schrader, J. R., Stamper, R., Winter, B., Abe, L., Abreu, M., Achilleos, N., Ade, P., Adybekian, V., Affer, L., Agnor, C., Agundez, M., Alard, C., Alcala, J., Allende Prieto, C., Alonso Floriano, F. J., Altieri, F., Alvarez Iglesias, C. A., Amado, P., Andersen, A., Aylward, A., Baffa, C., Bakos, G., Ballerini, P., Banaszkiewicz, M., Barber, R. J., Barrado, D., Barton, E. J., Batista, V., Bellucci, G., Belmonte Avilés, J. A., Berry, D., Bézard, B., Biondi, D., Błęcka, M., Boisse, I., Bonfond, B., Bordé, P., Börner, P., Bouy, H., Brown, L., Buchhave, L., Budaj, J., Bulgarelli, A., Burleigh, M., Cabral, A., Capria, M. T., Cassan, A., Cavarroc, C., Cecchi-Pestellini, C., Cerulli, R., Chadney, J., Chamberlain, S., Charnoz, S., Christian Jessen, N., Ciaravella, A., Claret, A., Claudi, R., Coates, A., Cole, R., Collura, A., Cordier, D., Covino, E., Danielski, C., Damasso, M., Deeg, H. J., Delgado-Mena, E., Del Vecchio, C., Demangeon, O., De Sio, A., De Wit, J., Dobrijévic, M., Doel, P., Dominic, C., Dorfi, E., Eales, S., Eiroa, C., Espinoza Contreras, M., Esposito, M., Eymet, V., Fabrizio, N., Fernández, M., Femenía Castella, B., Figueira, P., Filacchione, G., Fletcher, L., Focardi, M., Fossey, S., Fouqué, P., Frith, J., Galand, M., Gambicorti, L., Gaulme, P., García López, R. J., Garcia-Piquer, A., Gear, W., Gerard, J. C., Gesa, L., Giani, E., Gianotti, F., Gillon, M., Giro, E., Giuranna, M., Gomez, H., Gomez-Leal, I., Gonzalez Hernandez, J., González Merino, B., Graczyk, R., Grassi, D., Guardia, J., Guio, P., Gustin, J., Hargrave, P., Haigh, J., Hébrard, E., Heiter, U., Heredero, R. L., Herrero, E., Hersant, F., Heyrovsky, D., Hollis, M., Hubert, B., Hueso, R., Israelian, G., Iro, N., Irwin, P., Jacquemoud, S., Jones, G., Jones, H., Justtanont, K., Kehoe, T., Kerschbaum, F., Kerins, E., Kervella, P., Kipping, D., Koskinen, T., Krupp, N., Lahav, O., Laken, B., Lanza, N., Lellouch, E., Leto, G., Licandro Goldaracena, J., Lithgow-Bertelloni, C., Liu, S. J., Lo Cicero, U., Lodieu, N., Lognonné, P., Lopez-Puertas, M., Lopez-Valverde, M. A., Lundgaard Rasmussen, I., Luntzer, A., Machado, P., MacTavish, C., Maggio, A., Maillard, J. P., Magnes, W., Maldonado, J., Mall, U., Marquette, J. B., Mauskopf, P., Massi, F., Maurin, A. S., Medvedev, A., Michaut, C., Miles-Paez, P., Montalto, M., Montañés Rodríguez, P., Monteiro, M., Montes, D., Morais, H., Morales, J. C., Morales-Calderón, M., Morello, G., Moro Martín, A., Moses, J., Moya Bedon, A., Murgas Alcaino, F., Oliva, E., Orton, G., Palla, F., Pancrazzi, M., Pantin, E., Parmentier, V., Parviainen, H., Peña Ramírez, K. Y., Peralta, J., Perez-Hoyos, S., Petrov, R., Pezzuto, S., Pietrzak, R., Pilat-Lohinger, E., Piskunov, N., Prinja, R., Prisinzano, L., Polichtchouk, I., Poretti, E., Radioti, A., Ramos, A. A., Rank-Lüftinger, T., Read, P., Readorn, K., Rebolo López, R., Rebordão, J., Rengel, M., Rezac, L., Rocchetto, M., Rodler, F., Sánchez Béjar, V. J., Sanchez Lavega, A., Sanromá, E., Santos, N., Sanz Forcada, J., Scandariato, G., Schmider, F. X., Scholz, A., Scuderi, S., Sethenadh, J., Shore, S., Showman, A., Sicardy, B., Sitek, P., Smith, A., Soret, L., Sousa, S., Stiepen, A., Stolarski, M., Strazzulla, G., Tabernero, H. M., Tanga, P., Tecsa, M., Temple, J., Terenzi, L., Tessenyi, M., Testi, L., Thompson, S., Thrastarson, H., Tingley, B. W., Trifoglio, M., Martín Torres, J., Tozzi, A., Turrini, D., Varley, R., Vakili, F., de Val-Borro, M., Valdivieso, M. L., Venot, O., Villaver, E., Vinatier, S., Viti, S., Waldmann, I., Waltham, D., Ward-Thompson, D., Waters, R., Watkins, C., Watson, D., Wawer, P., Wawrzaszk, A., White, G., Widemann, T., Winek, W., Wiśniowski, T., Yelle, R., Yung, Y. & Yurchenko, S. N., 1 Dec 2015, In: Experimental Astronomy. 40, 2-3, p. 329-391 63 p.

    Research output: Contribution to journalArticlepeer-review

  65. Published

    Investigation into the annotation of protocol sequencing steps in the sequence read archive

    Alnasir, J. & Shanahan, H., Dec 2015, In: GigaScience. 4, 1, p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  66. Published

    Teaching Data Science and Cloud Computing in Low and Middle Income Countries

    Shanahan, H., Harrison, A. & May, S., 23 Nov 2015, In: Advanced Techniques in Biology & Medicine. 3, 3, p. 1-5 5 p., 1000150.

    Research output: Contribution to journalArticlepeer-review

  67. E-pub ahead of print

    Causal Trees, Finally

    Bruni, R., Montanari, U. & Sammartino, M., 20 Nov 2015, (E-pub ahead of print) Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Bodei, C., Ferrari, G. & Priami, C. (eds.). Springer-Verlag, p. 27-43 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9465).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  68. Published

    Parameterized and Approximation Algorithms for the Load Coloring Problem

    Barbero, F., Gutin, G., Jones, M. & Sheng, B., 9 Nov 2015, 10th International Symposium on Parameterized and Exact Computation. Schloss Dagstuhl –Leibniz Center for Informatics, p. 43-54 12 p. (LIPIcs).

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

  69. Published

    A Constructive Approach for Proving Data Structures’ Linearizability

    Lev-Ari, K., Chockler, G. & Keidar, I., 5 Nov 2015, Distributed Computing 29th International Symposium, DISC 2015 Tokyo, Japan, October 7–9, 2015 Proceedings. Moses, Y. (ed.). Springer-Verlag, Vol. 9363. p. 356–370 15 p. 97. (Lecture Notes in Computer Science).

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

  70. Published

    A coalgebraic semantics for causality in Petri nets

    Bruni, R., Montanari, U. & Sammartino, M., Nov 2015, In: Journal of Logical and Algebraic Methods in Programming. 84, 6, p. 853-883 31 p.

    Research output: Contribution to journalArticlepeer-review

  71. Published

    Distributed agreement in dynamic peer-to-peer networks

    Augustine, J., Pandurangan, G., Robinson, P. & Upfal, E., Nov 2015, In: Journal of Computer and System Sciences. 81, 7, p. 1088-1109 22 p.

    Research output: Contribution to journalArticlepeer-review

  72. Published

    Variable and value elimination in binary constraint satisfaction via forbidden patterns

    Cohen, D., Cooper, M., Escamocher, G. & Zivny, S., Nov 2015, In: Journal of Computer and System Sciences. 81, 7, p. 1127–1143 17 p.

    Research output: Contribution to journalArticlepeer-review

  73. Published

    Applications of mobile agents in healthcare domain: a literature survey

    Bagga, P. & Hans, R., 31 Oct 2015, In: International Journal of Grid Distribution Computing. 8, 5, p. 55-72 28 p.

    Research output: Contribution to journalArticlepeer-review

  74. Published

    Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach

    Hague, M., Lin, A. & Ong, C-H. L., 23 Oct 2015, OOPSLA 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. New York, NY: ACM, p. 1-19 19 p.

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

  75. Published

    Revisiting the Institutional Approach to Herbrand's Theorem

    Tutu, I. & Fiadeiro, J. L., 21 Oct 2015, Revisiting the Institutional Approach to Herbrand's Theorem. p. 304-319 16 p.

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

  76. Published

    FlowWatcher: Defending against Data Disclosure Vulnerabilities in Web Applications

    Muthukumaran, D., O'Keeffe, D., Priebe, C., Eyers, D. M., Shand, B. & Pietzuch, P. R., 12 Oct 2015, CCS '15: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security. p. 603-615 13 p.

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

  77. Published

    Choreographies in the wild

    Bartoletti, M., Lange, J., Scalas, A. & Zunino, R., 1 Oct 2015, In: Science of Computer Programming. 109, p. 36-60 25 p.

    Research output: Contribution to journalArticlepeer-review

  78. Published

    Brief Announcement: Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives

    Chockler, G., Dobre, D., Shraer, A. & Spiegelman, A., Oct 2015, Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings. Moses, Y. (ed.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. 9363. p. 673-674 2 p. (Lecture Notes in Computer Science).

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

  79. Published

    Obligations in PTaCL

    Williams, C. & Crampton, J., 22 Sep 2015, Security and Trust Management: 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings. Foresti, S. (ed.). Springer, p. 220-235 16 p. (Lecture Notes in Computer Science; vol. 9331).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  80. E-pub ahead of print

    The Fundamental Nature of the Log Loss Function

    Vovk, V., 5 Sep 2015, (E-pub ahead of print) Lecture Notes in Computer Science. Beklemishev, L., Blass, A., Dershowitz, N., Finkbeiner, B. & Schulte, W. (eds.). Cham: Springer, Vol. 9300. p. 307-318 12 p. (Lecture Notes in Computer Science; vol. 9300).

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

  81. E-pub ahead of print

    Predictive Complexity for Games with Finite Outcome Spaces

    Kalnishkan, Y., 4 Sep 2015, (E-pub ahead of print) Measures of Complexity: Festschrift for Alexey Chervonenkis. Vovk, V., Papadopoulos, H. & Gammerman, A. (eds.). Springer, p. 117-139 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  82. Published

    Choose-Survey

    Alnasir, J., Anderberg, D., Chevalier, A., Luhrmann, M. & Pavan, R., 1 Sep 2015

    Research output: Non-textual formSoftware

  83. Published

    Alexey Chervonenkis's Bibliography: Introductory Comments

    Gammerman, A. & Vovk, V., Sep 2015, In: Journal of Machine Learning Research. 16, p. 2051-2066 16 p.

    Research output: Contribution to journalEditorial

  84. Published

    Alexey Chervonenkis's Bibliography

    Gammerman, A. & Vovk, V., Sep 2015, In: Journal of Machine Learning Research. 16, p. 2067-2080 14 p.

    Research output: Contribution to journalEditorial

  85. Published

    Preface to this Special Issue

    Gammerman, A. & Vovk, V., Sep 2015, In: Journal of Machine Learning Research. 16, p. 1677-1681 5 p.

    Research output: Contribution to journalEditorial

  86. Published

    Encoding the Factorisation Calculus

    Rowe, R., 27 Aug 2015, Proceedings of the Combined 22nd International Workshop on Expressiveness in Concurrency and the 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015). Electronic Proceedings in Theoretical Computer Science, Vol. 190. p. 76-90 15 p.

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

  87. Published

    Meeting deadlines together

    Bocchi, L., Lange, J. & Yoshida, N., 26 Aug 2015, 26th International Conference on Concurrency Theory, CONCUR 2015. Aceto, L. & de Frutos Escrig, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 283-296 14 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 42).

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

  88. E-pub ahead of print

    Using Signatures in Type Theory to Represent Situations

    Chatzikyriakidis, S. & Luo, Z., 25 Aug 2015, (E-pub ahead of print) New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. Murata, T., Mineshima, K. & Bekki, D. (eds.). Springer, p. 172-183 12 p. (Lecture Notes in Computer Science; vol. 9067).

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

  89. Published

    A Semantics of Business Configurations Using Symbolic Graphs

    Mylonakis, N., Orejas, F. & Fiadeiro, J. L., 20 Aug 2015, Proceedings of the 12th IEEE International Conference on Services Computing. IEEE Computer Society Press, p. 146-153 8 p.

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

  90. Published

    Service-Oriented Logic Programming

    Tutu, I. & Fiadeiro, J. L., 18 Aug 2015, In: Logical Methods in Computer Science. 11, 3, p. 1-38 38 p.

    Research output: Contribution to journalArticlepeer-review

  91. Published

    FastMotif: spectral sequence motif discovery

    Colombo, N. & Vlassis, N., 15 Aug 2015, In: Bioinformatics. 31, 16, p. 2623-2631 9 p.

    Research output: Contribution to journalArticlepeer-review

  92. E-pub ahead of print

    Immune tolerance maintained by cooperative interactions between T cells and antigen presenting cells shapes a diverse TCR repertoire

    Best, K., Chain, B. & Watkins, C., 7 Aug 2015, (E-pub ahead of print) In: Frontiers in Immunology. 6, p. 1-14 14 p., 360.

    Research output: Contribution to journalArticlepeer-review

  93. Published

    Recognising lifestyle activities of diabetic patients with a smartphone

    Lustrek, M., Kvetkovic, B., Mirchevska, V., Kafali, R., Romero Lopez, A. & Stathis, K., 3 Aug 2015, Pervasive Health 2015 : Workshop on Personal Health Systems for Chronic Diseases (PHSCD 2015). p. 1-8 8 p.

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

  94. Published

    Potential based reward shaping for hierarchical reinforcement learning

    Gao, Y. & Toni, F., 25 Jul 2015, IJCAI'15 Proceedings of the 24th International Conference on Artificial Intelligence. AAAI Press, p. 3504-3510 7 p.

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

  95. Published

    Tractable classes of binary CSPs defined by excluded topological minors

    Cohen, D., Cooper, M., Jeavons, P. & Zivny, S., 25 Jul 2015, p. 1945-1951. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  96. E-pub ahead of print

    High System-Code Security with Low Overhead

    Wagner, J., Kuznetsov, V., Candea, G. & Kinder, J., 20 Jul 2015, (E-pub ahead of print) 2015 IEEE Symposium on Security and Privacy. IEEE, p. 866-879 14 p.

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

  97. Published

    Efficient Sampling with Small Populations: a Genetic Algorithm Satisfying Detailed Balance

    Watkins, C. & Buttkewitz, Y., 11 Jul 2015, Gecco Companion '15: Proceedings of the Companion Publication of the 2015 Genetic and Evolutionary Computation Conference. p. 1517-1518 2 p.

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

  98. Forthcoming

    Provably Pointless Propagator Calls

    Cohen, D., Jefferson, C. & Petrie, K., 5 Jul 2015, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  99. Published

    Controllability and matchings in random bipartite graphs

    Balister, P. & Gerke, S., Jul 2015, Surveys in Combinatorics 2015. Czumaj, A., Georgakopoulos, A., Král, D., Lozin, V. & Pikhurko, O. (eds.). Cambridge University Press, Vol. 424. p. 119-146 28 p. (London Mathematical Society Lecture Note Series; vol. 424).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  100. Published

    PDB-Hadoop: Parallelising user applications on the protein databank using Apache Hadoop

    AlNasir, J. & Shanahan, H., Jul 2015.

    Research output: Contribution to conferencePosterpeer-review

  101. Published

    Bioaccumulation modelling and sensitivity analysis for discovering key players in contaminated food webs: The case study of PCBs in the Adriatic Sea

    Taffi, M., Paoletti, N., Liò, P., Pucciarelli, S. & Marini, M., 24 Jun 2015, In: Ecological Modelling. 306, p. 205-215 11 p.

    Research output: Contribution to journalArticlepeer-review

  102. Published
Previous 1...3 4 5 6 7 8 9 10 ...25 Next