1. 2022
  2. E-pub ahead of print

    Perfect Forests in Graphs and Their Extensions

    Gutin, G. & Yeo, A., 9 May 2022, (E-pub ahead of print) In: Journal of Graph Theory.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    A Feed-Forward Neural Network for Increasing the Hopfield-Network Storage Capacity

    Zhao, S., Chen, B., Wang, H., Luo, Z. & Zhang, T., 6 May 2022, In: International Journal of Neural Systems. 16 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Approximating the Existential Theory of the Reals

    Deligkas, A., Fearnley, J., Melissourgos, T. & Spirakis, P. G., May 2022, In: Journal of Computer and System Sciences. 125, p. 106-128 23 p.

    Research output: Contribution to journalArticlepeer-review

  5. Forthcoming

    Prediction as a Basis for Skilled Reading: Insights from Modern Language Models

    Cevoli, B., Watkins, C. & Rastle, K., 29 Apr 2022, (Accepted/In press) In: Royal Society Open Science.

    Research output: Contribution to journalArticlepeer-review

  6. E-pub ahead of print

    Valued Authorization Policy Existence Problem: Theory and Experiments

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., 21 Apr 2022, (E-pub ahead of print) In: ACM Transactions on Privacy and Security.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    On d-panconnected tournaments with large semidegrees

    Darbinyan, S. & Gutin, G., 12 Apr 2022, In: Discrete Mathematics. 345, 8, 14 p., 112931.

    Research output: Contribution to journalArticlepeer-review

  8. E-pub ahead of print

    Directed Flow-Augmentation

    Kim, E. J., Kratsch, S., Pilipczuk, M. & Wahlström, M., 11 Apr 2022, (E-pub ahead of print) Proceedings of STOC 2022. Association for Computing Machinery (ACM)

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

  9. Forthcoming

    Generalized Noise Role Mining

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., Apr 2022, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  10. Published

    Multi-Quantile Recurrent Neural Network for Feeder-Level Probabilistic Energy Disaggregation Considering Roof-Top Solar Energy

    Zhang, X., Watkins, C. & Kuenzel, S., Apr 2022, In: Engineering Applications of Artificial Intelligence. 104707.

    Research output: Contribution to journalArticlepeer-review

  11. Forthcoming

    Equilibrium Resolution for Epoch Partitioning

    Wisniewski, W., Kalnishkan, Y., Lindsay, D. & Lindsay, S., 31 Mar 2022, (Accepted/In press) Proceedings of the 18th International Conference on Artificial Intelligence Applications and Innovations. Springer, (SPRINGER IFIP AICT).

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

  12. E-pub ahead of print

    Optimizing Reachability Sets in Temporal Graphs by Delaying

    Deligkas, A. & Potapov, I., 14 Mar 2022, (E-pub ahead of print) In: Information and Computation. 104890.

    Research output: Contribution to journalArticlepeer-review

  13. Submitted

    Learning to Identify Perceptual Bugs in 3D Video Games

    Wilkins, B. & Stathis, K., 28 Feb 2022, (Submitted) In: ArXiv.org.

    Research output: Contribution to journalArticle

  14. Published

    Admissible ways of merging p-values under arbitrary dependence

    Vovk, V., Wang, B. & Wang, R., 17 Feb 2022, In: The Annals of Statistics. 50, 1, p. 351-375 25 p.

    Research output: Contribution to journalArticlepeer-review

  15. E-pub ahead of print

    Prediction with Expert Advice for a Finite Number of Experts: A Practical Introduction

    Kalnishkan, Y., Jun 2022, In: Pattern Recognition. 126, 108557.

    Research output: Contribution to journalArticlepeer-review

  16. E-pub ahead of print

    Universal predictive systems

    Vovk, V., Jun 2022, In: Pattern Recognition. 126, 12 p., 108536.

    Research output: Contribution to journalArticlepeer-review

  17. Published

    Sound classification using evolving ensemble models and Particle Swarm Optimization

    Zhang, L., Lim, C. P., Yu, Y. & Jiang, M., Feb 2022, In: Applied Soft Computing. 116, 108322.

    Research output: Contribution to journalArticlepeer-review

  18. Published

    An evolving ensemble model of multi-stream convolutional neural networks for human action recognition in still images

    Slade, S., Zhang, L., Yu, Y. & Lim, C. P., 30 Jan 2022, In: Neural Computing and Applications.

    Research output: Contribution to journalArticlepeer-review

  19. Forthcoming

    A Hybrid Short-Term Load Forecasting Method Based on Empirical Wavelet Transform and Bidirectional Long Short-Term Memory Neural Networks

    Zhang, X., Kuenzel, S., Colombo, N. & Watkins, C., 25 Jan 2022, (Accepted/In press) In: Journal of Modern Power Systems and Clean Energy.

    Research output: Contribution to journalArticlepeer-review

  20. Published

    Twenty seconds of visual behaviour on social media gives insight into personality

    Woods, C., Luo, Z., Watling, D. & Durant, S., 21 Jan 2022, In: Scientific Reports. 12, 1, p. 1-11 11 p., 1178.

    Research output: Contribution to journalArticlepeer-review

  21. Published

    Deep Learning Based Fault Prediction in Wireless Sensor Network Embedded Cyber-Physical Systems for Industrial Processes

    Ruan, H., Dorneanu, B., Mohamed, A., Arellano-Garcia, H., Xiao, P. & Zhang, L., 20 Jan 2022, In: IEEE Access.

    Research output: Contribution to journalArticlepeer-review

  22. Forthcoming

    Iterative Message Passing Algorithm for Vertex-disjoint Shortest Paths

    Dai, G., Gutin, G., Zhang, X. & Zhang, Z., 18 Jan 2022, (Accepted/In press) In: IEEE Transactions on Information Theory.

    Research output: Contribution to journalArticlepeer-review

  23. E-pub ahead of print

    Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables

    Chen, T., Flores Lamas, A., Hague, M., Han, Z., Hu, D., Kan, S., Lin, A., Ruemmer, P. & Wu, Z., 12 Jan 2022, (E-pub ahead of print) Principles of Programming Languages 2022. ACM, Vol. 6. p. 1-31 31 p. 45

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

  24. Forthcoming

    Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation

    Bagga, P., Paoletti, N. & Stathis, K., 2022, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  25. Forthcoming

    Heterogeneous Facility Location with Limited Resources

    Deligkas, A., Filos-Ratsikas, A. & Voudouris, A., 2022, (Accepted/In press) AAAI Conference on Artificial Intelligence, AAAI 2022.

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

  26. Published

    Malware in Motion

    Choudhury, R., Luo, Z. & Nguyen, K., 2022, p. 595-602.

    Research output: Contribution to conferencePaperpeer-review

  27. Forthcoming

    Pizza Sharing is PPA-hard

    Deligkas, A., Fearnley, J. & Melissourgos, T., 2022, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  28. 2021
  29. Forthcoming

    Convergence and Correctness of Belief Propagation for Weighted Min-Max Flow

    Dai, G., Guo, L., Gutin, G., Zhang, X. & Zhang, Z., 27 Dec 2021, (Accepted/In press) In: Discrete Applied Mathematics.

    Research output: Contribution to journalArticlepeer-review

  30. Forthcoming

    Kmclib: Automated Inference and Verification of Session Types from OCaml Programs

    Imai, K., Lange, J. & Neykova, R., 24 Dec 2021, (Accepted/In press) In: Lecture Notes in Computer Science. TACAS 2022

    Research output: Contribution to journalConference articlepeer-review

  31. Published

    Personalized Tag Recommendation via Denoising Auto-Encoder

    Zhao, W., Shang, L., Yu, Y., Zhang, L., Wang, C. & Chen, J., 20 Dec 2021, In: World Wide Web - Internet and Web Information Systems. 20 p.

    Research output: Contribution to journalArticlepeer-review

  32. E-pub ahead of print

    The (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems

    Lagerkvist, V. & Wahlström, M., 15 Dec 2021, (E-pub ahead of print) In: ACM Transactions on Computation Theory (TOCT). 14, 1, p. 1-54 54 p., 2.

    Research output: Contribution to journalArticlepeer-review

  33. Published

    Protein Function Prediction for newly sequenced organisms

    Torres, M., Yang, H., Romero, A. E. & Paccanaro, A., 9 Dec 2021, In: Nature Machine Intelligence.

    Research output: Contribution to journalArticlepeer-review

  34. Published

    Evolving Deep Architecture Generation with Residual Connections for Image Classification Using Particle Swarm Optimization

    Lawrence, T., Zhang, L., Rogage, K. & Lim, C. P., 28 Nov 2021, In: Sensors. 21, 23, 7936.

    Research output: Contribution to journalArticlepeer-review

  35. Forthcoming

    Quasipolynomial multicut-mimicking networks and kernels for multiway cut problems

    Wahlström, M., 16 Nov 2021, (Accepted/In press) In: ACM Transactions on Algorithms (TALG).

    Research output: Contribution to journalArticlepeer-review

  36. E-pub ahead of print

    Machine learning and network medicine approaches for drug repositioning for COVID-19

    de Siquiera Santos, S., Torres, M., Galeano Galeano, D., Sanchez, M. D. M., Cernuzzi, L. & Paccanaro, A., 9 Nov 2021, (E-pub ahead of print) In: Cell Patterns.

    Research output: Contribution to journalArticlepeer-review

  37. Published

    Detecting Depression from Speech through an Attentive LSTM Network

    Zhao, Y., Xie, Y., LIANG, R., Zhang, L., Zhao, L. & Liu, C., 1 Nov 2021, In: IEICE Transactions on Information and Systems. E104.D, 11, p. 2019-2023 5 p.

    Research output: Contribution to journalArticlepeer-review

  38. Published

    Connected Subgraph Defense Games

    Akrida, E., Deligkas, A., Melissourgos, T. & Spirakis, P. G., Nov 2021, In: Algorithmica. 83, p. 3403-3431 29 p.

    Research output: Contribution to journalArticlepeer-review

  39. Published

    Testing randomness online

    Vovk, V., Nov 2021, In: Statistical Science. 36, 4, p. 595-611 17 p.

    Research output: Contribution to journalArticlepeer-review

  40. E-pub ahead of print

    Constrained Hitting Set Problem with Intervals

    Acharyya, A., Keikha, V., Majumdar, D. & Pandit, S., 20 Oct 2021, (E-pub ahead of print) The 27th International Computing and Combinatorics Conference: COCOON 2021. Springer-Verlag, p. 604-616 13 p. (Lecture Notes in Computer Science).

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

  41. Published

    Role of miR-2392 in driving SARS-CoV-2 infection

    UNC COVID-19 Pathobiology Consortium, 19 Oct 2021, In: Cell Reports. 37, 3, 109839.

    Research output: Contribution to journalArticlepeer-review

  42. Forthcoming

    Boost AI Power: Data Augmentation Strategies With Unlabeled Data and Conformal Prediction, a Case in Alternative Herbal Medicine Discrimination With Electronic Nose

    Liu, L., Zhan, X., Wu, R., Guan, X., Wang, Z., Zhang, W., Pilanci, M., Wang, Y., Luo, Z. & Li, G., 15 Oct 2021, (Accepted/In press) In: IEEE Sensors Journal . 21, 20, p. 22995 - 23005

    Research output: Contribution to journalArticlepeer-review

  43. Forthcoming

    Attention Guidance Agents with Eye-tracking: A use-case based on the MATBII cockpit task

    Durant, S., Wilkins, B., Woods, C., Uliana, E. & Stathis, K., 3 Oct 2021, (Accepted/In press) Post-Proceedings of EMAS'21. Springer, (LNCS).

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

  44. Published

    Use of Artificial Intelligence in Regulatory Decision-Making

    Jago, R., van der Gaag, A., Stathis, K., Petej, I., Lertvittayakumjorn, P., Krishnamurthy, Y., Gao, Y., Caceres Silva, J., Webster, M., Gallagher, A. & Austin, Z., 1 Oct 2021, In: Journal of Nursing Regulation. 12, 3, p. 11-19 9 p.

    Research output: Contribution to journalArticlepeer-review

  45. E-pub ahead of print

    Many-visits TSP revisited

    Kowalik, L., Li, S., Nadara, W., Smulewicz, M. & Wahlström, M., 30 Sep 2021, (E-pub ahead of print) In: Journal of Computer and System Sciences.

    Research output: Contribution to journalArticlepeer-review

  46. E-pub ahead of print

    A survey of deep learning approaches for WiFi-based indoor positioning

    Feng, X., Nguyen, K. A. & Luo, Z., 20 Sep 2021, (E-pub ahead of print) In: Journal of Information and Telecommunication. 54 p.

    Research output: Contribution to journalArticlepeer-review

  47. Published

    An Interactive Evolution Strategy based Deep Convolutional Generative Adversarial Network for 2D Video Game Level Procedural Content Generation

    Jiang, M. & Zhang, L., 20 Sep 2021, 2021 International Joint Conference on Neural Networks (IJCNN). IEEE

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

  48. Published

    Deep Recurrent Neural Networks with Attention Mechanisms for Respiratory Anomaly Classification

    Wall, C., Zhang, L., Yu, Y. & Mistry, K., 20 Sep 2021, 2021 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks (IJCNN): IEEE

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

  49. Forthcoming

    Game-theoretic Simulations with Cognitive Agents

    Shahid, N., O'Keeffe, D. & Stathis, K., 11 Sep 2021, (Accepted/In press) The 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI). IEEE Computer Society, 6 p.

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

  50. Published

    Conformal Changepoint Detection in Continuous Model Situations

    Nouretdinov, I., Vovk, V. & Gammerman, A., 10 Sep 2021, 1 p. COPA 2021 : 10th Symposium on Conformal and Probabilistic Prediction with Applications.

    Research output: Other contribution

  51. E-pub ahead of print

    Faster FPT Algorithms for Deletion to Pairs of Graph Classes

    Jacob, A., Majumdar, D. & Raman, V., 9 Sep 2021, (E-pub ahead of print).

    Research output: Contribution to conferencePaperpeer-review

  52. Published

    A Lower Bound for a Prediction Algorithm under the Kullback-Leibler Game

    Dzhamtyrova, R. & Kalnishkan, Y., Sep 2021, Conformal and Probabilistic Prediction and Applications 2021. Carlsson, L., Luo, Z., Cherubin, G. & An Nguyen, K. (eds.). Proceedings of Machine Learning Research, Vol. 152. p. 39-51 13 p.

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

  53. Published

    Multi-Head Attention-Based Long Short-Term Memory for Depression Detection From Speech

    Zhao, Y., Liang, Z., Du, J., Zhang, L., Liu, C. & Zhao, L., 26 Aug 2021, In: Frontiers in Neurorobotics. 15, 684037.

    Research output: Contribution to journalArticlepeer-review

  54. Published

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

    Crampton, J., Gutin, G. & Majumdar, D., 19 Aug 2021, In: ACM Transactions on Privacy and Security. 24, 3, p. 1-22 22 p., 21.

    Research output: Contribution to journalArticlepeer-review

  55. Published

    Perfect Forests in Graphs and Their Extensions

    Gutin, G. & Yeo, A., 18 Aug 2021, 46th International Symposium on Mathematical Foundations of Computer Science: LIPIcs (Leibniz International Proceedings in Informatics). Schloss Dagstuhl –Leibniz Center for Informatics, p. 1-13 13 p. 54

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

  56. Published

    Ransomclave: Ransomware Key Management using SGX

    Bhudia, A., O'Keeffe, D., Sgandurra, D. & Hurley-Smith, D., 17 Aug 2021, 10th International Workshop on Cyber Crime (IWCC 2021): In proceedings of the International Conference on Availability, Reliability and Security (ARES 2021). p. 1-10 10 p. 58

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

  57. Published

    E-values: Calibration, combination, and applications

    Vovk, V. & Wang, R., 9 Aug 2021, In: The Annals of Statistics. 49, 3, p. 1736-1754 19 p.

    Research output: Contribution to journalArticlepeer-review

  58. Published

    Supporting Complaints Investigation for Nursing and Midwifery Regulatory Agencies

    Lertvittayakumjorn, P., Petej, I., Gao, Y., Krishnamurthy, Y., van der Gaag, A., Jago, R. & Stathis, K., 6 Aug 2021, p. 81-91. 11 p.

    Research output: Contribution to conferencePaperpeer-review

  59. Published

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

    Bagga, P., Paoletti, N. & Stathis, K., 5 Aug 2021, FUZZ-IEEE 2021. IEEE Xplore

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

  60. Published

    Informed Autonomous Exploration of Subterranean Environments

    Akbari, A. & Bernardini, S., 4 Aug 2021, In: IEEE Robotics and Automation Letters.

    Research output: Contribution to journalArticlepeer-review

  61. Published

    Informed Autonomous Exploration of Subterranean Environments

    Akbari, A. & Bernardini, S., 4 Aug 2021, IEEE Xplore IROS 2021 Proceedings. IEEE Xplore, Vol. 6. p. 7957-7964 8 p.

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

  62. E-pub ahead of print

    Kings in Multipartite Hypertournaments

    Ai, J., Gerke, S. & Gutin, G., 2 Aug 2021, (E-pub ahead of print) In: Journal of Graph Theory.

    Research output: Contribution to journalArticlepeer-review

  63. Published

    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

  64. Published

    The Parameterized Complexity of Connected Fair Division

    Deligkas, A., Eiben, E., Ganian, R., Hamm, T. & Ordyniak, S., Aug 2021, International Joint Conference on Artificial Intelligence: IJCAI 2021. p. 139-145 7 p.

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

  65. Published

    Collapsible Pushdown Parity Games

    Hague, M., Serre, O., Carayol, A., Ong, C-H. L., Murawski, A. & Broadbent, C., 22 Jul 2021, In: ACM Transactions on Computational Logic. 22, 3, p. 1 51 p., 16.

    Research output: Contribution to journalArticlepeer-review

  66. Published

    Two's Company, Three's a Crowd: Consensus-Halving for a Constant Number of Agents

    Deligkas, A., Filos-Ratsikas, A. & Hollender, A., 18 Jul 2021, ACM Conference on Economics and Computation: EC '21. p. 347-368 22 p.

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

  67. E-pub ahead of print

    Checking Data-Race Freedom of GPU Kernels, Compositionally

    Cogumbreiro, T., Lange, J., Liew Zhen Rong, D. & Zicarelli, H., 15 Jul 2021, (E-pub ahead of print) International Conference on Computer-Aided Verification. Springer-Verlag, Vol. 12759.

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

  68. E-pub ahead of print

    Privacy Boundary Determination of Smart Meter Data Using an Artificial Intelligence Adversary

    Zhang, X., Watkins, C., Cheong Took, C. & Kuenzel, S., 14 Jul 2021, (E-pub ahead of print) In: International Transactions on Electrical Energy Systems.

    Research output: Contribution to journalArticlepeer-review

  69. Forthcoming

    Automated Verification of Go Programs via Bounded Model Checking

    Dilley, N. & Lange, J., 8 Jul 2021, (Accepted/In press) In: IEEE/ACM International Conference on Automated Software Engineering.

    Research output: Contribution to journalConference articlepeer-review

  70. E-pub ahead of print

    Near-linear-time, Optimal Vertex Cut Sparsifiers in Directed Acyclic Graphs

    He, Z., Li, J. & Wahlström, M., 3 Jul 2021, (E-pub ahead of print) Proceedings of ESA 2021. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 1-14 14 p. 52

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

  71. Published

    Ranking Bracelets in Polynomial Time

    Adamson, D., Gusev, V., Potapov, I. & Deligkas, A., 30 Jun 2021, Symposium on Combinatorial Pattern Matching: CPM 2021. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 191. p. 1-17 17 p.

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

  72. Published

    Strong Subgraph Connectivity of Digraphs: A Survey

    Sun, Y. & Gutin, G., 12 Jun 2021, In: Journal of Interconnection Networks. 21, 4, p. 2142004.1-2142004.16 16 p.

    Research output: Contribution to journalArticlepeer-review

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

  74. Published

    Neural predictive monitoring and a comparison of frequentist and Bayesian approaches

    Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A. & Stoller, S. D., 24 May 2021, In: International Journal on Software Tools for Technology Transfer.

    Research output: Contribution to journalArticlepeer-review

  75. Published

    Intelligent human action recognition using an ensemble model of evolving deep networks with swarm-based optimization

    Zhang, L., Lim, C. P. & Yu, Y., 23 May 2021, In: Knowledge-Based Systems. 220, 106918.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

  81. Published

    Valued Authorization Policy Existence Problem

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., May 2021, Proceedings of 26th ACM SACMAT. p. 83-94

    Research output: Chapter in Book/Report/Conference proceedingChapter

  82. Published

    Walrasian Equilibria in Markets with Small Demands

    Deligkas, A., Melissourgos, T. & Spirakis, P. G., May 2021, International Conference on Autonomous Agents and Multiagent Systems: AAMAS '21. p. 413-419 7 p.

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

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

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

  85. E-pub ahead of print

    Modeling and dynamic analysis of spiral bevel gear coupled system of intermediate and tail gearboxes in a helicopter

    Zhu, H., Chen, W., Zhu, R., Zhang, L., Fu, B. & Lu, X., 13 Apr 2021, (E-pub ahead of print) In: Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science.

    Research output: Contribution to journalArticlepeer-review

  86. 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, (E-pub ahead of print) In: Journal of Parallel and Distributed Computing.

    Research output: Contribution to journalArticlepeer-review

  87. 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, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 35, 1, p. 575-596 22 p.

    Research output: Contribution to journalArticlepeer-review

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

  89. E-pub ahead of print

    Speech neuromuscular decoding based on spectrogram images using conformal predictors with Bi-LSTM

    Wang, Y., Zhang, M., Wu, R., Wang, H., Luo, Z. & Li, G., 16 Mar 2021, (E-pub ahead of print) In: Neurocomputing. 451, p. 25-34

    Research output: Contribution to journalArticlepeer-review

  90. Published

    Feature Selection Using Enhanced Particle Swarm Optimisation for Classification Models

    Xie, H., Zhang, L., Lim, C. P., Yu, Y. & Liu, H., 5 Mar 2021, In: Sensors. 21, 5, 1816.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

  95. Published

    Particle Swarm Optimization for Automatically Evolving Convolutional Neural Networks for Image Classification

    Lawrence, T., Zhang, L., Lim, C. P. & Phillips, E-J., 18 Jan 2021, In: IEEE Access. 9, p. 14369-14386 18 p.

    Research output: Contribution to journalArticlepeer-review

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

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

  98. Published

    Experimental and numerical investigation of rubber damping ring and its application in multi-span shafting

    Zhu, H., Chen, W., Li, M., Zhu, R., Zhang, L., Fu, B., Wang, S. & Lu, X., 3 Jan 2021, In: Journal of the Brazilian Society of Mechanical Sciences and Engineering. 43, 43.

    Research output: Contribution to journalArticlepeer-review

  99. Published

    Over-fitting suppression training strategies for deep learning-based atrial fibrillation detection

    Zhang, X., Li, J., Cai, Z., Zhang, L., Chen, Z. & Liu, C., 2 Jan 2021, In: Medical & Biological Engineering & Computing. 59, p. 165–173 9 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

  104. Unpublished
  105. Published

    Conformal testing in a binary model situation

    Vovk, V., 2021, Proceedings of Machine Learning Research. Carlsson, L., Luo, Z., Cherubin, G. & Nguyen, K. (eds.). Vol. 152. p. 131-150 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  106. Published

    Hamiltonicity, Pancyclicity and Full Cycle Extendability in Multipartite Tournaments

    Zhang, Z., Zhang, X., Gutin, G. & Lou, D., 2021, In: Journal of Graph Theory. 97, 2, p. 171-191 21 p.

    Research output: Contribution to journalArticlepeer-review

  107. Published
  108. Forthcoming

    Nonparametric fiducial prediction

    Vovk, V., 2021, (Accepted/In press) Handbook on BFF Inference. Berger, J., Meng, X-L., Reid, N. & Xie, M. (eds.). Chapman and Hall, 17 p.

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

  109. Published

    Retrain or not retrain: Conformal test martingales for change-point detection

    Vovk, V., Petej, I., Nouretdinov, I., Ahlberg, E., Carlsson, L. & Gammerman, A., 2021, Proceedings of Machine Learning Research. Carlsson, L., Luo, Z., Cherubin, G. & Nguyen, K. (eds.). Vol. 152. p. 191-210 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  110. Published

    Transformer-based conformal predictors for paraphrase detection

    Giovannotti, P. & Gammerman, A., 2021, p. 243-265. 23 p.

    Research output: Contribution to conferencePaperpeer-review

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

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

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

  115. Published

    Dynamic analysis of a flexible rotor supported by ball bearings with damping rings based on FEM and lumped mass theory

    Zhu, H., Chen, W., Zhu, R., Zhang, L., Gao, J. & Liao, M., Dec 2020, In: Journal of Central South University. 27, p. 3684–3701 18 p.

    Research output: Contribution to journalArticlepeer-review

  116. Published

    Enhanced factorization machine via neural pairwise ranking and attention networks

    Yu, Y., Jiao, L., Zhou, N., Zhang, L. & Yin, H., Dec 2020, In: Pattern Recognition Letters. 140, p. 348-357 10 p.

    Research output: Contribution to journalArticlepeer-review

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

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

  119. E-pub ahead of print

    Implementation Correctness for Replicated Data Types, Categorically

    Gadducci, F., Melgratti, H., Roldán, C. & Sammartino, M., 25 Nov 2020, (E-pub ahead of print) 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

  120. Published

    Neural Graph for Personalized Tag Recommendation

    Yu, Y., Chen, X., Zhang, L., Gao, R. & Gao, H., 24 Nov 2020, In: IEEE Intelligent Systems.

    Research output: Contribution to journalArticlepeer-review

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

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

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

  124. Published

    Evolving Deep DenseBlock Architecture Ensembles for Image Classification

    Fielding, B. & Zhang, L., 9 Nov 2020, In: Electronics. 9, 11, 1880.

    Research output: Contribution to journalArticlepeer-review

  125. 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, (E-pub ahead of print) In: Wellcome Open Research. 267.

    Research output: Contribution to journalArticlepeer-review

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

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

  128. Published

    Detecting Spam Email With Machine Learning Optimized With Bio-Inspired Metaheuristic Algorithms

    Gibson, S., Issac, B., Zhang, L. & Jacob, S. M., 13 Oct 2020, In: IEEE Access. 8, p. 187914-187932 19 p.

    Research output: Contribution to journalArticlepeer-review

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

  130. E-pub ahead of print

    Successive shortest paths in complete graphs with random edge weights

    Gerke, S., Mezei, B. & Sorkin, G., 13 Oct 2020, (E-pub ahead of print) In: Random Structures and Algorithms. 57, 4, p. 1205-1247 43 p.

    Research output: Contribution to journalArticlepeer-review

  131. 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, (E-pub ahead of print) p. 325-342. 18 p.

    Research output: Contribution to conferencePaperpeer-review

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

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

  134. Published

    A Multi-Population FA for Automatic Facial Emotion Recognition

    Mistry, K., Rizvi, B., Rook, C., Iqbal, S., Zhang, L. & Joy, C. P., 28 Sep 2020, A Multi-Population FA for Automatic Facial Emotion Recognition. International Joint Conference on Neural Networks (IJCNN): IEEE

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

  135. Published

    Graph Neural Networks Boosted Personalized Tag Recommendation Algorithm

    Chen, X., Yu, Y., Jiang, F., Zhang, L., Gao, R. & Gao, H., 28 Sep 2020, Graph Neural Networks Boosted Personalized Tag Recommendation Algorithm. Glasgow: IEEE

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

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

  137. E-pub ahead of print

    Neural Pairwise Ranking Factorization Machine for Item Recommendation

    Jiao, L., Yu, Y., Zhou, N., Zhang, L. & Yin, H., 18 Sep 2020, (E-pub ahead of print) Neural Pairwise Ranking Factorization Machine for Item Recommendation. Proceedings, Part I. ed. Springer, [Cham], p. 680-688 9 p. (Lecture Notes in Computer Science (12112)).

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

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

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

  141. Published

    Evolving CNN-LSTM Models for Time Series Prediction Using Enhanced Grey Wolf Optimizer

    Xie, H., Zhang, L. & Lim, C. P., 3 Sep 2020, In: IEEE Access. 8, p. 161519-161541 23 p.

    Research output: Contribution to journalArticlepeer-review

  142. E-pub ahead of print

    Epidemic contact tracing with smartphone sensors

    Nguyen, D. K. A., Luo, Z. & Watkins, C., 1 Sep 2020, (E-pub ahead of print) In: Journal of Location Based Services. 37 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

  148. 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, (E-pub ahead of print) 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

  149. 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, (E-pub ahead of print) p. 360-371. 12 p.

    Research output: Contribution to conferencePaperpeer-review

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

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

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

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

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

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

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

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

  158. Published

    Adaptive bone abnormality detection in medical imagery using deep neural networks

    Storey, O., Wei, B., Zhang, L. & Romuald Fotso Mtope, F., 15 Aug 2020, World Scientific Proceedings Series on Computer Engineering and Information Science. In: Developments of Artificial Intelligence Technologies in Computation and Robotics. World Scientific Proceedings Series on Computer Engineering and Information Science, 12.: World Scientific, Singapore, p. 915-922 8 p.

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

  159. Published

    Deep learning based melanoma diagnosis using dermoscopic images

    Wall, C., Young, F., Zhang, L., Phillips, E-J., Jiang, R. & Yu, Y., 15 Aug 2020, World Scientific Proceedings Series on Computer Engineering and Information Science. In: Developments of Artificial Intelligence Technologies in Computation and Robotics. World Scientific Proceedings Series on Computer Engineering and Information Science, 12. : World Scientific, Singapore, p. 907-914 8 p.

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

  160. Published

    Deep learning-based fall detection

    Chiang, J. W. H. & Zhang, L., 15 Aug 2020, Deep learning-based fall detection . In: Developments of Artificial Intelligence Technologies in Computation and Robotics. World Scientific Proceedings Series on Computer Engineering and Information Science, 12.: World Scientific, Singapore, p. 891-898 8 p.

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

  161. Published

    In-vehicle object detection in the wild for driverless vehicles

    Dinakaran, R., Zhang, L. & Jiang, R., 15 Aug 2020, World Scientific Proceedings Series on Computer Engineering and Information Science. In: Developments of Artificial Intelligence Technologies in Computation and Robotics. World Scientific Proceedings Series on Computer Engineering and Information Science, 12.: World Scientific, Singapore, p. 1139-1147 9 p.

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

  162. 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, (E-pub ahead of print) In: IEEE Robotics and Automation Letters. 8 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

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

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

  172. Published

    Intelligent optic disc segmentation using improved particle swarm optimization and evolving ensemble models

    Zhang, L. & Lim, C. P., Jul 2020, In: Applied Soft Computing. 92, 106328.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

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

  181. E-pub ahead of print

    Monadic Decomposition in Integer Linear Arithmetic

    Hague, M., Lin, A., Ruemmer, P. & Wu, Z., 24 Jun 2020, (E-pub ahead of print) 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

  182. E-pub ahead of print

    Algebras for Tree Decomposable Graphs

    Bruni, R., Montanari, U. & Sammartino, M., 23 Jun 2020, (E-pub ahead of print) 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

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

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

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

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

  187. E-pub ahead of print

    Competitive online quantile regression

    Dzhamtyrova, R. & Kalnishkan, Y., 5 Jun 2020, (E-pub ahead of print) 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  205. 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, (E-pub ahead of print) In: Journal of Graph Theory. p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  206. E-pub ahead of print

    Arc-disjoint Strong Spanning Subdigraphs of Semicomplete Compositions

    Bang-Jensen, J., Gutin, G. & Yeo, A., 13 Apr 2020, (E-pub ahead of print) In: Journal of Graph Theory.

    Research output: Contribution to journalArticlepeer-review

  207. 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, (E-pub ahead of print) 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

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

  209. 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, (E-pub ahead of print) In: Journal of Neural Engineering. 12 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

  215. 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, (E-pub ahead of print) p. 1-8. 8 p.

    Research output: Contribution to conferencePaperpeer-review

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

  217. 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, (E-pub ahead of print) In: Plant physiology. 182, 2, p. 919-932 14 p.

    Research output: Contribution to journalArticlepeer-review

  218. 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, (E-pub ahead of print) In: Data Intelligence. 2, 1-2, p. 151-157 7 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

  222. Published

    Adaptive melanoma diagnosis using evolving clustering, ensemble and deep neural networks

    Tan, T. Y., Zhang, L. & Lim, C. P., Jan 2020, In: Knowledge-Based Systems. 187, 104807.

    Research output: Contribution to journalArticlepeer-review

  223. Unpublished

    A transformer conformal predictor for paraphrase detection

    Giovannotti, P., 2020, (Unpublished).

    Research output: Contribution to conferencePosterpeer-review

  224. Unpublished

    Checking Cryptographic API Specifications in JavaScript

    Mitchell, D., 2020, (Unpublished)

    Research output: ThesisDoctoral Thesis

  225. Unpublished

    Competitive online algorithms for probabilistic prediction

    Dzhamtyrova, R., 2020, (Unpublished)

    Research output: ThesisDoctoral Thesis

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

  227. Unpublished
  228. 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

  229. Unpublished

    Static Flow Analysis for Hybrid and Native Android Applications

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

    Research output: ThesisDoctoral Thesis

  230. 2019
  231. Published

    IoTNet: An Efficient and Accurate Convolutional Neural Network for IoT Devices

    Lawrence, T. & Zhang, L., 14 Dec 2019, In: Sensors. 19, 24, 5541.

    Research output: Contribution to journalArticlepeer-review

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

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

  234. 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, (E-pub ahead of print) In: Neurocomputing. p. 1-13 13 p.

    Research output: Contribution to journalArticlepeer-review

  235. E-pub ahead of print

    Preference-based interactive multi-document summarisation

    Gao, Y., Meyer, C. M. & Gurevych, I., 19 Nov 2019, (E-pub ahead of print) In: Information Retrieval Journal. 23, p. 1-31 31 p.

    Research output: Contribution to journalArticlepeer-review

  236. Published

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

    Zhou, N., 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

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

  238. E-pub ahead of print

    Toward Cereceda's conjecture for planar graphs

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

    Research output: Contribution to journalArticlepeer-review

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

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

  241. Published

    Improving K-means clustering with enhanced Firefly Algorithms

    Xie, H., Zhang, L., Lim, C. P., Yu, Y., Liu, C., Liu, H. & Walters, J., Nov 2019, In: Applied Soft Computing. 84, 105763.

    Research output: Contribution to journalArticlepeer-review

  242. Published

    Intelligent skin cancer diagnosis using improved particle swarm optimization and deep learning models

    Tan, T. Y., Zhang, L. & Lim, C. P., Nov 2019, In: Applied Soft Computing. 84, 105725.

    Research output: Contribution to journalArticlepeer-review

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

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

  245. 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, (E-pub ahead of print) 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

  246. Published

    Advancing Ensemble Learning Performance through data transformation and classifiers fusion in granular computing context

    Liu, H. & Zhang, L., 1 Oct 2019, In: Expert Systems with Applications. 131, p. 20-29 10 p.

    Research output: Contribution to journalArticlepeer-review

  247. E-pub ahead of print

    Neural Predictive Monitoring

    Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A. & Stoller, S. D., 1 Oct 2019, (E-pub ahead of print) Runtime Verification. p. 129-147 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  249. Published

    Distant Pedestrian Detection in the Wild using Single Shot Detector with Deep Convolutional Generative Adversarial Networks

    Dinakaran, R., Easom, P., Zhang, L., Bouridane, A., Jiang, R. & Edirisinghe, E., 30 Sep 2019, 2019 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks (IJCNN): IEEE

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

  250. Published

    Evolving and Ensembling Deep CNN Architectures for Image Classification

    Fielding, B., Lawrence, T. & Zhang, L., 30 Sep 2019, 2019 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks (IJCNN): IEEE

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

  251. Published

    Integrating Social Circles and Network Representation Learning for Item Recommendation

    Yu, Y., Wang, Q., Zhang, L., Wang, C., Wu, S., Qi, B. & Wu, X., 30 Sep 2019, 2019 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks (IJCNN): IEEE

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

  252. Published

    Weather Based Photovoltaic Energy Generation Prediction Using LSTM Networks

    Arshi, S., Zhang, L. & Strachan, B., 30 Sep 2019, 2019 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks (IJCNN): IEEE

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

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

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

  255. E-pub ahead of print

    Principled and Pragmatic Specification of Programming Languages

    Johnstone, A. & Scott, E., 23 Sep 2019, (E-pub ahead of print) In: Lecture Notes in Computer Science. 11758, p. 165-180 16 p.

    Research output: Contribution to journalArticlepeer-review

  256. 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, (E-pub ahead of print) p. 300-316. 17 p.

    Research output: Contribution to conferencePaperpeer-review

  257. E-pub ahead of print

    A Formal Model for Checking Cryptographic API Usage in JavaScript

    Mitchell, D. & Kinder, J., 15 Sep 2019, (E-pub ahead of print) 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

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

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

  260. E-pub ahead of print

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

    Dipsis, N. & Stathis, K., 12 Sep 2019, (E-pub ahead of print) In: Journal of Ambient Intelligence and Humanized Computing. p. 1-24 24 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

  268. 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, (E-pub ahead of print) American Control Conference 2019. p. 4765-4772 8 p.

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

  269. Published

    Sorting email with natural language processing and conformal prediction

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

    Research output: Contribution to conferencePosterpeer-review

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

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

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

  273. 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, (E-pub ahead of print) 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

  274. E-pub ahead of print

    Explaining Deep Learning Models with Constrained Adversarial Examples

    Moore, J., Hammerla, N. & Watkins, C., 23 Aug 2019, (E-pub ahead of print) 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

  275. E-pub ahead of print

    White-Box Atomic Multicast

    Gotsman, A., Lefort, A. & Chockler, G., 22 Aug 2019, (E-pub ahead of print) 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

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

  277. E-pub ahead of print

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

    Docherty, S. & Rowe, R., 14 Aug 2019, (E-pub ahead of print) 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

  278. E-pub ahead of print

    Birkhoff Completeness for Hybrid-Dynamic First-Order Logic

    Gaina, D. & Tutu, I., 14 Aug 2019, (E-pub ahead of print) 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

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

  280. E-pub ahead of print

    Parameterized Resiliency Problems

    Crampton, J., Gutin, G., Koutecky, M. & Watrigant, R., 7 Aug 2019, (E-pub ahead of print) In: Theoretical Computer Science. p. 1-14 14 p.

    Research output: Contribution to journalArticlepeer-review

  281. E-pub ahead of print

    Multi-budgeted Directed Cuts

    Kratsch, S., Pilipczuk, M., Li, S., Marx, D. & Wahlström, M., 2 Aug 2019, (E-pub ahead of print) In: Algorithmica. p. 1-21 21 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

  288. E-pub ahead of print

    Symbolic Register Automata

    D’Antoni, L., Ferreira, T., Sammartino, M. & Silva, A., 12 Jul 2019, (E-pub ahead of print) 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

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

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

  291. Published
  292. 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

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

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

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

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

  297. Published

    Comparing the Performance of Random Forest, SVM and Their Variants for ECG Quality Assessment Combined with Nonlinear Features

    Zhang, Y., Wei, S., Zhang, L. & Liu, C., 13 Jun 2019, In: Journal of Medical and Biological Engineering. 39, p. 381–392 12 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

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

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

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

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

  309. E-pub ahead of print

    Specification and Verification of Invariant Properties of Transition Systems

    Gaina, D., Tutu, I. & Riesco, A., 23 May 2019, (E-pub ahead of print) 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

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

  311. 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, (E-pub ahead of print) Security and Privacy Trends in the Industrial Internet of Things. p. 223-243 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  312. Published

    Network Representation Learning Enhanced Recommendation Algorithm

    Wang, Q., Yu, Y., Gao, H., Zhang, L., Cao, Y., Mao, L., Dou, K. & Ni, W., 10 May 2019, In: IEEE Access. 7, p. 61388-61399 12 p.

    Research output: Contribution to journalArticlepeer-review

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

  314. Submitted

    Teaching FAIR

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

    Research output: Contribution to journalArticlepeer-review

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

  316. 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, (E-pub ahead of print) In: IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB). p. 1-13 13 p.

    Research output: Contribution to journalArticlepeer-review

  317. Submitted

    9 Simple recommendations for teaching data skills

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

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

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

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

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

  328. Published

    Evolving Ensemble Models for Image Segmentation Using Enhanced Particle Swarm Optimization

    Tan, T. Y., Zhang, L., Lim, C. P., Fielding, B., Yu, Y. & Anderson, E., 5 Mar 2019, In: IEEE Access. 7, p. 34004-34019 16 p.

    Research output: Contribution to journalArticlepeer-review

  329. Published

    A Hierarchical and Regional Deep Learning Architecture for Image Description Generation

    Kinghorn, P., Zhang, L. & Shao, L., 1 Mar 2019, In: Pattern Recognition Letters. 119, p. 77-85 9 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

  333. Published

    Application of an evolutionary algorithm-based ensemble model to job-shop scheduling. Journal of Intelligent Manufacturing

    Tan, C. J., Neoh, S. C., Lim, C. P., Hanoun, S., Wong, W. P., Loo, C. K., Zhang, L. & Nahavandi, S., 15 Feb 2019, In: Journal of Intelligent Manufacturing. 30, p. 879–890 12 p.

    Research output: Contribution to journalArticlepeer-review

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

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

  336. Published

    Intelligent Facial Expression Recognition Using Particle Swarm Optimization Based Feature Selection

    Robson, A. & Zhang, L., 31 Jan 2019, 2018 IEEE Symposium Series on Computational Intelligence (SSCI). IEEE Symposium Series on Computational Intelligence (SSCI): IEEE

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

  337. 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, (E-pub ahead of print) In: Signal, Image and Video Processing. p. 1-9 9 p.

    Research output: Contribution to journalArticlepeer-review

  338. E-pub ahead of print

    Alternative parameterizations of Metric Dimension

    Gutin, G., Ramanujan, M. S., Reidl, F. & Wahlstrom, M., 25 Jan 2019, (E-pub ahead of print) In: Theoretical Computer Science. p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

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

  340. Published

    Neural Personalized Ranking via Poisson Factor Model for Item Recommendation

    Yu, Y., Zhang, L., Wang, C., Gao, R., Zhao, W. & Jiang, J., 3 Jan 2019, In: Complexity. 3563674 .

    Research output: Contribution to journalArticlepeer-review

  341. 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, (E-pub ahead of print) p. 1-30. 30 p.

    Research output: Contribution to conferencePaperpeer-review

  342. Submitted

    Embedding Open Science practice into Data Science Training

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

    Research output: Contribution to conferencePosterpeer-review

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

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

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

  346. Published

    Competitive Online Generalised Linear Regression with Multidimensional Outputs

    Dzhamtyrova, R. & Kalnishkan, Y., 2019, Competitive Online Generalised Linear Regression with Multidimensional Outputs. Proceedings of IJCNN 2019. IEEE, p. 1-8

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

  347. Unpublished
  348. 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

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

  350. Unpublished

    Executable Formal Specification of Programming Languages with Reusable Components

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

    Research output: ThesisDoctoral Thesis

  351. Unpublished

    Going Beyond Homology for Predicting Protein Function for Newly Sequenced Organisms

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

    Research output: ThesisDoctoral Thesis

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

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

  354. Unpublished
  355. Unpublished

    Towards a Question Answering View of Natural Language Processing

    Zukov Gregoric, A., 2019, (Unpublished)

    Research output: ThesisDoctoral Thesis

  356. 2018
  357. 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

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

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

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

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

  362. E-pub ahead of print

    Strong subgraph k‐connectivity

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

    Research output: Contribution to journalArticlepeer-review

  363. E-pub ahead of print

    The Authorization Policy Existence Problem

    Berge, P., Crampton, J., Gutin, G. & Watrigant, R., 28 Nov 2018, (E-pub ahead of print) In: IEEE Transactions on Dependable and Secure Computing. p. 1-12 12 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

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

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

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

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

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

  376. 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, (E-pub ahead of print) 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

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

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

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

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

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

  382. E-pub ahead of print

    Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis

    Radwan, G. S. & Shanahan, H., 24 Aug 2018, (E-pub ahead of print) 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

  383. E-pub ahead of print

    Conformal Predictive Distributions with Kernels

    Vovk, V., Nouretdinov, I., Manokhin, V. & Gammerman, A., 23 Aug 2018, (E-pub ahead of print) 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

  384. E-pub ahead of print

    Domain Reduction for Valued Constraints by Generalising Methods from CSP

    Cohen, D., Cooper, M. & Jguirim1, W., 23 Aug 2018, (E-pub ahead of print) p. 64-80. 17 p.

    Research output: Contribution to conferencePaperpeer-review

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

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

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

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

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

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

  391. E-pub ahead of print

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

    Wong, T. & Luo, Z., 27 Jul 2018, (E-pub ahead of print) 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

  392. E-pub ahead of print

    Characterizing Propositional Proofs as Non-commutative Formulas

    Li, F., Tzameret, I. & Wang, Z., 19 Jul 2018, (E-pub ahead of print) In: SIAM Journal on Computing. 47, 4, p. 1424-1462 39 p.

    Research output: Contribution to journalArticlepeer-review

  393. Published

    Systems Metagenomics

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

    Research output: Contribution to conferencePosterpeer-review

  394. 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, (E-pub ahead of print) 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  413. 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, (E-pub ahead of print) 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

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

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

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

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

  418. E-pub ahead of print

    Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach

    Montanari, U., Sammartino, M. & Tcheukam, A., 7 Feb 2018, (E-pub ahead of print) 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

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

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

  421. 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, (E-pub ahead of print) 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

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

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

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

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

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

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

  428. Unpublished

    Complexity, Proofs and Algebra

    Tzameret, I., 2018, (Unpublished)

    Research output: Other contribution

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

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

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

  432. Unpublished

    Logics and reasoning for computational creativity

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

    Research output: ThesisDoctoral Thesis

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

  434. Unpublished

    Small and Large Scale Probabilistic Classifiers with Guarantees of Validity

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

    Research output: ThesisDoctoral Thesis

  435. Unpublished

    Subtyping in Signatures

    Lungu, G., 2018, (Unpublished)

    Research output: ThesisDoctoral Thesis

  436. Unpublished

    The Analysis of High-Throughput Biological Datasets Utilising Distributed Computing

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

    Research output: ThesisDoctoral Thesis

  437. 2017
  438. 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, (E-pub ahead of print) 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

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

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

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

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

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

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

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

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

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

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

  449. 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, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 31, 4, p. 2279-2300 22 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

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

  458. 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, (E-pub ahead of print) 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

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

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

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

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

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

  464. E-pub ahead of print

    Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent

    Rowe, R. & Brotherston, J., 30 Aug 2017, (E-pub ahead of print) 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

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

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

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

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

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

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

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

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

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

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

  475. 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, (E-pub ahead of print) 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

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

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

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

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

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

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

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

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

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

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

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

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

  488. 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, (E-pub ahead of print) Software Architecture (ICSA), 2017 IEEE International Conference on. p. 131-140 10 p.

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

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

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

  491. E-pub ahead of print

    Parameterized Resiliency Problems via Integer Linear Programming

    Crampton, J., Gutin, G., Koutecky, M. & Watrigant, R., 14 Apr 2017, (E-pub ahead of print) 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

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

  493. E-pub ahead of print

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

    Crampton, J. & Williams, C., 22 Mar 2017, (E-pub ahead of print) 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

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

  495. E-pub ahead of print

    Dynamic route prediction with the magnetic field strength for indoor positioning

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

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

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

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

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

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

Previous 1 2 3 4 5 Next