1. 2018
  2. Forthcoming

    Multi-budgeted directed cuts

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

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

  3. Forthcoming

    Pirasa: Strategic Protocol Selection for E-Commerce Agents

    Hopkins, J., Kafali, R., Alrayes, B. & Stathis, K. 27 Jun 2018 In : Electronic Markets.

    Research output: Contribution to journalArticle

  4. Published

    The assessment of changes to the nontuberculous mycobacteria metabolome in response to anti-TB drugs

    Fraser, P., Drapal, M. & Wheeler, P. R. 26 Jun 2018 In : FEMS Microbiology Letters.

    Research output: Contribution to journalArticle

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

  6. Published

    COI1-dependent jasmonate signalling affects growth, metabolites production and cell wall protein composition in arabidopsis

    Devoto, A. 19 Jun 2018 In : Annals of Botany. p. 1-13 13 p.

    Research output: Contribution to journalArticle

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

  8. Forthcoming

    GLL Syntax Analysers For EBNF Grammars

    Scott, E. & Johnstone, A. 15 Jun 2018 In : Science of Computer Programming.

    Research output: Contribution to journalArticle

  9. Forthcoming

    Optimal Strategies in Pushdown Reachability Games

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

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

  10. Forthcoming

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

    Hague, M., Meyer, R., Muskalla, S. & Zimmermann, M. 13 Jun 2018 International Symposium of Mathematical Foundations of Computer Science. (Leibniz International Proceedings in Informatics (LIPIcs))

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

  11. Published

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

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

    Research output: Other contribution

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

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

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

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

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

  17. Forthcoming

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

    Rizzo, C., Cavallaro, L. & Kinder, J. 29 May 2018 21st International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2018). Springer, (Lecture Notes in Computer Science (LNCS))

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

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

  19. Forthcoming

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

    Part, F. & Tzameret, I. 18 May 2018

    Research output: Contribution to conferenceAbstract

  20. E-pub ahead of print

    Long-term persistence of agricultural pest insects by risk-spreading dispersal

    Jansen, V. A. A. & Yoshimura, J. 14 May 2018 In : ECOLOGICAL RESEARCH. p. 1-7 7 p.

    Research output: Contribution to journalArticle

  21. Forthcoming

    Characterizing Propositional Proofs as Non-commutative Formulas

    Li, F., Tzameret, I. & Wang, Z. 7 May 2018 In : SIAM Journal on Computing. 40 p.

    Research output: Contribution to journalArticle

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

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

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

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

  26. Forthcoming

    Parameterized Algorithms for Zero Extension and Metric Labelling Problems

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

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

  27. E-pub ahead of print

    Carotenoid profiling of yams: Clarity, comparisons and diversity

    Fraser, P. & Price, E. 27 Mar 2018 In : Food Chemistry. 259, p. 130-138

    Research output: Contribution to journalArticle

  28. E-pub ahead of print

    Tissue and cellular mechanics of seeds

    Steinbrecher, T. & Leubner, G. 20 Mar 2018 In : Current Opinion in Genetics & Development. 51, p. 1-10

    Research output: Contribution to journalArticle

  29. Forthcoming

    A Recommender System Approach for Predicting Drug Side Effects

    Galeano Galeano, D. & Paccanaro, A. 15 Mar 2018 IJCNN 2018: International Joint Conference on Neural Networks. IEEE Xplore

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

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

  31. E-pub ahead of print
  32. 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

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

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

  35. E-pub ahead of print

    Detection and Enhancement of Ketocarotenoid Accumulation in the Newly Isolated Sarcinoid Green Microalga Chlorosarcinopsis PY02

    Cherdchukeattisak, P., Fraser, P., Purton, S. & Wannathong Brocklehurst, T. 12 Feb 2018 In : Open biology. 7, 1

    Research output: Contribution to journalArticle

  36. Published
  37. Published

    How humans transmit language: Horizontal transmission matches word frequencies among peers on Twitter

    Bryden, J., Wright, S. P. & Jansen, V. A. A. 7 Feb 2018 In : Journal of the Royal Society. Interface. 15, 139, 20170738

    Research output: Contribution to journalArticle

  38. Published

    Creating plant molecular factories for industrial and nutritional isoprenoid production

    Nogueira, M., Enfissi, E., Almeida Barros da Silva, J. & Fraser, P. 1 Feb 2018 In : Current Opinion in Biotechnology. 49, p. 80-87 8 p.

    Research output: Contribution to journalArticle

  39. Published

    Finite indentation of highly curved elastic shells

    Pearce, S., King, J., Steinbrecher, T., Leubner, G., Everitt, N. & Holdsworth, M. 24 Jan 2018 In : Proceedings of the Royal Society A: Mathematical, Physical & Engineering Sciences. 474, 20170482

    Research output: Contribution to journalArticle

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

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

  42. Submitted

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

    Shanahan, H., Bezuidenhout, L. & Quick, R. 2018

    Research output: Contribution to conferencePaper

  43. Submitted

    Binary Constraint Satisfaction Problems Defined by Excluded Topological Minor

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

    Research output: Contribution to journalArticle

  44. Forthcoming

    Mining Anxieties and Militarizing Lands: Multiple Roles for Ungava Inuit in Canadian Arctic Geopolitics

    Eades, G. & Dodds, K. (ed.) 2018 A Northern Nation: Canada's Arctic Policies and Strategies.

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

  45. Forthcoming

    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. 2018 In : Nature Communications.

    Research output: Contribution to journalArticle

  46. Unpublished
  47. 2017
  48. E-pub ahead of print

    Converging light, energy and hormonal signalling control meristem activity, leaf initiation and growth

    Mohammed, B., Farahi Bilooei, S., Dóczi, R., Grove, E., Railo, S., Palme, K., Ditengou, F. A., Bogre, L. & Lopez Juez, E. 28 Dec 2017 In : Plant Physiology.

    Research output: Contribution to journalArticle

  49. E-pub ahead of print

    Co-evolving MAPK and PID Phosphosites Indicate an Ancient Environmental Control of PIN Auxin Transporters in Land Plants: Regulation of PIN by MAPK signalling

    Bogre, L., Dory, M., Hatzimasoura, E., Kállai, B. M., Nagy, S. K., Jäger, K., Darula, Z., Nádai, T. V., Mészáros, T., Lopez Juez, E., Barnabás, B., Palme, K., Ditengou, F. A. & Dóczi, R. 25 Dec 2017 In : FEBS Letters. FEBSL-17-0935.R2

    Research output: Contribution to journalLetter

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

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

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

  53. Forthcoming

    What causes peduncle necking in cut Rosa hybrida? Transcriptome analysis of rose stem tissue and analysis of microbial load

    Lear, B., Marchbank, A., Kent, N., Tansey, K., Andrews, R., Wheeler, T., Crompton, R., Devlin, P., Rogers, H. J. & Stead, A. 15 Dec 2017 In : Acta Horticulturae.

    Research output: Contribution to journalMeeting abstract

  54. Published

    Fruit fracture biomechanics and the release of Lepidium didymum pericarp-imposed mechanical dormancy by fungi

    Sperber, K., Steinbrecher, T., Graeber, K., Scherer, G., Clausing, S., Wiegand, N., Hourston, J., Kurre, R., Leubner, G. & Mummenhoff, K. 30 Nov 2017 In : Nature Communications. 8, 11 p., 1868

    Research output: Contribution to journalArticle

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

  56. Forthcoming

    Transcriptomics: Quantifying non-uniform read distribution using MapReduce

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

    Research output: Contribution to journalArticle

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

  58. Forthcoming

    Price Drift before U.S. Macroeconomic News: Private Information about Public Announcements?

    Sancetta, A., Kurov, A., Strasser, G. & Wolfe, M. 10 Nov 2017 In : Journal of Financial and Quantitative Analysis .

    Research output: Contribution to journalArticle

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

  60. E-pub ahead of print

    Concurrent Bilateral Negotiation for Open E-Markets: The CONAN Strategy

    Alrayes, B., Kafali, R. & Stathis, K. 28 Oct 2017 In : Knowledge and Information Systems.

    Research output: Contribution to journalArticle

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

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

  63. Unpublished

    Aggregating Algorithm for Prediction of Packs

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

    Research output: Working paper

  64. Published

    Engineering of tomato for the sustainable production of ketocarotenoids and its evaluation in aquaculture feed

    Nogueira, M., Enfissi, E., martinez, M., Driller, L., Schuch, W., Sandmann, G. & Fraser, P. 1 Oct 2017 In : Proceedings of the National Academy of Sciences of the United States of America. 114, 41, p. 10876–10881 6 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

    Research output: Contribution to journalArticle

  72. Published

    Improving Crop Seed Quality and Seedling Performance

    Leubner, G. Sep 2017 In : IMPACT. 7, p. 81-83 4 p.

    Research output: Contribution to journalArticle

  73. Forthcoming

    The Complexity of Leader Election: A Chasm at Diameter Two

    Chatterjee, S., Pandurangan, G. & Robinson, P. Sep 2017 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

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

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

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

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

  78. Published

    Pesticide reduces bumblebee colony initiation and increases probability of population extinction

    Baron, G. L., Jansen, V. A. A., Brown, M. J. F. & Raine, N. 14 Aug 2017 In : Nature Ecology & Evolution. 1, p. 1308–1316

    Research output: Contribution to journalArticle

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

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

  81. Forthcoming

    An Exploratory Analysis on Drug Target Locality

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

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

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

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

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

  85. E-pub ahead of print

    Dependent Event Types

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

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

  86. Published

    On the Satisfiability of Workflows with Release Points

    Gutin, G., Crampton, J. & Watrigant, R. 21 Jun 2017 Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies. ACM

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

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

  88. E-pub ahead of print

    Conformal Prediction of Biological Activity of Chemical Compounds

    Toccaceli, P., Nouretdinov, I. & Gammerman, A. 16 Jun 2017 In : Annals of Mathematics and Artificial Intelligence. p. 1-19 19 p.

    Research output: Contribution to journalArticle

  89. Published

    Boosting search guidance in problems with semantic attachments

    Bernardini, S., Fox, M., Long, D. & Piacentini, C. 15 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

  90. 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 22 p. (The Proceedings of Machine Learning Research; vol. 60)

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

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

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

  93. E-pub ahead of print

    The role of measurability in game-theoretic probability

    Vovk, V. 7 Jun 2017 In : Finance and Stochastics.

    Research output: Contribution to journalArticle

  94. E-pub ahead of print

    A longitudinal perspective on sustainability and innovation governmentality: The case of the Olympic Games as a mega-event

    Kromidha, E., Spence, L., Anastasiadis, S-T. & Dore, D. 6 Jun 2017 In : Journal of Management Inquiry. p. 1-17 17 p.

    Research output: Contribution to journalArticle

  95. Published

    Inductive Conformal Martingales for Change-Point Detection

    Volkhonskiy, D., Burnaev, E., Nouretdinov, I., Gammerman, A. & Vovk, V. 2 Jun 2017 6th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2017). p. 132-135

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

  96. Published

    Uniform, Integral and Efficient Proofs for the Determinant Identities

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

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

  97. Published

    Cryptographic Enforcement of Information Flow Policies without Public Information via Tree Partitions

    Crampton, J., Farley, N., Gutin, G., Jones, M. & Poettering, B. 31 May 2017 In : Journal of Computer Security. p. 1-25 25 p.

    Research output: Contribution to journalArticle

  98. E-pub ahead of print

    Dynamic Networks of Heterogeneous Timed Machines

    Fiadeiro, J. L., Lopes, A., Delahaye, B. & Legay, A. 24 May 2017 In : Mathematical Structures in Computer Science. p. 1-56 56 p.

    Research output: Contribution to journalArticle

  99. Published

    Scalable communication middleware for permissioned distributed ledgers

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

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

  100. Forthcoming

    Valid Probabilistic Prediction of Life Status after Percutaneous Coronary Intervention procedure

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

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

  101. E-pub ahead of print

    Estimation for the Prediction of Point Processes with Many Covariates

    Sancetta, A. 27 Apr 2017 In : Econometric Theory. p. 1-30 30 p.

    Research output: Contribution to journalArticle

  102. E-pub ahead of print

    Universal probability-free prediction

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

    Research output: Contribution to journalArticle

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