1. Published

    On the Feasibility of Using Two Mobile Phones and WLAN Signal to Detect Co-Location of Two Users for Epidemic Prediction

    Nguyen, K., Luo, Z. & Watkins, C., 2015, Progress in Location-Based Services 2014. Gartner, G. & Huang, H. (eds.). Germany: Springer, p. 63-78 16 p. (Lecture Notes in Geoinformation and Cartography).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  2. Published

    On the Instantiation of Parameterised Specifications

    Tutu, I., 2012.

    Research output: Contribution to conferenceAbstractpeer-review

  3. Forthcoming

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

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

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

  4. Published

    On the number of connected convex subgraphs of a connected acyclic graph

    Gutin, G. & Yeo, A., 2009, In: Discrete Applied Mathematics. 157, p. 1660-1662 3 p.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    On the number of quasi-kernels in digraphs

    Gutin, G., Koh, K. M., Tay, E. G. & Yeo, A., 2004, In: Journal of Graph Theory. 46, 1, p. 48-56

    Research output: Contribution to journalArticlepeer-review

  6. Published

    On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem

    Crampton, J., Gutin, G. & Yeo, A., Jun 2013, In: ACM Transactions on Information and System Security. 16, 1, 4.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    On the parameterized complexity of the workflow satisfiability problem

    Crampton, J., Gutin, G. & Yeo, A., 2012, CCS '12 Proceedings of the 2012 ACM conference on Computer and communications security. New York: ACM, p. 857-868

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

  8. Published

    On the Satisfiability of Workflows with Release Points

    Crampton, J., Gutin, G. & Watrigant, R., Jun 2017, SACMAT '17 Abstracts: Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies. ACM, p. 207-217 11 p.

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

  9. Published

    On the undecidability of asynchronous session subtyping

    Lange, J. & Yoshida, N., 16 Mar 2017, Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer Verlag, p. 441-457 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10203 LNCS).

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

  10. Forthcoming

    On the Workflow Satisfiability Problem with Class-Independent Constraints

    Crampton, J., Gagarin, A., Gutin, G. & Jones, M., 2015, (Accepted/In press) 10th International Symposium on Parameterized and Exact Computation. Schloss Dagstuhl –Leibniz Center for Informatics, (LIPIcs).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Published

    On the Workflow Satisfiability Problem with Class-Independent Constraints for Hierarchical Organizations

    Crampton, J., Gagarin, A., Gutin, G., Jones, M. & Wahlstrom, M., Oct 2016, In: ACM Transactions on Privacy and Security. 19, 3, p. 1-29 29 p., 8.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    On Ultrametric Algorithmic Information

    Murtagh, F., 2010, In: The Computer Journal. 53, 4, p. 405-416

    Research output: Contribution to journalArticlepeer-review

  13. Published

    On use of algorithmic notions of randomness and simplicity in mathematical statistics

    Vovk, V., 1986, p. 456. 1 p.

    Research output: Contribution to conferenceAbstractpeer-review

  14. Published

    One-Diregular Subgraphs in Semicomplete Multipartite Digraphs

    Yeo, A., 1997, In: Journal of Graph Theory. 24, 11, p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  15. Published

    On-line competitive linear regression

    Vovk, V., 1997.

    Research output: Working paper

  16. Published

    On-line confidence machines are well-calibrated

    Vovk, V., 2002, Proceedings of the Forty Third Annual Symposium on Foundations of Computer Science. Los Alamitos, CA: IEEE Computer Society, p. 187-196 10 p.

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

  17. Published

    On-line Confidence Machines are well-calibrated

    Vovk, V., Apr 2002.

    Research output: Working paper

  18. Published

    Online conformal prediction for classifying different types of herbal medicines with electronic nose

    Zhan, X., Guan, X., Wu, R., Wang, Z., Wang, Y., Luo, Z. & Li, G., 4 Nov 2018, IET Doctoral Forum on Biomedical Engineering, Healthcare, Robotics and Artificial Intelligence 2018: BRAIN 2018. IET Conference Publications, Vol. 2018. p. 1-8 8 p.

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

  19. Published
  20. Published

    On-line network resource consumption prediction with confidence

    Luo, Z., 2007, Second International Conference on Communications and Networking in China, 2007. CHINACOM '07. . p. 104-108

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

  21. Published
  22. Published

    Online Prediction of Ovarian Cancer

    Zhdanov, F., Vovk, V., Burford, B., Devetyarov, D., Nouretdinov, I. & Gammerman, A., 2009, Proceedings of the 12th Conference on Artificial Intelligence in Medicine. p. 375-379 5 p.

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

  23. Published

    On-line Prediction with Kernels and the Complexity Approximation Principle

    Gammerman, A., Kalnishkan, Y. & Vovk, V., 2004, Uncertainty in Artificial Intelligence, Proceedings of the Twentieth Conference. Chickering, M. & Halpern, J. (eds.). AUAI Press, p. 170-176

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

  24. Published

    On-line predictive linear regression

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

    Research output: Working paper

  25. Published

    On-line predictive linear regression

    Vovk, V., Nouretdinov, I. & Gammerman, A., Jun 2009, In: The Annals of Statistics. 37, 3, p. 1566-1590 25 p.

    Research output: Contribution to journalArticlepeer-review

  26. Published

    On-Line Probability, Complexity and Randomness

    Chernov, A., Shen, A., Vereshchagin, N. & Vovk, V., 2008, Proceedings of the Nineteenth International Conference on Algorithmic Learning Theory. Freund, Y., Gyorfi, L., Turan, G. & Zeugmann, T. (eds.). Berlin: Springer, Vol. 5254. p. 138-153 16 p. (Lecture Notes in Artificial Intelligence; vol. 5254).

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

  27. Published

    Online region prediction with real teachers

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

    Research output: Working paper

  28. Published

    On-line Regression Competitive with Changing Predictors

    Busuttil, S. & Kalnishkan, Y., 2007, Algorithmic Learning Theory, 18th International Conference, ALT 2007, Proceedings: 4754 of Lecture Notes in Computer Science. Springer, p. 181-195 (Lecture Notes in Computer Science,; vol. 4754).

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

  29. Published
  30. Published

    On-line regression competitive with reproducing kernel Hilbert spaces

    Vovk, V., 2006, Theory and Applications of Models of Computation. Proceedings of the Third Annual Conference on Computation and Logic. Cai, J-Y., Cooper, S. & Li, A. (eds.). Berlin: Springer, Vol. 3959. p. 452-463 12 p. (Lecture Notes in Computer Science; vol. 3959).

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

  31. Published

    Ontology from Local Hierarchical Structure in Text

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

    Research output: Working paper

  32. Published

    Open Access, Intellectual Property, and How Biotechnology Becomes a New Software Science

    Murtagh, F., Aug 2010, In: UPGRADE: The European journal for the informatics professional. XI , 4, p. 50-64

    Research output: Contribution to journalArticlepeer-review

  33. Published

    Open Game Tournaments in STARLITE

    Hopkins, J., Kafali, O. & Stathis, K., 4 May 2015, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015). IFAAMAS, p. 1927-1928 2 p.

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

  34. Unpublished

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

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

    Research output: ThesisDoctoral Thesis

  35. Published

    Open Objects for Ambient Intelligence

    Goncalves, P. & Stathis, K., 2012.

    Research output: Contribution to conferencePaperpeer-review

  36. Forthcoming

    Optimal Constructions for Chain-based Cryptographic Enforcement of Information Flow Policies

    Crampton, J., Farley, N., Gutin, G. & Jones, M., 2015, (Accepted/In press) 29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy: DBSec 2015. Springer-Verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  37. Published

    Optimal on-line bin packing with two item sizes

    Gutin, G., Jensen, T. & Yeo, A., 2006, In: Algorithmic Operations Research. 1, 2, p. 72-78 7 p.

    Research output: Contribution to journalArticlepeer-review

  38. Published

    Optimal regional consecutive leader election in mobile ad-hoc networks

    Chung, H. C., Robinson, P. & Welch, J. L., 2011, FOMC'11, The Seventh ACM SIGACT/SIGMOBILE International Workshop on Foundations of Mobile Computing (part of FCRC 2011), San Jose, CA, USA, June 9, 2011, Proceedings. p. 52-61 10 p.

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

  39. Published

    Optimal Strategies in Pushdown Reachability Games

    Hague, M. & Carayol, A., 20 Aug 2018, International Symposium on Mathematical Foundations of Computer Science. p. 1-14 14 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 117).

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

  40. Forthcoming

    Optimizing Reachability Sets in Temporal Graphs by Delaying

    Deligkas, A. & Potapov, I., 6 Mar 2022, (Accepted/In press) In: Information and Computation. 104890.

    Research output: Contribution to journalArticlepeer-review

  41. Published

    Or gate Bayesian networks for text classification: A discriminative alternative approach to multinomial naive Bayes

    de Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 2008, Actas del XIV Congreso Español sobre Tecnologías y Lógica Fuzzy. p. 385-390 6 p.

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

  42. Published

    ORC: an Ontology Reasoning Component for Diabetes

    Kafali, O., Sindlar, M., Weide, T. V. D. & Stathis, K., 2013, 2nd International Workshop on Artificial Intelligence and Netmedicine (NetMed'13).

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

  43. Published

    Organisational Considerations for Software Reuse

    Lynex, A. & Layzell, P. J., 1998, Annals of Software Engineering, Vol.5.. J.C.Baltzer AG, p. 105-124 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  44. Published

    Orientations of digraphs almost preserving diameter

    Gutin, G. & Yeo, A., 2002, In: Discrete Applied Mathematics. 121, p. 129-138

    Research output: Contribution to journalArticlepeer-review

  45. Published

    Origins of Modern Data Analysis Linked to the Beginnings and Early Development of Computer Science and Information Engineering

    Murtagh, F., 2008, In: Electronic Journal for History of Probability and Statisics. 4, 2

    Research output: Contribution to journalArticlepeer-review

  46. Published

    OsWRKY22, a monocot WRKY gene, plays a role in the resistance response to blast

    Abbruscato, P., Nepusz, T., Mizzi, L., Del Corvo, M., Morandini, P., Fumasoni, I., Michel, C., Paccanaro, A., Guiderdoni, E., Schaffrath, U., Morel, J-B., Piffanelli, P. & Faivre-Rampant, O., 2012, In: Molecular Plant Pathology.

    Research output: Contribution to journalArticlepeer-review

  47. Published

    Overcoming the utility problem in heuristic generation: Why time matters

    Barley, M., Franco, S. & Riddle, P., 10 Dec 2014, Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014: Portsmouth, New Hampshire, USA, June 21-26, 2014. Chien, S. A., Do, M. B., Fern, A. & Ruml, W. (eds.). AAAI Press, p. 38-46 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

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

  48. Published

    Over-fitting suppression training strategies for deep learning-based atrial fibrillation detection

    Zhang, X., Li, J., Cai, Z., Zhang, L., Chen, Z. & Liu, C., 2 Jan 2021, In: Medical & Biological Engineering & Computing. 59, p. 165–173 9 p.

    Research output: Contribution to journalArticlepeer-review

  49. Published

    Packing paths in digraphs

    Brewster, R. C., Hell, P., Pantel, S. H., Rizzi, R. & Yeo, A., 2003, In: Journal of Graph Theory. 44, 2, p. 81-158 78 p.

    Research output: Contribution to journalArticlepeer-review

  50. Published

    PAC-learnability of Probabilistic Deterministic Finite State Automata

    Clark, A. & Thollard, F., 1 May 2004, In: Journal of Machine Learning Research. 5, p. 473-497 25 p.

    Research output: Contribution to journalArticlepeer-review

  51. Published

    PAC-learning unambiguous NTS languages

    Clark, A., 2006, p. 59-71.

    Research output: Contribution to conferencePaperpeer-review

  52. Published

    PAIGE: Towards a hybrid-edge design for privacy-preserving intelligent personal assistants

    Liang, Y., O'Keeffe, D. & Sastry, N., 27 Apr 2020, EdgeSys 2020 - Proceedings of the 3rd ACM International Workshop on Edge Systems, Analytics and Networking, Part of EuroSys 2020. Association for Computing Machinery, Inc, p. 55-60 6 p. (EdgeSys 2020 - Proceedings of the 3rd ACM International Workshop on Edge Systems, Analytics and Networking, Part of EuroSys 2020).

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

  53. Published

    PAL+: a lambda-free logical framework

    Luo, Z., 2003, In: Journal of Functional Programming. 13, 2, p. 317-338 22 p.

    Research output: Contribution to journalArticlepeer-review

  54. Published

    PAL+: a lambda-free logical framework

    Luo, Z., 2000, Inter Workshop on Logical Frameworks and Meta-languages (LFM 2000).

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

  55. Published

    Parameter Learning in Bayesian Belief Networks

    Luo, Z. & Gammerman, A., 1992, Proceeding of IPMU'92. p. 25-28

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

  56. Published

    Parameterisation for abstract structured specifications

    Tutu, I., 2014, In: Theoretical Computer Science. 517, p. 102-142

    Research output: Contribution to journalArticlepeer-review

  57. Published

    Parameterised Multiparty Session Types

    Deniélou, P-M., Yoshida, N., Bejleri, A. & Hu, R., 11 Oct 2012, In: Logical Methods in Computer Science. 8, 4, p. 1-46 46 p., 6.

    Research output: Contribution to journalArticlepeer-review

  58. Published

    Parameterised Multiparty Session Types

    Yoshida, N., Denielou, P-M., Bejleri, A. & Hu, R., 2010, FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS. Ong, L. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 128-145 18 p.

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

  59. Published

    Parameterised Pushdown Systems with Non‐Atomic Writes

    Hague, M., 2011, FSTTCS: Foundations of Software Technology and Theoretical Computer Science.

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

  60. Published

    Parameterizations of Test Cover with Bounded Test Sizes

    Crowston, R., Gutin, G., Jones, M., Muciaccia, G. & Yeo, A., Jan 2016, In: Algorithmica. 74, 1, p. 367-384 18 p.

    Research output: Contribution to journalArticlepeer-review

  61. Published

    Parameterized Algorithms for Load Coloring Problem

    Gutin, G. & Jones, M., 2014, In: Information Processing Letters. 114

    Research output: Contribution to journalArticlepeer-review

  62. Published

    Parameterized Algorithms for Zero Extension and Metric Labelling Problems

    Reidl, F. & Wahlstrom, M., 2018, ICALP 2018 Track A. Vol. 107. p. 94:1-94:14 14 p. (Leibniz International Proceedings in Informatics ).

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

  63. Unpublished

    Parameterized Algorithms On Digraph and Constraint Satisfaction Problems

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

    Research output: ThesisDoctoral Thesis

  64. Published

    Parameterized and Approximation Algorithms for the Load Coloring Problem

    Barbero, F., Gutin, G., Jones, M. & Sheng, B., Sep 2017, In: Algorithmica. 79, 1, p. 211–229 19 p.

    Research output: Contribution to journalArticlepeer-review

  65. Published

    Parameterized and Approximation Algorithms for the Load Coloring Problem

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

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

  66. Published

    Parameterized Complexity and Kernelizability of Max Ones and Exact Ones Problems

    Kratsch, S., Marx, D. & Wahlstrom, M., 3 Feb 2016, In: ACM Transactions on Computation Theory (TOCT). 8, 1, p. 1-28 28 p.

    Research output: Contribution to journalArticlepeer-review

  67. Published

    Parameterized Complexity and Kernelizability of Max Ones and Exact Ones Problems

    Kratsch, S., Marx, D. & Wahlström, M., 2010, Mathematical Foundations of Computer Science 2010 : 35th International Symposium, MFCS 2010. Hlinený, P. & Kucera, A. (eds.). Brno, Czech Republic: Springer, Vol. 6281. p. 489-500 12 p. (Lecture Notes in Computer Science).

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

  68. Published

    Parameterized Complexity of Conflict-Free Set Cover

    Jacob, A., Majumdar, D. & Raman, V., 12 Jan 2021, In: Theory of Computing Systems. 26 p.

    Research output: Contribution to journalArticlepeer-review

  69. Published

    Parameterized Complexity of Conflict-Free Set Cover

    Jacob, A., Majumdar, D. & Raman, V., 1 Jul 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. Kucherov, G. & van Bevern, R. (eds.). Springer-Verlag, Vol. 11532 LNCS. p. 191-202 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11532 LNCS).

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

  70. Published

    Parameterized Complexity of Deletion to Scattered Graph Classes

    Jacob, A., Majumdar, D. & Raman, V., 4 Dec 2020, The 15th International Symposium on Parameterized and Exact Computation. LIPIcs, Vol. 180. p. 1-17 17 p. 18

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

  71. Forthcoming

    Parameterized Complexity of k-Chinese Postman Problem

    Gutin, G., Muciaccia, G. & Yeo, A., 2013, (Accepted/In press) In: Theoretical Computer Science.

    Research output: Contribution to journalArticlepeer-review

  72. Forthcoming

    Parameterized Complexity of MaxSat Above Average

    Crowston, R., Gutin, G., Jones, M., Raman, V. & Saurabh, S., 2013, (Accepted/In press) In: Theoretical Computer Science.

    Research output: Contribution to journalArticlepeer-review

  73. Published

    Parameterized Complexity of MaxSat Above Average

    Crowston, R., Gutin, G., Jones, M., Raman, V. & Saurabh, S., 2012, LATIN 2012: Lect. Notes Comput. Sci.. Springer-Verlag, Vol. 7256. p. 184--194

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

  74. Published

    Parameterized Complexity of Satisfying Almost All Linear Equations over F_2

    Crowston, R., Gutin, G., Jones, M. & Yeo, A., 2013, In: Theory of Computing Systems. 52, p. 719-728

    Research output: Contribution to journalArticlepeer-review

  75. Published

    Parameterized Complexity of the $k$-Arc Chinese Postman Problem

    Gutin, G., Jones, M. & Sheng, B., 6 Mar 2014, European Symposium on Algorithms 2014. Springer-Verlag, Vol. 8737. p. 530-541 (Lecture Notes in Computer Science; vol. 8737).

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

  76. Published

    Parameterized complexity of the k-arc Chinese Postman Problem

    Gutin, G., Jones, M. & Sheng, B., Mar 2017, In: Journal of Computer and System Sciences. 84, p. 107–119 13 p.

    Research output: Contribution to journalArticlepeer-review

  77. Published

    Parameterized Complexity of the Workflow Satisfiability Problem

    Cohen, D., Crampton, J., Gutin, Z. & Wahlstrom, M., 2017, Combinatorial Optimization and Graph Algorithms. Fukunaga, T. & Kawarabayashi, K. (eds.). Springer-Verlag, p. 101-120 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  78. Published

    Parameterized Complexity Results for General Factors in Bipartite Graphs

    Gutin, G., Kim, E. J., Szeider, S., Soleimanfallah, A. & Yeo, A., 2010.

    Research output: Contribution to conferencePaper

  79. Published

    Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming

    Gutin, G., Kim, E. J., Soleimanfallah, A., Szeider, S. & Yeo, A., 2012, In: Algorithmica. doi: 10.1007/s00453-011-9548-8

    Research output: Contribution to journalArticlepeer-review

  80. Published

    Parameterized Directed k-Chinese Postman Problem and k Arc-Disjoint Cycles Problem on Euler Digraphs

    Gutin, G., Jones, M., Sheng, B. & Wahlström, M., 2014, Proceedings of WG 2014.

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

  81. Published

    Parameterized eulerian strong component arc deletion problem on tournaments

    Crowston, R., Gutin, G., Jones, M. & Yeo, A., 2012, In: Information Processing Letters. 112, p. 249--251

    Research output: Contribution to journalArticlepeer-review

  82. E-pub ahead of print

    Parameterized Pre-coloring Extension and List Coloring Problems

    Gutin, G., Majumdar, D., Ordyniak, S. & Wahlström, M., 29 Mar 2021, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 35, 1, p. 575-596 22 p.

    Research output: Contribution to journalArticlepeer-review

  83. Published

    Parameterized Pre-Coloring Extension and List Coloring Problems

    Gutin, G., Majumdar, D., Ordyniak, S. & Wahlström, M., 27 Feb 2020, LIPIcs, Proceedings of STACS 2020. Vol. 154. p. 1-18 18 p. 15

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

  84. E-pub ahead of print

    Parameterized Resiliency Problems

    Crampton, J., Gutin, G., Koutecky, M. & Watrigant, R., 7 Aug 2019, (E-pub ahead of print) In: Theoretical Computer Science. p. 1-14 14 p.

    Research output: Contribution to journalArticlepeer-review

  85. E-pub ahead of print

    Parameterized Resiliency Problems via Integer Linear Programming

    Crampton, J., Gutin, G., Koutecky, M. & Watrigant, R., 14 Apr 2017, (E-pub ahead of print) CIAC 2017, 10th International Conference on Algorithms and Complexity May 26, 2017 - May 28, 2017. Springer, Vol. 10236. p. 164-176 13 p. (Lecture Notes in Computer Science; vol. 10236).

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

  86. Published

    Parameterized Study of the Test Cover Problem

    Crowston, R., Gutin, G., Jones, M., Saurabh, S. & Yeo, A., 2012, MFCS 2012: Lecture Notes in Computer Science . Vol. 7464. p. 283-295

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

  87. E-pub ahead of print

    Parameterized Traveling Salesman Problem: Beating the Average

    Gutin, G. & Patel, V., 4 Feb 2016, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 30, 1, p. 220-238 19 p.

    Research output: Contribution to journalArticlepeer-review

  88. Published

    Parameterized Two-Player Nash Equilibrium

    Hermelin, D., Huang, C-C., Kratsch, S. & Wahlström, M., 2013, In: Algorithmica. 65, 4, p. 802-816 15 p.

    Research output: Contribution to journalArticlepeer-review

  89. Published

    Parameterized Two-Player Nash Equilibrium

    Hermelin, D., Huang, C-C., Kratsch, S. & Wahlström, M., 2011, Graph-Theoretic Concepts in Computer Science : 37th International Workshop, WG 2011. Kolman, P. & Kratochvíl, J. (eds.). Teplá Monastery, Czech Republic: Springer, Vol. 6986. p. 215-226 12 p. (Lecture Notes in Computer Science).

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

  90. Published

    Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty

    Bagga, P., Paoletti, N. & Stathis, K., 5 Aug 2021, FUZZ-IEEE 2021. IEEE Xplore

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

  91. Published

    Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems

    Hague, M., Meyer, R., Muskalla, S. & Zimmermann, M., 20 Aug 2018, International Symposium of Mathematical Foundations of Computer Science. p. 1-15 15 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 117).

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

  92. Published

    Partially Distribution-Free Learning of Regular Languages from Positive Samples

    Clark, A. & Thollard, F., 2004, Proceedings of COLING. p. 85-91

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

  93. Published

    Particle Swarm Optimization for Automatically Evolving Convolutional Neural Networks for Image Classification

    Lawrence, T., Zhang, L., Lim, C. P. & Phillips, E-J., 18 Jan 2021, In: IEEE Access. 9, p. 14369-14386 18 p.

    Research output: Contribution to journalArticlepeer-review

  94. Published

    Path Conditions and Principal Matching: A New Approach to Access Control

    Crampton, J. & Sellwood, J., 2014, 19th ACM Symposium on Access Control Models and Technologies. ACM, p. 187-198

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

  95. Published

    Path-contractions, edge deletions and connectivity preservation

    Gutin, Z., Ramanujan, M. S., Reidl, F. & Wahlstrom, M., May 2019, In: Journal of Computer and System Sciences. 101, p. 1-20 20 p.

    Research output: Contribution to journalArticlepeer-review

  96. Published

    Path-Contractions, Edge Deletions and Connectivity Preservation

    Gutin, G., Ramanujan, M. S., Reidl, F. & Wahlstrom, M., 3 Sep 2017, The 25th Annual European Symposium on Algorithms (ESA 2017). p. 1-13 13 p. 47. (LIPICS; vol. 87).

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

  97. Published

    Paths and cycles containing given arcs, in close to regularmultipartite tournaments

    Yeo, A., 2007, In: Journal of Combinatorial Theory, Series B. 97, 6, p. 949-963 15 p.

    Research output: Contribution to journalArticlepeer-review

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

  99. Forthcoming

    Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints

    Karapetyan, D., Gagarin, A. & Gutin, G., 2015, (Accepted/In press) FAW 2015, Lecture Notes in Computer Science.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  100. Published

    Pattern recognition and density estimation under the general i.i.d assumption

    Nouretdinov, I., Vovk, V., Vyugin, M. & Gammerman, A., 2001, Proceedings of the Fourteenth Annual Conference on Computational Learning Theory and Fifth European Conference on Computational Learning Theory. Helmbold, D. & Williamson, B. (eds.). London: Springer, p. 337-353 17 p. (Lecture Notes in Artificial Intelligence; vol. 2111).

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

  101. Published

    Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints

    Karapetyan, D., Parkes, A., Gutin, G. & Gagarin, A., 5 Sep 2019, In: Journal of Artificial Intelligence Research. 66, p. 1-38 38 p.

    Research output: Contribution to journalArticlepeer-review

  102. Published

    Patterns for Coordination

    Andrade, L. F., Fiadeiro, J. L., Gouveia, J., Lopes, A. & Wermelinger, M., 2000, COORDINATION. Springer, Vol. 1906. p. 317-322 6 p. (Lecture Notes in Computer Science).

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

  103. Published

    PDB structural analysis service

    Alnasir, J., 1 Nov 2013

    Research output: Non-textual formSoftware

  104. Published

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

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

    Research output: Contribution to conferencePosterpeer-review

  105. In preparation

    PDB-Hadoop: Parallelising Legacy applications on the Protein Databank using Apache Hadoop

    AlNasir, J. & Shanahan, H., 2015, (In preparation) In: Bioinformatics.

    Research output: Contribution to journalArticlepeer-review

  106. Published

    Peptides generated ex vivo from serum proteins by tumour-specific exopeptidases are not useful biomarkers in ovarian cancer

    Timms, J. F., Cramer, R., Camuzeaux, S., Tiss, A., Smith, C., Burford, B., Nouretdinov, I., Devetyarov, D., Gentry-Maharaj, A., Ford, J., Luo, Z., Gammerman, A., Menon, U. & Jacobs, I., 2010, In: Clinical Chemistry. 56, p. 262-271

    Research output: Contribution to journalArticlepeer-review

  107. Published

    Perfect Forests in Graphs and Their Extensions

    Gutin, G. & Yeo, A., 18 Aug 2021, 46th International Symposium on Mathematical Foundations of Computer Science: LIPIcs (Leibniz International Proceedings in Informatics). Schloss Dagstuhl –Leibniz Center for Informatics, p. 1-13 13 p. 54

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

  108. E-pub ahead of print

    Perfect Forests in Graphs and Their Extensions

    Gutin, G. & Yeo, A., 9 May 2022, (E-pub ahead of print) In: Journal of Graph Theory.

    Research output: Contribution to journalArticlepeer-review

  109. Published

    Performance assessment of promoter predictions on ENCODE regions in the EGASP experiment

    Bajic, V. B., Brent, M. R., Brown, R. H., Frankish, A., Harrow, J., Ohler, U., Solovyev, V. V. & Tan, S. L., 2006, In: Genome Biology. 7, Suppl. 1, p. 3.1-3.13 13 p.

    Research output: Contribution to journalLiterature reviewpeer-review

  110. Published

    Personalized Tag Recommendation via Denoising Auto-Encoder

    Zhao, W., Shang, L., Yu, Y., Zhang, L., Wang, C. & Chen, J., 20 Dec 2021, In: World Wide Web - Internet and Web Information Systems. 20 p.

    Research output: Contribution to journalArticlepeer-review

  111. Published

    Pervasive Healthcare Using Self-Healing Agent Environments

    Bromuri, S., Ignaz Schumacher, M. & Stathis, K., 2011, HIGHLIGHTS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS. Perez, JB., Corchado, JM., Moreno, MN., Julian, V., Mathieu, P., CanadaBago, J., Ortega, A. & Caballero, AF. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 159-166 8 p.

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

  112. Published

    Physiological vs. Social complexity in software design

    Fiadeiro, J. L., 1 Jan 2006, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. p. 3 1 p.

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

  113. Published

    PIRASA: strategic protocol selection for e-commerce agents

    Hopkins, J., Kafali, R., Alrayes, B. & Stathis, K., Jun 2019, In: Electronic Markets. 29, 2, p. 239-252 14 p.

    Research output: Contribution to journalArticlepeer-review

  114. Forthcoming

    Pizza Sharing is PPA-hard

    Deligkas, A., Fearnley, J. & Melissourgos, T., 2022, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  115. Published

    Planar Languages and Learnability

    Clark, A., Costa Florêncio, C., Watkins, C. & Serayet, M., 2006, p. 148-160.

    Research output: Contribution to conferencePaper

  116. Published

    Plant promoter prediction with confidence estimation

    Shahmuradov, I. A., Solovyev, V. V. & Gammerman, A. J., 2005, In: Nucleic Acids Research. 33, 3, p. 1069-1076 8 p.

    Research output: Contribution to journalArticlepeer-review

  117. Published

    PlantProm: a database of plant promoter sequences

    Shahmuradov, I. A., Gammerman, A. J., Hancock, J. M., Bramley, P. M. & Solovyev, V. V., 1 Jan 2003, In: Nucleic Acids Research. 31, 1, p. 114-117 4 p.

    Research output: Contribution to journalArticlepeer-review

  118. Published

    Playing with Agent Coordination Patterns in MAGE

    Urovi, V. & Stathis, K., 2010, Lecture Notes in Computer Science. Springer, Vol. 6069. p. 86-101 16 p.

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

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

  120. Published

    Plug-in martingales for testing exchangeability on-line

    Fedorova, V., Gammerman, A., Nouretdinov, I. & Vovk, V., 2012, Proceedings of the 29th International Conference on Machine Learning (ICML-12). Langford, J. & Pineau, J. (eds.). Omnipress, p. 1639-1646 8 p.

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

  121. Published

    Policy Conflict Resolution in IoT via Planning

    Göynügür, E., Bernardini, S., de Mel, G., Talamadupula, K. & Şensoy, M., 2017, Canadian Conference on Artificial Intelligence: AI 2017: Advances in Artificial Intelligence. Springer, Vol. 10233. p. 169-175 7 p. (Lecture Notes in Computer Science; vol. 10233).

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

  122. Unpublished

    Polynomial and FPT algorithms for Chinese Postman, Packing and Acyclicity

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

    Research output: ThesisDoctoral Thesis

  123. Published

    Polynomial approximation algorithms for the TSP and QAP with a factorial domination number

    Gutin, G. & Yeo, A., 2002, In: Discrete Applied Mathematics. 119, 1-2, p. 107-116

    Research output: Contribution to journalArticlepeer-review

  124. Published

    Polynomial Identification in the Limit of Substitutable Context-free Languages

    Clark, A. & Eyraud, R., 1 Aug 2007, In: Journal of Machine Learning Research. 8, p. 1725-1745 21 p.

    Research output: Contribution to journalArticlepeer-review

  125. Published

    Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem

    Gutin, G., Kratsch, S. & Wahlström, M., 2015, In: Algorithmica. p. 1-20 20 p.

    Research output: Contribution to journalArticlepeer-review

  126. Published

    Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem

    Gutin, G., Kratsch, S. & Wahlström, M., 2014, Proceedings of IPEC 2014.

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

  127. Unpublished

    Polynomial Kernels for Graph and Hypergraph Optimisation Problems

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

    Research output: ThesisDoctoral Thesis

  128. Published

    Polynomial Time Learning of Some Multiple Context-Free Languages with a Minimally Adequate Teacher

    Yoshinaka, R. & Clark, A., 2010, Proceedings of Formal Grammar.

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

  129. Published

    Polynomially Closed Co-clones

    Lagerkvist, V. & Wahlström, M., 2014, Proceedings of ISMVL 2014: IEEE 44th International Symposium on Multiple-Valued Logic. IEEE, p. 85-90 6 p.

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

  130. Published

    Posturography Platform and Balance Control Training and Research System Based on FES and Muscle Synergies

    Galeano Galeano, D., Brunetti, F., Torricelli, D., Piazza, S. & Pons, J. L., 2013, Neurotechnology, Electronics, and Informatics. Londral, A. R., Encarnação, P. & Pons Rovira, J. L. (eds.). Springer-Verlag, Vol. 13. ( Springer Series in Computational Neuroscience; vol. 13).

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

  131. Published

    Potential based reward shaping for hierarchical reinforcement learning

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

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

  132. Published

    POTUS: Probing Off-The-Shelf USB Drivers with Symbolic Fault Injection

    Patrick-Evans, J., Cavallaro, L. & Kinder, J., Aug 2017, USENIX Workshop on Offensive Technologies (WOOT). USENIX, p. 1-10 10 p.

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

  133. Published

    Practical investment with the long-short game

    Al-Baghdadi, N., Lindsay, D., Kalnishkan, Y. & Lindsay, S., Sep 2020, Conformal and Probabilistic Prediction and Applications: COPA 2020. Proceedings of Machine Learning Research, Vol. 128. p. 209-228 20 p. (Proceedings of Machine Learning Research ).

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

  134. Published

    Practical 'what-if?' modelling for resource management of corporate voice-data networks

    Pitts, J., Luo, Z. & Cosmas, J., 1999, Proceedings of SPIE - The International Society for Optical Engineering. Vol. 3842. p. 132-141

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

  135. Published

    Preanalytic Influence of Sample Handling on SELDI-TOF Serum Protein Profiles

    Timms, J. F., Arslan-Low, E., Gentry-Maharaj, A., Luo, Z., T'Jampens, D., Podust, V. N., Ford, J., Fung, E. T., Gammerman, A., Jacobs, I. & Menon, U., 2007, In: Clinical Chemistry. 53, p. 645-656

    Research output: Contribution to journalArticlepeer-review

  136. Published

    Precise parameter synthesis for stochastic biochemical systems

    Ceska, M., Dannenberg, F., Paoletti, N., Kwiatkowska, M. & Brim, L., Sep 2017, In: Acta Informatica. 54, p. 589-623 35 p.

    Research output: Contribution to journalArticlepeer-review

  137. Published

    Precise parameter synthesis for stochastic biochemical systems

    Ceska, M., Dannenberg, F., Kwiatkowska, M. & Paoletti, N., 2014, Computational Methods in Systems Biology. p. 86-98 13 p.

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

  138. Published

    Precise static analysis of untrusted driver binaries

    Kinder, J. & Veith, H., 2010, Proc. 10th Int. Conf. Formal Methods in Computer Aided Design (FMCAD 2010). p. 43-50

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

  139. Published

    Predicting {alpha}-helix and {beta}-strand segments of globular proteins

    Solovyev, V. V. & Salamov, A. A., 1 Dec 1994, In: Bioinformatics. 10, 6, p. 661-669 9 p.

    Research output: Contribution to journalArticlepeer-review

  140. Published

    Predicting clinical outcome in patients diagnosed with synchronous ovarian and endometrial cancer

    Ramus, S. J., Elmasry, K., Luo, Z., Gammerman, A., Lu, K., Ayhan, A., Singh, N., McCluggage, G., Jacobs, I. J., Whittaker, J. C. & Gayther, S. A., 15 Sep 2008, In: Clinical Cancer Research. 14, 18, p. 5840-5848

    Research output: Contribution to journalArticlepeer-review

  141. Published

    Predicting essential genes in fungal genomes

    Seringhaus, M., Paccanaro, A., Borneman, A., Snyder, M. & Gerstein, M., 2006, In: Genome Research. 16, 9, p. 1126-35 10 p.

    Research output: Contribution to journalArticlepeer-review

  142. Published

    Predicting interactions in protein networks by completing defective cliques

    Yu, H., Paccanaro, A., Trifonov, V. & Gerstein, M., 2006, In: Bioinformatics. 22, 7, p. 823-9 7 p.

    Research output: Contribution to journalArticlepeer-review

  143. Published

    Predicting internal exons by oligonucleotide composition and discriminant analysis of spliceable open reading frames

    Solovyev, V. V., Salamov, A. A. & Lawrence, C. B., 11 Dec 1994, In: Nucleic Acids Research. 22, 24, p. 5156-63 8 p.

    Research output: Contribution to journalArticlepeer-review

  144. Published

    Predicting nearly as well as the best pruning of a decision tree through dynamic programming scheme

    Takimoto, E., Maruoka, A. & Vovk, V., 17 Jun 2001, In: Theoretical Computer Science. 261, 1, p. 179-209 31 p.

    Research output: Contribution to journalArticlepeer-review

  145. Published

    Predicting the Frequencies of Drug Side effects

    Galeano, D., Li, S., Gerstein, M. & Paccanaro, A., 11 Sep 2020, In: Nature Communications. 11, p. 1-14 14 p., 4575.

    Research output: Contribution to journalArticlepeer-review

  146. Published

    Prediction algorithms and confidence measures based on algorithmic randomness theory

    Gammerman, A. & Vovk, V., 25 Sep 2002, In: Theoretical Computer Science. 287, 1, p. 209-217 9 p.

    Research output: Contribution to journalArticlepeer-review

  147. Forthcoming

    Prediction as a Basis for Skilled Reading: Insights from Modern Language Models

    Cevoli, B., Watkins, C. & Rastle, K., 29 Apr 2022, (Accepted/In press) In: Royal Society Open Science. 9, 6

    Research output: Contribution to journalArticlepeer-review

  148. Published

    Prediction of long-range dependent time series data with performance guarantee

    Dashevskiy, M. & Luo, Z., 2009, Stochastic Algorithms: Foundations and Applications, Lecture Notes in Computer Science. Vol. 5792. p. 31-45

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

  149. Published

    Prediction of Metabolic Transformations using Cross Venn-ABERS Predictors

    Arvidsson, S., Spjuth, O., Carlsson, L. & Toccaceli, P., 31 May 2017, Proceedings of Machine Learning Research. Vol. 60. p. 118-131 14 p.

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

  150. Published

    Prediction of protein secondary structure by combining nearest-neighbor algorithms and multiple sequence alignments.

    Salamov, A. A. & Solovyev, V. V., 1995, p. 11-15. 5 p.

    Research output: Contribution to conferenceAbstract

  151. Published

    Prediction of stochastic sequences

    Vovk, V., 1989, In: Problems of Information Transmission. 25, p. 285-296 12 p.

    Research output: Contribution to journalArticlepeer-review

  152. Published

    Prediction with advice of unknown number of experts

    Chernov, A. & Vovk, V., 2010, Proceedings of the Twenty Sixth Conference on Uncertainty in Articial Intelligence. Grunwald, P. & Spirtes, P. (eds.). Arlington, VA: AUAI Press, p. 117-125 9 p.

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

  153. Published
  154. Published

    Prediction with Confidence Based on a Random Forest Classifier

    Devetyarov, D. & Nouretdinov, I., 2010, Aritificial Intelligence and Innovations: Proceedings od 6th IFIP WG 12.5 International Conference. p. 37-44 8 p.

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

  155. Published

    Prediction with Expert Advice for a Finite Number of Experts: A Practical Introduction

    Kalnishkan, Y., Jun 2022, In: Pattern Recognition. 126, 108557.

    Research output: Contribution to journalArticlepeer-review

  156. Published

    Prediction with expert advice for the Brier game

    Vovk, V. & Zhdanov, F., 2008, Proceedings of the Twenty Fifth International Conference on Machine Learning. McCallum, A. & Roweis, S. (eds.). New York: ACM Press, p. 1104-1111 8 p.

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

  157. Published

    Prediction with expert advice for the Brier game

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

    Research output: Working paper

  158. Published

    Prediction With Expert Advice For The Brier Game

    Vovk, V. & Zhdanov, F., Nov 2009, In: Journal of Machine Learning Research. 10, p. 2445-2471 27 p.

    Research output: Contribution to journalArticlepeer-review

  159. Published

    Prediction with Expert Advice for Value at Risk

    Dzhamtyrova, R. & Kalnishkan, Y., 28 Sep 2020, Proceedings of The 2020 International Joint Conference on Neural Networks (IJCNN 2020). IEEE, 8 p.

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

  160. Published

    Prediction with expert evaluators' advice

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

    Research output: Working paper

  161. Published

    Prediction with Expert Evaluators' Advice

    Chernov, A. & Vovk, V., 2009, Proceedings of the Twentieth International Conference on Algorithmic Learning Theory. Gavalda, R., Lugosi, G., Zeugmann, T. & Zilles, S. (eds.). Springer, p. 8-22 15 p. (Lecture Notes in Artificial Intelligence; vol. 5809).

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

  162. Published

    Predictions as statements and decisions

    Vovk, V., 22 Jun 2006.

    Research output: Working paper

  163. Published

    Predictions as statements and decisions

    Vovk, V., 2006, p. 44. 1 p.

    Research output: Contribution to conferenceAbstract

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

  165. Published

    Predictions with confidence in applications,

    Dashevskiy, M. & Luo, Z., 2009, Lecture Notes in Computer Science. Vol. 5632. p. 775-786

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

  166. E-pub ahead of print

    Predictive Complexity for Games with Finite Outcome Spaces

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  167. Published

    Predictive random graph ranking on the web

    King, I., Lyu, M. R. & Yang, H., 1 Jan 2006, IEEE International Conference on Neural Networks - Conference Proceedings. p. 1825-1832 8 p.

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

  168. Published

    Predictive ranking: A novel page ranking approach by estimating the web structure

    Yang, H., King, I. & Lyu, M. R., 1 Jan 2005, 14th International World Wide Web Conference, WWW2005. p. 944-945 2 p.

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

  169. Published

    Preface

    Fiadeiro, J. L., Liu, Z. & Xue, J., 1 Jan 2014, In: Lecture Notes in Computer Science. 8348, p. v 1 p.

    Research output: Contribution to journalEditorial

  170. Published

    Preface: Brazilian symposium on programming languages (SBLP 2011)

    Braga, C. & Fiadeiro, J. L., 11 Jan 2014, In: Science of Computer Programming. 93, PART A, p. 1-2 2 p.

    Research output: Contribution to journalEditorial

  171. Published

    Preface

    Fiadeiro, J., Mosses, P. & Orejas, F., 1 Jan 2005, In: Lecture Notes in Computer Science. 3423, p. v-vi 2 p.

    Research output: Contribution to journalSpecial issuepeer-review

  172. Published

    Preface to this Special Issue

    Gammerman, A. & Vovk, V., Sep 2015, In: Journal of Machine Learning Research. 16, p. 1677-1681 5 p.

    Research output: Contribution to journalEditorial

  173. E-pub ahead of print

    Preference-based interactive multi-document summarisation

    Gao, Y., Meyer, C. M. & Gurevych, I., 19 Nov 2019, (E-pub ahead of print) In: Information Retrieval Journal. 23, p. 1-31 31 p.

    Research output: Contribution to journalArticlepeer-review

  174. Published

    Preprocessing of Min Ones Problems: A Dichotomy

    Kratsch, S. & Wahlström, M., 2010, Automata, Languages and Programming : 37th International Colloquium, ICALP 2010. Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F. & Spirakis, P. G. (eds.). Bordeaux, France: Springer, Vol. 6198. p. 653-665 13 p. (Lecture Notes in Computer Science).

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

  175. Published

    Pre-processing very noisy text

    Clark, A., 2003.

    Research output: Contribution to conferencePaper

  176. Published

    Prequential level of impossibility with some applications

    Vovk, V. & V'yugin, V. V., 1994, In: Journal of the Royal Statistical Society: Series B (Statistical Methodology). 56, p. 115-123 9 p.

    Research output: Contribution to journalArticlepeer-review

  177. Published
  178. Published

    Prequential probability: game-theoretic = measure-theoretic

    Vovk, V., 2009, Proceedings of the 2009 Joint Statistical Meetings: Section on Risk Analysis, Session on Predictive and Prequential Statistics. Alexandria, VA: American Statistical Association, p. 3859-3872 14 p.

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

  179. Published

    Prequential probability: principles and properties

    Dawid, A. P. & Vovk, V., 1999, In: Bernoulli. 5, p. 125-162 38 p.

    Research output: Contribution to journalArticlepeer-review

  180. Published

    Prequential Randomness

    Vovk, V. & Shen, A., 2008, In: ALGORITHMIC LEARNING THEORY, PROCEEDINGS. 5254, p. 154-168 15 p.

    Research output: Contribution to journalArticlepeer-review

  181. Published

    Prequential randomness and probability

    Vovk, V. & Shen, A., 17 Jun 2010, In: Theoretical Computer Science. 411, 29-30, p. 2632-2646 15 p.

    Research output: Contribution to journalArticlepeer-review

  182. Published

    Prescience: Probabilistic Guidance on the Retraining Conundrum for Malware Detection

    Deo, A., Dash, S., Suarez de Tangil Rotaeche, G., Vovk, V. & Cavallaro, L., 28 Oct 2016, ACM Workshop on Artificial Intelligence and Security. Vienna, Austria: ACM, p. 71-82 12 p.

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

  183. Published

    Preservation and Reflection in Specification

    Lopes, A. & Fiadeiro, J. L., 1997, AMAST. Springer, Vol. 1349. p. 380-394 15 p. (Lecture Notes in Computer Science).

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

  184. Published

    PRESS - a probabilistic reasoning expert system shell

    Luo, Z. & Gammerman, A., 1991, European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Lecture Notes in Computer Science. Kruse, R. & Siegel, P. (eds.). Springer-Verlag, Vol. 548. p. 232-237

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

  185. Published

    Pricing European options without probability

    Vovk, V., 1999.

    Research output: Working paper

  186. E-pub ahead of print

    Principled and Pragmatic Specification of Programming Languages

    Johnstone, A. & Scott, E., 23 Sep 2019, (E-pub ahead of print) In: Lecture Notes in Computer Science. 11758, p. 165-180 16 p.

    Research output: Contribution to journalArticlepeer-review

  187. Published

    Principled software microengineering

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

    Research output: Contribution to journalArticlepeer-review

  188. E-pub ahead of print

    PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems

    Ceska, M., Pilar, P., Paoletti, N., Brim, L. & Kwiatkowska, M., 9 Apr 2016, (E-pub ahead of print) Tools and Algorithms for the Construction and Analysis of Systems. Chechik, M. & Raskin, J-F. (eds.). p. 367-384 18 p. (Lecture Notes in Computer Science; vol. 9636).

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

  189. E-pub ahead of print

    Privacy Boundary Determination of Smart Meter Data Using an Artificial Intelligence Adversary

    Zhang, X., Watkins, C., Cheong Took, C. & Kuenzel, S., 14 Jul 2021, (E-pub ahead of print) In: International Transactions on Electrical Energy Systems.

    Research output: Contribution to journalArticlepeer-review

  190. Published

    Privacy-Functionality Trade-off: A Privacy-Preserving Multi-Channel Smart Metering System

    Zhang, X., Kuenzel, S., Córdoba-Pachón, J-R. & Watkins, C., 21 Jun 2020, In: Energies. 13, 12, p. 1-30 30 p., 3221.

    Research output: Contribution to journalArticlepeer-review

  191. Published

    Proactive Detection of Computer Worms Using Model Checking

    Kinder, J., Katzenbeisser, S., Schallhart, C. & Veith, H., Oct 2010, In: IEEE Transactions on Dependable and Secure Computing. 7, 4, p. 424-438

    Research output: Contribution to journalArticlepeer-review

  192. Published

    Probabilistic methods for link-based classification at INEX 2008

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

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

  193. Published

    Probabilistic methods for structured document classification at INEX07

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4862 LNCS. p. 195-206 12 p.

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

  194. Published

    Probabilistic Reasoning in Mixed Models Using Bayesian Belief Networks and Its Application

    Luo, Z., 1992, Proceedings of 10th European Conference on Artificial Intelligence (ECAI 92),. p. 3-7

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

  195. Published

    Probability and Finance: It's Only a Game!

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

    Research output: Book/ReportBook

  196. Published

    Probability forecasting in on-line compression models

    Vovk, V., Jun 2003.

    Research output: Working paper

  197. Published

    Probability theory for the Brier game

    Vovk, V., 17 Jun 2001, In: Theoretical Computer Science. 261, 1, p. 57-79 23 p.

    Research output: Contribution to journalArticlepeer-review

  198. Published

    Probability theory for the Brier game

    Vovk, V., 1997, Proceedings of the Workshop on Algorithmic Learning Theory. Li, M. & Maruoka, A. (eds.). Springer, p. 323-338 16 p. (Lecture Notes in Computer Science; vol. 1316).

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

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

  200. Forthcoming

    Probability-Free Solutions to the Non-Stationary Newsvendor Problem

    Zhang, Y., Vovk, V. & Zhang, W., 2014, (Accepted/In press) In: Annals of Operations Research.

    Research output: Contribution to journalArticlepeer-review

  201. Published

    Problem frames: A case for coordination

    Barroca, L., Jackson, M., Laney, R., Nuseibeh, B. & Fiadeiro, J. L., 1 Jan 2004, In: Lecture Notes in Computer Science. 2949, p. 5-19 15 p.

    Research output: Contribution to journalArticlepeer-review

  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

    Proceedings – 4th International Conference on Business Process Management, BPM'06

    Dustdar, S., Fiadeiro, J. & Sheth, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4102 LNCS.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  204. Published

    Proceedings – Conference on Algebra and Coalgebra in Computer Science, CALCO'05

    Fiadeiro, J. L. (ed.), Harman, N. (ed.), Roggenbach, M. (ed.) & Rutten, J. J. M. M. (ed.), 2005, Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings. Springer, Vol. 3629.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  205. Published

    Proceedings – Fundamental Aspects of Software Engineering, FASE'08

    Fiadeiro, J. & Inverardi, P., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4961 LNCS.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  206. Published

    Proceedings - Software Engineering and Formal Methods, SEFM 2010

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

    Research output: Other contribution

  207. Published

    Proceedings – Workshop on Algebraic Development Techniques, WADT'06

    Fiadeiro, J. & Schobbens, P-Y., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4409 LNCS.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  208. Published

    Proceedings of the 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware, LADIS 2010: Foreword

    Aguilera, M. K., Shapiro, M., Vigfusson, Y. & Chockler, G., 2010, Proceedings of the 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware, LADIS 2010.

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

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

  210. Published

    Process for diagnostic reasoning integrating uncertain and temporal information

    Bigham, J. & Luo, Z., 1995, In: IEE Proceedings Control Theory & Applications. p. 575-584

    Research output: Contribution to journalArticlepeer-review

  211. Published

    Process Planning for Rotational Parts and the Generalized Travelling Salesman Problem

    Ben-Arieh, D., Gutin, G., Penn, M., Yeo, A. & Zverovich, A., 2003, In: International Journal of Production Research. 41, p. 2581-2596 16 p.

    Research output: Contribution to journalArticlepeer-review

  212. Published

    Producing Enactable Protocols in Artificial Agent Societies

    Lekeas, G., Kloukinas, C. & Stathis, K., 18 Nov 2011, Agents in Principle, Agents in Practice (PRIMA'11). p. 311-322 (Lecture Notes in Computer Science; vol. 7047/2011).

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

  213. Published

    Program specification and data refinement in type theory

    Luo, Z., 1991, Proc. of the Fourth Inter. Joint Conf. on the Theory and Practice of Software Development (TAPSOFT), LNCS 493.

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

  214. Published

    Program specification and data refinement in type theory

    Luo, Z., 1993, In: Mathematical Structures in Computer Science. 3, 3

    Research output: Contribution to journalArticlepeer-review

  215. Published

    Programmer Comprehension

    Douce, C. & Layzell, P. J., 1998, PPIG-10 Annual Workshop, 5-7 January 1998, Open University, Milton Keynes, UK. p. 1-18 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  216. Submitted

    Progress toward a comprehensive teaching approach to the FAIR data principles

    Shanahan, H., 4 May 2019, (Submitted) In: Data Intelligence. 2, 10

    Research output: Contribution to journalArticlepeer-review

  217. Published

    Progressive promoter element combinations classify conserved orthogonal plant circadian gene expression modules

    Smieszek, S. P., Yang, H., Paccanaro, A. & Devlin, P. F., 6 Oct 2014, In: Journal of the Royal Society. Interface. 11, 99, p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  218. Published

    PromH: promoters identification using orthologous genomic sequences

    Solovyev, V. V. & Shahmuradov, I. A., 1 Jul 2003, In: Nucleic Acids Research. 31, 13, p. 3540-3545 6 p.

    Research output: Contribution to journalArticlepeer-review

  219. E-pub ahead of print

    Proof Assistants for Natural Language Semantics

    Chatzikyriakidis, S. & Luo, Z., 10 Nov 2016, (E-pub ahead of print) Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings. Springer Heidelberg, Vol. 10054. p. 85-98 14 p. (Lecture Notes in Computer Science; vol. 10054).

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

  220. Published

    Proof complexity lower bounds from algebraic circuit complexity

    Forbes, M., Shpilka, A., Tzameret, I. & Wigderson, A., 19 May 2016, 31st Conference on Computational Complexity (CCC 2016). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 50. p. 1-17 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 50).

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

  221. Published

    Proof Complexity Lower Bounds from Algebraic Circuit Complexity

    Forbes, M., Shpilka, A., Tzameret, I. & Wigderson, A., 1 Oct 2017, Theory of Computation (ToC) . p. 1 78 p.

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

  222. Published

    Proofs and pedagogy; science and systems: The grammar tool box

    Johnstone, A. & Scott, E., 1 Dec 2007, In: Science of Computer Programming. 69, 1-3, p. 76-85 10 p.

    Research output: Contribution to journalArticlepeer-review

  223. Published

    Proof-theoretic conceptual modeling – the NIAM case-study

    SERNADAS, C., FIADEIRO, J., MEERSMAN, R. & SERNADAS, A., 1989, INFORMATION SYSTEM CONCEPTS : AN IN-DEPTH ANALYSIS. FALKENBERG, ED. (ed.). AMSTERDAM: ELSEVIER SCIENCE PUBL B V, p. 1-30 30 p.

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

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

  225. E-pub ahead of print

    Proper orientation number of triangle-free bridgeless outerplanar graphs

    Ai, J., Gerke, S., Gutin, G., Shi, Y. & Taoqiu, Z., 20 Apr 2020, (E-pub ahead of print) In: Journal of Graph Theory. p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

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

  227. Published

    Properly coloured Hamiltonian paths in edge-coloured complete graphs

    Bang-Jensen, J., Gutin, G. & Yeo, A., 1998, In: Discrete Applied Mathematics. 82, p. 247-250 4 p.

    Research output: Contribution to journalArticlepeer-review

  228. Published

    Properties and Prediction of Protein Secondary Structure

    Solovyev, V. & Shindyalov, I. N., 2002, Current Topics in Computational Biology. Jiang, T., Smith, T., Xu, Y. & Zhang, M. (eds.). MIT Press, p. 201–248

    Research output: Chapter in Book/Report/Conference proceedingChapter

  229. Published

    PROSOCS: a platform for programming software agents in computational logic

    Stathis, K., Kakas, A. C., Lu, W., emetriou, N. D., Endriss, U. & Bracciali, A., 1 Apr 2004, Proceedings of the Fourth International Symposium ``From Agent Th eory to Agent Implementation'' (AT2AI-4 -- EMCSR'2004 Session M). Müller, J. & Petta, P. (eds.). p. 523-528 6 p.

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

  230. Published

    Prospective gene expression analysis accurately subtypes acute leukaemia in children and establishes a commonality between hyperdiploidy and t(12;21) in acute lymphoblastic leukaemia

    van Delft, F. W., Bellotti, T., Luo, Z., Jones, L. K., Patel, N., Yiannikouris, O., Hill, A. S., Hubank, M., Kempski, H., Fletcher, D., Chaplin, T., Foot, N., Young, B. D., Hann, I. M., Gammerman, A. & Saha, V., Aug 2005, In: British Journal of Haematology. 130, 1, p. 26-35

    Research output: Contribution to journalArticlepeer-review

  231. Published

    Protecting Software through Obfuscation: Can It Keep Pace with Progress in Code Analysis?

    Schrittwieser, S., Katzenbeisser, S., Kinder, J., Merzdovnik, G. & Weippl, E., 28 Jul 2016, In: ACM Computing Surveys. 49, 1, 37 p., 4.

    Research output: Contribution to journalArticlepeer-review

  232. Published

    Protein Function Prediction for newly sequenced organisms

    Torres, M., Yang, H., Romero, A. E. & Paccanaro, A., 9 Dec 2021, In: Nature Machine Intelligence.

    Research output: Contribution to journalArticlepeer-review

  233. Published

    Protein secondary structure prediction using local alignments.

    Salamov, A. A. & Solovyev, V. V., 1997, p. 31-36. 6 p.

    Research output: Contribution to conferenceAbstract

  234. Published

    PROTOSS: A run time tool for detecting PRivacy viOlaTions in Online Social networkS (Short Paper)

    Kafali, O., Gunay, A. & Yolum, P., 2012, IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining.

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

  235. Published

    Prototyping symbolic execution engines for interpreted languages

    Bucur, S., Kinder, J. & Candea, G., Feb 2014, ASPLOS '14: Proceedings of the 19th international conference on Architectural support for programming languages and operating systems. ACM, p. 239-254 16 p.

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

  236. Forthcoming

    Provably Pointless Propagator Calls

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

    Research output: Contribution to conferencePaperpeer-review

  237. Published

    Proving atomicity: An assertional approach

    Chockler, G., Lynch, N., Mitra, S. & Tauber, J., 2005, Proceedings of the 19th International Conference on Distributed Computing (DISC '05). p. 152-168 17 p.

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

  238. Published

    Proving memory safety of floating-point computations by combining static and dynamic program analysis

    Godefroid, P. & Kinder, J., 2010, Proc. 19th Int. Symp. Software Testing and Analysis (ISSTA 2010). ACM, p. 1-12

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

  239. Published

    Proving Random Formulas in Propositional Logic

    Tzameret, I. & Muller, S., 2013, Logic Across the University: Foundations and Application: Proceedings of the Tsinghua Logic Conference. van Benthem, J. & Liu, F. (eds.). London: College Publications London, Vol. 47. p. 201-208 8 p. (Studies in Logic).

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

  240. Published

    Proving the concept of a data broker as an emergent alternative to supra-enterprise EPR systems

    Rigby, M., Budgen, D., Brereton, P., Bennett, K., Layzell, P., Keane, J., Russell, M., Kotsiopoulos, I., Turner, M. & Zhu, F., 2005, In: MEDICAL INFORMATICS AND THE INTERNET IN MEDICINE. 30, 2, p. 99-106 8 p.

    Research output: Contribution to journalArticlepeer-review

  241. Published

    Proximity and Remoteness in Directed and Undirected Graphs

    Ai, J., Gerke, S., Gutin, G. & Mafunda, S., Mar 2021, In: Discrete Mathematics. 344, 3, 112252.

    Research output: Contribution to journalArticlepeer-review

  242. Published

    Proximity-1 simulating the CCSDS Proximity-1 protocol for ExoMars

    Blommestijn, R., Lange, J., Taylor, C. & Winton, A., 2009, Proceedings of DASIA 2009 Conference on DAta Systems In Aerospace. (European Space Agency, (Special Publication) ESA SP; vol. 669 SP).

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

  243. Published

    Pure Type Systems with Judgemental Equality

    Adams, R., 2006, In: Journal of Functional Programming. 16, 2, p. 219-246 28 p.

    Research output: Contribution to journalArticlepeer-review

  244. Published

    Purely functional GLL parsing

    van Binsbergen, L. T., Scott, E. & Johnstone, A., Jun 2020, In: Journal of Computer Languages. 58, 17 p., 100945.

    Research output: Contribution to journalArticlepeer-review

  245. Published

    Purely pathwise probability-free Ito integral

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

    Research output: Contribution to journalArticlepeer-review

  246. Published

    Push notifications for the Choose-Survey project

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

    Research output: Non-textual formSoftware

  247. Published

    Pushing Vertices in Digraphs Without Long Induced Cycles

    Huang, J., MacGillivray, G. & Yeo, A., 2002, In: Discrete Applied Mathematics. 121, 1-3, p. 181-192 12 p.

    Research output: Contribution to journalArticlepeer-review

  248. Published

    Q-learning

    Watkins, C. J. C. H. & Dayan, P., 1992, In: Machine Learning. 8, 3, p. 279-292 14 p.

    Research output: Contribution to journalArticlepeer-review

  249. Published

    QoS based Web Service Selection and Multi-Criteria Decision Making Methods

    Bagga, P., Joshi, A. & Hans, R., 15 Dec 2017, In: International Journal of Interactive Multimedia and Artificial Intelligence. 5, 4, p. 113-121 9 p.

    Research output: Contribution to journalArticlepeer-review

  250. Published

    Quadri-Histogram Equalization for infrared images using cut-off limits based on the size of each histogram

    Medina Caballero, R. D., Brizuela Pineda, I. A., Mello Román, J. C., Vázquez Noguera, J. L. & Caceres Silva, J., Jun 2019, In: Infrared Physics & Technology. 99, p. 257-264 8 p.

    Research output: Contribution to journalArticlepeer-review

  251. E-pub ahead of print

    Quadri-histogram equalization using cutoff limits based on the size of each histogram with preservation of average brightness

    Brizuela Pineda, I. A., Medina Caballero, R. D., Cáceres Silva, J. J., Mello Román, J. C. & Vázquez Noguera, J. L., 28 Jan 2019, (E-pub ahead of print) In: Signal, Image and Video Processing. p. 1-9 9 p.

    Research output: Contribution to journalArticlepeer-review

  252. Published

    Qualified predictions for large data sets in the case of pattern recognition

    Papadopoulos, H., Vovk, V. & Gammerman, A., 2002, Proceedings of the International Conference on Machine Learning and Applications. Wani, M., Arabnia, H., Cios, K., Hafeez, K. & Kendall, G. (eds.). CSREA Press, p. 159-163 5 p.

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

  253. Published

    Qualified Predictions for Microarray and Proteomics Pattern Diagnostics with Confidence Machines

    Bellotti, T., Luo, Z., Gammerman, A., Van Delft, F. & Saha, V., 2005, In: International Journal of Neural Systems. 15, 4, p. 247-258

    Research output: Contribution to journalArticlepeer-review

  254. Published

    Qualified predictions for proteomics pattern diagnostics with confidence machines

    Luo, Z., Bellotti, T. & Gammerman, A., 2004, Lecture Notes in Computer Science . Vol. 3177. p. 46-51

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

  255. Published

    Qualified probabilistic predictions using graphical models

    Luo, Z. & Gammerman, A., 2005, Lecture Notes in Artificial Intelligence. Vol. 3571. p. 111-122

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

  256. Published

    Quality of Service (QoS) Aware Workflow Scheduling (WFS) in Cloud Computing: A Systematic Review

    Kaur, S., Bagga, P., Hans, R. & Kaur, H., Apr 2019, In: Arabian Journal for Science and Engineering. 44, 4, p. 2867-2897 31 p.

    Research output: Contribution to journalArticlepeer-review

  257. Published

    Quantifying environmental adaptation of metabolic pathways in metagenomics

    Gianoulis, T. A., Raes, J., Patel, P. V., Bjornson, R., Korbel, J. O., Letunic, I., Yamada, T., Paccanaro, A., Jensen, L. J., Snyder, M., Bork, P. & Gerstein, M. B., 3 Feb 2009, In: Proceedings of the National Academy of Sciences of the United States of America. 106, 5, p. 1374–1379 6 p.

    Research output: Contribution to journalArticlepeer-review

  258. Published

    Quantifying ultrametricity

    Murtagh, F. & Antoch, J. (ed.), 2004, Compstat 2004: Proceedings in Computational Statistics. Berlin: Springer-Verlag, p. 1561-1568

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  260. Published

    Quasi-hamiltonicity: a series of necessary conditions for a digraph to be hamiltonian

    Gutin, G. & Yeo, A., 2000, In: Journal of Combinatorial Theory, Series B. 78, 2, p. 232-242

    Research output: Contribution to journalArticlepeer-review

  261. Forthcoming

    Quasipolynomial multicut-mimicking networks and kernels for multiway cut problems

    Wahlström, M., 16 Nov 2021, (Accepted/In press) In: ACM Transactions on Algorithms (TALG).

    Research output: Contribution to journalArticlepeer-review

  262. Published

    Quenched charmonium spectrum on anisotropic lattices

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K. I., Okamoto, M., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & CP-PACS collaboration, Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 325-328 4 p.

    Research output: Contribution to journalArticlepeer-review

  263. Published

    Quenched heavy-light decay constants

    BAXTER, R. M., BOOTH, S. P., BOWLER, K. C., COLLINS, S., HENTY, D. S., KENWAY, R. D., RICHARDS, D. G., SHANAHAN, H. P., SIMONE, J. N., SIMPSON, A. D., WILKES, B. E., EWING, A. K., LELLOUCH, L., SACHRAJDA, C. T. & WITTIG, H., 1 Feb 1994, In: Physical Review D . 49, 3, p. 1594-1605 12 p.

    Research output: Contribution to journalArticlepeer-review

  264. Published

    Quenched light hadron spectrum

    Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 10 Jan 2000, In: Physical Review Letters. 84, 2, p. 238-241 4 p.

    Research output: Contribution to journalArticlepeer-review

  265. Published

    Quenched light hadron spectrum with the Wilson quark action: Final results from CP-PACS

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

    Research output: Contribution to journalArticlepeer-review

  266. Published

    Quenched QCD with domain-wall fermions on coarse lattices

    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., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & 1 others, CP-PACS Collaboration, Apr 2000, In: Nuclear Physics B - Proceedings Supplements. 83-4, p. 591-593 3 p.

    Research output: Contribution to journalArticlepeer-review

  267. Published

    Quenched QCD with O(a) improvement: The spectrum of light hadrons

    Bowler, K. C., Boyle, P., Garden, J., Kenway, R. D., Richards, D. G., Rowland, P. A., Ryan, S. M., Simma, H., Michael, C., Shanahan, H. P. & Wittig, H., 1 Sep 2000, In: Physical Review D . 6205, 5, p. - 19 p.

    Research output: Contribution to journalArticlepeer-review

  268. Published

    R package PredictiveRegression

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

    Research output: Non-textual formSoftware

  269. Published

    Randomized contractions meet lean decompositions

    Cygan, M., Komosa, P., Lokshtanov, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S. & Wahlström, M., Dec 2020, In: ACM Transactions on Algorithms (TALG). 17, 1, 30 p., 6.

    Research output: Contribution to journalArticlepeer-review

  270. Published

    Randomized Rounding for Routing and Covering Problems: Experiments and Improvements

    Doerr, B., Künnemann, M. & Wahlström, M., 2010, Experimental Algorithms : 9th International Symposium, SEA 2010. Festa, P. (ed.). Naples, Italy: Springer, Vol. 6049. p. 190-201 12 p. (Lecture Notes in Computer Science).

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

  271. Published

    Randomized Rounding in the Presence of a Cardinality Constraint

    Doerr, B. & Wahlström, M., 2009, 2009 Proceedings of the Eleventh Workshop on Algorithm Engineering and Experiments (ALENEX). Finocchi, I. & Hershberger, J. (eds.). New York, USA: SIAM, p. 162-174 13 p.

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

  272. Published

    Randomized Rounding in the Presence of a Cardinality Constraint

    Doerr, B. & Wahlström, M., 1 Sep 2014, In: ACM Journal of Experimental Algorithmics. 19, 2.

    Research output: Contribution to journalArticlepeer-review

  273. Published

    Ranking Bracelets in Polynomial Time

    Adamson, D., Gusev, V., Potapov, I. & Deligkas, A., 30 Jun 2021, Symposium on Combinatorial Pattern Matching: CPM 2021. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 191. p. 1-17 17 p.

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

  274. Published

    Ranking the vertices of a complete multipartite paired comparison digraph.

    Gutin, G. & Yeo, A., 1996, In: Discrete Applied Mathematics. 69, 1-2, p. 75-82

    Research output: Contribution to journalArticlepeer-review

  275. Published

    Ransomclave: Ransomware Key Management using SGX

    Bhudia, A., O'Keeffe, D., Sgandurra, D. & Hurley-Smith, D., 17 Aug 2021, 10th International Workshop on Cyber Crime (IWCC 2021): In proceedings of the International Conference on Availability, Reliability and Security (ARES 2021). p. 1-10 10 p. 58

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

  276. Published

    Rapid Creation of an Online Discussion Space (r/nipah) During a Serious Disease Outbreak: Observational Study

    Cole, J., Ezziane, S. & Watkins, C., 13 Nov 2019, In: Journal of medical internet research: public health and surveillance. 5, 4, p. 1-8 8 p., e13753.

    Research output: Contribution to journalArticlepeer-review

  277. Published

    Rationality of division orderings

    Cohen, D. & Scott, E., 1992, In: Information Processing Letters. p. 307-311

    Research output: Contribution to journalArticlepeer-review

  278. Published

    RBSLA based implementation for architectural management laws

    Alghamdi, A., Fiadeiro, J. L. & Paschke, A., 1 Jan 2008, Innovations'07: 4th International Conference on Innovations in Information Technology, IIT. p. 556-560 5 p.

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

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

  280. Published

    rdp - an iterator-based recursive descent parser generator with tree promotion operators

    Johnstone, A. & Scott, E., 1 Sep 1998, In: ACM SIGPLAN Notices. 33, 9, p. 87-94 8 p.

    Research output: Contribution to journalArticlepeer-review

  281. E-pub ahead of print

    Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent

    Rowe, R. & Brotherston, J., 30 Aug 2017, (E-pub ahead of print) TABLEAUX 2017: Automated Reasoning with Analytic Tableaux and Related Methods. Springer, p. 295-310 16 p. (Lecture Notes in Computer Science; vol. 10501).

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

  282. Published

    Realtime Tracking of Passengers on the London Underground Transport by Matching Smartphone Accelerometer Footprints

    Nguyen, K. A., Wang, Y., Li, G., Luo, Z. & Watkins, C., 26 Sep 2019, In: Sensors. 19, 19, p. 1-26 26 p., 4184.

    Research output: Contribution to journalArticlepeer-review

  283. Published

    Reasoning About Exceptions to Contracts

    Kafali, O., Toni, F. & Torroni, P., 2011, Computational Logic in Multi-Agent Systems (CLIMA XII). Vol. 6814. p. 225-242 18 p. (LNCS).

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

  284. Published

    Reasoning about plan robustness versus plan cost for partially informed agents

    Keren, S., Bernardini, S., Kwapong, K. & Parkes, D. C., Sep 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence, p. 550-559 10 p. 64

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

  285. Published

    Reasoning in time with uncertain information

    Ramparany, F., Lorquet, V., Bouyssounous, B., Bigham, J. & Luo, Z., 1994, IFAC/IFIP/IMACS Symposium on Artificial Intelligence in Real Time Control.

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

  286. Published

    Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers

    Fiadeiro, J. L. (ed.), 1999, Lecture Notes in Computer Science. Springer, Vol. 1589.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  287. Published

    Recognising lifestyle activities of diabetic patients with a smartphone

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

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

  288. Published

    Recognition is not parsing — SPPF-style parsing from cubic recognisers

    Scott, E. & Johnstone, A., 1 Jan 2010, In: Science of Computer Programming. 75, 1-2, p. 55-70 16 p.

    Research output: Contribution to journalArticlepeer-review

  289. Published

    Recognition of 3' -processing sites of human mRNA precursors

    Salamov, A. A. & Solovyev, V. V., 1 Feb 1997, In: Bioinformatics. 13, 1, p. 23-28 6 p.

    Research output: Contribution to journalArticlepeer-review

  290. Published

    Recognition of hypoxia with a preset confidence level based on EEG analysis

    Zhang, J., Li, G., Meng, H., Li, J. & Luo, Z., Jun 2008, IEEE International Joint Conference on Neural Networks, 2008. p. 3005-3008

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

  291. E-pub ahead of print

    RECON: A Robust Multi-agent Environment for Simulating COncurrent Negotiations

    Alrayes, B., Kafali, R. & Stathis, K., 25 Mar 2016, (E-pub ahead of print) Recent Advances in Agent-based Complex Automated Negotiation. Fukuta, N., Ito, T., Zhang, M., Fujita, K. & Robu, V. (eds.). Springer, p. 157-174 18 p. (Studies in Computational Intelligence; vol. 638).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  292. Published

    RECON: a Robust multi-agent Environment for simulating COncurrent Negotiations

    Alrayes, B., Kafali, O. & Stathis, K., 2014, In Seventh International Workshop on Agent-based Complex Automated Negotiations (ACAN), AAMAS: best student paper award.

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

  293. Published

    Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast

    Chockler, G., Demirbas, M., Gilbert, S., Lynch, N. A., Newport, C. C. & Nolte, T., 2005, Proceedings of the 4th International Workshop on Assurance in Distributed Systems and Networks (ADSN '05): ICDCS Workshops. p. 42-48 7 p.

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

  294. Published

    Reconfigurable and Software-Defined Networks of Connectors and Components

    Bruni, R., Montanari, U. & Sammartino, M., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8998, p. 73-106 34 p.

    Research output: Contribution to journalArticlepeer-review

  295. Published

    Reconfigurable distributed storage for dynamic networks

    Chockler, G., Gilbert, S., Gramoli, V., Musial, P. M. & Shvartsman, A. A., Jan 2009, In: Journal of Parallel and Distributed Computing. 69, 1, p. 100-116 17 p.

    Research output: Contribution to journalArticlepeer-review

  296. Published

    Reconfigurable Distributed Storage for Dynamic Networks

    Chockler, G., Gilbert, S., Gramoli, V., Musial, P. & Shvartsman, A., 2005, Proceedings of the 9th International Conference on Principles of Distributed Systems (OPODIS '05). Springer-Verlag, p. 351-365 15 p. (Lecture Notes in Computer Science; vol. 3974).

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

  297. Published

    Reconfigurable state machine replication from non-reconfigurable building blocks

    Bortnikov, V., Chockler, G., Roytman, A., Shachor, S., Shnayderman, I. & Perelman, D., 2012, Proceedings of the 31st Annual ACM Symposium on Principles of Distributed Computing. ACM, p. 93-94 2 p.

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

  298. E-pub ahead of print

    Recurrent Auto-Encoder Model for Large-Scale Industrial Sensor Signal Analysis

    Wong, T. & Luo, Z., 27 Jul 2018, (E-pub ahead of print) International Conference on Engineering Applications of Neural Networks: EANN 2018. Pimenidis, E. & Jayne, C. (eds.). Springer, p. 203-216 14 p. (Communications in Computer and Information Science; vol. 893).

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

  299. Published

    Recursion Engineering for Reduction Incorporated Parsers

    Johnstone, A. & Scott, E., 12 Dec 2005, In: Electronic Notes in Theoretical Computer Science. 141, 4, p. 143-160 18 p.

    Research output: Contribution to journalArticlepeer-review

  300. Published

    Reducing non-determinism in right nulled GLR parsers

    Scott, E. & Johnstone, A., May 2004, In: Acta Informatica. 40, 6-7, p. 459-489 31 p.

    Research output: Contribution to journalArticlepeer-review

  301. Published
  302. Published

    Refining Process Descriptions from Execution Data in Hybrid Planning Domain Models

    Linday, A., Franco Aixela, S., Reya, R. & McCluskey, L., 1 Jun 2020, Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020. AAAI Press, Vol. 30 (2020). p. 469-477 9 p.

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

  303. Published

    Refuting Random 3CNF Formulas in Propositional Logic

    Muller, S. & Tzameret, I., Oct 2013, p. 201. 208 p.

    Research output: Contribution to conferencePaper

  304. Published

    Regional consecutive leader election in mobile ad-hoc networks

    Chung, H. C., Robinson, P. & Welch, J. L., 2010, Proceedings of the DIALM-POMC Joint Workshop on Foundations of Mobile Computing, Cambridge, Massachusetts, USA, September 16, 2010. p. 81-90 10 p.

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

  305. Published

    Regression conformal prediction with nearest neighbours

    Papadopoulos, H., Vovk, V. & Gammerman, A., Apr 2011, In: Journal of Artificial Intelligence Research. 40, p. 815-840 26 p.

    Research output: Contribution to journalArticlepeer-review

  306. Published

    Regular Strategies in Pushdown Reachability Games

    Hague, M. & Carayol, A., 2014, 8th International Workshop on Reachability Problems 2014. 13 p.

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

  307. Published

    Regulatory processes underscoring the light control of shoot meristem activity and leaf initiation

    Lopez Juez, E., Dillon, E., Magyar, Z., Khan, S., Hazeldine, S., Murray, J. A., Beemster, G. T., Bogre, L. & Shanahan, H., Jun 2009, p. S205-S205. 1 p.

    Research output: Contribution to conferenceAbstractpeer-review

  308. Published
  309. Published

    Reinforcement Learning

    Watkins, C. & Dayan, P., 1 Dec 2002, Encyclopaedia of Cognitive Science. Nadel, L. (ed.). Wiley-Blackwell

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

  310. Published

    Rejoinder - Hedging predictions in machine learning

    Gammerman, A. & Vovk, V., Mar 2007, In: The Computer Journal. 50, 2, p. 173-177 5 p.

    Research output: Contribution to journalEditorialpeer-review

  311. Published

    Relationship-based Access Control for an Open-source Medical Records System

    Rizvi, S. Z. R., Fong, P. W. L., Crampton, J. & Sellwood, J., 1 Jun 2015, Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT. ACM, Vol. 2015-June. p. 113-124 12 p.

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

  312. Published

    Relationships between total domination, order, size and maximum degree of graphs

    Yeo, A., 2007, In: Journal of Graph Theory. 55, 4, p. 325-337 13 p.

    Research output: Contribution to journalArticlepeer-review

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

  314. Published

    Reliable Classification of Acute Leukaemia from Gene Expression Data using Confidence Machines

    Bellotti, T., Luo, Z. & Gammerman, A., 2006, IEEE International Conference on Granular Computing. IEEE, p. 148-153

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

  315. Published

    Reliable complex event detection for pervasive computing

    O'Keeffe, D. & Bacon, J., 2010, Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, DEBS 2010, Cambridge, United Kingdom, July 12-15, 2010. p. 73-84 12 p.

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

  316. Unpublished
  317. Published

    Reliable diagnosis of acute abdominal pain with conformal prediction

    Papadopoulos, H., Gammerman, A. & Vovk, V., 2009, In: International Journal of Engineering Intelligent Systems for Electrical Engineering and Communications. 17, 2-3, p. 127-137 11 p.

    Research output: Contribution to journalArticlepeer-review

  318. Published

    Reliable distributed storage

    Chockler, G., Guerraoui, R., Keidar, I. & Vukolić, M., 1 Jan 2009, In: IEEE Computer. 42, 4, p. 60-67 8 p.

    Research output: Contribution to journalArticlepeer-review

  319. Published

    Reliable Indoor Location Prediction Using Conformal Measurement

    Nguyen, K. & Luo, Z., 2014, In: Annals of Mathematics and Artificial Intelligence. 10472, 23 p.

    Research output: Contribution to journalArticlepeer-review

  320. Published

    Reliable Network Traffic Classification and Demand Prediction

    Dashevskiy, M. & Luo, Z., 2014, Predictions for Reliable Machine Learning: Theory, Adaptations and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). ELSEVIER ACADEMIC PRESS INC, p. 231-259 29 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  321. Published

    Reliable probabilistic classification and its application to Internet traffic

    Dashevskiy, M. & Luo, Z., 2008, Lecture Notes in Computer Science. Vol. 5226. p. 380-388

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

  322. Published

    Reliable Probabilistic Classification of Internet Traffic

    Dashevskiy, M. & Luo, Z., 2009, In: International Journal of Information Acquisition. 6, 2, p. 133-146 14 p.

    Research output: Contribution to journalArticlepeer-review

  323. Published

    Reliable Probability Estimates Based on Support Vector Machines for Large Multiclass Datasets

    Lambrou, A., Papadopoulos, H., Nouretdinov, I. & Gammerman, A., Sep 2012, Artificial Intelligence Applications and Innovations - AIAI 2012 International Workshops: AIAB, AIeIA, CISE, COPA, IIVC, ISQL, MHDW, and WADTMB, Proceedings.. Halkidiki, Greece, Vol. II. p. 182-191 10 p.

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

  324. Published

    Remarks on hamiltonian digraphs

    Gutin, G. & Yeo, A., 2001, In: Australasian Journal of Combinatorics. 23, p. 115-118

    Research output: Contribution to journalArticlepeer-review

  325. Published

    Removing connected obstacles in the plane is FPT

    Eiben, E. & Lokshtanov, D., 8 Jun 2020, 36th International Symposium on Computational Geometry, SoCG 2020. Cabello, S. & Chen, D. Z. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-14 14 p. LIPIcs-SoCG-2020-39. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 164).

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

  326. Published

    Representative sets and irrelevant vertices: New tools for kernelization

    Kratsch, S. & Wahlström, M., Jun 2020, In: Journal of the ACM. p. 1-50 50 p., 16.

    Research output: Contribution to journalArticlepeer-review

  327. Published

    Representative sets and irrelevant vertices: New tools for kernelization

    Kratsch, S. & Wahlström, M., 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science (FOCS). IEEE, p. 450-459 10 p.

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

  328. E-pub ahead of print

    Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search

    Kaznatcheev, A., Cohen, D. & Jeavons, P., 23 Sep 2019, (E-pub ahead of print) p. 300-316. 17 p.

    Research output: Contribution to conferencePaperpeer-review

  329. Published

    Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search

    Kaznatcheev, A., Cohen, D. & Jeavons, P., 29 Nov 2020, In: Journal of Artificial Intelligence Research. 69, p. 1077-1102 26 p., 12156.

    Research output: Contribution to journalArticlepeer-review

  330. Published

    Requirements for the Underlying Model of a CASE Environment

    Layzell, P. J., 1988, Proc. CASE'88. p. 30.19-30.22

    Research output: Chapter in Book/Report/Conference proceedingChapter

  331. Published

    Residual Nominal Automata

    Moerman, J. & Sammartino, M., 26 Aug 2020, LIPCs. Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 2017. p. 44:1-44:21 21 p. 44

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

  332. Forthcoming

    Resiliency Policies in Access Control Revisited

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  333. Published

    Resolution over Linear Equations and Multilinear Proofs

    Raz, R. & Tzameret, I., 2008, In: Annals of Pure and Applied Logic. 155, 3, p. 194-224 31 p.

    Research output: Contribution to journalArticlepeer-review

  334. Published

    Resolution with Counting: Dag-Like Lower Bounds and Different Moduli

    Part, F. & Tzameret, I., 8 Jan 2021, In: Computational Complexity. 30, 1, 2.

    Research output: Contribution to journalArticlepeer-review

  335. Published

    Resolution with Counting: Dag-Like Lower Bounds and Different Moduli

    Part, F. & Tzameret, I., 13 Jan 2020, 11th Innovations in Theoretical Computer Science Conference (ITCS) 2020, January, 2020, Seattle, WA, USA. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 1-37 37 p.

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

  336. Forthcoming

    Resolution with Counting: Dag and Tree-like Lower Bounds over Different Moduli

    Part, F. & Tzameret, I., 18 May 2018, (Accepted/In press).

    Research output: Contribution to conferenceAbstract

  337. Published

    Rethinking statistical learning theory: learning using statistical invariants

    Vapnik, V. & Izmailov, R., Mar 2019, In: Machine Learning. 108, 3, p. 381-423 43 p.

    Research output: Contribution to journalArticlepeer-review

  338. Forthcoming

    Rethinking the A in FAIR Data: Issues of Data Access and Accessibility in Research

    Shanahan, H. & Bezuidenhout, L., 7 Jun 2022, (Accepted/In press) In: Frontiers in Research Metrics and Analytics.

    Research output: Contribution to journalArticlepeer-review

  339. Published

    Retrain or not retrain: Conformal test martingales for change-point detection

    Vovk, V., Petej, I., Nouretdinov, I., Ahlberg, E., Carlsson, L. & Gammerman, A., 2021, Proceedings of Machine Learning Research. Carlsson, L., Luo, Z., Cherubin, G. & Nguyen, K. (eds.). Vol. 152. p. 191-210 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  340. Published

    Reverse compilation for digital signal processors: a working example

    Johnstone, A., Scott, E. & Womack, T., 7 Jan 2000, p. 1-10. 10 p.

    Research output: Contribution to conferencePaper

  341. Published

    Reverse compilation of digital signal processor assembler source to ANSI-C

    Johnstone, A., Scott, E. & Womack, T., Sep 1999, p. 1-10. 10 p.

    Research output: Contribution to conferencePaper

  342. Published

    Reverse engineering concurrent programs using formal modelling and analysis

    Younger, E., Luo, Z., Bennett, K. & Bull, T., 1996, Proc of IEEE Inter. Conf. on Software Maintenance.

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

  343. Published

    Revisiting causality, coalgebraically

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

    Research output: Contribution to journalArticlepeer-review

  344. Published

    Revisiting the Institutional Approach to Herbrand's Theorem

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

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

  345. Published

    Reward Learning for Efficient Reinforcement Learning in Extractive Document Summarisation

    Gao, Y., Meyer, C. M., Mesgar, M. & Gurevych, I., Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19). International Joint Conferences on Artificial Intelligence, p. 2350-2356 7 p.

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

  346. Published

    Ridge Regression Confidence Machine

    Nouretdinov, I., Melluish, T. & Vovk, V., 2001, Proceedings of the Eighteenth International Conference on Machine Learning. p. 385-392

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

  347. Published

    Ridge Regression learning algorithm in dual variables

    Saunders, C., Gammerman, A. & Vovk, V., 1998, Proceedings of the Fifteenth International Conference on Machine Learning. San Francisco, CA: Morgan Kaufmann, p. 515-521 7 p.

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

  348. Published

    Right nulled GLR parsers

    Scott, E. & Johnstone, A., 1 Jul 2006, In: ACM Transactions on Programming Languages and Systems. 28, 4, p. 577-618 42 p.

    Research output: Contribution to journalArticlepeer-review

  349. Unpublished

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

    Nguyen, K., 2011, (Unpublished)

    Research output: ThesisMaster's Thesis

  350. Published

    Robust Leader Election in a Fast-Changing World

    Augustine, J., Kulkarni, T., Nakhe, P. & Robinson, P., 2013, Proceedings Ninth International Workshop on Foundations of Mobile Computing, FOMC 2013, Jerusalem, Israel, October 17-18, 2013.. p. 38-49 12 p.

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

  351. Published

    Robust synthesis for real-time systems

    Larsen, K. G., Legay, A., Traonouez, L-M. & Wąsowski, A., 2013, In: Theoretical Computer Science.

    Research output: Contribution to journalArticlepeer-review

  352. Published

    Robustness Against Unknown Noise for Raw Data Fusing Neural Networks

    Bijelic, M., Muench, C., Ritter, W., Kalnishkan, Y. & Dietmayer, K., Dec 2018, 21st IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC 2018). IEEE Xplore, p. 1-8 8 p.

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

  353. Published

    Role of miR-2392 in driving SARS-CoV-2 infection

    UNC COVID-19 Pathobiology Consortium, 19 Oct 2021, In: Cell Reports. 37, 3, 109839.

    Research output: Contribution to journalArticlepeer-review

  354. Published

    Role-based Architectural Modelling of Socio-Technical Systems

    El-Hassan, O. & Fiadeiro, J. L., 27 Jun 2007, In: Electronic Notes in Theoretical Computer Science. 181, 1, p. 5-17 13 p.

    Research output: Contribution to journalArticlepeer-review

  355. Published

    ROTOR: A Tool for Renaming Values in OCaml's Module System

    Rowe, R., Férée, H., Thompson, S. & Owens, S., 28 May 2019, IWOR '19 Proceedings of the 3rd International Workshop on Refactoring. IEEE Press, p. 27-30 4 p.

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

  356. Unpublished

    ROTOR: First Steps Towards a Refactoring Tool for OCaml

    Rowe, R. & Thompson, S., 8 Sep 2017, (Unpublished) p. 1-3. 3 p.

    Research output: Contribution to conferenceAbstract

  357. Published

    Rough paths in idealized financial markets

    Vovk, V., 2011, In: Lithuanian Mathematical Journal. 51, 2, p. 274 - 285 12 p.

    Research output: Contribution to journalArticlepeer-review

  358. Published

    Rough paths in idealized financial markets

    Vovk, V., 3 May 2010.

    Research output: Working paper

  359. Published

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

    Gutin, G., Wahlström, M. & Zehavi, M., Jan 2021, In: ACM Transactions on Algorithms (TALG). 17, 1, p. 1-64 64 p., 10.

    Research output: Contribution to journalArticlepeer-review

  360. Published

    RUBRIC- A New Approach to Information Systems Development

    Layzell, P. J., Venken, R. & Loucopoulos, P., 1987, International Conference on Computer-Based Tools for Automating Systems Development, Leicester, April 1987.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  361. Published

    RUBRIC- A Rule-Based Approach to the Development of Information Systems

    Assche, F. V., Layzell, P. J. & Anderson, M., 1988, 1st European Conference on Information Technology for Organisational Systems, Athens, May 1988.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  362. Published

    RUBRIC- A Rule-Based Representation of Information System Constructs

    Layzell, P. J., 1986, Fringe'86, Expert Systems Conference, December 1986.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  363. Published

    RUBRIC: A Rule-Based Approach to the Development of Reliable Information Systems

    Loucopoulos, P. & Layzell, P. J., 1987, System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches, Vol.2. Tzafestas, S. (ed.). Reidel Publishing, p. 253-263 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  364. Published

    Rule Value Reinforcement Learning for Cognitive Agents

    Child, C. & Stathis, K., 1 May 2006, Proc. of 5th International Conference on Autonomous Agents an d Multi-agent Systems (AAMAS06). p. 792-794 3 p.

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

  365. Published

    Rule-Based Specifications for Information Systems

    Assche, F. V., Layzell, P. J. & Anderson, M., 1987, Software Engineering Environments. Brereton, P. (ed.). Ellis Horwood, p. 189-203 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  366. Published

    Rules To Govern Change in JSP-Based Systems

    Davies, C. G. & Layzell, P. J., 1988, Proc. 4th IEEE International Conference on Software Maintenance, Phoenix, Arizona, USA, October 1988. p. 34-39 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  367. Published

    Rural Postman Parameterized by the Number of Components of Required Edges

    Gutin, G., Wahlström, M. & Yeo, A., Feb 2017, In: Journal of Computer and System Sciences. 83, 1, p. 121-131 11 p.

    Research output: Contribution to journalArticlepeer-review

  368. Published

    Safe Portfolio Optimization

    Watkins, C. & Macrae, R., 1999, Proc. IX Int. Symp. of Applied Stochastic Models and Data Analysis: Quantitative Methods in Business and Industry Society.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  369. Published

    Safe Specification of Operator Precedence Rules

    Afroozeh, A., van den Brand, M., Johnstone, A., Scott, E. & Vinju, J., 2013, Software Language Engineering Lecture Notes in Computer Science . Vol. 8225. p. 137-156 20 p.

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

  370. Published

    Satisfying More Than Half of a System of Linear Equations Over GF(2): A Multivariate Approach

    Crowston, R., Fellows, M., Gutin, G., Jones, M., Kim, E. J., Rosamond, F., Ruzsa, I. Z., Thomasse, S. & Yeo, A., 2014, In: Journal of Computer and System Sciences. 80, p. 687-696

    Research output: Contribution to journalArticlepeer-review

  371. Published

    Saturation algorithms for model-checking pushdown systems

    Hague, M. & Carayol, A., May 2014, Proceedings of the 14th International Conference on Automata and Formal Languages . 24 p.

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

  372. Published

    Saturation Methods for Global Model‐Checking Pushdown Systems

    Hague, M., 2009

    Research output: ThesisDoctoral Thesis

  373. Published

    Saturation of Concurrent Collapsible Pushdown Systems

    Hague, M., 12 Dec 2013, FSTTCS: Foundations of Software Technology and Theoretical Computer Science. 12 p.

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

  374. Published

    Scalable communication middleware for permissioned distributed ledgers

    Barger, A., Manevich, Y., Mandler, B., Bortnikov, V., Laventman, G. & Chockler, G., 22 May 2017, SYSTOR '17: Proceedings of the 10th ACM International Systems and Storage Conference. New York: ACM, p. 1 1 p. 23

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

  375. Published

    Scalable Group Membership Services for Novel Applications

    Anker, T., Chockler, G., Dolev, D. & Keidar, I., 1998, Proceedings of the DIMACS Workshop on Networks in Distributed Computing. Merritt, M. & Shavit, N. (eds.). American Mathematical Society, p. 23-42 20 p. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science; vol. 45).

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

  376. Published

    Scale-Based Gaussian Coverings: Combining Intra and Inter Mixture Models in Image Segmentation

    Murtagh, F., Contreras, P. & Starck, J-L., 2009, In: Entropy. 11, 3, p. 513-528 13 p.

    Research output: Contribution to journalArticlepeer-review

  377. Published

    Scientific impact evaluation and the effect of self-citations: Mitigating the bias by discounting the h-index

    Ferrara, E. & Romero, A. E., 1 Nov 2013, In: Journal of the American Society for Information Science and Technology. 64, 11, p. 2332-2339 8 p.

    Research output: Contribution to journalArticlepeer-review

  378. Published

    SCONE: Secure Linux Containers with Intel SGX

    Arnautov, S., Trach, B., Gregor, F., Knauth, T., Martin, A., Priebe, C., Lind, J., Muthukumaran, D., O'Keeffe, D., Stillwell, M., Goltzsche, D., Eyers, D. M., Kapitza, R., Pietzuch, P. R. & Fetzer, C., Nov 2016, Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’16). USENIX, p. 689-703 15 p.

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

  379. Published

    SCPS: a fast implementation of a spectral method for detecting protein families on a genome-wide scale

    Nepusz, T., Sasidharan, R. & Paccanaro, A., 2010, In: BMC Bioinformatics. 11, p. 120

    Research output: Contribution to journalArticlepeer-review

  380. Published

    SDN-Actors: Modeling and Verification of SDN Programs

    Albert, E., Gómez-Zamalloa, M., Rubio, A., Sammartino, M. & Silva, A., 12 Jul 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Peleska, J., Roscoe, B. & de Vink, E. (eds.). Springer-Verlag, p. 550-567 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

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

  381. Published

    Sea quark effects on quarkonia

    Manke, T., Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A. & Yoshie, T., 1 Dec 2000, In: Physical Review D . 6211, 11, p. - 13 p.

    Research output: Contribution to journalArticlepeer-review

  382. Published

    Secure Execution of Distributed Session Programs

    Alves, N., Hu, R., Yoshida, N. & Deniélou, P-M., 19 Oct 2011, In: Electronic Proceedings in Theoretical Computer Science.

    Research output: Contribution to journalArticlepeer-review

  383. Published

    Secure implementations for typed session abstractions

    Corin, R., Denielou, P-M., Fournet, C., Bhargavan, K. & Leifer, J., 2007, 20th IEEE Computer Security Foundations Symposium (CSFS20), Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 170-186 17 p.

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

  384. Published

    Secure P2P programming on top of tuple spaces

    Benigni, F., Brogi, A., Buchholz, J. L., Jacquet, J. M., Lange, J. & Popescu, R., 2008, In: Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE. p. 54-59 6 p., 4806891.

    Research output: Contribution to journalConference articlepeer-review

  385. Published

    Security models in vehicular ad-hoc networks: A survey

    De Fuentes, J. M., González-Manzano, L., González-Tablas, A. I. & Blasco, J., 1 Jan 2014, In: IETE Technical Review (Institution of Electronics and Telecommunication Engineers, India). 31, 1, p. 47-64 18 p.

    Research output: Contribution to journalReview articlepeer-review

  386. Published

    SedLog: A shareware program for drawing graphic logs and log data manipulation

    Zervas, D., Nichols, G. J., Hall, R., Smyth, H. R., Lüthje, C. & Murtagh, F., 2009, In: Computers & Geosciences. 35, 10, p. 2151-2159

    Research output: Contribution to journalArticlepeer-review

  387. Published

    Segmentation of electronic dance music

    Scarfe, T., Koolen, W. & Kalnishkan, Y., 2014, In: International Journal of Engineering Intelligent Systems for Electrical Engineering and Communications. 22, 3/4

    Research output: Contribution to journalArticlepeer-review

  388. Published

    Selecting a Satisfactory Secretary

    Yeo, A. & Yeo, G. F., 1994, In: Australasian Journal of Statistics. 36, 2, p. 185-198 14 p.

    Research output: Contribution to journalArticlepeer-review

  389. Published

    Selective Breeding Analysed as a Communication Channel: Channel Capacity as a Fundamental Limit on Adaptive Complexity

    Watkins, C., 2008, Symbolic and Numeric Algorithms for Scientific Computing : Proceedings of SYNASC'08. IEEE, p. 514--518 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  390. Published

    Selective mixture of Gaussians clustering for location fingerprinting

    Nguyen, K. & Luo, Z., 5 Dec 2014, 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (i-Locate, MOBIQUITOUS 2014). London, UK: ACM, 10 p.

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

  391. Published

    Selective, multi-level modelling for accelerated simulation of large, heterogeneous corporate telecommunications networks

    Pitts, J., Luo, Z., Nyong, D. & Cosmas, J., 1998, 15th IEE UK Teletraffic Symposium.

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

  392. Published

    Self-calibrating probability forecasting

    Vovk, V., Shafer, G. & Nouretdinov, I., 2004, Advances in Neural Information Processing Systems. Thrun, S., Saul, L. & Schoelkopf, B. (eds.). Cambridge, MA: MIT Press, Vol. 16. p. 1133-1140 8 p.

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

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

  394. Published

    Semantic Types and Approximation for Featherweight Java

    Rowe, R. & van Bakel, S., 16 Jan 2014, In: Theoretical Computer Science. 517, p. 34-74 41 p.

    Research output: Contribution to journalArticlepeer-review

  395. Published

    Semantics from narrative: state of the art and future perspectives

    Murtagh, F., Ganz, A. & Reddington, J., 2011, Statistical Learning and Data Science. Summa, M. G., Bottou, L., Goldfarb, B., Murtagh, F., Pardoux, C. & Touati, M. (eds.). Taylor and Francis, (Computer Science and Data Analysis).

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

  396. Published

    Semantics of Architectural Connectors

    Fiadeiro, J. L. & Lopes, A., 1997, TAPSOFT. Springer, Vol. 1214. p. 505-519 15 p. (Lecture Notes in Computer Science).

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

  397. Published

    Semantics of Interworking Knowledge Based Systems

    Reichwein, G. & Fiadeiro, J. L., 1993, EPIA. Springer, Vol. 727. p. 93-104 12 p. (Lecture Notes in Computer Science).

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

  398. Published

    Semi-Algebraic Proofs, IPS Lower Bounds and the τ-Conjecture: Can a Natural Number be Negative?

    Alekseev, Y., Grigoriev, D., Hirsch, E. & Tzameret, I., Jun 2020, STOC 2020: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery (ACM), p. 54-67 14 p.

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

  399. Published

    Semi-nonnegative matrix factorization with global statistical consistency for collaborative filtering

    Ma, H., King, I., Lyu, M. R. & Yang, H., 1 Jan 2009, International Conference on Information and Knowledge Management, Proceedings. p. 767-775 9 p.

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

  400. Published

    Semi-supervised domain adaptation via Fredholm integral based kernel methods

    Wang, W., Wang, H., Zhang, Z., Zhang, C. & Gao, Y., Jan 2019, In: Pattern Recognition. 85, p. 185-197 13 p.

    Research output: Contribution to journalArticlepeer-review

  401. Published

    Senescent ground tree rewrite systems

    Hague, M., 14 Jul 2014, CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM, 10 p.

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

  402. Published

    Sensor Network Grids: Agent Environment combined with QoS in Wireless Sensor Networks

    Stathis, K., Kafetzoglou, S. & Bromuri, S. P. A. N. S., 1 Jun 2007, Proceedings of the 3rd International Conference on Autonomic and Autonomous Systems (ICAS'07).

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

  403. Published

    Separating computation, coordination and configuration

    Andrade, L., Fiadeiro, J. L., Gouveia, J. & Koutsoukos, G., 1 Sep 2002, In: Journal of Software Maintenance and Evolution. 14, 5, p. 353-369 17 p.

    Research output: Contribution to journalArticlepeer-review

  404. Published

    Separating distribution from coordination and computation as architectural dimensions

    Fiadeiro, J. L., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4037 LNCS. p. 17 1 p.

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

  405. Published

    Sequence alignment kernel for recognition of promoter regions

    Gordon, L., Chervonenkis, A. Y., Gammerman, A. J., Shahmuradov, I. A. & Solovyev, V. V., 12 Oct 2003, In: Bioinformatics. 19, 15, p. 1964-1971 8 p.

    Research output: Contribution to journalArticlepeer-review

  406. Published

    Sequential decision problems and neural networks

    Barto, AG., Sutton, RS. & Watkins, C., 1990, p. 693.

    Research output: Contribution to conferenceOtherpeer-review

  407. Published

    Serum Proteomic Abnormality Predating Screen Detection of Ovarian Cancer

    Gammerman, A., Vovk, V., Burford, B., Nouretdinov, I., Luo, Z., Chervonenkis, A., Waterfield, M., Cramer, R., Tempst, P., Villanueva, J., Kabir, M., Camuzeaux, S., Timms, J., Menon, U. & Jacobs, I., May 2009, In: The Computer Journal. 52, 3, p. 326-333 8 p.

    Research output: Contribution to journalArticlepeer-review

  408. Published

    Service Extraction from Legacy Systems

    Matos, C., 2008, Proceedings of the International Conference on Graph Transformation (ICGT). Ehrig, H., Heckel, R., Rozenberg, G. & Taentzer, G. (eds.). Springer-Verlag, Vol. 4758. p. 505-507 3 p. (Lecture Notes in Computer Science).

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

  409. Published

    Service-Based Software: The Future for Flexible Software

    Bennett, K., Layzell, P. J., Budgen, D., Brereton, P., Macaulay, L. & Munro, M., 2000, APSEC2000: The Asia-Pacific Software Engineering Conference, 5-8 December 2000, Singapore. IEEE Computer Society Press, p. 214-221 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  410. Published

    Service-Oriented Logic Programming

    Tutu, I. & Fiadeiro, J. L., 18 Aug 2015, In: Logical Methods in Computer Science. 11, 3, p. 1-38 38 p.

    Research output: Contribution to journalArticlepeer-review

  411. Published

    Service-oriented modelling of automotive systems

    Bocchi, L., Fiadeiro, J. L. & Lopes, A., 1 Jan 2008, Proceedings - International Computer Software and Applications Conference. p. 1059-1064 6 p.

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

  412. Published

    Sharing attributes and actions in modal action logic

    RYAN, M., FIADEIRO, J. & MAIBAUM, T., 1991, In: Lecture Notes in Computer Science. 526, p. 569-593 25 p.

    Research output: Contribution to journalArticlepeer-review

  413. Published

    Short Proofs for the Determinant Identities

    Hrubes, P. & Tzameret, I., 19 May 2012, Proceedings of the 44th Annual ACM Symposium on the Theory of Computing (STOC). p. 193-212

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

  414. E-pub ahead of print

    Short Proofs for the Determinant Identities

    Hrubes, P. & Tzameret, I., 7 Apr 2015, (E-pub ahead of print) In: SIAM Journal on Computing. 44, 2, p. 340–383 44 p.

    Research output: Contribution to journalArticlepeer-review

  415. Published

    Short Propositional Refutations for Dense Random 3CNF Formulas

    Muller, S. & Tzameret, I., 2014, In: Annals of Pure and Applied Logic. 165, p. 1864-1918 55 p.

    Research output: Contribution to journalArticlepeer-review

  416. Published

    Short Propositional Refutations for Dense Random 3CNF Formulas

    Muller, S. & Tzameret, I., Jun 2012, Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): 25-28 June 2012. p. 501-510 10 p.

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

  417. Published

    Signal transduction networks during stress responses in Arabidopsis: high-throughput analysis and modelling

    Devoto, A. & Paccanaro, A., 2008, Plant Growth Signalling. Springer, p. 331-350 20 p. (Plant Cell Monogr).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  418. In preparation

    Signatures in Formal Semantics (tentative title)

    Chatzikyriakidis, S. & Luo, Z., 2015, (In preparation) Modern Perspectives in Type-Theoretical Semantics. Chatzikyriakidis, S. & Luo, Z. (eds.). Springer, (Studies in Linguistics and Philosophy; vol. 98).

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

  419. Published

    Silent speech decoding using spectrogram features based on neuromuscular activities

    Wang, Y., Zhang, M., Wu, R., Gao, H., Yang, M., Luo, Z. & Li, G., 11 Jul 2020, In: Brain Sciences. 10, 7, p. 1-14 14 p., 442.

    Research output: Contribution to journalArticlepeer-review

  420. E-pub ahead of print

    Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases

    Moraru, I., Edelkamp, S., Franco Aixela, S. & Martinez, M., 24 Aug 2019, (E-pub ahead of print) KI 2019: Advances in Artificial Intelligence. Benzmüller, C. & Stuckenschmidt, H. (eds.). Springer, p. 249-263 15 p. (Lecture Notes in Computer Science; vol. 11793).

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

  421. Published

    Simultaneously Satisfying Linear Equations Over F_2: MaxLin2 and Max-r-Lin2 Parameterized Above Average

    Crowston, R., Fellows, M., Gutin, G., Jones, M., Rosamond, F., Thomasse, S. & Yeo, A., 2011, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. p. 229--240 (LIPICS - Leibniz International Proceedings in Informatics; vol. 13).

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

  422. Published

    Sit-to-Stand Movement Recognition Using Kinect

    Acorn, E., Dipsis, N., Pincus, T. & Stathis, K., 20 Apr 2015, 3rd International Symposium on Statistical Learning and Data Sciences. Springer, p. 179-192 14 p. (Lecture Notes in Computer Science; vol. 9047).

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

  423. Published

    Situating cognitive agents in GOLEM

    Bromuri, S. & Stathis, K., 2008, Engineering Environment-Mediated Multi-Agent Systems (EEMAS'07). Springer, Vol. 5049. p. 115-134 20 p.

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

  424. Unpublished

    Small and Large Scale Probabilistic Classifiers with Guarantees of Validity

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

    Research output: ThesisDoctoral Thesis

  425. Published

    Small degree out-branching

    Bang-Jensen, J., Thomasse, S. & Yeo, A., 2003, In: Journal of Graph Theory. 42, 4, p. 297-307 11 p.

    Research output: Contribution to journalArticlepeer-review

  426. Published

    Small diameter neighbourhood graphs for the travelling salesman problem

    Gutin, G. & Yeo, A., 1999, In: Computers and Operational Research. 26, 4, p. 321-327 7 p.

    Research output: Contribution to journalArticlepeer-review

  427. Published

    SMART (Stochastic Model Acquisition with ReinforcemenT) learning agents: A preliminary report

    Child, C. & Stathis, K., 2005, Adaptive agents and multi-agent systems II. Springer-Verlag, Vol. 3394. p. 73-87 15 p.

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

  428. Published

    SMILE: A scalable microcontroller library element

    BETTS, A. K., BOLSENS, I., SICARD, E., RENAUDIN, M. & Johnstone, A., Dec 1993, In: MICROPROCESSING AND MICROPROGRAMMING. 39, 2-5, p. 259-262 4 p.

    Research output: Contribution to journalArticlepeer-review

  429. Published

    Social Commitment Delegation and Monitoring

    Kafali, O. & Torroni, P., 2011, Computational Logic in Multi-Agent Systems (CLIMA XII). Vol. 6814. p. 171-189 19 p. (LNCS).

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

  430. Published

    Social Technologies for Community Response to Epidemics

    Cole, J. & Watkins, C., Aug 2013, Tackling Antimicrobial Resistance - Identifying Future Research Themes: Proceedings of the Conference Tackling Antimicrobial Resistance, 6 February 2013. London: Royal United Services Institute, p. 65-73 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  431. Published

    Socio-Cognitive Grids: The Net as a Universal Human Resource

    Bruijn, O. D. & Stathis, K., 1 Jun 2003, Proceedings of the Conference of ``Tales of the Disappearing Computer".

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

  432. Published

    Soft constraints: complexity and multimorphsims

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2003, p. 244-258.

    Research output: Contribution to conferencePaper

  433. Published

    Softmaster: A Software Maintenance Assistant

    Deraman, A. B. & Layzell, P. J., 1991, National Conference on Information Technology '91, Penang, Malayasia, June 1991. p. 435-445 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  434. Published

    Software As A Service: A Negotiation Perspective

    Elfatatry, A. & Layzell, P. J., 2002, COMPSAC 2002, Oxford, UK, 2002.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  436. Published

    Software Change Management: Improving Tool Support for Maintenance

    Manderson, R. & Layzell, P. J., 1999, Proc. International Symposium on Constructing Software Engineering Tools, ICSE Workshop WMT3, Los Angeles, CA, USA, May 1999. p. 159-162 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  437. Published

    Software Design Criteria for Maintainability

    Deraman, A. & Layzell, P. J., 1995, In: Pertanika Journal of Science and Technology. 3, 1, p. 1-18 18 p.

    Research output: Contribution to journalArticlepeer-review

  438. Published

    Software services: Scientific challenge or industrial hype?

    Fiadeiro, J. L., 1 Jan 2005, In: Lecture Notes in Computer Science. 3407, p. 1-13 13 p.

    Research output: Contribution to journalArticlepeer-review

  439. Published

    Software transformations to improve malware detection

    Christodorescu, M., Jha, S., Kinder, J., Katzenbeisser, S. & Veith, H., 2007, In: Journal in Computer Virology. 3, 4, p. 253-265

    Research output: Contribution to journalArticlepeer-review

  440. Published
  441. 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

  442. Published

    Solving hard cut problems via flow-augmentation

    Kim, E. J., Kratsch, S., Pilipczuk, M. & Wahlström, M., Jan 2021, Proceedings of SODA 2021. 20 p.

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

  443. Published

    Solving Integer Linear Programs with a Small Number of Global Variables and Constraints

    Dvorak, P., Eiben, E., Ganian, R., Knop, D. & Ordyniak, S., 2017, p. 607-613. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  444. Published

    Solving Integer Quadratic Programming via Explicit and Structural Restrictions

    Eiben, E., Ganian, R., Knop, D. & Ordyniak, S., 17 Jul 2019, p. 1477-1484. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  445. Published

    Solving k-Set Agreement with Stable Skeleton Graphs

    Biely, M., Robinson, P. & Schmid, U., 2011, 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings. p. 1488-1495 8 p.

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

  446. Published

    Solving MAX-r-SAT Above a Tight Lower Bound

    Alon, N., Gutin, G., Kim, E. J., Szeider, S. & Yeo, A., 1 Nov 2011, In: Algorithmica. 61, 3, p. 638-655

    Research output: Contribution to journalArticlepeer-review

  447. Published

    Solving MAX-r-SAT Above a Tight Lower Bound

    Alon, N., Gutin, G., Kim, E. J., Szeider, S. & Yeo, A., 2010, p. 158--169.

    Research output: Contribution to conferencePaperpeer-review

  448. Published

    Solving Problems on Graphs of High Rank-Width

    Eiben, E., Ganian, R. & Szeider, S., Feb 2018, In: Algorithmica. 80, p. 742–771 30 p.

    Research output: Contribution to journalArticlepeer-review

  449. Published

    Solving Queries over Modular Logic Programs

    Tutu, I. & Fiadeiro, J. L., 2014.

    Research output: Contribution to conferenceAbstractpeer-review

  450. Published

    Solving SAT for CNF formulas with a one-sided variable occurrence restriction

    Johannsen, D., Razgon, I. & Wahlström, M., 2009, Theory and Applications of Satisfiability Testing, SAT 2009 : 12th International Conference, SAT 2009. Kullmann, O. (ed.). Swansea, Wales, United Kingdom: Springer, Vol. 5584. p. 80-85 6 p. (Lecture Notes in Computer Science).

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

  451. E-pub ahead of print

    Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables

    Chen, T., Flores Lamas, A., Hague, M., Han, Z., Hu, D., Kan, S., Lin, A., Ruemmer, P. & Wu, Z., 12 Jan 2022, (E-pub ahead of print) Principles of Programming Languages 2022. ACM, Vol. 6. p. 1-31 31 p. 45

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

  452. Published

    Somatic hyper mutagenesis in immunoglobulin genes. Correlation between somatic mutations and repeats. Somatic mutation properties and clonal selection

    Rogozin, I. B., Solovyev, V. & Kolchanov, N. A., 1991, In: Biochim. Biophys. Acta. 1089, p. 175-182

    Research output: Contribution to journalArticlepeer-review

  453. Published

    Some Alternatives to Parikh Matrices Using String Kernels

    Clark, A. & Watkins, C., 2008, In: Fundamenta Informaticae. 84, 3-4, p. 291-303 13 p.

    Research output: Contribution to journalArticlepeer-review

  454. Published

    Some complexity problems on single input double output controllers

    Hangos, K. M., Tuza, Z. & Yeo, A., 2009, In: Discrete Applied Mathematics. 157, p. 1146-1158 13 p.

    Research output: Contribution to journalArticlepeer-review

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

  456. Published

    Some mathematical refinements concerning error minimization in the genetic code

    Buhrman, H., Gulik, P. T. S. V. D., Kelk, S. M., Koolen, W. M. & Stougie, L., 2010, In: IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB).

    Research output: Contribution to journalArticlepeer-review

  457. Published

    Some Parameterized Problems on Digraphs

    Gutin, G. & Yeo, A., 2008, In: The Computer Journal. 51, 3, p. 363-371 9 p.

    Research output: Contribution to journalArticlepeer-review

  458. Published

    Some proof-theoretic and algorithmic aspects of coercive subtyping

    Jones, A., Luo, Z. & Soloviev, S., 1998, Types for proofs and programs, Proc. of the Inter. Conf. TYPES'96, LNCS 1512.

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

  459. Published

    Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects

    Fiadeiro, J. L. & Maibaum, T. S. E., 1994, ICTL. Springer, Vol. 827. p. 48-66 19 p. (Lecture Notes in Computer Science).

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

  460. Published

    SoRec: Social recommendation using probabilistic matrix factorization

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

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

  461. Published

    Sorting email with natural language processing and conformal prediction

    Giovannotti, P. & Rehal, D., 29 Aug 2019.

    Research output: Contribution to conferencePosterpeer-review

  462. Published

    Sound classification using evolving ensemble models and Particle Swarm Optimization

    Zhang, L., Lim, C. P., Yu, Y. & Jiang, M., Feb 2022, In: Applied Soft Computing. 116, 108322.

    Research output: Contribution to journalArticlepeer-review

  463. Published

    Sound regular expression semantics for dynamic symbolic execution of JavaScript

    Loring, B., Mitchell, D. & Kinder, J., 8 Jun 2019, PLDI'19: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, p. 425-438 14 p.

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

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

  465. Published

    Space Bounds for Reliable Storage: Fundamental Limits of Coding

    Spiegelman, A., Cassuto, Y., Chockler, G. & Keidar, I., 25 Jul 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. ACM, p. 249-258 10 p.

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

  466. Published

    Space Complexity of Fault-Tolerant Register Emulations

    Chockler, G. & Spiegelman, A., Jul 2017, PODC '17: Proceedings of the ACM Symposium on Principles of Distributed Computing. ACM, p. 83-92 10 p.

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

  467. Published

    Spanning directed trees with many leaves

    Alon, N., Fomin, F., Gutin, G., Krivelevich, M. & Saurabh, S., 2009, In: SIAM Journal on Discrete Mathematics. 23, p. 466–-476

    Research output: Contribution to journalArticlepeer-review

  468. Published

    Spanning k-arc-strong subdigraphs with few arcs in k-arc-strong tournaments

    Bang-Jensen, J., Huang, J. & Yeo, A., Aug 2004, In: Journal of Graph Theory. 46, 4, p. 265-284

    Research output: Contribution to journalArticlepeer-review

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

  470. Published

    Sparser Random 3SAT Refutation Algorithms and the Interpolation Problem: Extended Abstract

    Tzameret, I., 8 Jul 2014, Automata, Languages, and Programming - 41st International Colloquium, (ICALP) 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {I}: --. p. 1015-1026 12 p. (LNCS).

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

  471. Published

    Sparsification of SAT and CSP Problems via Tractable Extensions

    Lagerkvist, V. & Wahlstrom, M., 26 Apr 2020, In: ACM Transactions on Computation Theory (TOCT). 12, 2, p. 1-29 29 p., 13.

    Research output: Contribution to journalArticlepeer-review

  472. Published

    Spatial Complexity Metrics: An Investigation of Utility

    Gold, N., Mohan, A. & Layzell, P., 2005, In: Software Engineering, IEEE Transactions on. 31, 3, p. 203-212 10 p.

    Research output: Contribution to journalArticlepeer-review

  473. Published

    Spatial Measures of Software Complexity

    Douce, C. R., Layzell, P. J. & Black-Branch, J. B., 1999, PPIG-11 Annual Workshop, 4-7 January 1999, University of Leeds, UK. p. 36-45 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  474. Published

    Special issue dedicated to CALCO'05

    Fiadeiro, J. & Rutten, J., 16 Nov 2006, In: Theoretical Computer Science. 366, 1-2

    Research output: Contribution to journalSpecial issuepeer-review

  475. Published

    Special issue dedicated to FASE'08

    Fiadeiro, J. L., Inverardi, P. & Maibaum, T., 1 May 2010, In: Formal Aspects of Computing. 22, 3-4

    Research output: Contribution to journalSpecial issuepeer-review

  476. Published

    Special issue dedicated to SEFM'10

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

    Research output: Contribution to journalSpecial issuepeer-review

  477. Published

    Special issue editorial - Kolmogorov complexity

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

    Research output: Contribution to journalEditorialpeer-review

  478. Published

    Special Issue on Artificial Societies for Ambient Intelligence Editorial Introduction

    Sadri, F. & Stathis, K., 2010, In: The Computer Journal. 53, 8, p. 1136-1137 2 p.

    Research output: Contribution to journalEditorialpeer-review

  479. Published

    Special issue on cloud computing

    Chockler, G., Dekel, E., Jaja, J. & Lin, J., 1 Jun 2011, In: Journal of Parallel and Distributed Computing. 71, 6, p. 731 1 p.

    Research output: Contribution to journalSpecial issuepeer-review

  480. Published

    Special Issue on ETAPS 2006 and 2007 Workshops on Language Descriptions, Tools, and Applications (LDTA'06 and '07) Preface

    Johnstone, A., Sloane, A. & Boyland, J. T., 1 Jan 2010, In: Science of Computer Programming. 75, 1-2, p. 1-2 2 p.

    Research output: Contribution to journalEditorialpeer-review

  481. Published

    Special Issue: Reinforcement Learning Preface

    Stathis, K., Garcez, A. DA. & Givan, R., Oct 2009, In: Journal of Algorithms. 64, 4, p. 125-126 2 p.

    Research output: Contribution to journalEditorialpeer-review

  482. Published

    Specialist Experts for Prediction with Side Information

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

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

  483. Published

    Specification and verification of database dynamics

    Fiadeiro, J. & Sernadas, A., 1 Aug 1988, In: Acta Informatica. 25, 6, p. 625-661 37 p.

    Research output: Contribution to journalArticlepeer-review

  484. E-pub ahead of print

    Specification and Verification of Invariant Properties of Transition Systems

    Gaina, D., Tutu, I. & Riesco, A., 23 May 2019, (E-pub ahead of print) 25th Asia-Pacific Software Engineering Conference: 4-7 December 2018, Nara, Japan. IEEE, p. 99-108 10 p.

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

  485. Published

    Specification of Required Non-determinism

    Lano, K., Bicarregui, J., Fiadeiro, J. L. & Lopes, A., 1997, FME. Springer, Vol. 1313. p. 298-317 20 p. (Lecture Notes in Computer Science).

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

  486. Published

    Specifying and composing interaction protocols for service-oriented system modelling

    Abreu, J., Bocchi, L., Fiadeiro, J. L., Lopes, A. & Fiadeiro, J. L., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4574 LNCS. p. 358-373 16 p.

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

  487. Published

    Spectral clustering of protein sequences

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

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

  488. Published

    Spectral clustering of protein sequences

    Paccanaro, A., Casbon, J. A. & Saqi, M. A. S., 2006, In: Nucleic Acids Research. 34, 5, p. 1571-80 10 p.

    Research output: Contribution to journalArticlepeer-review

  489. Published

    Spectral clustering of protein sequences using sequence-profile scores

    Sasidharan, R., Gerstein, M. B. & Paccanaro, A., 2006, Proceedings of ICNPSC – 3rd International Conference on Neural Parallel and Scientific Computations.

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

  490. E-pub ahead of print

    Speech neuromuscular decoding based on spectrogram images using conformal predictors with Bi-LSTM

    Wang, Y., Zhang, M., Wu, R., Wang, H., Luo, Z. & Li, G., 16 Mar 2021, (E-pub ahead of print) In: Neurocomputing. 451, p. 25-34

    Research output: Contribution to journalArticlepeer-review

  491. Published

    SpiderCast: A scalable interest-aware overlay for topic-based pub/sub communication

    Chockler, G., Melamed, R., Tock, Y. & Vitenberg, R., 2007, Proceedings of the Inaugural International Conference on Distributed Event-Based Systems (DEBS’07). ACM, p. 14-25 12 p.

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

  492. Published

    Spin effects in heavy hybrid mesons on an anisotropic lattice

    Drummond, I. T., Goodman, N. A., Horgan, R. R., Shanahan, H. P. & Storoni, L. C., 6 Apr 2000, In: Physics Letters B. 478, 1-3, p. 151-160 10 p.

    Research output: Contribution to journalArticlepeer-review

  493. Published

    SpliceDB: database of canonical and non-canonical mammalian splice sites

    Burset, M., Seledtsov, I. A. & Solovyev, V. V., 1 Jan 2001, In: Nucleic Acids Research. 29, 1, p. 255-259 5 p.

    Research output: Contribution to journalArticlepeer-review

  494. Published

    Spons & Shields: practical isolation for trusted execution

    Sartakov, V. A., O'Keeffe, D., Eyers, D. M., Vilanova, L. & Pietzuch, P. R., 16 Apr 2021, VEE 2021: Proceedings of the 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. ACM, p. 186-200 15 p.

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

  495. Published

    SPPF-Style Parsing From Earley Recognisers

    Scott, E., Apr 2008, In: Electronic Notes in Theoretical Computer Science. 203, 2, p. 53-67

    Research output: Contribution to journalArticlepeer-review

  496. Published

    Stable multi-agent systems

    Bracciali, A., Mancarella, P., Stathis, K. & Toni, F., 2005, Engineering Societies in the Agents World V. Springer-Verlang, Vol. 3451. p. 322-334 13 p.

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

  497. Published

    Starlet Transform in Astronomical Data Processing: Application to Source Detection and Image Deconvolution

    Murtagh, F., Starck, J-L. & Bertero, M., 2011, Handbook of Mathematical Methods in Imaging. Scherzer, O. (ed.). Springer, p. 1489-1531 43 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  498. Published

    Static Checkers for Tree Structures and Heaps

    Hague, M., 2004

    Research output: ThesisMaster's Thesis

  499. Unpublished

    Static Flow Analysis for Hybrid and Native Android Applications

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

    Research output: ThesisDoctoral Thesis

  500. Published

    Statistical analysis of the genomic distribution and correlation of regulatory elements in the ENCODE regions

    Zhang, Z. D., Paccanaro, A., Fu, Y., Weissman, S., Weng, Z., Chang, J., Snyder, M. & Gerstein, M. B., 2007, In: Genome Research. 17, 6, p. 787-97 11 p.

    Research output: Contribution to journalArticlepeer-review