1. 2017
  2. Published

    Inductive Conformal Martingales for Change-Point Detection

    Volkhonskiy, D., Burnaev, E., Nouretdinov, I., Gammerman, A. & Vovk, V., 2017, 6th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2017). p. 1-22 22 p.

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

  3. Published

    k-Distinct In- and Out-Branchings in Digraphs

    Gutin, G., Reidl, F. & Wahlstrom, M., 2017, 44th International Colloquium on Automata, Languages, and Programming: ICALP 2017. Dagstuhl, p. 1-13 13 p. (Leibniz International Proceedings in Informatics ; vol. 80).

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

  4. Published

    Kernelization of Constraint Satisfaction Problems: A Study through Universal Algebra

    Lagerkvist, V. & Wahlstrom, M., 2017, Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings. Springer, p. 157-171 15 p. (Lecture Notes in Computer Science; vol. 10416).

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

  5. Published

    LP-branching algorithms based on biased graphs

    Wahlström, M., 2017, Proceedings of the 2017 Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM, p. 1559-1570 12 p.

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

  6. Published

    Mining the biomedical literature to predict shared drug targets in DrugBank

    Caniza Vierci, H., Galeano Galeano, D. & Paccanaro, A., 2017, XLIII Conferencia Latinoamericana en Informática CLEI 2017. IEEE Xplore, p. 1-5 5 p.

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

  7. Published

    Nonparametric predictive distributions based on conformal prediction

    Vovk, V., Shen, J., Manokhin, V. & Xie, M., 2017, Proceedings of Machine Learning Research: Proceedings of COPA 2016 (Sixth Symposium on Conformal and Probabilistic Prediction and Applications). Gammerman, A., Vovk, V., Luo, Z. & Papadopoulos, H. (eds.). Vol. 60. p. 82-102 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Published

    On Creating Complementary Pattern Databases

    Franco, S., Torralba, Á., Lelis, L. H. S. & Barley, M., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 4302-4309 8 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

  9. Published

    Parameterized Complexity of the Workflow Satisfiability Problem

    Cohen, D., Crampton, J., Gutin, Z. & Wahlstrom, M., 2017, Combinatorial Optimization and Graph Algorithms. Fukunaga, T. & Kawarabayashi, K. (eds.). Springer-Verlag, p. 101-120 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Published

    Policy Conflict Resolution in IoT via Planning

    Göynügür, E., Bernardini, S., de Mel, G., Talamadupula, K. & Şensoy, M., 2017, Canadian Conference on Artificial Intelligence: AI 2017: Advances in Artificial Intelligence. Springer, Vol. 10233. p. 169-175 7 p. (Lecture Notes in Computer Science; vol. 10233).

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

  11. Unpublished

    Polynomial and FPT algorithms for Chinese Postman, Packing and Acyclicity

    Sheng, B., 2017, (Unpublished) 132 p.

    Research output: ThesisDoctoral Thesis

  12. Published

    Solving Integer Linear Programs with a Small Number of Global Variables and Constraints

    Dvorak, P., Eiben, E., Ganian, R., Knop, D. & Ordyniak, S., 2017, p. 607-613. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  13. Published

    Symmetry Breaking in the Congest Model: Time- and Message-Efficient Algorithms for Ruling Sets

    Pai, S., Pandurangan, G., Pemmaraju, S. V., Riaz, T. & Robinson, P., 2017, 31st International Symposium on Distributed Computing: DISC 2017. LIPIcs, Vol. 91. p. 38:1-38:16 16 p.

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

  14. Published

    The Role of Online Discussion Forums During a Public Health Emergency

    Cole, J., 2017, 458 p.

    Research output: ThesisDoctoral Thesis

  15. Published

    Tree-Based Cryptographic Access Control

    Alderman, J., Farley, N. & Crampton, J., 2017, Computer Security – ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Proceedings. Springer-Verlag, Vol. 10492 . p. 47-64 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10492 LNCS).

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

  16. 2016
  17. Published

    Identifying patient experience from online resources via sentiment analysis and topic modelling

    Bahja, M. & Lycett, M., 6 Dec 2016, Proceedings - 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies, BDCAT 2016. Association for Computing Machinery, Inc, p. 94-99 6 p.

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

  18. Published

    Adversarial resilience of matchings in bipartite random graphs

    Balister, P., Gerke, S. & McDowell, A., 2 Dec 2016, In: Journal of Combinatorics. 8, 1, p. 79-92 14 p.

    Research output: Contribution to journalArticlepeer-review

  19. Published

    A posteriori error bounds for joint matrix decomposition problems

    Colombo, N. & Vlassis, N., Dec 2016, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. p. 4950-4957 8 p.

    Research output: Contribution to journalConference articlepeer-review

  20. Published

    Activity Recognition for Diabetic Patients Using a Smartphone

    Kvetkovic, B., Janko, V., Romero Lopez, A., Kafali, R., Stathis, K. & Lustrek, M., Dec 2016, In: Journal of Medical Systems. 40, p. 1-8 8 p., 256.

    Research output: Contribution to journalArticlepeer-review

  21. E-pub ahead of print

    The Mixed Chinese Postman Problem Parameterized by Pathwidth and Treedepth

    Gutin, G., Jones, M. & Wahlstrom, M., 29 Nov 2016, In: SIAM Journal on Discrete Mathematics. 30, 4, p. 2177-2205 29 p.

    Research output: Contribution to journalArticlepeer-review

  22. Published

    How to Generate Randomized Roundings with Dependencies and How to Derandomize Them

    Doerr, B. & Wahlström, M., 11 Nov 2016, Algorithm Engineering: Selected Results and Surveys. Springer, Vol. 9220. p. 159-184 26 p. (Lecture Notes in Computer Science; vol. 9220).

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

  23. E-pub ahead of print

    Proof Assistants for Natural Language Semantics

    Chatzikyriakidis, S. & Luo, Z., 10 Nov 2016, Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings. Springer Heidelberg, Vol. 10054. p. 85-98 14 p. (Lecture Notes in Computer Science; vol. 10054).

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

  24. Published

    A blended learning model for practical sessions

    Barreiro, N. & Pinto de Matos, C., 7 Nov 2016, Computer Science and Information Systems (FedCSIS), 2016 Federated Conference on. Gdansk: IEEE, p. 903-912 10 p.

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

  25. Published

    SCONE: Secure Linux Containers with Intel SGX

    Arnautov, S., Trach, B., Gregor, F., Knauth, T., Martin, A., Priebe, C., Lind, J., Muthukumaran, D., O'Keeffe, D., Stillwell, M., Goltzsche, D., Eyers, D. M., Kapitza, R., Pietzuch, P. R. & Fetzer, C., Nov 2016, Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’16). USENIX, p. 689-703 15 p.

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

  26. Published

    Prescience: Probabilistic Guidance on the Retraining Conundrum for Malware Detection

    Deo, A., Dash, S., Suarez de Tangil Rotaeche, G., Vovk, V. & Cavallaro, L., 28 Oct 2016, ACM Workshop on Artificial Intelligence and Security. Vienna, Austria: ACM, p. 71-82 12 p.

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

  27. Published

    On the Workflow Satisfiability Problem with Class-Independent Constraints for Hierarchical Organizations

    Crampton, J., Gagarin, A., Gutin, G., Jones, M. & Wahlstrom, M., Oct 2016, In: ACM Transactions on Privacy and Security. 19, 3, p. 1-29 29 p., 8.

    Research output: Contribution to journalArticlepeer-review

  28. Published

    Aggregation Algorithm vs. Average For Time Series Prediction

    Jamil, W., Kalnishkan, Y. & Bouchachia, H., 23 Sep 2016, Proceedings of the ECML PKDD 2016 Workshop on Large-scale Learning from Data Streams in Evolving Environments, STREAMEVOLV-2016. p. 1-14 14 p.

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

  29. E-pub ahead of print

    Decidable Models of Integer-Manipulating Programs with Recursive Parallelism

    Hague, M. & Lin, A., 13 Sep 2016, Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Springer International Publishing, Vol. 9899. p. 148-162 15 p. (Lecture Notes in Computer Science; vol. 9899).

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

  30. Published

    An expanded evaluation of protein function prediction methods shows an improvement in accuracy

    Jiang, Y., Oron, T. R., Clark, W. T., Bankapur, A. R., D'Andrea, D., Lepore, R., Funk, C. S., Kahanda, I., Verspoor, K. M., Ben-Hur, A., Koo, D. C. E., Penfold-Brown, D., Shasha, D., Youngs, N., Bonneau, R., Lin, A., Sahraeian, S. M. E., Martelli, P. L., Profiti, G., Casadio, R. & 127 others, Cao, R., Zhong, Z., Cheng, J., Altenhoff, A., Skunca, N., Dessimoz, C., Dogan, T., Hakala, K., Kaewphan, S., Mehryary, F., Salakoski, T., Ginter, F., Fang, H., Smithers, B., Oates, M., Gough, J., Törönen, P., Koskinen, P., Holm, L., Chen, C-T., Hsu, W-L., Bryson, K., Cozzetto, D., Minneci, F., Jones, D. T., Chapman, S., Bkc, D., Khan, I. K., Kihara, D., Ofer, D., Rappoport, N., Stern, A., Cibrian-Uhalte, E., Denny, P., Foulger, R. E., Hieta, R., Legge, D., Lovering, R. C., Magrane, M., Melidoni, A. N., Mutowo-Meullenet, P., Pichler, K., Shypitsyna, A., Li, B., Zakeri, P., ElShal, S., Tranchevent, L-C., Das, S., Dawson, N. L., Lee, D., Lees, J. G., Sillitoe, I., Bhat, P., Nepusz, T., Romero, A. E., Sasidharan, R., Yang, H., Paccanaro, A., Gillis, J., Sedeño-Cortés, A. E., Pavlidis, P., Feng, S., Cejuela, J. M., Goldberg, T., Hamp, T., Richter, L., Salamov, A., Gabaldon, T., Marcet-Houben, M., Supek, F., Gong, Q., Ning, W., Zhou, Y., Tian, W., Falda, M., Fontana, P., Lavezzo, E., Toppo, S., Ferrari, C., Giollo, M., Piovesan, D., Tosatto, S. C. E., del Pozo, A., Fernández, J. M., Maietta, P., Valencia, A., Tress, M. L., Benso, A., Di Carlo, S., Politano, G., Savino, A., Rehman, H. U., Re, M., Mesiti, M., Valentini, G., Bargsten, J. W., van Dijk, A. D. J., Gemovic, B., Glisic, S., Perovic, V., Veljkovic, V., Veljkovic, N., Almeida-e-Silva, D. C., Vencio, R. Z. N., Sharan, M., Vogel, J., Kansakar, L., Zhang, S., Vucetic, S., Wang, Z., Sternberg, M. J. E., Wass, M. N., Huntley, R. P., Martin, M. J., O'Donovan, C., Robinson, P. N., Moreau, Y., Tramontano, A., Babbitt, P. C., Brenner, S. E., Linial, M., Orengo, C. A., Rost, B., Greene, C. S., Mooney, S. D., Friedberg, I. & Radivojac, P., 7 Sep 2016, In: Genome Biology. 17, p. 1-19 19 p., 184.

    Research output: Contribution to journalArticlepeer-review

  31. Published

    Push notifications for the Choose-Survey project

    Alnasir, J. & Luhrmann, M., 1 Sep 2016

    Research output: Non-textual formSoftware

  32. Published

    Structuring the GLL parsing algorithm for performance

    Scott, E. & Johnstone, A., 1 Sep 2016, In: Science of Computer Programming. 125, p. 1-22 22 p.

    Research output: Contribution to journalArticlepeer-review

  33. Published

    Efficient computation of sparse structures

    Harris, D. G., Morsy, E., Pandurangan, G., Robinson, P. & Srinivasan, A., Sep 2016, In: Random Structures and Algorithms. 49, 2, p. 322-344 23 p.

    Research output: Contribution to journalArticlepeer-review

  34. E-pub ahead of print

    Half-integrality, LP-branching, and FPT Algorithms

    Iwata, Y., Wahlstrom, M. & Yoshida, Y., 9 Aug 2016, In: SIAM Journal on Computing. 45, 4, p. 1377–1411 35 p.

    Research output: Contribution to journalArticlepeer-review

  35. Unpublished

    Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic

    Rowe, R., 7 Aug 2016, (Unpublished).

    Research output: Contribution to conferenceAbstractpeer-review

  36. Published

    DroidScribe: Classifying Android Malware Based on Runtime Behavior

    Dash, S., Suarez-Tangil, G., Khan, S., Tam, K., Ahmadi, M., Kinder, J. & Cavallaro, L., 4 Aug 2016, Security and Privacy Workshops (SPW), 2016 IEEE: Mobile Security Technologies (MoST 2016). IEEE, p. 252-261 10 p.

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

  37. E-pub ahead of print

    IBC-C: A Dataset for Armed Conflict Event Analysis

    Zukov Gregoric, A., Veyhe, B. & Luo, Z., Aug 2016, Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics: Aug 7 to 12th 2016. p. 374-379 6 p.

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

  38. Published

    Protecting Software through Obfuscation: Can It Keep Pace with Progress in Code Analysis?

    Schrittwieser, S., Katzenbeisser, S., Kinder, J., Merzdovnik, G. & Weippl, E., 28 Jul 2016, In: ACM Computing Surveys. 49, 1, 37 p., 4.

    Research output: Contribution to journalArticlepeer-review

  39. Published

    Space Bounds for Reliable Storage: Fundamental Limits of Coding

    Spiegelman, A., Cassuto, Y., Chockler, G. & Keidar, I., 25 Jul 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. ACM, p. 249-258 10 p.

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

  40. Published
  41. Published

    Generating Concurrency Checks Automatically

    Hague, M. & Hoyland, J., 17 Jul 2016, Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs . ACM, p. 1-15 15 p. 4

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

  42. Published

    Valid Probabilistic Predictions for Ginseng with Venn Machines Using Electronic Nose

    Wang, Y., Miao, J., Lyu, X., Liu, L., Luo, Z. & Li, G., 13 Jul 2016, In: Sensors. 16, 7, p. 1-13 13 p., 1088.

    Research output: Contribution to journalArticlepeer-review

  43. Published

    Fast Distributed Algorithms for Connectivity and MST in Large Graphs

    Pandurangan, G., Robinson, P. & Scquizzato, M., 11 Jul 2016, SPAA '16: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures. ACM, p. 429-438 10 p.

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

  44. Published

    Algebraic Proof Complexity: Progress, Frontiers and Challenges

    Pitassi, T. & Tzameret, I., 8 Jul 2016, ACM SIGLOG News. Immerman, N. (ed.). New York: ACM, Vol. 3. p. 21-43 23 p.

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

  45. Forthcoming

    Foundations of Graph Transformation as a Logic-Programming Language

    Tutu, I. & Fiadeiro, J. L., 4 Jul 2016, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  46. E-pub ahead of print

    Inter-ReBAC: Inter-operation of Relationship-Based Access Control Model Instances

    Crampton, J. & Sellwood, J., 2 Jul 2016, Data and Applications Security and Privacy XXX. Springer-Verlag, Vol. 9766. p. 96-105 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9766).

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

  47. Published

    Measuring business process learning with enterprise resource planning systems to improve the value of education

    Monk, E. F. & Lycett, M., 1 Jul 2016, In: Education and Information Technologies. 21, 4, p. 747-768 22 p.

    Research output: Contribution to journalArticlepeer-review

  48. Published

    Algorithms for the workflow satisfiability problem engineered for counting constraints

    Cohen, D., Crampton, J., Gagarin, A., Gutin, G. & Jones, M., Jul 2016, In: Journal of Combinatorial Optimization. 32, 1, p. 3–24 22 p.

    Research output: Contribution to journalArticlepeer-review

  49. Forthcoming

    Creative Processes in Service-Oriented Computing

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

    Research output: Contribution to conferenceAbstractpeer-review

  50. Published

    Heuristic subset selection in classical planning

    Lelis, L. H. S., Franco, S., Abisrror, M., Barley, M., Zilles, S. & Holte, R. C., Jul 2016, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence: New York, New York, USA 9–15 July 2016. International Joint Conferences on Artificial Intelligence, p. 3185-3191 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

  51. Published

    Note on Perfect Forests

    Gutin, G., Jul 2016, In: Journal of Graph Theory. 82, 3, p. 233-235 3 p.

    Research output: Contribution to journalArticlepeer-review

  52. Published

    Tensor decomposition via joint matrix schur decomposition

    Colombo, N. & Vlassis, N., 19 Jun 2016, ICML'16 : Proceedings of the 33rd International Conference on International Conference on Machine Learning. Weinberger, K. Q. & Balcan, M. F. (eds.). ACM, p. 2820-2828 9 p. (33rd International Conference on Machine Learning, ICML 2016; vol. 48).

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

  53. Published

    Multiparty compatibility for concurrent objects

    Perera, R., Lange, J. & Gay, S. J., 17 Jun 2016, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 211, p. 73-82 10 p.

    Research output: Contribution to journalConference articlepeer-review

  54. E-pub ahead of print

    Note on Perfect Forests in Digraphs

    Gutin, G. & Yeo, A., 17 Jun 2016, In: Journal of Graph Theory. 85, 2, p. 372-377 6 p.

    Research output: Contribution to journalArticlepeer-review

  55. Published

    Internet discussion forums: Maximizing choice in health-seeking behaviour during public health emergencies

    Cole, J., Kleine, D. & Watkins, C., 13 Jun 2016, 2016 International Conference On Cyber Situational Awareness, Data Analytics And Assessment (CyberSA). Onwubiko, C. (ed.). London: IEEE, p. 99 104 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  56. Published

    Leveraging probabilistic reasoning in deterministic planning for large-scale autonomous Search-and-Tracking

    Bernardini, S., Fox, M., Long, D. & Piacentini, C., 12 Jun 2016, Proceedings of the Twenty Sixth International Conference on Automated Planning and Scheduling (ICAPS- 16) . p. 47-55 9 p.

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

  57. Published

    On Completeness in Languages for Attribute-Based Access Control

    Crampton, J. & Williams, C., 6 Jun 2016, Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies: SACMAT '16. New York: ACM Press, p. 149-160 12 p.

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

  58. Forthcoming

    The Power of Propagation: When GAC is Enough

    Cohen, D. & Jeavons, P., 6 Jun 2016, (Accepted/In press). 15 p.

    Research output: Contribution to conferencePaperpeer-review

  59. Published

    DEX: self-healing expanders

    Pandurangan, G., Robinson, P. & Trehan, A., Jun 2016, In: Distributed Computing. 29, 3, p. 163-185 23 p.

    Research output: Contribution to journalArticlepeer-review

  60. Published

    Linear-vertex kernel for the problem of packing r-stars into a graph without long induced paths

    Barbero, F., Gutin, G., Jones, M., Sheng, B. & Yeo, A., Jun 2016, In: Information Processing Letters. 116, 6, p. 433–436 4 p.

    Research output: Contribution to journalArticlepeer-review

  61. Published
  62. Published

    Proof complexity lower bounds from algebraic circuit complexity

    Forbes, M., Shpilka, A., Tzameret, I. & Wigderson, A., 19 May 2016, 31st Conference on Computational Complexity (CCC 2016). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 50. p. 1-17 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 50).

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

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

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

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

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

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

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

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

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

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

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

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

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

  75. E-pub ahead of print

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

    Alrayes, B., Kafali, R. & Stathis, K., 25 Mar 2016, 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

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

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

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

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

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

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

  82. E-pub ahead of print

    Parameterized Traveling Salesman Problem: Beating the Average

    Gutin, G. & Patel, V., 4 Feb 2016, In: SIAM Journal on Discrete Mathematics. 30, 1, p. 220-238 19 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

  86. Published
  87. Unpublished
  88. 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

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

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

  91. 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, In: Analytical Methods. p. 1-9 9 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

  95. Unpublished

    A Concurrent Bilateral Negotiation Model for Open E-Markets

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

    Research output: ThesisDoctoral Thesis

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

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

  98. Unpublished

    Adapting Compiler Front Ends for Generalised Parsing

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

    Research output: ThesisDoctoral Thesis

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

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

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

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

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