1. Published

    A model for dynamic reconfiguration in service-oriented architectures

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6285 LNCS. p. 70-85 16 p.

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

  2. Published

    A model for dynamic reconfiguration in service-oriented architectures

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

    Research output: Contribution to journalArticlepeer-review

  3. Published

    A Model for Selecting CSCW Technologies for Distributed Software Maintenance Teams in Virtual Organisations

    Tjortjis, C., Dafoulas, G., Layzell, P. J. & Macaulay, L. A., 2002, Proc. Twenty-Sixth Annual International Computer Software and Applications Conference (COMPSAC 02). IEEE Computer Society Press, p. 1104-1108 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Published

    A model-checking approach for service component architectures

    Abreu, J., Fiadeiro, J. L., Mazzanti, F. & Gnesi, S., 1 Jan 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5522 LNCS. p. 219-224 6 p.

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

  5. Unpublished

    A Modular Hierarchy of Logical Frameworks

    Adams, R., 2004, (Unpublished) 254 p.

    Research output: ThesisDoctoral Thesis

  6. Published

    A Modular Hierarchy of Logical Frameworks

    Adams, R., 2004, Types for Proofs and Programs. Berardi, S., Coppo, M. & Damiani, F. (eds.). Springer, Vol. 3085. p. 1-16 16 p. (Lecture Notes in Computer Science).

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

  7. Published

    A multi-agent based management system for future ATM networks

    Hayzelden, A., Bigham, J. & Luo, Z., 1999, Proceedings of the Fourth International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agents (PAAM'99). p. 179-192

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

  8. Published

    A multi-agent based management system for service provider negotiation and charging

    Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., 1999, Proceedings of IFIP TC6 Workshop.

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

  9. Published

    A Multi-Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms

    Bernardini, S., Jovan, F., Jiang, Z., Watson, S., Weightman, A., Moradi, P., Richardson, T., Sadeghian, R. & Sareh, S., May 2020, International Conference on Autonomous Agents and Multi-Agent Systems 2020 . p. 1696-1700 5 p.

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

  10. Published

    A Multivariate Approach for Checking Resiliency in Access Control

    Crampton, J., Gutin, G. & Watrigant, R., 2016, Algorithmic Aspects in Information and Management: AAIM 2016. Springer-Verlag, p. 173-184 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Published

    A negotiation description language

    Elfatatry, A. & Layzell, P., 2005, In: SOFTWARE-PRACTICE. 35, 4, p. 323-343 21 p.

    Research output: Contribution to journalArticlepeer-review

  12. E-pub ahead of print

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

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

    Research output: Contribution to journalArticlepeer-review

  13. Published

    A network-conscious π-calculus and its coalgebraic semantics

    Montanari, U. & Sammartino, M., 21 Aug 2014, In: Theoretical Computer Science. 546, p. 188-224 37 p.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    A new approach for the classification of functional regions of DNA sequences based on fractal representation

    Solovyev, V., Korolev, S. V. & Lim, H. A., 1993, In: Int.J. Genomic. Res.. 1, 2, p. 108-127

    Research output: Contribution to journalArticlepeer-review

  15. Forthcoming

    A New Approach to Population Sizing for Memetic Algorithms: A Case Study for the Multidimensional Assignment Problem

    Karapetyan, D. & Gutin, G., 2011, (Accepted/In press) In: Evolutionary Computation. in press

    Research output: Contribution to journalArticlepeer-review

  16. Forthcoming

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

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

    Research output: Contribution to journalArticlepeer-review

  17. Published

    A new bound on the domination number of graphs with minimum degree two

    Henning, M., Schiermeyer, I. & Yeo, A., 2011, In: The Electronic Journal of Combinatorics. 18, 1

    Research output: Contribution to journalArticlepeer-review

  18. Published

    A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure

    Cohen, D. A., 2003, p. 807-811.

    Research output: Contribution to conferencePaper

  19. Published

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

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

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

  20. Published

    A New Lower Bound on the Maximum Number of Satisfied clauses in Max-SAT and its algorithmic applications.

    Crowston, R., Gutin, G., Jones, M. & Yeo, A., 2012, In: Algorithmica. doi: 10.1007/s00453-011-9550-1

    Research output: Contribution to journalArticlepeer-review

  21. Published

    A New Randomized Algorithm to Approximate the Star Discrepancy Based on Threshold Accepting

    Gnewuch, M., Wahlström, M. & Winzen, C., 2012, In: SIAM Journal on Numerical Analysis. 50, 2, p. 781-807 27 p.

    Research output: Contribution to journalArticlepeer-review

  22. Published

    A New Sufficient Condition for a Digraph to be Hamiltonian

    Bang-Jensen, J., Guo, Y. & Yeo, A., 1999, In: Discrete Applied Mathematics. 95, 1-3, p. 61-72 12 p.

    Research output: Contribution to journalArticlepeer-review

  23. Published

    A new upper bound on the total domination number of a graph

    Henning, M. & Yeo, A., 2007, In: The Electronic Journal of Combinatorics. 14, 1

    Research output: Contribution to journalArticlepeer-review

  24. Published

    A non-perturbative calculation of the mass of the B-c

    Shanahan, H. P., Boyle, P., Davies, C. T. H., Newton, H. & UKQCD Collaboration, 6 May 1999, In: Physics Letters B. 453, 3-4, p. 289-294 6 p.

    Research output: Contribution to journalArticlepeer-review

  25. E-pub ahead of print

    A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic

    Docherty, S. & Rowe, R., 14 Aug 2019, TABLEAUX 2019: Automated Reasoning with Analytic Tableaux and Related Methods. Springer, p. 335-352 18 p. (Lecture Notes in Computer Science; vol. 11714).

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

  26. Published

    A note about norbert wiener and his contribution to harmonic analysis and tauberian theorems

    Almira, J. M. & Romero, A. E., 1 Jan 2009, AIP Conference Proceedings. Vol. 1124. p. 19-28 10 p.

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

  27. Published

    A Note on Alternating Cycles in Edge-coloured Graphs

    Yeo, A., 1997, In: Journal of Combinatorial Theory, Series B. 69, p. 222-225 4 p.

    Research output: Contribution to journalArticlepeer-review

  28. Published

    A note on cardinality of certain classes of unlabeled multipartite tournaments

    Gutin, G., 1998, In: Discrete Mathematics. 186, p. 277-280

    Research output: Contribution to journalArticle

  29. Published

    A note on Contextual Binary Feature Grammars

    Clark, A., Eyraud, R. & Habrard, A., 2009.

    Research output: Contribution to conferencePaperpeer-review

  30. Published

    A Note on Local Ultrametricity in Text

    Murtagh, F., 27 Jan 2007.

    Research output: Working paper

  31. Published

    A novel high-throughput in vivo molecular screen for shade avoidance mutants identifies a novel phyA mutation

    Wang, X., Roig-Villanova, I., Khan, S., Shanahan, H., Quail, P. H., Martinez-Garcia, J. F. & Devlin, P. F., 2011, In: Journal of Experimental Botany. 62, 8, p. 2973-2987 15 p.

    Research output: Contribution to journalArticlepeer-review

  32. Published

    A novel method of protein sequence classification based on oligopeptide frequency analysis and its application to search for functional sites and to domain localization

    Solovyev, V. V. & Makarova, K. S., 1 Feb 1993, In: Bioinformatics. 9, 1, p. 17-24 8 p.

    Research output: Contribution to journalArticlepeer-review

  33. Published

    A Novel Method to Detect Bias in Short Read NGS Data

    Alnasir, J. & Shanahan, H., 2017, In: Journal of Integrative Bioinformatics. 14, 3, p. 1-9 9 p.

    Research output: Contribution to journalArticlepeer-review

  34. Published

    A novel type of RNase III family proteins in eukaryotes

    Filippov, V., Solovyev, V., Filippova, M. & Gill, S. S., 7 Mar 2000, In: Gene. 245, 1, p. 213-21 9 p.

    Research output: Contribution to journalArticlepeer-review

  35. Published

    A Pluralist Approach to the Formalisation of Mathematics

    Adams, R. & Luo, Z., 2 Jul 2011, In: Mathematical Structures in Computer Science. 21, 4, p. 913-942 29 p.

    Research output: Contribution to journalArticlepeer-review

  36. Published

    A Pluralist Approach to Type-Theoretic Foundations.

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

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

  37. Published

    A point-distribution index and its application to sensor-grouping in wireless sensor networks

    Zhou, Y., Yang, H., Lyu, M. R. & Ngai, EC-H., 1 Jan 2006, IWCMC 2006 - Proceedings of the 2006 International Wireless Communications and Mobile Computing Conference. Vol. 2006. p. 1171-1176 6 p.

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

  38. Published

    A Polynomial Algorithm for finding a cycle covering a given set of vertices in a semicomplete multipartite digraph

    Yeo, A., 1999, In: Journal of Algorithms. 33, 1, p. 124-139 16 p.

    Research output: Contribution to journalArticlepeer-review

  39. Published

    A polynomial algorithm for the Hamiltonian cycle problem in semicomplete multipartite digraphs

    Bang-Jensen, J., Gutin, G. & Yeo, A., 1998, In: Journal of Graph Theory. 29, 2, p. 111-132

    Research output: Contribution to journalArticlepeer-review

  40. Published

    A Polynomial Algorithm for the Inference of Context Free Languages

    Clark, A., Eyraud, R. & Habrard, A., 1 Sep 2008, p. 29--42.

    Research output: Contribution to conferencePaperpeer-review

  41. Published

    A polynomial kernel for 3-leaf power deletion

    Ahn, J., Eiben, E., Kwon, O. J. & Oum, S. I., 18 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-14 14 p. MFCS-2020-5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

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

  42. Published

    A polynomial kernel for line graph deletion

    Eiben, E. & Lochet, W., 26 Aug 2020, 28th Annual European Symposium on Algorithms, ESA 2020. Grandoni, F., Herman, G. & Sanders, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-15 15 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 173).

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

  43. Published

    A polynomial kernel for Multicut In Trees

    Bousquet, N., Daligault, J., Thomasse, S. & Yeo, A., 2009, p. 183--194.

    Research output: Contribution to conferencePaper

  44. Published

    A posteriori error bounds for joint matrix decomposition problems

    Colombo, N. & Vlassis, N., Dec 2016, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. p. 4950-4957 8 p.

    Research output: Contribution to journalConference articlepeer-review

  45. Published

    A probabilistic approach to problems parameterized above or below tight bounds

    Gutin, G., Kim, E. J., Szeider, S. & Yeo, A., Mar 2011, In: Journal of Computer and System Sciences. 77, 2, p. 422-429

    Research output: Contribution to journalArticlepeer-review

  46. Published

    A probabilistic argumentation framework for reinforcement learning agents

    Riveret, R., Gao, Y., Governatori, G., Rotolo, A., Pitt, J. & Sartor, G., Mar 2019, In: Autonomous Agents and Multi-Agent Systems. 33, 1-2, p. 216-274 59 p.

    Research output: Contribution to journalArticlepeer-review

  47. Published

    A probabilistic reasoning system based on a causal graph approach

    Luo, Z. & Gammerman, A., 1990, Proceeding of IEE Colloquium on Knowledge Engineering.

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

  48. Published

    A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic

    Luo, Z., 1990, LFCS Report Series. LFCS, Edinburgh Univ

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

  49. Published

    A problem of finding an acceptable variant in some generalized project networks

    Blokh, D., Gutin, G., Yeo, A. & Yeo, A., 2005, In: Journal of Applied Mathematics and Decision Science. 2, p. 75-81 7 p.

    Research output: Contribution to journalArticlepeer-review

  50. Published

    A protocol compiler for secure sessions in ML

    Corin, R. & Denielou, P-M., 2008, TRUSTWORTHY GLOBAL COMPUTING. Barthe, G. & Fournet, C. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 276-293 18 p.

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

  51. Published
  52. Published

    A Recommender System Approach for Predicting Drug Side Effects

    Galeano Galeano, D. & Paccanaro, A., 2018, IJCNN 2018: International Joint Conference on Neural Networks. IEEE Xplore, p. 1-7 7 p.

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

  53. Published

    A RESTful and decentralised implementation of open objects

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

    Research output: Contribution to conferencePaperpeer-review

  54. E-pub ahead of print

    A RESTful middleware for AI controlled sensors, actuators and smart devices

    Dipsis, N. & Stathis, K., 12 Sep 2019, In: Journal of Ambient Intelligence and Humanized Computing. p. 1-24 24 p.

    Research output: Contribution to journalArticlepeer-review

  55. Published

    A Rule-Based Approach to Information Systems Requirements

    Assche, F. V., Layzell, P. J., Loucopoulos, P. & Speltincx, G., 1988, Proc. International Workshop on KBS in Software Engineering, UMIST, March 1988.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  56. Published

    A Rule-Based Approach to the Construction and Evolution of Business Information Systems

    Layzell, P. J. & Loucopoulos, P., 1988, Proc. 4th IEEE International Conference on Software Maintenance, Phoenix, Arizona, USA, October 1988. p. 258-264 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  57. Published

    A Saturation Method for Collapsible Pushdown Systems

    Broadbent, C., Carayol, A., Hague, M. & Serre, O., 2012, ICALP: International Colloquium on Automata, Languages and Programming.

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

  58. Published

    A saturation method for the modal μ-calculus over pushdown systems

    Hague, M. & Ong, C-HL., May 2011, In: Information and Computation. 209, 5, p. 799–821

    Research output: Contribution to journalArticlepeer-review

  59. Published

    A secure compiler for session abstractions

    Corin, R., Deniélou, P-M., Fournet, C., Bhargavan, K. & Leifer, J., 1 Jan 2008, In: Journal of Computer Security. 16, 5, p. 573-636 64 p.

    Research output: Contribution to journalArticlepeer-review

  60. Published

    A Self-Healing Distributed Pervasive Health System

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

    Research output: Contribution to journalArticlepeer-review

  61. Published

    A Semantics of Business Configurations Using Symbolic Graphs

    Mylonakis, N., Orejas, F. & Fiadeiro, J. L., 20 Aug 2015, Proceedings of the 12th IEEE International Conference on Services Computing. IEEE Computer Society Press, p. 146-153 8 p.

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

  62. Published

    A Service Oriented Approach for Ubiquitous Agents in AMI Systems Using EVATAR

    Dipsis, N. & Stathis, K., 2010, p. 213. 220 p.

    Research output: Contribution to conferencePaperpeer-review

  63. Forthcoming

    A Session Subtyping Tool

    Lange, J., Bravetti, M., Bacchiani, L. & Zavattaro, G., 21 Apr 2021, (Accepted/In press) In: Lecture Notes in Computer Science.

    Research output: Contribution to journalConference articlepeer-review

  64. Published

    A Set-theoretic Setting for Structuring Theories in Proof Development

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

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

  65. Published
  66. Published

    A simplified Capital Asset Pricing Model

    Vovk, V., 11 Nov 2011, 6 p.

    Research output: Working paper

  67. Published

    A sound algorithm for asynchronous session subtyping

    Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 20 Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 38. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

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

  68. Published

    A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

    Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 4 Mar 2021, In: Logical Methods in Computer Science. 17, 1, p. 1-35 35 p.

    Research output: Contribution to journalArticlepeer-review

  69. Published

    A static verification framework for message passing in Go using behavioural types

    Lange, J., Ng, N., Toninho, B. & Yoshida, N., 27 May 2018, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018. IEEE Computer Society, p. 1137-1148 12 p. (Proceedings - International Conference on Software Engineering).

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

  70. Published

    A stochastic simulation system and its application to causal models

    Luo, Z. & Gammerman, A., 1990, Proceeding of 3rd International Conference on IPMU in Knowledge-Based Systems. p. 186-189

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

  71. Published

    A strictly martingale version of Kolmogorov's strong law of large numbers

    Vovk, V., 1996, In: Theory of Probability and Its Applications. 41, 3

    Research output: Contribution to journalArticlepeer-review

  72. Published

    A Structural Decomposition for Hypergraphs

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1994, Jerusalem Combinatorics ’93. Barcelo, H. & Kalai, G. (eds.). American Mathematical Society, p. 161-177 17 p. (Contemporary Mathematics; vol. 178).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  73. Published

    A Study of Communication and Cooperation in Distributed Software Project Teams

    French, A. & Layzell, P. J., 1998, IEEE International Conference on Software Maintenance, Bethesda, November 1998. p. 146-155 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  74. Published

    A study of the quenched (b)over-bar-c mass spectrum at beta=6.2

    Davies, C. T. H., Lidsey, A. J. & Shanahan, H. P., Apr 1998, In: Nuclear Physics B - Proceedings Supplements. 63, p. 323-325 3 p.

    Research output: Contribution to journalArticlepeer-review

  75. Published

    A Substitution Operation for Constraints

    Jeavons, P. G., Cohen, D. A. & Cooper, M. C., 1 May 1994, Principles and Practice of Constraint Programming: Second International Workshop, PPCP '94 Rosario, Orcas Island, WA, USA, May 2–4, 1994 Proceedings. Borning, A. (ed.). Vol. 874. p. 1-9

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

  76. Published

    A sufficient condition for a semicomplete multipartite digraph to be Hamiltonian

    Gutin, G., Bang-Jensen, J. & Huang, J., 1996, In: Discrete Mathematics. 161, p. 1-12

    Research output: Contribution to journalArticle

  77. Published

    A Test for Tractability

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1996, p. 267-281.

    Research output: Contribution to conferencePaper

  78. Published

    A Theoretical Framework for Constraint Propagator Triggering

    Cohen, D., Petrie, K. & Jefferson, C., 12 May 2016. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  79. Published

    A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances

    Wahlström, M., 1 May 2008, 3rd International Workshop on Parameterized and Exact Computation (IWPEC 2008). Grohe, M. & Niedermeier, R. (eds.). Victoria (BC), Canada: Springer, Vol. 5018. p. 202-213 12 p. (Lecture Notes in Computer Science).

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

  80. Published

    A time- and message-optimal distributed algorithm for minimum spanning trees

    Pandurangan, G., Robinson, P. & Scquizzato, M., 19 Jun 2017, STOC 2017: Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. New York: Association for Computing Machinery (ACM), p. 743-756 14 p.

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

  81. Published

    A timed component algebra for services

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

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

  82. Published

    A Tool for Balance Control Training Using Muscle Synergies and Multimodal Interfaces

    Galeano Galeano, D., Brunetti, F., Torricelli, D., Piazza, S. & Pons, J. L., 5 Mar 2014, In: BioMed research international.

    Research output: Contribution to journalArticlepeer-review

  83. Published

    A tool for choreography-based analysis of message-passing software

    Lange, J., Tuosto, E. & Yoshida, N., 31 Jul 2017, Behavioural Types: from Theory to Tools English. River Publishers, p. 125-146 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  84. Published

    A tour around finitely presented infinite simple groups

    Scott, E., 1989, Algorithms And Classification in Combinatorial Group Theory. Springer-Verlag, p. 83-119

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

  85. Unpublished

    A transformer conformal predictor for paraphrase detection

    Giovannotti, P., 2020, (Unpublished).

    Research output: Contribution to conferencePosterpeer-review

  86. Published

    A transition from total domination in graphs to transversals in hypergraphs

    Henning, M. & Yeo, A., 2007, In: Quaestiones Mathematicae. 30, p. 1-20 20 p.

    Research output: Contribution to journalArticlepeer-review

  87. Published

    A tutorial on conformal prediction

    Shafer, G. & Vovk, V., 21 Jun 2007.

    Research output: Working paper

  88. Published

    A tutorial on conformal prediction

    Shafer, G. & Vovk, V., Mar 2008, In: Journal of Machine Learning Research. 9, p. 371-421 51 p.

    Research output: Contribution to journalArticlepeer-review

  89. Published

    A type-theoretic framework for formal reasoning with different logical foundations

    Luo, Z., 2007, Advances in Computer Science, Proc of the 11th Annual Asian Computing Science Conference. LNCS 4435. Springer

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

  90. Published

    A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition.

    Cohen, D. A., Jeavons, P. & Gyssens, M., 2005, p. 72-77.

    Research output: Contribution to conferencePaper

  91. Published

    A unified theory of structural tractability for constraint satisfaction problems

    Cohen, D., Jeavons, P. & Gyssens, M., Aug 2008, In: Journal of Computer and System Sciences. 74, 5, p. 721-743 23 p.

    Research output: Contribution to journalArticlepeer-review

  92. Published

    A Unifying Framework for Tractable Constraints

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1995, p. 276-291.

    Research output: Contribution to conferencePaper

  93. E-pub ahead of print

    A Unifying Look at Sequence Submodularity

    Bernardini, S., Fagnani, F. & Piacentini, C., Aug 2021, In: Artificial Intelligence. 297, 103486.

    Research output: Contribution to journalArticlepeer-review

  94. Published

    A Unifying Theory of Dependent Types: the schematic approach

    Luo, Z., 1992, Proc. of Symp. on Logical Foundations of Computer Science (Logic at Tver'92), LNCS 620.

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

  95. Published

    A universal well-calibrated algorithm for on-line classification

    Vovk, V., Jun 2004, In: Journal of Machine Learning Research. 5, p. 575-604 30 p.

    Research output: Contribution to journalArticlepeer-review

  96. Published

    A use-case driven approach to formal service-oriented modelling

    Bocchi, L., Fiadeiro, J. L. & Lopes, A., 1 Jan 2008, Communications in Computer and Information Science. Vol. 17 CCIS. p. 155-169 15 p.

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

  97. Published

    A verification logic for rewriting logic

    Martí-Oliet, N., Pita, I., Fiadeiro, J. L., Meseguer, J. & Maibaum, T., 1 Jun 2005, In: Journal of Logic and Computation. 15, 3, p. 317-352 36 p.

    Research output: Contribution to journalArticlepeer-review

  98. Published

    A volume-based heat-diffusion classifier

    Yang, H., Lyu, M. R. & King, I., 1 Jan 2009, In: IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics. 39, 2, p. 417-430 14 p.

    Research output: Contribution to journalArticlepeer-review

  99. Published

    Ab initio gene finding in Drosophila genomic DNA

    Salamov, A. A. & Solovyev, V. V., Apr 2000, In: Genome Research. 10, 4, p. 516-522 7 p.

    Research output: Contribution to journalArticlepeer-review

  100. Unpublished

    Above And Below Guarantee Parameterizations For Combinatorial Optimisation Problems

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

    Research output: ThesisDoctoral Thesis

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