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

Previous 1...7 8 9 10 11 12 13 14 ...24 Next