1. 2015
  2. Published

    Preface to this Special Issue

    Gammerman, A. & Vovk, V., Sep 2015, In : Journal of Machine Learning Research. 16, p. 1677-1681 5 p.

    Research output: Contribution to journalEditorial

  3. Published

    Service-Oriented Logic Programming

    Tutu, I. & Fiadeiro, J. L., 18 Aug 2015, In : Logical Methods in Computer Science. 11, 3, p. 1-38 38 p.

    Research output: Contribution to journalArticle

  4. Forthcoming

    Provably Pointless Propagator Calls

    Cohen, D., Jefferson, C. & Petrie, K., Aug 2015, (Accepted/In press)

    Research output: Contribution to conferencePaper

  5. Published
  6. Forthcoming

    Tractable Classes of Binary CSPs Defined by Excluded Topological Minors

    Cohen, D., Cooper, M., Zivny, S. & Jeavons, P., Jul 2015, (Accepted/In press) p. 1945-1951 7 p.

    Research output: Contribution to conferencePaper

  7. Published

    A semantics of business configurations using symbolic graphs

    Mylonakis, N., Orejas, F. & Fiadeiro, J. L., 27 Jun 2015, Proceedings of the 12th IEEE International Conference on Services Computing. IEEE Computer Society Press, p. 146 - 153 8 p.

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

  8. Published

    Bioaccumulation modelling and sensitivity analysis for discovering key players in contaminated food webs: The case study of PCBs in the Adriatic Sea

    Taffi, M., Paoletti, N., Liò, P., Pucciarelli, S. & Marini, M., 24 Jun 2015, In : Ecological Modelling. 306, p. 205-215 11 p.

    Research output: Contribution to journalArticle

  9. Published
  10. Published

    Cross-conformal predictors

    Vovk, V., 1 Jun 2015, In : Annals of Mathematics and Artificial Intelligence. 74, 1, p. 9 - 28 20 p.

    Research output: Contribution to journalArticle

  11. Published

    Multiprobabilistic Prediction in Early Medical Diagnoses

    Nouretdinov, I., Devetyarov, D., Vovk, V., Burford, B., Camuzeaux, S., Gentry-Maharaj, A., Tiss, A., Smith, C., Luo, Z., Chervonenkis, A., Hallett, R., Waterfield, M., Cramer, R., Timms, J. F., Jacobs, I. & Gammerman, A., 1 Jun 2015, In : Annals of Mathematics and Artificial Intelligence. 74, 1, p. 203-222 20 p.

    Research output: Contribution to journalArticle

  12. Published

    Relationship-based Access Control for an Open-source Medical Records System

    Rizvi, S. Z. R., Fong, P. W. L., Crampton, J. & Sellwood, J., 1 Jun 2015, Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT. ACM, Vol. 2015-June, p. 113-124 12 p.

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

  13. Published

    Relationships, Paths and Principal Matching: A New Approach to Access Control

    Crampton, J. & Sellwood, J., 29 May 2015, In : ArXiv.org.

    Research output: Contribution to journalArticle

  14. Published

    Applying Apache Hadoop, Hive and Map Reduce to Legacy Systems and Applications

    AlNasir, J., 28 May 2015

    Research output: Contribution to conferenceOther

  15. E-pub ahead of print

    Itô Calculus without Probability in Idealized Financial Markets

    Vovk, V., 15 May 2015, In : Lithuanian Mathematical Journal. 55, 2, p. 270-290 21 p.

    Research output: Contribution to journalArticle

  16. Published

    Open Game Tournaments in STARLITE

    Hopkins, J., Kafali, O. & Stathis, K., 4 May 2015, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015). IFAAMAS, p. 1927-1928 2 p.

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

  17. Published

    Recognising lifestyle activities of diabetic patients with a smartphone

    Lustrek, M., Kvetkovic, B., Mirchevska, V., Kafali, R., Romero Lopez, A. & Stathis, K., May 2015, Pervasive Health 2015 : Workshop on Personal Health Systems for Chronic Diseases (PHSCD 2015).

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

  18. Published

    Sit-to-Stand Movement Recognition Using Kinect

    Acorn, E., Dipsis, N., Pincus, T. & Stathis, K., 20 Apr 2015, 3rd International Symposium on Statistical Learning and Data Sciences. Springer, Vol. 9047, p. 179-192 14 p.

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

  19. Published

    Conformal Clustering and Its Application to Botnet Traffic

    Cherubin, G., Nouretdinov, I., Gammerman, A., Jordaney, R., Wang, Z., Papini, D. & Cavallaro, L., 3 Apr 2015, Statistical Learning and Data Sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Springer, Vol. 9047, p. 313-322 10 p. (Lecture Notes in Computer Science)

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

  20. Published

    A Completeness Theory for Polynomial (Turing) Kernelization

    Hermelin, D., Kratsch, S., Soltys, K., Wahlström, M. & Wu, X., 1 Mar 2015, In : Algorithmica. 71, 3, p. 702-730 29 p.

    Research output: Contribution to journalArticle

  21. Published

    Hypertesting: The Case for Automated Testing of Hyperproperties

    Kinder, J., Mar 2015, 3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot 2015). 8 p.

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

  22. Published
  23. Published

    On the Complexity of Universal Leader Election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A., 1 Feb 2015, In : Journal of the ACM. 62, 1, p. 7:1-7:27 27 p.

    Research output: Contribution to journalArticle

  24. Published

    Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection

    van Binsbergen, L. T., 13 Jan 2015, p. 49-60 12 p.

    Research output: Contribution to conferencePaper

  25. Published

    Maximizing the minimum load for random processing times

    Gerke, S., Panagiotou, K., Schwartz, J. & Steger, A., 13 Jan 2015, In : ACM Transactions on Algorithms (TALG). 11, 3, 19 p., 17

    Research output: Contribution to journalArticle

  26. Published

    Sublinear bounds for randomized leader election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A., 4 Jan 2015, In : Theoretical Computer Science. 561, p. 134-143 10 p.

    Research output: Contribution to journalArticle

  27. Published

    Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving

    van Binsbergen, L. T., 1 Jan 2015, Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin / Heidelberg, Vol. 9035, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 9035)

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

  28. Published

    Principled software microengineering

    Johnstone, A. & Scott, E., 1 Jan 2015, In : Science of Computer Programming. 97, 1, p. 64–68 5 p.

    Research output: Contribution to journalArticle

  29. Published

    Binarisation via Dualisation for Valued Constraints

    Cohen, D., Cooper, M., Jeavons, P. & Živný, S., Jan 2015, p. 3731-3737 7 p.

    Research output: Contribution to conferencePaper

  30. Published

    On The Feasibility of Using Two Mobile Phones and WLAN Signal to Detect Co-Location of Two Users for Epidemic Prediction

    Nguyen, K., Luo, Z. & Watkins, C., Jan 2015, Progress in Location-Based Services 2014. Gartner, G. & Huang, H. (eds.). Germany: Springer, p. 63-78 16 p. (Lecture Notes in Cartography and Geoinformation)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  31. Published

    A Comparison of Three Implementations of Multi-Label Conformal Prediction

    Wang, H., Liu, X., Nouretdinov, I. & Luo, Z., 2015, Statistical Learning and Data Sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Vol. 9047, p. 251--259 9 p.

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

  32. Published

    A Lambek Calculus with Dependent Types

    Luo, Z., 2015, Types for Proofs and Programs.

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

  33. Unpublished

    A Middleware for Ubiquitous Agents

    Dipsis, N., 2015, (Unpublished) 243 p.

    Research output: ThesisDoctoral Thesis

  34. Published

    Abstract Constraint Data Types

    Fiadeiro, J. L. & Orejas, F., 2015, Software, Systems and Services. de Nicola, R. & Hennicker, R. (eds.). Springer, (Lecture Notes in Computer Science)

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

  35. Published

    Access Control in Publicly Verifiable Outsourced Computation

    Alderman, J., Janson, C., Cid, C. & Crampton, J., 2015, Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security - ASIACCS 2015. ACM, p. 657-662

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

  36. Published

    Alexey Chervonenkis's bibliography

    Gammerman, A. & Vovk, V., 2015, In : Journal of Machine Learning Research. 16, p. 2067-2080

    Research output: Contribution to journalEditorial

  37. Published

    Brief Announcement: Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives

    Chockler, G., Dobre, D., Shraer, A. & Spiegelman, A., 2015, Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings. Moses, Y. (ed.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. 9363, p. 673-674 2 p. (Lecture Notes in Computer Science)

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

  38. Published

    Comment: The Two Styles of VC Bounds

    Vovk, V., 2015, Measures of Complexity: Festschrift for Alexey Chervonenkis. Vovk, V., Papadopoulos, H. & Gammerman, A. (eds.). Springer, p. 161-164 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. Unpublished

    Conformal and Venn Predictors for Multi-probabilistic Predictions and Their Applications

    Zhou, C., 2015, (Unpublished)

    Research output: ThesisDoctoral Thesis

  40. Published

    Conformal Anomaly Detection of Trajectories with a Multi-class Hierarchy

    Smith, J., Nouretdinov, I., Craddock, R., Offer, C. & Gammerman, A., 2015, Statistical Learning and Data Sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Vol. 9047, p. 281-290 10 p.

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

  41. Published

    Controllability and matchings in random bipartite graphs

    Balister, P. & Gerke, S., 2015, Surveys in combinatorics 2015. Cambridge University Press, Vol. 424, p. 119-145 (London Math. Soc. Lecture Series)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  42. Forthcoming

    Cryptographic Enforcement of Information Flow Policies without Public Information

    Crampton, J., Farley, N., Gutin, G., Jones, M. & Poettering, B., 2015, (Accepted/In press) 13th International Conference on Applied Cryptography and Network Security (ACNS 2015) . (Lecture Notes in Computer Science)

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

  43. Published

    Distributed Computation of Large-scale Graph Problems

    Klauck, H., Nanongkai, D., Pandurangan, G. & Robinson, P., 2015, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015. p. 391-410 20 p.

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

  44. Published

    Fast Byzantine Leader Election in Dynamic Networks

    Augustine, J., Pandurangan, G. & Robinson, P., 2015, Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, 2015. Proceedings. Springer Berlin / Heidelberg, Vol. 9363, p. 276-291 16 p. (Lecture Notes in Computer Science; vol. 9363)

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

  45. Unpublished

    Features Handling by Conformal Predictors

    Yang, M., 2015, (Unpublished) 143 p.

    Research output: ThesisDoctoral Thesis

  46. Published

    Fixed-parameter tractability of multicut in directed acyclic graphs

    Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 2015, In : SIAM Journal on Discrete Mathematics. 29, 1, p. 122-144 23 p.

    Research output: Contribution to journalArticle

  47. Published

    Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks

    Biely, M., Robinson, P., Schmid, U., Schwarz, M. & Winkler, K., 2015, Networked Systems - Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers. Bouajjani, A. & Fauconnier, H. (eds.). Springer Berlin / Heidelberg, Vol. 9466, p. 109-124 16 p. (Lecture Notes in Computer Science; vol. 9466)

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

  48. Unpublished

    Håstad‘s Separation of Constant-Depth Circuits Using Sipser Functions

    Tzameret, I., 2015, (Unpublished) Expository Note. 15 p.

    Research output: Book/ReportOther report

  49. Published

    High System-Code Security with Low Overhead

    Wagner, J., Kuznetsov, V., Candea, G. & Kinder, J., 2015, Proc. IEEE Symp. Security and Privacy (S&P 2015).

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

  50. Published

    Hues of Satisfaction: Many-valued Institutions for Constraint Specification

    Chirita, C-E., Fiadeiro, J. L. & Orejas, F., 2015 2 p.

    Research output: Contribution to conferenceAbstract

  51. Published

    Immune tolerance maintained by cooperative interactions between T cells and antigen presenting cells shapes a diverse TCR repertoire

    Best, K., Chain, B. & Watkins, C., 2015, In : Frontiers in Immunology. 6, 360, p. 1-14 14 p., doi: 10.3389/fimmu.2015.00360

    Research output: Contribution to journalArticle

  52. Published

    Improved analysis of inorganic coal properties based on near-infrared reflectance spectroscopy

    Hu, R., Wang, Y., Yang, M., Li, X., Luo, Z. & Li, G., 2015, In : Analytical Methods. 7, p. 5282-5288 7 p.

    Research output: Contribution to journalArticle

  53. Forthcoming

    Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories

    Chatzikyriakidis, S. & Luo, Z., 2015, (Accepted/In press) Mathematics in Language.

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

  54. Unpublished

    Institution-Independent Logic Programming

    Tutu, I., 2015, (Unpublished) 144 p.

    Research output: ThesisDoctoral Thesis

  55. Published

    Large-scale probabilistic predictors with and without guarantees of validity

    Vovk, V., Petej, I. & Fedorova, V., 2015, Advances in Neural Information Processing Systems 28: Proceedings of NIPS 2015. Curran Associates, p. 892 - 900 9 p.

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

  56. Unpublished

    On discovery and exploitation of temporal structure in data sets

    Scarfe, T., 2015, (Unpublished) 175 p.

    Research output: ThesisDoctoral Thesis

  57. Forthcoming

    On Missing Attributes in Access Control: Non-deterministic and Probabilistic Attribute Retrieval

    Crampton, J., Morisset, C. & Zannone, N., 2015, (Accepted/In press) 20th ACM Symposium on Access Control Models and Technologies. ACM

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

  58. Forthcoming

    On the Workflow Satisfiability Problem with Class-Independent Constraints

    Crampton, J., Gagarin, A., Gutin, G. & Jones, M., 2015, (Accepted/In press) 10th International Symposium on Parameterized and Exact Computation. Schloss Dagstuhl –Leibniz Center for Informatics, (LIPIcs)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  59. Unpublished

    Open Objects: A Lightweight and Decentralised Framework for the Internet of Things

    Ricca Goncalves, P., 2015, (Unpublished) 164 p.

    Research output: ThesisDoctoral Thesis

  60. Forthcoming

    Optimal Constructions for Chain-based Cryptographic Enforcement of Information Flow Policies

    Crampton, J., Farley, N., Gutin, G. & Jones, M., 2015, (Accepted/In press) 29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy: DBSec 2015. Springer-Verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  61. Forthcoming

    Parameterized and Approximation Algorithms for the Load Coloring Problem

    Barbero, F., Gutin, G., Jones, M. & Sheng, B., 2015, (Accepted/In press) 10th International Symposium on Parameterized and Exact Computation. Schloss Dagstuhl –Leibniz Center for Informatics, (LIPIcs)

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

  62. Forthcoming

    Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints

    Karapetyan, D., Gagarin, A. & Gutin, G., 2015, (Accepted/In press) FAW 2015, Lecture Notes in Computer Science.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  63. In preparation

    PDB-Hadoop: Parallelising Legacy applications on the Protein Databank using Apache Hadoop

    AlNasir, J. & Shanahan, H., 2015, (In preparation) In : Bioinformatics.

    Research output: Contribution to journalArticle

  64. Published

    Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem

    Gutin, G., Kratsch, S. & Wahlström, M., 2015, In : Algorithmica. p. 1-20 20 p.

    Research output: Contribution to journalArticle

  65. Published

    Predictive Complexity for Games with Finite Outcome Spaces

    Kalnishkan, Y., 2015, Measures of Complexity: Festschrift for Alexey Chervonenkis. Vovk, V., Papadopoulos, H. & Gammerman, A. (eds.). Springer-Verlag, p. 117-139 23 p. 8

    Research output: Chapter in Book/Report/Conference proceedingChapter

  66. Published

    Short Proofs for the Determinant Identities

    Hrubes, P. & Tzameret, I., 2015, In : SIAM Journal on Computing. 44, 2, p. 340–383 44 p.

    Research output: Contribution to journalArticle

  67. In preparation

    Signatures in Formal Semantics (tentative title)

    Chatzikyriakidis, S. & Luo, Z., 2015, (In preparation) Modern Perspectives in Type-Theoretical Semantics. Chatzikyriakidis, S. & Luo, Z. (eds.). Springer

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

  68. In preparation

    Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives

    Chockler, G., Dobre, D., Shraer, A. & Spiegelman, A., 2015, (In preparation)

    Research output: Working paper

  69. Published

    Structural Parameterizations of the Mixed Chinese Postman Problem

    Gutin, G., Jones, M. & Wahlstrom, M., 2015, 23rd Europ. Symp. Algorithms (ESA 2015). Springer-Verlag, Vol. 9294, p. 668-679 (Lect. Notes Comput. Sci.)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  70. Published

    Using Signatures in Type Theory to Represent Situations

    Chatzikyriakidis, S. & Luo, Z., 2015, New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops in Japan (LENLS, JURISIN and GABA), Revised Selected Papers. LNCS 9067, 2015. .

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

  71. Published

    Valued Workflow Satisfiability Problem

    Crampton, J., Gutin, G. & Karapetyan, D., 2015, Proceedings of the 20th ACM Symposium on Access Control Models and Technologies. p. 3-13 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  72. 2014
  73. Published

    Non-commutative Formulas and Frege Lower Bounds: a New Characterization of Propositional Proofs

    Li, F., Tzameret, I. & Wang, Z., 30 Dec 2014, ArXiV. p. 1 32 p.

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

  74. Published

    Selective mixture of Gaussians clustering for location fingerprinting

    Nguyen, K. & Luo, Z., 5 Dec 2014, 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (i-Locate, MOBIQUITOUS 2014). London, UK: ACM, 10 p.

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

  75. Published

    Activity Recognition for an Agent-oriented Personal Health System

    Kafali, O., Romero, A. E. & Stathis, K., Dec 2014, Principles and Practice of Multi-Agent Systems - 17th International Conference, PRIMA 2014. Khanh Dam, H., Pitt, J., Xu, Y., Governatori, G. & Ito, T. (eds.). Springer

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

  76. Published

    Natural Language Inference in Coq

    Chatzikyriakidis, S. & Luo, Z., Dec 2014, In : Journal of Logic, Language and Information. 23, 4

    Research output: Contribution to journalArticle

  77. Published

    Iterative Plan Construction for the Workflow Satisfiability Problem

    Cohen, D., Crampton, J., Gagarin, A., Gutin, G. & Jones, M., 21 Nov 2014, In : Journal of Artificial Intelligence Research. 51, p. 555-577 23 p.

    Research output: Contribution to journalArticle

  78. Published

    Model solutions and properties for diagnosing student programs in Ask-Elle

    van Binsbergen, L. T., 5 Nov 2014, p. 31-40 10 p.

    Research output: Contribution to conferencePaper

  79. Published

    Conflict, Post-Conflict and Failed States: Challenges to Healthcare

    Cole, J., 4 Nov 2014, In : RUSI Journal. 159, 9, p. 14-18 5 p.

    Research output: Contribution to journalArticle

  80. Published

    Dynamic Performance Profiling of Cloud Caches

    Chockler, G., Vigfusson, Y., Saemundsson, T. & Bjornsson, H., 3 Nov 2014, p. 1-14 14 p.

    Research output: Contribution to conferencePaper

  81. Published
  82. Published

    HYDRA: a HYbrid Diagnosis and monitoRing Architecture for diabetes

    Kafali, O., Schachtle, U. & Stathis, K., 15 Oct 2014

    Research output: Contribution to conferencePaper

  83. Published

    Progressive promoter element combinations classify conserved orthogonal plant circadian gene expression modules

    Smieszek, S. P., Yang, H., Paccanaro, A. & Devlin, P. F., 6 Oct 2014, In : Journal of the Royal Society. Interface. 11, 99, p. 1-11 11 p.

    Research output: Contribution to journalArticle

  84. Published

    Generalised Entropies and Asymptotic Complexities of Languages

    Kalnishkan, Y., Vyugin, M. V. & Vovk, V., Oct 2014, In : Information and Computation. 237, p. 101–141

    Research output: Contribution to journalArticle

  85. Published

    Anomaly Detection of Trajectories with Kernel Density Estimation by Conformal Prediction

    Smith, J., Nouretdinov, I., Craddock, R., Offer, C. & Gammerman, A., 19 Sep 2014, Artificial Intelligence Applications and Innovations: AIAI2014 Workshops. Rhodes, Greece: Springer, p. 271-280 10 p.

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

  86. Published

    Conformal Prediction under Probabilistic Input

    Nouretdinov, I., 19 Sep 2014, Artificial Intelligence Applications and Innovations: AIAI2014 Workshops. Rhodes, Greece, p. 291-300 10 p.

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

  87. Published

    Randomized Rounding in the Presence of a Cardinality Constraint

    Doerr, B. & Wahlström, M., 1 Sep 2014, In : ACM Journal of Experimental Algorithmics. 19, 2

    Research output: Contribution to journalArticle

  88. Published

    GOssTo: a stand-alone application and a web tool for calculating semantic similarities on the Gene Ontology

    Caniza, H., Romero, A. E., Heron, S., Yang, H., Devoto, A., Frasca, M., Mesiti, M., Valentini, G. & Paccanaro, A., 1 Aug 2014, In : Bioinformatics. 30, 15, p. 2235-6 2 p.

    Research output: Contribution to journalArticle

  89. Published

    Bioinformatics on the cloud computing platform Azure

    Shanahan, H., Harrison, A. & Owen, A. M., 22 Jul 2014, In : PLoS ONE. 9, 7, p. e102642

    Research output: Contribution to journalArticle

  90. Published

    Senescent ground tree rewrite systems

    Hague, M., 14 Jul 2014, CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM, 10 p.

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

  91. Published

    Sparser Random 3SAT Refutation Algorithms and the Interpolation Problem: Extended Abstract

    Tzameret, I., 8 Jul 2014, Automata, Languages, and Programming - 41st International Colloquium, (ICALP) 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {I}: --. p. 1015-1026 12 p. (LNCS)

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

  92. Published

    Modular grammar specification

    Johnstone, A., Scott, E. & van den Brand, M., 1 Jul 2014, In : Science of Computer Programming. 87, p. 23-43

    Research output: Contribution to journalArticle

  93. Published

    Inductive Venn Prediction

    Lambrou, A., Nouretdinov, I. & Papadopoulos, H., 24 Jun 2014, In : Annals of Mathematics and Artificial Intelligence.

    Research output: Contribution to journalArticle

  94. Published

    An extensive analysis of disease-gene associations using network integration and fast kernel-based gene prioritization methods

    Valentini, G., Paccanaro, A., Caniza, H., Romero, A. E. & Re, M., Jun 2014, In : Artificial Intelligence in Medicine. 61, 2, p. 63-78 16 p.

    Research output: Contribution to journalArticle

  95. Published

    Balancing act: matching growth with environment by the TOR signalling pathway

    Henriques, R., Bogre, L., Horvath, B. & Magyar, Z., Jun 2014, In : Journal of Experimental Botany. 65, 10, p. 2691-2701 11 p.

    Research output: Contribution to journalLiterature review

  96. Published

    Saturation algorithms for model-checking pushdown systems

    Hague, M. & Carayol, A., May 2014, Proceedings of the 14th International Conference on Automata and Formal Languages . 24 p.

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

  97. Published

    Parameterized Complexity of the $k$-Arc Chinese Postman Problem

    Gutin, G., Jones, M. & Sheng, B., 6 Mar 2014, European Symposium on Algorithms 2014. Springer-Verlag, Vol. 8737, p. 530-541 (Lecture Notes in Computer Science; vol. 8737)

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

  98. Published

    A Tool for Balance Control Training Using Muscle Synergies and Multimodal Interfaces

    Galeano Galeano, D., Brunetti, F., Torricelli, D., Piazza, S. & Pons, J. L., 5 Mar 2014, In : BioMed research international.

    Research output: Contribution to journalArticle

  99. Published

    Propagating changes in topic subscription status of processes in an overlay network

    Chockler, G., Bortnikov, V., Roytman, A. & Spreitzer, M., 25 Feb 2014, IPC No. G06F15/16, G06F15/173, Patent No. US 8661080 B2, Priority date 15 Jul 2010

    Research output: Patent

  100. Published

    Preface: Brazilian symposium on programming languages (SBLP 2011)

    Braga, C. & Fiadeiro, J. L., 11 Jan 2014, In : Science of Computer Programming. 93, PART A, p. 1-2 2 p.

    Research output: Contribution to journalEditorial

  101. Published

    Preface

    Fiadeiro, J. L., Liu, Z. & Xue, J., 1 Jan 2014, In : Lecture Notes in Computer Science. 8348, p. v 1 p.

    Research output: Contribution to journalEditorial

  102. Published

    An Agent Architecture for Concurrent Bilateral Negotiations

    Alrayes, B. & Stathis, K., 2014, Lecture Notes in Business Information Processing: Impact of Decision Support Systems for Global Environments. Springer, p. 79-89

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

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