1. 2018
  2. Published

    The application of Hadoop in structural bioinformatics

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

    Research output: Contribution to journalArticle

  3. E-pub ahead of print

    Path-contractions, edge deletions and connectivity preservation

    Gutin, Z., Ramanujan, M. S., Reidl, F. & Wahlstrom, M., 16 Nov 2018, In : Journal of Computer and System Sciences. 20 p.

    Research output: Contribution to journalArticle

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

  5. Forthcoming

    The Authorization Policy Existence Problem

    Berge, P., Crampton, J., Gutin, G. & Watrigant, R., 15 Nov 2018, (Accepted/In press) In : IEEE Transactions on Dependable and Secure Computing.

    Research output: Contribution to journalArticle

  6. Forthcoming

    Executable Component-Based Semantics

    van Binsbergen, L. T., Mosses, P. D. & Sculthorpe, N., 13 Nov 2018, (Accepted/In press) In : Journal of Logical and Algebraic Methods in Programming.

    Research output: Contribution to journalArticle

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

  8. Forthcoming

    Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations

    Hague, M., Lin, A., Wu, Z., Chen, T. & Ruemmer, P., 5 Nov 2018, (Accepted/In press)

    Research output: Contribution to conferencePaper

  9. Published
  10. Forthcoming

    Strong Subgraph k-connectivity

    Sun, Y., Gutin, G., Yeo, A. & Zhang, X., 5 Nov 2018, (Accepted/In press) In : Journal of Graph Theory.

    Research output: Contribution to journalArticle

  11. E-pub ahead of print

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

    Kaur, S., Bagga, P., Hans, R. & Kaur, H., 3 Nov 2018, In : Arabian Journal for Science and Engineering. p. 1-31 31 p.

    Research output: Contribution to journalArticle

  12. 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, p. 13:1-13:31 31 p. 13

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

  13. Forthcoming

    Aggregating Algorithm for Prediction of Packs

    Adamskiy, D., Bellotti, T., Dzhamtyrova, R. & Kalnishkan, Y., 26 Oct 2018, (Accepted/In press) In : Machine Learning.

    Research output: Contribution to journalArticle

  14. Published

    GLL parsing with flexible combinators

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

    Research output: Contribution to conferencePaper

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

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

  17. 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). Springer, p. 422-440 19 p. (Lecture Notes in Computer Science; vol. 11138)

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

  18. Published

    Multi-Shot Distributed Transaction Commit

    Chockler, G. & Gotsman, A., 28 Sep 2018, 32nd International Symposium on DIStributed Computing (DISC 2018). Springer-Verlag, (LIPIcs–Leibniz International Proceedings in Informatics )

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

  19. Forthcoming

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

    Gutin, G., Wahlstrom, M. & Zehavi, M., 27 Sep 2018, (Accepted/In press) Proceedings of SODA 2019.

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

  20. E-pub ahead of print

    Binary constraint satisfaction problems defined by excluded topological minors

    Cohen, D., Cooper, M. C., Jeavons, P. G. & Zivny, S., 25 Sep 2018, In : Infor. and Computation. 20 p.

    Research output: Contribution to journalArticle

  21. E-pub ahead of print

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

    Rizzo, C., Cavallaro, L. & Kinder, J., 7 Sep 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

  22. Forthcoming

    Specification and Verification of Invariant Properties of Transition Systems

    Gaina, D., Tutu, I. & Riesco, A., 5 Sep 2018, (Accepted/In press) 25th Asia-Pacific Software Engineering Conference: 4-7 December 2018, Nara, Japan. IEEE

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

  23. Published

    Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers

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

    Research output: Contribution to journalArticle

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

  25. E-pub ahead of print

    Constrained Dynamic Tree Networks

    Hague, M. & Penelle, V., 30 Aug 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

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

  27. 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 LNAI, 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

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

  29. E-pub ahead of print

    Combination of inductive mondrian conformal predictors

    Toccaceli, P. & Gammerman, A., 22 Aug 2018, In : Machine Learning. p. 1-22 22 p.

    Research output: Contribution to journalArticle

  30. Published

    Optimal Strategies in Pushdown Reachability Games

    Hague, M. & Carayol, A., 20 Aug 2018, International Symposium on Mathematical Foundations of Computer Science. (Leibniz International Proceedings in Informatics (LIPIcs))

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

  31. 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. (Leibniz International Proceedings in Informatics (LIPIcs))

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

  32. E-pub ahead of print

    Nonparametric predictive distributions based on conformal prediction

    Vovk, V., Shen, J., Manokhin, V. & Xie, M., 17 Aug 2018, In : Machine Learning. p. 1-30 30 p.

    Research output: Contribution to journalArticle

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

  34. E-pub ahead of print

    On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

    Cohen, D., Cooper, M., Živný, S. & Carbonnel, C., 13 Aug 2018, In : Algorithmica. p. 1-29 29 p.

    Research output: Contribution to journalArticle

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

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

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

  38. E-pub ahead of print

    Characterizing Propositional Proofs as Non-commutative Formulas

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

    Research output: Contribution to journalArticle

  39. E-pub ahead of print

    Rethinking statistical learning theory: learning using statistical invariants

    Vapnik, V. & Izmailov, R., 18 Jul 2018, In : Machine Learning. p. 1-43 43 p.

    Research output: Contribution to journalArticle

  40. 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, 14 p., 2649

    Research output: Contribution to journalArticle

  41. Published

    Network analysis using entropy component analysis

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

    Research output: Contribution to journalArticle

  42. Forthcoming

    Robustness Against Unknown Noise for Raw Data Fusing Neural Networks

    Bijelic, M., Muench, C., Ritter, W., Kalnishkan, Y. & Dietmayer, K., 1 Jul 2018, (Accepted/In press) 21st IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC 2018). IEEE Xplore

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

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

    Research output: Contribution to journalArticle

  44. Forthcoming

    Multi-budgeted directed cuts

    Kratsch, S., Li, S., Marx, D., Pilipczuk, M. & Wahlstrom, M., 29 Jun 2018, (Accepted/In press) IPEC 2018. 18. (Leibniz International Proceedings in Informatics (LIPIcs))

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

  45. E-pub ahead of print

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

    Darwish, S., Nouretdinov, I. & Wolthusen, S., 19 Jun 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

  46. E-pub ahead of print

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

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

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

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

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

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

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

  51. Published

    Frontier: Resilient Edge Processing for the Internet of Things

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

    Research output: Contribution to journalArticle

  52. 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. 1-22 22 p. (Proceedings of Machine Learning Research)

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

  53. Published

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

    Pilipczuk, M. & Wahlstrom, M., 23 May 2018, In : ACM Transactions on Computation Theory (TOCT). 10, 3, 18 p., 13

    Research output: Contribution to journalArticle

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

  55. Published

    Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains

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

    Research output: Contribution to journalArticle

  56. E-pub ahead of print

    Decidable models of integer-manipulating programs with recursive parallelism

    Hague, M. & Lin, A., 30 Apr 2018, In : Theoretical Computer Science. 14 p.

    Research output: Contribution to journalArticle

  57. E-pub ahead of print

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

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

    Research output: Contribution to journalArticle

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

  59. Forthcoming

    A Recommender System Approach for Predicting Drug Side Effects

    Galeano Galeano, D. & Paccanaro, A., 15 Mar 2018, (Accepted/In press) IJCNN 2018: International Joint Conference on Neural Networks. IEEE Xplore

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

  60. E-pub ahead of print

    k-distinct in- and out-branchings in digraphs

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

    Research output: Contribution to journalArticle

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

  62. E-pub ahead of print

    The Second Neighbourhood for Quasi-transitive Oriented Graphs

    Li, R. J. & Sheng, B., 25 Feb 2018, In : Acta Mathematica Sinica, English Series. p. 1-12 12 p.

    Research output: Contribution to journalArticle

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

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

  64. Published

    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. Springer, p. 98-114 (Lecture Notes in Computer Science)

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

  65. Published

    What Is Decidable About String Constraints With the ReplaceAll Function

    Hague, M., Lin, A., Chen, T., Wu, Z. & Chen, Y., Jan 2018, Principles of Programming Languages 2018 (POPL 2018). Vol. 2

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

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

  67. Unpublished

    Complexity, Proofs and Algebra

    Tzameret, I., 2018, (Unpublished)

    Research output: Other contribution

  68. Published

    Parameterized Algorithms for Zero Extension and Metric Labelling Problems

    Reidl, F. & Wahlstrom, M., 2018, ICALP 2018 Track A. (Leibniz International Proceedings in Informatics )

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

  69. Unpublished

    Small and Large Scale Probabilistic Classifiers with Guarantees of Validity

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

    Research output: ThesisDoctoral Thesis

  70. Unpublished

    Subtyping in Signatures

    Lungu, G., 2018, (Unpublished)

    Research output: ThesisDoctoral Thesis

  71. Unpublished

    The Analysis of High-Throughput Biological Datasets Utilising Distributed Computing

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

    Research output: ThesisDoctoral Thesis

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

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

  74. E-pub ahead of print

    Mining the biomedical literature to predict shared drug targets in DrugBank

    Caniza Vierci, H., Galeano Galeano, D. & Paccanaro, A., 21 Dec 2017, XLIII Conferencia Latinoamericana en Informática CLEI 2017. IEEE Xplore

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

  75. 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. p. 1-10 10 p.

    Research output: Contribution to journalArticle

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

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

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

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

  78. Forthcoming

    Transcriptomics: Quantifying non-uniform read distribution using MapReduce

    Alnasir, J. & Shanahan, H., 21 Nov 2017, (Accepted/In press) In : International Journal for the Foundations of Computer Science. 20 p.

    Research output: Contribution to journalArticle

  79. Published

    Agent-oriented Activity recognition in the Event Calculus: An application for Diabetic Patients

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

    Research output: Contribution to journalArticle

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

  81. Published

    Binarisation for Valued Constraint Satisfaction Problems

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

    Research output: Contribution to journalArticle

  82. 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., 26 Oct 2017, In : Genome Biology and Evolution. 9, 11, p. 3059-3072 14 p.

    Research output: Contribution to journalArticle

  83. Unpublished

    Aggregating Algorithm for Prediction of Packs

    Adamskiy, D., Bellotti, T., Dzhamtyrova, R. & Kalnishkan, Y., 23 Oct 2017, (Unpublished)

    Research output: Working paper

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

  85. 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, 1-2, p. 21-46

    Research output: Contribution to journalArticle

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

    Research output: Contribution to journalArticle

  87. Published

    A novel method to detect bias in Short Read NGS RNA-seq data

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

    Research output: Contribution to journalArticle

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

  89. 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. (LIPICS; vol. 87)

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

  90. E-pub ahead of print

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

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

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

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

  92. Forthcoming

    The Complexity of Leader Election: A Chasm at Diameter Two

    Chatterjee, S., Pandurangan, G. & Robinson, P., Sep 2017, (Accepted/In press) ICDCN 2018: Proceedings of the 19th International Conference on Distributed Computing and Networking. Association for Computing Machinery (ACM)

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

  93. Published

    Kernelization of Constraint Satisfaction Problems: A Study through Universal Algebra

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

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

  94. Published

    Domains for Higher-Order Games

    Hague, M., Meyer, R. & Muskalla, S., 21 Aug 2017, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). LIPIcs

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

  95. 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, USENIX Security Symposium. USENIX

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

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

    Research output: Contribution to journalArticle

  97. Published

    Collapsible Pushdown Automata and Recursion Schemes

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

    Research output: Contribution to journalArticle

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

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

  99. Forthcoming

    An Exploratory Analysis on Drug Target Locality

    Caceres Silva, J. & Paccanaro, A., 31 Jul 2017, (Accepted/In press) AGRANDA - Simposio Argentino de GRANdes DAtos 2017.

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

  100. Published

    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

  101. Published

    Space Complexity of Fault-Tolerant Register Emulations

    Chockler, G. & Spiegelman, A., 25 Jul 2017, The 36th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2017)). ACM, p. 83-92 10 p.

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

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

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