1. 2017
  2. E-pub ahead of print

    Dynamic route prediction with the magnetic field strength for indoor positioning

    Nguyen, K. & Luo, Z., 18 Mar 2017, (E-pub ahead of print) In: International Journal of Wireless and Mobile Computing. 12, 1, p. 16-35 20 p.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    On the undecidability of asynchronous session subtyping

    Lange, J. & Yoshida, N., 16 Mar 2017, Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer Verlag, p. 441-457 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10203 LNCS).

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

  4. Published

    The bi-objective workflow satisfiability problem and workflow resiliency

    Crampton, J., Gutin, G., Karapetyan, D. & Watrigant, R., 16 Mar 2017, In: Journal of Computer Security. 25, 1, p. 83-115 33 p.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    Adjectival and Adverbial Modification: The View from Modern Type Theories

    Chatzikyriakidis, S. & Luo, Z., Mar 2017, In: Journal of Logic, Language and Information. 26, 1, p. 45–88 44 p.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback

    Gerdes, A. & van Binsbergen, L. T., Mar 2017, In: International Journal of Artificial Intelligence in Education. 27, 1, p. 65-100 36 p.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    Parameterized complexity of the k-arc Chinese Postman Problem

    Gutin, G., Jones, M. & Sheng, B., Mar 2017, In: Journal of Computer and System Sciences. 84, p. 107–119 13 p.

    Research output: Contribution to journalArticlepeer-review

  8. Published

    Broken hearted: How to attack ECG biometrics

    Eberz, S., Paoletti, N., Roeschlin, M., Patanè, A., Kwiatkowska, M. & Martinovic, I., 27 Feb 2017, Network and Distributed System Security Symposium. p. 1-15 15 p.

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

  9. Published

    Deterministic versus Probabilistic Methods for Searching for an Evasive Target

    Bernardini, S., Fox, M., Long, D. & Piacentini, C., 12 Feb 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). p. 3709-3715 7 p.

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

  10. Published

    Heterogeneous and asynchronous networks of timed systems

    Fiadeiro, J. L. & Lopes, A., 8 Feb 2017, In: Theoretical Computer Science. 663, p. 1–33 33 p.

    Research output: Contribution to journalArticlepeer-review

  11. Published

    Acyclicity in edge-colored graphs

    Gutin, G., Jones, M., Sheng, B., Wahlstrom, M. & Yeo, A., 6 Feb 2017, In: Discrete Mathematics. 340, 2, p. 1-8 8 p.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    Computing Approximate Nash Equilibria in Polymatrix Games

    Deligkas, A., Fearnley, J., Savani, R. & Spirakis, P., Feb 2017, In: Algorithmica. 77, p. 487–514 28 p.

    Research output: Contribution to journalArticlepeer-review

  13. Published

    Rural Postman Parameterized by the Number of Components of Required Edges

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

    Research output: Contribution to journalArticlepeer-review

  14. Published

    Chinese Postman Problem on edge-colored multigraphs

    Gutin, G., Jones, M., Sheng, B., Wahlstrom, M. & Yeo, A., 30 Jan 2017, In: Discrete Applied Mathematics. 217, Part 2, p. 196-202 7 p.

    Research output: Contribution to journalArticlepeer-review

  15. Published

    Drug targets prediction using chemical similarity

    Galeano Galeano, D. & Paccanaro, A., 26 Jan 2017, XLII Conferencia Latinoamericana de Informatica (CLEI). IEEE Xplore, p. 1-7 7 p. (2016 XLII Latin American Computing Conference (CLEI)).

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

  16. Published

    Automatic cyclic termination proofs for recursive procedures in separation logic

    Rowe, R. & Brotherston, J., 16 Jan 2017, CPP 2017 Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. ACM, p. 53-65 13 p.

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

  17. Published

    All-solid-state carbonate-selective electrode based on screen-printed carbon paste electrode

    Li, G., Lyu, X., Wang, Z., Rong, Y., Hu, R., Luo, Z. & Wang, Y., 12 Jan 2017, In: Measurement Science and Technology. 28, 2, p. 1-7 7 p., 025104.

    Research output: Contribution to journalArticlepeer-review

  18. Published

    Combining Temporal Planning with Probabilistic Reasoning for Autonomous Surveillance Missions

    Bernardini, S., Fox, M. & Long, D., Jan 2017, In: Autonomous Robots. 41, p. 181–203 23 p.

    Research output: Contribution to journalArticlepeer-review

  19. Published

    Fencing off Go: Liveness and safety for channel-based programming

    Lange, J., Ng, N., Toninho, B. & Yoshida, N., Jan 2017, POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. D. & Castagna, G. (eds.). Association for Computing Machinery (ACM), p. 748-761 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

  20. Published

    Learning nominal automata

    Moerman, J., Sammartino, M., Silva, A., Klin, B. & Szynwelski, M., Jan 2017, POPL 2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. D. & Castagna, G. (eds.). Association for Computing Machinery (ACM), p. 613-625 13 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

  21. Published

    The power of propagation: when GAC is enough

    Cohen, D. & Jeavons, P., Jan 2017, In: Constraints. 22, p. 3-23 21 p.

    Research output: Contribution to journalArticlepeer-review

  22. Published

    A Novel Method to Detect Bias in Short Read NGS Data

    Alnasir, J. & Shanahan, H., 2017, In: Journal of Integrative Bioinformatics. 14, 3, p. 1-9 9 p.

    Research output: Contribution to journalArticlepeer-review

  23. Published

    Algebraic Proof Complexity: Progress, Frontiers and Challenges

    Pitassi, T. & Tzameret, I., 2017, Electronic Colloquium on Computation Complexity .

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

  24. Published

    Automated Planning for Urban Traffic Management

    McCluskey, T. L., Vallati, M. & Franco, S., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 5238-5240 3 p.

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

  25. Published

    Dependent Event Types

    Luo, Z. & Soloviev, S., 2017, Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. Springer, p. 216-228 13 p. (Lecture Notes in Computer Science; vol. 10388).

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

  26. Published

    Domains for Higher-Order Games

    Hague, M., Meyer, R. & Muskalla, S., 2017, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). LIPIcs, p. 59:1-59:15 15 p. 59

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

  27. Published

    Fredholm Multiple Kernel Learning for Semi-Supervised Domain Adaptation

    Wang, W., Wang, H., Zhang, C. & Gao, Y., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). AAAI Press, p. 2732-2738 7 p.

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

  28. Published

    Glamdring: Automatic Application Partitioning for Intel SGX

    Lind, J., Priebe, C., Muthukumaran, D., O'Keeffe, D., Aublin, P-L., Kelbert, F., Reiher, T., Goltzsche, D., Eyers, D. M., Kapitza, R., Fetzer, C. & Pietzuch, P. R., 2017, Proceedings of the 2017 USENIX Annual Technical Conference (USENIX ATC ’17). USENIX, p. 285-298 14 p.

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

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

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

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

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

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

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

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

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

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

  38. Unpublished

    Polynomial and FPT algorithms for Chinese Postman, Packing and Acyclicity

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

    Research output: ThesisDoctoral Thesis

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

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

  41. Published

    The Role of Online Discussion Forums During a Public Health Emergency

    Cole, J., 2017, 458 p.

    Research output: ThesisDoctoral Thesis

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

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

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

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

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

  48. E-pub ahead of print

    The Mixed Chinese Postman Problem Parameterized by Pathwidth and Treedepth

    Gutin, G., Jones, M. & Wahlstrom, M., 29 Nov 2016, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 30, 4, p. 2177-2205 29 p.

    Research output: Contribution to journalArticlepeer-review

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

  50. E-pub ahead of print

    Proof Assistants for Natural Language Semantics

    Chatzikyriakidis, S. & Luo, Z., 10 Nov 2016, (E-pub ahead of print) 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

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

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

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

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

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

  56. E-pub ahead of print

    Decidable Models of Integer-Manipulating Programs with Recursive Parallelism

    Hague, M. & Lin, A., 13 Sep 2016, (E-pub ahead of print) 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

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

  58. Published

    Push notifications for the Choose-Survey project

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

    Research output: Non-textual formSoftware

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

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

  61. E-pub ahead of print

    Half-integrality, LP-branching, and FPT Algorithms

    Iwata, Y., Wahlstrom, M. & Yoshida, Y., 9 Aug 2016, (E-pub ahead of print) In: SIAM Journal on Computing. 45, 4, p. 1377–1411 35 p.

    Research output: Contribution to journalArticlepeer-review

  62. Unpublished

    Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic

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

    Research output: Contribution to conferenceAbstractpeer-review

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

  64. E-pub ahead of print

    IBC-C: A Dataset for Armed Conflict Event Analysis

    Zukov Gregoric, A., Veyhe, B. & Luo, Z., Aug 2016, (E-pub ahead of print) 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

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

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

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

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

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

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

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

  73. E-pub ahead of print

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

    Crampton, J. & Sellwood, J., 2 Jul 2016, (E-pub ahead of print) 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

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

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

  76. Forthcoming

    Creative Processes in Service-Oriented Computing

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

    Research output: Contribution to conferenceAbstractpeer-review

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

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

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

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

  81. E-pub ahead of print

    Note on Perfect Forests in Digraphs

    Gutin, G. & Yeo, A., 17 Jun 2016, (E-pub ahead of print) In: Journal of Graph Theory. 85, 2, p. 372-377 6 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

  88. Published
  89. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  113. Published
  114. Unpublished
  115. 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

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

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

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

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

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

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

  122. Unpublished

    A Concurrent Bilateral Negotiation Model for Open E-Markets

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

    Research output: ThesisDoctoral Thesis

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

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

  125. Unpublished

    Adapting Compiler Front Ends for Generalised Parsing

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

    Research output: ThesisDoctoral Thesis

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

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

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

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

  130. Unpublished

    Dynamic Causal Discovery

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

    Research output: ThesisDoctoral Thesis

  131. Unpublished

    Faithful Visualisation of Similarities in High Dimensional Data

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

    Research output: ThesisDoctoral Thesis

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

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

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

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

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

  137. Unpublished
  138. 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

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

  140. Unpublished

    The efficiency of conformal predictors for anomaly detection

    Smith, J., 2016, (Unpublished)

    Research output: ThesisDoctoral Thesis

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

  142. 2015
  143. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  170. Published

    Choose-Survey

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

    Research output: Non-textual formSoftware

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  186. Forthcoming

    Provably Pointless Propagator Calls

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

    Research output: Contribution to conferencePaperpeer-review

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

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

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

  190. Published
  191. Published

    On Missing Attributes in Access Control: Non-deterministic and Probabilistic Attribute Retrieval

    Crampton, J., Morisset, C. & Zannone, N., 1 Jun 2015, 20th ACM Symposium on Access Control Models and Technologies. ACM, p. 99-109 11 p.

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

  192. Published

    Relationship-based Access Control for an Open-source Medical Records System

    Rizvi, S. Z. R., Fong, P. W. L., Crampton, J. & Sellwood, J., 1 Jun 2015, Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT. ACM, Vol. 2015-June. p. 113-124 12 p.

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

  193. Published

    Cross-conformal predictors

    Vovk, V., Jun 2015, In: Annals of Mathematics and Artificial Intelligence. 74, 1-2, p. 9-28 20 p.

    Research output: Contribution to journalArticlepeer-review

  194. Published

    Multiprobabilistic prediction in early medical diagnoses

    Nouretdinov, I., Devetyarov, D., Vovk, V., Burford, B., Camuzeaux, S., Gentry-Maharaj, A., Tiss, A., Smith, C., Luo, Z., Chervonenkis, A., Hallett, R., Waterfield, M., Cramer, R., Timms, J. F., Jacobs, I. & Gammerman, A., Jun 2015, In: Annals of Mathematics and Artificial Intelligence. 74, 1-2, p. 203-222 20 p.

    Research output: Contribution to journalArticlepeer-review

  195. Published

    Relationships, Paths and Principal Matching: A New Approach to Access Control

    Crampton, J. & Sellwood, J., 29 May 2015, In: ArXiv.org.

    Research output: Contribution to journalArticle

  196. Published

    Applying Apache Hadoop, Hive and Map Reduce to Legacy Systems and Applications

    AlNasir, J., 28 May 2015.

    Research output: Contribution to conferenceOtherpeer-review

  197. E-pub ahead of print

    Itô Calculus without Probability in Idealized Financial Markets

    Vovk, V., 15 May 2015, (E-pub ahead of print) In: Lithuanian Mathematical Journal. 55, 2, p. 270-290 21 p.

    Research output: Contribution to journalArticlepeer-review

  198. Published

    Automated Transformation of PDDL Representations

    Riddle, P. J., Barley, M. W., Franco, S. & Douglas, J., 14 May 2015, Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015: 11-13 June 2015, Ein Gedi, the Dead Sea, Israel. Lelis, L. & Stern, R. (eds.). AAAI Press, p. 214-215 2 p.

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

  199. Published

    Open Game Tournaments in STARLITE

    Hopkins, J., Kafali, O. & Stathis, K., 4 May 2015, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015). IFAAMAS, p. 1927-1928 2 p.

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

  200. Published

    Network-Conscious π-calculus - A Model of Pastry

    Montanari, U. & Sammartino, M., 24 Apr 2015, In: Electronic Notes in Theoretical Computer Science. 312, p. 3-17 15 p.

    Research output: Contribution to journalArticlepeer-review

  201. Published

    Sit-to-Stand Movement Recognition Using Kinect

    Acorn, E., Dipsis, N., Pincus, T. & Stathis, K., 20 Apr 2015, 3rd International Symposium on Statistical Learning and Data Sciences. Springer, p. 179-192 14 p. (Lecture Notes in Computer Science; vol. 9047).

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

  202. Published

    Access Control in Publicly Verifiable Outsourced Computation

    Alderman, J., Janson, C., Cid, C. & Crampton, J., 14 Apr 2015, Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security - ASIACCS 2015. ACM, p. 657-662 6 p.

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

  203. E-pub ahead of print

    Short Proofs for the Determinant Identities

    Hrubes, P. & Tzameret, I., 7 Apr 2015, (E-pub ahead of print) In: SIAM Journal on Computing. 44, 2, p. 340–383 44 p.

    Research output: Contribution to journalArticlepeer-review

  204. Published

    A Comparison of Three Implementations of Multi-Label Conformal Prediction

    Wang, H., Liu, X., Nouretdinov, I. & Luo, Z., 3 Apr 2015, Statistical Learning and Data Sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Springer, p. 241-250 10 p. (Lecture Notes in Computer Science; vol. 9047).

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

  205. Published

    Conformal Anomaly Detection of Trajectories with a Multi-class Hierarchy

    Smith, J., Nouretdinov, I., Craddock, R., Offer, C. & Gammerman, A., 3 Apr 2015, Statistical Learning and Data Sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Springer, p. 281-290 10 p. (Lecture Notes in Computer Science; vol. 9047).

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

  206. Published

    Conformal Clustering and Its Application to Botnet Traffic

    Cherubin, G., Nouretdinov, I., Gammerman, A., Jordaney, R., Wang, Z., Papini, D. & Cavallaro, L., 3 Apr 2015, Statistical Learning and Data Sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Springer, p. 313-322 10 p. (Lecture Notes in Computer Science; vol. 9047).

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

  207. Published

    A Completeness Theory for Polynomial (Turing) Kernelization

    Hermelin, D., Kratsch, S., Soltys, K., Wahlström, M. & Wu, X., Mar 2015, In: Algorithmica. 71, 3, p. 702-730 29 p.

    Research output: Contribution to journalArticlepeer-review

  208. Published

    Hypertesting: The Case for Automated Testing of Hyperproperties

    Kinder, J., Mar 2015, 3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015). p. 1-8 8 p.

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

  209. Published

    Annotation of next-generation sequencing protocol steps in the SRA (sequence read archive) and Big data for Science

    AlNasir, J. & Shanahan, H., 17 Feb 2015, p. 27. 1 p.

    Research output: Contribution to conferenceAbstractpeer-review

  210. Published

    On the Complexity of Universal Leader Election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A., 1 Feb 2015, In: Journal of the ACM. 62, 1, p. 7:1-7:27 27 p., 7.

    Research output: Contribution to journalArticlepeer-review

  211. Published

    Revisiting causality, coalgebraically

    Bruni, R., Montanari, U. & Sammartino, M., Feb 2015, In: Acta Informatica. 52, 1, p. 5-33 29 p.

    Research output: Contribution to journalArticlepeer-review

  212. E-pub ahead of print

    Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs

    Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 15 Jan 2015, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 29, 1, p. 122-144 23 p.

    Research output: Contribution to journalArticlepeer-review

  213. Published

    Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection

    van Binsbergen, L. T., 13 Jan 2015, p. 49-60 . 12 p.

    Research output: Contribution to conferencePaperpeer-review

  214. Published

    Sublinear bounds for randomized leader election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A., 4 Jan 2015, In: Theoretical Computer Science. 561, Part B, p. 134-143 10 p.

    Research output: Contribution to journalArticlepeer-review

  215. Published

    Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving

    van Binsbergen, L. T., 1 Jan 2015, Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin / Heidelberg, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 9035).

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

  216. Published

    Principled software microengineering

    Johnstone, A. & Scott, E., 1 Jan 2015, In: Science of Computer Programming. 97, Part 1, p. 64–68 5 p.

    Research output: Contribution to journalArticlepeer-review

  217. Published

    Binarisation via Dualisation for Valued Constraints

    Cohen, D., Cooper, M., Jeavons, P. & Živný, S., Jan 2015, p. 3731-3737. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  218. Published

    From communicating machines to graphical choreographies

    Lange, J., Tuosto, E. & Yoshida, N., Jan 2015, In: ACM SIGPLAN Notices. 50, 1, p. 221-232 12 p.

    Research output: Contribution to journalArticlepeer-review

  219. Published

    Maximizing the minimum load for random processing times

    Gerke, S., Panagiotou, K., Schwartz, J. & Steger, A., Jan 2015, In: ACM Transactions on Algorithms (TALG). 11, 3, p. 1-19 19 p., 17.

    Research output: Contribution to journalArticlepeer-review

  220. Published

    A Lambek Calculus with Dependent Types

    Luo, Z., 2015, Types for Proofs and Programs.

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

  221. Unpublished

    A Middleware for Ubiquitous Agents

    Dipsis, N., 2015, (Unpublished) 243 p.

    Research output: ThesisDoctoral Thesis

  222. Published

    Abstract Constraint Data Types

    Fiadeiro, J. L. & Orejas, F., 2015, Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. de Nicola, R. & Hennicker, R. (eds.). Springer, p. 155-170 16 p. (Lecture Notes in Computer Science; vol. 8950).

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

  223. Published

    Comment: The Two Styles of VC Bounds

    Vovk, V., 2015, Measures of Complexity: Festschrift for Alexey Chervonenkis. Vovk, V., Papadopoulos, H. & Gammerman, A. (eds.). Springer, p. 161-164 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  224. Unpublished

    Conformal and Venn Predictors for Multi-probabilistic Predictions and Their Applications

    Zhou, C., 2015, (Unpublished)

    Research output: ThesisDoctoral Thesis

  225. Published

    Continuous Operation During Reconfiguration Periods

    Bortnikov, V., Chockler, G., Perelman, D., Shachor, S., Shnayderman, I. & Roytman, A., 2015, Patent No. US Patent 8,943,178

    Research output: Patent

  226. Published

    Distributed Computation of Large-scale Graph Problems

    Klauck, H., Nanongkai, D., Pandurangan, G. & Robinson, P., 2015, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015. p. 391-410 20 p.

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

  227. Published

    Dynamic Programming on Nominal Graphs

    Hoch, N., Montanari, U. & Sammartino, M., 2015, Proceedings Graphs as Models. Rensink, A. & Zambon, E. (eds.). Electronic Proceedings in Theoretical Computer Science, Vol. 181. p. 80-96 17 p. (EPTCS).

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

  228. Published

    Fast Byzantine Leader Election in Dynamic Networks

    Augustine, J., Pandurangan, G. & Robinson, P., 2015, Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, 2015. Proceedings. Springer Berlin / Heidelberg, Vol. 9363. p. 276-291 16 p. (Lecture Notes in Computer Science; vol. 9363).

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

  229. Unpublished

    Features Handling by Conformal Predictors

    Yang, M., 2015, (Unpublished) 143 p.

    Research output: ThesisDoctoral Thesis

  230. Published

    From Local to Global Knowledge and Back

    Hoch, N., Monreale, G. V., Montanari, U., Sammartino, M. & Siwe, A. T., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8998, p. 185-220 36 p.

    Research output: Contribution to journalArticlepeer-review

  231. Published

    Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks

    Biely, M., Robinson, P., Schmid, U., Schwarz, M. & Winkler, K., 2015, Networked Systems - Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers. Bouajjani, A. & Fauconnier, H. (eds.). Springer Berlin / Heidelberg, Vol. 9466. p. 109-124 16 p. (Lecture Notes in Computer Science; vol. 9466).

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

  232. Unpublished

    Håstad‘s Separation of Constant-Depth Circuits Using Sipser Functions

    Tzameret, I., 2015, (Unpublished) Expository Note. 15 p.

    Research output: Book/ReportOther report

  233. Published

    Hues of Satisfaction: Many-valued Institutions for Constraint Specification

    Chirita, C-E., Fiadeiro, J. L. & Orejas, F., 2015, p. 1-2. 2 p.

    Research output: Contribution to conferenceAbstractpeer-review

  234. Published

    Improved analysis of inorganic coal properties based on near-infrared reflectance spectroscopy

    Hu, R., Wang, Y., Yang, M., Li, X., Luo, Z. & Li, G., 2015, In: Analytical Methods. 7, p. 5282-5288 7 p.

    Research output: Contribution to journalArticlepeer-review

  235. Published

    Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories

    Chatzikyriakidis, S. & Luo, Z., 2015, Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015). Association for Computational Linguistics, p. 39-50 12 p.

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

  236. Unpublished

    Institution-Independent Logic Programming

    Tutu, I., 2015, (Unpublished) 144 p.

    Research output: ThesisDoctoral Thesis

  237. Unpublished

    On discovery and exploitation of temporal structure in data sets

    Scarfe, T., 2015, (Unpublished) 175 p.

    Research output: ThesisDoctoral Thesis

  238. Published

    On the Feasibility of Using Two Mobile Phones and WLAN Signal to Detect Co-Location of Two Users for Epidemic Prediction

    Nguyen, K., Luo, Z. & Watkins, C., 2015, Progress in Location-Based Services 2014. Gartner, G. & Huang, H. (eds.). Germany: Springer, p. 63-78 16 p. (Lecture Notes in Geoinformation and Cartography).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  239. Forthcoming

    On the Workflow Satisfiability Problem with Class-Independent Constraints

    Crampton, J., Gagarin, A., Gutin, G. & Jones, M., 2015, (Accepted/In press) 10th International Symposium on Parameterized and Exact Computation. Schloss Dagstuhl –Leibniz Center for Informatics, (LIPIcs).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  240. Unpublished

    Open Objects: A Lightweight and Decentralised Framework for the Internet of Things

    Ricca Goncalves, P., 2015, (Unpublished) 164 p.

    Research output: ThesisDoctoral Thesis

  241. Forthcoming

    Optimal Constructions for Chain-based Cryptographic Enforcement of Information Flow Policies

    Crampton, J., Farley, N., Gutin, G. & Jones, M., 2015, (Accepted/In press) 29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy: DBSec 2015. Springer-Verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  242. Forthcoming

    Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints

    Karapetyan, D., Gagarin, A. & Gutin, G., 2015, (Accepted/In press) FAW 2015, Lecture Notes in Computer Science.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  243. In preparation

    PDB-Hadoop: Parallelising Legacy applications on the Protein Databank using Apache Hadoop

    AlNasir, J. & Shanahan, H., 2015, (In preparation) In: Bioinformatics.

    Research output: Contribution to journalArticlepeer-review

  244. Published

    Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem

    Gutin, G., Kratsch, S. & Wahlström, M., 2015, In: Algorithmica. p. 1-20 20 p.

    Research output: Contribution to journalArticlepeer-review

  245. Published

    Reconfigurable and Software-Defined Networks of Connectors and Components

    Bruni, R., Montanari, U. & Sammartino, M., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8998, p. 73-106 34 p.

    Research output: Contribution to journalArticlepeer-review

  246. In preparation

    Signatures in Formal Semantics (tentative title)

    Chatzikyriakidis, S. & Luo, Z., 2015, (In preparation) Modern Perspectives in Type-Theoretical Semantics. Chatzikyriakidis, S. & Luo, Z. (eds.). Springer, (Studies in Linguistics and Philosophy; vol. 98).

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

  247. In preparation

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

    Chockler, G., Dobre, D., Shraer, A. & Spiegelman, A., 2015, (In preparation).

    Research output: Working paper

  248. Published

    Structural Parameterizations of the Mixed Chinese Postman Problem

    Gutin, G., Jones, M. & Wahlstrom, M., 2015, 23rd Europ. Symp. Algorithms (ESA 2015). Springer-Verlag, Vol. 9294. p. 668-679 (Lect. Notes Comput. Sci.).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  249. Published

    Valued Workflow Satisfiability Problem

    Crampton, J., Gutin, G. & Karapetyan, D., 2015, Proceedings of the 20th ACM Symposium on Access Control Models and Technologies. p. 3-13 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  250. 2014
  251. Published

    Non-commutative Formulas and Frege Lower Bounds: a New Characterization of Propositional Proofs

    Li, F., Tzameret, I. & Wang, Z., 30 Dec 2014, ArXiV. p. 1 32 p.

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

  252. E-pub ahead of print

    A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours

    Ciancia, V. & Sammartino, M., 23 Dec 2014, (E-pub ahead of print) In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8902, p. 97-111 15 p.

    Research output: Contribution to journalArticlepeer-review

  253. Published

    Overcoming the utility problem in heuristic generation: Why time matters

    Barley, M., Franco, S. & Riddle, P., 10 Dec 2014, Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014: Portsmouth, New Hampshire, USA, June 21-26, 2014. Chien, S. A., Do, M. B., Fern, A. & Ruml, W. (eds.). AAAI Press, p. 38-46 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

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

  254. Published

    Selective mixture of Gaussians clustering for location fingerprinting

    Nguyen, K. & Luo, Z., 5 Dec 2014, 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (i-Locate, MOBIQUITOUS 2014). London, UK: ACM, 10 p.

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

  255. Published

    Activity Recognition for an Agent-oriented Personal Health System

    Kafali, O., Romero, A. E. & Stathis, K., Dec 2014, Principles and Practice of Multi-Agent Systems - 17th International Conference, PRIMA 2014. Khanh Dam, H., Pitt, J., Xu, Y., Governatori, G. & Ito, T. (eds.). Springer

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

  256. Published

    Natural Language Inference in Coq

    Chatzikyriakidis, S. & Luo, Z., Dec 2014, In: Journal of Logic, Language and Information. 23, p. 441–480 40 p.

    Research output: Contribution to journalArticlepeer-review

  257. Published

    Iterative Plan Construction for the Workflow Satisfiability Problem

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

    Research output: Contribution to journalArticlepeer-review

  258. Published

    Model solutions and properties for diagnosing student programs in Ask-Elle

    van Binsbergen, L. T., 5 Nov 2014, p. 31-40. 10 p.

    Research output: Contribution to conferencePaperpeer-review

  259. Published

    Conflict, Post-Conflict and Failed States: Challenges to Healthcare

    Cole, J., 4 Nov 2014, In: RUSI Journal. 159, 9, p. 14-18 5 p.

    Research output: Contribution to journalArticlepeer-review

  260. Published

    Dynamic Performance Profiling of Cloud Caches

    Saemundsson, T., Bjornsson, H., Chockler, G. & Vigfusson, Y., 3 Nov 2014, p. 1-14. 14 p.

    Research output: Contribution to conferencePaperpeer-review

  261. Published
  262. Published

    HYDRA: a HYbrid Diagnosis and monitoRing Architecture for diabetes

    Kafali, O., Schachtle, U. & Stathis, K., 15 Oct 2014.

    Research output: Contribution to conferencePaperpeer-review

  263. Published

    Progressive promoter element combinations classify conserved orthogonal plant circadian gene expression modules

    Smieszek, S. P., Yang, H., Paccanaro, A. & Devlin, P. F., 6 Oct 2014, In: Journal of the Royal Society. Interface. 11, 99, p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  264. Published

    Generalised Entropies and Asymptotic Complexities of Languages

    Kalnishkan, Y., Vyugin, M. V. & Vovk, V., Oct 2014, In: Information and Computation. 237, p. 101–141 41 p.

    Research output: Contribution to journalArticlepeer-review

  265. Published

    Anomaly Detection of Trajectories with Kernel Density Estimation by Conformal Prediction

    Smith, J., Nouretdinov, I., Craddock, R., Offer, C. & Gammerman, A., 19 Sep 2014, Artificial Intelligence Applications and Innovations: AIAI2014 Workshops. Rhodes, Greece: Springer, p. 271-280 10 p.

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

  266. Published

    Conformal Prediction under Probabilistic Input

    Nouretdinov, I., 19 Sep 2014, Artificial Intelligence Applications and Innovations: AIAI2014 Workshops. Rhodes, Greece, p. 291-300 10 p.

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

  267. Published

    Randomized Rounding in the Presence of a Cardinality Constraint

    Doerr, B. & Wahlström, M., 1 Sep 2014, In: ACM Journal of Experimental Algorithmics. 19, 2.

    Research output: Contribution to journalArticlepeer-review

  268. Published

    A network-conscious π-calculus and its coalgebraic semantics

    Montanari, U. & Sammartino, M., 21 Aug 2014, In: Theoretical Computer Science. 546, p. 188-224 37 p.

    Research output: Contribution to journalArticlepeer-review

  269. Published

    Argumentation accelerated reinforcement learning for cooperative multi-agent systems

    Gao, Y. & Toni, F., 18 Aug 2014, ECAI'14 Proceedings of the Twenty-first European Conference on Artificial Intelligence. IOS Press, p. 333-338 6 p.

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

  270. Published

    GOssTo: a stand-alone application and a web tool for calculating semantic similarities on the Gene Ontology

    Caniza, H., Romero, A. E., Heron, S., Yang, H., Devoto, A., Frasca, M., Mesiti, M., Valentini, G. & Paccanaro, A., 1 Aug 2014, In: Bioinformatics. 30, 15, p. 2235-2236 2 p.

    Research output: Contribution to journalArticlepeer-review

  271. Published

    Bioinformatics on the cloud computing platform Azure

    Shanahan, H., Harrison, A. & Owen, A. M., 22 Jul 2014, In: PLoS ONE. 9, 7, p. e102642

    Research output: Contribution to journalArticlepeer-review

  272. Published

    Senescent ground tree rewrite systems

    Hague, M., 14 Jul 2014, CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM, 10 p.

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

  273. Published

    Sparser Random 3SAT Refutation Algorithms and the Interpolation Problem: Extended Abstract

    Tzameret, I., 8 Jul 2014, Automata, Languages, and Programming - 41st International Colloquium, (ICALP) 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {I}: --. p. 1015-1026 12 p. (LNCS).

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

  274. Published

    Modular grammar specification

    Johnstone, A., Scott, E. & van den Brand, M., 1 Jul 2014, In: Science of Computer Programming. 87, p. 23-43 21 p.

    Research output: Contribution to journalArticlepeer-review

  275. Published

    Inductive Venn Prediction

    Lambrou, A., Nouretdinov, I. & Papadopoulos, H., 24 Jun 2014, In: Annals of Mathematics and Artificial Intelligence.

    Research output: Contribution to journalArticlepeer-review

  276. Published

    An extensive analysis of disease-gene associations using network integration and fast kernel-based gene prioritization methods

    Valentini, G., Paccanaro, A., Caniza, H., Romero, A. E. & Re, M., Jun 2014, In: Artificial Intelligence in Medicine. 61, 2, p. 63-78 16 p.

    Research output: Contribution to journalArticlepeer-review

  277. Published

    Balancing act: matching growth with environment by the TOR signalling pathway

    Henriques, R., Bogre, L., Horvath, B. & Magyar, Z., Jun 2014, In: Journal of Experimental Botany. 65, 10, p. 2691-2701 11 p.

    Research output: Contribution to journalLiterature reviewpeer-review

  278. Published

    Saturation algorithms for model-checking pushdown systems

    Hague, M. & Carayol, A., May 2014, Proceedings of the 14th International Conference on Automata and Formal Languages . 24 p.

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

  279. Published

    Parameterized Complexity of the $k$-Arc Chinese Postman Problem

    Gutin, G., Jones, M. & Sheng, B., 6 Mar 2014, European Symposium on Algorithms 2014. Springer-Verlag, Vol. 8737. p. 530-541 (Lecture Notes in Computer Science; vol. 8737).

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

  280. Published

    A Tool for Balance Control Training Using Muscle Synergies and Multimodal Interfaces

    Galeano Galeano, D., Brunetti, F., Torricelli, D., Piazza, S. & Pons, J. L., 5 Mar 2014, In: BioMed research international.

    Research output: Contribution to journalArticlepeer-review

  281. Published

    Propagating changes in topic subscription status of processes in an overlay network

    Chockler, G., Bortnikov, V., Roytman, A. & Spreitzer, M., 25 Feb 2014, IPC No. G06F15/16, G06F15/173, Patent No. US 8661080 B2, Priority date 15 Jul 2010

    Research output: Patent

  282. Published

    Prototyping symbolic execution engines for interpreted languages

    Bucur, S., Kinder, J. & Candea, G., Feb 2014, ASPLOS '14: Proceedings of the 19th international conference on Architectural support for programming languages and operating systems. ACM, p. 239-254 16 p.

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

  283. Published

    Semantic Types and Approximation for Featherweight Java

    Rowe, R. & van Bakel, S., 16 Jan 2014, In: Theoretical Computer Science. 517, p. 34-74 41 p.

    Research output: Contribution to journalArticlepeer-review

  284. Published

    Preface: Brazilian symposium on programming languages (SBLP 2011)

    Braga, C. & Fiadeiro, J. L., 11 Jan 2014, In: Science of Computer Programming. 93, PART A, p. 1-2 2 p.

    Research output: Contribution to journalEditorial

  285. Published

    Preface

    Fiadeiro, J. L., Liu, Z. & Xue, J., 1 Jan 2014, In: Lecture Notes in Computer Science. 8348, p. v 1 p.

    Research output: Contribution to journalEditorial

  286. Published

    Security models in vehicular ad-hoc networks: A survey

    De Fuentes, J. M., González-Manzano, L., González-Tablas, A. I. & Blasco, J., 1 Jan 2014, In: IETE Technical Review (Institution of Electronics and Telecommunication Engineers, India). 31, 1, p. 47-64 18 p.

    Research output: Contribution to journalReview articlepeer-review

  287. Published

    An Agent Architecture for Concurrent Bilateral Negotiations

    Alrayes, B. & Stathis, K., 2014, Lecture Notes in Business Information Processing: Impact of Decision Support Systems for Global Environments. Springer, p. 79-89

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

  288. Published

    An Institutional Foundation for the K Semantic Framework

    Chirita, C-E., 2014

    Research output: ThesisMaster's Thesis

  289. Published

    Analyzing and Synthesizing Genomic Logic Functions

    Paoletti, N., Yordanov, B., Hamadi, Y., Wintersteiger, C. M. & Kugler, H., 2014, Computer Aided Verification. p. 343-357 15 p.

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

  290. Published

    Attribute-Based Encryption for Access Control Using Elementary Operations

    Crampton, J. & Pinto, A., 2014, 27th Computer Security Foundations Symposium. IEEE, p. 125-139

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

  291. Published

    Authorized workflow schemas: deciding realizability through $\mathsf{LTL }(\mathsf{F })$ model checking

    Crampton, J., Huth, M. & Huan-Pu Kuo, J., 2014, In: International Journal on Software Tools for Technology Transfer. 16, 1, p. 31-48

    Research output: Contribution to journalArticlepeer-review

  292. Published

    Beyond the Basic Conformal Prediction Framework

    Vovk, V., 2014, Conformal Prediction for Reliable Machine Learning: Theory, Adaptations, and Applications. Balasubramanian, V. N., Ho, S-S. & Vovk, V. (eds.). 1 ed. Elsevier, p. 21-46 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  293. Published

    Biomedical Applications: Diagnostic and Prognostic

    Nouretdinov, I., Bellotti, T. & Gammerman, A., 2014, Conformal Prediction for Reliable Machine Learning: Theory, Adaptations and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). Elsevier, p. 217-230 14 p. 11

    Research output: Chapter in Book/Report/Conference proceedingChapter

  294. Published

    Bioremediation in marine ecosystems: a computational study combining ecological modelling and flux balance analysis

    Taffi, M., Paoletti, N., Angione, C., Pucciarelli, S., Marini, M. & Liò, P., 2014, In: Frontiers in Genetics. 5, 319

    Research output: Contribution to journalArticlepeer-review

  295. Published

    Brief announcement: gracefully degrading consensus and k-set agreement under dynamic link failures

    Schwarz, M., Winkler, K., Schmid, U., Biely, M. & Robinson, P., 2014, Proceedings of the 2014 ACM symposium on Principles of distributed computing. p. 341-343 3 p.

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

  296. Published

    Buy low, sell high

    Koolen, W. & Vovk, V., 2014, In: Theoretical Computer Science. 558, p. 144-158 15 p.

    Research output: Contribution to journalArticlepeer-review

  297. Published

    Caching and Auditing in the RPPM Model

    Crampton, J. & Sellwood, J., 2014, Security and Trust Management - 10th International Workshop. Springer, p. 49-64 16 p. (Lecture Notes in Computer Science; vol. 8743).

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

  298. Published

    Calculation of Discrepancy Measures and Applications

    Doerr, C., Gnewuch, M. & Wahlström, M., 2014, A Panorama of Discrepancy Theory. Chen, W., Srivastav, A. & Travaglini, G. (eds.). Springer, p. 621-678 58 p. (Lecture Notes in Mathematics; vol. 2107).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  299. Forthcoming

    Clique cover and graph separation: New incompressibility results

    Cygan, M., Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 2014, (Accepted/In press) In: ACM Transactions on Computation Theory (TOCT). 6, 2

    Research output: Contribution to journalArticlepeer-review

  300. Published

    CloudSafetyNet: Detecting Data Leakage between Cloud Tenants

    Priebe, C., Muthukumaran, D., O'Keeffe, D., Eyers, D. M., Shand, B., Kapitza, R. & Pietzuch, P. R., 2014, Proceedings of the 6th edition of the ACM Workshop on Cloud Computing Security, CCSW '14, Scottsdale, Arizona, USA, November 7, 2014. p. 117-128 12 p.

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

  301. Forthcoming

    Compression via Matroids: A Randomized Polynomial Kernel for Odd Cycle Transversal

    Kratsch, S. & Wahlström, M., 2014, (Accepted/In press) In: ACM Transactions on Algorithms (TALG). 10, 4, 20 p.

    Research output: Contribution to journalArticlepeer-review

  302. Published

    CONAN: a heuristic strategy for COncurrent Negotiating AgeNts

    Alrayes, B., Kafali, O. & Stathis, K., 2014, Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems. ACM, p. 1585-1586

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

  303. Unpublished

    Conformal Prediction and Testing under On-line Compression Models

    Fedorova, V., 2014, (Unpublished) 140 p.

    Research output: ThesisDoctoral Thesis

  304. Published

    Criteria of efficiency for conformal prediction

    Vovk, V., Fedorova, V., Nouretdinov, I. & Gammerman, A., 2014, On-line Compression Modelling Project (New Series), 19 p.

    Research output: Working paper

  305. Published

    DEX: Self-Healing Expanders

    Pandurangan, G., Robinson, P. & Trehan, A., 2014, 2014 IEEE 28th International Parallel and Distributed Processing Symposium, Phoenix, AZ, USA, May 19-23, 2014. p. 702-711 10 p.

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

  306. Published

    Distributed Symmetry Breaking in Hypergraphs

    Kutten, S., Nanongkai, D., Pandurangan, G. & Robinson, P., 2014, Distributed Computing - 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014. Proceedings. p. 469-483 15 p.

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

  307. Published

    Efficiency of conformalized ridge regression

    Burnaev, E. & Vovk, V., 2014, Proceedings of the Twenty Seventh Annual Conference on Learning Theory: JMLR: Workshop and Conference Proceedings. Vol. 35. p. 605-622 18 p.

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

  308. Published

    Efficient State Merging in Symbolic Execution (Extended Abstract)

    Kuznetsov, V., Kinder, J., Bucur, S. & Candea, G., 2014, p. 45-46. 2 p.

    Research output: Contribution to conferenceAbstractpeer-review

  309. Published

    Engineering Algorithms for Workflow Satisfiability Problem with User-Independent Constraints

    Cohen, D., Crampton, J., Gagarin, A., Gutin, G. & Jones, M., 2014, FAW 2014. (Lecture Notes in Computer Science; vol. 8497).

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

  310. Published

    Feature Selection

    Bellotti, T., Nouretdinov, I., Yang, M. & Gammerman, A., 2014, Conformal Prediction for Reliable Machine Learning: Theory, Adaptations and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). Elsevier, p. 115-130 16 p. 6

    Research output: Chapter in Book/Report/Conference proceedingChapter

  311. Published

    Fixed-parameter tractability of satisfying beyond the number of variables

    Crowston, R., Gutin, G., Jones, M., Raman, V., Saurabh, S. & Yeo, A., 2014, In: Algorithmica. 68, p. 739-757

    Research output: Contribution to journalArticlepeer-review

  312. Published

    Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?

    Luo, Z., 2014, Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings. Asher, N. & Soloviev, S. (eds.). Springer, p. 177-188 12 p. (Lecture Notes in Computer Science; vol. 8535).

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

  313. Published

    Foundations for structuring behavioural specifications

    Diaconescu, R. & Tutu, I., 2014, In: Journal of Logic and Algebraic Programming. 83, p. 319-338 3-4.

    Research output: Contribution to journalArticlepeer-review

  314. Published

    From conformal to probabilistic prediction

    Vovk, V., Petej, I. & Fedorova, V., 2014, COPA 2014 Proceedings.

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

  315. Published

    Game-Theoretic Probability

    Vovk, V., 2014, Introduction to Imprecise Probabilities. Augustin, T., Coolen, F. P. A., Cooman, G. D. & Troffaes, M. C. M. (eds.). Wiley-Interscience, p. 114-134 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  316. Published

    Generating Matrix Identities and Proof Complexity

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

    Research output: Contribution to conferencePaper

  317. Published

    Half-integrality, LP-branching and FPT Algorithms

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

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

  318. Published

    Heterogeneous and Asynchronous Networks of Timed Systems

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

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

  319. Published

    Heterogeneous Timed Machines

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

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

  320. Published

    Kernelization, Matroid Methods

    Wahlström, M., 2014, Encyclopedia of Algorithms. Kao, M-Y. (ed.). Springer, p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  321. Published

    Monotonicity and Completeness in Attribute-Based Access Control

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

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

  322. Published

    Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories

    Lungu, G. & Luo, Z., 2014, Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings. Asher, N. & Soloviev, S. (eds.). Springer, p. 138-148 11 p. (Lecture Notes in Computer Science; vol. 8535).

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

  323. Published

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

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

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

  324. Published

    On Correctness of Data Structures under Reads-Write Concurrency

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

    Research output: Contribution to conferencePaperpeer-review

  325. Published

    On Correctness of Data Structures under Reads-Write Concurrency

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

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

  326. Published

    Parameterisation for abstract structured specifications

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

    Research output: Contribution to journalArticlepeer-review

  327. Published

    Parameterized Algorithms for Load Coloring Problem

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

    Research output: Contribution to journalArticlepeer-review

  328. Published

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

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

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

  329. Published

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

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

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

  330. Published

    Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem

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

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

  331. Unpublished

    Polynomial Kernels for Graph and Hypergraph Optimisation Problems

    Muciaccia, G., 2014, (Unpublished) 129 p.

    Research output: ThesisDoctoral Thesis

  332. Published

    Polynomially Closed Co-clones

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

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

  333. Published

    Precise parameter synthesis for stochastic biochemical systems

    Ceska, M., Dannenberg, F., Kwiatkowska, M. & Paoletti, N., 2014, Computational Methods in Systems Biology. p. 86-98 13 p.

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

  334. Forthcoming

    Probability-Free Solutions to the Non-Stationary Newsvendor Problem

    Zhang, Y., Vovk, V. & Zhang, W., 2014, (Accepted/In press) In: Annals of Operations Research.

    Research output: Contribution to journalArticlepeer-review

  335. Published

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

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

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

  336. Published

    Regular Strategies in Pushdown Reachability Games

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

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

  337. Published

    Reliable Indoor Location Prediction Using Conformal Measurement

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

    Research output: Contribution to journalArticlepeer-review

  338. Published

    Reliable Network Traffic Classification and Demand Prediction

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  339. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  340. Published

    Segmentation of electronic dance music

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

    Research output: Contribution to journalArticlepeer-review

  341. Published

    Short Propositional Refutations for Dense Random 3CNF Formulas

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

    Research output: Contribution to journalArticlepeer-review

  342. Published

    Solving Queries over Modular Logic Programs

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

    Research output: Contribution to conferenceAbstractpeer-review

  343. Published

    SVM Venn Machine with k-Means Clustering

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

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

  344. Published

    The Basic Conformal Prediction Framework

    Vovk, V., 2014, Conformal Prediction for Reliable Machine Learning: Theory, Adaptations, and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). 1 ed. Elsevier, p. 3-19 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  345. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  346. Published

    Towards Self-Healing SDN

    Chockler, G. & Trehan, A., 2014.

    Research output: Contribution to conferenceOtherpeer-review

  347. Published

    Using Signatures in Type Theory to Represent Situations

    Chatzikyriakidis, S. & Luo, Z., 2014, JSAI International Symposium on Artificial Intelligence. p. 172-183 12 p.

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

  348. Published

    Venn-Abers predictors

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

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

  349. 2013
  350. E-pub ahead of print

    Dissecting the chromatin interactome of microRNA genes

    Chen, D., Fu, L-Y., Zhang, Z., Yu, G., Zhang, H., Jiang, L., Harrison, A., Shanahan, H., Klukas, C., Zhang, H-Y., Ruan, Y., Chen, LI-LI. & Chen, M., 20 Dec 2013, (E-pub ahead of print) In: Nucleic Acids Research.

    Research output: Contribution to journalArticlepeer-review

  351. Published

    Saturation of Concurrent Collapsible Pushdown Systems

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

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

  352. Published

    Abstract probabilistic automata

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

    Research output: Contribution to journalArticlepeer-review

  353. Published

    PDB structural analysis service

    Alnasir, J., 1 Nov 2013

    Research output: Non-textual formSoftware

  354. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  355. Published

    Choreography synthesis as contract agreement

    Lange, J. & Scalas, A., 15 Oct 2013, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 131, p. 52-67 16 p.

    Research output: Contribution to journalConference articlepeer-review

  356. Published

    Enhanced Conformal Predictors for Indoor Localisation Based on Fingerprinting Method

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

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

  357. Published

    GLL parse-tree generation

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

    Research output: Contribution to journalArticlepeer-review

  358. Published

    COMMODITY12: A smart e-health environment for diabetes management

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

    Research output: Contribution to journalArticlepeer-review

  359. Published

    Conformal prediction under hypergraphical models

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

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

  360. Published

    Defensive Forecast for Conformal Bounded Regression

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

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

  361. Published

    Learning by Conformal Predictors with Additional Information

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

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

  362. Published

    Refuting Random 3CNF Formulas in Propositional Logic

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

    Research output: Contribution to conferencePaper

  363. Published

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

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

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

  364. Published

    An interface theory for service-oriented design

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

    Research output: Contribution to journalArticlepeer-review

  365. Published

    Multi-Dimensional Causal Discovery

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

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

  366. Published

    Social Technologies for Community Response to Epidemics

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  367. Published

    Conditional validity of inductive conformal predictors

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

    Research output: Contribution to journalArticlepeer-review

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

  369. 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 journalArticlepeer-review

  370. 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 journalArticlepeer-review

  371. Published

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

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

    Research output: Contribution to journalArticlepeer-review

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

  373. 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 journalArticlepeer-review

  374. Published

    A large-scale evaluation of computational protein function prediction

    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. & 82 others, 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., Yang, H., Romero, A. E., Bhat, P., Paccanaro, A., 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 journalArticlepeer-review

  375. 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 journalArticlepeer-review

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

  377. 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 journalArticlepeer-review

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

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

  380. 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 journalArticlepeer-review

  381. 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 journalArticlepeer-review

  382. 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 journalArticlepeer-review

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

  384. Published

    A Logic-Programming Semantics of Services

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

    Research output: Contribution to conferencePaperpeer-review

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

  386. Forthcoming

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

    Gutin, G., Jones, M., Scheder, D. & Yeo, A., 2013, (Accepted/In press) In: Information and Computation. 8 p.

    Research output: Contribution to journalArticlepeer-review

  387. Published

    A New Efficient In Situ Sampling Model for Heuristic Selection in Optimal Search

    Franco, S., Barley, M. W. & Riddle, P. J., 2013, AI 2013: Advances in Artificial Intelligence : 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Cranefield, S. & Nayak, A. C. (eds.). Springer, p. 178-189 12 p. (Lecture Notes in Computer Science; vol. 8272).

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

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

  389. Published

    A RESTful and decentralised implementation of open objects

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

    Research output: Contribution to conferencePaperpeer-review

  390. 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 journalArticlepeer-review

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

  392. Unpublished

    Above And Below Guarantee Parameterizations For Combinatorial Optimisation Problems

    Jones, M., 2013, (Unpublished) 141 p.

    Research output: ThesisDoctoral Thesis

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

  394. Unpublished

    Adaptive Online Learning

    Adamskiy, M., 2013, (Unpublished)

    Research output: ThesisDoctoral Thesis

  395. Unpublished

    Algorithms for Parameterized Constraint Satisfaction Problems

    Crowston, R., 2013, (Unpublished) 125 p.

    Research output: ThesisDoctoral Thesis

  396. 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 journalArticlepeer-review

  397. Forthcoming

    An Overview of Gene Regulation

    Shanahan, H. & Harrison, A., 2013, (Accepted/In press) Approaches to Integrative Bioinformatics. Chen, MI. & Hofstaedt, R. (eds.). Springer, p. 21-69

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  399. 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 journalArticlepeer-review

  400. Published

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

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

    Research output: Contribution to conferencePaperpeer-review

  401. Published

    Comorphisms of structured institutions

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

    Research output: Contribution to journalArticlepeer-review

  402. Unpublished

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

    Chockler, G., Dobre, D. & Shraer, A., 2013, (Unpublished).

    Research output: Working paper

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

  404. 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 journalArticlepeer-review

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

  406. Published

    Dynamic Performance Profiling of Cloud Caches

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

    Research output: Contribution to conferencePosterpeer-review

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

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

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

  410. Published

    Island Grammar-Based Parsing Using GLL and Tom

    Afroozeh, A., Bach, J-C., van den Brand, M., Johnstone, A., Manders, M., Moreau, P-E. & Scott, E., 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 20 p.

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

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

  412. 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 journalArticlepeer-review

  413. Published

    Logical Foundations of Services

    Tutu, I., 2013, p. 111-118.

    Research output: Contribution to conferencePaperpeer-review

  414. 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 journalArticlepeer-review

  415. Unpublished

    Merging Time Series with Specialist Experts

    Scarfe, T. & Kalnishkan, Y., 2013, (Unpublished) 16 p.

    Research output: Working paper

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

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

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

  419. Forthcoming

    Parameterized Complexity of k-Chinese Postman Problem

    Gutin, G., Muciaccia, G. & Yeo, A., 2013, (Accepted/In press) In: Theoretical Computer Science.

    Research output: Contribution to journalArticlepeer-review

  420. Forthcoming

    Parameterized Complexity of MaxSat Above Average

    Crowston, R., Gutin, G., Jones, M., Raman, V. & Saurabh, S., 2013, (Accepted/In press) In: Theoretical Computer Science.

    Research output: Contribution to journalArticlepeer-review

  421. 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 journalArticlepeer-review

  422. 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 journalArticlepeer-review

  423. Published

    Posturography Platform and Balance Control Training and Research System Based on FES and Muscle Synergies

    Galeano Galeano, D., Brunetti, F., Torricelli, D., Piazza, S. & Pons, J. L., 2013, Neurotechnology, Electronics, and Informatics. Londral, A. R., Encarnação, P. & Pons Rovira, J. L. (eds.). Springer-Verlag, Vol. 13. ( Springer Series in Computational Neuroscience; vol. 13).

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

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

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

  426. 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 journalArticlepeer-review

  427. Published

    Safe Specification of Operator Precedence Rules

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

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

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

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

  430. Published

    Subtyping in Type Theory: Coercion Contexts and Local Coercions

    Luo, Z. & Part, F., 2013.

    Research output: Contribution to conferenceAbstractpeer-review

  431. Unpublished

    The Effect of Representations on Constraint Satisfaction Problems

    Houghton, C., 2013, (Unpublished) 138 p.

    Research output: ThesisDoctoral Thesis

  432. Unpublished

    Theory and Implementation of Coercive Subtyping

    Xue, T., 2013, (Unpublished)

    Research output: ThesisDoctoral Thesis

  433. Published

    Transductive conformal predictors

    Vovk, V., 2013, Proceedings of the Ninth Conference on Artificial Intelligence Applications and Innovations. Heidelberg: Springer, Vol. 412. p. 348-360 13 p.

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

  434. Published

    Two Edge Modification Problems Without Polynomial Kernels

    Kratsch, S. & Wahlström, M., 2013, In: Discrete Optimization. 10, p. 193-199

    Research output: Contribution to journalArticlepeer-review

  435. Published

    Variable Elimination in Binary CSP via Forbidden Patterns

    Cohen, D., Cooper, M. C., Escamocher, G. & Zivný, S., 2013.

    Research output: Contribution to conferencePaperpeer-review

  436. Forthcoming

    Ward's Hierarchical Agglomerative Clustering Method: Which Algorithms Implement Ward's Criterion?

    Murtagh, F. & Legendre, P., 2013, (Accepted/In press) In: Journal of Classification.

    Research output: Contribution to journalArticlepeer-review

  437. 2012
  438. Published

    Conditional validity of inductive conformal predictors

    Vovk, V., 17 Nov 2012, In: JMLR: Workshop and Conference Proceedings. 25, p. 475-490 16 p.

    Research output: Contribution to journalArticlepeer-review

  439. Published

    Venn predictors and isotonic regression

    Vovk, V., 31 Oct 2012, 4 p.

    Research output: Working paper

  440. Published

    Parameterised Multiparty Session Types

    Deniélou, P-M., Yoshida, N., Bejleri, A. & Hu, R., 11 Oct 2012, In: Logical Methods in Computer Science. 8, 4, p. 1-46 46 p., 6.

    Research output: Contribution to journalArticlepeer-review

  441. Published

    Towards Static Analysis of Virtualization-Obfuscated Binaries

    Kinder, J., Oct 2012, Proc. 19th Working Conf. Reverse Engineering (WCRE 2012). IEEE, p. 61-70

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

  442. Published

    Network Conscious π-calculus: A Concurrent Semantics

    Montanari, U. & Sammartino, M., 24 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 286, p. 291-306 16 p.

    Research output: Contribution to journalArticlepeer-review

  443. Published

    Inductive conformal predictors in the batch mode

    Vovk, V., 12 Sep 2012.

    Research output: Working paper

  444. Unpublished

    A History of Cluster Analysis Using the Classification Society's Bibliography Over Four Decades

    Murtagh, F. & J. Kurtz, M., 1 Sep 2012, (Unpublished) In: NA.

    Research output: Contribution to journalArticle

  445. Published

    Conformal Prediction for Indoor Localisation with Fingerprinting Method

    Nguyen, K. & Luo, Z., Sep 2012, Artificial Intelligence Applications and Innovations: First Conformal Prediction and Its Applications Workshop (COPA 2012). Halkidiki, Greece: Springer, p. 214-223 10 p.

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

  446. Published

    Generalized entropies and asymptotic complexities of languages

    Kalnishkan, Y., Vyugin, M. V. & Vovk, V., Sep 2012, Proceedings of the Fifth Workshop on Information-Theoretic Methods in Science and Engineering. de Rooij, S., Kotlowski, W., Rissanen, J., Millimaki, P., T. R. & Yamanishi, K. (eds.). Amsterdam: CWI, p. 44-47 4 p.

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

  447. Published

    Informational and computation efficiency of set predictors

    Vovk, V., Sep 2012, Proceedings of the Fifth Workshop on Information-Theoretic Methods in Science and Engineering. de Rooij, S., Kotlowski, W., Rissanen, J., Millimaki, P., T. R. & Yamanishi, K. (eds.). Amsterdam: CWI, p. 48-51 4 p.

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

  448. Published

    Reliable Probability Estimates Based on Support Vector Machines for Large Multiclass Datasets

    Lambrou, A., Papadopoulos, H., Nouretdinov, I. & Gammerman, A., Sep 2012, Artificial Intelligence Applications and Innovations - AIAI 2012 International Workshops: AIAB, AIeIA, CISE, COPA, IIVC, ISQL, MHDW, and WADTMB, Proceedings.. Halkidiki, Greece, Vol. II. p. 182-191 10 p.

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

  449. Published

    The tractability of CSP classes defined by forbidden patterns

    Cohen, D. A., Cooper, M. C., Creed, P., Marx, D. & Salamon, A. Z., Sep 2012, In: Journal of Artificial Intelligence Research. 45, p. 47-78 3651.

    Research output: Contribution to journalArticlepeer-review

  450. Published

    Two methods for reliable classification of network traffic

    Dashevskiy, M. & Luo, Z., Sep 2012, In: Progress in Artificial Intelligence. 1, 3, p. 223-234 12 p.

    Research output: Contribution to journalArticlepeer-review

  451. Published

    A Census of Human Soluble Protein Complexes

    Havugimana, P. C., Hart, G. T., Nepusz, T., Yang, H., Turinsky, A. L., Li, Z., Wang, P. I., Boutz, D. R., Fong, V., Phanse, S., Babu, M., Craig, S. A., Hu, P., Wan, C., Vlasblom, J., Dar, V-N., Bezginov, A., Clark, G. W., Wu, G. C., Wodak, S. J. & 4 others, Tillier, E. R. M., Paccanaro, A., Marcotte, E. M. & Emili, A., 31 Aug 2012, In: Cell. 150, 5, p. 1068–1081

    Research output: Contribution to journalArticlepeer-review

  452. Published

    Computational selection of transcriptomics experiments improves Guilt-by-Association analyses

    Bhat, P., Yang, H., Bogre, L., Devoto, A. & Paccanaro, A., 7 Aug 2012, In: PLoS ONE. 7, 8, e39681.

    Research output: Contribution to journalArticlepeer-review

  453. Published

    Cross-conformal predictors

    Vovk, V., 3 Aug 2012.

    Research output: Working paper

  454. Published

    Ubiquitous Agents for Ambient Ecologies

    Dipsis, N. & Stathis, K., Aug 2012, In: Pervasive and Mobile Computing. 8, 4, p. 562-574

    Research output: Contribution to journalArticlepeer-review

  455. Published

    Universal Algorithms for Probability Forecasting

    Zhdanov, F. & Kalnishkan, Y., Aug 2012, In: International Journal on Artificial Intelligence Tools. 21, 4, 1240015.

    Research output: Contribution to journalArticlepeer-review

  456. Published

    Valid predictions with confidence estimation in an air pollution problem.

    Ivina, O., Nouretdinov, I. & Gammerman, A., 17 Jun 2012, In: Progress in Artificial Intelligence. 1, p. 235-243 9 p.

    Research output: Contribution to journalArticlepeer-review

  457. Published

    Bypassing information leakage protection with trusted applications

    Blasco, J., Hernandez-Castro, J. C., Tapiador, J. E. & Ribagorda, A., 1 Jun 2012, In: Computers and Security. 31, 4, p. 557-568 12 p.

    Research output: Contribution to journalArticlepeer-review

  458. Published

    Efficient state merging in symbolic execution

    Kuznetsov, V., Kinder, J., Bucur, S. & Candea, G., Jun 2012, Proc. 33rd Conf. Programming Language Design and Implementation (PLDI 2012). ACM, p. 193-204

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

  459. Published

    Short Propositional Refutations for Dense Random 3CNF Formulas

    Muller, S. & Tzameret, I., Jun 2012, Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): 25-28 June 2012. p. 501-510 10 p.

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

  460. Published

    Short Proofs for the Determinant Identities

    Hrubes, P. & Tzameret, I., 19 May 2012, Proceedings of the 44th Annual ACM Symposium on the Theory of Computing (STOC). p. 193-212

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

  461. Published

    Testing and Clustering with Gauss Linear Assumption for a Household Data

    Fedorova, V., Ivin, E., Nouretdinov, I. & Gammerman, A., 7 May 2012, 11 p. SLDS 2012: Symposium on Learning and Data Science.

    Research output: Other contribution

  462. Published

    A formal model for service-oriented interactions

    Fiadeiro, J., Lopes, A. & Abreu, J., 1 May 2012, In: Science of Computer Programming. 77, 5, p. 577-608 32 p.

    Research output: Contribution to journalArticlepeer-review

  463. Published

    An algorithm for finding input-output constrained convex sets in an acyclic digraph

    Gutin, G., Johnstone, A., Reddington, J., Scott, E. & Yeo, A., May 2012, In: Journal of Discrete Algorithms. 13, p. 47-58 12 p.

    Research output: Contribution to journalArticlepeer-review

  464. Published

    Plug-in martingales for testing exchangeability on-line

    Fedorova, V., Gammerman, A., Nouretdinov, I. & Vovk, V., 15 Apr 2012, 17 p.

    Research output: Working paper

  465. Published

    Normalized Affymetrix expression data are biased by G-quadruplex formation

    Shanahan, H. P., Memon, F. N., Upton, G. J. G. & Harrison, A. P., 1 Apr 2012, In: Nucleic Acids Research. 40, 8, p. 3307-3315 9 p.

    Research output: Contribution to journalArticlepeer-review

  466. Published

    Editorial

    Fiadeiro, J. L., Gnesi, S. & Maibaum, T., 1 Mar 2012, In: Formal Aspects of Computing. 24, 2, p. 161-162 2 p.

    Research output: Contribution to journalArticle

  467. Published

    Special issue dedicated to SEFM'10

    Fiadeiro, J. L., Gnesi, S. & Maibaum, T., Mar 2012, In: Formal Aspects of Computing. 24, 2

    Research output: Contribution to journalSpecial issuepeer-review

  468. In preparation

    The Future of Search and Discovery in Big Data Analytics Ultrametric Information Spaces: Ultrametric Information Spaces

    Murtagh, F. & Contreras, P., 15 Feb 2012, (In preparation) In: NA.

    Research output: Contribution to journalArticlepeer-review

  469. Published

    Ultrametric Model of Mind, I Review

    Murtagh, F., 13 Jan 2012, In: p-Adic Numbers, Ultrametric Analysis and Applications.

    Research output: Contribution to journalArticlepeer-review

  470. Published

    Ultrametric Model of Mind, II: Application to Text Content Analysis

    Murtagh, F., 13 Jan 2012, In: p-Adic Numbers, Ultrametric Analysis and Applications.

    Research output: Contribution to journalArticlepeer-review

  471. Published

    Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware

    Baldoni, R. & Chockler, G., 10 Jan 2012, Springer-Verlag. 224 p.

    Research output: Book/ReportBook

  472. Published

    A graph-based design framework for services

    Lopes, A. & Fiadeiro, J. L., 1 Jan 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7562 LNCS. p. 1-19 19 p.

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

  473. Published

    Asynchronous distributed monitoring for multiparty session enforcement

    Chen, T-C., Honda, K., Bocchi, L., Deniélou, P-M. & Yoshida, N., 1 Jan 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7173 LNCS. p. 25-45 21 p.

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

  474. Published

    Consistency of service composition

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7212 LNCS. p. 63-77 15 p.

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

  475. Published

    Cross-entropy optimisation of importance sampling parameters for statistical model checking

    Jegourel, C., Legay, A. & Sedwards, S., 1 Jan 2012, Computer Aided Verification: Proceedings of the 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012. Madhusudan, P. & Seshia, S. A. (eds.). Springer-Verlag, p. 327-342 16 p. (Lecture Notes in Computer Science; vol. 7358).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  476. Published

    Variability and rigour in Service Computing engineering

    Ter Beek, M. H., Gnesi, S., Fantechi, A. & Fiadeiro, J. L., 1 Jan 2012, Proceedings - 2011 34th IEEE Software Engineering Workshop, SEW 2011. p. 122-127 6 p.

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

  477. Published

    Alternating Control Flow Reconstruction

    Kinder, J. & Kravchenko, D., Jan 2012, Proc. 13th Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI 2012). Springer, p. 267-282

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

  478. Published

    Template free synthesis of hollow ball-like nano-Fe2O3 and its application to the detection of dimethyl methylphosphonate at room temperature

    Fan, G., Wang, Y., Hu, M., Luo, Z., Zhang, K. & Li, G., Jan 2012, In: Sensors. 12, 4, p. 4594-4604

    Research output: Contribution to journalArticlepeer-review

  479. Forthcoming

    A closer look at adaptive regret

    Adamskiy, M., Koolen, W., Chernov, A. & Vovk, V., 2012, (Accepted/In press) Proceedings of the Twenty Third International Conference on Algorithmic Learning Theory. Bshouty, N., Stoltz, G., Vayatis, N. & Zeugmann, T. (eds.). Berlin: Springer, Vol. 7568. p. 290 - 304 15 p. (Lecture Notes in Artificial Intelligence).

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

  480. Published

    A New Lower Bound on the Maximum Number of Satisfied clauses in Max-SAT and its algorithmic applications.

    Crowston, R., Gutin, G., Jones, M. & Yeo, A., 2012, In: Algorithmica. doi: 10.1007/s00453-011-9550-1

    Research output: Contribution to journalArticlepeer-review

  481. Published

    A New Randomized Algorithm to Approximate the Star Discrepancy Based on Threshold Accepting

    Gnewuch, M., Wahlström, M. & Winzen, C., 2012, In: SIAM Journal on Numerical Analysis. 50, 2, p. 781-807 27 p.

    Research output: Contribution to journalArticlepeer-review

  482. Published

    A Saturation Method for Collapsible Pushdown Systems

    Broadbent, C., Carayol, A., Hague, M. & Serre, O., 2012, ICALP: International Colloquium on Automata, Languages and Programming.

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

  483. Published

    Agreement in Directed Dynamic Networks

    Biely, M., Robinson, P. & Schmid, U., 2012, Structural Information and Communication Complexity - 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers. p. 73-84 12 p.

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

  484. Published

    All Ternary Permutation Constraint Satisfaction Problems Parameterized Above Average Have Kernels with Quadratic Number of Variables

    Gutin, G., van Iersel, L., Mnich, M. & Yeo, A., 2012, In: Journal of Computer and System Sciences. 78, p. 151--163

    Research output: Contribution to journalArticlepeer-review

  485. Published

    Antimicrobial resistance, infection control and planning for pandemics: : the importance of knowledge transfer in healthcare resilience and emergency planning

    Cole, J., 2012, In: Journal of Business Continuity and Emergency Planning. 6, 2, p. 122 135 p.

    Research output: Contribution to journalArticlepeer-review

  486. Forthcoming

    Buy low, sell high

    Koolen, W. & Vovk, V., 2012, (Accepted/In press) Proceedings of the Twenty Third International Conference on Algorithmic Learning Theory. Bshouty, N., Stoltz, G., Vayatis, N. & Zeugmann, T. (eds.). Berlin: Springer, Vol. 7568. p. 335 - 349 15 p. (Lecture Notes in Artificial Intelligence).

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

  487. Published

    Clique Cover and Graph Separation: New Incompressibility Results

    Cygan, M., Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 2012, ICALP (1). p. 254-265 12 p.

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

  488. Published

    CoMiFin Architecture and Semantic Rooms: Collaborative Financial Infrastructure Protection

    Baldoni, R., Bortnikov, V., Chockler, G., Dekel, E., Laventman, G., Lodi, G. & Montanari, L., 2012, Collaborative Financial Infrastructure Protection. Baldoni, R. & Chockler, G. (eds.). Springer Berlin / Heidelberg, p. 85-98 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  489. Published

    Compression via matroids: a randomized polynomial kernel for odd cycle transversal

    Kratsch, S. & Wahlström, M., 2012, SODA. p. 94-103 10 p.

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

  490. Published

    Conformal predictors in early diagnostics of ovarian and breast cancers

    Devetyarov, D., Nouretdinov, I., Burford, B., Camuzeaux, S., Gentry-Maharaj, A., Tiss, A., Smith, C., Luo, Z., Chervonenkis, A., Hallett, R., Vovk, V., Waterfield, M., Cramer, R., Timms, J. F., Sinclair, J., Menon, U., Jacobs, I. & Gammerman, A., 2012, In: Progress in Artificial Intelligence. 1, p. 245 - 257 13 p.

    Research output: Contribution to journalArticlepeer-review

  491. Forthcoming

    Constraint satisfaction problems parameterized above or below tight bounds: a survey

    Gutin, G. & Yeo, A., 2012, (Accepted/In press) Fellows Festschrift. (Lecture Notes in Computer Science).

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

  492. Published

    Continuous-time trading and the emergence of probability

    Vovk, V., 2012, In: Finance and Stochastics. 16, 4, p. 561 - 609

    Research output: Contribution to journalArticlepeer-review

  493. Forthcoming
  494. Published

    Detecting overlapping protein complexes in protein-protein interaction networks

    Nepusz, T., Yu, H. & Paccanaro, A., 2012, In: Nature Methods. 9, 5, p. 471–472 2 p.

    Research output: Contribution to journalArticlepeer-review

  495. Forthcoming

    Determining Confidence of Predicted Interactions Between HIV-1 and Human Proteins Using Conformal Method

    Nouretdinov, I., Gammerman, A., Qi, Y. & Klein-Seetharaman, J., 2012, (Accepted/In press) Pacific Symposium on Biocomputing. Vol. 17. p. 311-322 12 p.

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

  496. Published

    Directed Acyclic Subgraph Problem Parameterized above Poljak-Turzik Bound

    Crowston, R., Gutin, G. & Jones, M., 2012, FSTTCS 2012: LIPICS . Vol. 18. p. 400-411

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

  497. Published

    Distributed Attack Detection Using Agilis: Collaborative Financial Infrastructure Protection

    Aniello, L., Baldoni, R., Chockler, G., Laventman, G., Lodi, G. & Vigfusson, Y., 2012, Collaborative Financial Infrastructure Protection. Baldoni, R. & Chockler, G. (eds.). Springer Berlin / Heidelberg, p. 157-174 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  498. Published

    Efficient local search algorithms for known and new neighborhoods for the generalized traveling salesman problem

    Karapetyan, D. & Gutin, G., 2012, In: European Journal of Operational Research. 219, p. 234--251

    Research output: Contribution to journalArticlepeer-review

  499. Published

    Exception Diagnosis in Multiagent Contract Executions

    Kafali, O. & Torroni, P., 2012, In: Annals of Mathematics and Artificial Intelligence. 64, 1, p. 73-107 35 p.

    Research output: Contribution to journalArticlepeer-review

  500. Published

    Exploring the evolutionary path of plant MAPK networks

    Dóczi, R., Okrész, L., Romero, A. E., Paccanaro, A. & Bogre, L., 2012, In: Trends in Plant Science.

    Research output: Contribution to journalArticlepeer-review

  501. Published

    Fast, Linear Time Hierarchical Clustering using the Baire Metric

    Contreras, P. & Murtagh, F., 2012, In: Journal of Classification. 29, p. 118-143 26 p.

    Research output: Contribution to journalArticlepeer-review

  502. Published

    Fast, Linear Time, m-Adic Hierarchical Clustering for Search and Retrieval using the Baire Metric, with linkages to Generalized Ultrametrics, Hashing, Formal Concept Analysis, and Precision of Data Measurement

    Murtagh, F. & Contreras, P., 2012, In: p-Adic Numbers, Ultrametric Analysis and Applications. 4, 1, p. 45-56

    Research output: Contribution to journalArticlepeer-review

  503. Published

    Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs

    Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 2012, ICALP (1). p. 581-593 13 p.

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

  504. Forthcoming

    Fixed-parameter tractability of satisfying beyond the number of variables

    Crowston, R., Gutin, G., Jones, M., Raman, V., Saurabh, S. & Yeo, A., 2012, (Accepted/In press) SAT 2012. (Lecture Notes in Computer Science).

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

  505. Published

    GFam: a platform for automatic annotation of gene families

    Sasidharan, R., Nepusz, T., Swarbreck, D., Huala, E. & Paccanaro, A., 2012, In: Nucleic Acids Research. 40, 19, 15 p., e152.

    Research output: Contribution to journalArticlepeer-review

  506. Published

    Hardness of discrepancy computation and epsilon-net verification in high dimension

    Giannopoulos, P., Knauer, C., Wahlström, M. & Werner, D., 2012, In: Journal of Complexity. 28, 2, p. 162-176 15 p.

    Research output: Contribution to journalArticlepeer-review