1. 2014
  2. 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

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

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

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

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

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

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

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

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

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

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

  13. Published

    An Institutional Foundation for the K Semantic Framework

    Chirita, C-E., 2014

    Research output: ThesisMaster's Thesis

  14. Published

    Analyzing and Synthesizing Genomic Logic Functions

    Paoletti, N., Yordanov, B., Hamadi, Y., Wintersteiger, C. M. & Kugler, H., 2014, Computer Aided Verification. p. 343-357 15 p.

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

  15. Published

    Attribute-Based Encryption for Access Control Using Elementary Operations

    Crampton, J. & Pinto, A., 2014, 27th Computer Security Foundations Symposium. IEEE, p. 125-139

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

  16. Published

    Authorized workflow schemas: deciding realizability through $\mathsf{LTL }(\mathsf{F })$ model checking

    Crampton, J., Huth, M. & Huan-Pu Kuo, J., 2014, In : International Journal on Software Tools for Technology Transfer. 16, 1, p. 31-48

    Research output: Contribution to journalArticle

  17. Published

    Beyond the Basic Conformal Prediction Framework

    Vovk, V., 2014, Conformal Prediction for Reliable Machine Learning: Theory, Adaptations, and Applications. Balasubramanian, V. N., Ho, S-S. & Vovk, V. (eds.). 1 ed. Elsevier, p. 21-46 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  18. Published

    Biomedical Applications: Diagnostic and Prognostic

    Nouretdinov, I., Bellotti, T. & Gammerman, A., 2014, Conformal Prediction for Reliable Machine Learning: Theory, Adaptations and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). Elsevier, p. 217-230 14 p. 11

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. Published

    Bioremediation in marine ecosystems: a computational study combining ecological modelling and flux balance analysis

    Taffi, M., Paoletti, N., Angione, C., Pucciarelli, S., Marini, M. & Liò, P., 2014, In : Frontiers in Genetics. 5, 319

    Research output: Contribution to journalArticle

  20. Published

    Brief announcement: gracefully degrading consensus and k-set agreement under dynamic link failures

    Schwarz, M., Winkler, K., Schmid, U., Biely, M. & Robinson, P., 2014, Proceedings of the 2014 ACM symposium on Principles of distributed computing. p. 341-343 3 p.

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

  21. Published

    Buy low, sell high

    Koolen, W. & Vovk, V., 2014, In : Theoretical Computer Science. 558, p. 144-158 15 p.

    Research output: Contribution to journalArticle

  22. Published

    Caching and Auditing in the RPPM Model

    Crampton, J. & Sellwood, J., 2014, Security and Trust Management - 10th International Workshop. Springer, p. 49-64 16 p. (Lecture Notes in Computer Science; vol. 8743).

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

  23. Published

    Calculation of Discrepancy Measures and Applications

    Doerr, C., Gnewuch, M. & Wahlström, M., 2014, A Panorama of Discrepancy Theory. Chen, W., Srivastav, A. & Travaglini, G. (eds.). Springer, p. 621-678 58 p. (Lecture Notes in Mathematics; vol. 2107).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. Forthcoming

    Clique cover and graph separation: New incompressibility results

    Cygan, M., Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 2014, (Accepted/In press) In : ACM Transactions on Computation Theory (TOCT). 6, 2

    Research output: Contribution to journalArticle

  25. Published

    CloudSafetyNet: Detecting Data Leakage between Cloud Tenants

    Priebe, C., Muthukumaran, D., O'Keeffe, D., Eyers, D. M., Shand, B., Kapitza, R. & Pietzuch, P. R., 2014, Proceedings of the 6th edition of the ACM Workshop on Cloud Computing Security, CCSW '14, Scottsdale, Arizona, USA, November 7, 2014. p. 117-128 12 p.

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

  26. Forthcoming

    Compression via Matroids: A Randomized Polynomial Kernel for Odd Cycle Transversal

    Kratsch, S. & Wahlström, M., 2014, (Accepted/In press) In : ACM Transactions on Algorithms (TALG). 10, 4, 20 p.

    Research output: Contribution to journalArticle

  27. Published

    CONAN: a heuristic strategy for COncurrent Negotiating AgeNts

    Alrayes, B., Kafali, O. & Stathis, K., 2014, Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems. ACM, p. 1585-1586

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

  28. Unpublished

    Conformal Prediction and Testing under On-line Compression Models

    Fedorova, V., 2014, (Unpublished) 140 p.

    Research output: ThesisDoctoral Thesis

  29. Published

    Criteria of efficiency for conformal prediction

    Vovk, V., Fedorova, V., Nouretdinov, I. & Gammerman, A., 2014, On-line Compression Modelling Project (New Series), 19 p.

    Research output: Working paper

  30. Published

    DEX: Self-Healing Expanders

    Pandurangan, G., Robinson, P. & Trehan, A., 2014, 2014 IEEE 28th International Parallel and Distributed Processing Symposium, Phoenix, AZ, USA, May 19-23, 2014. p. 702-711 10 p.

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

  31. Published

    Distributed Symmetry Breaking in Hypergraphs

    Kutten, S., Nanongkai, D., Pandurangan, G. & Robinson, P., 2014, Distributed Computing - 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014. Proceedings. p. 469-483 15 p.

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

  32. Published

    Efficiency of conformalized ridge regression

    Burnaev, E. & Vovk, V., 2014, Proceedings of the Twenty Seventh Annual Conference on Learning Theory: JMLR: Workshop and Conference Proceedings. Vol. 35. p. 605-622 18 p.

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

  33. Published

    Efficient State Merging in Symbolic Execution (Extended Abstract)

    Kuznetsov, V., Kinder, J., Bucur, S. & Candea, G., 2014, p. 45-46. 2 p.

    Research output: Contribution to conferenceAbstract

  34. Published

    Engineering Algorithms for Workflow Satisfiability Problem with User-Independent Constraints

    Cohen, D., Crampton, J., Gagarin, A., Gutin, G. & Jones, M., 2014, FAW 2014. (Lecture Notes in Computer Science; vol. 8497).

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

  35. Published

    Feature Selection

    Bellotti, T., Nouretdinov, I., Yang, M. & Gammerman, A., 2014, Conformal Prediction for Reliable Machine Learning: Theory, Adaptations and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). Elsevier, p. 115-130 16 p. 6

    Research output: Chapter in Book/Report/Conference proceedingChapter

  36. Published

    Fixed-parameter tractability of satisfying beyond the number of variables

    Crowston, R., Gutin, G., Jones, M., Raman, V., Saurabh, S. & Yeo, A., 2014, In : Algorithmica. 68, p. 739-757

    Research output: Contribution to journalArticle

  37. Published

    Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?

    Luo, Z., 2014, Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings. Asher, N. & Soloviev, S. (eds.). Springer-Verlag, p. 177-188 12 p. (Lecture Notes in Computer Science; vol. 8535).

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

  38. Published

    Foundations for structuring behavioural specifications

    Diaconescu, R. & Tutu, I., 2014, In : Journal of Logic and Algebraic Programming. 83, p. 319-338 3-4.

    Research output: Contribution to journalArticle

  39. Published

    From conformal to probabilistic prediction

    Vovk, V., Petej, I. & Fedorova, V., 2014, COPA 2014 Proceedings.

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

  40. Published

    Game-Theoretic Probability

    Vovk, V., 2014, Introduction to Imprecise Probabilities. Augustin, T., Coolen, F. P. A., Cooman, G. D. & Troffaes, M. C. M. (eds.). Wiley-Interscience, p. 114-134 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  41. Published

    Generating Matrix Identities and Proof Complexity

    Li, F. & Tzameret, I., 2014, p. 1-46. 46 p.

    Research output: Contribution to conferencePaper

  42. Published

    Half-integrality, LP-branching and FPT Algorithms

    Wahlström, M., 2014, SODA. Chekuri, C. (ed.). SIAM, p. 1762-1781 20 p.

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

  43. Published

    Heterogeneous and Asynchronous Networks of Timed Systems

    Fiadeiro, J. L. & Lopes, A., 2014, Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014. Springer, Vol. 8411. p. 79-93 15 p. (Lecture Notes in Computer Science).

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

  44. Published

    Heterogeneous Timed Machines

    Delahaye, B., Fiadeiro, J. L., Legay, A. & Lopes, A., 2014, Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014.. Springer, Vol. 8687. p. 115-132 18 p. (Lecture Notes in Computer Science).

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

  45. Published

    Kernelization, Matroid Methods

    Wahlström, M., 2014, Encyclopedia of Algorithms. Kao, M-Y. (ed.). Springer, p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  46. Published

    Monotonicity and Completeness in Attribute-Based Access Control

    Crampton, J. & Morisset, C., 2014, Security and Trust Management - 10th International Workshop. Springer, p. 33-48

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

  47. Published

    Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories

    Lungu, G. & Luo, Z., 2014, Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings. Asher, N. & Soloviev, S. (eds.). Springer, p. 138-148 11 p. (Lecture Notes in Computer Science; vol. 8535).

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

  48. Published

    Natural Language Reasoning Using Proof-assistant Technology: Rich Typing and Beyond

    Chatzikyriakidis, S. & Luo, Z., 2014, Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS).

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

  49. Published

    On Correctness of Data Structures under Reads-Write Concurrency

    Chockler, G., Keidar, I. & Lev-Ari, K., 2014.

    Research output: Contribution to conferencePaper

  50. Published

    On Correctness of Data Structures under Reads-Write Concurrency

    Lev-Ari, K., Chockler, G. & Keidar, I., 2014, Distributed Computing: 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings. Kuhn, F. (ed.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. 8784. p. 273-287 15 p. (Lecture Notes in Computer Science).

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

  51. Published

    Parameterisation for abstract structured specifications

    Tutu, I., 2014, In : Theoretical Computer Science. 517, p. 102-142

    Research output: Contribution to journalArticle

  52. Published

    Parameterized Algorithms for Load Coloring Problem

    Gutin, G. & Jones, M., 2014, In : Information Processing Letters. 114

    Research output: Contribution to journalArticle

  53. Published

    Parameterized Directed k-Chinese Postman Problem and k Arc-Disjoint Cycles Problem on Euler Digraphs

    Gutin, G., Jones, M., Sheng, B. & Wahlström, M., 2014, Proceedings of WG 2014.

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

  54. Published

    Path Conditions and Principal Matching: A New Approach to Access Control

    Crampton, J. & Sellwood, J., 2014, 19th ACM Symposium on Access Control Models and Technologies. ACM, p. 187-198

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

  55. Published

    Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem

    Gutin, G., Kratsch, S. & Wahlström, M., 2014, Proceedings of IPEC 2014.

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

  56. Unpublished

    Polynomial Kernels for Graph and Hypergraph Optimisation Problems

    Muciaccia, G., 2014, (Unpublished) 129 p.

    Research output: ThesisDoctoral Thesis

  57. Published

    Polynomially Closed Co-clones

    Lagerkvist, V. & Wahlström, M., 2014, Proceedings of ISMVL 2014: IEEE 44th International Symposium on Multiple-Valued Logic. IEEE, p. 85-90 6 p.

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

  58. Published

    Precise parameter synthesis for stochastic biochemical systems

    Ceska, M., Dannenberg, F., Kwiatkowska, M. & Paoletti, N., 2014, Computational Methods in Systems Biology. p. 86-98 13 p.

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

  59. Forthcoming

    Probability-Free Solutions to the Non-Stationary Newsvendor Problem

    Zhang, Y., Vovk, V. & Zhang, W., 2014, (Accepted/In press) In : Annals of Operations Research.

    Research output: Contribution to journalArticle

  60. Published

    Prototyping symbolic execution engines for interpreted languages

    Bucur, S., Kinder, J. & Candea, G., 2014, Proc. Architectural Support for Programming Languages and Operating Systems (ASPLOS 2014). ACM, p. 239-254

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

  61. Published

    RECON: a Robust multi-agent Environment for simulating COncurrent Negotiations

    Alrayes, B., Kafali, O. & Stathis, K., 2014, In Seventh International Workshop on Agent-based Complex Automated Negotiations (ACAN), AAMAS: best student paper award.

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

  62. Published

    Regular Strategies in Pushdown Reachability Games

    Hague, M. & Carayol, A., 2014, 8th International Workshop on Reachability Problems 2014. 13 p.

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

  63. Published

    Reliable Indoor Location Prediction Using Conformal Measurement

    Nguyen, K. & Luo, Z., 2014, In : Annals of Mathematics and Artificial Intelligence. 10472, 23 p.

    Research output: Contribution to journalArticle

  64. Published

    Reliable Network Traffic Classification and Demand Prediction

    Dashevskiy, M. & Luo, Z., 2014, Predictions for Reliable Machine Learning: Theory, Adaptations and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). ELSEVIER ACADEMIC PRESS INC, p. 231-259 29 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  65. Published

    Satisfying More Than Half of a System of Linear Equations Over GF(2): A Multivariate Approach

    Crowston, R., Fellows, M., Gutin, G., Jones, M., Kim, E. J., Rosamond, F., Ruzsa, I. Z., Thomasse, S. & Yeo, A., 2014, In : Journal of Computer and System Sciences. 80, p. 687-696

    Research output: Contribution to journalArticle

  66. Published

    Segmentation of electronic dance music

    Scarfe, T., Koolen, W. & Kalnishkan, Y., 2014, In : International Journal of Engineering Intelligent Systems for Electrical Engineering and Communications. 22, 3/4

    Research output: Contribution to journalArticle

  67. Published

    Short Propositional Refutations for Dense Random 3CNF Formulas

    Muller, S. & Tzameret, I., 2014, In : Annals of Pure and Applied Logic. 165, p. 1864-1918 55 p.

    Research output: Contribution to journalArticle

  68. Published

    Solving Queries over Modular Logic Programs

    Tutu, I. & Fiadeiro, J. L., 2014.

    Research output: Contribution to conferenceAbstract

  69. Published

    SVM Venn Machine with k-Means Clustering

    Zhou, C., Nouretdinov, I., Luo, Z. & Gammerman, A., 2014, Artificial Intelligence Applications and Innovations: AIAI2014 Workshops. Rhodes, Greece, p. 251-260 10 p.

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

  70. Published

    The Basic Conformal Prediction Framework

    Vovk, V., 2014, Conformal Prediction for Reliable Machine Learning: Theory, Adaptations, and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). 1 ed. Elsevier, p. 3-19 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  71. Published

    The Generalized Loneliness Detector and Weak System Models for k-Set Agreement

    Biely, M., Robinson, P. & Schmid, U., 2014, In : IEEE Transactions Parallel Distributed Systems. 25, 4, p. 1078-1088 11 p.

    Research output: Contribution to journalArticle

  72. Published

    Towards Self-Healing SDN

    Chockler, G. & Trehan, A., 2014.

    Research output: Contribution to conferenceOther

  73. Published

    Using Signatures in Type Theory to Represent Situations

    Chatzikyriakidis, S. & Luo, Z., 2014, JSAI International Symposium on Artificial Intelligence. p. 172-183 12 p.

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

  74. Published

    Venn-Abers predictors

    Vovk, V. & Petej, I., 2014, Proceedings of the Thirtieth Conference on Uncertainty in Artificial Intelligence. p. 829-838 10 p.

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

  75. 2013
  76. E-pub ahead of print

    Dissecting the chromatin interactome of microRNA genes

    Chen, D., Fu, L-Y., Zhang, Z., Yu, G., Zhang, H., Jiang, L., Harrison, A., Shanahan, H., Klukas, C., Zhang, H-Y., Ruan, Y., Chen, LI-LI. & Chen, M., 20 Dec 2013, In : Nucleic Acids Research.

    Research output: Contribution to journalArticle

  77. Published

    Saturation of Concurrent Collapsible Pushdown Systems

    Hague, M., 12 Dec 2013, FSTTCS: Foundations of Software Technology and Theoretical Computer Science. 12 p.

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

  78. Published

    Abstract probabilistic automata

    Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wa̧sowski, A., 1 Nov 2013, In : Information and Computation. 232, p. 66–116 16 p.

    Research output: Contribution to journalArticle

  79. Published

    PDB structural analysis service

    Alnasir, J., 1 Nov 2013

    Research output: Non-textual formSoftware

  80. Published

    Scientific impact evaluation and the effect of self-citations: Mitigating the bias by discounting the h-index

    Ferrara, E. & Romero, A. E., 1 Nov 2013, In : Journal of the American Society for Information Science and Technology. 64, 11, p. 2332-2339 8 p.

    Research output: Contribution to journalArticle

  81. Published

    Enhanced Conformal Predictors for Indoor Localisation Based on Fingerprinting Method

    Nguyen, K. & Luo, Z., 2 Oct 2013, 9th IFIP International Conference on Artificial Intelligence Applications & Innovations (AIAI 2013). p. 411-420 10 p. (IFIP Advances in Information and Communication Technology).

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

  82. Published

    COMMODITY12: A smart e-health environment for diabetes management

    Kafali, O., Bromuri, S., Sindlar, M., van der Weide, T., Aguilar Pelaez, E., Schaechtle, U., Alves, B., Zufferey, D., Rodriguez-Villegas, E., Schumacher, M. & Stathis, K., Oct 2013, In : Journal of Ambient Intelligence and Smart Environments. 5, 5, p. 479-502

    Research output: Contribution to journalArticle

  83. Published

    Conformal prediction under hypergraphical models

    Fedorova, V., Gammerman, A., Nouretdinov, I. & Vovk, V., Oct 2013, The 9th Artificial Intelligence Applications and Innovations Conference (AIAI): 2nd Workshop on Conformal Prediction and its Applications. p. 371-383 13 p.

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

  84. Published

    Defensive Forecast for Conformal Bounded Regression

    Nouretdinov, I. & Lebedev, A., Oct 2013, The 9th Artificial Intelligence Applications and Innovations Conference (AIAI): 2nd Workshop on Conformal Prediction and its Applications. p. 384-393 10 p. (IFIP Advances in Information and Communication Technology; vol. 412).

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

  85. Published

    Learning by Conformal Predictors with Additional Information

    Yang, M., Nouretdinov, I. & Luo, Z., Oct 2013, The 9th Artificial Intelligence Applications and Innovations Conference (AIAI): 2nd Workshop on Conformal Prediction and its Applications. p. 394-400 7 p. (IFIP Advances in Information and Communication Technology; vol. 412).

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

  86. Published

    Refuting Random 3CNF Formulas in Propositional Logic

    Muller, S. & Tzameret, I., Oct 2013, p. 201. 208 p.

    Research output: Contribution to conferencePaper

  87. Published

    C-SHORe: A Collapsible Approach to Verifying Higher-Order Programs

    Broadbent, C., Carayol, A., Hague, M. & Serre, O., 25 Sep 2013, ICFP: International Conference on Functional Programming. p. 13-24 12 p.

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

  88. Published

    An interface theory for service-oriented design

    Fiadeiro, J. L. & Lopes, A., 9 Sep 2013, In : Theoretical Computer Science. 503, p. 1-30

    Research output: Contribution to journalArticle

  89. Published

    Multi-Dimensional Causal Discovery

    Schaechtle, U., Stathis, K. & Bromuri, S., 3 Aug 2013, Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence: Beijing, China, 3-9 August 2013. Rossi, F. (ed.). p. 1649-1655

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

  90. Published

    Social Technologies for Community Response to Epidemics

    Cole, J. & Watkins, C., Aug 2013, Tackling Antimicrobial Resistance - Identifying Future Research Themes: Proceedings of the Conference Tackling Antimicrobial Resistance, 6 February 2013. London: Royal United Services Institute, p. 65-73 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  91. Published

    Conditional validity of inductive conformal predictors

    Vovk, V., 5 Jul 2013, In : Machine Learning. 92, 2-3, p. 349 - 376 28 p.

    Research output: Contribution to journalArticle

  92. Published

    Making Automated Testing of Cloud Applications an Integral Component of PaaS

    Bucur, S., Kinder, J. & Candea, G., Jul 2013, Proc. 4th Asia-Pacific Workshop on Systems (APSYS 2013). USENIX

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

  93. Published

    On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem

    Crampton, J., Gutin, G. & Yeo, A., Jun 2013, In : ACM Transactions on Information and System Security. 16, 1, 4.

    Research output: Contribution to journalArticle

  94. Published

    A model for dynamic reconfiguration in service-oriented architectures

    Fiadeiro, J. L. & Lopes, A., 1 May 2013, In : Software and Systems Modeling. 12, 2, p. 349-367 19 p.

    Research output: Contribution to journalArticle

  95. Published

    A Glucose Sensor Based on Glucose Oxidase Immobilized by Electrospinning Nanofibrous Polymer Membranes Modified with Carbon Nanotubes

    Wang, Y., Xu, H., Wang, Z., Hu, R., Luo, Z., Xu, Z. & Li, G., May 2013, In : Sensors & Transducers Journal. 152, 5, p. 180-185 6 p.

    Research output: Contribution to journalArticle

  96. Published

    Automated Debugging for Arbitrarily Long Executions

    Zamfir, C., Kasikci, B., Kinder, J., Bugnion, E. & Candea, G., May 2013, Proc. 14th Workshop on Hot Topics in Operating Systems (HotOS 2013). USENIX

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

  97. Published

    Jasmonate controls leaf growth by repressing cell proliferation and the onset of endoreduplication while maintaining a potential stand-by mode

    Noir, S., Bömer, M., Takahashi, N., Ishida, T., Tsui, T-L., Balbi, V., Shanahan, H., Sugimoto, K. & Devoto, A., Apr 2013, In : Plant physiology. 161, 4, p. 1930-1951

    Research output: Contribution to journalArticle

  98. Published

    A large-scale evaluation of computational protein function prediction

    Radivojac, P., Clark, W. T., Oron, T. R., Schnoes, A. M., Wittkop, T., Sokolov, A., Graim, K., Funk, C., Verspoor, K., Ben-Hur, A., Pandey, G., Yunes, J. M., Talwalkar, A. S., Repo, S., Souza, M. L., Piovesan, D., Casadio, R., Wang, Z., Cheng, J., Fang, H. & 82 othersGough, J., Koskinen, P., Törönen, P., Nokso-Koivisto, J., Holm, L., Cozzetto, D., Buchan, D. W. A., Bryson, K., Jones, D. T., Limaye, B., Inamdar, H., Datta, A., Manjari, S. K., Joshi, R., Chitale, M., Kihara, D., Lisewski, A. M., Erdin, S., Venner, E., Lichtarge, O., Rentzsch, R., Yang, H., Romero, A. E., Bhat, P., Paccanaro, A., Hamp, T., Kaßner, R., Seemayer, S., Vicedo, E., Schaefer, C., Achten, D., Auer, F., Boehm, A., Braun, T., Hecht, M., Heron, M., Hönigschmid, P., Hopf, T. A., Kaufmann, S., Kiening, M., Krompass, D., Landerer, C., Mahlich, Y., Roos, M., Björne, J., Salakoski, T., Wong, A., Shatkay, H., Gatzmann, F., Sommer, I., Wass, M. N., Sternberg, M. J. E., Škunca, N., Supek, F., Bošnjak, M., Panov, P., Džeroski, S., Šmuc, T., Kourmpetis, Y. A. I., van Dijk, A. D. J., ter Braak, C. J. F., Zhou, Y., Gong, Q., Dong, X., Tian, W., Falda, M., Fontana, P., Lavezzo, E., Di Camillo, B., Toppo, S., Lan, L., Djuric, N., Guo, Y., Vucetic, S., Bairoch, A., Linial, M., Babbitt, P. C., Brenner, S. E., Orengo, C., Rost, B., Mooney, S. D. & Friedberg, I., Mar 2013, In : Nature Methods. 10, 3, p. 221-7 7 p.

    Research output: Contribution to journalArticle

  99. Published

    An identity for kernel ridge regression

    Zhdanov, F. & Kalnishkan, Y., 18 Feb 2013, In : Theoretical Computer Science. 473, p. 157-178

    Research output: Contribution to journalArticle

  100. Published

    Guest Editors’ foreword

    Hutter, M., Stefan, F., Vovk, V. & Zeugmann, T., 18 Feb 2013, In : Theoretical Computer Science. 473, p. 1-3 3 p.

    Research output: Contribution to journalEditorial

  101. Published

    Coercive subtyping: theory and implementation

    Luo, Z., Soloviev, S. & Xue, T., Feb 2013, In : Information and Computation. 223, p. 18-42

    Research output: Contribution to journalArticle

  102. Published

    Evaluation of Bluetooth Properties for Indoor Localisation

    Nguyen, K. & Luo, Z., 3 Jan 2013, Progress in Location-Based Services: Lecture Notes in Geoinformation and Cartography. Munich, Germany: Springer, p. 127-149 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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