1. Working paper › Research
  2. Published

    A game-theoretic explanation of the $dt$ effect

    Vovk, V. & Shafer, G., Jan 2003, (The Game-Theoretic Probability and Finance project, http://probabilityandfinance.com).

    Research output: Working paper

  3. Published

    A Note on Local Ultrametricity in Text

    Murtagh, F., 27 Jan 2007.

    Research output: Working paper

  4. Published
  5. Published

    A simplified Capital Asset Pricing Model

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

    Research output: Working paper

  6. Published

    A tutorial on conformal prediction

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

    Research output: Working paper

  7. Published

    Adaptive Hedge

    van Erven, T., Grünwald, P., M. Koolen, W. & de Rooij, S., 28 Oct 2011.

    Research output: Working paper

  8. Published

    Asymptotic optimality of Transductive Confidence Machine

    Vovk, V., May 2002, (On-line Compression Modelling project).

    Research output: Working paper

  9. Published

    Black-Scholes formula without stochastic assumptions

    Vovk, V., Mar 2000.

    Research output: Working paper

  10. Published

    Central limit theorem without probability

    Vovk, V., 1999.

    Research output: Working paper

  11. Published

    Closure Properties of Constraints

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1996.

    Research output: Working paper

  12. Published

    Combining Expert Advice Efficiently

    Koolen, W. & de Rooij, S., 14 Feb 2008.

    Research output: Working paper

  13. Published

    Competing with Gaussian linear experts

    Zhdanov, F. & Vovk, V., 24 Oct 2009.

    Research output: Working paper

  14. Published

    Competing with Markov prediction strategies

    Vovk, V., 28 Jul 2006, 11 p.

    Research output: Working paper

  15. Published

    Competing with stationary prediction strategies

    Vovk, V., 13 Jul 2006.

    Research output: Working paper

  16. Published

    Competing with wild prediction rules

    Vovk, V., 14 Dec 2005.

    Research output: Working paper

  17. Published

    Competitive on-line learning with a convex loss function

    Vovk, V., 11 Jun 2005.

    Research output: Working paper

  18. Unpublished

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

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

    Research output: Working paper

  19. Published

    Constraints and Universal Algebra

    Jeavons, P. G., Cohen, D. A. & Pearson, J. K., 1998.

    Research output: Working paper

  20. Published

    Constraints, Consistency and Closure

    Jeavons, P. G., Cohen, D. A. & Cooper, M. C., 1997.

    Research output: Working paper

  21. Published
  22. Published

    Continuous-time trading and emergence of randomness

    Vovk, V., 8 Dec 2007.

    Research output: Working paper

  23. Published

    Continuous-time trading and emergence of volatility

    Vovk, V., 10 Dec 2007.

    Research output: Working paper

  24. Published

    Continuous-time trading and the emergence of probability

    Vovk, V., 28 Apr 2009.

    Research output: Working paper

  25. Published

    Criteria of efficiency for conformal prediction

    Vovk, V., Fedorova, V., Nouretdinov, I. & Gammerman, A., 2014, On-line Compression Modelling Project (New Series), 19 p.

    Research output: Working paper

  26. Published

    Criterion of calibration for Transductive Confidence Machine with limited feedback

    Nouretdinov, I. & Vovk, V., Apr 2003, (On-line Compression Modelling project, http://vovk.net/kp).

    Research output: Working paper

  27. Published

    Cross-conformal predictors

    Vovk, V., 3 Aug 2012.

    Research output: Working paper

  28. Published

    Defensive forecasting

    Vovk, V., Takemura, A. & Shafer, G., Sep 2004.

    Research output: Working paper

  29. Published

    Defensive forecasting

    Vovk, V., Takemura, A. & Shafer, G., 30 May 2005.

    Research output: Working paper

  30. Published

    Defensive forecasting for linear protocols

    Vovk, V., Nouretdinov, I., Takemura, A. & Shafer, G., 2 Jun 2005.

    Research output: Working paper

  31. Published
  32. Published

    Experiments with the K29 algorithm

    Vovk, V., 1 Sep 2004.

    Research output: Working paper

  33. Published
  34. Unpublished

    Freezing and Sleeping: Tracking Experts that Learn by Evolving Past Posteriors

    M. Koolen, W. & van Erven, T., 27 Aug 2010, (Unpublished).

    Research output: Working paper

  35. Published

    Game-theoretic Brownian motion

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

    Research output: Working paper

  36. Published
  37. Published
  38. Published
  39. 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

  40. Published

    Hedging predictions in machine learning

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

    Research output: Working paper

  41. Published
  42. Published

    Hoeffding's inequality in game-theoretic probability

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

    Research output: Working paper

  43. Published

    Hypergraphical on-line compression models

    Vovk, V., 2003.

    Research output: Working paper

  44. Published

    Inductive conformal predictors in the batch mode

    Vovk, V., 12 Sep 2012.

    Research output: Working paper

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

  46. Published

    Ito calculus without probability in idealized financial markets

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

    Research output: Working paper

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

  48. Published

    Kernels from matching operations

    Watkins, C., 1999.

    Research output: Working paper

  49. Unpublished

    Kolmogorov Complexity Theory over the Reals

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

    Research output: Working paper

  50. Published

    Leading strategies in competitive on-line prediction

    Vovk, V., 27 Jul 2006.

    Research output: Working paper

  51. Published

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

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

    Research output: Working paper

  52. Published

    Losing money with a high Sharpe ratio

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

    Research output: Working paper

  53. Published

    Merging of opinions in game-theoretic probability

    Vovk, V., 2 May 2007.

    Research output: Working paper

  54. Unpublished

    Merging Time Series with Specialist Experts

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

    Research output: Working paper

  55. Published

    Metric entropy in competitive on-line prediction

    Vovk, V., 9 Sep 2006.

    Research output: Working paper

  56. Published

    Mondrian Condence Machine

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

    Research output: Working paper

  57. Published

    Mondrian Confidence Machine

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

    Research output: Working paper

  58. Published

    Non-asymptotic calibration and resolution

    Vovk, V., 1 Jun 2005.

    Research output: Working paper

  59. Published

    On-line competitive linear regression

    Vovk, V., 1997.

    Research output: Working paper

  60. Published

    On-line Confidence Machines are well-calibrated

    Vovk, V., Apr 2002.

    Research output: Working paper

  61. Published
  62. Published
  63. Published

    On-line predictive linear regression

    Vovk, V., Nouretdinov, I. & Gammerman, A., 21 Nov 2005.

    Research output: Working paper

  64. Published

    Online region prediction with real teachers

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

    Research output: Working paper

  65. Published
  66. Published

    Ontology from Local Hierarchical Structure in Text

    Murtagh, F., Mothe, J. & Englmeier, K., 27 Jan 2007.

    Research output: Working paper

  67. Published

    Plug-in martingales for testing exchangeability on-line

    Fedorova, V., Gammerman, A., Nouretdinov, I. & Vovk, V., 15 Apr 2012, 17 p.

    Research output: Working paper

  68. Published
  69. Published

    Prediction with expert advice for the Brier game

    Vovk, V. & Zhdanov, F., 2 Oct 2007.

    Research output: Working paper

  70. Published

    Prediction with expert evaluators' advice

    Chernov, A. & Vovk, V., 24 Feb 2009.

    Research output: Working paper

  71. Published

    Predictions as statements and decisions

    Vovk, V., 22 Jun 2006.

    Research output: Working paper

  72. Published
  73. Published

    Pricing European options without probability

    Vovk, V., 1999.

    Research output: Working paper

  74. Published

    Probability forecasting in on-line compression models

    Vovk, V., Jun 2003.

    Research output: Working paper

  75. Published

    Probability-free pricing of adjusted American lookbacks

    Philip Dawid, A., de Rooij, S., Grunwald, P., M. Koolen, W., Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., 20 Aug 2011, 28 p.

    Research output: Working paper

  76. Published

    Rough paths in idealized financial markets

    Vovk, V., 3 May 2010.

    Research output: Working paper

  77. Published

    Some mathematical refinements concerning error minimization in the genetic code

    Buhrman, H., T. S. van der Gulik, P., M. Kelk, S., M. Koolen, W. & Stougie, L., 8 Sep 2009.

    Research output: Working paper

  78. In preparation

    Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives

    Chockler, G., Dobre, D., Shraer, A. & Spiegelman, A., 2015, (In preparation).

    Research output: Working paper

  79. Published

    Strong confidence intervals for autoregression

    Vovk, V., 4 Jul 2007.

    Research output: Working paper

  80. Published

    Superefficiency from the Vantage Point of Computability

    Vovk, V., 16 Aug 2008.

    Research output: Working paper

  81. Published
  82. Published

    Supermodular Functions and the Complexity of MAX CSP

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 1 Jan 2004.

    Research output: Working paper

  83. Published

    Switching between Hidden Markov Models using Fixed Share

    M. Koolen, W. & van Erven, T., 26 Aug 2010.

    Research output: Working paper

  84. Published

    Test martingales, Bayes factors, and p-values

    Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., 21 Dec 2009.

    Research output: Working paper

  85. Published

    Testing Exchangeability On-line

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

    Research output: Working paper

  86. Published
  87. Published
  88. Published

    The existence of predictive complexity and the Legendre transformation

    Kalnichkan, Y. & Vovk, V., Mar 2000.

    Research output: Working paper

  89. Published

    The expressive power of valued constraints: hierarchies and collapses

    Cohen, D. A., Jeavons, P. G. & Zivný, S., 1 Apr 2007.

    Research output: Working paper

  90. Published

    The Game-Theoretic Capital Asset Pricing Model

    Vovk, V. & Shafer, G., 1 Nov 2001.

    Research output: Working paper

  91. Published

    The generality of the zero-one laws

    Takemura, A., Vovk, V. & Shafer, G., 26 Mar 2008.

    Research output: Working paper

  92. Published
  93. Published

    The origins and legacy of Kolmogorov's Grundbegriffe

    Vovk, V. & Shafer, G., Oct 2005, 109 p. (Game-Theoretic Probability and Finance project).

    Research output: Working paper

  94. Published

    The Sources of Kolmogorov's Grundbegriffe

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

    Research output: Working paper

  95. Published

    Towards High Order Constraint Representations for the Frequency Assignment Problem

    Dunkin, N. W., Bater, J. E., Jeavons, P. G. & Cohen, D. A., 1998.

    Research output: Working paper

  96. Published
  97. Published

    Venn predictors and isotonic regression

    Vovk, V., 31 Oct 2012, 4 p.

    Research output: Working paper

  98. Published

    Well-calibrated predictions from on-line compression models

    Vovk, V., 1 Apr 2003, (On-line Compression Modelling project, http://vovk.net/kp).

    Research output: Working paper

  99. Discussion paper › Research
  100. Published

    The Haar Wavelet Transform of a Dendrogram: Additional Notes

    Murtagh, F., 10 Feb 2007.

    Research output: Working paperDiscussion paper

  101. Software › Research
  102. Published
  103. Published

    Choose-Survey

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

    Research output: Non-textual formSoftware

  104. Published

    PDB structural analysis service

    Alnasir, J., 1 Nov 2013

    Research output: Non-textual formSoftware

  105. Published

    Push notifications for the Choose-Survey project

    Alnasir, J. & Luhrmann, M., 1 Sep 2016

    Research output: Non-textual formSoftware

  106. Published

    R package PredictiveRegression

    Vovk, V. & Nouretdinov, I., Jun 2008

    Research output: Non-textual formSoftware

  107. Published

    Zeus desktop molecular visualisation software: Molecular viewer for WIndows

    Alnasir, J., 1 Jul 2010

    Research output: Non-textual formSoftware

  108. Other contribution › Research
  109. Published
  110. Unpublished

    Complexity, Proofs and Algebra

    Tzameret, I., 2018, (Unpublished)

    Research output: Other contribution

  111. Published

    Conformal Anomaly Detection based on Association Rules

    Nouretdinov, I., Gammerman, J. & Rehal, D., 10 Sep 2019, 1 p. COPA 2019 : 8th Symposium on Conformal and Probabilistic Prediction with Applications.

    Research output: Other contribution

  112. Published

    Conformal Changepoint Detection in Continuous Model Situations

    Nouretdinov, I., Vovk, V. & Gammerman, A., 10 Sep 2021, 1 p. COPA 2021 : 10th Symposium on Conformal and Probabilistic Prediction with Applications.

    Research output: Other contribution

  113. Published

    Conformal clustering for functional variables, With application to electricity consumption curves

    Nouretdinov, I., Fontana, M., Gammerman, J., Shemilt, L. & Rehal, D., 10 Sep 2019, 1 p. COPA 2019 : 8th Symposium on Conformal and Probabilistic Prediction with Applications.

    Research output: Other contribution

  114. Published

    Conformal clustering for predictive maintenance: A case study at a commercial gas terminal

    Nouretdinov, I., Gammerman, J. & Rehal, D., 12 Jun 2018, 1 p. 7th Symposium on Conformal and Probabilistic Prediction with Applications (COPA 2018).

    Research output: Other contribution

  115. Published

    Evaluation and Extension of Inductive Venn-Abers Predictive Distribution

    Nouretdinov, I., Gammerman, J. & Rehal, D., 11 Sep 2020, 1 p. Proceedings of the Ninth Symposium on Conformal and Probabilistic Prediction and Applications.

    Research output: Other contribution

  116. Published

    FAIR Principles for Research Software (FAIR4RS Principles)

    Shanahan, H., 16 Mar 2022

    Research output: Other contribution

  117. Published
  118. Published
  119. Published

    Lego and related work (summer school lecture notes)

    Luo, Z., 1999

    Research output: Other contribution

  120. Published
  121. Published

    Proceedings - Software Engineering and Formal Methods, SEFM 2010

    Schettini, A. M., Fiadeiro, J. L. & Gnesi, S., 1 Jan 2010

    Research output: Other contribution

  122. Published

    Statistical Methodology (Elsevier): Special issue - Astrostatistics

    Murtagh, F., 2012, Elsevier.

    Research output: Other contribution

  123. Published

    Testing and Clustering with Gauss Linear Assumption for a Household Data

    Fedorova, V., Ivin, E., Nouretdinov, I. & Gammerman, A., 7 May 2012, 11 p. SLDS 2012: Symposium on Learning and Data Science.

    Research output: Other contribution

  124. Doctoral Thesis › Research
  125. Unpublished

    A Concurrent Bilateral Negotiation Model for Open E-Markets

    Alrayes, B., 2016, (Unpublished) 217 p.

    Research output: ThesisDoctoral Thesis

  126. Unpublished

    A Middleware for Ubiquitous Agents

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

    Research output: ThesisDoctoral Thesis

  127. Unpublished

    A Modular Hierarchy of Logical Frameworks

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

    Research output: ThesisDoctoral Thesis

  128. Unpublished

    Above And Below Guarantee Parameterizations For Combinatorial Optimisation Problems

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

    Research output: ThesisDoctoral Thesis

  129. Unpublished

    Adapting Compiler Front Ends for Generalised Parsing

    Walsh, R. M., 2016, (Unpublished) 264 p.

    Research output: ThesisDoctoral Thesis

  130. Unpublished

    Adaptive Online Learning

    Adamskiy, M., 2013, (Unpublished)

    Research output: ThesisDoctoral Thesis

  131. Unpublished

    Algorithms for Parameterized Constraint Satisfaction Problems

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

    Research output: ThesisDoctoral Thesis

  132. Unpublished

    An Extended Calculus of Constructions

    Luo, Z., 1990, (Unpublished) Univ of Edinburgh.

    Research output: ThesisDoctoral Thesis

  133. Unpublished
  134. Unpublished

    Checking Cryptographic API Specifications in JavaScript

    Mitchell, D., 2020, (Unpublished)

    Research output: ThesisDoctoral Thesis

  135. Unpublished

    Competitive online algorithms for probabilistic prediction

    Dzhamtyrova, R., 2020, (Unpublished)

    Research output: ThesisDoctoral Thesis

  136. Unpublished
  137. Unpublished

    Confidence and Venn Machines and Their Applications to Proteomics

    Devetyarov, D., 2011, (Unpublished) 219 p.

    Research output: ThesisDoctoral Thesis

  138. Unpublished
  139. Unpublished

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

    Zhou, C., 2015, (Unpublished)

    Research output: ThesisDoctoral Thesis

  140. Unpublished

    Conformal Prediction and Testing under On-line Compression Models

    Fedorova, V., 2014, (Unpublished) 140 p.

    Research output: ThesisDoctoral Thesis

  141. Published

    Document Classification Models Based On Bayesian Networks

    Romero, A. E., Apr 2010, Granada: Editorial Universidad de Granada.

    Research output: ThesisDoctoral Thesis

  142. Unpublished

    Dynamic Causal Discovery

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

    Research output: ThesisDoctoral Thesis

  143. Unpublished

    Executable Formal Specification of Programming Languages with Reusable Components

    van Binsbergen, L. T., 2019, (Unpublished) 274 p.

    Research output: ThesisDoctoral Thesis

  144. Unpublished

    Faithful Visualisation of Similarities in High Dimensional Data

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

    Research output: ThesisDoctoral Thesis

  145. Published

    Fault-Tolerance in Storage-Centric Systems

    Chockler, G., 2005

    Research output: ThesisDoctoral Thesis

  146. Unpublished

    Features Handling by Conformal Predictors

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

    Research output: ThesisDoctoral Thesis

  147. Unpublished

    Game-Based Development of Interactive Systems

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

    Research output: ThesisDoctoral Thesis

  148. Unpublished

    Going Beyond Homology for Predicting Protein Function for Newly Sequenced Organisms

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

    Research output: ThesisDoctoral Thesis

  149. Unpublished

    Improvements to instruction identification for custom instruction set design

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

    Research output: ThesisDoctoral Thesis

  150. Unpublished

    Institution-Independent Logic Programming

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

    Research output: ThesisDoctoral Thesis

  151. Unpublished
  152. Unpublished

    Logics and reasoning for computational creativity

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

    Research output: ThesisDoctoral Thesis

  153. Unpublished

    MAGE: Multi-Agent Game Environment

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

    Research output: ThesisDoctoral Thesis

  154. Published
  155. Unpublished
  156. Unpublished

    On discovery and exploitation of temporal structure in data sets

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

    Research output: ThesisDoctoral Thesis

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

  158. Unpublished

    Open Objects: A Lightweight and Decentralised Framework for the Internet of Things

    Ricca Goncalves, P., 2015, (Unpublished) 164 p.

    Research output: ThesisDoctoral Thesis

  159. Unpublished

    Parameterized Algorithms On Digraph and Constraint Satisfaction Problems

    Kim, E. J., 2010, (Unpublished) 140 p.

    Research output: ThesisDoctoral Thesis

  160. Unpublished

    Polynomial and FPT algorithms for Chinese Postman, Packing and Acyclicity

    Sheng, B., 2017, (Unpublished) 132 p.

    Research output: ThesisDoctoral Thesis

  161. Unpublished

    Polynomial Kernels for Graph and Hypergraph Optimisation Problems

    Muciaccia, G., 2014, (Unpublished) 129 p.

    Research output: ThesisDoctoral Thesis

  162. Published
  163. Unpublished
  164. Published

    Saturation Methods for Global Model‐Checking Pushdown Systems

    Hague, M., 2009

    Research output: ThesisDoctoral Thesis

  165. Unpublished

    Small and Large Scale Probabilistic Classifiers with Guarantees of Validity

    Petej, I., 2018, (Unpublished) 133 p.

    Research output: ThesisDoctoral Thesis

  166. Unpublished

    Static Flow Analysis for Hybrid and Native Android Applications

    Rizzo, C., 2020, (Unpublished) 189 p.

    Research output: ThesisDoctoral Thesis

  167. Published

    Studies in Algebraic and Propositional Proof Complexity

    Tzameret, I., 2008, Tel Aviv. 214 p.

    Research output: ThesisDoctoral Thesis

  168. Unpublished

    Subtyping in Signatures

    Lungu, G., 2018, (Unpublished)

    Research output: ThesisDoctoral Thesis

  169. Unpublished

    The Analysis of High-Throughput Biological Datasets Utilising Distributed Computing

    Alnasir, J., 2018, (Unpublished) 259 p.

    Research output: ThesisDoctoral Thesis

  170. Unpublished

    The Effect of Representations on Constraint Satisfaction Problems

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

    Research output: ThesisDoctoral Thesis

  171. Unpublished

    The efficiency of conformal predictors for anomaly detection

    Smith, J., 2016, (Unpublished)

    Research output: ThesisDoctoral Thesis

  172. Published

    The Role of Online Discussion Forums During a Public Health Emergency

    Cole, J., 2017, 458 p.

    Research output: ThesisDoctoral Thesis

  173. Unpublished

    Theory and Applications of Competitive Prediction

    Zhdanov, F., 2011, (Unpublished) 225 p.

    Research output: ThesisDoctoral Thesis

  174. Unpublished

    Theory and Implementation of Coercive Subtyping

    Xue, T., 2013, (Unpublished)

    Research output: ThesisDoctoral Thesis

  175. Unpublished

    Towards a Question Answering View of Natural Language Processing

    Zukov Gregoric, A., 2019, (Unpublished)

    Research output: ThesisDoctoral Thesis

  176. Unpublished

    Unsupervised Language Acquisition: Theory and Practice

    Clark, A., 2001, (Unpublished)

    Research output: ThesisDoctoral Thesis

  177. Unpublished

    Предсказуемость алгоритмически случайных последовательностей

    Vovk, V., 1988, (Unpublished) Moscow: Moscow State University.

    Research output: ThesisDoctoral Thesis

  178. Master's Thesis › Research
  179. Published
  180. Published

    An Institutional Foundation for the K Semantic Framework

    Chirita, C-E., 2014

    Research output: ThesisMaster's Thesis

  181. Unpublished

    Robot-based Evaluation of Bluetooth Fingerprinting: M.Phil (Cantab)

    Nguyen, K., 2011, (Unpublished)

    Research output: ThesisMaster's Thesis

  182. Published

    Static Checkers for Tree Structures and Heaps

    Hague, M., 2004

    Research output: ThesisMaster's Thesis

  183. Book › Research
  184. Published

    Algorithmic Learning in a Random World

    Vovk, V., Gammerman, A. & Shafer, G., 2005, Springer.

    Research output: Book/ReportBook

  185. Published

    Astronomical Image and Data Analysis

    Murtagh, F. & Starck, J-L., 2006, Second ed. Springer. 335 p.

    Research output: Book/ReportBook

  186. Published

    Business Objects: Software Solutions

    Spurr, K. (ed.), Layzell, P. J. (ed.), Jennison, L. (ed.) & Richards, N. (ed.), 1994, John Wiley & Sons.

    Research output: Book/ReportBook

  187. Published

    CASE- Current Practice, Future Prospects

    Spurr, K. (ed.) & Layzell, P. J. (ed.), 1992, John Wiley & Sons.

    Research output: Book/ReportBook

  188. Published

    CASE On Trial

    Spurr, K. (ed.) & Layzell, P. J. (ed.), 1990, John Wiley & Sons.

    Research output: Book/ReportBook

  189. Published

    Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware

    Baldoni, R. & Chockler, G., 10 Jan 2012, Springer-Verlag. 224 p.

    Research output: Book/ReportBook

  190. Published

    Computation and Reasoning: A Type Theory for Computer Science

    Luo, Z., 1994, Oxford Univ Press. 228 p.

    Research output: Book/ReportBook

  191. Published

    Correspondence Analysis and Data Coding with R and Java

    Murtagh, F., 2005, Chapman and Hall/CRC Press. 256 p.

    Research output: Book/ReportBook

  192. Published

    Digraphs: Theory, Algorithms and Applications

    Bang-Jensen, J. & Gutin, G., 2000, London: Springer-Verlag.

    Research output: Book/ReportBook

  193. Published

    Digraphs: Theory, Algorithms and Applications

    Bang-Jensen, J. & Gutin, G., 2010, 2nd ed. London: Springer-Verlag.

    Research output: Book/ReportBook

  194. Published

    Existentially Closed Groups

    Higman, G. & Scott, E., 1988, Oxford: Oxford University Press. 170 p.

    Research output: Book/ReportBook

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

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

  197. Published

    How to be FAIR with your data

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

    Research output: Book/ReportBook

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

  199. Published

    LATEX Concisely

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

    Research output: Book/ReportBook

  200. Published

    Linguistic Nativism and the Poverty of the Stimulus

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

    Research output: Book/ReportBook

  201. Published

    Probability and Finance: It's Only a Game!

    Shafer, G. & Vovk, V., 2001, New York: Wiley-Interscience.

    Research output: Book/ReportBook

  202. Published

    Proc of TYPES Working Group Workshop on Subtyping, Inheritance, and Modularisation of Proofs

    Luo, Z. (ed.) & Soloviev, S. (ed.), 1997, Durham University.

    Research output: Book/ReportBook

  203. Published

    RDA COVID-19 Recommendations and Guidelines on Data Sharing

    Research Data Alliance COVID-19 Working Group, 30 Jun 2020, 144 p.

    Research output: Book/ReportBook

  204. Published

    Software Assistance for Business Process Re-Engineering

    Spurr, K. (ed.), Layzell, P. J. (ed.), Jennison, L. (ed.) & Richards, N. (ed.), 1993, John Wiley & Sons.

    Research output: Book/ReportBook

  205. Published

    Sparse Image and Signal Processing: Wavelets, Curvelets, Morphological Diversity

    Murtagh, F., Starck, J-L. & Fadili, J., 2010, Cambridge: Cambridge University Press. 336 p.

    Research output: Book/ReportBook

  206. Forthcoming

    Statistical Learning and Data Science

    Murtagh, F., Summa, M. (ed.), Bottou, L. (ed.), Goldfarb, B. (ed.), Pardoux, C. (ed.) & Touati, M. (ed.), 2011, (Accepted/In press) Bocca Raton: Chapman and Hall/CRC Press. (Computer Science and Data Analysis)

    Research output: Book/ReportBook

  207. Published

    The Foundations of Programming Methodology (程序方法学基础)

    Chen, H., Luo, Z. & Ma, Q., 1987, Hunan Press of Sciences.

    Research output: Book/ReportBook

  208. Published

    The Handbook of Computational Linguistics and Natural Language Processing

    Clark, A. (ed.), Fox, C. (ed.) & Lappin, S. (ed.), 2010, Wiley-Blackwell.

    Research output: Book/ReportBook

  209. Published

    Types for Proofs and Programs. Proc. of Inter. Conf. TYPES'2000, Durham, UK. LNCS 2277

    Callaghan, P. (ed.), Luo, Z. (ed.), McKinna, J. (ed.) & Pollack, R. (ed.), 2002, Springer.

    Research output: Book/ReportBook

  210. Anthology › Research
  211. Published

    Proceedings of the Workshop on Psychocomputational Models of Human Language Acquisition

    Sakas, W. G. (ed.), Clark, A. (ed.), Cussens, J. (ed.) & Xanthos, A. (ed.), 1 Jun 2005, Ann Arbor, Michigan: Association for Computational Linguistics.

    Research output: Book/ReportAnthology

  212. Scholarly edition › Research
  213. Published

    Ambient Intelligence: 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings

    Kameas, A. (ed.) & Stathis, K. (ed.), 2018, 233 p. (Information Systems and Applications, incl. Internet/Web, and HCI)

    Research output: Book/ReportScholarly edition

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

  215. Other report › Research
  216. Published

    Categories for Software Engineering

    Fiadeiro, J. L., 2005, Springer. 250 p.

    Research output: Book/ReportOther report

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

  218. Patent › Research
  219. Published

    Continuous Operation During Reconfiguration Periods

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

    Research output: Patent

  220. Published

    Data classication apparatus and method thereof

    Gammerman, A. & Vovk, V., Jul 2004, Patent No. 1129428

    Research output: Patent

  221. Published

    Method for Separately Permissioned Communication

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

    Research output: Patent

  222. Published

    Method of Automatic Verification of Personal Identity

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

    Research output: Patent

  223. Published

    Propagating changes in topic subscription status of processes in an overlay network

    Chockler, G., Bortnikov, V., Roytman, A. & Spreitzer, M., 25 Feb 2014, IPC No. G06F15/16, G06F15/173, Patent No. US 8661080 B2, Priority date 15 Jul 2010

    Research output: Patent

  224. Article › Research › Not peer-reviewed
  225. Published

    A classification of locally semicomplete digraphs

    Bang-Jensen, J., Guo, Y., Gutin, G. & Volkmann, L., 1997, In: Discrete Mathematics. 167/168, p. 101-114

    Research output: Contribution to journalArticle

  226. Unpublished

    A History of Cluster Analysis Using the Classification Society's Bibliography Over Four Decades

    Murtagh, F. & J. Kurtz, M., 1 Sep 2012, (Unpublished) In: NA.

    Research output: Contribution to journalArticle

  227. Published

    A machine vision approach to the grading of crushed aggregate

    Murtagh, F., Qiao, X., Crookes, D., Walsh, P., Basheer, P. A. M., Long, A. & Starck, J. L., 2005, In: Machine Vision and Applications. 16, 4, p. 229-235

    Research output: Contribution to journalArticle

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

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

  230. Published

    Adaptive wavelet eye-gaze based video compression

    Murtagh, F., Farid, M. & Kurugollu, F., 2002, In: Proceedings of the SPIE. 4877, p. 255-263

    Research output: Contribution to journalArticle

  231. Published

    Algorithms with large domination ratio

    Alon, N., Gutin, G. & Krivelevich, M., 2004, In: Journal of Algorithms. 50, 1, p. 118-131

    Research output: Contribution to journalArticle

  232. Published

    Alternating cycles and trails in 2-edge-coloured multigraphs

    Bang-Jensen, J. & Gutin, G., 1998, In: Discrete Mathematics. 188, 1, p. 61-72

    Research output: Contribution to journalArticle

  233. Published

    Anomaly Detection in Video Games

    Wilkins, B., Watkins, C. & Stathis, K., 20 May 2020, In: ArXiv.org. p. 1-4 4 p., 2005.10211.

    Research output: Contribution to journalArticle

  234. Published

    Bayes factors for edge detection from wavelet product spaces

    Murtagh, F. & Starck, J. L., May 2003, In: Optical Engineering. 42, p. 1375-1382

    Research output: Contribution to journalArticle

  235. Published

    Bayesian inference for multiband image segmentation via model-based clustering trees

    Murtagh, F., Raftery, A. E. & Starck, J. L., 2005, In: Image and Vision Computing. 23, 6, p. 587-596

    Research output: Contribution to journalArticle

  236. Published

    Bayesian model selection for spatial clustering in 3D surveys

    Murtagh, F., Donalek, C., Longo, G. & Tagliaferri, R., 2002, In: Proceedings of the SPIE. 4847, p. 391-401

    Research output: Contribution to journalArticle

  237. Published

    Bayesian segmentation and clustering for determining cloud mask images

    Murtagh, F., Barreto, D. & Marcello, J., 2002, In: Proceedings of the SPIE. 4877, p. 144-155

    Research output: Contribution to journalArticle

  238. Published

    Benchmarking segmentation results using a Markov model and a Bayes information criterion

    Murtagh, F., Qiao, X., Crookes, D., Walsh, P., Basheer, P. A. M. & Long, A., 2002, In: Proceedings of the SPIE. 4877, p. 248-254

    Research output: Contribution to journalArticle

  239. Published

    Characterizations of vertex pancyclic and pancyclic ordinary semicomplete multipartite digraphs

    Gutin, G., 1995, In: Discrete Mathematics. 141, p. 153-162

    Research output: Contribution to journalArticle

  240. Published

    Computer display control and interaction using eye-gaze

    Murtagh, F., Farid, M. & Starck, J. L., 2002, In: Journal of the Society for Information Display. 10, 3, p. 289-293

    Research output: Contribution to journalArticle

  241. Published

    Decision Boundaries Using Bayes Factors: The Case of Cloud Masks

    Murtagh, F., Barreto, D. & Marcello, J., Dec 2003, In: IEEE Transactions on Geoscience and Remote Sensing. 41, 12, p. 2952-2958 6 p.

    Research output: Contribution to journalArticle

  242. Published

    Deconvolution in astronomy: a review

    Murtagh, F., Starck, J. L. & Pantin, E., 2002, In: Publications of the astronomical society of the pacific. 114, p. 1051-1069

    Research output: Contribution to journalArticle

  243. Published

    Distributed Algorithmic Foundations of Dynamic Networks

    Augustine, J., Pandurangan, G. & Robinson, P., 10 Mar 2016, In: SIGACT News. 47, 1, p. 69-98 30 p.

    Research output: Contribution to journalArticle

  244. Published

    Distributed visual information management in astronomy

    Murtagh, F., Starck, J. L. & Louys, M., 2002, In: Computing in Science and Engineering. 4, 6, p. 14-23

    Research output: Contribution to journalArticle

  245. Published

    Editorial

    Fiadeiro, J. L., Gnesi, S. & Maibaum, T., 1 Mar 2012, In: Formal Aspects of Computing. 24, 2, p. 161-162 2 p.

    Research output: Contribution to journalArticle

  246. Published

    Evaluation of the contract-or-patch heuristic for the Asymmetric TSP

    Gutin, G. & Zverovitch, A., 2005, In: INFOR: Information Systems and Operational Research. 43, 1, p. 23-31

    Research output: Contribution to journalArticle

  247. Published

    Eye-movements and voice as interface modalities to computer systems

    Murtagh, F. & Farid, M., 2002, In: Proceedings of the SPIE. 4877, p. 115-125

    Research output: Contribution to journalArticle

  248. Published

    Finding a longest path in a complete multipartite digraph

    Gutin, G., 1993, In: SIAM Journal on Discrete Mathematics. 6, 2, p. 270-273

    Research output: Contribution to journalArticle

  249. Published

    Follow the Leader If You Can, Hedge If You Must

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

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

  260. Published

    Paths and cycles in extended and decomposable digraphs

    Bang-Jensen, J. & Gutin, G., 1997, In: Discrete Mathematics. 164, p. 5-19

    Research output: Contribution to journalArticle

  261. Published

    Predictions controlees en apprentissage automatique

    Gammerman, A. & Vovk, V., 2010, In: La Revue Modulad. 42, p. 16-33 18 p.

    Research output: Contribution to journalArticle

  262. Published

    Properly colored Hamilton cycles in edge colored complete graphs

    Gutin, G. & Alon, N., 1997, In: Random Structures and Algorithms. 11, 2, p. 179-186

    Research output: Contribution to journalArticle

  263. Published

    Quantization from Bayes factors with application to multilevel thresholding

    Murtagh, F. & Starck, J. L., 2003, In: Pattern Recognition Letters. 24, 12, p. 2001-2007

    Research output: Contribution to journalArticle

  264. Published

    Relationships, Paths and Principal Matching: A New Approach to Access Control

    Crampton, J. & Sellwood, J., 29 May 2015, In: ArXiv.org.

    Research output: Contribution to journalArticle

  265. Published

    Semantic description of signal and image databases

    Murtagh, F., Contreras, P., Kokuer, M. & Louys, M., 2002, In: Proceedings of the SPIE. 4877, p. 230-237

    Research output: Contribution to journalArticle

  266. Published

    Solution of a conjecture of Volkmann on the number of vertices in longest paths and cycles of strong semicomplete multipartite digraphs

    Gutin, G. & Yeo, A., 2001, In: Graphs and Combinatorics. 17, 3, p. 473-477

    Research output: Contribution to journalArticle

  267. Published

    Sufficient conditions for a digraph to be Hamiltonian

    Gutin, G., Bang-Jensen, J. & Li, H., 1996, In: Journal of Graph Theory. 22, 2, p. 181-187

    Research output: Contribution to journalArticle

  268. Published

    Vertex heaviest paths and cycles in quasi-transitive digraphs.

    Gutin, G. & Bang-Jensen, J., 1996, In: Discrete Mathematics. 163, 1-3, p. 217-223

    Research output: Contribution to journalArticle

  269. Published

    Vladimir Vovk’s contribution to the Discussion of ‘Testing by betting: A strategy for statistical and scientific communication’ by Glenn Shafer

    Vovk, V., 5 May 2021, In: Journal of the Royal Statistical Society: Series A (Statistics in Society). 184, 2, p. 445-446 2 p.

    Research output: Contribution to journalArticle

  270. Published

    Wavelet-based combined signal filtering and prediction

    Murtagh, F., Renaud, O. & Starck, J-L., 2005, In: IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics. 35, 6, p. 1241-1251

    Research output: Contribution to journalArticle

  271. Article › Research › Peer-reviewed
  272. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  273. Published

    “Ethics When You Least Expect It”: A Modular Approach to Short Course Data Ethics Instruction

    Bezuidenhout, L., Quick, R. & Shanahan, H., Aug 2020, In: Science and Engineering Ethics. 26, p. 2189-2213 25 p.

    Research output: Contribution to journalArticlepeer-review

  274. Submitted

    9 Simple recommendations for teaching data skills

    Shanahan, H., 16 Apr 2019, (Submitted) In: Data Science Journal.

    Research output: Contribution to journalArticlepeer-review

  275. Published

    A (co)algebraic theory of succinct automata

    Heerdt, G. V., Moerman, J., Sammartino, M. & Silva, A., Jun 2019, In: Journal of Logical and Algebraic Methods in Programming. 105, p. 112-125 14 p.

    Research output: Contribution to journalArticlepeer-review

  276. Published

    A Biological Immune System (BIS) inspired Mobile Agent Platform (MAP) security architecture

    Bagga, P., Hans, R. & Sharma, V., 15 Apr 2017, In: Expert Systems with Applications. 72, p. 269-282 14 p.

    Research output: Contribution to journalArticlepeer-review

  277. Published

    A Census of Human Soluble Protein Complexes

    Havugimana, P. C., Hart, G. T., Nepusz, T., Yang, H., Turinsky, A. L., Li, Z., Wang, P. I., Boutz, D. R., Fong, V., Phanse, S., Babu, M., Craig, S. A., Hu, P., Wan, C., Vlasblom, J., Dar, V-N., Bezginov, A., Clark, G. W., Wu, G. C., Wodak, S. J. & 4 others, Tillier, E. R. M., Paccanaro, A., Marcotte, E. M. & Emili, A., 31 Aug 2012, In: Cell. 150, 5, p. 1068–1081

    Research output: Contribution to journalArticlepeer-review

  278. Published

    A characterization of horizontal visibility graphs and combinatorics on words

    Gutin, G., Mansour, T. & Severini, S., 2011, In: Physica A: Statistical Mechanics and its Applications . 390, p. 2421-2428

    Research output: Contribution to journalArticlepeer-review

  279. E-pub ahead of print

    A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours

    Ciancia, V. & Sammartino, M., 23 Dec 2014, (E-pub ahead of print) In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8902, p. 97-111 15 p.

    Research output: Contribution to journalArticlepeer-review

  280. Published

    A closer look at adaptive regret

    Adamskiy, D., Koolen, W., Chernov, A. & Vovk, V., Apr 2016, In: Journal of Machine Learning Research. 17, 23, p. 1-21 21 p.

    Research output: Contribution to journalArticlepeer-review

  281. Published

    A coalgebraic semantics for causality in Petri nets

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

    Research output: Contribution to journalArticlepeer-review

  282. Published

    A Colored Path Problem and Its Applications

    Eiben, E. & Kanj, I., Jun 2020, In: ACM Transactions on Algorithms (TALG). 16, 4, p. 1-48 48 p., 47.

    Research output: Contribution to journalArticlepeer-review

  283. Published

    A Completeness Theory for Polynomial (Turing) Kernelization

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

    Research output: Contribution to journalArticlepeer-review

  284. Published

    A computational tool that supports formal diagnosis of process design

    Ramos, P. & Fiadeiro, J. L., 15 Oct 1998, In: Information and Software Technology. 40, 10, p. 555-565 11 p.

    Research output: Contribution to journalArticlepeer-review

  285. Published

    A Computer-Aided Software Maintenance Process Model

    Deraman, A. B. & Layzell, P. J., 1993, In: Journal of Knowledge Engineering. 6, 1, p. 36-42 7 p.

    Research output: Contribution to journalArticlepeer-review

  286. Published

    A construction which can be used to produce finitely presented infinite simple groups

    Scott, E., 1984, In: Journal of Algebra. 90, p. 294-322

    Research output: Contribution to journalArticlepeer-review

  287. Published

    A data-centric approach for scalable state machine replication

    Chockler, G., Malkhi, D. & Dolev, D., 1 Jan 2003, In: Lecture Notes in Computer Science. 2584, p. 159-163 5 p.

    Research output: Contribution to journalArticlepeer-review

  288. Published

    A data-gathering broker as a future-orientated approach to supporting EPR users

    Rigby, M., Budgen, D., Turner, M., Kotsiopoulos, I., Brereton, P., Keane, J., Bennett, K., Russell, M., Layzell, P. & Zhu, F., 2007, In: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS. 76, 2-3, p. 137-144 8 p.

    Research output: Contribution to journalArticlepeer-review

  289. Published

    A Data-Gathering Broker As a Future-Oriented Approach to Supporting EPR Users

    Rigby, M., Budgen, D., Turner, M., Kotsiopoulos, I., Brereton, P., Keane, J., Bennett, K., Russell, M., Layzell, P. & Zhu, F., 2007, In: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS. 76, 2-3, p. 137-144 8 p.

    Research output: Contribution to journalArticlepeer-review

  290. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  291. Published

    A Dichotomy for Minimum Cost Graph Homomorphisms

    Gutin, G., Hell, P., Rafiey, A. & Yeo, A., May 2008, In: European Journal of Combinatorics. 29, 4, p. 900-911 12 p.

    Research output: Contribution to journalArticlepeer-review

  292. Published

    A Feed-Forward Neural Network for Increasing the Hopfield-Network Storage Capacity

    Zhao, S., Chen, B., Wang, H., Luo, Z. & Zhang, T., 6 May 2022, In: International Journal of Neural Systems. 16 p.

    Research output: Contribution to journalArticlepeer-review

  293. Published

    A finitely presented simple group with unsolvable conjugacy problem

    Scott, E., 1984, In: Journal of Algebra. 90, p. 333-353

    Research output: Contribution to journalArticlepeer-review

  294. Published

    A formal model for service-oriented interactions

    Fiadeiro, J., Lopes, A. & Abreu, J., 1 May 2012, In: Science of Computer Programming. 77, 5, p. 577-608 32 p.

    Research output: Contribution to journalArticlepeer-review

  295. Published

    A formal model of agent-oriented virtual organisations and their formation

    McGinnis, J., Stathis, K. & Toni, F., 29 Dec 2011, In: Multiagent and Grid Systems. 7, 6, p. 291-310

    Research output: Contribution to journalArticlepeer-review

  296. Published

    A game of prediction with expert advice

    Vovk, V., Apr 1998, In: Journal of Computer and System Sciences. 56, 2, p. 153-173 21 p.

    Research output: Contribution to journalArticlepeer-review

  297. Published

    A Game-based Architecture for developing Interactive Components in Computational Logic

    Stathis, K., Brogi, A. (ed.) & Hill, P. (ed.), 1 Mar 2000, In: Functional and Logic Programming, Special Issue on Logical Formalisms for Program Composition. 2000, 5

    Research output: Contribution to journalArticlepeer-review

  298. Published

    A Glucose Sensor Based on Glucose Oxidase Immobilized by Electrospinning Nanofibrous Polymer Membranes Modified with Carbon Nanotubes

    Wang, Y., Xu, H., Wang, Z., Hu, R., Luo, Z., Xu, Z. & Li, G., May 2013, In: Sensors & Transducers Journal. 152, 5, p. 180-185 6 p.

    Research output: Contribution to journalArticlepeer-review

  299. Published

    A graph transformation approach to software architecture reconfiguration

    Wermelinger, M. & Fiadeiro, J. L., 1 Jul 2002, In: Science of Computer Programming. 44, 2, p. 133-155 23 p.

    Research output: Contribution to journalArticlepeer-review

  300. Published

    A Hierarchical and Regional Deep Learning Architecture for Image Description Generation

    Kinghorn, P., Zhang, L. & Shao, L., 1 Mar 2019, In: Pattern Recognition Letters. 119, p. 77-85 9 p.

    Research output: Contribution to journalArticlepeer-review

  301. Published

    A high quality draft consensus sequence of the genome of a heterozygous grapevine variety

    Velasco, R., Zharkikh, A., Troggio, M., Cartwright, D. A., Cestaro, A., Pruss, D., Pindo, M., Fitzgerald, L. M., Vezzulli, S., Reid, J., Malacarne, G., Iliev, D., Coppola, G., Wardell, B., Micheletti, D., Macalma, T., Facci, M., Mitchell, J. T., Perazzolli, M., Eldredge, G. & 37 others, Gatto, P., Oyzerski, R., Moretto, M., Gutin, N., Stefanini, M., Chen, Y., Segala, C., Davenport, C., Demattè, L., Mraz, A., Battilana, J., Stormo, K., Costa, F., Tao, Q., Si-Ammour, A., Harkins, T., Lackey, A., Perbost, C., Taillon, B., Stella, A., Solovyev, V., Fawcett, J. A., Sterck, L., Vandepoele, K., Grando, S. M., Toppo, S., Moser, C., Lanchbury, J., Bogden, R., Skolnick, M., Sgaramella, V., Bhatnagar, S. K., Fontana, P., Gutin, A., Van de Peer, Y., Salamini, F. & Viola, R., 2007, In: PLoS ONE. 2, 12, p. e1326

    Research output: Contribution to journalArticlepeer-review

  302. Published

    A Higher-order Calculus and Theory Abstraction

    Luo, Z., 1991, In: Information and Computation. 90, 1, p. 107-137 31 p.

    Research output: Contribution to journalArticlepeer-review

  303. Forthcoming

    A Hybrid Short-Term Load Forecasting Method Based on Empirical Wavelet Transform and Bidirectional Long Short-Term Memory Neural Networks

    Zhang, X., Kuenzel, S., Colombo, N. & Watkins, C., 25 Jan 2022, (Accepted/In press) In: Journal of Modern Power Systems and Clean Energy.

    Research output: Contribution to journalArticlepeer-review

  304. Published

    A labelling framework for probabilistic argumentation

    Riveret, R., Baroni, P., Gao, Y., Governatori, G., Rotolo, A. & Sartor, G., May 2018, In: Annals of Mathematics and Artificial Intelligence. 83, 1, p. 21-71 51 p.

    Research output: Contribution to journalArticlepeer-review

  305. Published

    A Language Enhancement Facility for COBOL

    Triance, J. M. & Layzell, P. J., 1985, In: The Computer Journal.

    Research output: Contribution to journalArticlepeer-review

  306. Published

    A large-scale evaluation of computational protein function prediction

    Radivojac, P., Clark, W. T., Oron, T. R., Schnoes, A. M., Wittkop, T., Sokolov, A., Graim, K., Funk, C., Verspoor, K., Ben-Hur, A., Pandey, G., Yunes, J. M., Talwalkar, A. S., Repo, S., Souza, M. L., Piovesan, D., Casadio, R., Wang, Z., Cheng, J., Fang, H. & 82 others, Gough, J., Koskinen, P., Törönen, P., Nokso-Koivisto, J., Holm, L., Cozzetto, D., Buchan, D. W. A., Bryson, K., Jones, D. T., Limaye, B., Inamdar, H., Datta, A., Manjari, S. K., Joshi, R., Chitale, M., Kihara, D., Lisewski, A. M., Erdin, S., Venner, E., Lichtarge, O., Rentzsch, R., Yang, H., Romero, A. E., Bhat, P., Paccanaro, A., Hamp, T., Kaßner, R., Seemayer, S., Vicedo, E., Schaefer, C., Achten, D., Auer, F., Boehm, A., Braun, T., Hecht, M., Heron, M., Hönigschmid, P., Hopf, T. A., Kaufmann, S., Kiening, M., Krompass, D., Landerer, C., Mahlich, Y., Roos, M., Björne, J., Salakoski, T., Wong, A., Shatkay, H., Gatzmann, F., Sommer, I., Wass, M. N., Sternberg, M. J. E., Škunca, N., Supek, F., Bošnjak, M., Panov, P., Džeroski, S., Šmuc, T., Kourmpetis, Y. A. I., van Dijk, A. D. J., ter Braak, C. J. F., Zhou, Y., Gong, Q., Dong, X., Tian, W., Falda, M., Fontana, P., Lavezzo, E., Di Camillo, B., Toppo, S., Lan, L., Djuric, N., Guo, Y., Vucetic, S., Bairoch, A., Linial, M., Babbitt, P. C., Brenner, S. E., Orengo, C., Rost, B., Mooney, S. D. & Friedberg, I., Mar 2013, In: Nature Methods. 10, 3, p. 221-7 7 p.

    Research output: Contribution to journalArticlepeer-review

  307. Published

    A logic of probability, with application to the foundations of statistics (with discussion)

    Vovk, V., 1993, In: Journal of the Royal Statistical Society: Series B (Statistical Methodology). 55, p. 317-351 35 p.

    Research output: Contribution to journalArticlepeer-review

  308. Published

    A Mathematical Semantics for Architectural Connectors

    Fiadeiro, J. L., Lopes, A. & Wermelinger, M., 1 Jan 2003, In: Lecture Notes in Computer Science. 2793, p. 178-221 44 p.

    Research output: Contribution to journalArticlepeer-review

  309. Published

    A maximal tractable class of soft constraints

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2004, In: Journal of Artificial Intelligence Research. 22, p. 1-22

    Research output: Contribution to journalArticlepeer-review

  310. Published

    A Memetic Algorithm for the Generalized Traveling Salesman Problem

    Gutin, G. & Karapetyan, D., 2010, In: Natural Computing. 9, p. 47--60

    Research output: Contribution to journalArticlepeer-review

  311. Published

    A Meta Model of Information Systems to Support Reverse Engineering

    Freeman, M. J. & Layzell, P. J., 1994, In: Information and Software Technology. 36, 5, p. 283-294 12 p.

    Research output: Contribution to journalArticlepeer-review

  312. Published

    A Methodological Framework for the Basis of Explicit Modelling to Enhance Software Maintenance

    Poo, C. C. & Layzell, P. J., 1990, In: Information and Software Technology. 32, 3, p. 175-186 12 p.

    Research output: Contribution to journalArticlepeer-review

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

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

  315. 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, (E-pub ahead of print) In: Scientific Reports. 5, p. 1-10 10 p., 17658.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  337. E-pub ahead of print

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

    Dipsis, N. & Stathis, K., 12 Sep 2019, (E-pub ahead of print) In: Journal of Ambient Intelligence and Humanized Computing. p. 1-24 24 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

  341. Published
  342. 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

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

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

  345. E-pub ahead of print

    A survey of deep learning approaches for WiFi-based indoor positioning

    Feng, X., Nguyen, K. A. & Luo, Z., 20 Sep 2021, (E-pub ahead of print) In: Journal of Information and Telecommunication. 54 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

  350. Published

    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

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

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

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

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

  355. Published

    Abstract probabilistic automata

    Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wa̧sowski, A., 1 Nov 2013, In: Information and Computation. 232, p. 66–116 16 p.

    Research output: Contribution to journalArticlepeer-review

  356. Published

    Abundance of plastid DNA insertions in nuclear genomes of rice and Arabidopsis

    Shahmuradov, I. A., Akbarova, Y. Y., Solovyev, V. V. & Aliyev, J. A., Jul 2003, In: Plant Molecular Biology. 52, 5, p. 923-934 12 p.

    Research output: Contribution to journalArticlepeer-review

  357. Published

    Accurate Hit Estimation for Iterative Screening Using Venn-ABERS Predictors

    Buendia, R., Kogej, T., Engkvist, O., Carlsson, L., Linusson, H., Johansson, U., Toccaceli, P. & Ahlberg, E., 25 Mar 2019, In: Journal of Chemical Information and Modeling. 59, p. 1230-1237 8 p., 3.

    Research output: Contribution to journalArticlepeer-review

  358. Published

    Active disk Paxos with infinitely many processes

    Chockler, G. & Malkhi, D., 1 Jul 2005, In: Distributed Computing. 18, 1, p. 73-84 12 p.

    Research output: Contribution to journalArticlepeer-review

  359. Published

    Activity Recognition for Diabetic Patients Using a Smartphone

    Kvetkovic, B., Janko, V., Romero Lopez, A., Kafali, R., Stathis, K. & Lustrek, M., Dec 2016, In: Journal of Medical Systems. 40, p. 1-8 8 p., 256.

    Research output: Contribution to journalArticlepeer-review

  360. Published

    Actor-based model checking for Software-Defined Networks

    Albert, E., Gómez-Zamalloa, M., Isabel, M., Rubio, A., Sammartino, M. & Silva, A., Jan 2021, In: Journal of Logical and Algebraic Methods in Programming. 118, 25 p., 100617.

    Research output: Contribution to journalArticlepeer-review

  361. Published

    Acyclicity in edge-colored graphs

    Gutin, G., Jones, M., Sheng, B., Wahlstrom, M. & Yeo, A., 6 Feb 2017, In: Discrete Mathematics. 340, 2, p. 1-8 8 p.

    Research output: Contribution to journalArticlepeer-review

  362. Published

    Adaptability checking in complex systems

    Merelli, E., Paoletti, N. & Tesei, L., 2016, In: Science of Computer Programming. 115-116, p. 23-46 24 p.

    Research output: Contribution to journalArticlepeer-review

  363. Published

    Adaptive melanoma diagnosis using evolving clustering, ensemble and deep neural networks

    Tan, T. Y., Zhang, L. & Lim, C. P., Jan 2020, In: Knowledge-Based Systems. 187, 104807.

    Research output: Contribution to journalArticlepeer-review

  364. Published

    Adding mobility to software architectures

    Lopes, A. & Fiadeiro, J. L., 1 Jul 2006, In: Science of Computer Programming. 61, 2, p. 114-135 22 p.

    Research output: Contribution to journalArticlepeer-review

  365. Published

    Adding mobility to software architectures

    Lopes, A. & Fiadeiro, J. L., 22 Jul 2004, In: Electronic Notes in Theoretical Computer Science. 97, p. 241-258 18 p.

    Research output: Contribution to journalArticlepeer-review

  366. Published

    Adjectival and Adverbial Modification: The View from Modern Type Theories

    Chatzikyriakidis, S. & Luo, Z., Mar 2017, In: Journal of Logic, Language and Information. 26, 1, p. 45–88 44 p.

    Research output: Contribution to journalArticlepeer-review

  367. Published

    Admissible ways of merging p-values under arbitrary dependence

    Vovk, V., Wang, B. & Wang, R., 17 Feb 2022, In: The Annals of Statistics. 50, 1, p. 351-375 25 p.

    Research output: Contribution to journalArticlepeer-review

  368. Published

    Advancing Ensemble Learning Performance through data transformation and classifiers fusion in granular computing context

    Liu, H. & Zhang, L., 1 Oct 2019, In: Expert Systems with Applications. 131, p. 20-29 10 p.

    Research output: Contribution to journalArticlepeer-review

  369. Published

    Adversarial resilience of matchings in bipartite random graphs

    Balister, P., Gerke, S. & McDowell, A., 2 Dec 2016, In: Journal of Combinatorics. 8, 1, p. 79-92 14 p.

    Research output: Contribution to journalArticlepeer-review

  370. Published

    Agent interaction for network resource management

    Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., Mar 1999, In: Interoperable Communication Networks Journal. 2, 1, p. 97-106

    Research output: Contribution to journalArticlepeer-review

  371. Published

    Agent‐oriented activity recognition in the event calculus: An application for diabetic patients

    Kafali, O., Romero, A. E. & Stathis, K., Nov 2017, In: Computational Intelligence. 33, 4, p. 899–925 27 p.

    Research output: Contribution to journalArticlepeer-review

  372. Published

    Aggregating Algorithm for prediction of packs

    Adamskiy, D., Bellotti, A., Dzhamtyrova, R. & Kalnishkan, Y., 15 Sep 2019, In: Machine Learning. 108, 8-9, p. 1231-1260 30 p.

    Research output: Contribution to journalArticlepeer-review

  373. Published

    AGILE: Software Architecture for Mobility

    Andrade, L., Baldan, P., Baumeister, H., Corradini, A., De Nicola, R., Fiadeiro, J. L., Gadducci, F., Gnesi, S., Hoffman, P., P., K., Kosiuczenko, H., Lapadula, P., Latella, F., Lopes, M., Loreti, N., Massink, A., Mazzanti, M., Montanari, F., Oliveira, F., Pugliese, R. & 5 others, Tarlecki, M., Wermelinger, U., Wirsing, R., Zawlocki, M. & Bruni, A., 1 Jan 2003, In: Lecture Notes in Computer Science. 2755, p. 1-33 33 p.

    Research output: Contribution to journalArticlepeer-review

  374. Published

    Agility through coordination

    Andrade, L. F. & Fiadeiro, J. L., 1 Sep 2002, In: Information Systems Management. 27, 6, p. 411-424 14 p.

    Research output: Contribution to journalArticlepeer-review

  375. Published

    Algebraic Proofs over Noncommutative Formulas

    Tzameret, I., 2011, In: Information and Computation. 209, 10, p. 1269-1292 24 p.

    Research output: Contribution to journalArticlepeer-review

  376. Published

    Algebraic semantics of design abstractions for context-awareness

    Lopes, A. & Fiadeiro, J. L., 1 Jan 2005, In: Lecture Notes in Computer Science. 3423, p. 79-93 15 p.

    Research output: Contribution to journalArticlepeer-review

  377. Published

    Algorithm for Finding k-Vertex Out-trees and its Application to k-Internal Out-branching Problem.

    Cohen, N., Fomin, F., Gutin, G., Kim, E. J., Saurabh, S. & Yeo, A., 2010, In: Journal of Computer and System Sciences. 76, p. 650-662

    Research output: Contribution to journalArticlepeer-review

  378. Published

    Algorithmic construction of low-discrepancy point sets via dependent randomized rounding

    Doerr, B., Gnewuch, M. & Wahlström, M., 2010, In: Journal of Complexity. 26, 5, p. 490-507 18 p.

    Research output: Contribution to journalArticlepeer-review

  379. Published

    Algorithms for generating convex sets in acyclic digraphs

    Balister, P., Gerke, S., Gutin, G., Johnstone, A., Reddington, J., Scott, E., Soleimanfallah, A. & Yeo, A., Dec 2009, In: Journal of Discrete Algorithms. 7, 4, p. 509–518 10 p.

    Research output: Contribution to journalArticlepeer-review

  380. Published

    Algorithms for the workflow satisfiability problem engineered for counting constraints

    Cohen, D., Crampton, J., Gagarin, A., Gutin, G. & Jones, M., Jul 2016, In: Journal of Combinatorial Optimization. 32, 1, p. 3–24 22 p.

    Research output: Contribution to journalArticlepeer-review

  381. Published

    Algorithms for Workflow Satisfiability Problem with User-independent Constraints

    Gutin, G. & Karapetyan, D., Mar 2020, In: International Journal of Graph Computing. 1, 1, p. 25-38 14 p.

    Research output: Contribution to journalArticlepeer-review

  382. Published

    All Ternary Permutation Constraint Satisfaction Problems Parameterized Above Average Have Kernels with Quadratic Number of Variables

    Gutin, G., van Iersel, L., Mnich, M. & Yeo, A., 2012, In: Journal of Computer and System Sciences. 78, p. 151--163

    Research output: Contribution to journalArticlepeer-review

  383. Forthcoming

    All Ternary Permutation Constraint Satisfaction Problems Parameterized Above Average Have Kernels with Quadratic Number of Vertices

    Gutin, G., van Iersel, L., Mnich, M. & Yeo, A., 2011, (Accepted/In press) In: Journal of Computer and System Sciences. in press

    Research output: Contribution to journalArticlepeer-review

  384. Published

    All-solid-state carbonate-selective electrode based on screen-printed carbon paste electrode

    Li, G., Lyu, X., Wang, Z., Rong, Y., Hu, R., Luo, Z. & Wang, Y., 12 Jan 2017, In: Measurement Science and Technology. 28, 2, p. 1-7 7 p., 025104.

    Research output: Contribution to journalArticlepeer-review

  385. Published

    Almost all almost regular c-partite tournaments with $c geq 5$ are vertex pancyclic

    Tewes, M., Volkmann, L. & Yeo, A., 2002, In: Discrete Mathematics. 242, 1-3, p. 201-228 28 p.

    Research output: Contribution to journalArticlepeer-review

  386. Published

    Almost minimum diameter orientations of semicomplete multipartitite and extended digraphs

    Gutin, G., Koh, K. M., Tay, E. G. & Yeo, A., 2002, In: Graphs and Combinatorics. 18, 3, p. 499-506 8 p.

    Research output: Contribution to journalArticlepeer-review

  387. E-pub ahead of print

    Alternative parameterizations of Metric Dimension

    Gutin, G., Ramanujan, M. S., Reidl, F. & Wahlstrom, M., 25 Jan 2019, (E-pub ahead of print) In: Theoretical Computer Science. p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  388. Published

    Amino acid architecture and the distribution of polar atoms on the surfaces of proteins

    Shanahan, H. P. & Thornton, J. M., 15 Aug 2005, In: BIOPOLYMERS. 78, 6, p. 318-328 11 p.

    Research output: Contribution to journalArticlepeer-review

  389. Published

    An abstract framework for globalising interactive systems

    Stathis, K. & Sergot, M., Feb 1998, In: Interacting with Computers. 9, 4, p. 401-416 16 p.

    Research output: Contribution to journalArticlepeer-review

  390. Published

    An abstract model of service discovery and binding

    Fiadeiro, J. L., Lopes, A. & Bocchi, L., 1 Jul 2011, In: Formal Aspects of Computing. 23, 4, p. 433-463 31 p.

    Research output: Contribution to journalArticlepeer-review

  391. E-pub ahead of print

    An adaptive multi-agent system for task reallocation in a MapReduce job

    Baert, Q., Caron, A-C., Morge, M., Routier, J-C. & Stathis, K., 1 Apr 2021, (E-pub ahead of print) In: Journal of Parallel and Distributed Computing.

    Research output: Contribution to journalArticlepeer-review

  392. Published

    An agile approach to language modelling and development

    Johnstone, A., Mosses, P. D. & Scott, E., Mar 2010, In: Innovations in Systems and Software Engineering. 6, 1-2, p. 145-153 9 p.

    Research output: Contribution to journalArticlepeer-review

  393. Published

    An algebraic semantics of event-based architectures

    Fiadeiro, J. L. & Lopes, A., 1 Oct 2007, In: Mathematical Structures in Computer Science. 17, 5, p. 1029-1073 45 p.

    Research output: Contribution to journalArticlepeer-review

  394. Published

    An Algebraic Theory of Complexity for Discrete Optimisation

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

    Research output: Contribution to journalArticlepeer-review

  395. Published

    An algorithm for finding input-output constrained convex sets in an acyclic digraph

    Gutin, G., Johnstone, A., Reddington, J., Scott, E. & Yeo, A., May 2012, In: Journal of Discrete Algorithms. 13, p. 47-58 12 p.

    Research output: Contribution to journalArticlepeer-review

  396. Published

    An Algorithm for Finding Input-Output Constrained Convex Sets in an Acyclic Digraph

    Gutin, G., Johnstone, A., Reddington, J., Scott, E., Yeo, A., Broersma, H. (ed.), Erlebach, T. (ed.), Friedeizky, T. (ed.) & Paulusma, D. (ed.), 2008, In: Lecture Notes in Computer Science. 5344, p. 206-217 12 p.

    Research output: Contribution to journalArticlepeer-review

  397. Published

    An approximate algorithm for combinatorial optimization problems with two parameters

    Blokh, D. & Gutin, G., 1996, In: Australasian Journal of Combinatorics. 14, p. 157-164

    Research output: Contribution to journalArticlepeer-review

  398. Published

    An automated proof of the correctness of a compiling specification

    Scott, E., 1993, In: Workshops in Computing. p. 392-402

    Research output: Contribution to journalArticlepeer-review

  399. Published

    An electronic nose-based assistive diagnostic prototype for lung cancer detection with conformal prediction

    Zhan, X., Wang, Z., Yang, M., Luo, Z., Wang, Y. & Li, G., 1 Jul 2020, In: Measurement. 158, p. 1-10 10 p., 107588.

    Research output: Contribution to journalArticlepeer-review

  400. Published

    An evolutionary model that satisfies detailed balance

    Lember, J. & Watkins, C., 9 Nov 2020, In: Methodology and Computing in Applied Probability. 37 p.

    Research output: Contribution to journalArticlepeer-review

  401. Published

    An Evolutionary Structural Software Model for Software Maintenance

    Poo, C. C. & Layzell, P. J., 1992, In: Journal of Systems and Software. 18, 2, p. 113-123 11 p.

    Research output: Contribution to journalArticlepeer-review

  402. Published

    An evolving ensemble model of multi-stream convolutional neural networks for human action recognition in still images

    Slade, S., Zhang, L., Yu, Y. & Lim, C. P., 30 Jan 2022, In: Neural Computing and Applications.

    Research output: Contribution to journalArticlepeer-review

  403. Published

    An examination of the conservation of surface patch polarity for proteins

    Shanahan, H. P. & Thornton, J. M., 22 Sep 2004, In: Bioinformatics. 20, 14, p. 2197-2204 8 p.

    Research output: Contribution to journalArticlepeer-review

  404. Published

    An expanded evaluation of protein function prediction methods shows an improvement in accuracy

    Jiang, Y., Oron, T. R., Clark, W. T., Bankapur, A. R., D'Andrea, D., Lepore, R., Funk, C. S., Kahanda, I., Verspoor, K. M., Ben-Hur, A., Koo, D. C. E., Penfold-Brown, D., Shasha, D., Youngs, N., Bonneau, R., Lin, A., Sahraeian, S. M. E., Martelli, P. L., Profiti, G., Casadio, R. & 127 others, Cao, R., Zhong, Z., Cheng, J., Altenhoff, A., Skunca, N., Dessimoz, C., Dogan, T., Hakala, K., Kaewphan, S., Mehryary, F., Salakoski, T., Ginter, F., Fang, H., Smithers, B., Oates, M., Gough, J., Törönen, P., Koskinen, P., Holm, L., Chen, C-T., Hsu, W-L., Bryson, K., Cozzetto, D., Minneci, F., Jones, D. T., Chapman, S., Bkc, D., Khan, I. K., Kihara, D., Ofer, D., Rappoport, N., Stern, A., Cibrian-Uhalte, E., Denny, P., Foulger, R. E., Hieta, R., Legge, D., Lovering, R. C., Magrane, M., Melidoni, A. N., Mutowo-Meullenet, P., Pichler, K., Shypitsyna, A., Li, B., Zakeri, P., ElShal, S., Tranchevent, L-C., Das, S., Dawson, N. L., Lee, D., Lees, J. G., Sillitoe, I., Bhat, P., Nepusz, T., Romero, A. E., Sasidharan, R., Yang, H., Paccanaro, A., Gillis, J., Sedeño-Cortés, A. E., Pavlidis, P., Feng, S., Cejuela, J. M., Goldberg, T., Hamp, T., Richter, L., Salamov, A., Gabaldon, T., Marcet-Houben, M., Supek, F., Gong, Q., Ning, W., Zhou, Y., Tian, W., Falda, M., Fontana, P., Lavezzo, E., Toppo, S., Ferrari, C., Giollo, M., Piovesan, D., Tosatto, S. C. E., del Pozo, A., Fernández, J. M., Maietta, P., Valencia, A., Tress, M. L., Benso, A., Di Carlo, S., Politano, G., Savino, A., Rehman, H. U., Re, M., Mesiti, M., Valentini, G., Bargsten, J. W., van Dijk, A. D. J., Gemovic, B., Glisic, S., Perovic, V., Veljkovic, V., Veljkovic, N., Almeida-e-Silva, D. C., Vencio, R. Z. N., Sharan, M., Vogel, J., Kansakar, L., Zhang, S., Vucetic, S., Wang, Z., Sternberg, M. J. E., Wass, M. N., Huntley, R. P., Martin, M. J., O'Donovan, C., Robinson, P. N., Moreau, Y., Tramontano, A., Babbitt, P. C., Brenner, S. E., Linial, M., Orengo, C. A., Rost, B., Greene, C. S., Mooney, S. D., Friedberg, I. & Radivojac, P., 7 Sep 2016, In: Genome Biology. 17, p. 1-19 19 p., 184.

    Research output: Contribution to journalArticlepeer-review

  405. Published

    An experimental study of the intrinsic stability of random forest variable importance measures

    Wang, H., Yang, F. & Luo, Z., 3 Feb 2016, In: BMC Bioinformatics. 17, p. 1-18 18 p., 60.

    Research output: Contribution to journalArticlepeer-review

  406. Published

    An extensive analysis of disease-gene associations using network integration and fast kernel-based gene prioritization methods

    Valentini, G., Paccanaro, A., Caniza, H., Romero, A. E. & Re, M., Jun 2014, In: Artificial Intelligence in Medicine. 61, 2, p. 63-78 16 p.

    Research output: Contribution to journalArticlepeer-review

  407. Published

    An identity for kernel ridge regression

    Zhdanov, F. & Kalnishkan, Y., 18 Feb 2013, In: Theoretical Computer Science. 473, p. 157-178

    Research output: Contribution to journalArticlepeer-review

  408. Published

    An Implementation of LF with Coercive Subtyping and Universes.

    Callaghan, P. & Luo, Z., 2001, In: Journal of Automated Reasoning. 27, 1, p. 3-27 25 p.

    Research output: Contribution to journalArticlepeer-review

  409. E-pub ahead of print

    An Institutional Foundation for the K Semantic Framework

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

    Research output: Contribution to journalArticlepeer-review

  410. Published

    An integrated gene annotation and transcriptional profiling approach towards the full gene content of the Drosophila genome

    Hild, M., Beckmann, B., Haas, S. A., Koch, B., Solovyev, V., Busold, C., Fellenberg, K., Boutros, M., Vingron, M., Sauer, F., Hoheisel, J. D. & Paro, R., 2003, In: Genome Biology. 5, 1, p. R3

    Research output: Contribution to journalArticlepeer-review

  411. Published

    An interface theory for service-oriented design

    Fiadeiro, J. L. & Lopes, A., 9 Sep 2013, In: Theoretical Computer Science. 503, p. 1-30

    Research output: Contribution to journalArticlepeer-review

  412. Published

    An intuitive graphical visualization technique for the interrogation of transcriptome data

    Bushati, N., Smith, J., Briscoe, J. & Watkins, C., 2011, In: Nucleic Acids Research. 39, 17, p. 7380-7389

    Research output: Contribution to journalArticlepeer-review

  413. Published

    An Investigation into Software Maintenance- Perception and Practices

    Layzell, P. J. & Macaulay, L., 1994, In: Journal of Software Maintenance and Practice. 6, 3, p. 105-120 16 p.

    Research output: Contribution to journalArticlepeer-review

  414. Published

    Analysis of canonical and non-canonical splice sites in mammalian genomes

    Burset, M., Seledtsov, I. A. & Solovyev, V. V., 1 Nov 2000, In: Nucleic Acids Research. 28, 21, p. 4364-4375 12 p.

    Research output: Contribution to journalArticlepeer-review

  415. Published

    Analysis of the biosynthetic gene cluster for the polyether antibiotic monensin in Streptomyces cinnamonensis and evidence for the role of monB and monC genes in oxidative cyclization

    Oliynyk, M., Stark, C. B., Bhatt, A., Jones, MA., Hughes-Thomas, Z. A., Wilkinson, C., Oliynyk, Z., Demydchuk, Y., Staunton, J. & Leadlay, P. F., 2003, In: Mol Microbiol. 49, 5, p. 1179-90 12 p.

    Research output: Contribution to journalArticlepeer-review

  416. Published

    Analysis of update delays in signature-based network intrusion detection systems

    Gascon, H., Orfila, A. & Blasco, J., 1 Nov 2011, In: Computers and Security. 30, 8, p. 613-624 12 p.

    Research output: Contribution to journalArticlepeer-review

  417. Published

    ANEGMA: an automated negotiation model for e-markets

    Bagga, P., Paoletti, N., Alrayes, B. & Stathis, K., 7 Jun 2021, In: Autonomous Agents and Multi-Agent Systems. 35, 27.

    Research output: Contribution to journalArticlepeer-review

  418. Published

    Anomaly-based exploratory analysis and detection of exploits in android mediaserver

    Suárez-Tangil, G., Dash, S. K., García-Teodoro, P., Camacho, J. & Cavallaro, L., 16 Aug 2018, In: IET Information Security. 12, 5, p. 404-413 10 p.

    Research output: Contribution to journalArticlepeer-review

  419. Published

    Anti-matroids

    Gutin, G. & Yeo, A., 2002, In: Operations Research Letters. 30, 2, p. 97-99

    Research output: Contribution to journalArticlepeer-review

  420. Published

    Antimicrobial resistance – a ‘rising tide’ of national (and international) risk

    Cole, J., Jan 2016, In: Journal of Hospital Infection. 92, 1, p. 3-4 2 p.

    Research output: Contribution to journalArticlepeer-review

  421. Published

    Antimicrobial resistance, infection control and planning for pandemics: : the importance of knowledge transfer in healthcare resilience and emergency planning

    Cole, J., 2012, In: Journal of Business Continuity and Emergency Planning. 6, 2, p. 122 135 p.

    Research output: Contribution to journalArticlepeer-review

  422. Published

    Application of an evolutionary algorithm-based ensemble model to job-shop scheduling. Journal of Intelligent Manufacturing

    Tan, C. J., Neoh, S. C., Lim, C. P., Hanoun, S., Wong, W. P., Loo, C. K., Zhang, L. & Nahavandi, S., 15 Feb 2019, In: Journal of Intelligent Manufacturing. 30, p. 879–890 12 p.

    Research output: Contribution to journalArticlepeer-review

  423. Published

    Applications of mobile agents in healthcare domain: a literature survey

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

    Research output: Contribution to journalArticlepeer-review

  424. Published

    Approximating the Existential Theory of the Reals

    Deligkas, A., Fearnley, J., Melissourgos, T. & Spirakis, P. G., May 2022, In: Journal of Computer and System Sciences. 125, p. 106-128 23 p.

    Research output: Contribution to journalArticlepeer-review

  425. Published

    Aquarius: A data-centric approach to CORBA fault-tolerance

    Chockler, G., Malkhi, D., Merimovich, B. & Rabinowitz, D., 1 Jan 2003, In: Lecture Notes in Computer Science. 2889, p. 885-898 14 p.

    Research output: Contribution to journalArticlepeer-review

  426. Published

    Arabidopsis RETINOBLASTOMA RELATED directly regulates DNA damage responses through functions beyond cell cycle control

    Horvath, B., Kourova, H., Nagy, S., Nemeth, E., Magyar, Z., Papdi, C., Ahmad, Z., Sanchez-Perez, G. F., Perilli, S., Blilou, I., Pettkó-Szandtner, A., Darula, Z., Meszaros, T., Binarova, P., Bogre, L. & Scheres, B., 2 May 2017, In: EMBO Journal . 36, 9, p. 1261-1278 18 p.

    Research output: Contribution to journalArticlepeer-review

  427. Published

    Arc-disjoint in- and out-branchings rooted at the same vertex in compositions of digraphs

    Gutin, G. & Sun, Y., May 2020, In: Discrete Mathematics. 343, 5, p. 1-4 4 p., 111816.

    Research output: Contribution to journalArticlepeer-review

  428. Published

    Arc-disjoint strong spanning subdigraphs in compositions and products of digraphs

    Sun, Y., Gutin, G. & Ai, J., Aug 2019, In: Discrete Mathematics. 342, 8, p. 2297-2305 9 p.

    Research output: Contribution to journalArticlepeer-review

  429. E-pub ahead of print

    Arc-disjoint Strong Spanning Subdigraphs of Semicomplete Compositions

    Bang-Jensen, J., Gutin, G. & Yeo, A., 13 Apr 2020, (E-pub ahead of print) In: Journal of Graph Theory.

    Research output: Contribution to journalArticlepeer-review

  430. Published

    Architectural primitives for distribution and mobility

    Lopes, A., Fiadeiro, J. L. & Wermelinger, M., Nov 2002, In: Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering . 27, 6, p. 41-50 10 p.

    Research output: Contribution to journalArticlepeer-review

  431. Published

    Architecture based evolution of software systems

    Andrade, L. F. & Fiadeiro, J. L., 1 Jan 2003, In: Lecture Notes in Computer Science. 2804, p. 148-181 34 p.

    Research output: Contribution to journalArticlepeer-review

  432. Published

    Artificial Intelligence Applications in Biomedicine

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

    Research output: Contribution to journalArticlepeer-review

  433. Published

    Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback

    Gerdes, A. & van Binsbergen, L. T., Mar 2017, In: International Journal of Artificial Intelligence in Education. 27, 1, p. 65-100 36 p.

    Research output: Contribution to journalArticlepeer-review

  434. Published

    Assessing the limits of genomic data integration for predicting protein networks

    Lu, L. J., Xia, Y., Paccanaro, A., Yu, H. & Gerstein, M., 2005, In: Genome Research. 15, 7, p. 945-53 9 p.

    Research output: Contribution to journalArticlepeer-review

  435. Published

    Assignment problem based algorithms are impractical for the generalized TSP

    Gutin, G. & Yeo, A., 2003, In: Australasian Journal of Combinatorics. 27, p. 149-154

    Research output: Contribution to journalArticlepeer-review

  436. Published

    Asymptotic efficiency of estimators: an algorithmic approach

    Vovk, V., 1991, In: Theory of Probability and Its Applications. 36, p. 329-343 15 p.

    Research output: Contribution to journalArticlepeer-review

  437. Published

    Authorized workflow schemas: deciding realizability through $\mathsf{LTL }(\mathsf{F })$ model checking

    Crampton, J., Huth, M. & Huan-Pu Kuo, J., 2014, In: International Journal on Software Tools for Technology Transfer. 16, 1, p. 31-48

    Research output: Contribution to journalArticlepeer-review

  438. Published

    Automated synthesis of safe digital controllers for sampled-data stochastic nonlinear systems

    Shmarov, F., Soudjani, S., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A. & Zuliani, P., 2 Oct 2020, In: IEEE Access. 8, p. 180825-180843 19 p., 3028476.

    Research output: Contribution to journalArticlepeer-review

  439. Published

    Automated whole-genome multiple alignment of rat, mouse, and human

    Brudno, M., Poliakov, A., Salamov, A., Cooper, G. M., Sidow, A., Rubin, E. M., Solovyev, V., Batzoglou, S. & Dubchak, I., 1 Apr 2004, In: Genome Research. 14, 4, p. 685-92 8 p.

    Research output: Contribution to journalArticlepeer-review

  440. Published

    Automatic annotation of eukaryotic genes, pseudogenes and promoters

    Solovyev, V., Kosarev, P., Seledsov, I. & Vorobyev, D., 2006, In: Genome Biology. 7 Suppl 1, p. S10.1-12

    Research output: Contribution to journalArticlepeer-review

  441. Published

    Automatic detection of microaneurysms in diabetic retinopathy fundus images using the L*a*b color space

    Navarro, P., Alonso, D. & Stathis, K., 2016, In: JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION. 33, 1, p. 74-83 10 p.

    Research output: Contribution to journalArticlepeer-review

  442. Published

    Automatic recursion engineering of reduction incorporated parsers

    Johnstone, A. & Scott, E., 1 Sep 2007, In: Science of Computer Programming. 68, 2, p. 95-110 16 p.

    Research output: Contribution to journalArticlepeer-review

  443. Published

    Automating Workflows using Dialetical Argumentation

    Urovi, V., Bromuri, S., Mcginnis, J., Stathis, K. & Omicini, A., 2008, In: International Journal on Computer Science and Information Systems. 3, 2, p. 110-125 16 p.

    Research output: Contribution to journalArticlepeer-review

  444. Published

    Autonomous Target Search with Multiple Coordinated UAVs

    Piacentini, C., Bernardini, S. & Beck, J. C., 8 Aug 2019, In: Journal of Artificial Intelligence Research. 65, p. 519-568 50 p.

    Research output: Contribution to journalArticlepeer-review

  445. Published

    B meson decay constants from two-flavor lattice QCD with nonrelativistic heavy 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., 1 Sep 2001, In: Physical Review D . 6405, 5, p. - 24 p.

    Research output: Contribution to journalArticlepeer-review

  446. Published

    Batched bin packing

    Gutin, G., Jensen, T. & Yeo, A., 2005, In: Discrete Optimization. 2, 1, p. 71-82

    Research output: Contribution to journalArticlepeer-review

  447. Published

    Bayesian network models for hierarchical text classification from a thesaurus

    de Campos, L. M. & Romero, A. E., Jul 2009, In: International Journal of Approximate Reasoning. 50, 7, p. 932-944 13 p.

    Research output: Contribution to journalArticlepeer-review

  448. Published

    Between the Information Economy and Student Recruitment: Present Conjuncture and Future Prospects

    Murtagh, F., Oct 2008, In: UPGRADE: The European journal for the informatics professional. IX, 5, p. 56-64

    Research output: Contribution to journalArticlepeer-review

  449. Published

    Betweenness parameterized above tight lower bound

    Gutin, G., Kim, E. J., Mnich, M. & Yeo, A., Dec 2010, In: Journal of Computer and System Sciences. 76, 8, p. 872-878

    Research output: Contribution to journalArticlepeer-review

  450. E-pub ahead of print

    Binarisation for Valued Constraint Satisfaction Problems

    Cohen, D., Cooper, M., Jeavons, P., Krokhin, A., Powell, R. & Zivny, S., 3 Oct 2017, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 31, 4, p. 2279-2300 22 p.

    Research output: Contribution to journalArticlepeer-review

  451. Published

    Binary constraint satisfaction problems defined by excluded topological minors

    Cohen, D., Cooper, M. C., Jeavons, P. G. & Zivny, S., Feb 2019, In: Infor. and Computation. 264, p. 12-31 20 p.

    Research output: Contribution to journalArticlepeer-review

  452. Published

    Binary Search in Graphs Revisited

    Deligkas, A., Mertzios, G. & Spirakis, P., 15 May 2019, In: Algorithmica. 81, p. 1757–1780 24 p.

    Research output: Contribution to journalArticlepeer-review

  453. Published

    Bioaccumulation modelling and sensitivity analysis for discovering key players in contaminated food webs: The case study of PCBs in the Adriatic Sea

    Taffi, M., Paoletti, N., Liò, P., Pucciarelli, S. & Marini, M., 24 Jun 2015, In: Ecological Modelling. 306, p. 205-215 11 p.

    Research output: Contribution to journalArticlepeer-review

  454. Published

    Bioinformatics on the cloud computing platform Azure

    Shanahan, H., Harrison, A. & Owen, A. M., 22 Jul 2014, In: PLoS ONE. 9, 7, p. e102642

    Research output: Contribution to journalArticlepeer-review

  455. Published

    Bioremediation in marine ecosystems: a computational study combining ecological modelling and flux balance analysis

    Taffi, M., Paoletti, N., Angione, C., Pucciarelli, S., Marini, M. & Liò, P., 2014, In: Frontiers in Genetics. 5, 319

    Research output: Contribution to journalArticlepeer-review

  456. Published

    Blending Human and Artificial Intelligence to Support Autistic Children's Social Communication Skills

    Porayska-Pomsta, K., Alcorn, A., Avramides, K., Beale, S., Bernardini, S., Foster, M. E., Frauenberger, C., Good, J., Guldberg, K., Keay-Bright, W., Kossyvaki, L., Lemon, O., Mademtzi, M., Menzies, R., Pain, H., Rajendran, G., Waller, A., Wass, S. & Smith, T. J., 20 Dec 2018, In: ACM Transactions on Computer-Human Interaction (TOCHI). 25, 6, p. 1-35 35 p., 35.

    Research output: Contribution to journalArticlepeer-review

  457. Forthcoming

    Boost AI Power: Data Augmentation Strategies With Unlabeled Data and Conformal Prediction, a Case in Alternative Herbal Medicine Discrimination With Electronic Nose

    Liu, L., Zhan, X., Wu, R., Guan, X., Wang, Z., Zhang, W., Pilanci, M., Wang, Y., Luo, Z. & Li, G., 15 Oct 2021, (Accepted/In press) In: IEEE Sensors Journal . 21, 20, p. 22995 - 23005

    Research output: Contribution to journalArticlepeer-review

  458. Published

    BRNGLR: a cubic Tomita-style GLR parsing algorithm

    Scott, E., Johnstone, A. & Economopoulos, R., Oct 2007, In: Acta Informatica. 44, 6, p. 427-461 35 p.

    Research output: Contribution to journalArticlepeer-review

  459. Published

    Building tractable disjunctive constraints

    Cohen, D. A., Jeavons, P. G., Jonsson, P. & Koubarakis, M., 2000, In: Journal of the ACM. 47, p. 826-853 28 p.

    Research output: Contribution to journalArticlepeer-review

  460. Published

    Bulletin Board: A scalable and robust eventually consistent shared memory over a peer-to-peer overlay

    Bortnikov, V., Chockler, G., Roytman, A. & Spreitzer, M., 14 Apr 2010, In: Operating Systems Review. 44, 2, p. 64-70 7 p.

    Research output: Contribution to journalArticlepeer-review

  461. Published

    Buy low, sell high

    Koolen, W. & Vovk, V., 2014, In: Theoretical Computer Science. 558, p. 144-158 15 p.

    Research output: Contribution to journalArticlepeer-review

  462. Published

    Bypassing information leakage protection with trusted applications

    Blasco, J., Hernandez-Castro, J. C., Tapiador, J. E. & Ribagorda, A., 1 Jun 2012, In: Computers and Security. 31, 4, p. 557-568 12 p.

    Research output: Contribution to journalArticlepeer-review

  463. Published

    Byzantine disk paxos: Optimal resilience with byzantine shared memory

    Abraham, I., Chockler, G., Keidar, I. & Malkhi, D., 1 Apr 2006, In: Distributed Computing. 18, 5, p. 387-408 22 p.

    Research output: Contribution to journalArticlepeer-review

  464. Published

    Calculation of K -> pi matrix elements in 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., 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. 283-286 4 p.

    Research output: Contribution to journalArticlepeer-review

  465. Published

    CASE 2000: The Future of CASE Technology

    King, S., Layzell, P. J. & West, S. W., 1994, In: SOFTWARE ENGINEERING JOURNAL. 9, 4, p. 138-140 3 p.

    Research output: Contribution to journalArticlepeer-review

  466. Published

    Categorical semantics of parallel program design

    Fiadeiro, J. L. & Maibaum, T., 1 Apr 1997, In: Science of Computer Programming. 28, 2-3, p. 111-138 28 p.

    Research output: Contribution to journalArticlepeer-review

  467. Published

    Characterising Tractable Constraints

    Cooper, M. C., Cohen, D. A. & Jeavons, P. G., 1994, In: Artificial Intelligence. 65, 2, p. 347-361 15 p.

    Research output: Contribution to journalArticlepeer-review

  468. E-pub ahead of print

    Characterizing Propositional Proofs as Non-commutative Formulas

    Li, F., Tzameret, I. & Wang, Z., 19 Jul 2018, (E-pub ahead of print) In: SIAM Journal on Computing. 47, 4, p. 1424-1462 39 p.

    Research output: Contribution to journalArticlepeer-review

  469. Published

    Chinese Postman Problem on edge-colored multigraphs

    Gutin, G., Jones, M., Sheng, B., Wahlstrom, M. & Yeo, A., 30 Jan 2017, In: Discrete Applied Mathematics. 217, Part 2, p. 196-202 7 p.

    Research output: Contribution to journalArticlepeer-review

  470. Published

    Chiral properties of domain-wall quarks in quenched 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., Manke, T., Nagai, K. I., Noaki, J., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A. & 2 others, Yoshie, T. & CP-PACS Collaboration, 1 Jun 2001, In: Physical Review D . 6311, 11, p. - 19 p.

    Research output: Contribution to journalArticlepeer-review

  471. Published

    Choose your own COBOL

    Triance, J. M. & Layzell, P. J., 1981, In: BCS. 81, p. 16-33 18 p.

    Research output: Contribution to journalArticlepeer-review

  472. Published

    Choreographies in the wild

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

    Research output: Contribution to journalArticlepeer-review

  473. Published

    Classical Predicative Logic-Enriched Type Theories

    Adams, R. & Luo, Z., Aug 2010, In: Annals of Pure and Applied Logic. 161, 11, p. 1315-1345 31 p.

    Research output: Contribution to journalArticlepeer-review

  474. Published

    CLEF- A COBOL Language Enhancement Facility

    Layzell, P. J. & Triance, J. M., 1988, In: Information and Software Technology. 30, 2, p. 108-119 12 p.

    Research output: Contribution to journalArticlepeer-review

  475. Published

    Clinical mass spectrometry proteomic diagnosis by conformal predictors

    Gammerman, A., Nouretdinov, I., Burford, B., Chervonenkis, A., Vovk, V. & Luo, Z., Jul 2008, In: Statistical Applications in Genetics and Molecular Biology. 7, 2, 13.

    Research output: Contribution to journalArticlepeer-review

  476. Forthcoming

    Clique cover and graph separation: New incompressibility results

    Cygan, M., Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 2014, (Accepted/In press) In: ACM Transactions on Computation Theory (TOCT). 6, 2

    Research output: Contribution to journalArticlepeer-review

  477. Published

    Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers

    Paoletti, N., Patanè, A. & Kwiatkowska, M., 18 Sep 2018, In: ACM Transactions on Cyber-Physical Systems. 2, 4, p. 1-31 31 p., 33.

    Research output: Contribution to journalArticlepeer-review

  478. Published

    Closure Properties of Constraints

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1997, In: Journal of the ACM. 44, p. 527-548 22 p.

    Research output: Contribution to journalArticlepeer-review

  479. Published

    Clouds at the crossroads: research perspectives

    Vigfusson, Y. & Chockler, G., Mar 2010, In: Crossroads. 16, 3, p. 10-13 4 p.

    Research output: Contribution to journalArticlepeer-review

  480. Published

    Clustering of Pseudomonas aeruginosa transcriptomes from planktonic cultures, developing and mature biofilms reveals distinct expression profiles

    Waite, R. D., Paccanaro, A., Papakonstantinopoulou, A., Hurst, J. M., Saqi, M., Littler, E. & Curtis, M. A., 2006, In: BMC Genomics. 7, p. 162

    Research output: Contribution to journalArticlepeer-review

  481. Published

    Clustering without replication in combinatorial circuits

    Donovan, Z., Gutin, G., Mkrtchyan, V. & Subramani, K., Aug 2019, In: Journal of Combinatorial Optimization. 38, 2, p. 481-501 21 p.

    Research output: Contribution to journalArticlepeer-review

  482. Published

    Coercion completion and conservativity in coercive subtyping

    Soloviev, S. & Luo, Z., 2002, In: Annals of Pure and Applied Logic. 113, 1-3, p. 297-322 26 p.

    Research output: Contribution to journalArticlepeer-review

  483. Published

    Coercions in a polymorphic type system

    Luo, Z., Aug 2008, In: Mathematical Structures in Computer Science. 18, 4, p. 729-751 23 p.

    Research output: Contribution to journalArticlepeer-review

  484. Published

    Coercive subtyping

    Luo, Z., 1999, In: Journal of Logic and Computation. 9, 1, p. 105-130 26 p.

    Research output: Contribution to journalArticlepeer-review

  485. Published

    Coercive subtyping: theory and implementation

    Luo, Z., Soloviev, S. & Xue, T., Feb 2013, In: Information and Computation. 223, p. 18-42

    Research output: Contribution to journalArticlepeer-review

  486. Published

    Collapsible Pushdown Automata and Recursion Schemes

    Hague, M., Murawski, A., Ong, C-H. L. & Serre, O., 21 Aug 2017, In: ACM Transactions on Computational Logic. 18, 3, p. 1-42 42 p.

    Research output: Contribution to journalArticlepeer-review

  487. Published

    Collapsible Pushdown Parity Games

    Hague, M., Serre, O., Carayol, A., Ong, C-H. L., Murawski, A. & Broadbent, C., 22 Jul 2021, In: ACM Transactions on Computational Logic. 22, 3, p. 1 51 p., 16.

    Research output: Contribution to journalArticlepeer-review

  488. Published

    Combination of inductive mondrian conformal predictors

    Toccaceli, P. & Gammerman, A., 15 Mar 2019, In: Machine Learning. 108, p. 489–510 22 p.

    Research output: Contribution to journalArticlepeer-review

  489. Published

    Combining p-values via averaging

    Vovk, V. & Wang, R., 11 Jun 2020, In: Biometrika. 107, 4, p. 791-808 18 p., asaa027.

    Research output: Contribution to journalArticlepeer-review

  490. Published

    Combining Temporal Planning with Probabilistic Reasoning for Autonomous Surveillance Missions

    Bernardini, S., Fox, M. & Long, D., Jan 2017, In: Autonomous Robots. 41, p. 181–203 23 p.

    Research output: Contribution to journalArticlepeer-review

  491. Published

    COMMODITY12: A smart e-health environment for diabetes management

    Kafali, O., Bromuri, S., Sindlar, M., van der Weide, T., Aguilar Pelaez, E., Schaechtle, U., Alves, B., Zufferey, D., Rodriguez-Villegas, E., Schumacher, M. & Stathis, K., Oct 2013, In: Journal of Ambient Intelligence and Smart Environments. 5, 5, p. 479-502

    Research output: Contribution to journalArticlepeer-review

  492. Published

    Community on the move: Architectures for distribution and mobility

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2004, In: Lecture Notes in Computer Science. 3188, p. 177-196 20 p.

    Research output: Contribution to journalArticlepeer-review

  493. Published

    Community response grids: E-government, social networks, and effective emergency management

    Jaeger, P. T., Shneiderman, B., Fleischmann, K. R., Preece, J., Qu, Y., Fei Wu, P. & Wu, P., 1 Nov 2007, In: Telecommunications Policy. 31, 10-11, p. 592-604 13 p.

    Research output: Contribution to journalArticlepeer-review

  494. Published

    Community structure and metabolism through reconstruction of microbial genomes from the environment

    Tyson, G. W., Chapman, J., Hugenholtz, P., Allen, E. E., Ram, R. J., Richardson, P. M., Solovyev, V. V., Rubin, E. M., Rokhsar, D. S. & Banfield, J. F., 4 Mar 2004, In: Nature. 428, 6978, p. 37-43 7 p.

    Research output: Contribution to journalArticlepeer-review

  495. Published

    Community-wide assessment of GPCR structure modelling and ligand docking

    Michino, M. & Solovyev, V., 2010, In: Nature Reviews. Drug Discovery. 8, p. 455-463

    Research output: Contribution to journalArticlepeer-review

  496. Published

    Comorphisms of structured institutions

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

    Research output: Contribution to journalArticlepeer-review

  497. Published

    Comparing the Performance of Random Forest, SVM and Their Variants for ECG Quality Assessment Combined with Nonlinear Features

    Zhang, Y., Wei, S., Zhang, L. & Liu, C., 13 Jun 2019, In: Journal of Medical and Biological Engineering. 39, p. 381–392 12 p.

    Research output: Contribution to journalArticlepeer-review

  498. E-pub ahead of print

    Comparison and data fusion of electronic nose and near-infrared reflectance spectroscopy for the discrimination of ginsengs

    Miao, J., Luo, Z., Wang, Y. & Li, G., 4 Jan 2016, (E-pub ahead of print) In: Analytical Methods. p. 1-9 9 p.

    Research output: Contribution to journalArticlepeer-review

  499. Published

    Competing with wild prediction rules

    Vovk, V., Dec 2007, In: Machine Learning. 69, 2-3, p. 193-212 20 p.

    Research output: Contribution to journalArticlepeer-review

  500. Published

    Competitive on-line statistics

    Vovk, V., Aug 2001, In: INTERNATIONAL STATISTICAL REVIEW. 69, 2, p. 213-248 36 p.

    Research output: Contribution to journalArticlepeer-review

  501. Published

    Complementary cycles containing prescribed vertices in tournaments

    Bang-Jensen, J., Guo, Y. & Yeo, A., 2000, In: Discrete Mathematics. 214, 1-3, p. 77-87 11 p.

    Research output: Contribution to journalArticlepeer-review

  502. Published

    Complexity approximation principle

    Vovk, V. & Gammerman, A., 1999, In: The Computer Journal. 42, 4, p. 318-322 5 p.

    Research output: Contribution to journalArticlepeer-review

  503. Published

    Complexity of Computing Convex Subgraphs in Custom Instruction Synthesis

    Reddington, J. & Atasu, K., 2011, In: IEEE Transactions on Very Large Scale Integration (VLSI) Systems. p. 1-5

    Research output: Contribution to journalArticlepeer-review

  504. Published

    Complexity of Propositional Proofs Under a Promise

    Dershowitz, N. & Tzameret, I., 2010, In: ACM Transactions on Computational Logic. 11, 3, p. 1-30 30 p.

    Research output: Contribution to journalArticlepeer-review

  505. Published

    Composition contracts for service interaction

    Andrade, L. F. & Fiadeiro, J. L., 1 Jan 2004, In: Journal of Universal Computer Science. 10, 4, p. 375-390 16 p.

    Research output: Contribution to journalArticlepeer-review

  506. Forthcoming

    Compression via Matroids: A Randomized Polynomial Kernel for Odd Cycle Transversal

    Kratsch, S. & Wahlström, M., 2014, (Accepted/In press) In: ACM Transactions on Algorithms (TALG). 10, 4, 20 p.

    Research output: Contribution to journalArticlepeer-review

  507. Published

    Computational Logic Foundations of KGP Agents

    Kakas, A., Mancarella, P., Sadri, F., Stathis, K. & Toni, F., Nov 2008, In: Journal of Artificial Intelligence Research. 33, p. 285-348

    Research output: Contribution to journalArticlepeer-review

  508. Published

    Computational selection of transcriptomics experiments improves Guilt-by-Association analyses

    Bhat, P., Yang, H., Bogre, L., Devoto, A. & Paccanaro, A., 7 Aug 2012, In: PLoS ONE. 7, 8, e39681.

    Research output: Contribution to journalArticlepeer-review

  509. Published

    Computationally efficient versions of conformal predictive distributions

    Vovk, V., Petej, I., Nouretdinov, I., Manokhin, V. & Gammerman, A., 15 Jul 2020, In: Neurocomputing. 397, p. 292-308 17 p.

    Research output: Contribution to journalArticlepeer-review

  510. Published

    Computer-Aided Software Maintenance: A Classification and Analysis

    Deraman, A. B. & Layzell, P. J., 1993, In: Malaysian Journal of Computer Science. 6

    Research output: Contribution to journalArticlepeer-review

  511. Published

    Computing Approximate Nash Equilibria in Polymatrix Games

    Deligkas, A., Fearnley, J., Savani, R. & Spirakis, P., Feb 2017, In: Algorithmica. 77, p. 487–514 28 p.

    Research output: Contribution to journalArticlepeer-review

  512. Published

    Computing exact solutions of consensus halving and the Borsuk-Ulam theorem

    Deligkas, A., Fearnley, J., Melissourgos, T. & Spirakis, P. G., May 2021, In: Journal of Computer and System Sciences. 117, p. 75-98 24 p.

    Research output: Contribution to journalArticlepeer-review

  513. Published

    Conceptual Model for Generating Meaningful Test data Based on Permutation Methods

    Hameed, S., Derman, A., Hamdan, A. R. & Layzell, P. J., 2002, In: Asian Journal of Information Technology. 1, 1-4, p. 22-23 2 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 4 5 Next