1. 2021
  2. Published

    ANEGMA: an automated negotiation model for e-markets

    Bagga, P., Paoletti, N., Alrayes, B. & Stathis, K., 7 Jun 2021, In: Autonomous Agents and Multi-Agent Systems. 35, 27.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    Autonomous Building of Structures in Unstructured Environments via AI Planning

    Roberts, J., Franco Aixela, S., Stokes, A. & Bernardini, S., 17 May 2021, The 31st International Conference on Automated Planning and Scheduling (ICAPS 2021).. 1 ed. Vol. 31. p. 491-499 9 p.

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

  4. Published

    vPlanSim: An Open Source Graphical Interface for the Visualisation and Simulation of AI Systems

    Roberts, J., Mastorakis, G., Lazaruk, B., Franco Aixela, S., Stokes, A. & Bernardini, S., 17 May 2021, The 31st International Conference on Automated Planning and Scheduling (ICAPS 2021). 1 ed. Vol. 31. p. 486-490 5 p.

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

  5. Forthcoming

    Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty

    Bagga, P., Paoletti, N. & Stathis, K., 7 May 2021, (Accepted/In press) FUZZ-IEEE 2021.

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

  6. Forthcoming

    Universal predictive systems

    Vovk, V., 5 May 2021, (Accepted/In press) In: Pattern Recognition.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    Vladimir Vovk’s contribution to the Discussion of ‘Testing by betting: A strategy for statistical and scientific communication’ by Glenn Shafer

    Vovk, V., 5 May 2021, In: Journal of the Royal Statistical Society: Series A (Statistics in Society). 184, 2, p. 445-446 2 p.

    Research output: Contribution to journalArticle

  8. Published

    Computing exact solutions of consensus halving and the Borsuk-Ulam theorem

    Deligkas, A., Fearnley, J., Melissourgos, T. & Spirakis, P. G., May 2021, In: Journal of Computer and System Sciences. 117, p. 75-98 24 p.

    Research output: Contribution to journalArticlepeer-review

  9. Forthcoming

    A Session Subtyping Tool

    Lange, J., Bravetti, M., Bacchiani, L. & Zavattaro, G., 21 Apr 2021, (Accepted/In press) In: Lecture Notes in Computer Science.

    Research output: Contribution to journalConference articlepeer-review

  10. Forthcoming

    Checking Data-Race Freedom of GPU Kernels, Compositionally

    Cogumbreiro, T., Lange, J., Liew Zhen Rong, D. & Zicarelli, H., 17 Apr 2021, (Accepted/In press) International Conference on Computer-Aided Verification. Springer-Verlag

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

  11. Published

    Spons & Shields: practical isolation for trusted execution

    Sartakov, V. A., O'Keeffe, D., Eyers, D. M., Vilanova, L. & Pietzuch, P. R., 16 Apr 2021, VEE 2021: Proceedings of the 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. ACM, p. 186-200 15 p.

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

  12. E-pub ahead of print

    An adaptive multi-agent system for task reallocation in a MapReduce job

    Baert, Q., Caron, A-C., Morge, M., Routier, J-C. & Stathis, K., 1 Apr 2021, In: Journal of Parallel and Distributed Computing.

    Research output: Contribution to journalArticlepeer-review

  13. E-pub ahead of print

    Parameterized Pre-coloring Extension and List Coloring Problems

    Gutin, G., Majumdar, D., Ordyniak, S. & Wahlström, M., 29 Mar 2021, In: SIAM Journal on Discrete Mathematics. 35, 1, p. 575-596 22 p.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    Strong subgraph connectivity of digraphs

    Sun, Y. & Gutin, G., 18 Mar 2021, In: Graphs and Combinatorics. 37, p. 951-970 20 p.

    Research output: Contribution to journalArticlepeer-review

  15. Published

    A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

    Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 4 Mar 2021, In: Logical Methods in Computer Science. 17, 1, p. 1-35 35 p.

    Research output: Contribution to journalArticlepeer-review

  16. Published

    The Effect of Social Distancing on the Reach of an Epidemic in Social Network

    Gutin, G., Hirano, T., Hwang, S-H., Neary, P. & Toda, A. A., 3 Mar 2021, In: Journal of Economic Interaction and Coordination.

    Research output: Contribution to journalArticlepeer-review

  17. Published

    Proximity and Remoteness in Directed and Undirected Graphs

    Ai, J., Gerke, S., Gutin, G. & Mafunda, S., Mar 2021, In: Discrete Mathematics. 344, 3, 112252.

    Research output: Contribution to journalArticlepeer-review

  18. E-pub ahead of print

    A Unifying Look at Sequence Submodularity

    Bernardini, S., Fagnani, F. & Piacentini, C., Aug 2021, In: Artificial Intelligence. 297, 103486.

    Research output: Contribution to journalArticlepeer-review

  19. Forthcoming

    Towards Better Understanding of User Authorization Query Problem via Multi-variable Complexity Analysis

    Crampton, J., Gutin, G. & Majumdar, D., 13 Feb 2021, (Accepted/In press) In: ACM Transactions on Privacy and Security.

    Research output: Contribution to journalArticlepeer-review

  20. Published

    The Project Strategy Matrix: Systematizing the Design and Management of an Explicit Project Strategy

    Koutsoukos, G., Feb 2021, In: IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT. 68, 1, p. 249-264 16 p., 8809922.

    Research output: Contribution to journalReview articlepeer-review

  21. Published

    Parameterized Complexity of Conflict-Free Set Cover

    Jacob, A., Majumdar, D. & Raman, V., 12 Jan 2021, In: Theory of Computing Systems. 26 p.

    Research output: Contribution to journalArticlepeer-review

  22. Published

    Resolution with Counting: Dag-Like Lower Bounds and Different Moduli

    Part, F. & Tzameret, I., 8 Jan 2021, In: Computational Complexity. 30, 1, 2.

    Research output: Contribution to journalArticlepeer-review

  23. Published

    Actor-based model checking for Software-Defined Networks

    Albert, E., Gómez-Zamalloa, M., Isabel, M., Rubio, A., Sammartino, M. & Silva, A., Jan 2021, In: Journal of Logical and Algebraic Methods in Programming. 118, 25 p., 100617.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    r-Simple k-Path and Related Problems Parameterized by k/r

    Gutin, G., Wahlström, M. & Zehavi, M., Jan 2021, In: ACM Transactions on Algorithms (TALG). 17, 1, p. 1-64 64 p., 10.

    Research output: Contribution to journalArticlepeer-review

  25. Published

    Solving hard cut problems via flow-augmentation

    Kim, E. J., Kratsch, S., Pilipczuk, M. & Wahlström, M., Jan 2021, Proceedings of SODA 2021. 20 p.

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

  26. Published

    Uniform, Integral, and Feasible Proofs for the Determinant Identities

    Tzameret, I. & Cook, S., Jan 2021, In: Journal of the ACM. 68, 2, 80 p., 12.

    Research output: Contribution to journalArticlepeer-review

  27. Unpublished
  28. Forthcoming

    Strong Subgraph Connectivity of Digraphs: A Survey

    Sun, Y. & Gutin, G., 2021, (Accepted/In press) In: Journal of Interconnection Networks.

    Research output: Contribution to journalArticlepeer-review

  29. Forthcoming

    Valued Authorization Policy Existence Problem

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., 2021, (Accepted/In press) Proceedings of 26th ACM SACMAT.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  30. 2020
  31. Forthcoming

    Fair Refinement for Asynchronous Session Types

    Bravetti, M., Lange, J. & Zavattaro, G., 22 Dec 2020, (Accepted/In press) In: Lecture Notes in Computer Science.

    Research output: Contribution to journalConference articlepeer-review

  32. Published

    Component Order Connectivity in Directed Graphs

    Bang-Jensen, J., Eiben, E., Gutin, G., Wahlström, M. & Yeo, A., 4 Dec 2020, Proceedings of IPEC 2020, LIPIcs . Vol. 180. p. 2:1-2:16 16 p.

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

  33. Published

    Parameterized Complexity of Deletion to Scattered Graph Classes

    Jacob, A., Majumdar, D. & Raman, V., 4 Dec 2020, The 15th International Symposium on Parameterized and Exact Computation. LIPIcs, Vol. 180. p. 1-17 17 p. 18

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

  34. Published

    Randomized contractions meet lean decompositions

    Cygan, M., Komosa, P., Lokshtanov, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S. & Wahlström, M., Dec 2020, In: ACM Transactions on Algorithms (TALG). 17, 1, 30 p., 6.

    Research output: Contribution to journalArticlepeer-review

  35. Published

    Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search

    Kaznatcheev, A., Cohen, D. & Jeavons, P., 29 Nov 2020, In: Journal of Artificial Intelligence Research. 69, p. 1077-1102 26 p., 12156.

    Research output: Contribution to journalArticlepeer-review

  36. E-pub ahead of print

    Implementation Correctness for Replicated Data Types, Categorically

    Gadducci, F., Melgratti, H., Roldán, C. & Sammartino, M., 25 Nov 2020, Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, 2020, Proceedings. Pun, V. K., Stolz, V. & Simao, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 283-303 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12545 LNCS).

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

  37. Published

    The Design of Prometheus: A Reconfigurable UAV for Subterranean Mine Inspection

    Brown, L., Clarke, R., Akbari, A., Bhandari, U., Bernardini, S., Chhabra, P., Marjanovic, O., Richardson, T. & Watson, S., 18 Nov 2020, In: Robotics. 9 , 4, p. 1-21 21 p., 95.

    Research output: Contribution to journalArticlepeer-review

  38. Published

    Featherweight Go

    Griesemer, R., Hu, R., Kokke, W., Lange, J., Taylor, I. L., Toninho, B., Wadler, P. & Yoshida, N., 15 Nov 2020, In: Proceedings of the ACM on Programming Languages, OOPSLA. 4, 29 p., 149.

    Research output: Contribution to journalConference articlepeer-review

  39. Published

    An evolutionary model that satisfies detailed balance

    Lember, J. & Watkins, C., 9 Nov 2020, In: Methodology and Computing in Applied Probability. 37 p.

    Research output: Contribution to journalArticlepeer-review

  40. E-pub ahead of print

    Fostering global data sharing: highlighting the recommendations of the Research Data Alliance COVID-19 working group

    Research Data Alliance & Shanahan, H., 9 Nov 2020, In: Wellcome Open Research. 267.

    Research output: Contribution to journalArticlepeer-review

  41. Published

    Towards a Polynomial Kernel for Directed Feedback Vertex Set

    Bergougnoux, B., Eiben, E., Ganian, R., Ordyniak, S. & Ramanujan, M. S., 4 Nov 2020, In: Algorithmica. 21 p.

    Research output: Contribution to journalArticlepeer-review

  42. Published

    k-Ary spanning trees contained in tournaments

    Ai, J., Lei, H., Shi, Y., Yao, S. & Zhang, Z. B., 15 Oct 2020, In: Discrete Applied Mathematics. 285, p. 141-146 6 p.

    Research output: Contribution to journalArticlepeer-review

  43. Forthcoming

    Testing randomness online

    Vovk, V., 15 Oct 2020, (Accepted/In press) In: Statistical Science.

    Research output: Contribution to journalArticlepeer-review

  44. Published

    Feeder-Level Deep Learning-based Photovoltaic Penetration Estimation Scheme

    Zhang, X., Kuenzel, S. & Watkins, C., 13 Oct 2020.

    Research output: Contribution to conferencePaperpeer-review

  45. E-pub ahead of print

    Successive shortest paths in complete graphs with random edge weights

    Gerke, S., Mezei, B. & Sorkin, G., 13 Oct 2020, In: Random Structures and Algorithms. 57, 4, p. 1205-1247 43 p.

    Research output: Contribution to journalArticlepeer-review

  46. E-pub ahead of print

    A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

    Chen, T., Hague, M., He, J., Hu, D., Lin, A., Ruemmer, P. & Wu, Z., 12 Oct 2020, p. 325-342. 18 p.

    Research output: Contribution to conferencePaperpeer-review

  47. Published

    Automated synthesis of safe digital controllers for sampled-data stochastic nonlinear systems

    Shmarov, F., Soudjani, S., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A. & Zuliani, P., 2 Oct 2020, In: IEEE Access. 8, p. 180825-180843 19 p., 3028476.

    Research output: Contribution to journalArticlepeer-review

  48. Published

    Target Search on Road Networks with Range-Constrained UAVs and Ground-Based Mobile Recharging Vehicles

    Booth, K. & Bernardini, S., Oct 2020, International Conference on Intelligent Robots and Systems (IROS): 2020 IEEE/RSJ. IEEE Xplore, p. 6702-6709 8 p. 3038

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

  49. Published

    Prediction with Expert Advice for Value at Risk

    Dzhamtyrova, R. & Kalnishkan, Y., 28 Sep 2020, Proceedings of The 2020 International Joint Conference on Neural Networks (IJCNN 2020). IEEE, 8 p.

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

  50. Forthcoming

    E-values: Calibration, combination, and applications

    Vovk, V. & Wang, R., 17 Sep 2020, (Accepted/In press) In: The Annals of Statistics.

    Research output: Contribution to journalArticlepeer-review

  51. Published
  52. Published

    Evaluation and Extension of Inductive Venn-Abers Predictive Distribution

    Nouretdinov, I., Gammerman, J. & Rehal, D., 11 Sep 2020, 1 p. Proceedings of the Ninth Symposium on Conformal and Probabilistic Prediction and Applications.

    Research output: Other contribution

  53. Published

    Predicting the Frequencies of Drug Side effects

    Galeano, D., Li, S., Gerstein, M. & Paccanaro, A., 11 Sep 2020, In: Nature Communications. 11, p. 1-14 14 p., 4575.

    Research output: Contribution to journalArticlepeer-review

  54. E-pub ahead of print

    Epidemic contact tracing with smartphone sensors

    Nguyen, D. K. A., Luo, Z. & Watkins, C., 1 Sep 2020, In: Journal of Location Based Services. 37 p.

    Research output: Contribution to journalArticlepeer-review

  55. Published

    An Optimization Approach to Robust Goal Obfuscation

    Bernardini, S., Fagnani, F. & Franco, S., Sep 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoningg. International Joint Conferences on Artificial Intelligence, p. 119-129 11 p.

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

  56. Published

    Conformal calibration

    Vovk, V., Petej, I., Toccaceli, P., Gammerman, A., Ahlberg, E. & Carlsson, L., Sep 2020, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z., Smirnov, E. & Cherubin, G. (eds.). Vol. 128. p. 84-99 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  57. Published

    Practical investment with the long-short game

    Al-Baghdadi, N., Lindsay, D., Kalnishkan, Y. & Lindsay, S., Sep 2020, Conformal and Probabilistic Prediction and Applications: COPA 2020. Proceedings of Machine Learning Research, Vol. 128. p. 209-228 20 p. (Proceedings of Machine Learning Research ).

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

  58. Published

    Reasoning about plan robustness versus plan cost for partially informed agents

    Keren, S., Bernardini, S., Kwapong, K. & Parkes, D. C., Sep 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence, p. 550-559 10 p. 64

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

  59. Published

    Training conformal predictors

    Colombo, N. & Vovk, V., Sep 2020, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z., Smirnov, E. & Cherubin, G. (eds.). Vol. 128. p. 55-64 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  60. E-pub ahead of print

    Approximation algorithms for general cluster routing problem

    Zhang, X., Du, D., Gutin, G., Ming, Q. & Sun, J., 27 Aug 2020, Computing and Combinatorics : 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020, Proceedings. Kim, D., Uma, R. N., Cai, Z. & Lee, D. H. (eds.). Springer, p. 472-483 12 p. (Lecture Notes in Computer Science; vol. 12273).

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

  61. E-pub ahead of print

    Uniqueness of DP-Nash Subgraphs and D-sets in Weighted Graphs of Netflix Games

    Gutin, G., Neary, P. & Yeo, A., 27 Aug 2020, p. 360-371. 12 p.

    Research output: Contribution to conferencePaperpeer-review

  62. Published

    A polynomial kernel for line graph deletion

    Eiben, E. & Lochet, W., 26 Aug 2020, 28th Annual European Symposium on Algorithms, ESA 2020. Grandoni, F., Herman, G. & Sanders, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-15 15 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 173).

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

  63. Published

    Many visits TSP revisited

    Kowalik, L., Li, S., Nadara, W., Smulewicz, M. & Wahlström, M., 26 Aug 2020, ESA 2020. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 173. p. 1-22 22 p. 66

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

  64. Published

    Residual Nominal Automata

    Moerman, J. & Sammartino, M., 26 Aug 2020, LIPCs. Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 2017. p. 44:1-44:21 21 p. 44

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

  65. Published

    Conformal anomaly detection for visual reconstruction using gestalt principles

    Nouretdinov, I., Balinsky, A. & Gammerman, A., 21 Aug 2020, Proceedings of the Ninth Symposium on Conformal and Probabilistic Prediction and Applications. Vol. 128. p. 151-170 20 p.

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

  66. Published

    Learning automata with side-effects

    van Heerdt, G., Sammartino, M. & Silva, A., 21 Aug 2020, Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Proceedings. Petrisan, D. & Rot, J. (eds.). Springer, p. 68-89 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12094 LNCS).

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

  67. Published

    A polynomial kernel for 3-leaf power deletion

    Ahn, J., Eiben, E., Kwon, O. J. & Oum, S. I., 18 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-14 14 p. MFCS-2020-5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

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

  68. Published

    Exact and approximate algorithms for computing a second hamiltonian cycle

    Deligkas, A., Mertzios, G. B., Spirakis, P. G. & Zamaraev, V., 18 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-13 13 p. MFCS-2020-27. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

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

  69. Published

    Extending nearly complete 1-planar drawings in polynomial time

    Eiben, E., Ganian, R., Hamm, T., Klute, F. & Nöllenburg, M., 18 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-16 16 p. MFCS-2020-31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

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

  70. E-pub ahead of print

    Target Search on Road Networks with Range-Constrained UAVs and Ground-based Mobile Recharging Vehicles

    Booth, K., Piacentini, C., Bernardini, S. & Beck, C., 11 Aug 2020, In: IEEE Robotics and Automation Letters. 8 p.

    Research output: Contribution to journalArticlepeer-review

  71. Published

    “Ethics When You Least Expect It”: A Modular Approach to Short Course Data Ethics Instruction

    Bezuidenhout, L., Quick, R. & Shanahan, H., Aug 2020, In: Science and Engineering Ethics. 26, p. 2189-2213 25 p.

    Research output: Contribution to journalArticlepeer-review

  72. Published

    Non-well-founded Proof Theory of Transitive Closure Logic

    Cohen, L. & Rowe, R., Aug 2020, In: ACM Transactions on Computational Logic. 21, 4, p. 1-31 31 p., 31.

    Research output: Contribution to journalArticlepeer-review

  73. Published

    Computationally efficient versions of conformal predictive distributions

    Vovk, V., Petej, I., Nouretdinov, I., Manokhin, V. & Gammerman, A., 15 Jul 2020, In: Neurocomputing. 397, p. 292-308 17 p.

    Research output: Contribution to journalArticlepeer-review

  74. Published

    Universal algorithms for multinomial logistic regression under Kullback-Leibler game

    Dzhamtyrova, R. & Kalnishkan, Y., 15 Jul 2020, In: Neurocomputing. 397, p. 369-380 12 p.

    Research output: Contribution to journalArticlepeer-review

  75. Published

    What is semantic diversity and why does it facilitate visual word recognition?

    Cevoli, B., Watkins, C. & Rastle, K., 14 Jul 2020, In: Behavior Research Methods. p. 1-17 17 p.

    Research output: Contribution to journalArticlepeer-review

  76. Published

    Silent speech decoding using spectrogram features based on neuromuscular activities

    Wang, Y., Zhang, M., Wu, R., Gao, H., Yang, M., Luo, Z. & Li, G., 11 Jul 2020, In: Brain Sciences. 10, 7, p. 1-14 14 p., 442.

    Research output: Contribution to journalArticlepeer-review

  77. Published

    An electronic nose-based assistive diagnostic prototype for lung cancer detection with conformal prediction

    Zhan, X., Wang, Z., Yang, M., Luo, Z., Wang, Y. & Li, G., 1 Jul 2020, In: Measurement. 158, p. 1-10 10 p., 107588.

    Research output: Contribution to journalArticlepeer-review

  78. Forthcoming

    Intelligent Exploration and Autonomous Navigation in Confined Spaces

    Akbari, A. & Bernardini, S., 1 Jul 2020, (Accepted/In press) International Conference on Intelligent Robots and Systems (IROS): 2020 IEEE/RSJ. IEEE Xplore, p. 2157-2164 8 p. 1209

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

  79. Published

    A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation

    Bagga, P., Paoletti, N., Alrayes, B. & Stathis, K., Jul 2020, p. 297-303. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  80. Published

    On Generating Efficient Data Summaries for Logistic Regression: A Coreset-based Approach

    Riquelme Granada, N., Nguyen, D. K. A. & Luo, Z., Jul 2020, 9th International Conference on Data Science, Technology and Applications (DATA 2020). Vol. 1. p. 78-89 12 p.

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

  81. Published

    SUPERT: Towards New Frontiers in Unsupervised Evaluation Metrics for Multi-Document Summarization

    Gao, Y., Zhao, W. & Eger, S., Jul 2020, p. 1347-1354. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  82. Published

    Transatlantic Perspectives on the Use of Data Science in Museums and Heritage

    Platts, H., Howard, D., Dalton, P. & Watkins, C., Jul 2020, UK Research and Innovation.

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

  83. Published

    RDA COVID-19 Recommendations and Guidelines on Data Sharing

    Research Data Alliance COVID-19 Working Group, 30 Jun 2020, 144 p.

    Research output: Book/ReportBook

  84. Published

    Extending partial 1-planar drawings

    Eiben, E., Ganian, R., Hamm, T., Klute, F. & Nöllenburg, M., 29 Jun 2020, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020. Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-19 19 p. 43. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 168).

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

  85. Published

    On quasipolynomial multicut-mimicking networks and kernelization of multiway cut problems

    Wahlström, M., 29 Jun 2020, ICALP 2020. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 168. p. 1-14 14 p. 101

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

  86. Published

    Tree polymatrix games are PPAD-hard

    Deligkas, A., Fearnley, J. & Savani, R., 29 Jun 2020, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020. Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-14 14 p. 38. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 168).

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

  87. E-pub ahead of print

    Hamiltonicity, Pancyclicity and Full Cycle Extendability in Multipartite Tournaments

    Zhang, Z., Zhang, X., Gutin, G. & Lou, D., 27 Jun 2020, In: Journal of Graph Theory. p. 1-21 21 p.

    Research output: Contribution to journalArticlepeer-review

  88. Published

    Integrating Induction and Coinduction via Closure Operators and Proof Cycles

    Cohen, L. & Rowe, R. N. S., 24 Jun 2020, Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, p. 375-394 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12166 LNAI).

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

  89. E-pub ahead of print

    Monadic Decomposition in Integer Linear Arithmetic

    Hague, M., Lin, A., Ruemmer, P. & Wu, Z., 24 Jun 2020, International Joint Conference on Automated Reasoning: IJCAR 2020. Springer-Verlag, p. 122-140 19 p. (Lecture Notes in Computer Science; vol. 12166).

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

  90. E-pub ahead of print

    Algebras for Tree Decomposable Graphs

    Bruni, R., Montanari, U. & Sammartino, M., 23 Jun 2020, Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Proceedings. Gadducci, F. & Kehrer, T. (eds.). Springer, p. 203-220 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12150 LNCS).

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

  91. Published

    Privacy-Functionality Trade-off: A Privacy-Preserving Multi-Channel Smart Metering System

    Zhang, X., Kuenzel, S., Córdoba-Pachón, J-R. & Watkins, C., 21 Jun 2020, In: Energies. 13, 12, p. 1-30 30 p., 3221.

    Research output: Contribution to journalArticlepeer-review

  92. Published

    Crystal Structure Prediction via Oblivious Local Search

    Antypov, D., Deligkas, A., Gusev, V., Rosseinsky, M. J., Spirakis, P. G. & Theofilatos, M., 12 Jun 2020, 18th International Symposium on Experimental Algorithms, SEA 2020. Faro, S. & Cantone, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-14 14 p. 21. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 160).

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

  93. Published

    Combining p-values via averaging

    Vovk, V. & Wang, R., 11 Jun 2020, In: Biometrika. 107, 4, p. 791-808 18 p., asaa027.

    Research output: Contribution to journalArticlepeer-review

  94. Published

    Removing connected obstacles in the plane is FPT

    Eiben, E. & Lokshtanov, D., 8 Jun 2020, 36th International Symposium on Computational Geometry, SoCG 2020. Cabello, S. & Chen, D. Z. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-14 14 p. LIPIcs-SoCG-2020-39. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 164).

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

  95. E-pub ahead of print

    Competitive online quantile regression

    Dzhamtyrova, R. & Kalnishkan, Y., 5 Jun 2020, Information Processing and Management of Uncertainty in Knowledge-Based Systems: 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part I. Lesot, M-J., Vieira, S., Reformat, M., Carvalho, J. P., Wilbik, A., Bouchon-Meunier, B. & Yager, R. R. (eds.). 1st ed. Springer, p. 499-512 14 p. (Communications in Computer and Information Science; vol. 1237).

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

  96. Published

    Refining Process Descriptions from Execution Data in Hybrid Planning Domain Models

    Linday, A., Franco Aixela, S., Reya, R. & McCluskey, L., 1 Jun 2020, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020. AAAI Press, Vol. 30 (2020). p. 469-477 9 p.

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

  97. Published

    Through the Lens of Sequence Submodularity

    Bernardini, S., Fagnani, F. & Piacentini, C., 1 Jun 2020, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling. AAAI Press, Vol. 30. p. 38-47 10 p.

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

  98. Published

    A Colored Path Problem and Its Applications

    Eiben, E. & Kanj, I., Jun 2020, In: ACM Transactions on Algorithms (TALG). 16, 4, p. 1-48 48 p., 47.

    Research output: Contribution to journalArticlepeer-review

  99. Published

    Constraint Branching in Workflow Satisfiability Problem

    Gutin, G. & Karapetyan, D., Jun 2020, SACMAT 2020: Symposium on Access Control Models and Technologies. p. 93-103 11 p.

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

  100. Published

    Purely functional GLL parsing

    van Binsbergen, L. T., Scott, E. & Johnstone, A., Jun 2020, In: Journal of Computer Languages. 58, 17 p., 100945.

    Research output: Contribution to journalArticlepeer-review

  101. Published

    Representative sets and irrelevant vertices: New tools for kernelization

    Kratsch, S. & Wahlström, M., Jun 2020, In: Journal of the ACM. p. 1-50 50 p., 16.

    Research output: Contribution to journalArticlepeer-review

  102. Published

    Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture: Can a Natural Number be Negative?

    Alekseev, Y., Grigoriev, D., Hirsch, E. & Tzameret, I., Jun 2020, STOC 2020: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery (ACM), p. 54-67 14 p.

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

  103. Published

    Using decomposition-parameters for QBF: Mind the prefix!

    Eiben, E., Ganian, R. & Ordyniak, S., Jun 2020, In: Journal of Computer and System Sciences. 110, p. 1-21 21 p.

    Research output: Contribution to journalArticlepeer-review

  104. Published

    The Corrected Gene Proximity map for analyzing the 3D genome organization using Hi-C data

    Ye, C., Paccanaro, A., Gerstein, M. & Yan, K-K., 29 May 2020, In: BMC Bioinformatics. 21, p. 1-18 18 p., 222.

    Research output: Contribution to journalArticlepeer-review

  105. Published

    Anomaly Detection in Video Games

    Wilkins, B., Watkins, C. & Stathis, K., 20 May 2020, In: ArXiv.org. p. 1-4 4 p., 2005.10211.

    Research output: Contribution to journalArticle

  106. Published

    Facilitating plausible deniability for cloud providers regarding tenants' activities using trusted execution

    O'Keeffe, D., Vranaki, A., Pasquier, T. & Eyers, D., 19 May 2020, Proceedings - 2020 IEEE International Conference on Cloud Engineering, IC2E 2020. Institute of Electrical and Electronics Engineers Inc., p. 59-65 7 p. (Proceedings - 2020 IEEE International Conference on Cloud Engineering, IC2E 2020).

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

  107. Published

    A Multi-Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms

    Bernardini, S., Jovan, F., Jiang, Z., Watson, S., Weightman, A., Moradi, P., Richardson, T., Sadeghian, R. & Sareh, S., May 2020, International Conference on Autonomous Agents and Multi-Agent Systems 2020 . p. 1696-1700 5 p.

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

  108. Published

    Arc-disjoint in- and out-branchings rooted at the same vertex in compositions of digraphs

    Gutin, G. & Sun, Y., May 2020, In: Discrete Mathematics. 343, 5, p. 1-4 4 p., 111816.

    Research output: Contribution to journalArticlepeer-review

  109. Published

    Steepest ascent can be exponential in bounded treewidth problems

    Cohen, D. A., Cooper, M. C., Kaznatcheev, A. & Wallace, M., May 2020, In: Operations Research Letters. 48, 3, p. 217-224 8 p.

    Research output: Contribution to journalArticlepeer-review

  110. Published

    PAIGE: Towards a hybrid-edge design for privacy-preserving intelligent personal assistants

    Liang, Y., O'Keeffe, D. & Sastry, N., 27 Apr 2020, EdgeSys 2020 - Proceedings of the 3rd ACM International Workshop on Edge Systems, Analytics and Networking, Part of EuroSys 2020. Association for Computing Machinery, Inc, p. 55-60 6 p. (EdgeSys 2020 - Proceedings of the 3rd ACM International Workshop on Edge Systems, Analytics and Networking, Part of EuroSys 2020).

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

  111. Published

    Sparsification of SAT and CSP Problems via Tractable Extensions

    Lagerkvist, V. & Wahlstrom, M., 26 Apr 2020, In: ACM Transactions on Computation Theory (TOCT). 12, 2, p. 1-29 29 p., 13.

    Research output: Contribution to journalArticlepeer-review

  112. Published

    On the Approximate Compressibility of Connected Vertex Cover

    Majumdar, D., Ramanujan, M. S. & Saurabh, S., 25 Apr 2020, In: Algorithmica. p. 2902-2926 25 p.

    Research output: Contribution to journalArticlepeer-review

  113. E-pub ahead of print

    Proper orientation number of triangle-free bridgeless outerplanar graphs

    Ai, J., Gerke, S., Gutin, G., Shi, Y. & Taoqiu, Z., 20 Apr 2020, In: Journal of Graph Theory. p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  114. E-pub ahead of print

    Arc-disjoint Strong Spanning Subdigraphs of Semicomplete Compositions

    Bang-Jensen, J., Gutin, G. & Yeo, A., 13 Apr 2020, In: Journal of Graph Theory.

    Research output: Contribution to journalArticlepeer-review

  115. E-pub ahead of print

    Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange

    Dowling, B., Hansen, T. B. & Paterson, K. G., 10 Apr 2020, Post-Quantum Cryptography - 11th International Conference, PQCrypto 2020, Proceedings. Ding, J. & Tillich, J-P. (eds.). Springer, p. 483-502 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12100 LNCS).

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

  116. Published

    Bounded verification of message-passing concurrency in Go using Promela and Spin

    Dilley, N. & Lange, J., 3 Apr 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 314, p. 34-45 12 p.

    Research output: Contribution to journalConference articlepeer-review

  117. E-pub ahead of print

    Inductive conformal prediction for silent speech recognition

    Zhang, M., Wang, Y., Zhang, W., Yang, M., Luo, Z. & Li, G., 2 Mar 2020, In: Journal of Neural Engineering. 12 p.

    Research output: Contribution to journalArticlepeer-review

  118. Published

    Algorithms for Workflow Satisfiability Problem with User-independent Constraints

    Gutin, G. & Karapetyan, D., Mar 2020, In: International Journal of Graph Computing. 1, 1, p. 25-38 14 p.

    Research output: Contribution to journalArticlepeer-review

  119. Published

    Network modeling of patients’ biomolecular profiles for clinical phenotype/outcome prediction

    Gliozzo, J., Perlasca, P., Mesiti, M., Casiraghi, E., Vallacchi, V., Vergani, E., Frasca, M., Grossi, G., Petrini, A., Re, M., Paccanaro, A. & Valentini, G., 27 Feb 2020, In: Scientific Reports. 10, p. 1-15 15 p., 3612.

    Research output: Contribution to journalArticlepeer-review

  120. Published

    On Covering Segments with Unit Intervals

    Bergren, D., Eiben, E., Ganian, R. & Kanj, I., 27 Feb 2020, p. 13:1-13:17. 17 p.

    Research output: Contribution to conferencePaperpeer-review

  121. Published

    Parameterized Pre-Coloring Extension and List Coloring Problems

    Gutin, G., Majumdar, D., Ordyniak, S. & Wahlström, M., 27 Feb 2020, LIPIcs, Proceedings of STACS 2020. Vol. 154. p. 1-18 18 p. 15

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

  122. Published

    Structuring Time Series Data to Gain Insight into Agent Behaviour

    Al-Baghdadi, N., Wisniewski, W., Lindsay, D., Lindsay, S., Kalnishkan, Y. & Watkins, C., 24 Feb 2020, Proceedings of the 3rd International Workshop on Big Data for Financial News and Data. IEEE, p. 5480-5490 11 p.

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

  123. E-pub ahead of print

    A Location-Aware Strategy for Agents Negotiating Load-balancing

    Baert, Q., Caron, A-C., Morge, M., Routier, J-C. & Stathis, K., 13 Feb 2020, p. 1-8. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  124. Published

    LUMI-PCR: An Illumina platform ligation-mediated PCR protocol for integration site cloning, provides molecular quantitation of integration sites

    Dawes, J. C., Webster, P., Iadarola, B., Garcia-Diaz, C., Dore, M., Bolt, B. J., Dewchand, H., Dharmalingam, G., McLatchie, A. P., Kaczor, J., Caceres, J. J., Paccanaro, A., Game, L., Parrinello, S. & Uren, A. G., 4 Feb 2020, In: Mobile DNA. 11, p. 1-16 16 p., 7.

    Research output: Contribution to journalArticlepeer-review

  125. E-pub ahead of print

    ErbB-3 BINDING PROTEIN 1 Regulates Translation and Counteracts RETINOBLASTOMA RELATED to Maintain the Root Meristem

    Lokdarshi, A., Papdi, C., Pettkó-Szandtner, A., Dorokhov, S., Scheres, B., Magyar, Z., von Arnim, A. G., Bogre, L. & Horvath, B., 31 Jan 2020, In: Plant physiology. 182, 2, p. 919-932 14 p.

    Research output: Contribution to journalArticlepeer-review

  126. E-pub ahead of print

    Helping the Consumers and Producers of Standards, Repositories and Policies to Enable FAIR Data

    McQuilton, P., Batista, D., Beyan, O., Granell, R., Coles, S., Izzo, M., Lister, A. L., Pergl, R., Rocca-Serra, P., Schaap, B., Shanahan, H., Thurston, M. & Sansone, S-A., 31 Jan 2020, In: Data Intelligence. 2, 1-2, p. 151-157 7 p.

    Research output: Contribution to journalArticlepeer-review

  127. Published

    From classical proof theory to P vs. NP: a guide to bounded theories

    Tzameret, I., 14 Jan 2020, 28th EACSL Annual Conference on Computer Science Logic (CSL) 2020, January 13-16, 2020, Barcelona, Spain. : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2020. .

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

  128. Published

    Resolution with Counting: Dag-Like Lower Bounds and Different Moduli

    Part, F. & Tzameret, I., 13 Jan 2020, 11th Innovations in Theoretical Computer Science Conference (ITCS) 2020, January, 2020, Seattle, WA, USA. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 1-37 37 p.

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

  129. Published

    E2FB Interacts with RETINOBLASTOMA RELATED and Regulates Cell Proliferation during Leaf Development

    Őszi, E., Papdi, C., Mohammed, B., Petkó-Szandtner, A., Leviczky, T., Molnár, E., Galvan-Ampudia, C., Safina, K., Lopez Juez, E., Horvath, B., Bogre, L. & Magyar, Z., 6 Jan 2020, In: Plant physiology. 182, 1, p. 518-533 16 p.

    Research output: Contribution to journalArticlepeer-review

  130. Unpublished

    A transformer conformal predictor for paraphrase detection

    Giovannotti, P., 2020, (Unpublished).

    Research output: Contribution to conferencePosterpeer-review

  131. Unpublished

    Checking Cryptographic API Specifications in JavaScript

    Mitchell, D., 2020, (Unpublished)

    Research output: ThesisDoctoral Thesis

  132. Unpublished

    Competitive online algorithms for probabilistic prediction

    Dzhamtyrova, R., 2020, (Unpublished)

    Research output: ThesisDoctoral Thesis

  133. Published

    Fast probabilistic prediction for kernel SVM via enclosing balls

    Riquelme-Granada, N., Nguyen, D. K. A. & Luo, Z., 2020, Proceedings of Machine Learning Research: Proceedings of the Ninth Symposium on Conformal and Probabilistic Prediction and Applications. Vol. 128. p. 189-208 20 p.

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

  134. Unpublished
  135. Published

    Neural Simplex Architecture

    Phan, D. T., Grosu, R., Jansen, N., Paoletti, N., Smolka, S. A. & Stoller, S. D., 2020, NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, p. 97-114 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12229 LNCS).

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

  136. Unpublished

    Static Flow Analysis for Hybrid and Native Android Applications

    Rizzo, C., 2020, (Unpublished) 189 p.

    Research output: ThesisDoctoral Thesis

  137. 2019
  138. Published

    Tractability of König edge deletion problems

    Majumdar, D., Neogi, R., Raman, V. & Vaishali, S., 3 Dec 2019, In: Theoretical Computer Science. 796, p. 207-215 9 p.

    Research output: Contribution to journalArticlepeer-review

  139. Published

    A Categorical Account of Replicated Data Types

    Gadducci, F., Melgratti, H., Roldán, C. & Sammartino, M., Dec 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-15 15 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 150).

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

  140. E-pub ahead of print

    Multi-level conformal clustering: A distribution-free technique for clustering and anomaly detection

    Nouretdinov, I., Gammerman, J., Fontana, M. & Rehal, D., 28 Nov 2019, In: Neurocomputing. p. 1-13 13 p.

    Research output: Contribution to journalArticlepeer-review

  141. E-pub ahead of print

    Preference-based interactive multi-document summarisation

    Gao, Y., Meyer, C. M. & Gurevych, I., 19 Nov 2019, In: Information Retrieval Journal. 23, p. 1-31 31 p.

    Research output: Contribution to journalArticlepeer-review

  142. Published

    The CAFA challenge reports improved protein function prediction and new functional annotations for hundreds of genes through experimental screens

    Bhat, P., Torres Bobadilla, M., Paccanaro, A., Yang, H. & Romero, A. E., 19 Nov 2019, In: Genome Biology. 20, p. 1-23 23 p., 244 (2019).

    Research output: Contribution to journalArticlepeer-review

  143. Published

    Rapid Creation of an Online Discussion Space (r/nipah) During a Serious Disease Outbreak: Observational Study

    Cole, J., Ezziane, S. & Watkins, C., 13 Nov 2019, In: Journal of medical internet research: public health and surveillance. 5, 4, p. 1-8 8 p., e13753.

    Research output: Contribution to journalArticlepeer-review

  144. E-pub ahead of print

    Toward Cereceda's conjecture for planar graphs

    Eiben, E. & Feghali, C., 8 Nov 2019, In: Journal of Graph Theory. p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  145. Published

    Strings at MOSCA

    Hague, M., 6 Nov 2019, 22nd SIGLOG Newsletter, October 2019, 22, p. 4-22 19 p.

    Research output: Contribution to non-peer-reviewed publicationInternet publication

  146. Published

    Better Rewards Yield Better Summaries: Learning to Summarise Without References

    Böhm, F., Gao, Y., Meyer, C. M., Shapira, O., Dagan, I. & Gurevych, I., Nov 2019, Proceedings of 2019 Conference on Empirical Methods in Natural Language Processing (EMNLP 2019) . p. 3101–3111 11 p.

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

  147. Published

    MoverScore: Text Generation Evaluating with Contextualized Embeddings and Earth Mover Distance

    Zhao, W., Peyrard, M., Liu, F., Gao, Y., Meyer, C. M. & Eger, S., Nov 2019, Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP). Association for Computational Linguistics, p. 563-578 16 p.

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

  148. Published

    Multiple lexicalisation (a Java based study)

    Scott, E. & Johnstone, A., 20 Oct 2019, ACM Digital Library: Proceedings of Software Language Engineering 2019. ACM, p. 71-82 12 p.

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

  149. E-pub ahead of print

    Logical Support for Bike-Sharing System Design

    Tutu, I., Chirita, C-E., Lopes, A. & Fiadeiro, J. L., 9 Oct 2019, From Software Engineering to Formal Methods and Tools, and Back. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Springer, p. 152-171 20 p. (Lecture Notes In Computer Science; vol. 11865).

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

  150. E-pub ahead of print

    Neural Predictive Monitoring

    Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A. & Stoller, S. D., 1 Oct 2019, Runtime Verification. p. 129-147 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  151. Published

    Evaluating Machine Translation without Human References Using Cross-lingual Encoders

    Zhao, W., Gao, Y. & Eger, S., Oct 2019.

    Research output: Contribution to conferenceAbstractpeer-review

  152. Published

    Lossy Kernels for Connected Dominating Set on Sparse Graphs

    Eiben, E., Kumar, M., Mouawad, A. E., Panolan, F. & Siebertz, S., 26 Sep 2019, In: SIAM Journal on Discrete Mathematics. 33, 3, p. 1743-1771 29 p.

    Research output: Contribution to journalArticlepeer-review

  153. Published

    Realtime Tracking of Passengers on the London Underground Transport by Matching Smartphone Accelerometer Footprints

    Nguyen, K. A., Wang, Y., Li, G., Luo, Z. & Watkins, C., 26 Sep 2019, In: Sensors. 19, 19, p. 1-26 26 p., 4184.

    Research output: Contribution to journalArticlepeer-review

  154. E-pub ahead of print

    Principled and Pragmatic Specification of Programming Languages

    Johnstone, A. & Scott, E., 23 Sep 2019, In: Lecture Notes in Computer Science. 11758, p. 165-180 16 p.

    Research output: Contribution to journalArticlepeer-review

  155. E-pub ahead of print

    Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search

    Kaznatcheev, A., Cohen, D. & Jeavons, P., 23 Sep 2019, p. 300-316. 17 p.

    Research output: Contribution to conferencePaperpeer-review

  156. E-pub ahead of print

    A Formal Model for Checking Cryptographic API Usage in JavaScript

    Mitchell, D. & Kinder, J., 15 Sep 2019, ESORICS'19: Proceedings of the 24th European Symposium on Research in Computer Security. Springer, Vol. 11735. p. 341-360 20 p.

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

  157. Published

    Aggregating Algorithm for prediction of packs

    Adamskiy, D., Bellotti, A., Dzhamtyrova, R. & Kalnishkan, Y., 15 Sep 2019, In: Machine Learning. 108, 8-9, p. 1231-1260 30 p.

    Research output: Contribution to journalArticlepeer-review

  158. Published

    The asymptotic number of prefix normal words

    Balister, P. & Gerke, S., 13 Sep 2019, In: Theoretical Computer Science. 784, p. 75-80 6 p.

    Research output: Contribution to journalArticlepeer-review

  159. E-pub ahead of print

    A RESTful middleware for AI controlled sensors, actuators and smart devices

    Dipsis, N. & Stathis, K., 12 Sep 2019, In: Journal of Ambient Intelligence and Humanized Computing. p. 1-24 24 p.

    Research output: Contribution to journalArticlepeer-review

  160. Published

    Conformal Anomaly Detection based on Association Rules

    Nouretdinov, I., Gammerman, J. & Rehal, D., 10 Sep 2019, 1 p. COPA 2019 : 8th Symposium on Conformal and Probabilistic Prediction with Applications.

    Research output: Other contribution

  161. Published

    Conformal clustering for functional variables, With application to electricity consumption curves

    Nouretdinov, I., Fontana, M., Gammerman, J., Shemilt, L. & Rehal, D., 10 Sep 2019, 1 p. COPA 2019 : 8th Symposium on Conformal and Probabilistic Prediction with Applications.

    Research output: Other contribution

  162. Published

    Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints

    Karapetyan, D., Parkes, A., Gutin, G. & Gagarin, A., 5 Sep 2019, In: Journal of Artificial Intelligence Research. 66, p. 1-38 38 p.

    Research output: Contribution to journalArticlepeer-review

  163. Published

    Competitive Online Regression under Continuous Ranked Probability Score

    Dzhamtyrova, R. & Kalnishkan, Y., Sep 2019, Conformal and Probabilistic Prediction and Applications, 9-11 September 2019, Golden Sands, Bulgaria. Proceedings of Machine Learning Research, Vol. 105. p. 178-195 18 p. (Proceedings of Machine Learning Research).

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

  164. Published

    Coreset-based Conformal Prediction for Large-scale Learning

    Riquelme Granada, N., Nguyen, D. K. A. & Luo, Z., Sep 2019, Proceedings of Machine Learning Research: Proceedings of the Eighth Symposium on Conformal and Probabilistic Prediction and Applications. Vol. 105. p. 142-162 21 p.

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

  165. Published

    Towards automated reasoning in Herbrand structures

    Cohen, L., Rowe, R. & Zohar, Y., Sep 2019, In: Journal of Logic and Computation. 29, 5, p. 693-721 29 p.

    Research output: Contribution to journalArticlepeer-review

  166. Published

    Domination Above r-Independence: Does Sparseness Help?

    Einarson, C. & Reidl, F., 30 Aug 2019, 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 138. p. 40:1-40:13 13 p. 40. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

  167. E-pub ahead of print

    Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes

    Chen, H., Paoletti, N., Smolka, S. A. & Lin, S., 29 Aug 2019, American Control Conference 2019. p. 4765-4772 8 p.

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

  168. Published

    Sorting email with natural language processing and conformal prediction

    Giovannotti, P. & Rehal, D., 29 Aug 2019.

    Research output: Contribution to conferencePosterpeer-review

  169. Published

    Test statistics and p-values

    Gurevich, Y. & Vovk, V., 29 Aug 2019, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z. & Smirnov, E. (eds.). Vol. 105. p. 89-104 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  170. Published

    Universally consistent conformal predictive distributions

    Vovk, V., 29 Aug 2019, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z. & Smirnov, E. (eds.). Vol. 105. p. 105-122 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  171. Published

    Location Tracking Using Smartphone Accelerometer and Magnetometer Traces

    Nguyen, D. K. A., Akram, R. N., Markantonakis, K., Luo, Z. & Watkins, C., 26 Aug 2019, The First Location Privacy Workshop (LPW 2019), the 14th International Conference on Availability, Reliability and Security (ARES 2019). Association for Computing Machinery (ACM), p. 1-9 9 p. 96

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

  172. E-pub ahead of print

    Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases

    Moraru, I., Edelkamp, S., Franco Aixela, S. & Martinez, M., 24 Aug 2019, KI 2019: Advances in Artificial Intelligence. Benzmüller, C. & Stuckenschmidt, H. (eds.). Springer, p. 249-263 15 p. (Lecture Notes in Computer Science; vol. 11793).

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

  173. E-pub ahead of print

    Explaining Deep Learning Models with Constrained Adversarial Examples

    Moore, J., Hammerla, N. & Watkins, C., 23 Aug 2019, Pacific Rim International Conference on Artificial Intelligence. Springer, p. 43-56 14 p. (Lecture Notes in Computer Science; vol. 11670).

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

  174. E-pub ahead of print

    White-Box Atomic Multicast

    Gotsman, A., Lefort, A. & Chockler, G., 22 Aug 2019, 49th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2019). p. 176-187 12 p.

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

  175. Published

    A sound algorithm for asynchronous session subtyping

    Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 20 Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 38. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

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

  176. E-pub ahead of print

    A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic

    Docherty, S. & Rowe, R., 14 Aug 2019, TABLEAUX 2019: Automated Reasoning with Analytic Tableaux and Related Methods. Springer, p. 335-352 18 p. (Lecture Notes in Computer Science; vol. 11714).

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

  177. E-pub ahead of print

    Birkhoff Completeness for Hybrid-Dynamic First-Order Logic

    Gaina, D. & Tutu, I., 14 Aug 2019, The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods: 3-5 September 2019, London, UK . Springer, p. 277-293 17 p. (Lecture Notes in Computer Science; vol. 11714).

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

  178. Published

    Autonomous Target Search with Multiple Coordinated UAVs

    Piacentini, C., Bernardini, S. & Beck, J. C., 8 Aug 2019, In: Journal of Artificial Intelligence Research. 65, p. 519-568 50 p.

    Research output: Contribution to journalArticlepeer-review

  179. E-pub ahead of print

    Parameterized Resiliency Problems

    Crampton, J., Gutin, G., Koutecky, M. & Watrigant, R., 7 Aug 2019, In: Theoretical Computer Science. p. 1-14 14 p.

    Research output: Contribution to journalArticlepeer-review

  180. E-pub ahead of print

    Multi-budgeted Directed Cuts

    Kratsch, S., Pilipczuk, M., Li, S., Marx, D. & Wahlström, M., 2 Aug 2019, In: Algorithmica. p. 1-21 21 p.

    Research output: Contribution to journalArticlepeer-review

  181. Published

    Arc-disjoint strong spanning subdigraphs in compositions and products of digraphs

    Sun, Y., Gutin, G. & Ai, J., Aug 2019, In: Discrete Mathematics. 342, 8, p. 2297-2305 9 p.

    Research output: Contribution to journalArticlepeer-review

  182. Published

    Clustering without replication in combinatorial circuits

    Donovan, Z., Gutin, G., Mkrtchyan, V. & Subramani, K., Aug 2019, In: Journal of Combinatorial Optimization. 38, 2, p. 481-501 21 p.

    Research output: Contribution to journalArticlepeer-review

  183. Published

    Logics for Actor Networks: A two-stage constrained-hybridisation approach

    Luiz Fiadeiro, J., Tutu, I., Lopes, A. & Pavlovic, D., Aug 2019, In: Journal of Logical and Algebraic Methods in Programming. 106, p. 141-166 26 p.

    Research output: Contribution to journalArticlepeer-review

  184. Published

    Reward Learning for Efficient Reinforcement Learning in Extractive Document Summarisation

    Gao, Y., Meyer, C. M., Mesgar, M. & Gurevych, I., Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19). International Joint Conferences on Artificial Intelligence, p. 2350-2356 7 p.

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

  185. Published

    Statistical Guarantees for the Robustness of Bayesian Neural Networks

    Cardelli, L., Kwiatkowska, M., Laurenti, L., Paoletti, N., Patanè, A. & Wicker, M., Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 5693-5700 8 p.

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

  186. Published

    Solving Integer Quadratic Programming via Explicit and Structural Restrictions

    Eiben, E., Ganian, R., Knop, D. & Ordyniak, S., 17 Jul 2019, p. 1477-1484. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  187. E-pub ahead of print

    Symbolic Register Automata

    D’Antoni, L., Ferreira, T., Sammartino, M. & Silva, A., 12 Jul 2019, Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. Dillig, I. & Tasiran, S. (eds.). Springer-Verlag, p. 3-21 19 p. (Lecture Notes in Computer Science ; vol. 11561 ).

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

  188. Published

    Verifying Asynchronous Interactions via Communicating Session Automata

    Lange, J. & Yoshida, N., 12 Jul 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 97-117 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).

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

  189. Published

    Disease gene prediction for molecularly uncharacterized diseases

    Caceres, J. & Paccanaro, A., 5 Jul 2019, In: PLoS Computational Biology. 15, 7, p. 1-14 14 p., e1007078.

    Research output: Contribution to journalArticlepeer-review

  190. Published
  191. Published

    Interleaving Search and Heuristic Improvement

    Franco, S. & Torralba, Á., 5 Jul 2019, Proceedings of the Twelfth International Symposium on Combinatorial Search, SOCS 2019, Napa, California, 16-17 July 2019. Surynek, P. & Yeoh, W. (eds.). AAAI Press, p. 130-134 5 p.

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

  192. Published

    Parameterized Complexity of Conflict-Free Set Cover

    Jacob, A., Majumdar, D. & Raman, V., 1 Jul 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. Kucherov, G. & van Bevern, R. (eds.). Springer-Verlag, Vol. 11532 LNCS. p. 191-202 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11532 LNCS).

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

  193. Published

    Computing Exact Solutions of Consensus Halving and the Borsuk-Ulam Theorem

    Deligkas, A., Fearnley, J., Melissourgos, T. & Spirakis, P., Jul 2019, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). p. 1-14 14 p. 138

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

  194. Published

    CSS Minification via Constraint Solving

    Hague, M., Lin, A. & Hong, C-D., 21 Jun 2019, In: ACM Transactions on Programming Languages and Systems. 41, 2, p. 1-76 76 p., 12.

    Research output: Contribution to journalArticlepeer-review

  195. Published

    MagnetDroid: security-oriented analysis for bridging privacy and law for Android applications

    Uliana, E., Stathis, K. & Jago, R., 17 Jun 2019, p. 123-132. 10 p.

    Research output: Contribution to conferencePaperpeer-review

  196. Published

    Characterising renaming within OCaml's module system: theory and implementation

    Rowe, R., Férée, H., Thompson, S. & Owens, S., 8 Jun 2019, PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery (ACM), p. 950-965 16 p.

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

  197. Published

    Sound regular expression semantics for dynamic symbolic execution of JavaScript

    Loring, B., Mitchell, D. & Kinder, J., 8 Jun 2019, PLDI'19: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, p. 425-438 14 p.

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

  198. Published

    A (co)algebraic theory of succinct automata

    Heerdt, G. V., Moerman, J., Sammartino, M. & Silva, A., Jun 2019, In: Journal of Logical and Algebraic Methods in Programming. 105, p. 112-125 14 p.

    Research output: Contribution to journalArticlepeer-review

  199. Published

    Crowdsourcing Lightweight Pyramids for Manual Summary Evaluation

    Shapira, O., Gabay, D., Gao, Y., Ronen, H., Pasunuru, R., Bansal, M., Amsterdamer, Y. & Dagan, I., Jun 2019, Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Association for Computational Linguistics, Vol. 1. p. 682-687 6 p.

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

  200. Published

    Does My Rebuttal Matter? Insights from a Major NLP Conference

    Gao, Y., Eger, S., Kuznetsov, I., Gurevych, I. & Miyao, Y., Jun 2019, Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Minneapolis, Minnesota: Association for Computational Linguistics, Vol. 1. p. 1274–1290 17 p.

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

  201. Published

    Game-Theoretic Foundations for Probability and Finance

    Shafer, G. & Vovk, V., Jun 2019, Wiley. 480 p. (Wiley Series in Probability and Statistics)

    Research output: Book/ReportBook

  202. Published

    PIRASA: strategic protocol selection for e-commerce agents

    Hopkins, J., Kafali, R., Alrayes, B. & Stathis, K., Jun 2019, In: Electronic Markets. 29, 2, p. 239-252 14 p.

    Research output: Contribution to journalArticlepeer-review

  203. Published

    Quadri-Histogram Equalization for infrared images using cut-off limits based on the size of each histogram

    Medina Caballero, R. D., Brizuela Pineda, I. A., Mello Román, J. C., Vázquez Noguera, J. L. & Caceres Silva, J., Jun 2019, In: Infrared Physics & Technology. 99, p. 257-264 8 p.

    Research output: Contribution to journalArticlepeer-review

  204. Published

    Tree Automata as Algebras: Minimisation and Determinisation

    van Heerdt, G., Kappé, T., Rot, J., Sammartino, M. & Silva, A., Jun 2019, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. Roggenbach, M. & Sokolova, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-22 22 p. 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 139).

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

  205. Published

    Bounded and Approximate Strong Satisfiability in Workflows

    Crampton, J., Gutin, G. & Majumdar, D., 28 May 2019, Proceedings of ACM SACMAT 2019. ACM, p. 179-184 6 p.

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

  206. Published

    ROTOR: A Tool for Renaming Values in OCaml's Module System

    Rowe, R., Férée, H., Thompson, S. & Owens, S., 28 May 2019, IWOR '19 Proceedings of the 3rd International Workshop on Refactoring. IEEE Press, p. 27-30 4 p.

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

  207. E-pub ahead of print

    Specification and Verification of Invariant Properties of Transition Systems

    Gaina, D., Tutu, I. & Riesco, A., 23 May 2019, 25th Asia-Pacific Software Engineering Conference: 4-7 December 2018, Nara, Japan. IEEE, p. 99-108 10 p.

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

  208. Published

    Binary Search in Graphs Revisited

    Deligkas, A., Mertzios, G. & Spirakis, P., 15 May 2019, In: Algorithmica. 81, p. 1757–1780 24 p.

    Research output: Contribution to journalArticlepeer-review

  209. E-pub ahead of print

    Modelling the Privacy Impact of External Knowledge for Sensor Data in the Industrial Internet of Things

    Darwish, S., Nouretdinov, I. & Wolthusen, S., 14 May 2019, Security and Privacy Trends in the Industrial Internet of Things. p. 223-243 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  210. Published

    Adaptive Multi-agent System for Situated Task Allocation

    Baert, Q., Caron, A-C., Morge, M., Routier, J-C. & Stathis, K., 8 May 2019, p. 1790-1792. 3 p.

    Research output: Contribution to conferencePaperpeer-review

  211. Submitted

    Teaching FAIR

    Shanahan, H., 4 May 2019, (Submitted) In: Data Intelligence.

    Research output: Contribution to journalArticlepeer-review

  212. Published

    Path-contractions, edge deletions and connectivity preservation

    Gutin, Z., Ramanujan, M. S., Reidl, F. & Wahlstrom, M., May 2019, In: Journal of Computer and System Sciences. 101, p. 1-20 20 p.

    Research output: Contribution to journalArticlepeer-review

  213. E-pub ahead of print

    Data-Driven Robust Control for a Closed-Loop Artificial Pancreas

    Paoletti, N., Liu, K. S., Chen, H., Smolka, S. A. & Lin, S., 23 Apr 2019, In: IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB). p. 1-13 13 p.

    Research output: Contribution to journalArticlepeer-review

  214. Submitted

    9 Simple recommendations for teaching data skills

    Shanahan, H., 16 Apr 2019, (Submitted) In: Data Science Journal.

    Research output: Contribution to journalArticlepeer-review

  215. Published

    Synthesizing stealthy reprogramming attacks on cardiac devices

    Paoletti, N., Jiang, Z., Islam, M. A., Abbas, H., Mangharam, R., Lin, S., Gruber, Z. & Smolka, S. A., 16 Apr 2019, 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2019). ACM, p. 13-22 10 p.

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

  216. Published

    Derivation representation using binary subtree sets

    Scott, E., Johnstone, A. & van Binsbergen, L. T., 15 Apr 2019, In: Science of Computer Programming. 175, p. 63-84 22 p.

    Research output: Contribution to journalArticlepeer-review

  217. Published

    Counting Linear Extensions: Parameterizations by Treewidth

    Eiben, E., Ganian, R., Kangas, K. & Ordyniak, S., 1 Apr 2019, In: Algorithmica. 81, p. 1657-1683 27 p.

    Research output: Contribution to journalArticlepeer-review

  218. Published

    On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

    Carbonnel, C., Cohen, D., Cooper, M. & Živný, S., Apr 2019, In: Algorithmica. 81, 4, p. 1699–1727 29 p.

    Research output: Contribution to journalArticlepeer-review

  219. Published

    Quality of Service (QoS) Aware Workflow Scheduling (WFS) in Cloud Computing: A Systematic Review

    Kaur, S., Bagga, P., Hans, R. & Kaur, H., Apr 2019, In: Arabian Journal for Science and Engineering. 44, 4, p. 2867-2897 31 p.

    Research output: Contribution to journalArticlepeer-review

  220. Published

    Accurate Hit Estimation for Iterative Screening Using Venn-ABERS Predictors

    Buendia, R., Kogej, T., Engkvist, O., Carlsson, L., Linusson, H., Johansson, U., Toccaceli, P. & Ahlberg, E., 25 Mar 2019, In: Journal of Chemical Information and Modeling. 59, p. 1230-1237 8 p., 3.

    Research output: Contribution to journalArticlepeer-review

  221. Published

    An Empirical Study of Messaging Passing Concurrency in Go Projects

    Dilley, N. & Lange, J., 18 Mar 2019, SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Shihab, E., Lo, D. & Wang, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 377-387 11 p. 8668036. (SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering).

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

  222. Published

    Combination of inductive mondrian conformal predictors

    Toccaceli, P. & Gammerman, A., 15 Mar 2019, In: Machine Learning. 108, p. 489–510 22 p.

    Research output: Contribution to journalArticlepeer-review

  223. Published

    Distributed Methods for Computing Approximate Equilibria

    Czumaj, A., Deligkas, A., Fasoulakis, M., Fearnley, J., Jurdzinski, M. & Savani, R., 15 Mar 2019, In: Algorithmica. 81, p. 1205–1231 27 p.

    Research output: Contribution to journalArticlepeer-review

  224. Published

    Nonparametric predictive distributions based on conformal prediction

    Vovk, V., Shen, J., Manokhin, V. & Xie, M., 15 Mar 2019, In: Machine Learning. 108, p. 445-474 30 p.

    Research output: Contribution to journalArticlepeer-review

  225. Published

    A probabilistic argumentation framework for reinforcement learning agents

    Riveret, R., Gao, Y., Governatori, G., Rotolo, A., Pitt, J. & Sartor, G., Mar 2019, In: Autonomous Agents and Multi-Agent Systems. 33, 1-2, p. 216-274 59 p.

    Research output: Contribution to journalArticlepeer-review

  226. Published

    Rethinking statistical learning theory: learning using statistical invariants

    Vapnik, V. & Izmailov, R., Mar 2019, In: Machine Learning. 108, 3, p. 381-423 43 p.

    Research output: Contribution to journalArticlepeer-review

  227. Published

    Discrimination of Different Species of Dendrobium with an Electronic Nose Using Aggregated Conformal Predictor

    Wang, Y., Wang, Z., Diao, J., Sun, X., Luo, Z. & Li, G., 25 Feb 2019, In: Sensors. 19, 4, p. 1-15 15 p., 964.

    Research output: Contribution to journalArticlepeer-review

  228. Published

    Binary constraint satisfaction problems defined by excluded topological minors

    Cohen, D., Cooper, M. C., Jeavons, P. G. & Zivny, S., Feb 2019, In: Infor. and Computation. 264, p. 12-31 20 p.

    Research output: Contribution to journalArticlepeer-review

  229. Published

    Executable component-based semantics

    van Binsbergen, L. T., Mosses, P. D. & Sculthorpe, N., Feb 2019, In: Journal of Logical and Algebraic Methods in Programming. 103, p. 184-212 29 p.

    Research output: Contribution to journalArticlepeer-review

  230. E-pub ahead of print

    Quadri-histogram equalization using cutoff limits based on the size of each histogram with preservation of average brightness

    Brizuela Pineda, I. A., Medina Caballero, R. D., Cáceres Silva, J. J., Mello Román, J. C. & Vázquez Noguera, J. L., 28 Jan 2019, In: Signal, Image and Video Processing. p. 1-9 9 p.

    Research output: Contribution to journalArticlepeer-review

  231. E-pub ahead of print

    Alternative parameterizations of Metric Dimension

    Gutin, G., Ramanujan, M. S., Reidl, F. & Wahlstrom, M., 25 Jan 2019, In: Theoretical Computer Science. p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  232. Published

    Multi-Budgeted Directed Cuts

    Kratsch, S., Li, S., Marx, D., Pilipczuk, M. & Wahlstrom, M., 25 Jan 2019, IPEC 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 115. p. 18:1-18:14 14 p. 18. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

  233. E-pub ahead of print

    Decision procedures for path feasibility of string-manipulating programs with complex operations

    Chen, T., Hague, M., Lin, A., Rümmer, P. & Wu, Z., 2 Jan 2019, p. 1-30. 30 p.

    Research output: Contribution to conferencePaperpeer-review

  234. Submitted

    Embedding Open Science practice into Data Science Training

    Shanahan, H., 1 Jan 2019, (Submitted).

    Research output: Contribution to conferencePosterpeer-review

  235. Published

    On r-Simple k-Path and Related Problems Parameterized by k/r

    Gutin, G., Wahlstrom, M. & Zehavi, M., Jan 2019, Proceedings of the 2019 Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM, p. 1750-1769 20 p.

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

  236. Published

    Semi-supervised domain adaptation via Fredholm integral based kernel methods

    Wang, W., Wang, H., Zhang, Z., Zhang, C. & Gao, Y., Jan 2019, In: Pattern Recognition. 85, p. 185-197 13 p.

    Research output: Contribution to journalArticlepeer-review

  237. Published

    Competitive Online Generalised Linear Regression with Multidimensional Outputs

    Dzhamtyrova, R. & Kalnishkan, Y., 2019, Proceedings of IJCNN 2019. IEEE, p. 1-8 8 p.

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

  238. Unpublished
  239. Published

    Conformal predictor combination using Neyman–Pearson Lemma

    Toccaceli, P., 2019, Proceedings of the Eighth Symposium on Conformal and Probabilistic Prediction and Applications. Proceedings of Machine Learning Research, Vol. 105. p. 66-88 23 p.

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

  240. Published

    Cyclisation of Cell-Penetrating PDZ-Binding Peptides Directed to PSD95

    Dabhi, S., Duberly, K., Alnasir, J., Wijesiriwardana, N. & Austen, B., 2019, In: American Research Journal of Chemistry. 3, 1, p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  241. Unpublished

    Executable Formal Specification of Programming Languages with Reusable Components

    van Binsbergen, L. T., 2019, (Unpublished) 274 p.

    Research output: ThesisDoctoral Thesis

  242. Unpublished

    Going Beyond Homology for Predicting Protein Function for Newly Sequenced Organisms

    Torres Bobadilla, M., 2019, (Unpublished) 136 p.

    Research output: ThesisDoctoral Thesis

  243. Published

    Improving Planning Performance in PDDL+ Domains via Automated Predicate Reformulation

    Franco, S., Vallati, M., Lindsay, A. & McCluskey, T. L., 2019, Computational Science - ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V. Rodrigues, J. M. F., Cardoso, P. J. S., Monteiro, J. M., Lam, R., Krzhizhanovskaya, V. V., Lees, M. H., Dongarra, J. J. & Sloot, P. M. A. (eds.). Springer, Vol. 11540. p. 491-498 8 p. (Lecture Notes in Computer Science; vol. 11540).

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

  244. Forthcoming

    Learning interpretable disease self-representations for drug repositioning

    Galeano Galeano, D., Frasca, F., Gonzalez, G., Lapanogov, I., Veselkov, K., Paccanaro, A. & Bronstein, M. M., 2019, (Accepted/In press) Conference on Neural Information Processing Systems (NeurIPS) 2019: Graph representation Learning Workshop .

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

  245. Unpublished
  246. Unpublished

    Towards a Question Answering View of Natural Language Processing

    Zukov Gregoric, A., 2019, (Unpublished)

    Research output: ThesisDoctoral Thesis

  247. 2018
  248. Published

    Transcriptomics: Quantifying Non-Uniform Read Distribution Using MapReduce

    Alnasir, J. & Shanahan, H., 27 Dec 2018, In: International Journal for the Foundations of Computer Science. 29, 8, 20 p.

    Research output: Contribution to journalArticlepeer-review

  249. Published

    Blending Human and Artificial Intelligence to Support Autistic Children's Social Communication Skills

    Porayska-Pomsta, K., Alcorn, A., Avramides, K., Beale, S., Bernardini, S., Foster, M. E., Frauenberger, C., Good, J., Guldberg, K., Keay-Bright, W., Kossyvaki, L., Lemon, O., Mademtzi, M., Menzies, R., Pain, H., Rajendran, G., Waller, A., Wass, S. & Smith, T. J., 20 Dec 2018, In: ACM Transactions on Computer-Human Interaction (TOCHI). 25, 6, p. 1-35 35 p., 35.

    Research output: Contribution to journalArticlepeer-review

  250. Published

    Bayesian semi-supervised learning with graph Gaussian processes

    Ng, Y. C., Colombo, N. & Silva, R., 3 Dec 2018, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. p. 1690-1701 12 p.

    Research output: Contribution to journalConference articlepeer-review

  251. Published

    Robustness Against Unknown Noise for Raw Data Fusing Neural Networks

    Bijelic, M., Muench, C., Ritter, W., Kalnishkan, Y. & Dietmayer, K., Dec 2018, 21st IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC 2018). IEEE Xplore, p. 1-8 8 p.

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

  252. Published

    Decidable models of integer-manipulating programs with recursive parallelism

    Hague, M. & Lin, A., 30 Nov 2018, In: Theoretical Computer Science. 750, p. 24-37 14 p.

    Research output: Contribution to journalArticlepeer-review

  253. E-pub ahead of print

    Strong subgraph k‐connectivity

    Sun, Y., Gutin, G., Yeo, A. & Zhang, X., 28 Nov 2018, In: Journal of Graph Theory. p. 1-14 14 p.

    Research output: Contribution to journalArticlepeer-review

  254. E-pub ahead of print

    The Authorization Policy Existence Problem

    Berge, P., Crampton, J., Gutin, G. & Watrigant, R., 28 Nov 2018, In: IEEE Transactions on Dependable and Secure Computing. p. 1-12 12 p.

    Research output: Contribution to journalArticlepeer-review

  255. Published

    The application of Hadoop in structural bioinformatics

    Alnasir, J. & Shanahan, H., 20 Nov 2018, In: Briefings in Bioinformatics. p. 1-10 10 p., bby106.

    Research output: Contribution to journalArticlepeer-review

  256. Published

    GLL syntax analysers for EBNF grammars

    Scott, E. & Johnstone, A., 15 Nov 2018, In: Science of Computer Programming. 166, p. 120-145 26 p.

    Research output: Contribution to journalArticlepeer-review

  257. Forthcoming

    On Key Assignment Schemes and Cryptographic Enforcement Mechanisms for Information Flow Policies

    Farley, N., 12 Nov 2018, (Accepted/In press) 187 p.

    Research output: ThesisDoctoral Thesis

  258. Published

    Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming

    van Binsbergen, L. T., 5 Nov 2018, p. 168-174. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  259. Published

    Online conformal prediction for classifying different types of herbal medicines with electronic nose

    Zhan, X., Guan, X., Wu, R., Wang, Z., Wang, Y., Luo, Z. & Li, G., 4 Nov 2018, IET Doctoral Forum on Biomedical Engineering, Healthcare, Robotics and Artificial Intelligence 2018: BRAIN 2018. IET Conference Publications, Vol. 2018. p. 1-8 8 p.

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

  260. Published

    On Subtyping in Type Theories with Canonical Objects

    Lungu, G. & Luo, Z., Nov 2018, Types for Proofs and Programs: Post-proceedings of the 22nd Int. Conf. on Types for Proofs and Programs (TYPES 2016). Leibniz International Proceedings in Informatics, Vol. 97. p. 13:1-13:31 31 p. 13

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

  261. Published

    APRIL: Interactively Learning to Summarise by Combining Active Preference Learning and Reinforcement Learning

    Gao, Y., Meyer, C. M. & Gurevych, I., 31 Oct 2018, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing. Brussels, Belgium: Association for Computational Linguistics, p. 4120-4130 11 p.

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

  262. Published

    Enabling Fair ML Evaluations for Security

    Pendlebury, F., Pierazzi, F., Jordaney, R., Kinder, J. & Cavallaro, L., 8 Oct 2018, p. 2264-2266. 3 p.

    Research output: Contribution to conferencePosterpeer-review

  263. Published

    Multi-Shot Distributed Transaction Commit

    Chockler, G. & Gotsman, A., 4 Oct 2018, 32nd International Symposium on Distributed Computing (DISC 2018). Springer-Verlag, p. 1-18 18 p. (LIPIcs–Leibniz International Proceedings in Informatics ; vol. 121).

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

  264. Published

    Thermodynamic Analysis of Time Evolving Networks

    Ye, C., Wilson, R. C., Rossi, L., Torsello, A. & Hancock, E. R., 2 Oct 2018, In: Entropy. 20, 10, p. 1-15 15 p., 759.

    Research output: Contribution to journalArticlepeer-review

  265. Published

    GLL parsing with flexible combinators

    van Binsbergen, L. T., Scott, E. & Johnstone, A., Oct 2018, p. 16-28. 13 p.

    Research output: Contribution to conferencePaperpeer-review

  266. Published

    Inapproximability results for constrained approximate Nash equilibria

    Deligkas, A., Fearnley, J. & Savani, R., Oct 2018, In: Information and Computation. 262, Part 1, p. 40-56 17 p.

    Research output: Contribution to journalArticlepeer-review

  267. E-pub ahead of print

    Neural State Classification for Hybrid Systems

    Phan, D., Paoletti, N., Zhang, T., Grosu, R., Smolka, S. A. & Stoller, S. D., 30 Sep 2018, 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018). Lahiri, S. K. & Wang, C. (eds.). Springer, p. 422-440 19 p. (Lecture Notes in Computer Science; vol. 11138).

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

  268. Published

    Fast Distributed Algorithms for Connectivity and MST in Large Graphs

    Pandurangan, G., Robinson, P. & Scquizzato, M., 19 Sep 2018, In: Transactions on Parallel Computing. 5, 1, p. 1-22 22 p.

    Research output: Contribution to journalArticlepeer-review

  269. Published

    Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers

    Paoletti, N., Patanè, A. & Kwiatkowska, M., 18 Sep 2018, In: ACM Transactions on Cyber-Physical Systems. 2, 4, p. 1-31 31 p., 33.

    Research output: Contribution to journalArticlepeer-review

  270. Published

    Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent

    Cohen, L. & Rowe, R., 4 Sep 2018, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 119. p. 17:1-17:16 16 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

  271. Published

    Efficient synthesis of robust models for stochastic systems

    Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., Sep 2018, In: Journal of Systems and Software. 143, p. 140-158 19 p.

    Research output: Contribution to journalArticlepeer-review

  272. Published

    The Second Neighbourhood for Quasi-transitive Oriented Graphs

    Li, R. J. & Sheng, B., Sep 2018, In: Acta Mathematica Sinica, English Series. 34, 9, p. 1391–1402 12 p.

    Research output: Contribution to journalArticlepeer-review

  273. E-pub ahead of print

    Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis

    Radwan, G. S. & Shanahan, H., 24 Aug 2018, Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Proceedings. Springer-Verlag, Vol. 11095 LNBI. p. 318-321 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11095 LNBI).

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

  274. E-pub ahead of print

    Conformal Predictive Distributions with Kernels

    Vovk, V., Nouretdinov, I., Manokhin, V. & Gammerman, A., 23 Aug 2018, Braverman Readings in Machine Learning. Key Ideas from Inception to Current State - International Conference Commemorating the 40th Anniversary of Emmanuil Braverman’s Decease, Invited Talks. Springer-Verlag, Vol. 11100 . p. 103-121 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11100 LNAI).

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

  275. E-pub ahead of print

    Domain Reduction for Valued Constraints by Generalising Methods from CSP

    Cohen, D., Cooper, M. & Jguirim1, W., 23 Aug 2018, p. 64-80. 17 p.

    Research output: Contribution to conferencePaperpeer-review

  276. Published

    Optimal Strategies in Pushdown Reachability Games

    Hague, M. & Carayol, A., 20 Aug 2018, International Symposium on Mathematical Foundations of Computer Science. p. 1-14 14 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 117).

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

  277. Published

    Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems

    Hague, M., Meyer, R., Muskalla, S. & Zimmermann, M., 20 Aug 2018, International Symposium of Mathematical Foundations of Computer Science. p. 1-15 15 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 117).

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

  278. Published

    Anomaly-based exploratory analysis and detection of exploits in android mediaserver

    Suárez-Tangil, G., Dash, S. K., García-Teodoro, P., Camacho, J. & Cavallaro, L., 16 Aug 2018, In: IET Information Security. 12, 5, p. 404-413 10 p.

    Research output: Contribution to journalArticlepeer-review

  279. Published

    Concurrent bilateral negotiation for open e-markets: the Conan strategy

    Alrayes, B., Kafali, O. & Stathis, K., Aug 2018, In: Knowledge and Information Systems. 56, p. 463–501 39 p.

    Research output: Contribution to journalArticlepeer-review

  280. Published

    Designing deterministic polynomial-space algorithms by color-coding multivariate polynomials

    Gutin, G., Reidl, F., Wahlstrom, M. & Zehavi, M., Aug 2018, In: Journal of Computer and System Sciences. 95, p. 69-85 17 p.

    Research output: Contribution to journalArticlepeer-review

  281. Published

    k-distinct in- and out-branchings in digraphs

    Gutin, G., Reidl, F. & Wahlstrom, M., Aug 2018, In: Journal of Computer and System Sciences. 95, p. 86-97 13 p.

    Research output: Contribution to journalArticlepeer-review

  282. E-pub ahead of print

    Recurrent Auto-Encoder Model for Large-Scale Industrial Sensor Signal Analysis

    Wong, T. & Luo, Z., 27 Jul 2018, International Conference on Engineering Applications of Neural Networks: EANN 2018. Pimenidis, E. & Jayne, C. (eds.). Springer, p. 203-216 14 p. (Communications in Computer and Information Science; vol. 893).

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

  283. E-pub ahead of print

    Characterizing Propositional Proofs as Non-commutative Formulas

    Li, F., Tzameret, I. & Wang, Z., 19 Jul 2018, In: SIAM Journal on Computing. 47, 4, p. 1424-1462 39 p.

    Research output: Contribution to journalArticlepeer-review

  284. Published

    Systems Metagenomics

    Shanahan, H. & Radwan, G., 15 Jul 2018.

    Research output: Contribution to conferencePosterpeer-review

  285. E-pub ahead of print

    SDN-Actors: Modeling and Verification of SDN Programs

    Albert, E., Gómez-Zamalloa, M., Rubio, A., Sammartino, M. & Silva, A., 12 Jul 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Peleska, J., Roscoe, B. & de Vink, E. (eds.). Springer-Verlag, p. 550-567 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

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

  286. Published

    Subclonal mutation selection in mouse lymphomagenesis identifies known cancer loci and suggests novel candidates

    Webster, P., Dawes, J., Dewchand, H., Takacs, K., Iadarola, B., Bolt, B., Caceres Silva, J., Kaczor, J., Dharmalingam, G., Dore, M., Game, L., Adejumo, T., Elliott, J., Naresh, K., Karimi, M., Rekopoulou, K., Tan, G., Paccanaro, A. & Uren, A., 9 Jul 2018, In: Nature Communications. 9, p. 1-14 14 p., 2649.

    Research output: Contribution to journalArticlepeer-review

  287. Published

    Systems Metagenomics: Profiling short-read microbiome data using population-based k-mer identification

    Shanahan, H. & Radwan, G., 6 Jul 2018.

    Research output: Contribution to conferencePosterpeer-review

  288. Published

    Width, Depth, and Space: Tradeoffs between Branching and Dynamic Programming

    Chen, L. H., Reidl, F., Rossmanith, P. & Villaamil, F. S., 1 Jul 2018, In: Algorithms. 11, 7, p. 1-17 17 p., 98.

    Research output: Contribution to journalArticlepeer-review

  289. Published

    Network analysis using entropy component analysis

    Ye, C., Wilson, R. C. & Hancock, E. R., Jul 2018, In: Journal of Complex Networks. 6, 3, p. 404-429 26 p.

    Research output: Contribution to journalArticlepeer-review

  290. Published

    Directed Multicut is W[1]-hard, Even for Four Terminal Pairs

    Pilipczuk, M. & Wahlstrom, M., 28 Jun 2018, In: ACM Transactions on Computation Theory (TOCT). 10, 3, p. 1-18 18 p., 13.

    Research output: Contribution to journalArticlepeer-review

  291. Published

    Conformal clustering for predictive maintenance: A case study at a commercial gas terminal

    Nouretdinov, I., Gammerman, J. & Rehal, D., 12 Jun 2018, 1 p. 7th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2018).

    Research output: Other contribution

  292. Published

    Conformal predictive decision making

    Vovk, V. & Bendtsen, C., Jun 2018, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z., Smirnov, E. & Peeters, R. (eds.). Vol. 91. p. 52-62 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  293. Published

    Cover Your Cough: Detection of Respiratory Events with Confidence Using a Smartwatch

    Nguyen, D. K. A. & Luo, Z., Jun 2018, Proceedings of Machine Learning Research: Conformal and Probabilistic Prediction and Applications (COPA 2018). Vol. 91. p. 1-18 18 p.

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

  294. Published

    Cross-conformal predictive distributions

    Vovk, V., Nouretdinov, I., Manokhin, V. & Gammerman, A., Jun 2018, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z., Smirnov, E. & Peeters, R. (eds.). Vol. 91. p. 37-51 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  295. Published

    Dynamic networks of heterogeneous timed machines

    Fiadeiro, J. L., Lopes, A., Delahaye, B. & Legay, A., Jun 2018, In: Mathematical Structures in Computer Science. 28, 6, p. 800-855 56 p.

    Research output: Contribution to journalArticlepeer-review

  296. Published

    Frontier: resilient edge processing for the internet of things

    O'Keeffe, D., Salonidis, T. & Pietzuch, P. R., Jun 2018, In: VLDB Endowment. 11, 10, p. 1178-1191 14 p.

    Research output: Contribution to journalArticlepeer-review

  297. Published

    Inductive Venn-Abers Predictive Distribution

    Nouretdinov, I., Volkhonskiy, D., Lim, P., Toccaceli, P. & Gammerman, A., Jun 2018, 7th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2018). Vol. 91. p. 15-36 22 p. (Proceedings of Machine Learning Research).

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

  298. Published

    A static verification framework for message passing in Go using behavioural types

    Lange, J., Ng, N., Toninho, B. & Yoshida, N., 27 May 2018, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018. IEEE Computer Society, p. 1137-1148 12 p. (Proceedings - International Conference on Software Engineering).

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

  299. Published

    Gracefully degrading consensus and k-set agreement in directed dynamic networks

    Biely, M., Robinson, P., Schmid, U., Schwarz, M. & Winkler, K., 23 May 2018, In: Theoretical Computer Science. 726, p. 41-77 37 p.

    Research output: Contribution to journalArticlepeer-review

  300. Forthcoming

    Resolution with Counting: Dag and Tree-like Lower Bounds over Different Moduli

    Part, F. & Tzameret, I., 18 May 2018, (Accepted/In press).

    Research output: Contribution to conferenceAbstract

  301. Published

    A labelling framework for probabilistic argumentation

    Riveret, R., Baroni, P., Gao, Y., Governatori, G., Rotolo, A. & Sartor, G., May 2018, In: Annals of Mathematics and Artificial Intelligence. 83, 1, p. 21-71 51 p.

    Research output: Contribution to journalArticlepeer-review

  302. Published

    Extracting mutual exclusion invariants from lifted temporal planning domains

    Bernardini, S., Fagnani, F. & Smith, D., May 2018, In: Artificial Intelligence. 258, p. 1-65 65 p.

    Research output: Contribution to journalArticlepeer-review

  303. Published

    Meta-Search Through the Space of Representations and Heuristics on a Problem by Problem Basis

    Fuentetaja, R., Barley, M., Borrajo, D., Douglas, J., Franco, S. & Riddle, P., 26 Apr 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI Press, p. 6169-6176 8 p. (32nd AAAI Conference on Artificial Intelligence, AAAI 2018).

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

  304. E-pub ahead of print

    A Functional Perspective on Machine Learning via Programmable Induction and Abduction

    Cheung, S., Davariu, V., Ghica, D., Muroya, K. & Rowe, R., 24 Apr 2018, FLOPS 2018: Functional and Logic Programming. Springer, Vol. 10818. p. 84-98 15 p. (Lecture Notes in Computer Science).

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

  305. Published

    LibSEAL: revealing service integrity violations using trusted execution

    Aublin, P-L., Kelbert, F., O'Keeffe, D., Muthukumaran, D., Priebe, C., Lind, J., Krahn, R., Fetzer, C., Eyers, D. M. & Pietzuch, P. R., 23 Apr 2018, Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto, Portugal, April 23-26, 2018. p. 1-15 15 p. 24

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

  306. Published

    Cross-Domain Metric and Multiple Kernel Learning Based on Information Theory

    Wang, W., Wang, H., Zhang, C. & Gao, Y., Mar 2018, In: Neural Computation. 30, 3, p. 820-855 36 p.

    Research output: Contribution to journalArticlepeer-review

  307. Published

    Witnessing matrix identities and proof complexity

    Li, F. & Tzameret, I., 26 Feb 2018, In: International Journal of Algebra and Computation. 28, 2, p. 217–256 40 p.

    Research output: Contribution to journalArticlepeer-review

  308. Published

    On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

    Carbonnel, C., Cohen, D. A., Cooper, M. C. & Živný, S., 20 Feb 2018, 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018. Niedermeier, R. & Vallée, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 96. p. 19:1-19:15 15 p. 19

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

  309. E-pub ahead of print

    Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach

    Montanari, U., Sammartino, M. & Tcheukam, A., 7 Feb 2018, Graph Transformation, Specifications, and Nets. Heckel, R. & Taentzer, G. (eds.). Springer-Verlag, p. 179-200 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10800 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  310. Published

    Solving Problems on Graphs of High Rank-Width

    Eiben, E., Ganian, R. & Szeider, S., Feb 2018, In: Algorithmica. 80, p. 742–771 30 p.

    Research output: Contribution to journalArticlepeer-review

  311. Published

    The Complexity of Leader Election: A Chasm at Diameter Two

    Chatterjee, S., Pandurangan, G. & Robinson, P., 4 Jan 2018, ICDCN 2018: Proceedings of the 19th International Conference on Distributed Computing and Networking. Association for Computing Machinery (ACM), p. 1-10 10 p. 13

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

  312. E-pub ahead of print

    Logics for Actor Networks: A Case Study in Constrained Hybridization

    Lopes Fiadeiro, J., Tutu, I., Lopes, A. & Pavlovic, D., 3 Jan 2018, Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Springer, p. 98-114 17 p. (Lecture Notes in Computer Science; vol. 10669).

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

  313. Submitted

    “Ethics When You Least Expect It”: A Modular Approach to Data Ethics Instruction

    Shanahan, H., Bezuidenhout, L. & Quick, R., 2018, (Submitted).

    Research output: Contribution to conferencePaperpeer-review

  314. Published

    A Dynamic Distributed Architecture for Preserving Privacy of Medical IoT Monitoring Measurements

    Darwish, S., Nouretdinov, I. & Wolthusen, S., 2018, 16th International Conference On Smart homes and health Telematics (ICOST'2018). Springer, p. 146-157 12 p. (Lecture Notes in Computer Science).

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

  315. Published

    A Recommender System Approach for Predicting Drug Side Effects

    Galeano Galeano, D. & Paccanaro, A., 2018, IJCNN 2018: International Joint Conference on Neural Networks. IEEE Xplore, p. 1-7 7 p.

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

  316. Published

    Ambient Intelligence: 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings

    Kameas, A. (ed.) & Stathis, K. (ed.), 2018, 233 p. (Information Systems and Applications, incl. Internet/Web, and HCI)

    Research output: Book/ReportScholarly edition

  317. Published

    An Innovative Heuristic for Planning-Based Urban Traffic Control

    Franco, S., Lindsay, A., Vallati, M. & McCluskey, T. L., 2018, Computational Science - ICCS 2018: 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I. Shi, Y., Fu, H., Tian, Y., Krzhizhanovskaya, V. V., Lees, M. H., Dongarra, J. J. & Sloot, P. M. A. (eds.). Springer, p. 181-193 13 p. (Lecture Notes in Computer Science; vol. 10860).

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

  318. Published

    BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews

    Rizzo, C., Cavallaro, L. & Kinder, J., 2018, 21st International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2018). Springer, p. 25-46 22 p. (Lecture Notes in Computer Science (LNCS); vol. 11050).

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

  319. Unpublished

    Complexity, Proofs and Algebra

    Tzameret, I., 2018, (Unpublished)

    Research output: Other contribution

  320. Published

    Constrained Dynamic Tree Networks

    Hague, M. & Penelle, V., 2018, 12th International Conference on Reachability Problems. Springer International Publishing, p. 45-58 14 p. (Lecture Notes in Computer Science; vol. 11123).

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

  321. Published

    Detection of Untrustworthy IoT Measurements Using Expert Knowledge of Their Joint Distribution

    Nouretdinov, I., Darwish, S. & Wolthusen, S., 2018, 16th International Conference On Smart homes and health Telematics (ICOST'2018). Springer, p. 310-316 7 p. (Lecture Notes in Computer Science; vol. 10898).

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

  322. Published

    Identity Criteria of Common Nouns and dot-types for Copredication

    Chatzikyriakidis, S. & Luo, Z., 2018, In: Oslo Studies in Language. 10, 2, p. 121-141 21 p.

    Research output: Contribution to journalArticlepeer-review

  323. Unpublished

    Logics and reasoning for computational creativity

    Chirita, C-E., 2018, (Unpublished) 146 p.

    Research output: ThesisDoctoral Thesis

  324. Published

    Parameterized Algorithms for Zero Extension and Metric Labelling Problems

    Reidl, F. & Wahlstrom, M., 2018, ICALP 2018 Track A. Vol. 107. p. 94:1-94:14 14 p. (Leibniz International Proceedings in Informatics ).

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

  325. Unpublished

    Small and Large Scale Probabilistic Classifiers with Guarantees of Validity

    Petej, I., 2018, (Unpublished) 133 p.

    Research output: ThesisDoctoral Thesis

  326. Unpublished

    Subtyping in Signatures

    Lungu, G., 2018, (Unpublished)

    Research output: ThesisDoctoral Thesis

  327. Unpublished

    The Analysis of High-Throughput Biological Datasets Utilising Distributed Computing

    Alnasir, J., 2018, (Unpublished) 259 p.

    Research output: ThesisDoctoral Thesis

  328. 2017
  329. E-pub ahead of print

    What is decidable about string constraints with the ReplaceAll function

    Chen, T., Chen, Y., Hague, M., Lin, A. & Wu, Z., 27 Dec 2017, Proceedings of the ACM on Programming Languages. ACM, Vol. 2. p. 1-29 29 p. 3

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

  330. Published

    Checking cryptographic API usage with composable annotations

    Mitchell, D., van Binsbergen, L. T., Loring, B. & Kinder, J., 25 Dec 2017, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018). p. 53-59 7 p.

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

  331. Published

    Drug cocktail selection for the treatment of chagas disease: A multi-objective approach

    Torres Bobadilla, M., Caceres Silva, J., Jimenez, R., Yubero, V., Vega, C., Rolón, M., Cernuzzi, L., Barán, B. & Paccanaro, A., 21 Dec 2017, SLIOIA - Simposio Latinoamericano de Investigación de Operaciones e Inteligencia Artificial 2017. p. 1-5 5 p.

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

  332. Published

    QoS based Web Service Selection and Multi-Criteria Decision Making Methods

    Bagga, P., Joshi, A. & Hans, R., 15 Dec 2017, In: International Journal of Interactive Multimedia and Artificial Intelligence. 5, 4, p. 113-121 9 p.

    Research output: Contribution to journalArticlepeer-review

  333. Published

    N-grams Based Supervised Machine Learning Model for Mobile Agent Platform Protection against Unknown Malicious Mobile Agents

    Bagga, P., Hans, R. & Sharma, V., Dec 2017, In: International Journal of Interactive Multimedia and Artificial Intelligence. 4, 6, p. 33-39 7 p.

    Research output: Contribution to journalArticlepeer-review

  334. Published

    Tomography of the London Underground: a Scalable Model for Origin-Destination Data

    Colombo, N., Silva, R. & Kang, S., Dec 2017, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. 2017-December, p. 3063-3074 12 p.

    Research output: Contribution to journalConference articlepeer-review

  335. Published

    Co-location epidemic tracking on London public transports using low power mobile magnetometer

    Nguyen, D. K. A., Watkins, C. & Luo, Z., 23 Nov 2017, The 8th International Conference on Indoor Positioning and Indoor Navigation, Sept 18-21, 2017, Japan. IEEE, p. 1-8 8 p.

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

  336. Published

    On assessing the positioning accuracy of Google Tango in challenging indoor environments

    Nguyen, D. K. A. & Luo, Z., 23 Nov 2017, The 8th International Conference on Indoor Positioning and Indoor Navigation, Sept 18-21, 2017, Japan. IEEE, p. 1-8 8 p.

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

  337. Published

    Neurogenomic Signatures of Successes and Failures in Life-History Transitions in a Key Insect Pollinator

    Manfredini, F., Romero Lopez, A., Pedroso Rovira, I., Paccanaro, A., Sumner, S. & Brown, M., 1 Nov 2017, In: Genome Biology and Evolution. 9, 11, p. 3059-3072 14 p.

    Research output: Contribution to journalArticlepeer-review

  338. Published

    Agent‐oriented activity recognition in the event calculus: An application for diabetic patients

    Kafali, O., Romero, A. E. & Stathis, K., Nov 2017, In: Computational Intelligence. 33, 4, p. 899–925 27 p.

    Research output: Contribution to journalArticlepeer-review

  339. Published

    Modular Synthesis of Heap Exploits

    Repel, D., Kinder, J. & Cavallaro, L., 30 Oct 2017, PLAS '17 Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security. Association for Computing Machinery (ACM), p. 25-35 11 p.

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

  340. E-pub ahead of print

    Binarisation for Valued Constraint Satisfaction Problems

    Cohen, D., Cooper, M., Jeavons, P., Krokhin, A., Powell, R. & Zivny, S., 3 Oct 2017, In: SIAM Journal on Discrete Mathematics. 31, 4, p. 2279-2300 22 p.

    Research output: Contribution to journalArticlepeer-review

  341. Published

    Proof Complexity Lower Bounds from Algebraic Circuit Complexity

    Forbes, M., Shpilka, A., Tzameret, I. & Wigderson, A., 1 Oct 2017, Theory of Computation (ToC) . p. 1 78 p.

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

  342. Published

    Conformal prediction of biological activity of chemical compounds

    Toccaceli, P., Nouretdinov, I. & Gammerman, A., Oct 2017, In: Annals of Mathematics and Artificial Intelligence. 81, p. 105–123 19 p.

    Research output: Contribution to journalArticlepeer-review

  343. Published

    Criteria of efficiency for set-valued classification

    Vovk, V., Nouretdinov, I., Fedorova, V., Petej, I. & Gammerman, A., Oct 2017, In: Annals of Mathematics and Artificial Intelligence. 81, p. 21-46 26 p.

    Research output: Contribution to journalArticlepeer-review

  344. Published

    Universal probability-free prediction

    Vovk, V. & Pavlovic, D., Oct 2017, In: Annals of Mathematics and Artificial Intelligence. 81, 1-2, p. 1-24 24 p.

    Research output: Contribution to journalArticlepeer-review

  345. Published

    Mobile Agents System Security: A Systematic Survey

    Bagga, P. & Hans, R., 26 Sep 2017, In: ACM Computing Surveys. 50, 5, p. 1-45 45 p., 65.

    Research output: Contribution to journalArticlepeer-review

  346. Published

    Biological Big Bytes: Integrative Analysis of Large Biological Datasets

    Shanahan, H., Chen, M., Harrison, A. & Orlov, Y., 13 Sep 2017, In: Journal of Integrative Bioinformatics. 14, 3, 2 p.

    Research output: Contribution to journalEditorial

  347. Unpublished

    ROTOR: First Steps Towards a Refactoring Tool for OCaml

    Rowe, R. & Thompson, S., 8 Sep 2017, (Unpublished) p. 1-3. 3 p.

    Research output: Contribution to conferenceAbstract

  348. Published

    Path-Contractions, Edge Deletions and Connectivity Preservation

    Gutin, G., Ramanujan, M. S., Reidl, F. & Wahlstrom, M., 3 Sep 2017, The 25th Annual European Symposium on Algorithms (ESA 2017). p. 1-13 13 p. 47. (LIPICS; vol. 87).

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

  349. E-pub ahead of print

    Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties

    Paoletti, N., Liu, K. S., Smolka, S. A. & Lin, S., 1 Sep 2017, Computational Methods in Systems Biology. Feret, J. & Koeppl, H. (eds.). Springer, p. 214-232 19 p. (Lecture Notes in Computer Science; vol. 10545).

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

  350. Published

    From conventional to institution-independent logic programming

    Tutu, I. & Fiadeiro, J. L., 1 Sep 2017, In: Journal of Logic and Computation. 27, 6, p. 1679-1716 38 p.

    Research output: Contribution to journalArticlepeer-review

  351. Published

    An Exploratory Analysis on Drug Target Locality

    Caceres Silva, J. & Paccanaro, A., Sep 2017, AGRANDA - Simposio Argentino de GRANdes DAtos 2017.

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

  352. Published

    Parameterized and Approximation Algorithms for the Load Coloring Problem

    Barbero, F., Gutin, G., Jones, M. & Sheng, B., Sep 2017, In: Algorithmica. 79, 1, p. 211–229 19 p.

    Research output: Contribution to journalArticlepeer-review

  353. Published

    Precise parameter synthesis for stochastic biochemical systems

    Ceska, M., Dannenberg, F., Paoletti, N., Kwiatkowska, M. & Brim, L., Sep 2017, In: Acta Informatica. 54, p. 589-623 35 p.

    Research output: Contribution to journalArticlepeer-review

  354. Published

    Using Argument-based Features to Predict and Analyse Review Helpfulness

    Liu, H., Gao, Y., Lv, P., Li, M., Geng, S., Li, M. & Wang, H., Sep 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Copenhagen, Denmark: Association for Computational Linguistics, p. 1358–1363 6 p.

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

  355. E-pub ahead of print

    Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent

    Rowe, R. & Brotherston, J., 30 Aug 2017, TABLEAUX 2017: Automated Reasoning with Analytic Tableaux and Related Methods. Springer, p. 295-310 16 p. (Lecture Notes in Computer Science; vol. 10501).

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

  356. Published

    Cryptographic enforcement of information flow policies without public information via tree partitions

    Crampton, J., Farley, N., Gutin, G., Jones, M. & Poettering, B., 24 Aug 2017, In: Journal of Computer Security. 25, 6, p. 511-535 25 p.

    Research output: Contribution to journalArticlepeer-review

  357. Published

    Collapsible Pushdown Automata and Recursion Schemes

    Hague, M., Murawski, A., Ong, C-H. L. & Serre, O., 21 Aug 2017, In: ACM Transactions on Computational Logic. 18, 3, p. 1-42 42 p.

    Research output: Contribution to journalArticlepeer-review

  358. Published

    Uniform, integral and efficient proofs for the determinant identities

    Tzameret, I. & Cook, S., 18 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, Vol. 32. p. 1-12 12 p.

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

  359. Published

    Transcend: Detecting Concept Drift in Malware Classification Models

    Jordaney, R., Sharad, K., Dash, S., Wang, Z., Papini, D., Nouretdinov, I. & Cavallaro, L., 16 Aug 2017, Proceedings of the 26th USENIX Security Symposium. USENIX, p. 625-642 18 p.

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

  360. Published

    Conformal Prediction Based on K-Nearest Neighbors for Discrimination of Ginsengs by a Home-Made Electronic Nose

    Wang, Z., Sun, X., Miao, J., Wang, Y., Luo, Z. & Li, G., 14 Aug 2017, In: Sensors. 17, 8, p. 1-12 12 p., 1869.

    Research output: Contribution to journalArticlepeer-review

  361. Published

    CALF: Categorical automata learning framework

    Van Heerdt, G., Sammartino, M. & Silva, A., Aug 2017, Computer Science Logic 2017, CSL 2017. Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-24 24 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 82).

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

  362. Published

    POTUS: Probing Off-The-Shelf USB Drivers with Symbolic Fault Injection

    Patrick-Evans, J., Cavallaro, L. & Kinder, J., Aug 2017, USENIX Workshop on Offensive Technologies (WOOT). USENIX, p. 1-10 10 p.

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

  363. Published

    A tool for choreography-based analysis of message-passing software

    Lange, J., Tuosto, E. & Yoshida, N., 31 Jul 2017, Behavioural Types: from Theory to Tools English. River Publishers, p. 125-146 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  364. Published

    Brief Announcement: Gossiping with Latencies

    Gilbert, S., Robinson, P. & Sourav, S., 25 Jul 2017, PODC '17 : Proceedings of the ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery (ACM), p. 255-257 3 p.

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

  365. Published

    ExpoSE: practical symbolic execution of standalone JavaScript

    Loring, B., Mitchell, D. & Kinder, J., 13 Jul 2017, SPIN 2017 : Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. ACM, p. 196–199 4 p.

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

  366. E-pub ahead of print

    Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

    Cardelli, L., Ceska, M., Fränzle, M., Kwiatkowska, M., Laurenti, L., Paoletti, N. & Whitby, M., 13 Jul 2017, Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Majumdar, R. & Kunčak, V. (eds.). Springer, p. 375-395 21 p. (Lecture Notes in Computer Science; vol. 10427).

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

  367. Published

    The power of primitive positive definitions with polynomially many variables

    Lagerkvist, V. & Wahlstrom, M., 1 Jul 2017, In: Journal of Logic and Computation. 27, 5, p. 1465–1488 24 p.

    Research output: Contribution to journalArticlepeer-review

  368. Published

    Space Complexity of Fault-Tolerant Register Emulations

    Chockler, G. & Spiegelman, A., Jul 2017, PODC '17: Proceedings of the ACM Symposium on Principles of Distributed Computing. ACM, p. 83-92 10 p.

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

  369. Published

    The role of measurability in game-theoretic probability

    Vovk, V., Jul 2017, In: Finance and Stochastics. 21, 3, p. 719–739 21 p.

    Research output: Contribution to journalArticlepeer-review

  370. Published

    A time- and message-optimal distributed algorithm for minimum spanning trees

    Pandurangan, G., Robinson, P. & Scquizzato, M., 19 Jun 2017, STOC 2017: Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. New York: Association for Computing Machinery (ACM), p. 743-756 14 p.

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

  371. Published

    Combination of Conformal Predictors for Classification

    Toccaceli, P. & Gammerman, A., 13 Jun 2017, Proceedings of Machine Learning Research. Lawrence, N. & Reid, M. (eds.). Vol. 60. p. 39-61 23 p. (The Proceedings of Machine Learning Research; vol. 60).

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

  372. Published

    A Framework for the Cryptographic Enforcement of Information Flow Policies

    Alderman, J., Crampton, J. & Farley, N., 7 Jun 2017, Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies. ACM, p. 143-154 12 p.

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

  373. Published

    Attribute Expressions, Policy Tables and Attribute-Based Access Control

    Crampton, J. & Williams, C., 7 Jun 2017, SACMAT'17: Proceedings of the 22nd ACM Symposium on Access Control Models and Technologies. ACM Press, p. 79-90 12 p.

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

  374. Published

    Boosting search guidance in problems with semantic attachments

    Bernardini, S., Fox, M., Long, D. & Piacentini, C., 5 Jun 2017, Proceedings International Conference on Automated Planning and Scheduling, ICAPS 2017. AAAI Press, p. 29-37 9 p.

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

  375. Published

    On the Satisfiability of Workflows with Release Points

    Crampton, J., Gutin, G. & Watrigant, R., Jun 2017, SACMAT '17 Abstracts: Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies. ACM, p. 207-217 11 p.

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

  376. Published

    Valid Probabilistic Prediction of Life Status after Percutaneous Coronary Intervention procedure

    Volkhonskiy, D., Nouretdinov, I., Gammerman, A. & Lim, P., Jun 2017, 6th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2017).

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

  377. Published

    Prediction of Metabolic Transformations using Cross Venn-ABERS Predictors

    Arvidsson, S., Spjuth, O., Carlsson, L. & Toccaceli, P., 31 May 2017, Proceedings of Machine Learning Research. Vol. 60. p. 118-131 14 p.

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

  378. Published

    Scalable communication middleware for permissioned distributed ledgers

    Barger, A., Manevich, Y., Mandler, B., Bortnikov, V., Laventman, G. & Chockler, G., 22 May 2017, SYSTOR '17: Proceedings of the 10th ACM International Systems and Storage Conference. New York: ACM, p. 1 1 p. 23

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

  379. E-pub ahead of print

    Designing Robust Software Systems through Parametric Markov Chain Synthesis

    Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., 18 May 2017, Software Architecture (ICSA), 2017 IEEE International Conference on. p. 131-140 10 p.

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

  380. Published

    Arabidopsis RETINOBLASTOMA RELATED directly regulates DNA damage responses through functions beyond cell cycle control

    Horvath, B., Kourova, H., Nagy, S., Nemeth, E., Magyar, Z., Papdi, C., Ahmad, Z., Sanchez-Perez, G. F., Perilli, S., Blilou, I., Pettkó-Szandtner, A., Darula, Z., Meszaros, T., Binarova, P., Bogre, L. & Scheres, B., 2 May 2017, In: EMBO Journal . 36, 9, p. 1261-1278 18 p.

    Research output: Contribution to journalArticlepeer-review

  381. Published

    A Biological Immune System (BIS) inspired Mobile Agent Platform (MAP) security architecture

    Bagga, P., Hans, R. & Sharma, V., 15 Apr 2017, In: Expert Systems with Applications. 72, p. 269-282 14 p.

    Research output: Contribution to journalArticlepeer-review

  382. E-pub ahead of print

    Parameterized Resiliency Problems via Integer Linear Programming

    Crampton, J., Gutin, G., Koutecky, M. & Watrigant, R., 14 Apr 2017, CIAC 2017, 10th International Conference on Algorithms and Complexity May 26, 2017 - May 28, 2017. Springer, Vol. 10236. p. 164-176 13 p. (Lecture Notes in Computer Science; vol. 10236).

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

  383. Published

    Odd properly colored cycles in edge-colored graphs

    Gutin, G., Sheng, B. & Wahlstrom, M., Apr 2017, In: Discrete Mathematics. 340, 4, p. 817–821 5 p.

    Research output: Contribution to journalArticlepeer-review

  384. E-pub ahead of print

    Canonical Completeness in Lattice-Based Languages for Attribute-Based Access Control

    Crampton, J. & Williams, C., 22 Mar 2017, 7th ACM Conference on Data and Application Security and Privacy. ACM Press, p. 47-58 12 p.

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

  385. Published

    DroidSieve: Fast and Accurate Classification of Obfuscated Android Malware

    Suarez de Tangil Rotaeche, G., Dash, S., Ahmadi, M., Kinder, J., Giacinto, G. & Cavallaro, L., 22 Mar 2017, ACM CODASPY. ACM, p. 309-320 12 p.

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

  386. E-pub ahead of print

    Dynamic route prediction with the magnetic field strength for indoor positioning

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

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  422. Unpublished

    Polynomial and FPT algorithms for Chinese Postman, Packing and Acyclicity

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

    Research output: ThesisDoctoral Thesis

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

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

  425. Published

    The Role of Online Discussion Forums During a Public Health Emergency

    Cole, J., 2017, 458 p.

    Research output: ThesisDoctoral Thesis

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

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

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

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

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

  432. E-pub ahead of print

    The Mixed Chinese Postman Problem Parameterized by Pathwidth and Treedepth

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

    Research output: Contribution to journalArticlepeer-review

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

  434. E-pub ahead of print

    Proof Assistants for Natural Language Semantics

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

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

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

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

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

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

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

  440. E-pub ahead of print

    Decidable Models of Integer-Manipulating Programs with Recursive Parallelism

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

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

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

  442. Published

    Push notifications for the Choose-Survey project

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

    Research output: Non-textual formSoftware

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

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

  445. E-pub ahead of print

    Half-integrality, LP-branching, and FPT Algorithms

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

    Research output: Contribution to journalArticlepeer-review

  446. Unpublished

    Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic

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

    Research output: Contribution to conferenceAbstractpeer-review

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

  448. E-pub ahead of print

    IBC-C: A Dataset for Armed Conflict Event Analysis

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

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

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

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

  451. Published
  452. 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

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

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

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

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

  457. E-pub ahead of print

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

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

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

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

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

  460. Forthcoming

    Creative Processes in Service-Oriented Computing

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

    Research output: Contribution to conferenceAbstractpeer-review

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

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

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

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

  465. E-pub ahead of print

    Note on Perfect Forests in Digraphs

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

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

  472. Published
  473. 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

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

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

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

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

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

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

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

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

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

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

  484. E-pub ahead of print

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

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

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

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

  486. E-pub ahead of print

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

  493. E-pub ahead of print

    Parameterized Traveling Salesman Problem: Beating the Average

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

    Research output: Contribution to journalArticlepeer-review

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

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

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

  497. Published
  498. Unpublished
  499. 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

  500. E-pub ahead of print

    Cryptographic Enforcement of Information Flow Policies Without Public Information

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

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

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

  502. E-pub ahead of print

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

    Miao, J., Luo, Z., Wang, Y. & Li, G., 4 Jan 2016, In: Analytical Methods. p. 1-9 9 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

  506. Unpublished

    A Concurrent Bilateral Negotiation Model for Open E-Markets

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

    Research output: ThesisDoctoral Thesis

Previous 1 2 3 4 5 Next