1. 2018
  2. In preparation

    Contrapuntal Cartographies: Dialectics of Counter-Mapping

    Eades, G. 2018 McGill-Queen's University Press.

    Research output: Book/ReportBook

  3. In preparation

    Mapping (Key Ideas)

    Kent, A. & Eades, G. 2018 Routledge / Taylor & Francis.

    Research output: Book/ReportBook

  4. 2017
  5. Forthcoming

    Neurogenomic signatures of succ¬¬¬esses 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. 20 Oct 2017 In : Genome Biology and Evolution.

    Research output: Contribution to journalArticle

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

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

  8. Forthcoming

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

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

    Research output: Contribution to journalArticle

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

  10. Forthcoming

    Modular Synthesis of Heap Exploits

    Repel, D., Kinder, J. & Cavallaro, L. 4 Sep 2017 Proc. ACM SIGSAC Workshop on Programming Languages and Analysis for Security.

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

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

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

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

  14. E-pub ahead of print

    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

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

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

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

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

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

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

  21. E-pub ahead of print

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

    Kafali, R., Romero Lopez, A. & Stathis, K. 9 Aug 2017 In : Computational Intelligence.

    Research output: Contribution to journalArticle

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

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

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

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

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

  27. Forthcoming

    Symmetry Breaking in the Congest Model: Message- and Time-Efficient Algorithms for Ruling Sets

    Pai, S., Pandurangan, G., Pemmaraju, S. V., Riaz, T. & Robinson, P. 1 Jul 2017 DISC 2017: Proceedings of the 31st International Symposium on Distributed Computing. LIPIcs

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

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

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

  30. Forthcoming

    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. 20 Jun 2017 SLIOIA - Simposio Latinoamericano de Investigación de Operaciones e Inteligencia Artificial 2017.

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

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

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

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

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

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

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

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

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

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

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

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

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

  43. Forthcoming

    Inductive Conformal Martingales for Change-Point Detection

    Volkhonskiy, D., Burnaev, E., Nouretdinov, I., Gammerman, A. & Vovk, V. 10 May 2017 6th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2017).

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

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

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

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

  47. E-pub ahead of print

    Parameterized Resiliency Problems via Integer Linear Programming

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

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

  48. E-pub ahead of print

    Policy Conflict Resolution in IoT via Planning

    Göynügür, E., Bernardini, S., de Mel, G., Talamadupula, K. & Şensoy, M. 11 Apr 2017 Canadian Conference on Artificial Intelligence: AI 2017: Advances in Artificial Intelligence. Springer, Vol. 10233, p. 169-175 7 p. (Lecture Notes in Computer Science; vol. 10233)

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

  49. Published

    Arabidopsis RETINOBLASTOMA RELATED directly regulates DNA damage responses through functions beyond cell cycle control: Role of RBR, E2FA, AtBRCA1 in plant DDR

    Bogre, L., Horvath, B., Kourova, H., Nagy, S., Nemeth, E., Magyar, Z., Papdi, C., Ahmad, Z., Sanchez-Perez, G. F., Perilli, S., Pettkó-Szandtner, A., Darula, Z., Meszaros, T., Binarova, P., Scheres, B. & Blilou, I. 3 Apr 2017 In : EMBO Journal . 36, 7, 89 p., EMBOJ-2016-94561R1

    Research output: Contribution to journalArticle

  50. Published

    Odd Properly Colored Cycles in Edge-Colored Graphs

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

    Research output: Contribution to journalArticle

  51. Published

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

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

    Research output: Contribution to journalArticle

  52. 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. 24 Mar 2017 ACM CODASPY. p. 309-320 12 p.

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

  53. E-pub ahead of print

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

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

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

  54. 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, p. 83-115 33 p.

    Research output: Contribution to journalArticle

  55. E-pub ahead of print

    Criteria of efficiency for set-valued classification

    Vovk, V. 14 Mar 2017 In : Annals of Mathematics and Artificial Intelligence.

    Research output: Contribution to journalArticle

  56. Published

    Adjectival and Adverbial Modification: The View from Modern Type Theories

    Chatzikyriakidis , S. & Luo, Z. 1 Mar 2017 In : Journal of Logic, Language and Information. 26, 1, p. 45–88 44 p.

    Research output: Contribution to journalArticle

  57. Published

    Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback

    van Binsbergen, L. T. 1 Mar 2017 In : International Journal of Artificial Intelligence in Education. 27, 1, p. 65-100 36 p.

    Research output: Contribution to journalArticle

  58. Published

    Identification of metabolites associated with water stress responses in Solanum tuberosum L. clones

    Fraser, P. & Drapal, M. 1 Mar 2017 In : Phytochemistry. 135, p. 24–33 10 p.

    Research output: Contribution to journalArticle

  59. Published

    Parameterized Complexity of the k-Arc Chinese Postman Problem

    Gutin, G., Jones, M. & Sheng, B. 1 Mar 2017 In : Journal of Computer and System Sciences. 84, p. 107–119 13 p.

    Research output: Contribution to journalArticle

  60. Published

    Postdevelopment

    Simon, D. 23 Feb 2017 The International Encyclopaedia of Geography: People, the Earth, Environment and Technology. Richardson, D., Castree, N., Goodchild, M., Kobayashi, A., Liu, W. & Marston, R. (eds.). Chichester : John Wiley & Sons, p. 5264-5269 6 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

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

  62. Published

    The regulation of carotenoid formation in tomato fruit

    Enfissi, E., Nogueira, M., Fraser, P. & Bramley, P. 7 Feb 2017 In : Plant Journal. 89, 4, p. 774–788 15 p.

    Research output: Contribution to journalArticle

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

  64. Published

    Rural Postman Parameterized by the Number of Components of Required Edges

    Gutin, G., Wahlström, M. & Yeo, A. 1 Feb 2017 In : Journal of Computer and System Sciences. 83, 1, p. 121-131 11 p.

    Research output: Contribution to journalArticle

  65. Published

    The biomechanics of seed germination

    Steinbrecher, T. & Leubner, G. 1 Feb 2017 In : Journal of Experimental Botany. 68, p. 765-783 19 p.

    Research output: Contribution to journalArticle

  66. Published

    The formation and sequestration of non-endogenous ketocarotenoids in transgenic Nicotiana glauca

    Mortimer, C., Bramley, P. & Fraser, P. 1 Feb 2017 In : Plant Physiology. 173, 2

    Research output: Contribution to journalArticle

  67. Published

    Chinese Postman Problem on Edge­-Colored Multigraphs

    Gutin, G., Jones, M., Sheng, B., Wahlstrom, M. & Yeo, A. 30 Jan 2017 In : Discrete Applied Mathematics. 217, p. 196-202 7 p.

    Research output: Contribution to journalArticle

  68. Published

    Drug targets prediction using chemical similarity

    Galeano Galeano, D. & Paccanaro, A. 26 Jan 2017 XLII Conferencia Latinoamericana de Informatica (CLEI). IEEE Xplore, p. 1-7 7 p. (2016 XLII Latin American Computing Conference (CLEI))

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

  69. Published

    Biomechanical Properties of Wheat Grains: the implications on Milling

    Hourston, J., Ignatz, M., Reith, M., Leubner, G. & Steinbrecher, T. 18 Jan 2017 In : Journal of the Royal Society. Interface. 14, 126

    Research output: Contribution to journalArticle

  70. Submitted

    Transcriptomics: Quantifying non-uniform read distribution using MapReduce

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

    Research output: Contribution to journalArticle

  71. Published

    All-solid-state carbonate-selective electrode based on screen-printed carbon paste electrode

    Li, G., Lyu, X., Wang, Z., Rong, Y., Hu, R., Luo, Z. & Wang, Y. 12 Jan 2017 In : Measurement Science and Technology. 28, 2, p. 1-8 8 p., 025104

    Research output: Contribution to journalArticle

  72. Published

    Adversarial resilience of matchings in bipartite random graphs

    Balister, P., Gerke, S. & McDowell, A. 1 Jan 2017 In : Journal of Combinatorics. 8, 1, p. 79-92 13 p.

    Research output: Contribution to journalArticle

  73. Published

    Discursive institutionalism for reconciling change and stability in digital innovation public sector projects for development

    Kromidha, E. & Cordoba-Pachon, J-R. 1 Jan 2017 In : Government Information Quarterly. 33, 1, p. 16-25 12 p.

    Research output: Contribution to journalArticle

  74. Published

    Dynamic route prediction with the magnetic field strength for indoor positioning

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

    Research output: Contribution to journalArticle

  75. Published

    The power of propagation: when GAC is enough.

    Cohen, D. & Jeavons, P. Jan 2017 In : Constraints. 22, 1, p. 3-23 21 p.

    Research output: Contribution to journalArticle

  76. Published

    Binarisation for Valued Constraint Satisfaction Problems

    Cohen, D., Zivny, . S., Cooper, M., Jeavons, P., Krokhin, A. & Robert, P. 2017 In : SIAM Journal on Discrete Mathematics.

    Research output: Contribution to journalArticle

  77. Published

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

    Nguyen, D. K. A., Watkins, C. & Luo, Z. 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. Published

    From Conventional to Institution-Independent Logic Programming

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

    Research output: Contribution to journalArticle

  79. Forthcoming

    Geospatial Ontologies and the Representation of Cree Knowledge

    Eades, G. 2017 Dialoguing Knolwedges: Finding Our Way to Respect and Relationship.

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

  80. Published

    k-Distinct In- and Out-Branchings in Digraphs

    Gutin, G., Reidl, F. & Wahlstrom, M. 2017 44th International Colloquium on Automata, Languages, and Programming: ICALP 2017. Dagstuhl, p. 1-13 13 p. (Leibniz International Proceedings in Informatics ; vol. 80)

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

  81. In preparation

    Language, Politics, and Counter-mapping

    Eades, G. 2017 In : Progress in Human Geography.

    Research output: Contribution to journalArticle

  82. Published

    Logics for Actor Networks: A Case Study in Constrained Hybridization

    Lopes Fiadeiro, J., Tutu, I., Lopes, A. & Pavlovic, D. 2017 Dynamic Logic: new trends and applications. Springer

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

  83. Published

    LP-branching algorithms based on biased graphs

    Wahlström, M. 2017 Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM, Vol. PRDA17, p. 1559-1570 12 p. (Proceedings)

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

  84. Forthcoming

    Mining the biomedical literature to predict shared drug targets in DrugBank

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

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

  85. Unpublished

    Network Interaction Patterns within Brazilian ICT4D Initiatives

    Scur, F. 2017 323 p.

    Research output: ThesisDoctoral Thesis

  86. Forthcoming

    Nonparametric predictive distributions based on conformal prediction

    Vovk, V., Shen, J., Manokhin, V. & Xie, M. 2017 Proceedings of COPA 2016 (Sixth Symposium on Conformal and Probabilistic Prediction and Applications). Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z. & Papadopoulos, H. (eds.). Vol. 60, p. 82 21 p. 102

    Research output: Chapter in Book/Report/Conference proceedingChapter

  87. Published

    On Assessing the Positioning Accuracy of Google Tango in Challenging Indoor Environments

    Nguyen, D. K. A. & Luo, Z. 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

  88. Submitted

    On Singleton Arc Consistency for Natural CSPs Defined by Forbidden Patterns

    Cohen, D., Carbonnel, C., Cooper, M. & Živný, S. 2017

    Research output: Contribution to conferencePaper

  89. Published

    Parameterized Complexity of the Workflow Satisfiability Problem

    Cohen, D., Crampton, J., Gutin, Z. & Wahlstrom, M. 2017 Combinatorial Optimization and Graph Algorithms. Springer-Verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  90. Unpublished

    Polynomial and FPT algorithms for Chinese Postman, Packing and Acyclicity

    Sheng, B. 2017 132 p.

    Research output: ThesisDoctoral Thesis

  91. Published

    Purely pathwise probability-free Ito integral

    Vovk, V. 2017 In : Matematychni Studii. 46, 1, p. 96-110 15 p.

    Research output: Contribution to journalArticle

  92. Published

    Seed dormancy: Development of Dormancy

    Graeber, K., Nakabayashi, K. & Leubner-Metzger, G. 2017 Encyclopedia of Applied Plant Sciences. Thomas, B., Murray, B. & Murphy, D. (eds.). 2nd ed. Waltham, MA: Elsevier, Vol. 1, p. 483-489 8 p. 209

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  93. Published

    Seed Dormancy: Genetics of Dormancy

    Nakabayashi, K., Graeber, K. & Leubner-Metzger, G. 2017 Encyclopedia of Applied Plant Sciences. Thomas, B., Murray, B. & Murphy, D. (eds.). 2nd ed. Waltham, MA: Elsevier, Vol. 1, p. 504-508 5 p. 210

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  94. Forthcoming

    The Geography of Names: Indigenous to Post-Foundational

    Eades, G. 2017 Routledge / Taylor & Francis. (Advances in Human Geography)

    Research output: Book/ReportBook

  95. Published

    The Role of Online Discussion Forums During a Public Health Emergency

    Cole, J. 2017 458 p.

    Research output: ThesisDoctoral Thesis

  96. 2016
  97. Published

    Antioxidant compounds and their bioaccessibility in tomato fruit and puree obtained from a DETIOLATED-1 (DET-1) down-regulated genetically modified genotype

    Talens, P., Mora, L., Bramley, P. & Fraser, P. 15 Dec 2016 In : Food Chemistry. 213, p. 735–741 7 p.

    Research output: Contribution to journalArticle

  98. Published

    The Evolution of Sex-specific Virulence in Infectious Diseases

    Ubeda de Torres, F. & Jansen, V. A. A. 13 Dec 2016 In : Nature Communications.

    Research output: Contribution to journalArticle

  99. Published

    Exploring connectivism in the context of online social trading.

    Kromidha, E. 8 Dec 2016

    Research output: Contribution to conferencePaper

  100. Published

    Identifying patient experience from online resources via sentiment analysis and topic modelling

    Bahja, M. & Lycett, M. 6 Dec 2016 Proceedings - 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies, BDCAT 2016. Association for Computing Machinery, Inc, p. 94-99 6 p.

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

  101. Published

    Activity Recognition for Diabetic Patients Using a Smartphone

    Kvetkovic, B., Janko, V., Kafali, R., Romero Lopez, A., Stathis, K. & Lustrek, M. 1 Dec 2016 In : Journal of Medical Systems. 8 p.

    Research output: Contribution to journalArticle

  102. Published

    On the Workflow Satisfiability Problem with Class-Independent Constraints for Hierarchical Organizations

    Crampton, J., Gagarin, A., Gutin, G., Jones, M. & Wahlstrom, M. 1 Dec 2016 In : ACM Transactions on Privacy and Security. 19, 3, p. 1-29 29 p.

    Research output: Contribution to journalArticle

  103. E-pub ahead of print

    Parameterized and Approximation Algorithms for the Load Coloring Problem

    Barbero, F., Gutin, G., Jones, M. & Sheng, B. 30 Nov 2016 In : Algorithmica. p. 1-19 19 p.

    Research output: Contribution to journalArticle

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