1. 2019
  2. Forthcoming

    Location Tracking Using Smartphone Accelerometer and Magnetometer Traces

    Nguyen, D. K. A., Akram, R. N., Markantonakis, K., Luo, Z. & Watkins, C., 11 Jun 2019, (Accepted/In press) The First Location Privacy Workshop (LPW 2019), the 14th International Conference on Availability, Reliability and Security (ARES 2019). Association for Computing Machinery (ACM)

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

  3. Forthcoming

    Autonomous Target Search with Multiple Coordinated UAVs

    Piacentini, C., Bernardini, S. & Beck, C., 8 Jun 2019, (Accepted/In press) In : Journal of Artificial Intelligence Research.

    Research output: Contribution to journalArticle

  4. Published

    Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript

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

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

  5. 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 journalArticle

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

  7. E-pub ahead of print

    Specification and Verification of Invariant Properties of Transition Systems

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

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

  8. E-pub ahead of print

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

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

    Research output: Contribution to journalArticle

  9. Forthcoming

    Sparsification of SAT and CSP Problems via Tractable Extensions

    Lagerkvist, V. & Wahlstrom, M., 10 May 2019, (Accepted/In press) In : ACM Transactions on Computation Theory (TOCT).

    Research output: Contribution to journalArticle

  10. Forthcoming

    Statistical Guarantees for the Robustness of Bayesian Neural Networks

    Cardelli, L., Kwiatkowska, M., Laurenti, L., Paoletti, N., Patanè, A. & Wicker, M., 10 May 2019, (Accepted/In press) International Joint Conference on Artificial Intelligence (IJCAI 2019).

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

  11. Forthcoming

    Disease gene prediction for molecularly uncharacterized diseases by propagating disease phenotypic similarities

    Caceres Silva, J. & Paccanaro, A., 9 May 2019, (Accepted/In press) In : PLoS Computational Biology.

    Research output: Contribution to journalArticle

  12. Submitted

    Teaching FAIR

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

    Research output: Contribution to journalArticle

  13. Forthcoming

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

    Lopes Fiadeiro, J., Tutu, I., Lopes, A. & Pavlovic, D., 2 May 2019, (Accepted/In press) In : Journal of Logical and Algebraic Methods in Programming.

    Research output: Contribution to journalArticle

  14. 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 journalArticle

  15. E-pub ahead of print

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

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

    Research output: Contribution to journalArticle

  16. Submitted

    9 Simple recommendations for teaching data skills

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

    Research output: Contribution to journalArticle

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

  18. 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 journalArticle

  19. E-pub ahead of print

    The asymptotic number of prefix normal words

    Balister, P. & Gerke, S., 1 Apr 2019, In : Theoretical Computer Science. p. 1-6 6 p.

    Research output: Contribution to journalArticle

  20. 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 journalArticle

  21. 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 journalArticle

  22. Forthcoming

    Competitive Online Generalised Linear Regression with Multidimensional Outputs

    Dzhamtyrova, R. & Kalnishkan, Y., 7 Mar 2019, (Accepted/In press) Proceedings of IJCNN 2019. IEEE

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

  23. Forthcoming

    White-box Atomic Multicast

    Chockler, G., Gotsman, A. & Lefort, A., 4 Mar 2019, (Accepted/In press) 49th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2019).

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

  24. Published

    Combination of inductive mondrian conformal predictors

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

    Research output: Contribution to journalArticle

  25. Published

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

    Darwish, S., Nouretdinov, I. & Wolthusen, S., Mar 2019, Security and Privacy Trends in the Industrial Internet of Things. 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. Published

    Nonparametric predictive distributions based on conformal prediction

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

    Research output: Contribution to journalArticle

  27. 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 journalArticle

  28. 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 (Basel, Switzerland). 19, 4, p. 1-15 15 p., 964

    Research output: Contribution to journalArticle

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

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

  31. E-pub ahead of print

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

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

    Research output: Contribution to journalArticle

  32. Forthcoming

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

    Chen, H., Paoletti, N., Smolka, S. A. & Lin, S., 27 Jan 2019, (Accepted/In press) American Control Conference 2019.

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

  33. E-pub ahead of print

    Alternative parameterizations of Metric Dimension

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

    Research output: Contribution to journalArticle

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

  35. E-pub ahead of print

    Aggregating Algorithm for prediction of packs

    Adamskiy, D., Bellotti, T., Dzhamtyrova, R. & Kalnishkan, Y., 7 Jan 2019, In : Machine Learning. p. 1-30 30 p.

    Research output: Contribution to journalArticle

  36. E-pub ahead of print

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

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

    Research output: Contribution to conferencePaper

  37. Submitted

    Embedding Open Science practice into Data Science Training

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

    Research output: Contribution to conferencePoster

  38. Published

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

    Gutin, G., Wahlstrom, M. & Zehavi, M., Jan 2019, Proceedings of SODA 2019. p. 1750-1769 20 p.

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

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

  40. Unpublished

    Executable Formal Specification of Programming Languages with Reusable Components

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

    Research output: ThesisDoctoral Thesis

  41. Published

    Game-theoretic foundations for probability and finance

    Shafer, G. & Vovk, V., 2019, first ed. Hoboken, NJ: Wiley. 464 p. (Wiley Series in Probability and Statistics)

    Research output: Book/ReportBook

  42. 2018
  43. 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 journalArticle

  44. 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 journalArticle

  45. E-pub ahead of print

    Robustness Against Unknown Noise for Raw Data Fusing Neural Networks

    Bijelic, M., Muench, C., Ritter, W., Kalnishkan, Y. & Dietmayer, K., 10 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

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

  47. E-pub ahead of print

    Strong subgraph k‐connectivity

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

    Research output: Contribution to journalArticle

  48. E-pub ahead of print

    The Authorization Policy Existence Problem

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

    Research output: Contribution to journalArticle

  49. Forthcoming

    CSS Minification via Constraint Solving

    Hague, M., Lin, A. & Hong, C-D., 27 Nov 2018, (Accepted/In press) In : ACM Transactions on Programming Languages and Systems.

    Research output: Contribution to journalArticle

  50. 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 journalArticle

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

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

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

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

  55. Published

    GLL parsing with flexible combinators

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

    Research output: Contribution to conferencePaper

  56. 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 conferencePoster

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

  58. E-pub ahead of print

    Neural State Classification for Hybrid Systems

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

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

  59. Published

    Multi-Shot Distributed Transaction Commit

    Chockler, G. & Gotsman, A., 28 Sep 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

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

  61. 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 journalArticle

  62. 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 journalArticle

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

  64. E-pub ahead of print

    Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis

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

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

  65. E-pub ahead of print

    Conformal Predictive Distributions with Kernels

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

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

  66. E-pub ahead of print

    Domain Reduction for Valued Constraints by Generalising Methods from CSP

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

    Research output: Contribution to conferencePaper

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

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

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

  70. E-pub ahead of print

    PIRASA: strategic protocol selection for e-commerce agents

    Hopkins, J., Kafali, R., Alrayes, B. & Stathis, K., 9 Aug 2018, In : Electronic Markets. p. 1-14 14 p.

    Research output: Contribution to journalArticle

  71. Published

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

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

    Research output: Contribution to journalArticle

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

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

  74. E-pub ahead of print

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

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

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

  75. Published

    Systems Metagenomics

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

    Research output: Contribution to conferencePoster

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

  77. Published
  78. 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 journalArticle

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

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

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

  82. Published

    Frontier: resilient edge processing for the internet of things

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

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

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

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

  95. E-pub ahead of print

    Logics for Actor Networks: A Case Study in Constrained Hybridization

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

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

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

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

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

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

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

  101. Published

    Characterizing Propositional Proofs as Non-commutative Formulas

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

    Research output: Contribution to journalArticle

  102. Unpublished

    Complexity, Proofs and Algebra

    Tzameret, I., 2018, (Unpublished)

    Research output: Other contribution

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