1. Published

    Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming

    van Binsbergen, L. T., 5 Nov 2018, p. 168-174. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  2. Published

    Functional and evolutionary insights from the genomes of three parasitoid Nasonia species

    Werren, J. H., Richards, S., Desjardins, C. A., Niehuis, O., Gadau, J., Colbourne, J. K., Werren, J. H., Richards, S., Desjardins, C. A., Niehuis, O., Gadau, J., Colbourne, J. K., Beukeboom, L. W., Desplan, C., Elsik, C. G., Grimmelikhuijzen, C. J. P., Kitts, P., Lynch, J. A., Murphy, T., Oliveira, D. C. S. G. & 31 others, Smith, C. D., van de Zande, L., Worley, K. C., Zdobnov, E. M., Aerts, M., Albert, S., Anaya, V. H., Anzola, J. M., Barchuk, A. R., Behura, S. K., Bera, A. N., Berenbaum, M. R., Bertossa, R. C., Bitondi, M. M. G., Bordenstein, S. R., Bork, P., Bornberg-Bauer, E., Brunain, M., Cazzamali, G., Chaboub, L., Chacko, J., Chavez, D., Childers, C. P., Choi, J-H., Clark, M. E., Claudianos, C., Clinton, R. A., Cree, A. G., Cristino, A. S., Solovyev, V. & Nasonia Genome Working Group, 15 Jan 2010, In: Science. 327, 5963, p. 343-8 6 p.

    Research output: Contribution to journalArticlepeer-review

  3. Unpublished

    Game-Based Development of Interactive Systems

    Stathis, K., 1 Nov 1996, (Unpublished)

    Research output: ThesisDoctoral Thesis

  4. Published

    Game-based e-retailing in GOLEM agent environments

    Bromuri, S., Urovi, V. & Stathis, K., Oct 2009, In: Pervasive and Mobile Computing. 5, 5, p. 623-638

    Research output: Contribution to journalArticlepeer-review

  5. Published

    Games as a Metaphor for Interactive Systems

    Stathis, K. & Sergot, M. J., 1 Aug 1996, People and Computers XI (Proceedings of HCI'96). Sasse, M. A., Cunningham, R. J. & Winder, R. L. (eds.). London, UK: Springer-Verlag, p. 19-33 15 p. (BCS Conference Series).

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

  6. Published

    Game-theoretic Brownian motion

    Vovk, V., 8 Jan 2008, 17 p.

    Research output: Working paper

  7. Published
  8. Published

    Game-Theoretic Foundations for Probability and Finance

    Shafer, G. & Vovk, V., Jun 2019, Wiley. 480 p. (Wiley Series in Probability and Statistics)

    Research output: Book/ReportBook

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

  10. Forthcoming

    Game-theoretic Simulations with Cognitive Agents

    Shahid, N., O'Keeffe, D. & Stathis, K., 11 Sep 2021, (Accepted/In press) The 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI). IEEE Computer Society, 6 p.

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

  11. Published
  12. Published

    Garnata: An Information Retrieval System for Structured Documents based on Probabilistic Graphical Models

    de Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 2006, Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006). Paris (France), p. 1024-1031 8 p.

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

  13. Published

    Gene selection using Wilcoxon rank sum test and Support Vector Machine for cancer classification

    Liao, C., Li, S. & Luo, Z., 2007, Lecture Notes in Computer Science. Springer, Vol. 4456. p. 57-66

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

  14. Published

    General linear relations among different types of predictive complexity

    Kalnishkan, Y., 2002, In: Theoretical Computer Science. 271, 1-2, p. 181-200

    Research output: Contribution to journalArticlepeer-review

  15. Published

    General Linear Relations among Different Types of Predictive Complexity

    Kalnishkan, Y., 1999, Algorithmic Learning Theory, 10th International Conference, ALT'99, Proceedings: volume 1720 of Lecture Notes in Artificial Intelligence. Springer, p. 323-334 (Lecture Notes in Artificial Intelligence; vol. 1720).

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

  16. Published

    Generalised Entropies and Asymptotic Complexities of Languages

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

    Research output: Contribution to journalArticlepeer-review

  17. Published

    Generalised entropy and asymptotic complexities of languages

    Kalnishkan, Y., Vovk, V. & Vyugin, M. V., 2007, Proceedings of the Twentieth Annual Conference on Learning Theory. Bshouty, N. & Gentily, C. (eds.). Berlin: Springer, Vol. 4539. p. 293-307 15 p. (Lecture Notes in Artificial Intelligence; vol. 4539).

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

  18. Published

    Generalised Parsing: Some Costs

    Johnstone, A., Scott, E. & Economopoulos, G., 2004, In: Lecture Notes in Computer Science. 2985, p. 89-103 15 p.

    Research output: Contribution to journalArticlepeer-review

  19. Published

    Generalised recursive descent parsing and follow-determinism

    Johnstone, A. & Scott, E., 1998, In: Lecture Notes in Computer Science. 1383, p. 16-30 15 p.

    Research output: Contribution to journalArticlepeer-review

  20. Published

    Generalised reduction modified LR parsing for domain specific language prototyping

    Johnstone, A. & Scott, E., 7 Jan 2002, p. 3666-3675 . 1 p.

    Research output: Contribution to conferencePaper

  21. Published

    Generalised Regular Parsers

    Johnstone, A. & Scott, E., 28 Feb 2003, In: Lecture Notes in Computer Science. 2622, p. 232-246 15 p.

    Research output: Contribution to journalArticlepeer-review

  22. Published

    Generalising Interpretations between Theories in the context of (pi-) Institutions

    Fiadeiro, J. L. & Maibaum, T. S. E., 1993, Theory and Formal Methods. Springer, p. 126-147 22 p. (Workshops in Computing).

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

  23. Published

    Generalising submodularity and Horn clauses: tractable optimization problems defined by tournament pair multimorphisms

    Cohen, D., Cooper, M. & Jeavons, P., 2008, In: Theoretical Computer Science. 401, 1-3, p. 36-51 16 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published
  25. Published

    Generalizations of tournaments: A survey

    Bang-Jensen, J. & Gutin, G., 1998, In: Journal of Graph Theory. 28, 4, p. 171-202

    Research output: Contribution to journalArticle

  26. Published

    Generalized Bottom Up Parsers With Reduced Stack Activity

    Scott, E. & Johnstone, A., 1 Jan 2005, In: The Computer Journal. 48, 5, p. 565-587 23 p.

    Research output: Contribution to journalArticlepeer-review

  27. Published

    Generalized entropies and asymptotic complexities of languages

    Kalnishkan, Y., Vyugin, M. V. & Vovk, V., Sep 2012, Proceedings of the Fifth Workshop on Information-Theoretic Methods in Science and Engineering. de Rooij, S., Kotlowski, W., Rissanen, J., Millimaki, P., T. R. & Yamanishi, K. (eds.). Amsterdam: CWI, p. 44-47 4 p.

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

  28. Published

    Generalized Noise Role Mining

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., Jun 2022, p. 91-102.

    Research output: Contribution to conferencePaperpeer-review

  29. Published

    Generating Concurrency Checks Automatically

    Hague, M. & Hoyland, J., 17 Jul 2016, Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs . ACM, p. 1-15 15 p. 4

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

  30. Published

    Generating Matrix Identities and Proof Complexity

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

    Research output: Contribution to conferencePaper

  31. Published

    Genome sequence of the pea aphid Acyrthosiphon pisum

    Solovyev, V. & International Aphid Genomics Consortium, 2010, In: PLoS Biology. 8, 2, p. e1000313

    Research output: Contribution to journalArticlepeer-review

  32. Published

    Genomic organization, evolution, and structural peculiarities of highly repetitive DNA of Hordeum vulgare

    Vershinin, A. V., Salina, E. A., Solovyev, V. & Timofeyeva, L. L., 1990, In: Genome. 33, p. 441-449

    Research output: Contribution to journalArticlepeer-review

  33. Published

    Geometric Data Analysis, From Correspondence Analysis to Structured Data Analysis (book review)

    Murtagh, F., Jun 2008, In: Journal of Classification. 25, 1

    Research output: Contribution to journalBook/Film/Article review

  34. Published

    Geometry and Information Retrieval

    Romero, A. E., 2006.

    Research output: Contribution to conferencePosterpeer-review

  35. Published

    GFam: a platform for automatic annotation of gene families

    Sasidharan, R., Nepusz, T., Swarbreck, D., Huala, E. & Paccanaro, A., 2012, In: Nucleic Acids Research. 40, 19, 15 p., e152.

    Research output: Contribution to journalArticlepeer-review

  36. Published

    Glamdring: Automatic Application Partitioning for Intel SGX

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

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

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

  38. Published

    GLL Parsing

    Scott, E. & Johnstone, A., 17 Sep 2010, In: Electronic Notes in Theoretical Computer Science. 253, 7, p. 177-189 13 p.

    Research output: Contribution to journalArticlepeer-review

  39. Published

    GLL parsing with flexible combinators

    van Binsbergen, L. T., Scott, E. & Johnstone, A., Oct 2018, p. 16-28. 13 p.

    Research output: Contribution to conferencePaperpeer-review

  40. Published

    GLL syntax analysers for EBNF grammars

    Scott, E. & Johnstone, A., 15 Nov 2018, In: Science of Computer Programming. 166, p. 120-145 26 p.

    Research output: Contribution to journalArticlepeer-review

  41. Published

    Global functional atlas of Escherichia coli encompassing previously uncharacterized proteins

    Hu, P., Janga, S. C., Babu, M., Díaz-Mejía, J. J., Butland, G., Yang, W., Pogoutse, O., Guo, X., Phanse, S., Wong, P., Chandran, S., Christopoulos, C., Nazarians-Armavil, A., Nasseri, N. K., Musso, G., Ali, M., Nazemof, N., Eroukova, V., Golshani, A., Paccanaro, A. & 3 others, Greenblatt, J. F., Moreno-Hagelsieb, G. & Emili, A., 2009, In: PLoS Biology. 7, 4, p. e96

    Research output: Contribution to journalArticlepeer-review

  42. Unpublished

    Going Beyond Homology for Predicting Protein Function for Newly Sequenced Organisms

    Torres Bobadilla, M., 2019, (Unpublished) 136 p.

    Research output: ThesisDoctoral Thesis

  43. Published

    Good randomized sequential probability forecasting is always possible

    Vovk, V. & Shafer, G., Jun 2003, (The Game-Theoretic Probability and Finance project).

    Research output: Working paper

  44. Published

    Good randomized sequential probability forecasting is always possible

    Vovk, V. & Shafer, G., 2005, In: Journal of the Royal Statistical Society: Series B (Statistical Methodology). 67, 5, p. 747-763

    Research output: Contribution to journalArticlepeer-review

  45. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  46. Published

    Gracefully degrading consensus and k-set agreement in directed dynamic networks

    Biely, M., Robinson, P., Schmid, U., Schwarz, M. & Winkler, K., 23 May 2018, In: Theoretical Computer Science. 726, p. 41-77 37 p.

    Research output: Contribution to journalArticlepeer-review

  47. Published

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

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

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

  48. Published

    Grammatical Inference and First Language Acquisition

    Clark, A., 1 Aug 2004.

    Research output: Contribution to conferencePaperpeer-review

  49. Published

    Grammatical Inference: Algorithms and Applications: 9th International Colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008, Proceedings

    Clark, A. (ed.), Coste, F. (ed.) & Miclet, L. (ed.), 2008, Springer. (Lecture Notes in Computer Science; vol. 5278)

    Research output: Book/ReportBook

  50. Published

    Graph Neural Networks Boosted Personalized Tag Recommendation Algorithm

    Chen, X., Yu, Y., Jiang, F., Zhang, L., Gao, R. & Gao, H., 28 Sep 2020, Graph Neural Networks Boosted Personalized Tag Recommendation Algorithm. Glasgow: IEEE

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

  51. Published

    Gray and color image contrast enhancement by the curvelet transform

    Murtagh, F., Starck, J. L., Candes, E. J. & Donoho, D. L., Jun 2003, In: IEEE Transactions on Image Processing. 12, 6, p. 706-717

    Research output: Contribution to journalArticle

  52. Published

    Group communication as an infrastructure for distributed system management

    Amir, Y., Breitgand, D., Chockler, G. V. & Dolev, D., 1 Jan 1996, Proceedings of the 3rd International IEEE Workshop on Services in Distributed and Networked Environments (SDNE '96). p. 84-91 8 p.

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

  53. Published

    Group communication specifications: A comprehensive study

    Chockler, G. V., Keidar, I. & Vitenberg, R., Dec 2001, In: ACM Computing Surveys. 33, 4, p. 427-469 43 p.

    Research output: Contribution to journalArticlepeer-review

  54. Published

    Guaranteed network traffic demand prediction using FARIMA models

    Dashevskiy, M. & Luo, Z., 2008, Lecture Notes in Computer Sc. Vol. 5326. p. 274-281

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

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

  56. Published

    Guiding Reification in OWL through Aggregation

    Severi, P., Fiadeiro, J. L. & Ekserdjian, D., 2010, Description Logics. CEUR-WS.org, Vol. 573. (CEUR Workshop Proceedings).

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

  57. Published

    Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation

    Severi, P., Fiadeiro, J. & Ekserdjian, D., 1 Jul 2011, In: Journal of Web Semantics. 9, 2, p. 83-98 16 p.

    Research output: Contribution to journalArticlepeer-review

  58. Published

    Hack the Heap: Heap Layout Manipulation made Easy

    Gennissen, J. & O'Keeffe, D., 26 May 2022, Hack the Heap: Heap Layout Manipulation made Easy. 16th Workshop on Offensive Technologies (WOOT) 2022

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

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

  60. E-pub ahead of print

    Half-integrality, LP-branching, and FPT Algorithms

    Iwata, Y., Wahlstrom, M. & Yoshida, Y., 9 Aug 2016, (E-pub ahead of print) In: SIAM Journal on Computing. 45, 4, p. 1377–1411 35 p.

    Research output: Contribution to journalArticlepeer-review

  61. Published

    Hamilton Cycles in Digraphs of Unitary Matrices

    Gutin, G., Rafiey, A., Severini, S. & Yeo, A., 2006, In: Discrete Mathematics. 306, p. 3315-3320 6 p.

    Research output: Contribution to journalArticlepeer-review

  62. Published

    Hamilton cycles, avoiding prescribed arcs, in close to regular tournaments

    Yeo, A., 1999, In: Journal of Graph Theory. 32, p. 123-136 14 p.

    Research output: Contribution to journalArticlepeer-review

  63. Published

    Hamiltonian Cycles Avoiding Prescribed Arcs in Tournaments

    Bang-Jensen, J., Gutin, G. & Yeo, A., 1997, In: Combinatorics, Probability and Computing. 6, 3, p. 255-261

    Research output: Contribution to journalArticlepeer-review

  64. Published

    Hamiltonian paths and cycles in hypertournaments

    Gutin, G. & Yeo, A., 1997, In: Journal of Graph Theory. 25, 4, p. 277-286

    Research output: Contribution to journalArticlepeer-review

  65. Published

    Hamiltonian paths, containing a given path or collection of arcs, in close to regular multipartite tournaments

    Volkmann, L. & Yeo., A., 28 Apr 2004, In: Discrete Mathematics. 281, 1-3, p. 267-276

    Research output: Contribution to journalArticlepeer-review

  66. Published

    Hamiltonicity, Pancyclicity and Full Cycle Extendability in Multipartite Tournaments

    Zhang, Z., Zhang, X., Gutin, G. & Lou, D., 2021, In: Journal of Graph Theory. 97, 2, p. 171-191 21 p.

    Research output: Contribution to journalArticlepeer-review

  67. Published

    Hardness of discrepancy computation and epsilon-net verification in high dimension

    Giannopoulos, P., Knauer, C., Wahlström, M. & Werner, D., 2012, In: Journal of Complexity. 28, 2, p. 162-176 15 p.

    Research output: Contribution to journalArticlepeer-review

  68. Unpublished

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

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

    Research output: Book/ReportOther report

  69. Published

    Health Advice from Internet Discussion Forums: How Bad is Dangerous?

    Cole, J., Watkins, C. & Kleine, D., 6 Jan 2016, In: Journal of Medical Internet Research. 18, 1, p. 1-15 15 p., e4.

    Research output: Contribution to journalArticlepeer-review

  70. Published

    Heavy hybrid states from NRQCD

    Manke, T., Drummond, I. T., Horgan, R. R. & Shanahan, H. P., 1 Apr 1998, In: Physical Review D . 57, 7, p. R3829-R3832 4 p.

    Research output: Contribution to journalArticlepeer-review

  71. Published

    Heavy quark physics in N-f=2 QCD

    Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, Mar 1999, In: Nuclear Physics B - Proceedings Supplements. 73, p. 375-377 3 p.

    Research output: Contribution to journalArticlepeer-review

  72. Published

    Heavy quarkonia from anisotropic and isotropic lattices

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 319-321 3 p.

    Research output: Contribution to journalArticlepeer-review

  73. Published

    Heavy-light decay constants from clover heavy quark action in QCD with two flavors of dynamical quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 331-333 3 p.

    Research output: Contribution to journalArticlepeer-review

  74. Published

    Heavy-light decay constants from relativistic N-f=2, 0 QCD

    Shanahan, H. P. & CP-PACS Collaboration, 2000, HIGH ENERGY PHYSICS 99, PROCEEDINGS. BRISTOL: IOP PUBLISHING LTD, p. 943-944 2 p.

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

  75. Published

    Heavy-light spectrum and decay constant from NRQCD with two flavors of dynamical quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 265-267 3 p.

    Research output: Contribution to journalArticlepeer-review

  76. Published

    Hedging predictions in machine learning

    Gammerman, A. & Vovk, V., 2 Nov 2006.

    Research output: Working paper

  77. Published

    Hedging predictions in machine learning - The second Computer Journal Lecture

    Gammerman, A. & Vovk, V., Mar 2007, In: The Computer Journal. 50, 2, p. 151-163 13 p.

    Research output: Contribution to journalArticlepeer-review

  78. Published

    Hedging Structured Concepts

    Koolen, W. M., Warmuth, M. K. & Kivinen, J., 1 Jun 2010, Proceedings of the 23rd Annual Conference on Learning Theory (COLT 2010). p. 93-105 13 p.

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

  79. E-pub ahead of print

    Helping the Consumers and Producers of Standards, Repositories and Policies to Enable FAIR Data

    McQuilton, P., Batista, D., Beyan, O., Granell, R., Coles, S., Izzo, M., Lister, A. L., Pergl, R., Rocca-Serra, P., Schaap, B., Shanahan, H., Thurston, M. & Sansone, S-A., 31 Jan 2020, (E-pub ahead of print) In: Data Intelligence. 2, 1-2, p. 151-157 7 p.

    Research output: Contribution to journalArticlepeer-review

  80. Published

    Heterogeneous and asynchronous networks of timed systems

    Fiadeiro, J. L. & Lopes, A., 8 Feb 2017, In: Theoretical Computer Science. 663, p. 1–33 33 p.

    Research output: Contribution to journalArticlepeer-review

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

  82. Forthcoming

    Heterogeneous Facility Location with Limited Resources

    Deligkas, A., Filos-Ratsikas, A. & Voudouris, A., 2022, (Accepted/In press) AAAI Conference on Artificial Intelligence, AAAI 2022.

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

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

  84. Published

    Heuristic subset selection in classical planning

    Lelis, L. H. S., Franco, S., Abisrror, M., Barley, M., Zilles, S. & Holte, R. C., Jul 2016, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence: New York, New York, USA 9–15 July 2016. International Joint Conferences on Artificial Intelligence, p. 3185-3191 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

  85. Published

    Hidden Markov Models with Confidence

    Cherubin, G. & Nouretdinov, I., 17 Apr 2016, Conformal and Probabilistic Prediction with Applications: 5th International Symposium, COPA 2016 Madrid, Spain, April 20–22, 2016 Proceedings. Springer, Vol. 9653. p. 128-144 17 p. (Lecture Notes in Computer Science; vol. 9653).

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

  86. Published

    Hierarchical clustering of massive, high dimensional data sets by exploiting ultrametric embedding

    Murtagh, F., Contreras Albornoz, P. & Downs, G., 2008, In: SIAM Journal on Scientific Computing. 30, p. 707-730 24 p.

    Research output: Contribution to journalArticlepeer-review

  87. Unpublished

    Hierarchies of Inefficient Kernelizability

    Hermelin, D., Kratsch, S., Soltys, K., Wahlström, M. & Wu, X., 2011, (Unpublished) In: ArXiv.org. CoRR:abs/1110.0976

    Research output: Contribution to journalArticlepeer-review

  88. E-pub ahead of print

    High System-Code Security with Low Overhead

    Wagner, J., Kuznetsov, V., Candea, G. & Kinder, J., 20 Jul 2015, (E-pub ahead of print) 2015 IEEE Symposium on Security and Privacy. IEEE, p. 866-879 14 p.

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

  89. Published

    Higher-order architectural connectors

    Lopes, A., Wermelinger, M. & Fiadeiro, J. L., 1 Jan 2003, In: ACM Transactions on Software Engineering and Methodology. 12, 1, p. 64-104 41 p.

    Research output: Contribution to journalArticlepeer-review

  90. Published

    Highly accurate detection of ovarian cancer using CA125 but limited improvement with serum MALDI-TOF MS profiling

    Tiss, A., Timms, J. F., Smith, C., Devetyarov, D., Gentry-Maharaj, A., Camuzeaux, S., Burford, B., Nouretdinov, I., Ford, J., Luo, Z., Jacobs, I., Menon, U., Gammerman, A. & Cramer, R., 2010, In: International Journal of Gynecological Cancer. 20, 9, p. 1518-1524

    Research output: Contribution to journalArticlepeer-review

  91. Published

    High-quality still images from video frame sequences

    Murtagh, F., Geradts, Z. & Rudin, L. I., 2002, In: Proceedings of the SPIE. 4709, p. 49-59

    Research output: Contribution to journalArticle

  92. Published
  93. Published

    Hoang-Reed conjecture holds for tournaments

    Havet, F., Thomasse, S. & Yeo, A., 2008, In: Discrete Mathematics. 308, 15, p. 3412-3415 4 p.

    Research output: Contribution to journalArticlepeer-review

  94. Published

    Hoeffding's inequality in game-theoretic probability

    Vovk, V., 18 Aug 2007, 5 p.

    Research output: Working paper

  95. Published

    How close to regular must a multipartite tournament be to secure Hamiltonicity?

    Yeo, A., 1999, In: Graphs and Combinatorics. 15, p. 481-493 13 p.

    Research output: Contribution to journalArticlepeer-review

  96. Published

    How distant is the ideal filter of being a causal one?

    Almira, J. M. & Romero, A. E., 2008, In: Atlantic Electronic Journal of Mathematics. 3, p. 45 56 p.

    Research output: Contribution to journalArticlepeer-review

  97. Published

    How many extant pinniped species remain to be descibed ?

    Shanahan, H., Woodley, M. & M., N., 2009, In: Historical Biology. 20, 4, p. 225-235

    Research output: Contribution to journalArticlepeer-review

  98. Published

    How many strings are easy to predict?

    Kalnishkan, Y., Vovk, V. & Vyugin, M. V., 2003, In: ALGORITHMIC NUMBER THEORY, PRCEEDINGS. 2777, p. 522-536 15 p.

    Research output: Contribution to journalArticlepeer-review

  99. Published

    How many strings are easy to predict?

    Kalnishkan, Y., Vovk, V. & Vyugin, M. V., 25 Aug 2005, In: Information and Computation. 201, 1, p. 55-71 17 p.

    Research output: Contribution to journalArticlepeer-review

  100. Published

    How to base probability theory on perfect-information games

    Shafer, G., Vovk, V. & Chychyla, R., Feb 2010, In: Bulletin of the European Association for Theoretical Computer Science. 100, p. 115-148 34 p.

    Research output: Contribution to journalArticle

  101. Published

    How to be FAIR with your data

    Shanahan, H., 2022, Göttingen: Göttingen University Press. 203 p.

    Research output: Book/ReportBook

  102. Published

    How to Determine the Expressive Power of Constraints

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1999, In: Constraints. 4, 2, p. 113-131 19 p.

    Research output: Contribution to journalArticlepeer-review

  103. Published

    How to Generate Randomized Roundings with Dependencies and How to Derandomize Them

    Doerr, B. & Wahlström, M., 11 Nov 2016, Algorithm Engineering: Selected Results and Surveys. Springer, Vol. 9220. p. 159-184 26 p. (Lecture Notes in Computer Science; vol. 9220).

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

  104. Published

    How to give FAST Advice

    Stathis, K., 1 Oct 1994, Proceedings of the 7th Symposium and Exhibition on Industrial Applications of Prolog (INAP'94). p. 59-67 9 p.

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

  105. Published

    How to Use LEGO: a preliminary user's manual

    Luo, Z., Pollack, R. & Taylor, P., 1989, LFCS Technical Notes. LFCS, Edinburgh Univ

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

  106. Published

    HTHquery: a method for detecting DNA-binding proteins with a helix-turn-helix structural motif

    Ferrer-Costa, C., Shanahan, H. P., Jones, S. & Thornton, J. M., 15 Sep 2005, In: Bioinformatics. 21, 18, p. 3679-3680 2 p.

    Research output: Contribution to journalArticlepeer-review

  107. Published

    Hues of Satisfaction: Many-valued Institutions for Constraint Specification

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

    Research output: Contribution to conferenceAbstractpeer-review

  108. Published

    Hybrid Publicly Verifiable Computation

    Alderman, J., Janson, C., Crampton, J. & Cid, C., 2 Feb 2016, Topics in Cryptology - CT-RSA 2016. Sako, K. (ed.). Springer, Vol. 9610. p. 147-163 17 p. (Lecture Notes in Computer Science).

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

  109. Published

    Hybrid quarkonia on asymmetric lattices

    Manke, T., Shanahan, H. P., Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 31 May 1999, In: Physical Review Letters. 82, 22, p. 4396-4399 4 p.

    Research output: Contribution to journalArticlepeer-review

  110. Published

    Hybrid quarkonia with dynamical sea quarks

    Manke, T., Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Nov 2001, In: Physical Review D . 6409, 9, p. - 4 p.

    Research output: Contribution to journalArticlepeer-review

  111. Published

    Hybrid quarkonia with high statistics from NRQCD

    Manke, T., Drummond, I. T., Horgan, R. R., Shanahan, H. P. & UKQCD Collaboration, Apr 1998, In: Nuclear Physics B - Proceedings Supplements. 63, p. 332-334 3 p.

    Research output: Contribution to journalArticlepeer-review

  112. Published

    HYDRA: a HYbrid Diagnosis and monitoRing Architecture for diabetes

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

    Research output: Contribution to conferencePaperpeer-review

  113. Forthcoming

    Hypercontractive inequality for pseudo-boolean functions of bounded Fourier width

    Gutin, G. & Yeo, A., 2012, (Accepted/In press) In: Discrete Applied Mathematics. 6 p.

    Research output: Contribution to journalArticlepeer-review

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

  115. Published

    Hypergraphical on-line compression models

    Vovk, V., 2003.

    Research output: Working paper

  116. Published

    Hypergraphs with large transversal number and with edge sizes at least three

    Henning, M. & Yeo, A., 2008, In: Journal of Graph Theory. 59, p. 326-348 23 p.

    Research output: Contribution to journalArticlepeer-review

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

  118. E-pub ahead of print

    IBC-C: A Dataset for Armed Conflict Event Analysis

    Zukov Gregoric, A., Veyhe, B. & Luo, Z., Aug 2016, (E-pub ahead of print) Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics: Aug 7 to 12th 2016. p. 374-379 6 p.

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

  119. Published

    IBHIS: Integration Broker for Heterogeneous Information Sources

    Kotsiopoulos, I., Keane, J., Turner, M., Layzell, P. & Zhu, F., 2003, Proc. IEEE COMPSAC 2003, November 2003. p. 378-384 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  120. Published

    iCampus: A Connected Campus in the Ambient Event Calculus

    Bromuri, S., Urovi, V. & Stathis, K., 2010, In: International Journal of Ambient Computing and Intelligence. 2, 1, p. 59-65

    Research output: Contribution to journalArticlepeer-review

  121. Published

    Identification in the Limit of Substitutable Context Free Languages

    Clark, A. & Eyraud, R., 2005, Proceedings of The 16th International Conference on Algorithmic Learning Theory. Jain, S., Simon, H. U. & Tomita, E. (eds.). p. 283-296

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

  122. Published

    Identification of human gene functional regions based on oligonucleotide composition

    Solovyev, V. V. & Lawrence, C. B., 1 Jan 1993, In: Proceedings / ... International Conference on Intelligent Systems for Molecular Biology ; ISMB. International Conference on Intelligent Systems for Molecular Biology. 1, p. 371-9 9 p.

    Research output: Contribution to journalArticlepeer-review

  123. Published

    Identification of human gene structure using linear discriminant functions and dynamic programming

    Solovyev, V. V., Salamov, A. A. & Lawrence, C. B., 1 Jan 1995, In: Proceedings / ... International Conference on Intelligent Systems for Molecular Biology ; ISMB. International Conference on Intelligent Systems for Molecular Biology. 3, p. 367-75 9 p.

    Research output: Contribution to journalArticlepeer-review

  124. Published

    Identification of resource allocation trends in irregular ATM networks

    Cosmas, J., Pitts, J., Bocci, M., Luo, Z., Nyong, D. & Rai, S., Mar 1997, Proceeding of Fourth UKTS on Performance Modelling and Evaluation of ATM Networks. p. 24/1-24/12

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

  125. Published

    Identifying DNA-binding proteins using structural motifs and the electrostatic potential

    Shanahan, H. P., Garcia, M. A., Jones, S. & Thornton, J. M., 2004, In: Nucleic Acids Research. 32, 16, p. 4732-4741 10 p.

    Research output: Contribution to journalArticlepeer-review

  126. Published

    Identifying patient experience from online resources via sentiment analysis and topic modelling

    Bahja, M. & Lycett, M., 6 Dec 2016, Proceedings - 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies, BDCAT 2016. Association for Computing Machinery, Inc, p. 94-99 6 p.

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

  127. Published

    Identities of regular semigroup rings

    Yang, H., 1 Jan 1998, In: Semigroup Forum. 57, 2, p. 293-295 3 p.

    Research output: Contribution to journalArticlepeer-review

  128. Published

    Identity Criteria of Common Nouns and dot-types for Copredication

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

    Research output: Contribution to journalArticlepeer-review

  129. Published

    Igor V. Volovich

    Murtagh, F. & Accardi, L., 2012, In: p-Adic Numbers, Ultrametric Analysis and Applications. 4, 1, p. 1-4

    Research output: Contribution to journalComment/debatepeer-review

  130. Published

    Image Processing and Data Analysis: The Multiscale Approach

    Murtagh, F., Starck, J-L. & Bijaoui, A., 1998, Cambridge : Cambridge University Press.

    Research output: Book/ReportBook

  131. Published

    Image zooming based on sampling theorems

    Romero, A. E., 2011, In: Materials Matemàtics. 2011, 11, p. 1 22 p., 1.

    Research output: Contribution to journalArticlepeer-review

  132. 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, (E-pub ahead of print) In: Frontiers in Immunology. 6, p. 1-14 14 p., 360.

    Research output: Contribution to journalArticlepeer-review

  133. E-pub ahead of print

    Implementation Correctness for Replicated Data Types, Categorically

    Gadducci, F., Melgratti, H., Roldán, C. & Sammartino, M., 25 Nov 2020, (E-pub ahead of print) Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, 2020, Proceedings. Pun, V. K., Stolz, V. & Simao, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 283-303 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12545 LNCS).

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

  134. Published

    Implementation of a component-by-component algorithm to generate small low-discrepancy samples

    Doerr, B., Gnewuch, M. & Wahlström, M., 1 Jul 2009, Monte Carlo and Quasi-Monte Carlo Methods 2008. L'Ecuyer, P. & Owen, A. B. (eds.). Montreal, Canada: Springer, p. 323-338 16 p.

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

  135. Published

    Implementation of agents for connection admission control on an ATM testbed

    Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., 2000, On The Way to Information Society: Five Years of European ACTS Research on Intelligence in Services and Networks. IOS Press, p. 413-426

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

  136. Published

    Implementation techniques for inductive types in Plastic

    Callaghan, P. & Luo, Z., 2000, Types for Proofs and Programs, Proc of Inter Conf of TYPES'99. LNCS 1956.

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

  137. Published

    Implementing a Caching Service for Distributed CORBA Objects

    Chockler, G., Dolev, D., Friedman, R. & Vitenberg, R., 2000, Proceedings of the 2nd IFIP/ACM International Conference on Distributed systems platforms (Middleware '00). Springer-Verlag, p. 1-23 23 p.

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

  138. Published

    Implementing a model checker for Lego

    Yu, S. & Luo, Z., 1997, Proc. of the 4th Inter Symp. of Formal Methods Europe, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods. LNCS 1313.

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

  139. Published

    Implications of a Service-Oriented View of Software

    Layzell, P. J., 2001, IFIP WG8.2 Working Conference, Boise, Idaho, July 2001.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  141. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  142. Unpublished

    Improvements to instruction identification for custom instruction set design

    Reddington, J., 31 Aug 2009, (Unpublished) 225 p.

    Research output: ThesisDoctoral Thesis

  143. Published

    Improving GO semantic similarity measures by exploring the ontology beneath the terms and modelling uncertainty

    Yang, H., Nepusz, T. & Paccanaro, A., 2012, In: Bioinformatics. 28, 10, p. 1383-1389 7 p.

    Research output: Contribution to journalArticlepeer-review

  144. Published

    Improving Information System Development and Evolution Using a Rule-Based Paradigm

    Loucopoulos, P. & Layzell, P. J., 1989, In: Software Engineering Journal, BCS/IEE. 4, 5, p. 259-267 9 p.

    Research output: Contribution to journalArticlepeer-review

  145. Published

    Improving K-means clustering with enhanced Firefly Algorithms

    Xie, H., Zhang, L., Lim, C. P., Yu, Y., Liu, C., Liu, H. & Walters, J., Nov 2019, In: Applied Soft Computing. 84, 105763.

    Research output: Contribution to journalArticlepeer-review

  146. Published

    Improving Planning Performance in PDDL+ Domains via Automated Predicate Reformulation

    Franco, S., Vallati, M., Lindsay, A. & McCluskey, T. L., 2019, Computational Science - ICCS 2019 : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V. Rodrigues, J. M. F., Cardoso, P. J. S., Monteiro, J. M., Lam, R., Krzhizhanovskaya, V. V., Lees, M. H., Dongarra, J. J. & Sloot, P. M. A. (eds.). Springer, Vol. 11540. p. 491-498 8 p. (Lecture Notes in Computer Science; vol. 11540).

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

  147. Published

    Improving Self-organized Resource Allocation with Effective Communication

    Kafali, O. & Yolum, P., 2012, Agents and Peer-to-Peer Computing. Beneventano, D., Despotovic, Z., Guerra, F., Joseph, S., Moro, G. & Pinninck, A. (eds.). Springer Berlin / Heidelberg, Vol. 6573. p. 35-46 12 p. (Lecture Notes in Computer Science).

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

  148. Published

    Inapproximability results for constrained approximate Nash equilibria

    Deligkas, A., Fearnley, J. & Savani, R., Oct 2018, In: Information and Computation. 262, Part 1, p. 40-56 17 p.

    Research output: Contribution to journalArticlepeer-review

  149. Published

    Independence and Cliques

    Gutin, G., 2003, Handbook of Graph Theory. Gross, J. & Yellen, J. (eds.). 25 ed. (Discrete Mathematics and Its Applications; no. 25).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  150. Published

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

    Chatzikyriakidis, S. & Luo, Z., 2015, Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015). Association for Computational Linguistics, p. 39-50 12 p.

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

  151. Published

    Inducing Syntactic Categories by Context Distribution Clustering

    Clark, A., 2000, Proc. of Conference on Computational Natural Language Learning. p. 91-94

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

  152. Published

    Inductive Confidence Machine for pattern recognition

    Surkov, D., Gammerman, A. & Vovk, V., 2002, Proceedings of the ICDM 2002 Workshop on the Foundation of Data Mining and Knowledge Discovery. Lin, T. & Ohsuga, S. (eds.). Shimane Medical University, p. 249-255 7 p.

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

  153. Published

    Inductive confidence machines for regression

    Papadopoulos, H., Proedrou, K., Vovk, V. & Gammerman, A., 2002, Proceedings of the Thirteenth European Conference on Machine Learning. Elomaa, T., Mannila, H. & Toivonen, H. (eds.). London: Springer, p. 345-356 12 p. (Lecture Notes in Computer Science; vol. 2430).

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

  154. Published

    Inductive Conformal Martingales for Change-Point Detection

    Volkhonskiy, D., Burnaev, E., Nouretdinov, I., Gammerman, A. & Vovk, V., 2017, 6th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2017). p. 1-22 22 p.

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

  155. E-pub ahead of print

    Inductive conformal prediction for silent speech recognition

    Zhang, M., Wang, Y., Zhang, W., Yang, M., Luo, Z. & Li, G., 2 Mar 2020, (E-pub ahead of print) In: Journal of Neural Engineering. 12 p.

    Research output: Contribution to journalArticlepeer-review

  156. Published

    Inductive conformal predictors in the batch mode

    Vovk, V., 12 Sep 2012.

    Research output: Working paper

  157. Published

    Inductive Data types: Well-Ordering Types Revisited

    Goguen, H. & Luo, Z., 1993, Logical Environments. Cambridge Univ Press

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

  158. Published

    Inductive Venn Prediction

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

    Research output: Contribution to journalArticlepeer-review

  159. Published

    Inductive Venn-Abers Predictive Distribution

    Nouretdinov, I., Volkhonskiy, D., Lim, P., Toccaceli, P. & Gammerman, A., Jun 2018, 7th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2018). Vol. 91. p. 15-36 22 p. (Proceedings of Machine Learning Research).

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

  160. Published

    Inferring protein-protein interactions using interaction network topologies

    Paccanaro, A., Trifonov, V., Yu, H. & Gerstein, M. B., 2005, Proceedings of the International Joint Conference on Neural Networks. p. 161 166 p.

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

  161. Published

    Influence diagrams and structured retrieval: garnata implementing the SID and CID models at INEX'06

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4518 LNCS. p. 165-177 13 p.

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

  162. Published

    INFOGENE: a database of known gene structures and predicted genes and proteins in sequences of genome sequencing projects

    Solovyev, V. V. & Salamov, A. A., 1 Jan 1999, In: Nucleic Acids Research. 27, 1, p. 248-250 3 p.

    Research output: Contribution to journalArticlepeer-review

  163. Published

    Information Processing Letters: Foreword

    Fiadeiro, J. L., Madey, J. & Tarlecki, A., 17 Oct 2003, In: Information Processing Letters. 88, 1-2, p. 1-2 2 p.

    Research output: Contribution to journalEditorialpeer-review

  164. Published

    Information spcaes

    Murtagh, F., 2004, Encyclopedia of Human-Computer Interaction. Berkshire, p. 371-376

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  165. Published

    Information Systems Development: A Rule Based Approach

    Assche, F. V., Layzell, P. J., Loucopoulos, P. & Speltincx, G., 1988, Esprit Conference, Brussels, 14-18 November, 1988.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  166. Published

    Informational and computation efficiency of set predictors

    Vovk, V., Sep 2012, Proceedings of the Fifth Workshop on Information-Theoretic Methods in Science and Engineering. de Rooij, S., Kotlowski, W., Rissanen, J., Millimaki, P., T. R. & Yamanishi, K. (eds.). Amsterdam: CWI, p. 48-51 4 p.

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

  167. Published

    Informed Autonomous Exploration of Subterranean Environments

    Akbari, A. & Bernardini, S., 4 Aug 2021, In: IEEE Robotics and Automation Letters.

    Research output: Contribution to journalArticlepeer-review

  168. Published

    Informed Autonomous Exploration of Subterranean Environments

    Akbari, A. & Bernardini, S., 4 Aug 2021, IEEE Xplore IROS 2021 Proceedings. IEEE Xplore, Vol. 6. p. 7957-7964 8 p.

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

  169. Published

    Insights into social insects from the genome of the honeybee Apis mellifera

    Solovyev, V. & Honeybee Genome Sequencing Consortium, 26 Oct 2006, In: Nature. 443, 7114, p. 931-49 19 p.

    Research output: Contribution to journalArticlepeer-review

  170. Unpublished

    Institution-Independent Logic Programming

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

    Research output: ThesisDoctoral Thesis

  171. Published

    Institutions for Behaviour Specification

    Fiadeiro, J. L. & Costa, J. F., 1995, COMPASS/ADT. Springer, Vol. 906. p. 273-289 17 p. (Lecture Notes in Computer Science).

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

  172. Published

    Insuring against loss of evidence in game-theoretic probability

    Philip Dawid, A., de Rooij, S., Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., 11 May 2010.

    Research output: Working paper

  173. Published

    Insuring against loss of evidence in game-theoretic probability

    Dawid, A. P., de Rooij, S., Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., Jan 2011, In: Statistics and Probability Letters. 81, 1, p. 157-162 6 p.

    Research output: Contribution to journalArticlepeer-review

  174. Published

    Integrated databases and computer systems for studying eukaryotic gene expression

    Kolchanov, N. A., Ponomarenko, M. P., Frolov, A. S., Ananko, E. A., Kolpakov, F. A., Ignatieva, E. V., Podkolodnaya, O. A., Goryachkovskaya, T. N., Stepanenko, I. L., Merkulova, T. I., Babenko, V. V., Ponomarenko, Y. V., Kochetov, A. V., Podkolodny, N. L., Vorobiev, D. V., Lavryushev, S. V., Grigorovich, D. A., Kondrakhin, Y. V., Milanesi, L., Wingender, E. & 2 others, Solovyev, V. & Overton, G. C., 1999, In: Bioinformatics. 15, 7-8, p. 669-86 18 p.

    Research output: Contribution to journalArticlepeer-review

  175. Published

    Integrating Induction and Coinduction via Closure Operators and Proof Cycles

    Cohen, L. & Rowe, R. N. S., 24 Jun 2020, Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Proceedings. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, p. 375-394 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12166 LNAI).

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

  176. Published

    Integrating Social Circles and Network Representation Learning for Item Recommendation

    Yu, Y., Wang, Q., Zhang, L., Wang, C., Wu, S., Qi, B. & Wu, X., 30 Sep 2019, 2019 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks (IJCNN): IEEE

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

  177. Published

    Integration of curated databases to identify genotype-phenotype associations

    Goh, C-S., Gianoulis, T. A., Liu, Y., Li, J., Paccanaro, A., Lussier, Y. A. & Gerstein, M., 2006, In: BMC Genomics. 7, p. 257

    Research output: Contribution to journalArticlepeer-review

  178. Published

    Intelligence and interaction in community-based systems

    Stathis, K. & Purcell, P., Dec 2002, In: Interacting with Computers. 14, 6, p. 639-642 4 p.

    Research output: Contribution to journalEditorialpeer-review

  179. Published

    Intelligence and interaction in community-based systems (Part 2)

    Stathis, K. & Purcell, P., Jan 2003, In: Interacting with Computers. 15, 1, p. 13 3 p.

    Research output: Contribution to journalEditorialpeer-review

  180. Published

    Intelligent agents for ATM network control and resource management: Experiences and results from an implementation on a network test bed

    Vayias, E., Soldatos, J. K., Bigham, J., Cuthbert, L. & Luo, Z., 2000, In: Journal of Network and Systems Management. 8, 3, p. 373-395

    Research output: Contribution to journalArticlepeer-review

  181. Forthcoming

    Intelligent Exploration and Autonomous Navigation in Confined Spaces

    Akbari, A. & Bernardini, S., 1 Jul 2020, (Accepted/In press) International Conference on Intelligent Robots and Systems (IROS): 2020 IEEE/RSJ. IEEE Xplore, p. 2157-2164 8 p. 1209

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

  182. Published

    Intelligent Facial Expression Recognition Using Particle Swarm Optimization Based Feature Selection

    Robson, A. & Zhang, L., 31 Jan 2019, 2018 IEEE Symposium Series on Computational Intelligence (SSCI). IEEE Symposium Series on Computational Intelligence (SSCI): IEEE

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

  183. Published

    Intelligent human action recognition using an ensemble model of evolving deep networks with swarm-based optimization

    Zhang, L., Lim, C. P. & Yu, Y., 23 May 2021, In: Knowledge-Based Systems. 220, 106918.

    Research output: Contribution to journalArticlepeer-review

  184. Published

    Intelligent optic disc segmentation using improved particle swarm optimization and evolving ensemble models

    Zhang, L. & Lim, C. P., Jul 2020, In: Applied Soft Computing. 92, 106328.

    Research output: Contribution to journalArticlepeer-review

  185. Published

    Intelligent skin cancer diagnosis using improved particle swarm optimization and deep learning models

    Tan, T. Y., Zhang, L. & Lim, C. P., Nov 2019, In: Applied Soft Computing. 84, 105725.

    Research output: Contribution to journalArticlepeer-review

  186. Published

    Interactive visual user interfaces: a survey

    Murtagh, F., Taskaya, T., Contreras, P. & Mothe, J., 2003, In: Artificial Intelligence Review. 19, 4, p. 263-283

    Research output: Contribution to journalArticle

  187. Published

    Interconnecting formalisms: Supporting modularity, reuse and incrementality

    Fiadeiro, J. L. & Maibaum, T., 1 Jan 1995, Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering. ACM Press, p. 72-80 9 p.

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

  188. Published

    Interconnecting objects via contracts

    Fiadeiro, J. L. & Andrade, L. F., 1 Jan 2001, 38th International Conference on Technology of Object-Oriented Languages and Systems, Components for Mobile Computing. p. 182 1 p.

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

  189. Published

    Interconnecting Objects Via Contracts

    Andrade, L. F. & Fiadeiro, J. L., 1999, UML. Springer, Vol. 1723. p. 566-583 18 p. (Lecture Notes in Computer Science).

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

  190. Published

    Interleaving Search and Heuristic Improvement

    Franco, S. & Torralba, Á., 5 Jul 2019, Proceedings of the Twelfth International Symposium on Combinatorial Search, SOCS 2019, Napa, California, 16-17 July 2019. Surynek, P. & Yeoh, W. (eds.). AAAI Press, p. 130-134 5 p.

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

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

  192. Published

    Internet discussion forums: Maximizing choice in health-seeking behaviour during public health emergencies

    Cole, J., Kleine, D. & Watkins, C., 13 Jun 2016, 2016 International Conference On Cyber Situational Awareness, Data Analytics And Assessment (CyberSA). Onwubiko, C. (ed.). London: IEEE, p. 99 104 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  193. Published

    Internet Traffic Classification using Machine Learning with Performance Guarantees

    Luo, Z., 2012, Advances in Communications and Media Research. Vol. 8. p. 231-250

    Research output: Chapter in Book/Report/Conference proceedingChapter

  194. E-pub ahead of print

    Inter-ReBAC: Inter-operation of Relationship-Based Access Control Model Instances

    Crampton, J. & Sellwood, J., 2 Jul 2016, (E-pub ahead of print) Data and Applications Security and Privacy XXX. Springer-Verlag, Vol. 9766. p. 96-105 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9766).

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

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

  196. Published

    In-vehicle object detection in the wild for driverless vehicles

    Dinakaran, R., Zhang, L. & Jiang, R., 15 Aug 2020, World Scientific Proceedings Series on Computer Engineering and Information Science. In: Developments of Artificial Intelligence Technologies in Computation and Robotics. World Scientific Proceedings Series on Computer Engineering and Information Science, 12.: World Scientific, Singapore, p. 1139-1147 9 p.

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

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

  198. Published

    IoTNet: An Efficient and Accurate Convolutional Neural Network for IoT Devices

    Lawrence, T. & Zhang, L., 14 Dec 2019, In: Sensors. 19, 24, 5541.

    Research output: Contribution to journalArticlepeer-review

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

  200. Published

    Isomerization of dietary lycopene during assimilation and transport in plasma

    Holloway, D. E., Yang, M., Paganga, G., Rice-Evans, C. A. & Bramley, P. M., 2000, In: Free radical research. 32, 1, p. 93-102 10 p.

    Research output: Contribution to journalArticlepeer-review

  201. Forthcoming

    Iterative Message Passing Algorithm for Vertex-disjoint Shortest Paths

    Dai, G., Gutin, G., Zhang, X. & Zhang, Z., 18 Jan 2022, (Accepted/In press) In: IEEE Transactions on Information Theory.

    Research output: Contribution to journalArticlepeer-review

  202. Published

    Iterative Plan Construction for the Workflow Satisfiability Problem

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

    Research output: Contribution to journalArticlepeer-review

  203. Published

    Ito calculus without probability in idealized financial markets

    Vovk, V., 3 Aug 2011, 25 p.

    Research output: Working paper

  204. E-pub ahead of print

    Itô Calculus without Probability in Idealized Financial Markets

    Vovk, V., 15 May 2015, (E-pub ahead of print) In: Lithuanian Mathematical Journal. 55, 2, p. 270-290 21 p.

    Research output: Contribution to journalArticlepeer-review

  205. Published

    Jakstab: A Static Analysis Platform for Binaries

    Kinder, J. & Veith, H., 2008, Proc. 20th Int. Conf. Computer Aided Verification (CAV 2008). Springer, p. 423-427

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

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

  207. Published

    Jeffreys's law for general games of prediction: in search of a theory

    P. Dawid, A. & G. Vovk, V., 22 Dec 2009.

    Research output: Working paper

  208. Published

    Kaon B parameter from quenched domain-wall QCD

    Khan, A. A., Aoki, S., Aoki, Y., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K. I., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Dec 2001, In: Physical Review D . 6411, 11, p. - 21 p.

    Research output: Contribution to journalArticlepeer-review

  209. Published

    Kaon B-parameter from quenched domain-wall QCD

    Khan, A. A., Aoki, S., Aoki, Y., Burkhalter, R., Ejiri, S., Fikugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K. I., Noaki, J., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & 1 others, CP-PACS collaboration, Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 287-290 4 p.

    Research output: Contribution to journalArticlepeer-review

  210. Published

    k-Ary spanning trees contained in tournaments

    Ai, J., Lei, H., Shi, Y., Yao, S. & Zhang, Z. B., 15 Oct 2020, In: Discrete Applied Mathematics. 285, p. 141-146 6 p.

    Research output: Contribution to journalArticlepeer-review

  211. Published

    k-distinct in- and out-branchings in digraphs

    Gutin, G., Reidl, F. & Wahlstrom, M., Aug 2018, In: Journal of Computer and System Sciences. 95, p. 86-97 13 p.

    Research output: Contribution to journalArticlepeer-review

  212. Published

    k-Distinct In- and Out-Branchings in Digraphs

    Gutin, G., Reidl, F. & Wahlstrom, M., 2017, 44th International Colloquium on Automata, Languages, and Programming: ICALP 2017. Dagstuhl, p. 1-13 13 p. (Leibniz International Proceedings in Informatics ; vol. 80).

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

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

  214. Published

    Kernelization of Constraint Satisfaction Problems: A Study through Universal Algebra

    Lagerkvist, V. & Wahlstrom, M., 2017, Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings. Springer, p. 157-171 15 p. (Lecture Notes in Computer Science; vol. 10416).

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

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

  216. Published

    Kernels for Below-Upper-Bound Parameterizations of the Hitting Set and Directed Dominating Set Problems

    Gutin, G., Jones, M. & Yeo, A., 2011, In: Theoretical Computer Science. 412, p. 5744--5751

    Research output: Contribution to journalArticlepeer-review

  217. Published

    Kernels from matching operations

    Watkins, C., 1999.

    Research output: Working paper

  218. Published

    Kernels in planar digraphs

    Gutin, G., Kloks, T., Lee, C. M. & Yeo, A., 2005, In: Journal of Computer and System Sciences. 71, 2, p. 174-184

    Research output: Contribution to journalArticlepeer-review

  219. E-pub ahead of print

    Kings in Multipartite Hypertournaments

    Ai, J., Gerke, S. & Gutin, G., 2 Aug 2021, (E-pub ahead of print) In: Journal of Graph Theory.

    Research output: Contribution to journalArticlepeer-review

  220. Published

    Kings in semicomplete multipartite digraphs

    Gutin, G. & Yeo, A., 2000, In: Journal of Graph Theory. 33, 3, p. 177-183

    Research output: Contribution to journalArticlepeer-review

  221. Forthcoming

    Kmclib: Automated Inference and Verification of Session Types from OCaml Programs

    Imai, K., Lange, J. & Neykova, R., 24 Dec 2021, (Accepted/In press) In: Lecture Notes in Computer Science. TACAS 2022

    Research output: Contribution to journalConference articlepeer-review

  222. Published

    Knowledge-Based Front-Ends as Games

    Stathis, K., Sergot, M. J. & Liebowitz, J. (ed.), 1997, In: Journal of Lessons Learned in Information Technology Management. 1, 2, p. 135-147 13 p.

    Research output: Contribution to journalArticlepeer-review

  223. Published

    Knowledgebases as structured theories

    FIADEIRO, J., SERNADAS, A. & SERNADAS, C., 1988, In: Lecture Notes in Computer Science. 338, p. 469-486 18 p.

    Research output: Contribution to journalArticlepeer-review

  224. Published

    Kolmogorov Complexity Theory over the Reals

    Ziegler, M. & Koolen, W. M., 1 Dec 2008, In: Electronic Notes in Theoretical Computer Science. 221, p. 153-169 17 p.

    Research output: Contribution to journalArticlepeer-review

  225. Unpublished

    Kolmogorov Complexity Theory over the Reals

    Ziegler, M. & M. Koolen, W., 14 Feb 2008, (Unpublished).

    Research output: Working paper

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

  227. Published

    Kolmogorov complexity: Sources, theory and applications

    Gammerman, A. & Vovk, V., 1999, In: The Computer Journal. 42, 4, p. 252-255 4 p.

    Research output: Contribution to journalArticlepeer-review

  228. Published

    Kolmogorov's complexity conception of probability

    Vovk, V., 2001, Probability Theory: Philosophy, Recent History and Relations to Science. Dordrecht: Kluwer, p. 51-69 19 p.

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

  229. Published

    Kolmogorov's contributions to the foundations of probability

    Vovk, V. & Shafer, G., 2003, In: Problems of Information Transmission. 39, p. 21-31 11 p.

    Research output: Contribution to journalArticlepeer-review

  230. Published

    Kolmogorov-Stout law of the iterated logarithm

    Vovk, V., 1988, In: Mathematical Notes. 44, p. 502-507 6 p.

    Research output: Contribution to journalArticlepeer-review

  231. Published

    Labeled Families in Modular Software Development

    Veloso, S. R. M., Veloso, P. A. S. & Fiadeiro, J. L., 1998, In: J. Braz. Comp. Soc.. 5, 1

    Research output: Contribution to journalArticlepeer-review

  232. Forthcoming

    Lambda-Free Logical Frameworks

    Adams, R., 2011, (Accepted/In press) In: Annals of Pure and Applied Logic.

    Research output: Contribution to journalArticlepeer-review

  233. Published

    Languages as Hyperplanes: grammatical inference with string kernels

    Clark, A., Costa Florêncio, C. & Watkins, C., 2006, Proceedings of ECML. p. 90-101

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

  234. Published

    Languages as hyperplanes: grammatical inference with string kernels

    Clark, A., Costa Florêncio, C. & Watkins, C., 1 Mar 2011, In: Machine Learning. 82, 3, p. 351-373

    Research output: Contribution to journalArticlepeer-review

  235. Published

    Large scale inference of deterministic transductions: Tenjinno problem 1

    Clark, A., 2006, p. 227-239.

    Research output: Contribution to conferencePaperpeer-review

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

  237. Published

    LATEX Concisely

    Johnstone, A., 1 Sep 1992, Ellis Horwood. 170 p.

    Research output: Book/ReportBook

  238. Published

    Lattice calculation of the branching ratio for some of the exclusive modes of B-]S-gamma

    BOWLER, K. C., HAZEL, N. M., HENTY, D. S., HOEBER, H., KENWAY, R. D., RICHARDS, D. G., SHANAHAN, H. P., SIMONE, J. N., FLYNN, J. M., GOUGH, B. J., ALLTON, C., LELLOUCH, L., NIEVES, J. & WITTIG, H., 1 May 1995, In: Physical Review D . 51, 9, p. 4955-4970 16 p.

    Research output: Contribution to journalArticlepeer-review

  239. Published

    Lattice calculation of the penguin diagram decay B→K*γ

    BOWLER, K. C., HAZEL, N. M., HENTY, D. S., HOEBER, H., KENWAY, R. D., RICHARDS, D. G., SHANAHAN, H. P., SIMONE, J. N., FLYNN, J. M. & GOUGH, B. J., 7 Mar 1994, In: Physical Review Letters. 72, 10, p. 1398-1401 4 p.

    Research output: Contribution to journalArticlepeer-review

  240. Published

    Lattice study of the decay (B)over-bar(0)->p(+)l(-)(v)over-bar(l): Model-independent determination of vertical bar V-ub vertical bar

    Flynn, J. M., Nieves, J., Bowler, K. C., Hazel, N. M., Henty, D. S., Hoeber, H., Kenway, R. D., Richards, D. G., Gough, B. J., Lellouch, L. P. & Shanahan, H. P., 19 Feb 1996, In: Nuclear Physics B. 461, 1-2, p. 327-349 23 p.

    Research output: Contribution to journalArticlepeer-review

  241. Published

    LDT: a language definition technique

    Johnstone, A., Scott, E. & van den Brand, M., 26 Mar 2011, LDTA '11 Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications. ACM, p. 1-8 8 p. 9

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

  242. Published

    Leading strategies in competitive on-line prediction

    Vovk, V., 2006, Proceedings of the Seventeenth International Conference on Algorithmic Learning Theory. Balcazar, J., Long, P. M. & Stephan, F. (eds.). p. 214-228 15 p.

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

  243. Published

    Leading strategies in competitive on-line prediction

    Vovk, V., 27 Jul 2006.

    Research output: Working paper

  244. Published

    Leading strategies in competitive on-line prediction

    Vovk, V., 17 Oct 2008, In: Theoretical Computer Science. 405, 3, p. 285-296 12 p.

    Research output: Contribution to journalArticlepeer-review

  245. Published
  246. Published

    Learning about the parameter of the Bernoulli model

    Vovk, V., 1997, In: Journal of Computer and System Sciences. 55, p. 96-104 9 p.

    Research output: Contribution to journalArticlepeer-review

  247. Published

    Learning an optimal decision strategy in an in uence diagram with latent variables

    Vovk, V., 1996, Proceedings of the Ninth Annual Conference on Computational Learning Theory. New York: ACM Press, p. 110-121 12 p.

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

  248. Published

    Learning automata with side-effects

    van Heerdt, G., Sammartino, M. & Silva, A., 21 Aug 2020, Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Proceedings. Petrisan, D. & Rot, J. (eds.). Springer, p. 68-89 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12094 LNCS).

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

  249. Published

    Learning Auxiliary Fronting with Grammatical Inference

    Clark, A. & Eyraud, R., 2006.

    Research output: Contribution to conferencePaperpeer-review

  250. Published

    Learning Auxiliary Fronting with Grammatical Inference

    Clark, A. & Eyraud, R., 2006, p. 125-132.

    Research output: Contribution to conferencePaper

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

  252. Published

    Learning by Support Vector Machine

    Gammerman, A. & Vovk, V., 1998.

    Research output: Contribution to conferenceOther

  253. Published

    Learning by transduction

    Gammerman, A., Vapnik, V. & Vovk, V., 1998, Proceedings of the Fourteenth Conference on Uncertainty in Articial Intelligence. San Francisco, CA: Morgan Kaufmann, p. 148-156 9 p.

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

  254. Published

    Learning Context Free Grammars with the Syntactic Concept Lattice

    Clark, A., 1 Sep 2010, Grammatical Inference: Theoretical Results and Applications. Sempere, J. & Garcia, P. (eds.). Springer-Verlag, Vol. 6339. p. 38-51 (Lecture Notes in Computer Science; vol. 6339).

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

  255. Published

    Learning Deterministic Context Free Grammars: the Omphalos Competition

    Clark, A., 1 Jan 2007, In: Machine Learning. 66, 1, p. 93-110 18 p.

    Research output: Contribution to journalArticlepeer-review

  256. Published

    Learning Eigenvectors for Free

    Koolen, W. M., Kotlowski, W. & Warmuth, M. K., 1 Dec 2011, Proceedings of the 25th Annual Conference on Neural Information Processing Systems (NIPS 2011).

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

  257. Forthcoming

    Learning interpretable disease self-representations for drug repositioning

    Galeano Galeano, D., Frasca, F., Gonzalez, G., Lapanogov, I., Veselkov, K., Paccanaro, A. & Bronstein, M. M., 2019, (Accepted/In press) Conference on Neural Information Processing Systems (NeurIPS) 2019: Graph representation Learning Workshop .

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

  258. Published

    Learning latent semantic relations from clickthrough data for query suggestion

    Ma, H., Yang, H., King, I. & Lyu, M. R., 1 Jan 2008, International Conference on Information and Knowledge Management, Proceedings. p. 709-718 10 p.

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

  259. Published

    Learning Morphology with Pair Hidden Markov Models

    Clark, A., 1 Jul 2001, Proceedings of the Association for Computational Linguistics: Student Session. p. 55-60

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

  260. Published

    Learning nominal automata

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

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

  261. Unpublished
  262. Submitted

    Learning to Identify Perceptual Bugs in 3D Video Games

    Wilkins, B. & Stathis, K., 28 Feb 2022, (Submitted) In: ArXiv.org.

    Research output: Contribution to journalArticle

  263. Published

    Learning with Consistency between Inductive Functions and Kernels: Proceedings of the Twenty-Second Annual Conference on Neural Information Processing Systems

    Yang, H., King, I. & Lyu, M. R., 2008, p. 1849-1856. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  264. Published

    Legacy transformations for extracting service components

    Matos, C. & Heckel, R., 2011, Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Wirsing, M. & Hölz, M. (eds.). Springer-Verlag, p. 604-621 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  265. Published

    Lego and related work (summer school lecture notes)

    Luo, Z., 1999

    Research output: Other contribution

  266. Published

    LEGO Proof Development System: User's Manual

    Luo, Z. & Pollack, R., 1992, LFCS Report Series. LFCS, Edinburgh Univ

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

  267. Published

    Level of repair analysis and minimum cost homomorphisms of graphs

    Gutin, G., Rafiey, A., Tso, M. & Yeo, A., 2006, In: Discrete Applied Mathematics. 154, 6, p. 881-889

    Research output: Contribution to journalArticlepeer-review

  268. Published

    Leveraging probabilistic reasoning in deterministic planning for large-scale autonomous Search-and-Tracking

    Bernardini, S., Fox, M., Long, D. & Piacentini, C., 12 Jun 2016, Proceedings of the Twenty Sixth International Conference on Automated Planning and Scheduling (ICAPS- 16) . p. 47-55 9 p.

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

  269. Published

    Levy's zero-one law in game-theoretic probability

    Shafer, G., Vovk, V. & Takemura, A., 3 May 2009.

    Research output: Working paper

  270. Published

    Levy's zero-one law in game-theoretic probability

    Shafer, G., Vovk, V. & Takemura, A., 2012, In: Journal of Theoretical Probability. 25, 1, p. 1-24 24 p.

    Research output: Contribution to journalArticlepeer-review

  271. Published

    LFTOP: an LF-based approach to domain-specific reasoning

    Pang, J., Callaghan, P. & Luo, Z., 2005, In: Journal of Computer Science and Technology. 20, 4, p. 526-535

    Research output: Contribution to journalArticlepeer-review

  272. Published

    LibSEAL: revealing service integrity violations using trusted execution

    Aublin, P-L., Kelbert, F., O'Keeffe, D., Muthukumaran, D., Priebe, C., Lind, J., Krahn, R., Fetzer, C., Eyers, D. M. & Pietzuch, P. R., 23 Apr 2018, Proceedings of the Thirteenth EuroSys Conference, EuroSys 2018, Porto, Portugal, April 23-26, 2018. p. 1-15 15 p. 24

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

  273. Published

    Light hadron spectroscopy with two flavors of dynamical quarks on the lattice

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Mar 2002, In: Physical Review D . 65, 5, p. - 50 p.

    Research output: Contribution to journalArticlepeer-review

  274. Published

    Light hadron spectroscopy with two flavors of dynamical quarks on the lattice (vol 65, art no 054505, 2002)

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 1 Mar 2003, In: Physical Review D . 67, 5, p. - 6 p.

    Research output: Contribution to journalArticlepeer-review

  275. Published

    Light hadron spectrum and quark masses from quenched lattice QCD

    Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A. & Yoshie, T., 1 Feb 2003, In: Physical Review D . 67, 3, p. - 46 p.

    Research output: Contribution to journalArticlepeer-review

  276. Published

    Light hadron spectrum and quark masses in QCD with two flavors of dynamical quarks

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 176-178 3 p.

    Research output: Contribution to journalArticlepeer-review

  277. Published

    Light-weight leases for storage-centric coordination

    Chockler, G. & Malkhi, D., 1 Apr 2006, In: International Journal of Parallel Programming. 34, 2, p. 143-170 28 p.

    Research output: Contribution to journalArticlepeer-review

  278. Published

    Linear Probability Forecasting

    Zhdanov, F. & Kalnishkan, Y., 2010, Artificial Intelligence Applications and Innovations, AIAI 2010, Proceedings: vol 339 of IFIP Advances in Information and Communication Technology. Springer, p. 4-11 (IFIP Advances in Information and Communication Technology; vol. 339).

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

  279. Published

    Linear Relations between Square-Loss and Kolmogorov Complexity

    Kalnishkan, Y., 1999, of the Twelfth Annual Conference on Computation Learning Theory. ACM, p. 226-232

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

  280. Forthcoming

    Linear Time Baire Hierarchical Clustering for Enterprise Information Retrieval

    Murtagh, F. & Contreras Albornoz, P., 2012, (Accepted/In press) In: International Journal of Software and Informatics . 6, 3

    Research output: Contribution to journalArticlepeer-review

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

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

  283. Published

    Linear-vertex kernel for the problem of packing r-stars into a graph without long induced paths

    Barbero, F., Gutin, G., Jones, M., Sheng, B. & Yeo, A., Jun 2016, In: Information Processing Letters. 116, 6, p. 433–436 4 p.

    Research output: Contribution to journalArticlepeer-review

  284. Published

    Linguistic categories in mathematical vernacular and their type-theoretic semantics (extended abstract)

    Luo, Z. & Callaghan, P., 1997, Logical Aspects of Computational Linguistics 97 (LACL'97).

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

  285. Published

    Linguistic Nativism and the Poverty of the Stimulus

    Clark, A. & Lappin, S., 2011, Wiley-Blackwell.

    Research output: Book/ReportBook

  286. Published

    Link-based text classification using Bayesian networks

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F., Masegosa, A. R. & Romero, A. E., 1 Jan 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6203 LNCS. p. 397-406 10 p.

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

  287. Published

    Lin-Kernighan Heuristic Adaptations for the Generalized Traveling Salesman Problem

    Gutin, G. & Karapetyan, D., 2011, In: European Journal of Operational Research. 208, p. 221-232

    Research output: Contribution to journalArticlepeer-review

  288. Published

    Living Memory: Agent-based Information Management for Connected Local Communities

    Stathis, K., de Bruijn, O. & Macedo, S., 2002, In: Interacting with Computers. 14, 6, p. 663-688

    Research output: Contribution to journalArticlepeer-review

  289. Forthcoming

    Local Search Heuristics for the Multidimensional Assignment Problem

    Gutin, G. & Karapetyan, D., 2011, (Accepted/In press) In: Journal of Heuristics. 17, 3

    Research output: Contribution to journalArticlepeer-review

  290. Published

    Location Tracking Using Smartphone Accelerometer and Magnetometer Traces

    Nguyen, D. K. A., Akram, R. N., Markantonakis, K., Luo, Z. & Watkins, C., 26 Aug 2019, The First Location Privacy Workshop (LPW 2019), the 14th International Conference on Availability, Reliability and Security (ARES 2019). Association for Computing Machinery (ACM), p. 1-9 9 p. 96

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

  291. Published

    Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

    Artikis, A. (ed.), Craven, R. (ed.), Cicekli, N. K. (ed.), Sadighi, B. (ed.) & Stathis, K. (ed.), 2012, SPRINGER-VERLAG BERLIN.

    Research output: Book/ReportScholarly edition

  292. Published

    Logical Foundations of Services

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

    Research output: Contribution to conferencePaperpeer-review

  293. E-pub ahead of print

    Logical Support for Bike-Sharing System Design

    Tutu, I., Chirita, C-E., Lopes, A. & Fiadeiro, J. L., 9 Oct 2019, (E-pub ahead of print) From Software Engineering to Formal Methods and Tools, and Back. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Springer, p. 152-171 20 p. (Lecture Notes In Computer Science; vol. 11865).

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

  294. Published

    Logical truths in constructive type theory (abstract)

    Luo, Z., 1996, Logic Colloquium 96.

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

  295. Unpublished

    Logics and reasoning for computational creativity

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

    Research output: ThesisDoctoral Thesis

  296. Published

    Logics for Actor Networks: A two-stage constrained-hybridisation approach

    Luiz Fiadeiro, J., Tutu, I., Lopes, A. & Pavlovic, D., Aug 2019, In: Journal of Logical and Algebraic Methods in Programming. 106, p. 141-166 26 p.

    Research output: Contribution to journalArticlepeer-review

  297. E-pub ahead of print

    Logics for Actor Networks: A Case Study in Constrained Hybridization

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

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

  298. Published

    Logics of Modal Terms for Systems Specification

    Fiadeiro, J. & Sernadas, A., 1 Dec 1990, In: Journal of Logic and Computation. 1, 2, p. 187-227 41 p.

    Research output: Contribution to journalArticlepeer-review

  299. Published

    Longest path-partitions in generalizations of tournaments

    Bang-Jensen, J., Nielsen, M. H. & Yeo, A., 2006, In: Discrete Mathematics. 306, p. 1830-1839 10 p.

    Research output: Contribution to journalArticlepeer-review

  300. Published

    Longest paths in strong spanning oriented subgraphs of strong semicomplete multipartite digraphs

    Gutin, G., Tewes, M. & Yeo, A., 2000, In: Discrete Mathematics. 222, 1-3, p. 269-274

    Research output: Contribution to journalArticlepeer-review

  301. Published

    Looking at clouds from both sides: The advantages and disadvantages of placing personal narratives in the cloud

    Coles-Kemp, L., Reddington, J. & Williams, P. A. H., 2011, In: Information Security Technical Report. 16, 3-4, p. 115-122

    Research output: Contribution to journalArticlepeer-review

  302. Published

    Losing money with a high Sharpe ratio

    Vovk, V., 4 Sep 2011, 6 p.

    Research output: Working paper

  303. Published

    Loss functions, complexities, and the Legendre transformation

    Kalnishkan, Y., Vovk, V. & Vyugin, M. V., 2001, Proceedings of the Twelfth International Conference on Algorithmic Learning Theory. Abe, N., Khardon, R. & Zeugmann, T. (eds.). London: Springer, p. 181-189 9 p.

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

  304. Published

    Loss functions, complexities, and the Legendre transformation

    Kalnishkan, Y., Vovk, V. & Vyugin, M. V., 17 Feb 2004, In: Theoretical Computer Science. 313, 2, p. 195-207 13 p.

    Research output: Contribution to journalArticlepeer-review

  305. Published

    Lossy Kernels for Connected Dominating Set on Sparse Graphs

    Eiben, E., Kumar, M., Mouawad, A. E., Panolan, F. & Siebertz, S., 26 Sep 2019, In: SIAM Journal on Discrete Mathematics. 33, 3, p. 1743-1771 29 p.

    Research output: Contribution to journalArticlepeer-review

  306. Published

    LP-branching algorithms based on biased graphs

    Wahlström, M., 2017, Proceedings of the 2017 Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM, p. 1559-1570 12 p.

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

  307. Published

    LUMI-PCR: An Illumina platform ligation-mediated PCR protocol for integration site cloning, provides molecular quantitation of integration sites

    Dawes, J. C., Webster, P., Iadarola, B., Garcia-Diaz, C., Dore, M., Bolt, B. J., Dewchand, H., Dharmalingam, G., McLatchie, A. P., Kaczor, J., Caceres, J. J., Paccanaro, A., Game, L., Parrinello, S. & Uren, A. G., 4 Feb 2020, In: Mobile DNA. 11, p. 1-16 16 p., 7.

    Research output: Contribution to journalArticlepeer-review

  308. E-pub ahead of print

    Machine learning and network medicine approaches for drug repositioning for COVID-19

    de Siquiera Santos, S., Torres, M., Galeano Galeano, D., Sanchez, M. D. M., Cernuzzi, L. & Paccanaro, A., 9 Nov 2021, (E-pub ahead of print) In: Cell Patterns.

    Research output: Contribution to journalArticlepeer-review

  309. Published

    Machine learning classification with confidence: Application of transductive conformal predictors to MRI-based diagnostic and prognostic markers in depression

    Nouretdinov, I., Costafreda, S. G., Gammerman, A., Chervonenkis, A., Vovk, V., Vapnik, V. & Fu, C. H. Y., 15 May 2011, In: NeuroImage. 56, 2, p. 809-813 5 p.

    Research output: Contribution to journalArticlepeer-review

  310. Published

    Machine-learning applications of algorithmic randomness

    Vovk, V., Gammerman, A. & Saunders, C., 1999, Proceedings of the Sixteenth International Conference on Machine Learning. San Francisco, CA: Morgan Kaufmann, p. 444-453 10 p.

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

  311. Published

    Macro Processors for Enhancing High Level Languages

    Triance, J. M. & Layzell, P. J., 1985, Computer Journal. p. 34-49 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  312. Unpublished

    MAGE: Multi-Agent Game Environment

    Urovi, V., 23 Mar 2011, (Unpublished) 256 p.

    Research output: ThesisDoctoral Thesis

  313. Published

    Magnet: Practical Subscription Clustering for Internet-Scale Publish/Subscribe

    Girdzijauskas, S., Chockler, G., Vigfusson, Y., Melamed, R. & Tock, Y., Jul 2010, Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems (DEBS '10). Cambridge, UK: ACM, p. 172-183 12 p.

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

  314. Published

    MagnetDroid: security-oriented analysis for bridging privacy and law for Android applications

    Uliana, E., Stathis, K. & Jago, R., 17 Jun 2019, p. 123-132. 10 p.

    Research output: Contribution to conferencePaperpeer-review

  315. Published
  316. Published

    Maintenance of Object Oriented C++ Software: A Protocol Study

    Douce, C. & Layzell, P. J., 1997, WESS’97, 2nd International Workshop on Empirical Studies of Software Maintenance, Bari, Italy, IEEE Computer Society, October 1997. p. 115-119 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  317. Published

    MAJIC- Advanced Program Development Using Jackson Structured Programming

    Sutcliffe, A. G., Layzell, P. J. & Loucopoulos, P., 1986, BCS Software Engineering 86, 1986.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  318. Published

    Making a tournament k-arc-strong by reversing or deorienting arcs

    Bang-Jensen, J. & Yeo, A., 15 Feb 2004, In: Discrete Applied Mathematics. 136, 2-3, p. 161-171

    Research output: Contribution to journalArticlepeer-review

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

  320. Published

    Malware Detection

    Katzenbeisser, S., Kinder, J. & Veith, H., 2011, Encyclopedia of Cryptography and Security, 2nd Ed.. van Tilborg, H. & Jajodia, S. (eds.). Springer, p. 752-755

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  321. Published

    Malware in Motion

    Choudhury, R., Luo, Z. & Nguyen, K., 2022, p. 595-602.

    Research output: Contribution to conferencePaperpeer-review

  322. Published

    Managing Evolution in Telecommunication Systems

    Koutsoukos, G., Gouveia, J., Andrade, L. F. & Fiadeiro, J. L., 2001, DAIS. Kluwer, Vol. 198. p. 133-140 8 p. (IFIP Conference Proceedings).

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

  323. Published

    Managing Healthcare Information: The Role of the Broker

    Budgen, D., Turner, M., Kotsiopoulos, I., Zhu, F., Russell, M., Rigby, M., Bennett, K., Brereton, P., Keane, J. & Layzell, P., 2005, From Grid To Healthcare - Proceedings of Healthgrid 2005. IOS Press, p. 3-16 14 p. (Studies in Health Technology and Informatics; vol. 112).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  324. Published

    Managing socio-technical interactions in healthcare systems

    El-Hassan, O., Fiadeiro, J. L. & Heckel, R., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4928 LNCS. p. 347-358 12 p.

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

  325. Published

    Manifest fields and module mechanisms in intensional type theory

    Luo, Z., 2009, Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'08. LNCS 5497. p. 237-255 18 p.

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

  326. E-pub ahead of print

    Many a Mickle Makes a Muckle: A Framework for Provably Quantum-Secure Hybrid Key Exchange

    Dowling, B., Hansen, T. B. & Paterson, K. G., 10 Apr 2020, (E-pub ahead of print) Post-Quantum Cryptography - 11th International Conference, PQCrypto 2020, Proceedings. Ding, J. & Tillich, J-P. (eds.). Springer, p. 483-502 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12100 LNCS).

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

  327. Published

    Many visits TSP revisited

    Kowalik, L., Li, S., Nadara, W., Smulewicz, M. & Wahlström, M., 26 Aug 2020, ESA 2020. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 173. p. 1-22 22 p. 66

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

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

  329. E-pub ahead of print

    Many-visits TSP revisited

    Kowalik, L., Li, S., Nadara, W., Smulewicz, M. & Wahlström, M., 30 Sep 2021, (E-pub ahead of print) In: Journal of Computer and System Sciences.

    Research output: Contribution to journalArticlepeer-review

  330. Published

    Markov analysis of protein sequence similarities

    Chennubhotla, C. & Paccanaro, A., 2003, Lecture Notes in Computer Science. Springer, Vol. 2859. p. 278-286

    Research output: Chapter in Book/Report/Conference proceedingChapter

  331. Published

    Mathematical vernacular and conceptual well-formedness in mathematical language

    Luo, Z. & Callaghan, P., 1999, Proceedings of the 2nd Inter. Conf. on Logical Aspects of Computational Linguistics (LACL'97). LNAI 1582.

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

  332. Published

    Mathematical vernacular in type theory based proof assistants

    Callaghan, P. & Luo, Z., 1998, User Interfaces for Theorem Provers (UITP'98).

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

  333. Published

    Maximal and Minimal Vertex-critical Graphs of Diameter Two

    Huang, J. & Yeo, A., 1998, In: Journal of Combinatorial Theory, Series B. 74, 2, p. 311-325 15 p.

    Research output: Contribution to journalArticlepeer-review

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

  335. Published

    Maximizing traveling salesman problem for special matrices

    Blokh, D. & Gutin, G., 1995, In: Discrete Applied Mathematics. 56, 1, p. 83-86

    Research output: Contribution to journalArticle

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

  337. Published

    Measuring business process learning with enterprise resource planning systems to improve the value of education

    Monk, E. F. & Lycett, M., 1 Jul 2016, In: Education and Information Technologies. 21, 4, p. 747-768 22 p.

    Research output: Contribution to journalArticlepeer-review

  338. Published

    Mediated digraphs and quantum nonlocality

    Gutin, G., Jones, N., Rafiey, A., Severini, S. & Yeo, A., 2005, In: Discrete Applied Mathematics. 150, 1-3, p. 41-50

    Research output: Contribution to journalArticlepeer-review

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

  340. Published

    Memory-Based Learning of Morphology with Stochastic Transducers

    Clark, A., 2002, Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics (ACL). p. 513--520

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

  341. Published

    Merging of opinions in game-theoretic probability

    Vovk, V., 2 May 2007.

    Research output: Working paper

  342. Published

    Merging of opinions in game-theoretic probability

    Vovk, V., Dec 2009, In: Annals of the Institute of Statistical Mathematics. 61, 4, p. 969-993 25 p.

    Research output: Contribution to journalArticlepeer-review

  343. Unpublished

    Merging Time Series with Specialist Experts

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

    Research output: Working paper

  344. Published

    Meta-Search Through the Space of Representations and Heuristics on a Problem by Problem Basis

    Fuentetaja, R., Barley, M., Borrajo, D., Douglas, J., Franco, S. & Riddle, P., 26 Apr 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI Press, p. 6169-6176 8 p. (32nd AAAI Conference on Artificial Intelligence, AAAI 2018).

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

  345. Published

    Method for Separately Permissioned Communication

    Watkins, C. & Denker, J., 2000, IPC No. US Patent, Patent No. 6064878

    Research output: Patent

  346. Published

    Method of Automatic Verification of Personal Identity

    Watkins, C., 1998, IPC No. US Patent, Patent No. 5719560

    Research output: Patent

  347. Published

    Methodology for optimising cost/speed tradeoffs in real-time inspection hardware

    Davies, E. R. & Johnstone, A. I. C., Jan 1989, In: IEE Proc E. 136, 1, p. 62-69 8 p.

    Research output: Contribution to journalArticlepeer-review

  348. Published

    Methods of Hierarchical Clustering

    Murtagh, F. & Contreras, P., 2011, Data Mining and Knowledge Discovery. Wiley-Interscience

    Research output: Chapter in Book/Report/Conference proceedingChapter

  349. Published

    Metric entropy in competitive on-line prediction

    Vovk, V., 9 Sep 2006.

    Research output: Working paper

  350. Published

    Migrating Legacy Systems to Service-Oriented Architectures

    Matos, C. & Heckel, R., 2009, In: Electronic Communications of the EASST. 16, p. 1-16 16 p.

    Research output: Contribution to journalArticlepeer-review

  351. Published

    Minimizing and maximizing the diameter in orientations of graphs

    Gutin, G., 1994, In: Graphs and Combinatorics. 10, p. 225-230

    Research output: Contribution to journalArticle

  352. Published

    Minimum Cost and List Homomorphisms to Semicomplete Digraphs

    Gutin, G., Rafiey, A. & Yeo, A., 2006, In: Discrete Applied Mathematics. 154, 6, p. 890-897

    Research output: Contribution to journalArticlepeer-review

  353. Published

    Minimum Cost Homomorphism Dichotomy for Oriented Cycles

    Gutin, G., Rafiey, A. & Yeo, A., 2009, In: Graphs and Combinatorics. 25, 4, p. 521-531 11 p.

    Research output: Contribution to journalArticlepeer-review

  354. Published

    Minimum Cost Homomorphisms to Semicomplete Bipartite Digraphs

    Gutin, G., Rafiey, A. & Yeo, A., 2008, In: SIAM Journal on Discrete Mathematics. 22, 4, p. 1624-1639 16 p.

    Research output: Contribution to journalArticlepeer-review

  355. Published

    Minimum Cost Homomorphisms to Semicomplete Multipartite Digraphs

    Gutin, G., Rafiey, A. & Yeo, A., 2008, In: Discrete Applied Mathematics. 156, 12, p. 2429-2435 7 p.

    Research output: Contribution to journalArticlepeer-review

  356. Published

    Minimum description length estimators under the optimal coding scheme

    Vovk, V., 1995, Proceedings of the Second European Conference on Computational Learning Theory. Vitanyi, P. (ed.). Berlin: Springer, p. 237-251 (Lecture Notes in Computer Science; vol. 904).

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

  357. Published

    Minimum Leaf Out-branching and Related Problems

    Gutin, G., Razgon, I. & Kim, E. J., 2009, In: Theoretical Computer Science. 410, p. 4571-4579

    Research output: Contribution to journalArticlepeer-review

  358. Published

    Mining social networks using heat diffusion processes for marketing candidates selection

    Ma, H., Yang, H., Lyu, M. R. & King, I., 1 Jan 2008, International Conference on Information and Knowledge Management, Proceedings. p. 233-242 10 p.

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

  359. Published

    Mining the biomedical literature to predict shared drug targets in DrugBank

    Caniza Vierci, H., Galeano Galeano, D. & Paccanaro, A., 2017, XLIII Conferencia Latinoamericana en Informática CLEI 2017. IEEE Xplore, p. 1-5 5 p.

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

  360. Published

    Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour

    Fiadeiro, J. L. & Costa, J. F., 1996, In: Mathematical Structures in Computer Science. 6, 4, p. 353-373 21 p.

    Research output: Contribution to journalArticlepeer-review

  361. Published
  362. Published

    Mixability and the Existence of Weak Complexities

    Kalnishkan, Y. & Vyugin, M., 2002, Computational Learning Theory, 15th Annual Conference on Computational Learning Theory, COLT 2002, Proceedings: volume 2375 of Lecture Notes in Artificial Intelligence. Springer, p. 105-120 (Lecture Notes in Artificial Intelligence; vol. 2375).

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

  363. Published

    Mobile Agents System Security: A Systematic Survey

    Bagga, P. & Hans, R., 26 Sep 2017, In: ACM Computing Surveys. 50, 5, p. 1-45 45 p., 65.

    Research output: Contribution to journalArticlepeer-review

  364. In preparation

    modCDF - modifying CDF's for microarrays using sequence similarity

    Shanahan, H., Harrison, A., Upton, G. & Memon, F., 2012, (In preparation) In: Bioinformatics. 2 p.

    Research output: Contribution to journalArticlepeer-review

  365. Published

    Model checking for symbolic-heap separation logic with inductive predicates

    Brotherston, J., Gorogiannis, N., Kanovich, M. & Rowe, R., Jan 2016, POPL '16 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, p. 84-96 13 p.

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

  366. Published

    Model Checking Recursive Programs with Numeric Data Types

    Hague, M. & Lin, A., 2011, CAV: Computer Aided Verification.

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

  367. Published

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

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

    Research output: Contribution to conferencePaperpeer-review

  368. E-pub ahead of print

    Modeling and dynamic analysis of spiral bevel gear coupled system of intermediate and tail gearboxes in a helicopter

    Zhu, H., Chen, W., Zhu, R., Zhang, L., Fu, B. & Lu, X., 13 Apr 2021, (E-pub ahead of print) In: Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science.

    Research output: Contribution to journalArticlepeer-review

  369. Published

    Modelling GLL Parser Implementations

    Johnstone, A. & Scott, E., 2011, Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers. Malloy, B., Staab, S. & van den Brand, M. (eds.). Springer, p. 42-61 20 p. (Lecture Notes in Computer Science; vol. 6563).

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

  370. Published

    Modelling the GSM handover protocol in commUnity

    Oliveira, C., Fiadeiro, J. L., Wermelinger, M. & Lopes, A., 1 Dec 2005, In: Electronic Notes in Theoretical Computer Science. 141, 3, p. 3-25 23 p.

    Research output: Contribution to journalArticlepeer-review

  371. E-pub ahead of print

    Modelling the Privacy Impact of External Knowledge for Sensor Data in the Industrial Internet of Things

    Darwish, S., Nouretdinov, I. & Wolthusen, S., 14 May 2019, (E-pub ahead of print) Security and Privacy Trends in the Industrial Internet of Things. p. 223-243 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  372. Published

    Models for the substitution axiom of UNITY logic

    Reichwein, G. & Fiadeiro, J. L., 1 Jan 1993, In: Information Processing Letters. 48, 4, p. 171-176 6 p.

    Research output: Contribution to journalArticlepeer-review

  373. Forthcoming

    Modern Type Theories: Their Development and Applications

    Luo, Z., 2022, (Accepted/In press) Tsinghua University Press.

    Research output: Book/ReportBook

  374. Published

    Modular construction of logic knowledge bases: an algebraic approach

    Sernadas, C., Fiadeiro, J. L. & Sernadas, A., 1990, In: Information Systems Research. 15, 1, p. 37-59 23 p.

    Research output: Contribution to journalArticlepeer-review

  375. Published

    Modular grammar specification

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

    Research output: Contribution to journalArticlepeer-review

  376. Published

    Modular Synthesis of Heap Exploits

    Repel, D., Kinder, J. & Cavallaro, L., 30 Oct 2017, PLAS '17 Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security. Association for Computing Machinery (ACM), p. 25-35 11 p.

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

  377. Published

    Molecular evolution

    Ratner, V. A., Zharkikh, A. A., Kolchanov, N. A., Rodin, S. N., Solovyev, V. & Antonoc, A. S., 1996, In: Biomathematics. 24

    Research output: Contribution to journalArticlepeer-review

  378. Published

    Molecular mechanism of the somatic hypermutagenesis in immunoglobulin genes

    Kolchanov, N. A., Solovyev, V. & Rogozin, I. B., 1985, In: Proceedings of the USSR Academy of Science (Russ). 281, p. 994-999

    Research output: Contribution to journalArticlepeer-review

  379. E-pub ahead of print

    Monadic Decomposition in Integer Linear Arithmetic

    Hague, M., Lin, A., Ruemmer, P. & Wu, Z., 24 Jun 2020, (E-pub ahead of print) International Joint Conference on Automated Reasoning: IJCAR 2020. Springer-Verlag, p. 122-140 19 p. (Lecture Notes in Computer Science; vol. 12166).

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

  380. Published

    Mondrian Condence Machine

    Vovk, V., Lindsay, D., Nouretdinov, I. & Gammerman, A., Mar 2003, (On-line Compression Modelling project).

    Research output: Working paper

  381. Published

    Mondrian Confidence Machine

    Vovk, V., Lindsay, D., Nouretdinov, I. & Gammerman, A., Mar 2003, (On-line Compression Modelling project).

    Research output: Working paper

  382. Published

    Monitoring Gestational Diabetes Mellitus with Cognitive Agents and Agent Environments

    Bromuri, S., Schumacher, M., Stathis, K. & Ruiz, J., 23 Aug 2011, p. 409-414. 6 p.

    Research output: Contribution to conferencePaperpeer-review

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

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

  385. Published

    MoverScore: Text Generation Evaluating with Contextualized Embeddings and Earth Mover Distance

    Zhao, W., Peyrard, M., Liu, F., Gao, Y., Meyer, C. M. & Eger, S., Nov 2019, Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP). Association for Computational Linguistics, p. 563-578 16 p.

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

  386. Published

    Multi-agent interactions for an ATM management system (TeleMACS approach).

    Hayzelden, A., Bigham, J. & Luo, Z., 1999, Software Agents for Future Communications Systems. Hayzelden, A. L. G. & Bigham, J. (eds.). Springer-Verlag, p. 160-182

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

  387. Published

    Multi-agent systems for resource management

    Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., 1999, 6th International Conference on Intelligence and Services in Networks, Also in Lecture Notes in Computer Science. Zuidweg, H., Campolargo, M., Delgado, J. & Mullery, A. (eds.). Springer-Verlag, Vol. 1597.

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

  388. Published

    Multiband segmentation based on a hierarchical Markov model

    Murtagh, F. & Collet, C., 2004, In: Pattern Recognition. 37, 12, p. 2337-2347

    Research output: Contribution to journalArticle

  389. E-pub ahead of print

    Multi-budgeted Directed Cuts

    Kratsch, S., Pilipczuk, M., Li, S., Marx, D. & Wahlström, M., 2 Aug 2019, (E-pub ahead of print) In: Algorithmica. p. 1-21 21 p.

    Research output: Contribution to journalArticlepeer-review

  390. Published

    Multi-Budgeted Directed Cuts

    Kratsch, S., Li, S., Marx, D., Pilipczuk, M. & Wahlstrom, M., 25 Jan 2019, IPEC 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 115. p. 18:1-18:14 14 p. 18. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

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

  392. Published

    Multi-Head Attention-Based Long Short-Term Memory for Depression Detection From Speech

    Zhao, Y., Liang, Z., Du, J., Zhang, L., Liu, C. & Zhao, L., 26 Aug 2021, In: Frontiers in Neurorobotics. 15, 684037.

    Research output: Contribution to journalArticlepeer-review

  393. E-pub ahead of print

    Multi-level conformal clustering: A distribution-free technique for clustering and anomaly detection

    Nouretdinov, I., Gammerman, J., Fontana, M. & Rehal, D., 28 Nov 2019, (E-pub ahead of print) In: Neurocomputing. p. 1-13 13 p.

    Research output: Contribution to journalArticlepeer-review

  394. Published

    Multipartite tournaments with small number of cycles

    Gutin, G. & Rafiey, A., 2006, In: Australasian Journal of Combinatorics. 34, 1, p. 17-21

    Research output: Contribution to journalArticlepeer-review

  395. Published

    Multiparty compatibility for concurrent objects

    Perera, R., Lange, J. & Gay, S. J., 17 Jun 2016, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 211, p. 73-82 10 p.

    Research output: Contribution to journalConference articlepeer-review

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

  397. Published

    Multiparty Session Types Meet Communicating Automata

    Deniélou, P-M. & Yoshida, N., 2012, Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012: Proceedings. Seidl, H. (ed.). Springer, p. 194-213 20 p. (Lecture Notes in Computer Science; vol. 7211).

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

  398. Published

    Multiple lexicalisation (a Java based study)

    Scott, E. & Johnstone, A., 20 Oct 2019, ACM Digital Library: Proceedings of Software Language Engineering 2019. ACM, p. 71-82 12 p.

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

  399. Published

    Multiple sequence alignment based on new approaches of tree construction and sequences comparison

    Solovyev, V., Streletc, V. B., Milanesi, L., Lim, H. (ed.), Fickett, J. (ed.), Cantor, C. (ed.) & Robbins, R. (ed.), 1993, Proceedings of the 2nd International conference on Bioinformatics, Supercomputing, and Complex genome analysis.. World Scientific, p. 419-428

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

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

  401. Published

    Multiprobabilistic Venn Predictors with Logistic Regression

    Nouretdinov, I., Devetyarov, D., Burford, B., Camuzeaux, S., Gentry-Maharaj, A., Tiss, A., Smith, C., Luo, Z., Chervonenkis, A., Hallett, R., Vovk, V., Waterfield, M., Cramer, R., Timms, J. F., Jacobs, I., Menon, U. & Gammerman, A., 2012, Artificial Intelligence Applications and Innovations - AIAI 2012 International Workshops: AIAB, AIeIA, CISE, COPA, IIVC, ISQL, MHDW, and WADTMB, Halkidiki, Greece, September 27-30, 2012, Proceedings, Part II. Iliadis, L., Maglogiannis, I., Papadopoulos, H., Karatzas, K. & Sioutas, S. (eds.). Springer, Vol. 382. (IFIP Advances in Information and Communication Technology).

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

  402. Published

    Multi-Quantile Recurrent Neural Network for Feeder-Level Probabilistic Energy Disaggregation Considering Roof-Top Solar Energy

    Zhang, X., Watkins, C. & Kuenzel, S., Apr 2022, In: Engineering Applications of Artificial Intelligence. 104707.

    Research output: Contribution to journalArticlepeer-review

  403. Published

    Multiresolution filtering and segmentation of multispectral images

    Murtagh, F., Collet, C., Louys, M. & Starck, J. L., 2002, In: Proceedings of the SPIE. 4847, p. 354-361

    Research output: Contribution to journalArticle

  404. Published

    Multi-Shot Distributed Transaction Commit

    Chockler, G. & Gotsman, A., 4 Oct 2018, 32nd International Symposium on Distributed Computing (DISC 2018). Springer-Verlag, p. 1-18 18 p. (LIPIcs–Leibniz International Proceedings in Informatics ; vol. 121).

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

  405. Published

    mutation3D: Cancer Gene Prediction Through Atomic Clustering of Coding Variants in the Structural Proteome

    Meyer, M. J., Lapcevic, R., Romero, A. E., Yoon, M., Das, J., Beltrán, J. F., Mort, M., Stenson, P. D., Cooper, D. N., Paccanaro, A. & Yu, H., May 2016, In: Human Mutation. 37, 5, p. 447-456 10 p.

    Research output: Contribution to journalArticlepeer-review

  406. Published

    Natural Language Inference in Coq

    Chatzikyriakidis, S. & Luo, Z., Dec 2014, In: Journal of Logic, Language and Information. 23, p. 441–480 40 p.

    Research output: Contribution to journalArticlepeer-review

  407. Published

    Natural Language Queries on Natural Language Data: a Database of Meeting Dialogues

    Armstrong, S., Clark, A., Coray, G., Georgescul, M., Pallotta, V., Popescu-Belis, A., Portabella, D., Rajman, M. & Starlander, M., 2003.

    Research output: Contribution to conferencePaperpeer-review

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

  409. E-pub ahead of print

    Near-linear-time, Optimal Vertex Cut Sparsifiers in Directed Acyclic Graphs

    He, Z., Li, J. & Wahlström, M., 3 Jul 2021, (E-pub ahead of print) Proceedings of ESA 2021. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 1-14 14 p. 52

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

  410. Published

    Negotiation in Service Oriented Environments

    Elfatatry, A. & Layzell, P., 2004, In: Communications of the ACM. 47, 8, p. 103-108 6 p.

    Research output: Contribution to journalArticlepeer-review

  411. Published

    Network analysis using entropy component analysis

    Ye, C., Wilson, R. C. & Hancock, E. R., Jul 2018, In: Journal of Complex Networks. 6, 3, p. 404-429 26 p.

    Research output: Contribution to journalArticlepeer-review

  412. Published

    Network Conscious π-calculus: A Concurrent Semantics

    Montanari, U. & Sammartino, M., 24 Sep 2012, In: Electronic Notes in Theoretical Computer Science. 286, p. 291-306 16 p.

    Research output: Contribution to journalArticlepeer-review

  413. Unpublished
  414. Published

    Network modeling of patients’ biomolecular profiles for clinical phenotype/outcome prediction

    Gliozzo, J., Perlasca, P., Mesiti, M., Casiraghi, E., Vallacchi, V., Vergani, E., Frasca, M., Grossi, G., Petrini, A., Re, M., Paccanaro, A. & Valentini, G., 27 Feb 2020, In: Scientific Reports. 10, p. 1-15 15 p., 3612.

    Research output: Contribution to journalArticlepeer-review

  415. Published

    Network Representation Learning Enhanced Recommendation Algorithm

    Wang, Q., Yu, Y., Gao, H., Zhang, L., Cao, Y., Mao, L., Dou, K. & Ni, W., 10 May 2019, In: IEEE Access. 7, p. 61388-61399 12 p.

    Research output: Contribution to journalArticlepeer-review

  416. Published

    Network traffic demand prediction with confidence

    Dashevskiy, M. & Luo, Z., 2008, IEEE GLOBECOM 2008. p. 1-5 5 p.

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

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

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

  419. Published

    Neural Graph for Personalized Tag Recommendation

    Yu, Y., Chen, X., Zhang, L., Gao, R. & Gao, H., 24 Nov 2020, In: IEEE Intelligent Systems.

    Research output: Contribution to journalArticlepeer-review

  420. E-pub ahead of print

    Neural Pairwise Ranking Factorization Machine for Item Recommendation

    Jiao, L., Yu, Y., Zhou, N., Zhang, L. & Yin, H., 18 Sep 2020, (E-pub ahead of print) Neural Pairwise Ranking Factorization Machine for Item Recommendation. Proceedings, Part I. ed. Springer, [Cham], p. 680-688 9 p. (Lecture Notes in Computer Science (12112)).

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

  421. Published

    Neural Personalized Ranking via Poisson Factor Model for Item Recommendation

    Yu, Y., Zhang, L., Wang, C., Gao, R., Zhao, W. & Jiang, J., 3 Jan 2019, In: Complexity. 3563674 .

    Research output: Contribution to journalArticlepeer-review

  422. E-pub ahead of print

    Neural Predictive Monitoring

    Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A. & Stoller, S. D., 1 Oct 2019, (E-pub ahead of print) Runtime Verification. p. 129-147 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  423. Published

    Neural predictive monitoring and a comparison of frequentist and Bayesian approaches

    Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A. & Stoller, S. D., 24 May 2021, In: International Journal on Software Tools for Technology Transfer.

    Research output: Contribution to journalArticlepeer-review

  424. Published

    Neural Simplex Architecture

    Phan, D. T., Grosu, R., Jansen, N., Paoletti, N., Smolka, S. A. & Stoller, S. D., 2020, NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, p. 97-114 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12229 LNCS).

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

  425. E-pub ahead of print

    Neural State Classification for Hybrid Systems

    Phan, D., Paoletti, N., Zhang, T., Grosu, R., Smolka, S. A. & Stoller, S. D., 30 Sep 2018, (E-pub ahead of print) 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018). Lahiri, S. K. & Wang, C. (eds.). Springer, p. 422-440 19 p. (Lecture Notes in Computer Science; vol. 11138).

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

  426. Published

    Neurogenomic Signatures of Successes and Failures in Life-History Transitions in a Key Insect Pollinator

    Manfredini, F., Romero Lopez, A., Pedroso Rovira, I., Paccanaro, A., Sumner, S. & Brown, M., 1 Nov 2017, In: Genome Biology and Evolution. 9, 11, p. 3059-3072 14 p.

    Research output: Contribution to journalArticlepeer-review

  427. Published

    New elements of glucocorticoid-receptor binding sites of hormone-regulated genes

    Seledtsov, I. A., Solovyev, V. V. & Merkulova, T. I., 23 Jul 1991, In: BBA - Gene Structure and Expression . 1089, 3, p. 367-376 10 p.

    Research output: Contribution to journalArticlepeer-review

  428. Published

    New Insights on Architectural Connectors

    Bruni, R., Fiadeiro, J. L., Lanese, I., Lopes, A. & Montanari, U., 2004, IFIP TCS. Kluwer, p. 367-380 14 p.

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

  429. Published

    New Methods of Analysis of Narrative and Semantics in Support of Interactivity

    Murtagh, F., Ganz, A. & Reddington, J., 2011, In: Entertainment Computing. 2, p. 115-121

    Research output: Contribution to journalArticlepeer-review

  430. Published

    New Plain-Exponential Time Classes for Graph Homomorphism

    Wahlström, M., 2011, In: Theory of Computing Systems. 49, 2, p. 273-282 10 p.

    Research output: Contribution to journalArticlepeer-review

  431. Published

    New Plain-Exponential Time Classes for Graph Homomorphism

    Wahlström, M., 2009, Computer Science - Theory and Applications : 4th International Computer Science Symposium in Russia, CSR 2009. Frid, A., Morozov, A., Rybalchenko, A. & Wagner, K. W. (eds.). Novosibirsk, Russia: Springer, Vol. 5675. p. 346-355 10 p. (Lecture Notes in Computer Science).

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

  432. Published

    New Tractable Classes from Old

    Cohen, D. A., Jeavons, P. G. & Gault, R. L., 2000, p. 160-171.

    Research output: Contribution to conferencePaper

  433. Published

    New Tractable Classes From Old

    Cohen, D., Jeavons, P. & Gault, R., 2003, p. 263-282.

    Research output: Contribution to conferencePaper

  434. Published

    New utility models for the garnata information retrieval system at INEX'08

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F., Martín-Dancausa, C. & Romero, A. E., 1 Jan 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5631 LNCS. p. 39-45 7 p.

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

  435. Published

    nGASP the nematode genome annotation assessment project

    Coghlan, A., Fiedler, T. J., McKay, S. J., Flicek, P., Harris, T. W., Blasiar, D., Stein, L. D. & Solovyev, V., 2008, In: BMC Bioinformatics. 9, p. 549-549 1 p.

    Research output: Contribution to journalArticlepeer-review

  436. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  437. Published

    Non-asymptotic calibration and resolution

    Vovk, V., 6 Nov 2007, In: Theoretical Computer Science. 387, 1, p. 77-89 13 p.

    Research output: Contribution to journalArticlepeer-review

  438. Published

    Non-asymptotic calibration and resolution

    Vovk, V., 1 Jun 2005.

    Research output: Working paper

  439. Published

    Non-asymptotic calibration and resolution

    Vovk, V., 2005, Proceedings of the Sixteenth International Conference on Algorithmic Learning Theory. Jain, S., Simon, H. & Tomita, E. (eds.). Berlin: Springer, Vol. 3734. p. 429-443 15 p. (Lecture Notes in Computer Science; vol. 3734).

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

  440. Published
  441. Published

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

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

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

  442. Published

    Non-conformity measures in multi-class prediction

    Nouretdinov, I., Santos, M. & Gammerman, A., Jul 2011, p. 57. 1 p.

    Research output: Contribution to conferenceAbstract

  443. Forthcoming

    Nonparametric fiducial prediction

    Vovk, V., 2021, (Accepted/In press) Handbook on BFF Inference. Berger, J., Meng, X-L., Reid, N. & Xie, M. (eds.). Chapman and Hall, 17 p.

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

  444. Published

    Nonparametric predictive distributions based on conformal prediction

    Vovk, V., Shen, J., Manokhin, V. & Xie, M., 2017, Proceedings of Machine Learning Research: Proceedings of COPA 2016 (Sixth Symposium on Conformal and Probabilistic Prediction and Applications). Gammerman, A., Vovk, V., Luo, Z. & Papadopoulos, H. (eds.). Vol. 60. p. 82-102 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  445. Published

    Nonparametric predictive distributions based on conformal prediction

    Vovk, V., Shen, J., Manokhin, V. & Xie, M., 15 Mar 2019, In: Machine Learning. 108, p. 445-474 30 p.

    Research output: Contribution to journalArticlepeer-review

  446. Published

    Non-well-founded Proof Theory of Transitive Closure Logic

    Cohen, L. & Rowe, R., Aug 2020, In: ACM Transactions on Computational Logic. 21, 4, p. 1-31 31 p., 31.

    Research output: Contribution to journalArticlepeer-review

  447. Published

    Normalized Affymetrix expression data are biased by G-quadruplex formation

    Shanahan, H. P., Memon, F. N., Upton, G. J. G. & Harrison, A. P., 1 Apr 2012, In: Nucleic Acids Research. 40, 8, p. 3307-3315 9 p.

    Research output: Contribution to journalArticlepeer-review

  448. Published

    Normalized nonconformity measures for regression conformal prediction

    Papadopoulos, H., Gammerman, A. & Vovk, V., 2008, Proceedings of the IASTED International Conference on Articial Intelligence and Applications. p. 64-69 6 p.

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

  449. Published

    Normative KGP agents

    Sadri, F., Stathis, K. & Toni, F., 2006, In: Computational Mathematical Organization Theory. 12, 2-3, p. 101-126

    Research output: Contribution to journalArticlepeer-review

  450. Published

    Normative KGP Agents: A Preliminary Report

    Sadri, F., Toni, F. & Stathis, K., 1 Dec 2005, Symposium on Normative Multi-Agent Systems, NORMAS 2005, part of the SSAISB 2005 Convention, University of Hertfordshire, Hatfield, UK. p. 85-96 12 p.

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

  451. Published

    Note on alternating directed cycles

    Gutin, G., Sudakov, B. & Yeo, A., 1998, In: Discrete Mathematics. 191, p. 101-107

    Research output: Contribution to journalArticlepeer-review

  452. Published

    Note on Max Lin-2 above Average

    Crowston, R., Gutin, G. & Jones, M., 16 May 2010, In: Information Processing Letters. 110, 11, p. 451-454 4 p.

    Research output: Contribution to journalArticlepeer-review

  453. Published

    Note on Maximal Bisection above Tight Lower Bound

    Gutin, G. & Yeo, A., 2010, In: Information Processing Letters. 110, 21, p. 966-969 4 p.

    Research output: Contribution to journalArticlepeer-review

  454. Published

    Note on Perfect Forests

    Gutin, G., Jul 2016, In: Journal of Graph Theory. 82, 3, p. 233-235 3 p.

    Research output: Contribution to journalArticlepeer-review

  455. E-pub ahead of print

    Note on Perfect Forests in Digraphs

    Gutin, G. & Yeo, A., 17 Jun 2016, (E-pub ahead of print) In: Journal of Graph Theory. 85, 2, p. 372-377 6 p.

    Research output: Contribution to journalArticlepeer-review

  456. Published

    Note on the path covering number of a semicomplete multipartite tournament

    Gutin, G. & Yeo, A., 2000, In: Journal of Combinatorial Mathematics and Combinatorial Computing. 32, p. 231-237 7 p.

    Research output: Contribution to journalArticlepeer-review

  457. Published

    Note on Upper Bounds for TSP Domination Number

    Gutin, G., Koller, A. & Yeo, A., 2006, In: Algorithmic Operations Research. 1, 1, p. 52-54 3 p.

    Research output: Contribution to journalArticlepeer-review

  458. Published

    NRQCD on an anisotropic lattice

    Drummond, I. T., Horgan, R. R., Manke, T. & Shanahan, H. P., Mar 1999, In: Nuclear Physics B - Proceedings Supplements. 73, p. 336-338 3 p.

    Research output: Contribution to journalArticlepeer-review

  459. Published

    Object languages in a type-theoretic meta-framework

    Callaghan, P. C., Luo, Z. & Pang, J., 2001, Proof Transformation and Presentation and Proof Complexities.

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

  460. Published

    Object-Oriented Conceptual Modeling from Law

    Sernadas, C., Fiadeiro, J. L. & Sernadas, A., 1988, DS-3. p. 305-327 23 p.

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

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

  462. Published

    Obstacles in Achieving a World-Wide Software Engineering Profession

    Layzell, P. J., 2001, Proceedings of 14th International Conference on Software Engineering Education and Training, February 2001.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  463. Published

    Odd properly colored cycles in edge-colored graphs

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

    Research output: Contribution to journalArticlepeer-review

  464. Published

    Off-line Nearest Neighbour Transductive Confidence Machine

    Nouretdinov, I., 2008, 8th Industrial Conference on Data Mining 2008 Poster and Workshop Proceedings. p. 16-24 9 p.

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

  465. Published

    On a randomness criterion

    Vovk, V., 1987, In: Soviet Mathematics Doklady. 35, p. 656-660 5 p.

    Research output: Contribution to journalArticlepeer-review

  466. Published

    On assessing the positioning accuracy of Google Tango in challenging indoor environments

    Nguyen, D. K. A. & Luo, Z., 23 Nov 2017, The 8th International Conference on Indoor Positioning and Indoor Navigation, Sept 18-21, 2017, Japan. IEEE, p. 1-8 8 p.

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

  467. Published

    On Completeness in Languages for Attribute-Based Access Control

    Crampton, J. & Williams, C., 6 Jun 2016, Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies: SACMAT '16. New York: ACM Press, p. 149-160 12 p.

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

  468. Published

    On complexity of Minimum Leaf Out-Branching problem

    Dankelmann, P., Gutin, G. & Kim, E. J., 2009, In: Discrete Applied Mathematics. 157, p. 3000-3004

    Research output: Contribution to journalArticlepeer-review

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

  470. Published

    On Correctness of Data Structures under Reads-Write Concurrency

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

    Research output: Contribution to conferencePaperpeer-review

  471. Published

    On Covering Segments with Unit Intervals

    Bergren, D., Eiben, E., Ganian, R. & Kanj, I., 27 Feb 2020, p. 13:1-13:17. 17 p.

    Research output: Contribution to conferencePaperpeer-review

  472. Published

    On Creating Complementary Pattern Databases

    Franco, S., Torralba, Á., Lelis, L. H. S. & Barley, M., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 4302-4309 8 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

  473. Unpublished

    On discovery and exploitation of temporal structure in data sets

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

    Research output: ThesisDoctoral Thesis

  474. Published

    On d-panconnected tournaments with large semidegrees

    Darbinyan, S. & Gutin, G., 12 Apr 2022, In: Discrete Mathematics. 345, 8, 14 p., 112931.

    Research output: Contribution to journalArticlepeer-review

  475. Published

    On Generating Efficient Data Summaries for Logistic Regression: A Coreset-based Approach

    Riquelme Granada, N., Nguyen, D. K. A. & Luo, Z., Jul 2020, 9th International Conference on Data Science, Technology and Applications (DATA 2020). Vol. 1. p. 78-89 12 p.

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

  476. Published

    On guaranteeing polynomially-bounded search tree size

    Cohen, D., Cooper, M., Green, M. J. & Marx, D., 2011.

    Research output: Contribution to conferencePaperpeer-review

  477. Published

    On how distribution and mobility interfere with coordination

    Lopes, A. & Fiadeiro, J. L., 1 Jan 2003, In: Lecture Notes in Computer Science. 2755, p. 343-358 16 p.

    Research output: Contribution to journalArticlepeer-review

  478. Forthcoming

    On Key Assignment Schemes and Cryptographic Enforcement Mechanisms for Information Flow Policies

    Farley, N., 12 Nov 2018, (Accepted/In press) 187 p.

    Research output: ThesisDoctoral Thesis

  479. Published

    On k-strong and k-cyclic Digraphs

    Bang-Jensen, J., Gutin, G. & Yeo, A., 1996, In: Discrete Mathematics. 162, p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  480. Published

    On local modularity and interpolation in entailment systems

    Veloso, P. A. S., Fiadeiro, J. L. & Veloso, S. R. M., 31 May 2002, In: Information Processing Letters. 82, 4, p. 203-211 9 p.

    Research output: Contribution to journalArticlepeer-review

  481. Published

    On matching and total domination in graphs

    Henning, M., Kang, L., Shan, E. & Yeo, A., 2008, In: Discrete Mathematics. 308, 11, p. 2313-2318 6 p.

    Research output: Contribution to journalArticlepeer-review

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

  483. Published

    On modelling multi-agent systems declaratively

    Bracciali, A., Mancarella, P., Stathis, K. & Toni, F., 2005, Declarative agent languages and technologies II. Springer-Verlag, Vol. 3476. p. 53-68 16 p.

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

  484. Published

    On n-partite tournaments with unique n-cycle

    Gutin, G., Rafiey, A. & Yeo, A., 2006, In: Graphs and Combinatorics. 22, 2, p. 241-249

    Research output: Contribution to journalArticlepeer-review

  485. Published

    On Problems as Hard as CNF-SAT

    Cygan, M., Dell, H., Lokshtanov, D., Marx, D., Nederlof, J., Okamoto, Y., Paturi, R., Saurabh, S. & Wahlström, M., 2012, IEEE Conference on Computational Complexity. p. 74-84 11 p.

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

  486. Published

    On quasipolynomial multicut-mimicking networks and kernelization of multiway cut problems

    Wahlström, M., 29 Jun 2020, ICALP 2020. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 168. p. 1-14 14 p. 101

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

  487. Published

    On r-Simple k-Path and Related Problems Parameterized by k/r

    Gutin, G., Wahlstrom, M. & Zehavi, M., Jan 2019, Proceedings of the 2019 Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM, p. 1750-1769 20 p.

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

  488. Published

    On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

    Carbonnel, C., Cohen, D., Cooper, M. & Živný, S., Apr 2019, In: Algorithmica. 81, 4, p. 1699–1727 29 p.

    Research output: Contribution to journalArticlepeer-review

  489. Published

    On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

    Carbonnel, C., Cohen, D. A., Cooper, M. C. & Živný, S., 20 Feb 2018, 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018. Niedermeier, R. & Vallée, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 96. p. 19:1-19:15 15 p. 19

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

  490. Published

    On Subtyping in Type Theories with Canonical Objects

    Lungu, G. & Luo, Z., Nov 2018, Types for Proofs and Programs: Post-proceedings of the 22nd Int. Conf. on Types for Proofs and Programs (TYPES 2016). Leibniz International Proceedings in Informatics, Vol. 97. p. 13:1-13:31 31 p. 13

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

  491. Published

    On the Absence of Predictive Complexity for Some Games

    Kalnishkan, Y. & Vyugin, M. V., 2002, Algorithmic Learning Theory 13th International Conference, ALT 2002, Proceedings: volume 2533 of Lecture Notes in Artificial Intelligence. Springer, (Lecture Notes in Artificial Intelligence; vol. 2533).

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

  492. Published

    On the algebra of structured specifications

    Diaconescu, R. & Tutu, I., 2011, In: Theoretical Computer Science. 412, p. 3145-3174 28.

    Research output: Contribution to journalArticlepeer-review

  493. Published

    On the Approximate Compressibility of Connected Vertex Cover

    Majumdar, D., Ramanujan, M. S. & Saurabh, S., 25 Apr 2020, In: Algorithmica. p. 2902-2926 25 p.

    Research output: Contribution to journalArticlepeer-review

  494. Published

    On the challenge of engineering socio-technical systems

    Fiadeiro, J. L., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5380 LNCS. p. 80-91 12 p.

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

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

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

  497. Published

    On the composability of consistency conditions

    Friedman, R., Vitenberg, R. & Chockler, G., 31 May 2003, In: Information Processing Letters. 86, 4, p. 169-176 8 p.

    Research output: Contribution to journalArticlepeer-review

  498. Published

    On the concept of the Bernoulli property

    Vovk, V., 1986, In: Russian Mathematical Surveys. 41, p. 247-248 2 p.

    Research output: Contribution to journalArticlepeer-review

  499. Published

    On the Emergence of Properties in Component-Based Systems

    Fiadeiro, J. L., 1996, AMAST. Springer, Vol. 1101. p. 421-443 23 p. (Lecture Notes in Computer Science).

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

  500. Published

    On the empirical validity of the Bayesian method

    Vovk, V. & V'yugin, V. V., 1993, In: Journal of the Royal Statistical Society: Series B (Statistical Methodology). 55, p. 253-266 14 p.

    Research output: Contribution to journalArticlepeer-review