1. 2016
  2. Unpublished

    Dynamic Causal Discovery

    Schaechtle, U., 2016, (Unpublished) 146 p.

    Research output: ThesisDoctoral Thesis

  3. Unpublished

    Faithful Visualisation of Similarities in High Dimensional Data

    Kou, J., 2016, (Unpublished) 197 p.

    Research output: ThesisDoctoral Thesis

  4. Submitted

    Impossibility Results for k-Set Agreement in Message-Passing Systems

    Biely, M., Robinson, P., Schmid, U. & Winkler, K., 2016, (Submitted) In: Information and Computation.

    Research output: Contribution to journalArticlepeer-review

  5. Forthcoming

    Introduction: Modern Perspectives in Type Theoretical Semantics

    Chatzikyriakidis, S. & Luo, Z., 2016, (Accepted/In press) Modern Perspectives in Type Theoretical Semantics.

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

  6. Published

    Many-Valued Institutions for Constraint Specification

    Chirita, C-E., Luiz Fiadeiro, J. & Orejas, F., 2016, Fundamental Approaches to Software Engineering. Stevens, P. & Wasowski, A. (eds.). Berlin: Springer, Vol. 9633. p. 359-376 18 p. (Lecture Notes in Computer Science; vol. 9633).

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

  7. Forthcoming

    On the Interpretation of Common Nouns: Types v.s. Predicates

    Chatzikyriakidis, S. & Luo, Z., 2016, (Accepted/In press) Modern Perspectives in Type Theoretical Semantics. Springer

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

  8. Published

    Purely pathwise probability-free Ito integral

    Vovk, V., 2016, In: Matematychni Studii. 46, 1, p. 96-110 15 p.

    Research output: Contribution to journalArticlepeer-review

  9. Unpublished
  10. Forthcoming

    Resiliency Policies in Access Control Revisited

    Crampton, J., Gutin, G. & Watrigant, R., 2016, (Accepted/In press) Proceedings of 21st ACM Symposium on Access Control Models and Technologies (SACMAT 2016). ACM

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Published

    Specialist Experts for Prediction with Side Information

    Kalnishkan, Y., Adamskiy, D., Chernov, A. & Scarfe, T., 2016, 2015 IEEE International Conference on Data Mining Workshop (ICDMW). IEEE, p. 1470-1477 8 p.

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

  12. Unpublished

    The efficiency of conformal predictors for anomaly detection

    Smith, J., 2016, (Unpublished)

    Research output: ThesisDoctoral Thesis

  13. Published

    Universal Probability-Free Conformal Prediction

    Vovk, V. & Pavlovic, D., 2016, Proceedings of COPA 2016: Fifth Symposium on Conformal and Probabilistic Prediction with Applications. Springer, Vol. 9653. p. 40-47 8 p. (Lecture Notes in Computer Science; vol. 9653).

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

  14. 2015
  15. Published

    A Full Operational Semantics for Asynchronous Relational Networks

    Vissani, I., Lopez Pombo, C., Tutu, I. & Fiadeiro, J. L., 30 Dec 2015, Recent Advances in Algebraic Development Techniques. Springer, p. 131-150 20 p. (Lecture Notes in Computer Science; vol. 9463).

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

  16. E-pub ahead of print

    An Institutional Foundation for the K Semantic Framework

    Chirita, C-E. & Serbanuta, T. F., 30 Dec 2015, In: Lecture Notes in Computer Science. 9463, p. 9-29 21 p.

    Research output: Contribution to journalArticlepeer-review

  17. Published

    Hypergraphical Conformal Predictors

    Fedorova, V., Gammerman, A., Nouretdinov, I. & Vovk, V., 21 Dec 2015, In: International Journal on Artificial Intelligence Tools. 24, 6, 1560003.

    Research output: Contribution to journalArticlepeer-review

  18. Published

    Transductive Conformal Prediction

    Vovk, V., 21 Dec 2015, In: International Journal on Artificial Intelligence Tools. 24, 6, 1560001.

    Research output: Contribution to journalArticlepeer-review

  19. E-pub ahead of print

    Enabling Robust and Efficient Distributed Computation in Dynamic Peer-to-Peer Networks

    Augustine, J., Pandurangan, G., Robinson, P., Roche, S. & Upfal, E., 17 Dec 2015, Foundations of Computer Science (FOCS), 2015 IEEE 56th Annual Symposium on. IEEE, p. 1-20 20 p.

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

  20. Published

    Network-aware stream query processing in mobile ad-hoc networks

    O'Keeffe, D., Salonidis, T. & Pietzuch, P. R., 17 Dec 2015, 34th IEEE Military Communications Conference, MILCOM 2015, Tampa, FL, USA, October 26-28, 2015. p. 1335-1340 6 p.

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

  21. Published

    Large-scale probabilistic predictors with and without guarantees of validity

    Vovk, V., Petej, I. & Fedorova, V., 7 Dec 2015, NIPS'15: Proceedings of the 28th International Conference on Neural Information Processing Systems. MIT Press, Vol. 1. p. 892-900 9 p.

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

  22. E-pub ahead of print

    A network medicine approach to quantify distance between hereditary disease modules on the interactome

    Caniza, H., Romero, A. E. & Paccanaro, A., 3 Dec 2015, In: Scientific Reports. 5, p. 1-10 10 p., 17658.

    Research output: Contribution to journalArticlepeer-review

  23. Published

    International employees’ concerns during serious disease outbreaks and the potential impact on business continuity: Lessons identified from the 2014–15 West African Ebola outbreak

    Cole, J. & Watkins, C., 1 Dec 2015, In: Journal of Business Continuity and Emergency Planning. 9, 2, p. 149-162 14 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    Investigation into the annotation of protocol sequencing steps in the sequence read archive

    Alnasir, J. & Shanahan, H., Dec 2015, In: GigaScience. 4, 1, p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  25. Published

    Teaching Data Science and Cloud Computing in Low and Middle Income Countries

    Shanahan, H., Harrison, A. & May, S., 23 Nov 2015, In: Advanced Techniques in Biology & Medicine. 3, 3, p. 1-5 5 p., 1000150.

    Research output: Contribution to journalArticlepeer-review

  26. E-pub ahead of print

    Causal Trees, Finally

    Bruni, R., Montanari, U. & Sammartino, M., 20 Nov 2015, Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Bodei, C., Ferrari, G. & Priami, C. (eds.). Springer-Verlag, p. 27-43 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9465).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. Published

    Parameterized and Approximation Algorithms for the Load Coloring Problem

    Barbero, F., Gutin, G., Jones, M. & Sheng, B., 9 Nov 2015, 10th International Symposium on Parameterized and Exact Computation. Schloss Dagstuhl –Leibniz Center for Informatics, p. 43-54 12 p. (LIPIcs).

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

  28. Published

    A Constructive Approach for Proving Data Structures’ Linearizability

    Lev-Ari, K., Chockler, G. & Keidar, I., 5 Nov 2015, Distributed Computing 29th International Symposium, DISC 2015 Tokyo, Japan, October 7–9, 2015 Proceedings. Moses, Y. (ed.). Springer-Verlag, Vol. 9363. p. 356–370 15 p. 97. (Lecture Notes in Computer Science).

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

  29. Published

    A coalgebraic semantics for causality in Petri nets

    Bruni, R., Montanari, U. & Sammartino, M., Nov 2015, In: Journal of Logical and Algebraic Methods in Programming. 84, 6, p. 853-883 31 p.

    Research output: Contribution to journalArticlepeer-review

  30. Published

    Distributed agreement in dynamic peer-to-peer networks

    Augustine, J., Pandurangan, G., Robinson, P. & Upfal, E., Nov 2015, In: Journal of Computer and System Sciences. 81, 7, p. 1088-1109 22 p.

    Research output: Contribution to journalArticlepeer-review

  31. Published

    Variable and value elimination in binary constraint satisfaction via forbidden patterns

    Cohen, D., Cooper, M., Escamocher, G. & Zivny, S., Nov 2015, In: Journal of Computer and System Sciences. 81, 7, p. 1127–1143 17 p.

    Research output: Contribution to journalArticlepeer-review

  32. Published

    Applications of mobile agents in healthcare domain: a literature survey

    Bagga, P. & Hans, R., 31 Oct 2015, In: International Journal of Grid Distribution Computing. 8, 5, p. 55-72 28 p.

    Research output: Contribution to journalArticlepeer-review

  33. Published

    Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach

    Hague, M., Lin, A. & Ong, C-H. L., 23 Oct 2015, OOPSLA 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. New York, NY: ACM, p. 1-19 19 p.

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

  34. Published

    Revisiting the Institutional Approach to Herbrand's Theorem

    Tutu, I. & Fiadeiro, J. L., 21 Oct 2015, Revisiting the Institutional Approach to Herbrand's Theorem. p. 304-319 16 p.

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

  35. Published

    FlowWatcher: Defending against Data Disclosure Vulnerabilities in Web Applications

    Muthukumaran, D., O'Keeffe, D., Priebe, C., Eyers, D. M., Shand, B. & Pietzuch, P. R., 12 Oct 2015, CCS '15: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security. p. 603-615 13 p.

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

  36. Published

    Choreographies in the wild

    Bartoletti, M., Lange, J., Scalas, A. & Zunino, R., 1 Oct 2015, In: Science of Computer Programming. 109, p. 36-60 25 p.

    Research output: Contribution to journalArticlepeer-review

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

    Obligations in PTaCL

    Williams, C. & Crampton, J., 22 Sep 2015, Security and Trust Management: 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings. Foresti, S. (ed.). Springer, p. 220-235 16 p. (Lecture Notes in Computer Science; vol. 9331).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. E-pub ahead of print

    The Fundamental Nature of the Log Loss Function

    Vovk, V., 5 Sep 2015, Lecture Notes in Computer Science. Beklemishev, L., Blass, A., Dershowitz, N., Finkbeiner, B. & Schulte, W. (eds.). Cham: Springer, Vol. 9300. p. 307-318 12 p. (Lecture Notes in Computer Science; vol. 9300).

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

  40. E-pub ahead of print

    Predictive Complexity for Games with Finite Outcome Spaces

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  41. Published

    Choose-Survey

    Alnasir, J., Anderberg, D., Chevalier, A., Luhrmann, M. & Pavan, R., 1 Sep 2015

    Research output: Non-textual formSoftware

  42. Published

    Alexey Chervonenkis's Bibliography: Introductory Comments

    Gammerman, A. & Vovk, V., Sep 2015, In: Journal of Machine Learning Research. 16, p. 2051-2066 16 p.

    Research output: Contribution to journalEditorial

  43. Published

    Alexey Chervonenkis's Bibliography

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

    Research output: Contribution to journalEditorial

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

  45. Published

    Encoding the Factorisation Calculus

    Rowe, R., 27 Aug 2015, Proceedings of the Combined 22nd International Workshop on Expressiveness in Concurrency and the 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015). Electronic Proceedings in Theoretical Computer Science, Vol. 190. p. 76-90 15 p.

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

  46. Published

    Meeting deadlines together

    Bocchi, L., Lange, J. & Yoshida, N., 26 Aug 2015, 26th International Conference on Concurrency Theory, CONCUR 2015. Aceto, L. & de Frutos Escrig, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 283-296 14 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 42).

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

  47. E-pub ahead of print

    Using Signatures in Type Theory to Represent Situations

    Chatzikyriakidis, S. & Luo, Z., 25 Aug 2015, New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. Murata, T., Mineshima, K. & Bekki, D. (eds.). Springer, p. 172-183 12 p. (Lecture Notes in Computer Science; vol. 9067).

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

  48. Published

    A Semantics of Business Configurations Using Symbolic Graphs

    Mylonakis, N., Orejas, F. & Fiadeiro, J. L., 20 Aug 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

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

  50. Published

    FastMotif: spectral sequence motif discovery

    Colombo, N. & Vlassis, N., 15 Aug 2015, In: Bioinformatics. 31, 16, p. 2623-2631 9 p.

    Research output: Contribution to journalArticlepeer-review

  51. E-pub ahead of print

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

    Best, K., Chain, B. & Watkins, C., 7 Aug 2015, In: Frontiers in Immunology. 6, p. 1-14 14 p., 360.

    Research output: Contribution to journalArticlepeer-review

  52. Published

    Recognising lifestyle activities of diabetic patients with a smartphone

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

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

  53. Published

    Potential based reward shaping for hierarchical reinforcement learning

    Gao, Y. & Toni, F., 25 Jul 2015, IJCAI'15 Proceedings of the 24th International Conference on Artificial Intelligence. AAAI Press, p. 3504-3510 7 p.

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

  54. Published

    Tractable classes of binary CSPs defined by excluded topological minors

    Cohen, D., Cooper, M., Jeavons, P. & Zivny, S., 25 Jul 2015, p. 1945-1951. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  55. E-pub ahead of print

    High System-Code Security with Low Overhead

    Wagner, J., Kuznetsov, V., Candea, G. & Kinder, J., 20 Jul 2015, 2015 IEEE Symposium on Security and Privacy. IEEE, p. 866-879 14 p.

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

  56. Published

    Efficient Sampling with Small Populations: a Genetic Algorithm Satisfying Detailed Balance

    Watkins, C. & Buttkewitz, Y., 11 Jul 2015, Gecco Companion '15: Proceedings of the Companion Publication of the 2015 Genetic and Evolutionary Computation Conference. p. 1517-1518 2 p.

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

  57. Forthcoming

    Provably Pointless Propagator Calls

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

    Research output: Contribution to conferencePaperpeer-review

  58. Published

    Controllability and matchings in random bipartite graphs

    Balister, P. & Gerke, S., Jul 2015, Surveys in Combinatorics 2015. Czumaj, A., Georgakopoulos, A., Král, D., Lozin, V. & Pikhurko, O. (eds.). Cambridge University Press, Vol. 424. p. 119-146 28 p. (London Mathematical Society Lecture Note Series; vol. 424).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  59. Published

    PDB-Hadoop: Parallelising user applications on the protein databank using Apache Hadoop

    AlNasir, J. & Shanahan, H., Jul 2015.

    Research output: Contribution to conferencePosterpeer-review

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

  61. Published
  62. Published

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

    Crampton, J., Morisset, C. & Zannone, N., 1 Jun 2015, 20th ACM Symposium on Access Control Models and Technologies. ACM, p. 99-109 11 p.

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

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

  64. Published

    Cross-conformal predictors

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

    Research output: Contribution to journalArticlepeer-review

  65. 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., Jun 2015, In: Annals of Mathematics and Artificial Intelligence. 74, 1-2, p. 203-222 20 p.

    Research output: Contribution to journalArticlepeer-review

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

  67. Published

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

    AlNasir, J., 28 May 2015.

    Research output: Contribution to conferenceOtherpeer-review

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

  69. Published

    Automated Transformation of PDDL Representations

    Riddle, P. J., Barley, M. W., Franco, S. & Douglas, J., 14 May 2015, Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015: 11-13 June 2015, Ein Gedi, the Dead Sea, Israel. Lelis, L. & Stern, R. (eds.). AAAI Press, p. 214-215 2 p.

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

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

  71. Published

    Network-Conscious π-calculus - A Model of Pastry

    Montanari, U. & Sammartino, M., 24 Apr 2015, In: Electronic Notes in Theoretical Computer Science. 312, p. 3-17 15 p.

    Research output: Contribution to journalArticlepeer-review

  72. 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, p. 179-192 14 p. (Lecture Notes in Computer Science; vol. 9047).

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

  73. Published

    Access Control in Publicly Verifiable Outsourced Computation

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

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

  74. E-pub ahead of print

    Short Proofs for the Determinant Identities

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

    Research output: Contribution to journalArticlepeer-review

  75. Published

    A Comparison of Three Implementations of Multi-Label Conformal Prediction

    Wang, H., Liu, X., Nouretdinov, I. & Luo, Z., 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, p. 241-250 10 p. (Lecture Notes in Computer Science; vol. 9047).

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

  76. Published

    Conformal Anomaly Detection of Trajectories with a Multi-class Hierarchy

    Smith, J., Nouretdinov, I., Craddock, R., Offer, C. & Gammerman, A., 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, p. 281-290 10 p. (Lecture Notes in Computer Science; vol. 9047).

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

  77. 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, p. 313-322 10 p. (Lecture Notes in Computer Science; vol. 9047).

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

  78. Published

    A Completeness Theory for Polynomial (Turing) Kernelization

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

    Research output: Contribution to journalArticlepeer-review

  79. 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). p. 1-8 8 p.

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

  80. Published

    Annotation of next-generation sequencing protocol steps in the SRA (sequence read archive) and Big data for Science

    AlNasir, J. & Shanahan, H., 17 Feb 2015, p. 27. 1 p.

    Research output: Contribution to conferenceAbstractpeer-review

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

    Research output: Contribution to journalArticlepeer-review

  82. Published

    Revisiting causality, coalgebraically

    Bruni, R., Montanari, U. & Sammartino, M., Feb 2015, In: Acta Informatica. 52, 1, p. 5-33 29 p.

    Research output: Contribution to journalArticlepeer-review

  83. E-pub ahead of print

    Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs

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

    Research output: Contribution to journalArticlepeer-review

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

  85. 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, Part B, p. 134-143 10 p.

    Research output: Contribution to journalArticlepeer-review

  86. 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, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 9035).

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

  87. Published

    Principled software microengineering

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

    Research output: Contribution to journalArticlepeer-review

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

  89. Published

    From communicating machines to graphical choreographies

    Lange, J., Tuosto, E. & Yoshida, N., Jan 2015, In: ACM SIGPLAN Notices. 50, 1, p. 221-232 12 p.

    Research output: Contribution to journalArticlepeer-review

  90. Published

    Maximizing the minimum load for random processing times

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

    Research output: Contribution to journalArticlepeer-review

  91. Published

    A Lambek Calculus with Dependent Types

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

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

  92. Unpublished

    A Middleware for Ubiquitous Agents

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

    Research output: ThesisDoctoral Thesis

  93. Published

    Abstract Constraint Data Types

    Fiadeiro, J. L. & Orejas, F., 2015, Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. de Nicola, R. & Hennicker, R. (eds.). Springer, p. 155-170 16 p. (Lecture Notes in Computer Science; vol. 8950).

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

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

  95. Unpublished

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

    Zhou, C., 2015, (Unpublished)

    Research output: ThesisDoctoral Thesis

  96. Published

    Continuous Operation During Reconfiguration Periods

    Bortnikov, V., Chockler, G., Perelman, D., Shachor, S., Shnayderman, I. & Roytman, A., 2015, Patent No. US Patent 8,943,178

    Research output: Patent

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

  98. Published

    Dynamic Programming on Nominal Graphs

    Hoch, N., Montanari, U. & Sammartino, M., 2015, Proceedings Graphs as Models. Rensink, A. & Zambon, E. (eds.). Electronic Proceedings in Theoretical Computer Science, Vol. 181. p. 80-96 17 p. (EPTCS).

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

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

  100. Unpublished

    Features Handling by Conformal Predictors

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

    Research output: ThesisDoctoral Thesis

  101. Published

    From Local to Global Knowledge and Back

    Hoch, N., Monreale, G. V., Montanari, U., Sammartino, M. & Siwe, A. T., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8998, p. 185-220 36 p.

    Research output: Contribution to journalArticlepeer-review

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

Previous 12 3 4 5 6 7 8 9 ...23 Next