1. 2018
  2. E-pub ahead of print

    Logics for Actor Networks: A Case Study in Constrained Hybridization

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

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

  3. 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 conferencePaperpeer-review

  4. Published

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

    Darwish, S., Nouretdinov, I. & Wolthusen, S., 2018, 16th International Conference On Smart homes and health Telematics (ICOST'2018). Springer, p. 146-157 12 p. (Lecture Notes in Computer Science).

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

  5. Published

    A Recommender System Approach for Predicting Drug Side Effects

    Galeano Galeano, D. & Paccanaro, A., 2018, IJCNN 2018: International Joint Conference on Neural Networks. IEEE Xplore, p. 1-7 7 p.

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

  6. Published

    Ambient Intelligence: 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings

    Kameas, A. (ed.) & Stathis, K. (ed.), 2018, 233 p. (Information Systems and Applications, incl. Internet/Web, and HCI)

    Research output: Book/ReportScholarly edition

  7. Published

    An Innovative Heuristic for Planning-Based Urban Traffic Control

    Franco, S., Lindsay, A., Vallati, M. & McCluskey, T. L., 2018, Computational Science - ICCS 2018: 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I. Shi, Y., Fu, H., Tian, Y., Krzhizhanovskaya, V. V., Lees, M. H., Dongarra, J. J. & Sloot, P. M. A. (eds.). Springer, p. 181-193 13 p. (Lecture Notes in Computer Science; vol. 10860).

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

  8. Published

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

    Rizzo, C., Cavallaro, L. & Kinder, J., 2018, 21st International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2018). Springer, p. 25-46 22 p. (Lecture Notes in Computer Science (LNCS); vol. 11050).

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

  9. Unpublished

    Complexity, Proofs and Algebra

    Tzameret, I., 2018, (Unpublished)

    Research output: Other contribution

  10. Published

    Constrained Dynamic Tree Networks

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

  11. Published

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

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

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

  12. Published

    Identity Criteria of Common Nouns and dot-types for Copredication

    Chatzikyriakidis, S. & Luo, Z., 2018, In: Oslo Studies in Language. 10, 2, p. 121-141 21 p.

    Research output: Contribution to journalArticlepeer-review

  13. Unpublished

    Logics and reasoning for computational creativity

    Chirita, C-E., 2018, (Unpublished) 146 p.

    Research output: ThesisDoctoral Thesis

  14. Published

    Parameterized Algorithms for Zero Extension and Metric Labelling Problems

    Reidl, F. & Wahlstrom, M., 2018, ICALP 2018 Track A. Vol. 107. p. 94:1-94:14 14 p. (Leibniz International Proceedings in Informatics ).

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

  15. Unpublished

    Small and Large Scale Probabilistic Classifiers with Guarantees of Validity

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

    Research output: ThesisDoctoral Thesis

  16. Unpublished

    Subtyping in Signatures

    Lungu, G., 2018, (Unpublished)

    Research output: ThesisDoctoral Thesis

  17. Unpublished

    The Analysis of High-Throughput Biological Datasets Utilising Distributed Computing

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

    Research output: ThesisDoctoral Thesis

  18. 2017
  19. E-pub ahead of print

    What is decidable about string constraints with the ReplaceAll function

    Chen, T., Chen, Y., Hague, M., Lin, A. & Wu, Z., 27 Dec 2017, Proceedings of the ACM on Programming Languages. ACM, Vol. 2. p. 1-29 29 p. 3

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

  20. Published

    Checking cryptographic API usage with composable annotations

    Mitchell, D., van Binsbergen, L. T., Loring, B. & Kinder, J., 25 Dec 2017, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018). p. 53-59 7 p.

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

  21. 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. p. 1-5 5 p.

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

  22. 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. 5, 4, p. 113-121 9 p.

    Research output: Contribution to journalArticlepeer-review

  23. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  24. Published

    Tomography of the London Underground: a Scalable Model for Origin-Destination Data

    Colombo, N., Silva, R. & Kang, S., Dec 2017, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. 2017-December, p. 3063-3074 12 p.

    Research output: Contribution to journalConference articlepeer-review

  25. 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. IEEE, p. 1-8 8 p.

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

  26. 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. IEEE, p. 1-8 8 p.

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

  27. 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., 1 Nov 2017, In: Genome Biology and Evolution. 9, 11, p. 3059-3072 14 p.

    Research output: Contribution to journalArticlepeer-review

  28. Published

    Agent‐oriented activity recognition in the event calculus: An application for diabetic patients

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

    Research output: Contribution to journalArticlepeer-review

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

  30. E-pub ahead of print

    Binarisation for Valued Constraint Satisfaction Problems

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

    Research output: Contribution to journalArticlepeer-review

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

  32. Published

    Conformal prediction of biological activity of chemical compounds

    Toccaceli, P., Nouretdinov, I. & Gammerman, A., Oct 2017, In: Annals of Mathematics and Artificial Intelligence. 81, p. 105–123 19 p.

    Research output: Contribution to journalArticlepeer-review

  33. 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, p. 21-46 26 p.

    Research output: Contribution to journalArticlepeer-review

  34. Published

    Universal probability-free prediction

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

    Research output: Contribution to journalArticlepeer-review

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

    Research output: Contribution to journalArticlepeer-review

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

  37. Unpublished

    ROTOR: First Steps Towards a Refactoring Tool for OCaml

    Rowe, R. & Thompson, S., 8 Sep 2017, (Unpublished) p. 1-3. 3 p.

    Research output: Contribution to conferenceAbstract

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

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

  39. 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. Feret, J. & Koeppl, H. (eds.). Springer, p. 214-232 19 p. (Lecture Notes in Computer Science; vol. 10545).

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

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

  41. Published

    An Exploratory Analysis on Drug Target Locality

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

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

  42. Published

    Parameterized and Approximation Algorithms for the Load Coloring Problem

    Barbero, F., Gutin, G., Jones, M. & Sheng, B., Sep 2017, In: Algorithmica. 79, 1, p. 211–229 19 p.

    Research output: Contribution to journalArticlepeer-review

  43. Published

    Precise parameter synthesis for stochastic biochemical systems

    Ceska, M., Dannenberg, F., Paoletti, N., Kwiatkowska, M. & Brim, L., Sep 2017, In: Acta Informatica. 54, p. 589-623 35 p.

    Research output: Contribution to journalArticlepeer-review

  44. Published

    Using Argument-based Features to Predict and Analyse Review Helpfulness

    Liu, H., Gao, Y., Lv, P., Li, M., Geng, S., Li, M. & Wang, H., Sep 2017, Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing. Copenhagen, Denmark: Association for Computational Linguistics, p. 1358–1363 6 p.

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

  45. E-pub ahead of print

    Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent

    Rowe, R. & Brotherston, J., 30 Aug 2017, TABLEAUX 2017: Automated Reasoning with Analytic Tableaux and Related Methods. Springer, p. 295-310 16 p. (Lecture Notes in Computer Science; vol. 10501).

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

  46. Published

    Cryptographic enforcement of information flow policies without public information via tree partitions

    Crampton, J., Farley, N., Gutin, G., Jones, M. & Poettering, B., 24 Aug 2017, In: Journal of Computer Security. 25, 6, p. 511-535 25 p.

    Research output: Contribution to journalArticlepeer-review

  47. Published

    Collapsible Pushdown Automata and Recursion Schemes

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

    Research output: Contribution to journalArticlepeer-review

  48. Published

    Uniform, integral and efficient proofs for the determinant identities

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

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

  49. 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, Proceedings of the 26th USENIX Security Symposium. USENIX, p. 625-642 18 p.

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

  50. 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, p. 1-12 12 p., 1869.

    Research output: Contribution to journalArticlepeer-review

  51. Published

    CALF: Categorical automata learning framework

    Van Heerdt, G., Sammartino, M. & Silva, A., Aug 2017, Computer Science Logic 2017, CSL 2017. Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-24 24 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 82).

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

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

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

  53. Published

    A tool for choreography-based analysis of message-passing software

    Lange, J., Tuosto, E. & Yoshida, N., 31 Jul 2017, Behavioural Types: from Theory to Tools English. River Publishers, p. 125-146 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  54. Published

    Brief Announcement: 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

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

  56. E-pub ahead of print

    Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

    Cardelli, L., Ceska, M., Fränzle, M., Kwiatkowska, M., Laurenti, L., Paoletti, N. & Whitby, M., 13 Jul 2017, Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Majumdar, R. & Kunčak, V. (eds.). Springer, p. 375-395 21 p. (Lecture Notes in Computer Science; vol. 10427).

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

  57. Published

    The power of primitive positive definitions with polynomially many variables

    Lagerkvist, V. & Wahlstrom, M., 1 Jul 2017, In: Journal of Logic and Computation. 27, 5, p. 1465–1488 24 p.

    Research output: Contribution to journalArticlepeer-review

  58. Published

    Space Complexity of Fault-Tolerant Register Emulations

    Chockler, G. & Spiegelman, A., Jul 2017, PODC '17: Proceedings of the ACM Symposium on Principles of Distributed Computing. ACM, p. 83-92 10 p.

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

  59. Published

    The role of measurability in game-theoretic probability

    Vovk, V., Jul 2017, In: Finance and Stochastics. 21, 3, p. 719–739 21 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

  64. Published

    Boosting search guidance in problems with semantic attachments

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

  65. Published

    On the Satisfiability of Workflows with Release Points

    Crampton, J., Gutin, G. & Watrigant, R., Jun 2017, SACMAT '17 Abstracts: Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies. ACM, p. 207-217 11 p.

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

  66. Published

    Valid Probabilistic Prediction of Life Status after Percutaneous Coronary Intervention procedure

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

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

  67. Published

    Prediction of Metabolic Transformations using Cross Venn-ABERS Predictors

    Arvidsson, S., Spjuth, O., Carlsson, L. & Toccaceli, P., 31 May 2017, Proceedings of Machine Learning Research. Vol. 60. p. 118-131 14 p.

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

  68. Published

    Scalable communication middleware for permissioned distributed ledgers

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

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

  69. E-pub ahead of print

    Designing Robust Software Systems through Parametric Markov Chain Synthesis

    Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., 18 May 2017, Software Architecture (ICSA), 2017 IEEE International Conference on. p. 131-140 10 p.

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

  70. Published

    Arabidopsis RETINOBLASTOMA RELATED directly regulates DNA damage responses through functions beyond cell cycle control

    Horvath, B., Kourova, H., Nagy, S., Nemeth, E., Magyar, Z., Papdi, C., Ahmad, Z., Sanchez-Perez, G. F., Perilli, S., Blilou, I., Pettkó-Szandtner, A., Darula, Z., Meszaros, T., Binarova, P., Bogre, L. & Scheres, B., 2 May 2017, In: EMBO Journal . 36, 9, p. 1261-1278 18 p.

    Research output: Contribution to journalArticlepeer-review

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

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

  73. Published

    Odd properly colored cycles in edge-colored graphs

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

    Research output: Contribution to journalArticlepeer-review

  74. E-pub ahead of print

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

    Crampton, J. & Williams, C., 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

  75. 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., 22 Mar 2017, ACM CODASPY. ACM, p. 309-320 12 p.

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

  76. E-pub ahead of print

    Dynamic route prediction with the magnetic field strength for indoor positioning

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

    Research output: Contribution to journalArticlepeer-review

  77. Published

    On the undecidability of asynchronous session subtyping

    Lange, J. & Yoshida, N., 16 Mar 2017, Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer Verlag, p. 441-457 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10203 LNCS).

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

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

    Research output: Contribution to journalArticlepeer-review

  79. Published

    Adjectival and Adverbial Modification: The View from Modern Type Theories

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

    Research output: Contribution to journalArticlepeer-review

  80. Published

    Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback

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

    Research output: Contribution to journalArticlepeer-review

  81. Published

    Parameterized complexity of the k-arc Chinese Postman Problem

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

    Research output: Contribution to journalArticlepeer-review

  82. Published

    Broken hearted: How to attack ECG biometrics

    Eberz, S., Paoletti, N., Roeschlin, M., Patanè, A., Kwiatkowska, M. & Martinovic, I., 27 Feb 2017, Network and Distributed System Security Symposium. p. 1-15 15 p.

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

  83. Published

    Deterministic versus Probabilistic Methods for Searching for an Evasive Target

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

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

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

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

  86. Published

    Computing Approximate Nash Equilibria in Polymatrix Games

    Deligkas, A., Fearnley, J., Savani, R. & Spirakis, P., Feb 2017, In: Algorithmica. 77, p. 487–514 28 p.

    Research output: Contribution to journalArticlepeer-review

  87. Published

    Rural Postman Parameterized by the Number of Components of Required Edges

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

    Research output: Contribution to journalArticlepeer-review

  88. 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, Part 2, p. 196-202 7 p.

    Research output: Contribution to journalArticlepeer-review

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

  90. Published

    Automatic cyclic termination proofs for recursive procedures in separation logic

    Rowe, R. & Brotherston, J., 16 Jan 2017, CPP 2017 Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. ACM, p. 53-65 13 p.

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

  91. 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-7 7 p., 025104.

    Research output: Contribution to journalArticlepeer-review

  92. Published

    Combining Temporal Planning with Probabilistic Reasoning for Autonomous Surveillance Missions

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

    Research output: Contribution to journalArticlepeer-review

  93. Published

    Fencing off Go: Liveness and safety for channel-based programming

    Lange, J., Ng, N., Toninho, B. & Yoshida, N., Jan 2017, POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. D. & Castagna, G. (eds.). Association for Computing Machinery (ACM), p. 748-761 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

  94. Published

    Learning nominal automata

    Moerman, J., Sammartino, M., Silva, A., Klin, B. & Szynwelski, M., Jan 2017, POPL 2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. D. & Castagna, G. (eds.). Association for Computing Machinery (ACM), p. 613-625 13 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

  95. Published

    The power of propagation: when GAC is enough

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

    Research output: Contribution to journalArticlepeer-review

  96. Published

    A Novel Method to Detect Bias in Short Read NGS Data

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

    Research output: Contribution to journalArticlepeer-review

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

  98. Published

    Automated Planning for Urban Traffic Management

    McCluskey, T. L., Vallati, M. & Franco, S., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 5238-5240 3 p.

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

  99. Published

    Dependent Event Types

    Luo, Z. & Soloviev, S., 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)peer-review

  100. Published

    Domains for Higher-Order Games

    Hague, M., Meyer, R. & Muskalla, S., 2017, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). LIPIcs, p. 59:1-59:15 15 p. 59

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

  101. Published

    Fredholm Multiple Kernel Learning for Semi-Supervised Domain Adaptation

    Wang, W., Wang, H., Zhang, C. & Gao, Y., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). AAAI Press, p. 2732-2738 7 p.

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

  102. Published

    Glamdring: Automatic Application Partitioning for Intel SGX

    Lind, J., Priebe, C., Muthukumaran, D., O'Keeffe, D., Aublin, P-L., Kelbert, F., Reiher, T., Goltzsche, D., Eyers, D. M., Kapitza, R., Fetzer, C. & Pietzuch, P. R., 2017, Proceedings of the 2017 USENIX Annual Technical Conference (USENIX ATC ’17). USENIX, p. 285-298 14 p.

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

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