1. 2018
  2. 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)

  3. 2017
  4. 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., NCOMMS-17-03514B

    Research output: Contribution to journalArticle

  5. Forthcoming

    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. 23 Nov 2017 In : FEBS Letters. FEBSL-17-0935.R2

    Research output: Contribution to journalLetter

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

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

  8. Forthcoming

    Checking Cryptographic API Usage with Composable Annotations

    Mitchell, D., van Binsbergen, L. T., Loring, B. & Kinder, J. 5 Nov 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018).

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

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

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

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

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

  13. Forthcoming

    What Is Decidable About String Constraints With the ReplaceAll Function

    Hague, M., Lin, A., Chen, T., Wu, Z. & Chen, Y. 25 Oct 2017 Principles of Programming Languages 2018 (POPL 2018).

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

  14. Unpublished

    Aggregating Algorithm for Prediction of Packs

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

    Research output: Working paper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  52. Forthcoming

    Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains

    Bernardini, S., Fagnani, F. & Smith, D. 4 May 2017 In : Artificial Intelligence.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

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

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

  64. E-pub ahead of print

    Criteria of efficiency for set-valued classification

    Vovk, V., Nouretdinov, I., Fedorova, V., Petej, I. & Gammerman, A. 14 Mar 2017 In : Annals of Mathematics and Artificial Intelligence. 81

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

  73. Published

    Deterministic vs Probabilistic Methods for Searching for an Evasive Target

    Bernardini, S., Fox, M., Long, D. & Piacentini, C. 4 Feb 2017 Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17).

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

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

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

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

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

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

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

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

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

  82. Published

    Combining Temporal Planning with Probabilistic Reasoning for Autonomous Surveillance Missions

    Bernardini, S., Fox, M. & Long, D. 1 Jan 2017 In : Autonomous Robots. 41, 1, p. 181–203 23 p.

    Research output: Contribution to journalArticle

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

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

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

  86. Published

    Algebraic Proof Complexity: Progress, Frontiers and Challenges

    Pitassi, T. & Tzameret, I. 2017 Electronic Colloquium on Computation Complexity .

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

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

  88. Submitted
  89. Published

    Geographical Naming and Necessity

    Eades, G. 2017

    Research output: Working paper

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

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

  92. In preparation

    Language, Politics, and Counter-mapping

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

    Research output: Contribution to journalArticle

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

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

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

  96. Published

    Neogeographies of the Name

    Eades, G. 2017

    Research output: Working paper

  97. Unpublished

    Network Interaction Patterns within Brazilian ICT4D Initiatives

    Scur, F. 2017 323 p.

    Research output: ThesisDoctoral Thesis

  98. Published

    Neurogeography and a memetics of place

    Eades, G. 2017 20 p.

    Research output: Contribution to conferencePaper

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

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

  101. Submitted

    On Singleton Arc Consistency for Natural CSPs Defined by Forbidden Patterns

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

    Research output: Contribution to conferencePaper

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

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