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

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

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

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

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

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

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

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

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

  11. Published

    Solving Queries over Modular Logic Programs

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

    Research output: Contribution to conferenceAbstractpeer-review

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

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

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

  15. Published

    Towards Self-Healing SDN

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

    Research output: Contribution to conferenceOtherpeer-review

  16. 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)peer-review

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

  18. 2013
  19. 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 journalArticlepeer-review

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

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

  22. Published

    PDB structural analysis service

    Alnasir, J., 1 Nov 2013

    Research output: Non-textual formSoftware

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

  24. Published

    Choreography synthesis as contract agreement

    Lange, J. & Scalas, A., 15 Oct 2013, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 131, p. 52-67 16 p.

    Research output: Contribution to journalConference articlepeer-review

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

  26. Published

    GLL parse-tree generation

    Scott, E. & Johnstone, A., 1 Oct 2013, In: Science of Computer Programming. 78, 10, p. 1828–1844 17 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

  31. Published

    Refuting Random 3CNF Formulas in Propositional Logic

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

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

  43. 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 others, Gough, 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 journalArticlepeer-review

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

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

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

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

  48. Published

    Follow the Leader If You Can, Hedge If You Must

    de Rooij, S., van Erven, T., D. Grünwald, P. & M. Koolen, W., 3 Jan 2013, In: ArXiv.org.

    Research output: Contribution to journalArticle

  49. Published

    Featured transition systems: Foundations for verifying variability- intensive systems and their application to LTL model checking

    Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F., 1 Jan 2013, In: Software Engineering, IEEE Transactions on. 39, 8, p. 1069-1089 21 p.

    Research output: Contribution to journalArticlepeer-review

  50. Published

    A Dibutyl Phthalate Sensor Based on a Nanofiber Polyaniline Coated Quartz Crystal Monitor

    Wang, Y., Ding, P., Hu, R., Zhang, J., Ma, X., Luo, Z. & Li, G., Jan 2013, In: Sensors. 13, 3, p. 3765-3775

    Research output: Contribution to journalArticlepeer-review

  51. Published

    (Non-)existence of Polynomial Kernels for the Test Cover Problem

    Gutin, G., Muciaccia, G. & Yeo, A., 2013, In: Information Processing Letters. 113, p. 123-126

    Research output: Contribution to journalArticlepeer-review

  52. Published

    A Completeness Theory for Polynomial (Turing) Kernelization

    Hermelin, D., Kratsch, S., Soltys, K., Wahlström, M. & Wu, X., 2013, IPEC. Springer, Vol. LNCS 8246. p. 202 215 p.

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

  53. Published

    A Logic-Programming Semantics of Services

    Tutu, I. & Fiadeiro, J. L., 2013, p. 299-313.

    Research output: Contribution to conferencePaperpeer-review

  54. Published

    A long-range self-similarity approach to segmenting DJ mixed music streams

    Scarfe, T., Koolen, W. M. & Kalnishkan, Y., 2013, Artificial Intelligence Applications and Innovations: Proceedings of the 9th IFIP WG 12.5 International Conference, AIAI 2013, Paphos, Cyprus, September 30 – October 2, 2013. Papadopoulos, H., Andreou, A. S., Iliadis, L. & Maglogiannis, I. (eds.). Springer, p. 235-244 10 p. (IFIP Advances in Information and Communication Technology; vol. 412).

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

  55. Forthcoming

    A new bound for 3-satisfiable MaxSat and its algorithmic application

    Gutin, G., Jones, M., Scheder, D. & Yeo, A., 2013, (Accepted/In press) In: Information and Computation. 8 p.

    Research output: Contribution to journalArticlepeer-review

  56. Published

    A New Efficient In Situ Sampling Model for Heuristic Selection in Optimal Search

    Franco, S., Barley, M. W. & Riddle, P. J., 2013, AI 2013: Advances in Artificial Intelligence : 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Cranefield, S. & Nayak, A. C. (eds.). Springer, p. 178-189 12 p. (Lecture Notes in Computer Science; vol. 8272).

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

  57. Published

    A Pluralist Approach to Type-Theoretic Foundations.

    Luo, Z., 2013, Inter. Conf. on Type Theory, Homotopy Theory and Univalent Foundations. .

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

  58. Published

    A RESTful and decentralised implementation of open objects

    Goncalves, P. & Stathis, K., 2013, p. 1515-1524. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  59. Published

    A Self-Healing Distributed Pervasive Health System

    Bromuri, S., Schumacher, M. & Stathis, K., 2013, In: Int. J. of Web Engineering and Technology. 8, 2, p. 177 196 p.

    Research output: Contribution to journalArticlepeer-review

  60. Published

    A timed component algebra for services

    Delahaye, B., Fiadeiro, J. L., Legay, A. & Lopes, A., 2013, FMOODS/FORTE. Beyer, D. & Borelae, M. (eds.). Springer, p. 242-257 16 p. (Lecture Notes in Computer Science; vol. 7892).

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

  61. Unpublished

    Above And Below Guarantee Parameterizations For Combinatorial Optimisation Problems

    Jones, M., 2013, (Unpublished) 141 p.

    Research output: ThesisDoctoral Thesis

  62. Published

    Abusing the Tutte Matrix: An Algebraic Instance Compression for the K-set-cycle Problem

    Wahlström, M., 2013, STACS. p. 341-352 12 p.

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

  63. Unpublished

    Adaptive Online Learning

    Adamskiy, M., 2013, (Unpublished)

    Research output: ThesisDoctoral Thesis

  64. Unpublished

    Algorithms for Parameterized Constraint Satisfaction Problems

    Crowston, R., 2013, (Unpublished) 125 p.

    Research output: ThesisDoctoral Thesis

  65. Published

    An Algebraic Theory of Complexity for Discrete Optimisation

    Cohen, D. A., Cooper, M. C., Creed, P., Jeavons, P. G. & Živný, S., 2013, In: SIAM Journal on Computing. 42, 5, p. 1915-1939 24 p.

    Research output: Contribution to journalArticlepeer-review

  66. Forthcoming

    An Overview of Gene Regulation

    Shanahan, H. & Harrison, A., 2013, (Accepted/In press) Approaches to Integrative Bioinformatics. Chen, MI. & Hofstaedt, R. (eds.). Springer, p. 21-69

    Research output: Chapter in Book/Report/Conference proceedingChapter

  67. Published

    Argumentative Agents for Service-Oriented Computing

    Morge, M., McGinnis, J., Bromuri, S., Mancarella, P., Stathis, K. & Toni, F., 2013, Multiagent Systems and Applications. Ganzha, M. & Jain, L. C. (eds.). Springer-Verlag Berlin Heidelberg, p. 217-255 39 p.

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

  68. Published

    Artificial Intelligence Applications in Biomedicine

    Vlamos, P., Lefkimmiatis, K., Cocianu, C., State, L. & Luo, Z., 2013, In: Advances in Artificial Intelligence. 2 p.

    Research output: Contribution to journalArticlepeer-review

  69. Published

    Brief Announcement: Consistency and Complexity Tradeoffs for Highly-Available Multi-Cloud Store

    Chockler, G., Shraer, A. & Dobre, D., 2013.

    Research output: Contribution to conferencePaperpeer-review

  70. Published

    Comorphisms of structured institutions

    Tutu, I., 2013, In: Information Processing Letters. 113, p. 894-900 22-24.

    Research output: Contribution to journalArticlepeer-review

  71. Unpublished

    Consistency and Complexity Tradeoffs for Highly-Available Multi-Cloud Store

    Chockler, G., Dobre, D. & Shraer, A., 2013, (Unpublished).

    Research output: Working paper

  72. Published

    Constraint Expressions and Workflow Satisability

    Crampton, J. & Gutin, G., 2013, 18th ACM SACMAT. p. 73-84

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

  73. Published

    Detecting and predicting privacy violations in online social networks

    Kafali, O., Gunay, A. & Yolum, P., 2013, In: Distributed and Parallel Databases. p. 1-30 30 p.

    Research output: Contribution to journalArticlepeer-review

  74. Published

    DIESECT: A DIstributed Environment for Simulating E-commerce ContracTs

    Wood, D., Kafali, O. & Stathis, K., 2013, E-Commerce and Web Technologies. Huemer, C. & Lops, P. (eds.). Springer Berlin / Heidelberg, Vol. 152. p. 39-50 12 p. (Lecture Notes in Business Information Processing).

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

  75. Published

    Dynamic Performance Profiling of Cloud Caches

    Chockler, G., Vigfusson, Y., Saemundsson, T. & Bjornsson, H., 2013.

    Research output: Contribution to conferencePosterpeer-review

  76. Published

    Efficient Computation of Balanced Structures

    Harris, D. G., Morsy, E., Pandurangan, G., Robinson, P. & Srinivasan, A., 2013, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. p. 581-593 13 p.

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

  77. Published

    Fast byzantine agreement in dynamic networks

    Augustine, J., Pandurangan, G. & Robinson, P., 2013, ACM Symposium on Principles of Distributed Computing, PODC '13, Montreal, QC, Canada, July 22-24, 2013. p. 74-83 10 p.

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

  78. Published

    Fixed-Parameter Tractability of Workflow Satisability in the Presence of Seniority Constraints

    Crampton, J., Crowston, R., Gutin, G., Jones, M. & Ramanujan, M. S., 2013, FAW-AAIM 2013: Lecture Notes in Computer Science. Vol. 7924. p. 198-209

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

  79. Published

    Island Grammar-Based Parsing Using GLL and Tom

    Afroozeh, A., Bach, J-C., van den Brand, M., Johnstone, A., Manders, M., Moreau, P-E. & Scott, E., 2013, Software Language Engineering Lecture Notes in Computer Science : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. p. 224-243 20 p.

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

  80. Published

    Kernel Ridge Regression

    Vovk, V., 2013, Empirical Inference: Festschrift in Honor of Vladimir N. Vapnik. Springer, p. 105-116 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  81. Published

    Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic

    Allender, E., Davie, G., Friedman, L., Hopkins, S. & Tzameret, I., 2013, In: Chicago Journal of Theoretical Computer Science. 5, p. 1-15 15 p.

    Research output: Contribution to journalArticlepeer-review

  82. Published

    Logical Foundations of Services

    Tutu, I., 2013, p. 111-118.

    Research output: Contribution to conferencePaperpeer-review

  83. Published

    Maximum Balanced Subgraph Problem Parameterized Above Lower Bound

    Crowston, R., Gutin, G., Jones, M. & Muciaccia, G., 2013, In: Theoretical Computer Science. 513, p. 434-445

    Research output: Contribution to journalArticlepeer-review

  84. Unpublished

    Merging Time Series with Specialist Experts

    Scarfe, T. & Kalnishkan, Y., 2013, (Unpublished) 16 p.

    Research output: Working paper

  85. Published

    Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

    Denielou, P-M. & Yoshida, N., 2013, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II: ICALP (2). 2013 ed. Springer, Vol. 7966. p. 174 186 p.

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

  86. Published

    On the complexity of universal leader election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A., 2013, ACM Symposium on Principles of Distributed Computing, PODC '13, Montreal, QC, Canada, July 22-24, 2013. p. 100-109 10 p.

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

  87. Published

    ORC: an Ontology Reasoning Component for Diabetes

    Kafali, O., Sindlar, M., Weide, T. V. D. & Stathis, K., 2013, 2nd International Workshop on Artificial Intelligence and Netmedicine (NetMed'13).

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

  88. Forthcoming

    Parameterized Complexity of k-Chinese Postman Problem

    Gutin, G., Muciaccia, G. & Yeo, A., 2013, (Accepted/In press) In: Theoretical Computer Science.

    Research output: Contribution to journalArticlepeer-review

  89. Forthcoming

    Parameterized Complexity of MaxSat Above Average

    Crowston, R., Gutin, G., Jones, M., Raman, V. & Saurabh, S., 2013, (Accepted/In press) In: Theoretical Computer Science.

    Research output: Contribution to journalArticlepeer-review

  90. Published

    Parameterized Complexity of Satisfying Almost All Linear Equations over F_2

    Crowston, R., Gutin, G., Jones, M. & Yeo, A., 2013, In: Theory of Computing Systems. 52, p. 719-728

    Research output: Contribution to journalArticlepeer-review

  91. Published

    Parameterized Two-Player Nash Equilibrium

    Hermelin, D., Huang, C-C., Kratsch, S. & Wahlström, M., 2013, In: Algorithmica. 65, 4, p. 802-816 15 p.

    Research output: Contribution to journalArticlepeer-review

  92. Published

    Posturography Platform and Balance Control Training and Research System Based on FES and Muscle Synergies

    Galeano Galeano, D., Brunetti, F., Torricelli, D., Piazza, S. & Pons, J. L., 2013, Neurotechnology, Electronics, and Informatics. Londral, A. R., Encarnação, P. & Pons Rovira, J. L. (eds.). Springer-Verlag, Vol. 13. ( Springer Series in Computational Neuroscience; vol. 13).

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

  93. Published

    Proving Random Formulas in Propositional Logic

    Tzameret, I. & Muller, S., 2013, Logic Across the University: Foundations and Application: Proceedings of the Tsinghua Logic Conference. van Benthem, J. & Liu, F. (eds.). London: College Publications London, Vol. 47. p. 201-208 8 p. (Studies in Logic).

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

  94. Published

    Robust Leader Election in a Fast-Changing World

    Augustine, J., Kulkarni, T., Nakhe, P. & Robinson, P., 2013, Proceedings Ninth International Workshop on Foundations of Mobile Computing, FOMC 2013, Jerusalem, Israel, October 17-18, 2013.. p. 38-49 12 p.

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

  95. Published

    Robust synthesis for real-time systems

    Larsen, K. G., Legay, A., Traonouez, L-M. & Wąsowski, A., 2013, In: Theoretical Computer Science.

    Research output: Contribution to journalArticlepeer-review

  96. Published

    Safe Specification of Operator Precedence Rules

    Afroozeh, A., van den Brand, M., Johnstone, A., Scott, E. & Vinju, J., 2013, Software Language Engineering Lecture Notes in Computer Science . Vol. 8225. p. 137-156 20 p.

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

  97. Published

    Storage and search in dynamic peer-to-peer networks

    Augustine, J., Molla, A. R., Morsy, E., Pandurangan, G., Robinson, P. & Upfal, E., 2013, 25th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA '13, Montreal, QC, Canada - July 23 - 25, 2013. p. 53-62 10 p.

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

  98. Published

    Sublinear Bounds for Randomized Leader Election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A., 2013, Distributed Computing and Networking, 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings. p. 348-362 15 p.

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

  99. Published

    Subtyping in Type Theory: Coercion Contexts and Local Coercions

    Luo, Z. & Part, F., 2013.

    Research output: Contribution to conferenceAbstractpeer-review

  100. Unpublished

    The Effect of Representations on Constraint Satisfaction Problems

    Houghton, C., 2013, (Unpublished) 138 p.

    Research output: ThesisDoctoral Thesis

  101. Unpublished

    Theory and Implementation of Coercive Subtyping

    Xue, T., 2013, (Unpublished)

    Research output: ThesisDoctoral Thesis

  102. Published

    Transductive conformal predictors

    Vovk, V., 2013, Proceedings of the Ninth Conference on Artificial Intelligence Applications and Innovations. Heidelberg: Springer, Vol. 412. p. 348-360 13 p.

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

Previous 1...4 5 6 7 8 9 10 11 ...23 Next