1. Published

    Characteristic formulae for session types

    Lange, J. & Yoshida, N., 9 Apr 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Raskin, J-F. & Chechik, M. (eds.). Springer Verlag, p. 833-850 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9636).

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

  2. Published

    Characterizations of vertex pancyclic and pancyclic ordinary semicomplete multipartite digraphs

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

    Research output: Contribution to journalArticle

  3. E-pub ahead of print

    Characterizing Propositional Proofs as Non-commutative Formulas

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

    Research output: Contribution to journalArticlepeer-review

  4. Unpublished

    Checking Cryptographic API Specifications in JavaScript

    Mitchell, D., 2020, (Unpublished)

    Research output: ThesisDoctoral Thesis

  5. Published

    Checking cryptographic API usage with composable annotations

    Mitchell, D., van Binsbergen, L. T., Loring, B. & Kinder, J., 25 Dec 2017, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018). p. 53-59 7 p.

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

  6. E-pub ahead of print

    Checking Data-Race Freedom of GPU Kernels, Compositionally

    Cogumbreiro, T., Lange, J., Liew Zhen Rong, D. & Zicarelli, H., 15 Jul 2021, (E-pub ahead of print) International Conference on Computer-Aided Verification. Springer-Verlag, Vol. 12759.

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

  7. Published

    Chinese Postman Problem on edge-colored multigraphs

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

    Research output: Contribution to journalArticlepeer-review

  8. Published

    Chiral properties of domain-wall quarks in quenched QCD

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

    Research output: Contribution to journalArticlepeer-review

  9. Published

    Choose your own COBOL

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

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Choose-Survey

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

    Research output: Non-textual formSoftware

  11. Published

    Choreographies in the wild

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

    Research output: Contribution to journalArticlepeer-review

  12. Published

    Choreography synthesis as contract agreement

    Lange, J. & Scalas, A., 15 Oct 2013, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 131, p. 52-67 16 p.

    Research output: Contribution to journalConference articlepeer-review

  13. Published

    Classical Predicative Logic-Enriched Type Theories

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

    Research output: Contribution to journalArticlepeer-review

  14. Published

    Classification of acute leukaemia from gene expression data using confidence machines

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

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

  15. Published

    CLEF- A COBOL Language Enhancement Facility

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

    Research output: Contribution to journalArticlepeer-review

  16. Published

    Clinical mass spectrometry proteomic diagnosis by conformal predictors

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

    Research output: Contribution to journalArticlepeer-review

  17. Forthcoming

    Clique cover and graph separation: New incompressibility results

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

    Research output: Contribution to journalArticlepeer-review

  18. Published

    Clique Cover and Graph Separation: New Incompressibility Results

    Cygan, M., Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 2012, ICALP (1). p. 254-265 12 p.

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

  19. Published

    Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers

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

    Research output: Contribution to journalArticlepeer-review

  20. Published

    Closure Properties of Constraints

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

    Research output: Working paper

  21. Published

    Closure Properties of Constraints

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

    Research output: Contribution to journalArticlepeer-review

  22. Published

    Clouds at the crossroads: research perspectives

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

    Research output: Contribution to journalArticlepeer-review

  23. Published

    CloudSafetyNet: Detecting Data Leakage between Cloud Tenants

    Priebe, C., Muthukumaran, D., O'Keeffe, D., Eyers, D. M., Shand, B., Kapitza, R. & Pietzuch, P. R., 2014, Proceedings of the 6th edition of the ACM Workshop on Cloud Computing Security, CCSW '14, Scottsdale, Arizona, USA, November 7, 2014. p. 117-128 12 p.

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

  24. Published

    Clustering and Semantics Preservation in Cultural Heritage Information Spaces

    Murtagh, F., Pereira, J., Schmidt, F., Contreras Albornoz, P. & Astudillo, H., 2010, RIAO'2010 : Recherche d'Information Assistée par Ordinateur / Adaptivity, Personalization and Fusion of Heterogeneous Information. p. 100 105 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Published

    Clustering in massive data sets

    Murtagh, F., Abello, J. (ed.), Pardalos, P. M. (ed.) & Resende, M. G. C. (ed.), 2002, Handbook of Massive Data Sets. Norwell, MA, USA: Kluwer, p. 401-545

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  27. Published

    Clustering without replication in combinatorial circuits

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

    Research output: Contribution to journalArticlepeer-review

  28. Published

    Coercion completion and conservativity in coercive subtyping

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

    Research output: Contribution to journalArticlepeer-review

  29. Published

    Coercions in a polymorphic type system

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

    Research output: Contribution to journalArticlepeer-review

  30. Published

    Coercions in Hindley-Milner systems

    Kießling, R. & Luo, Z., 2004, Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085.

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

  31. Published

    Coercive subtyping

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

    Research output: Contribution to journalArticlepeer-review

  32. Published

    Coercive subtyping and lexical semantics (extended abstract)

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

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

  33. Published

    Coercive Subtyping in Lambda-Free Logical Frameworks

    Adams, R., 2009, Proceedings of the Fourth international Workshop on Logical Frameworks and Meta-Languages. Cheney, J. & Felty, A. (eds.). New York: ACM, p. 30-39 10 p.

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

  34. Published

    Coercive subtyping in type theory

    Luo, Z., 1997, CSL'96, LNCS'1258.

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

  35. Published

    Coercive subtyping: theory and implementation

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

    Research output: Contribution to journalArticlepeer-review

  36. Published

    Coherence and transitivity in coercive subtyping

    Luo, Y. & Luo, Z., 2001, Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250.

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

  37. Published

    Collaboration Language for Social Information Engineering

    Englmeier, K., Mothe, J., Murtagh, F., Pereira, J. & Rosenberg, D., May 2011, InfoSys 2011: ICAS 2011. IARIA, p. 179 - 183 4 p.

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

  38. Published

    Collaborative Diagnosis of Exceptions to Contracts (Extended Abstract)

    Kafali, O., Toni, F. & Torroni, P., 2011, AAMAS 2011: 10th International Conference on Autonomous Agents and Multiagent Systems. p. 1167-1168 2 p.

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

  39. Published

    Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware

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

    Research output: Book/ReportBook

  40. Published

    Collapsible Pushdown Automata and Recursion Schemes

    Hague, M., Murawski, A. S., Ong, C-H. L. & Serre, O., 2008, LICS '08: 23rd Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, p. 452-461

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

  41. Published

    Collapsible Pushdown Automata and Recursion Schemes

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

    Research output: Contribution to journalArticlepeer-review

  42. Published

    Collapsible Pushdown Parity Games

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

    Research output: Contribution to journalArticlepeer-review

  43. Published

    Co-location epidemic tracking on London public transports using low power mobile magnetometer

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

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

  44. Published

    Combination of Conformal Predictors for Classification

    Toccaceli, P. & Gammerman, A., 13 Jun 2017, Proceedings of Machine Learning Research. Lawrence, N. & Reid, M. (eds.). Vol. 60. p. 39-61 23 p. (The Proceedings of Machine Learning Research; vol. 60).

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

  45. Published

    Combination of inductive mondrian conformal predictors

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

    Research output: Contribution to journalArticlepeer-review

  46. Published

    Combining Cross-Validation and Search

    Watkins, C., 1987, Progress in Machine Learning. Sigma Press, p. 79--87 9 p.

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

  47. Published

    Combining Distributional and Morphological Information for Part of Speech Induction

    Clark, A., 2003, Proceedings of the tenth Annual Meeting of the {European Association for Computational Linguistics: EACL-03. p. 59--66

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

  48. Published

    Combining Expert Advice Efficiently

    Koolen, W. M. & Rooij, S. D., 1 Jun 2008, Proceedings of the 21st Annual Conference on Learning Theory (COLT 2008). Servedio, R. & Zang, T. (eds.). p. 275-286 12 p.

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

  49. Published

    Combining Expert Advice Efficiently

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

    Research output: Working paper

  50. Published

    Combining incoherent coercions for Sigma-types

    Luo, Y. & Luo, Z., 2004, Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085.

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

  51. Published

    Combining Initial Segments of Lists

    Warmuth, M., Koolen, W. M. & Helmbold, D. P., 1 Oct 2011, Proceedings of the 22nd International Conference on Algorithmic Learning Theory (ALT 2011).

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

  52. Published

    Combining p-values via averaging

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

    Research output: Contribution to journalArticlepeer-review

  53. Published

    Combining Temporal Planning with Probabilistic Reasoning for Autonomous Surveillance Missions

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

    Research output: Contribution to journalArticlepeer-review

  54. Published

    Combining uncertain and temporal reasoning

    Ramparany, F., Lorquet, V., Bouyssounous, B., Bigham, J. & Luo, Z., 1994, Proceedings of Information Processing and Management of Uncertainty in Knowledge-based System. p. 256-261

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

  55. Published

    CoMiFin Architecture and Semantic Rooms: Collaborative Financial Infrastructure Protection

    Baldoni, R., Bortnikov, V., Chockler, G., Dekel, E., Laventman, G., Lodi, G. & Montanari, L., 2012, Collaborative Financial Infrastructure Protection. Baldoni, R. & Chockler, G. (eds.). Springer Berlin / Heidelberg, p. 85-98 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  56. Published

    Comment: The Two Styles of VC Bounds

    Vovk, V., 2015, Measures of Complexity: Festschrift for Alexey Chervonenkis. Vovk, V., Papadopoulos, H. & Gammerman, A. (eds.). Springer, p. 161-164 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  57. E-pub ahead of print

    Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes

    Chen, H., Paoletti, N., Smolka, S. A. & Lin, S., 29 Aug 2019, (E-pub ahead of print) American Control Conference 2019. p. 4765-4772 8 p.

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

  58. Published

    COMMODITY12: A smart e-health environment for diabetes management

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

    Research output: Contribution to journalArticlepeer-review

  59. Published

    Communication-efficient probabilistic quorum systems for sensor networks

    Chockler, G., Gilbert, S. & Patt-Shamir, B., 2006, Proceedings of the 1st Annual IEEE International Workshop on "Foundation and Algorithms for Wireless Networking" (FAWN'2006). p. 111-115 5 p.

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

  60. Published

    Community on the move: Architectures for distribution and mobility

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

    Research output: Contribution to journalArticlepeer-review

  61. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  62. Published

    Community response grids for older adults: Motivations, usability, and sociability

    Wu, P. F., Preece, J., Shneiderman, B., Jaeger, P. T. & Qu, Y., 1 Dec 2007, Association for Information Systems - 13th Americas Conference on Information Systems, AMCIS 2007: Reaching New Heights. Vol. 5. p. 3022-3031 10 p.

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

  63. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  64. Published

    Community-wide assessment of GPCR structure modelling and ligand docking

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

    Research output: Contribution to journalArticlepeer-review

  65. Published

    Comorphisms of structured institutions

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

    Research output: Contribution to journalArticlepeer-review

  66. Published

    Comparing the Bayes and typicalness frameworks

    Melluish, T., Saunders, C., Nouretdinov, I. & Vovk, V., 2001, Lecture Notes in Articial Intelligence. Vol. 2167. p. 360-371

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

  67. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  68. E-pub ahead of print

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

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

    Research output: Contribution to journalArticlepeer-review

  69. Published

    Competence checking for the global e-service society using games

    Stathis, K., Lekeas, G. & Kloukinas, C., 2007, Engineering societies in the agents world VII. Vol. 4457. p. 384-400 17 p.

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

  70. Published

    Competent agents and customising protocols

    Endriss, U., Lu, W. J., Maudet, N. & Stathis, K., 2003, Engineering societies in the agents world IV. Springer-Verlag, Vol. 3071. p. 168-181 14 p.

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

  71. Published

    Competing with Gaussian linear experts

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

    Research output: Working paper

  72. Published

    Competing with Markov prediction strategies

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

    Research output: Working paper

  73. Published

    Competing with stationary prediction strategies

    Vovk, V., 13 Jul 2006.

    Research output: Working paper

  74. Published

    Competing with stationary prediction strategies

    Vovk, V., 2007, Proceedings of the Twentieth Annual Conference on Learning Theory . Bshouty, N. & Gentile, C. (eds.). p. 439-453 15 p.

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

  75. Published

    Competing with wild prediction rules

    Vovk, V., 2006, Proceedings of the Nineteenth Annual Conference on Learning Theory. Lugosi, G. & Simon, H. (eds.). Berlin: Springer, p. 559-573 15 p. (Lecture Notes in Articial Intelligence; vol. 4005).

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

  76. Published

    Competing with wild prediction rules

    Vovk, V., 14 Dec 2005.

    Research output: Working paper

  77. Published

    Competing with wild prediction rules

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

    Research output: Contribution to journalArticlepeer-review

  78. Unpublished

    Competitive online algorithms for probabilistic prediction

    Dzhamtyrova, R., 2020, (Unpublished)

    Research output: ThesisDoctoral Thesis

  79. Published

    Competitive Online Generalised Linear Regression with Multidimensional Outputs

    Dzhamtyrova, R. & Kalnishkan, Y., 2019, Proceedings of IJCNN 2019. IEEE, p. 1-8 8 p.

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

  80. Published

    Competitive Online Generalised Linear Regression with Multidimensional Outputs

    Dzhamtyrova, R. & Kalnishkan, Y., 2019, Competitive Online Generalised Linear Regression with Multidimensional Outputs. Proceedings of IJCNN 2019. IEEE, p. 1-8

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

  81. Published

    Competitive online generalized linear regression under square loss

    Zhdanov, F. & Vovk, V., 2010, Proceedings of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases 2010. Balcazar, J., Bonchi, F., Gionis, A. & Sebag, M. (eds.). Springer, p. 531-546 16 p.

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

  82. Published

    Competitive on-line learning with a convex loss function

    Vovk, V., 11 Jun 2005.

    Research output: Working paper

  83. Published

    Competitive on-line linear regression

    Vovk, V., 1998, Advances in Neural Information Processing Systems. Jordan, M., Kearns, M. & Solla, S. (eds.). Cambridge, MA: MIT Press, p. 364-370 7 p.

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

  84. E-pub ahead of print

    Competitive online quantile regression

    Dzhamtyrova, R. & Kalnishkan, Y., 5 Jun 2020, (E-pub ahead of print) Information Processing and Management of Uncertainty in Knowledge-Based Systems: 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part I. Lesot, M-J., Vieira, S., Reformat, M., Carvalho, J. P., Wilbik, A., Bouchon-Meunier, B. & Yager, R. R. (eds.). 1st ed. Springer, p. 499-512 14 p. (Communications in Computer and Information Science; vol. 1237).

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

  85. Published

    Competitive Online Regression under Continuous Ranked Probability Score

    Dzhamtyrova, R. & Kalnishkan, Y., Sep 2019, Conformal and Probabilistic Prediction and Applications, 9-11 September 2019, Golden Sands, Bulgaria. Proceedings of Machine Learning Research, Vol. 105. p. 178-195 18 p. (Proceedings of Machine Learning Research).

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

  86. Published

    Competitive on-line statistics

    Vovk, V., 1999, Bulletin of the International Statistical Institute. Proceedings of the Fifty Second Session. Vol. Tome 58, Book 1. p. 231-234

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

  87. Published

    Competitive on-line statistics

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

    Research output: Contribution to journalArticlepeer-review

  88. Published

    Complementary cycles containing prescribed vertices in tournaments

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

    Research output: Contribution to journalArticlepeer-review

  89. Published

    Complexity approximation principle

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

    Research output: Contribution to journalArticlepeer-review

  90. Published

    Complexity Approximation Principle and Rissanen's Approach to Real-Valued Parameters

    Kalnishkan, Y., 2000, Machine Learning: ECML 2000, 11th European Conference on Machine Learning, Proceedings: volume 1810 of Lecture Notes in Artificial Intelligence. Springer, p. 203-210 (Lecture Notes in Artificial Intelligence; vol. 1810).

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

  91. Published

    Complexity of Computing Convex Subgraphs in Custom Instruction Synthesis

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

    Research output: Contribution to journalArticlepeer-review

  92. Published

    Complexity of Propositional Proofs under a Promise

    Dershowitz, N. & Tzameret, I., 2007. 30 p.

    Research output: Contribution to conferencePaperpeer-review

  93. Published

    Complexity of Propositional Proofs Under a Promise

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

    Research output: Contribution to journalArticlepeer-review

  94. Unpublished
  95. Unpublished

    Complexity, Proofs and Algebra

    Tzameret, I., 2018, (Unpublished)

    Research output: Other contribution

  96. Published

    Component Order Connectivity in Directed Graphs

    Bang-Jensen, J., Eiben, E., Gutin, G., Wahlström, M. & Yeo, A., 4 Dec 2020, Proceedings of IPEC 2020, LIPIcs . Vol. 180. p. 2:1-2:16 16 p.

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

  97. Published

    Composition contracts for service interaction

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

    Research output: Contribution to journalArticlepeer-review

  98. Published

    Compression via matroids: a randomized polynomial kernel for odd cycle transversal

    Kratsch, S. & Wahlström, M., 2012, SODA. p. 94-103 10 p.

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

  99. Forthcoming

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

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

    Research output: Contribution to journalArticlepeer-review

  100. Published

    Computation and Reasoning: A Type Theory for Computer Science

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

    Research output: Book/ReportBook

  101. Published

    Computational Logic Foundations of KGP Agents

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

    Research output: Contribution to journalArticlepeer-review

  102. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  103. Published

    Computational systems for mixed graphical models

    Gammerman, A., Luo, Z., Aitken, C. & Brewer, M., 1994, UNICOM Adaptive Computing and Information Processing Seminar . p. 143-163

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

  104. Published

    Computationally efficient transductive machines

    Saunders, C., Gammerman, A. & Vovk, V., 2000, Proceedings of the Eleventh International Conference on Algorithmic Learning Theory. Arimura, H., Jain, S. & Sharma, A. (eds.). Berlin: Springer, p. 325-333 9 p. (Lecture Notes in Artificial Intelligence; vol. 1968).

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

  105. Published

    Computationally efficient versions of conformal predictive distributions

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

    Research output: Contribution to journalArticlepeer-review

  106. Published

    Computer display control and interaction using eye-gaze

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

    Research output: Contribution to journalArticle

  107. Published

    Computer-Aided Software Maintenance: A Classification and Analysis

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

    Research output: Contribution to journalArticlepeer-review

  108. Published

    Computer-Aided Support for the Software Maintenance Process

    Deraman, A. B. & Layzell, P. J., 1992, Sixiemes Journees Internationales des Sciences Informatiques, Les Systemes d'Information de L'Idee a la Concretisation, Tunis, May 1992. p. 383-393 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  109. Published

    Computing Approximate Nash Equilibria in Polymatrix Games

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

    Research output: Contribution to journalArticlepeer-review

  110. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  111. Published

    Computing Exact Solutions of Consensus Halving and the Borsuk-Ulam Theorem

    Deligkas, A., Fearnley, J., Melissourgos, T. & Spirakis, P., Jul 2019, 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). p. 1-14 14 p. 138

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

  112. Published

    CONAN: a heuristic strategy for COncurrent Negotiating AgeNts

    Alrayes, B., Kafali, O. & Stathis, K., 2014, Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems. ACM, p. 1585-1586

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

  113. Published

    Conceptual Model for Generating Meaningful Test data Based on Permutation Methods

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

    Research output: Contribution to journalArticlepeer-review

  114. Published

    Concurrent bilateral negotiation for open e-markets: the Conan strategy

    Alrayes, B., Kafali, O. & Stathis, K., Aug 2018, In: Knowledge and Information Systems. 56, p. 463–501 39 p.

    Research output: Contribution to journalArticlepeer-review

  115. Published

    Conditional prediction intervals for linear regression

    McCullagh, P., Vovk, V., Nouretdinov, I., Devetyarov, D. & Gammerman, A., 2009, Proceedings of the International Conference on Machine Learning and Applications. p. 131-138 8 p.

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

  116. Published

    Conditional validity of inductive conformal predictors

    Vovk, V., 5 Jul 2013, In: Machine Learning. 92, 2-3, p. 349 - 376 28 p.

    Research output: Contribution to journalArticlepeer-review

  117. Published

    Conditional validity of inductive conformal predictors

    Vovk, V., 17 Nov 2012, In: JMLR: Workshop and Conference Proceedings. 25, p. 475-490 16 p.

    Research output: Contribution to journalArticlepeer-review

  118. Unpublished

    Confidence and Venn Machines and Their Applications to Proteomics

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

    Research output: ThesisDoctoral Thesis

  119. Published

    Confidence Machine and its application to medical diagnosis

    Devetyarov, D., Nouretdinov, I. & Gammerman, A., 2009, International Conference on Bioinformatics and Computational Biology. p. 448-454 7 p.

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

  120. Published

    Confidence Predictions for the Diagnosis of Acute Abdominal Pain

    Papadopoulos, H., Gammerman, A. & Vovk, V., 2009, Artificial Intelligence Applications & Innovations III. Iliadis, L., Vlahavas, I. & Bramer, M. (eds.). Springer, Vol. 296. p. 175-184 10 p. (IFIP International Federation for Information Processing; vol. 296).

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

  121. Published

    Conflict, Post-Conflict and Failed States: Challenges to Healthcare

    Cole, J., 4 Nov 2014, In: RUSI Journal. 159, 9, p. 14-18 5 p.

    Research output: Contribution to journalArticlepeer-review

  122. Unpublished
  123. Unpublished

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

    Zhou, C., 2015, (Unpublished)

    Research output: ThesisDoctoral Thesis

  124. Published

    Conformal Anomaly Detection based on Association Rules

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

    Research output: Other contribution

  125. Published

    Conformal anomaly detection for visual reconstruction using gestalt principles

    Nouretdinov, I., Balinsky, A. & Gammerman, A., 21 Aug 2020, Proceedings of the Ninth Symposium on Conformal and Probabilistic Prediction and Applications. Vol. 128. p. 151-170 20 p.

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

  126. Published

    Conformal Anomaly Detection of Trajectories with a Multi-class Hierarchy

    Smith, J., Nouretdinov, I., Craddock, R., Offer, C. & Gammerman, A., 3 Apr 2015, Statistical Learning and Data Sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Springer, p. 281-290 10 p. (Lecture Notes in Computer Science; vol. 9047).

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

  127. Published

    Conformal calibration

    Vovk, V., Petej, I., Toccaceli, P., Gammerman, A., Ahlberg, E. & Carlsson, L., Sep 2020, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z., Smirnov, E. & Cherubin, G. (eds.). Vol. 128. p. 84-99 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  128. Published

    Conformal Changepoint Detection in Continuous Model Situations

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

    Research output: Other contribution

  129. Published

    Conformal Clustering and Its Application to Botnet Traffic

    Cherubin, G., Nouretdinov, I., Gammerman, A., Jordaney, R., Wang, Z., Papini, D. & Cavallaro, L., 3 Apr 2015, Statistical Learning and Data Sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Springer, p. 313-322 10 p. (Lecture Notes in Computer Science; vol. 9047).

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

  130. Published

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

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

    Research output: Other contribution

  131. Published

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

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

    Research output: Other contribution

  132. Published

    Conformal prediction and testing exchangeability assumption

    Fedorova, V., Nouretdinov, I. & Gammerman, A., Jul 2011, p. 35. 1 p.

    Research output: Contribution to conferenceAbstract

  133. Unpublished

    Conformal Prediction and Testing under On-line Compression Models

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

    Research output: ThesisDoctoral Thesis

  134. Published

    Conformal Prediction Based on K-Nearest Neighbors for Discrimination of Ginsengs by a Home-Made Electronic Nose

    Wang, Z., Sun, X., Miao, J., Wang, Y., Luo, Z. & Li, G., 14 Aug 2017, In: Sensors. 17, 8, p. 1-12 12 p., 1869.

    Research output: Contribution to journalArticlepeer-review

  135. Published

    Conformal Prediction for Indoor Localisation with Fingerprinting Method

    Nguyen, K. & Luo, Z., Sep 2012, Artificial Intelligence Applications and Innovations: First Conformal Prediction and Its Applications Workshop (COPA 2012). Halkidiki, Greece: Springer, p. 214-223 10 p.

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

  136. Forthcoming

    Conformal prediction in semi-supervised case

    Adamskiy, M., Nouretdinov, I. & Gammerman, A., 2011, (Accepted/In press) Post-Symposium book 'Statistical learning and Data Science'. Paris: Chapman and Hall

    Research output: Chapter in Book/Report/Conference proceedingChapter

  137. Published

    Conformal prediction of biological activity of chemical compounds

    Toccaceli, P., Nouretdinov, I. & Gammerman, A., Oct 2017, In: Annals of Mathematics and Artificial Intelligence. 81, p. 105–123 19 p.

    Research output: Contribution to journalArticlepeer-review

  138. Published

    Conformal prediction under hypergraphical models

    Fedorova, V., Gammerman, A., Nouretdinov, I. & Vovk, V., Oct 2013, The 9th Artificial Intelligence Applications and Innovations Conference (AIAI): 2nd Workshop on Conformal Prediction and its Applications. p. 371-383 13 p.

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

  139. Published

    Conformal Prediction under Probabilistic Input

    Nouretdinov, I., 19 Sep 2014, Artificial Intelligence Applications and Innovations: AIAI2014 Workshops. Rhodes, Greece, p. 291-300 10 p.

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

  140. Published

    Conformal prediction with Neural Networks

    Papadopoulos, H., Vovk, V. & Gammerman, A., 2007, Proceedings of the Nineteenth IEEE International Conference on Tools with Artificial Intelligence. Vol. 2. p. 388-395 8 p.

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

  141. Forthcoming

    Conformal predictions for electronic nose system: an application to tea classification

    Nouretdinov, I., Li, G., Gammerman, A. & Luo, Z., 2011, (Accepted/In press) In: International Journal of Engineering Intelligent Systems for Electrical Engineering and Communications. 10 p.

    Research output: Contribution to journalArticlepeer-review

  142. Forthcoming

    Conformal predictions for reliable machine learning: Theory and applications

    Balasubramanian, V., Ho, S-S., Panchanathan, S. & Vovk, V., 8 Aug 2011, (Accepted/In press).

    Research output: Contribution to conferenceOtherpeer-review

  143. Forthcoming

    Conformal predictions for reliable machine learning: Theory and applications

    Balasubramanian, V., Ho, S-S., Panchanathan, S. & Vovk, V., 2011, (Accepted/In press).

    Research output: Contribution to conferenceOtherpeer-review

  144. Published

    Conformal predictive decision making

    Vovk, V. & Bendtsen, C., Jun 2018, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z., Smirnov, E. & Peeters, R. (eds.). Vol. 91. p. 52-62 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  145. E-pub ahead of print

    Conformal Predictive Distributions with Kernels

    Vovk, V., Nouretdinov, I., Manokhin, V. & Gammerman, A., 23 Aug 2018, (E-pub ahead of print) Braverman Readings in Machine Learning. Key Ideas from Inception to Current State - International Conference Commemorating the 40th Anniversary of Emmanuil Braverman’s Decease, Invited Talks. Springer-Verlag, Vol. 11100 . p. 103-121 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11100 LNAI).

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

  146. Published

    Conformal predictor combination using Neyman–Pearson Lemma

    Toccaceli, P., 2019, Proceedings of the Eighth Symposium on Conformal and Probabilistic Prediction and Applications. Proceedings of Machine Learning Research, Vol. 105. p. 66-88 23 p.

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

  147. Published

    Conformal Predictors for Compound Activity Prediction

    Toccaceli, P., Nouretdinov, I. & Gammerman, A., 17 Apr 2016, Conformal and Probabilistic Prediction with Applications: 5th International Symposium, COPA 2016 Madrid, Spain, April 20–22, 2016 Proceedings. Springer, Vol. 9653. p. 51-66 16 p. (Lecture Notes in Computer Science; vol. 9653).

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

  148. Published

    Conformal predictors in early diagnostics of ovarian and breast cancers

    Devetyarov, D., Nouretdinov, I., Burford, B., Camuzeaux, S., Gentry-Maharaj, A., Tiss, A., Smith, C., Luo, Z., Chervonenkis, A., Hallett, R., Vovk, V., Waterfield, M., Cramer, R., Timms, J. F., Sinclair, J., Menon, U., Jacobs, I. & Gammerman, A., 2012, In: Progress in Artificial Intelligence. 1, p. 245 - 257 13 p.

    Research output: Contribution to journalArticlepeer-review

  149. Published

    Conformal testing in a binary model situation

    Vovk, V., 2021, Proceedings of Machine Learning Research. Carlsson, L., Luo, Z., Cherubin, G. & Nguyen, K. (eds.). Vol. 152. p. 131-150 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  150. Published

    Conformational changings in the Globins Family during Evolution 1. Analysis of the Evolutionary Role of Insertions and Deletions

    Zharkikh, A. A., Solovyev, V. & Kolchanov, N. A., 1984, In: J.Mol.Evol.. 21, p. 42-53

    Research output: Contribution to journalArticlepeer-review

  151. Published

    Connected communities from the standpoint of multi-agent systems

    Mamdani, A., Pitt, J. & Stathis, K., 1999, In: New generation computing. 17, 4, p. 381-393 13 p.

    Research output: Contribution to journalArticlepeer-review

  152. Published

    Connected Subgraph Defense Games

    Akrida, E., Deligkas, A., Melissourgos, T. & Spirakis, P. G., Nov 2021, In: Algorithmica. 83, p. 3403-3431 29 p.

    Research output: Contribution to journalArticlepeer-review

  153. Published

    Connectors for mobile programs

    Wermelinger, M. & Fiadeiro, J. L., 1 Jan 1998, In: Software Engineering, IEEE Transactions on. 24, 5, p. 331-341 11 p.

    Research output: Contribution to journalArticlepeer-review

  154. Published

    Consensus and collision detectors in radio networks

    Chockler, G., Demirbas, M., Gilbert, S., Lynch, N., Newport, C. & Nolte, T., Jun 2008, In: Distributed Computing. 21, 1, p. 55-84 30 p.

    Research output: Contribution to journalArticlepeer-review

  155. Published

    Consensus and collision deteotors in wireless ad hoc networks

    Chockler, G., Demirbas, M., Gilbert, S., Newport, C. & Nolte, T., 1 Jan 2005, Proceedings of the 24th annual ACM symposium on Principles of distributed computing (PODC '05). p. 197-206 10 p.

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

  156. Unpublished

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

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

    Research output: Working paper

  157. Published

    Consistency Conditions for a CORBA Caching Service

    Chockler, G., Friedman, R. & Vitenberg, R., 2000, Proceedings of the 14th International Conference on Distributed Computing (DISC '00). Springer-Verlag, p. 374-388 15 p. (Lecture Notes In Computer Science; no. 1914).

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

  158. Published

    Consistency of service composition

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7212 LNCS. p. 63-77 15 p.

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

  159. Published

    Constrained Dynamic Tree Networks

    Hague, M. & Penelle, V., 2018, 12th International Conference on Reachability Problems. Springer International Publishing, p. 45-58 14 p. (Lecture Notes in Computer Science; vol. 11123).

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

  160. E-pub ahead of print

    Constrained Hitting Set Problem with Intervals

    Acharyya, A., Keikha, V., Majumdar, D. & Pandit, S., 20 Oct 2021, (E-pub ahead of print) The 27th International Computing and Combinatorics Conference: COCOON 2021. Springer-Verlag, p. 604-616 13 p. (Lecture Notes in Computer Science).

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

  161. Published

    Constraint Branching in Workflow Satisfiability Problem

    Gutin, G. & Karapetyan, D., Jun 2020, SACMAT 2020: Symposium on Access Control Models and Technologies. p. 93-103 11 p.

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

  162. Published

    Constraint Expressions and Workflow Satisability

    Crampton, J. & Gutin, G., 2013, 18th ACM SACMAT. p. 73-84

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

  163. Forthcoming

    Constraint satisfaction problems parameterized above or below tight bounds: a survey

    Gutin, G. & Yeo, A., 2012, (Accepted/In press) Fellows Festschrift. (Lecture Notes in Computer Science).

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

  164. Published

    Constraints and universal algebra

    Jeavons, P. G., Cohen, D. A. & Pearson, J. K., 1998, In: Annals of Mathematics and Artificial Intelligence. 24, p. 51-67 17 p.

    Research output: Contribution to journalArticlepeer-review

  165. Published

    Constraints and Universal Algebra

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

    Research output: Working paper

  166. Published

    Constraints, Consistency and Closure

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

    Research output: Working paper

  167. Published

    Constraints, Consistency and Closure

    Jeavons, P. G., Cohen, D. A. & Cooper, M., 1998, In: Artificial Intelligence. 101, 1-2, p. 251-265 15 p.

    Research output: Contribution to journalArticlepeer-review

  168. Published

    Constructing scalable overlays for pub-sub with many topics

    Chockler, G., Melamed, R., Tock, Y. & Vitenberg, R., 1 Jan 2007, Proceedings of the 26th Annual ACM Symposium on Principles of Distributed Computing: PODC 2007. p. 109-118 10 p.

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

  169. Published

    Construction heuristics for the asymmetric TSP

    Glover, F., Gutin, G., Yeo, A. & Zverovitch, A., 2001, In: European Journal of Operational Research. 129, 3, p. 555-568

    Research output: Contribution to journalArticlepeer-review

  170. Published

    Context-awareness in software architectures

    Lopes, A. & Fiadeiro, J. L., 1 Jan 2005, In: Lecture Notes in Computer Science. 3527, p. 146-161 16 p.

    Research output: Contribution to journalArticlepeer-review

  171. Published

    Contextual analysis of word meanings in type-theoretical semantics

    Luo, Z., 2011, Logical Aspects of Computational Linguistics:6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011: Proceedings. Pogodalla, S. & Prost, J-P. (eds.). Springer, p. 159-174 16 p. (Lecture Notes in Computer Science; vol. 6736).

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

  172. Published
  173. Published

    Continuous Operation During Reconfiguration Periods

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

    Research output: Patent

  174. Published

    Continuous-time trading and emergence of randomness

    Vovk, V., 8 Dec 2007.

    Research output: Working paper

  175. Published

    Continuous-time trading and emergence of volatility

    Vovk, V., 10 Dec 2007.

    Research output: Working paper

  176. Published

    Continuous-time trading and the emergence of probability

    Vovk, V., 28 Apr 2009.

    Research output: Working paper

  177. Published

    Continuous-time trading and the emergence of probability

    Vovk, V., 2012, In: Finance and Stochastics. 16, 4, p. 561 - 609

    Research output: Contribution to journalArticlepeer-review

  178. Published

    Continuous-time trading and the emergence of randomness

    Vovk, V., 2009, In: Stochastics: an international journal of probablitiy and stochastic processes. 81, 5, p. 455-466 12 p.

    Research output: Contribution to journalArticlepeer-review

  179. Published

    Continuous-time trading and the emergence of volatility

    Vovk, V., 17 Jun 2008, In: Electronic Communications in Probability. 13, p. 319-324 6 p.

    Research output: Contribution to journalArticlepeer-review

  180. Forthcoming
  181. Published

    Controllability and matchings in random bipartite graphs

    Balister, P. & Gerke, S., Jul 2015, Surveys in Combinatorics 2015. Czumaj, A., Georgakopoulos, A., Král, D., Lozin, V. & Pikhurko, O. (eds.). Cambridge University Press, Vol. 424. p. 119-146 28 p. (London Mathematical Society Lecture Note Series; vol. 424).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  182. Forthcoming

    Convergence and Correctness of Belief Propagation for Weighted Min-Max Flow

    Dai, G., Guo, L., Gutin, G., Zhang, X. & Zhang, Z., 27 Dec 2021, (Accepted/In press) In: Discrete Applied Mathematics.

    Research output: Contribution to journalArticlepeer-review

  183. Published

    Convex Sets in Acyclic Digraphs

    Balister, P., Gerke, S. & Gutin, G., Mar 2009, In: Order: a Journal on the Theory of Ordered Sets and its Applications. 26, 1, p. 95-100 6 p.

    Research output: Contribution to journalArticlepeer-review

  184. Published

    Convex-round and concave-round graphs

    Bang-Jensen, J., Huang, J. & Yeo, A., 2000, In: SIAM Journal on Discrete Mathematics. 13, 2, p. 170-193 24 p.

    Research output: Contribution to journalArticlepeer-review

  185. Published

    Coordination: The evolutionary dimension

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

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

  186. Published

    Coordination contracts for Java applications

    Gouveia, J., Koutsoukos, G., Wermelinger, M., Andrade, L. & Fiadeiro, J. L., 1 Jan 2002, In: ICSE 2004: 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS. p. 714 1 p.

    Research output: Contribution to journalArticlepeer-review

  187. Published

    Coordination Durative Actions

    Nunes, I., Fiadeiro, J. L. & Turski, W. M., 1997, COORDINATION. Springer, Vol. 1282. p. 115-130 16 p. (Lecture Notes in Computer Science).

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

  188. Published

    Coordination for Distributed Business Systems

    Andrade, L. F., Fiadeiro, J. L., Lopes, A. & Wermelinger, M., 2003, CAiSE Workshops. CEUR-WS.org, Vol. 75. (CEUR Workshop Proceedings).

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

  189. Published

    Coordination technologies for just-in-time integration

    Fiadeiro, J. L., 1 Jan 2003, In: Lecture Notes in Computer Science. 2757, p. 308-321 14 p.

    Research output: Contribution to journalArticlepeer-review

  190. Published

    Coordination Technologies for Managing Information System Evolution

    Andrade, L. F. & Fiadeiro, J. L., 2001, CAiSE. Springer, Vol. 2068. p. 374-387 14 p. (Lecture Notes in Computer Science).

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

  191. Published

    Coreset-based Conformal Prediction for Large-scale Learning

    Riquelme Granada, N., Nguyen, D. K. A. & Luo, Z., Sep 2019, Proceedings of Machine Learning Research: Proceedings of the Eighth Symposium on Conformal and Probabilistic Prediction and Applications. Vol. 105. p. 142-162 21 p.

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

  192. Published

    Correspondence Analysis and Data Coding with R and Java

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

    Research output: Book/ReportBook

  193. Published

    Counting Linear Extensions: Parameterizations by Treewidth

    Eiben, E., Ganian, R., Kangas, K. & Ordyniak, S., 1 Apr 2019, In: Algorithmica. 81, p. 1657-1683 27 p.

    Research output: Contribution to journalArticlepeer-review

  194. Published

    Counting models for 2SAT and 3SAT formulae

    Dahllöf, V., Jonsson, P. & Wahlström, M., 2005, In: Theoretical Computer Science. 332, 1-3, p. 265-291 27 p.

    Research output: Contribution to journalArticlepeer-review

  195. Published

    Counting Satisfying Assignments in 2-SAT and 3-SAT

    Dahllöf, V., Jonsson, P. & Wahlström, M., 2002, COCOON. p. 535-543 9 p.

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

  196. Published

    Cover Your Cough: Detection of Respiratory Events with Confidence Using a Smartwatch

    Nguyen, D. K. A. & Luo, Z., Jun 2018, Proceedings of Machine Learning Research: Conformal and Probabilistic Prediction and Applications (COPA 2018). Vol. 91. p. 1-18 18 p.

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

  197. Published

    Crafting the Mind of PROSOCS Agents

    Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W. & Stathis, K., 2006, In: Applied Artificial Intelligence. 20, 4-5, p. 105-131

    Research output: Contribution to journalArticlepeer-review

  198. Forthcoming

    Creative Processes in Service-Oriented Computing

    Chirita, C-E. & Luiz Fiadeiro, J., Jul 2016, (Accepted/In press).

    Research output: Contribution to conferenceAbstractpeer-review

  199. Published

    Criteria of efficiency for conformal prediction

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

    Research output: Working paper

  200. Published

    Criteria of Efficiency for Conformal Prediction

    Vovk, V., Fedorova, V., Nouretdinov, I. & Gammerman, A., 17 Apr 2016, Conformal and Probabilistic Prediction with Applications: 5th International Symposium, COPA 2016 Madrid, Spain, April 20–22, 2016 Proceedings. Springer, Vol. 9653. p. 23-39 17 p. (Lecture Notes in Computer Science; vol. 9653).

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

  201. Published

    Criteria of efficiency for set-valued classification

    Vovk, V., Nouretdinov, I., Fedorova, V., Petej, I. & Gammerman, A., Oct 2017, In: Annals of Mathematics and Artificial Intelligence. 81, p. 21-46 26 p.

    Research output: Contribution to journalArticlepeer-review

  202. Published

    Criterion of calibration for transductive confidence machine with limited feedback

    Nouretdinov, I. & Vovk, V., 2003, Lecture Notes in Articial Intelligence. Vol. 2842. p. 259-267 9 p.

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

  203. Published

    Criterion of calibration for transductive confidence machine with limited feedback

    Nouretdinov, I. & Vovk, V., 2 Nov 2006, In: Theoretical Computer Science. 364, 1, p. 39 7 p.

    Research output: Contribution to journalArticlepeer-review

  204. Published

    Criterion of calibration for Transductive Confidence Machine with limited feedback

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

    Research output: Working paper

  205. Published

    Cross-conformal predictive distributions

    Vovk, V., Nouretdinov, I., Manokhin, V. & Gammerman, A., Jun 2018, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z., Smirnov, E. & Peeters, R. (eds.). Vol. 91. p. 37-51 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  206. Published

    Cross-conformal predictors

    Vovk, V., Jun 2015, In: Annals of Mathematics and Artificial Intelligence. 74, 1-2, p. 9-28 20 p.

    Research output: Contribution to journalArticlepeer-review

  207. Published

    Cross-conformal predictors

    Vovk, V., 3 Aug 2012.

    Research output: Working paper

  208. Published

    Cross-Domain Metric and Multiple Kernel Learning Based on Information Theory

    Wang, W., Wang, H., Zhang, C. & Gao, Y., Mar 2018, In: Neural Computation. 30, 3, p. 820-855 36 p.

    Research output: Contribution to journalArticlepeer-review

  209. Published

    Cross-entropy optimisation of importance sampling parameters for statistical model checking

    Jegourel, C., Legay, A. & Sedwards, S., 1 Jan 2012, Computer Aided Verification: Proceedings of the 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012. Madhusudan, P. & Seshia, S. A. (eds.). Springer-Verlag, p. 327-342 16 p. (Lecture Notes in Computer Science; vol. 7358).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  210. Published

    Crowdsourcing Lightweight Pyramids for Manual Summary Evaluation

    Shapira, O., Gabay, D., Gao, Y., Ronen, H., Pasunuru, R., Bansal, M., Amsterdamer, Y. & Dagan, I., Jun 2019, Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Association for Computational Linguistics, Vol. 1. p. 682-687 6 p.

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

  211. Published

    Crucial Issues in the Design of a Real-Time Contaminant Detection System for Food Products

    Davies, E. R., Patel, D. & Johnstone, A., Dec 1995, In: Real-Time Imaging. 1, 6, p. 397-407 11 p.

    Research output: Contribution to journalArticlepeer-review

  212. E-pub ahead of print

    Cryptographic Enforcement of Information Flow Policies Without Public Information

    Crampton, J., Farley, N., Gutin, G., Jones, M. & Poettering, B., 9 Jan 2016, (E-pub ahead of print) 13th International Conference on Applied Cryptography and Network Security (ACNS 2015) . Malkin, T., Kolesnikov, V., Bishop Lewko, A. & Polychronakis, M. (eds.). p. 389-408 20 p. (Lecture Notes in Computer Science; vol. 9092).

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

  213. Published

    Cryptographic enforcement of information flow policies without public information via tree partitions

    Crampton, J., Farley, N., Gutin, G., Jones, M. & Poettering, B., 24 Aug 2017, In: Journal of Computer Security. 25, 6, p. 511-535 25 p.

    Research output: Contribution to journalArticlepeer-review

  214. Published

    Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

    Bhargavan, K., Corin, R., Denielou, P-M., Fournet, C. & Leifer, J. J., 2009, PROCEEDINGS OF THE 22ND IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM. LOS ALAMITOS: IEEE COMPUTER SOC, p. 124-140 17 p.

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

  215. Published

    Cryptographic Tools for Cloud Environments

    Alderman, J., Crampton, J. & Martin, K., 2016, Guide to Security Assurance for Cloud Computing. Zhu, S. Y., Hill, R. & Trovati, M. (eds.). Springer, Vol. Guide to Security Assurance for Cloud Computing. p. 15-30 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  216. Published

    Crystal Structure Prediction via Oblivious Local Search

    Antypov, D., Deligkas, A., Gusev, V., Rosseinsky, M. J., Spirakis, P. G. & Theofilatos, M., 12 Jun 2020, 18th International Symposium on Experimental Algorithms, SEA 2020. Faro, S. & Cantone, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-14 14 p. 21. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 160).

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

  217. Published

    C-SHORe: A Collapsible Approach to Verifying Higher-Order Programs

    Broadbent, C., Carayol, A., Hague, M. & Serre, O., 25 Sep 2013, ICFP: International Conference on Functional Programming. p. 13-24 12 p.

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

  218. Published

    CSS Minification via Constraint Solving

    Hague, M., Lin, A. & Hong, C-D., 21 Jun 2019, In: ACM Transactions on Programming Languages and Systems. 41, 2, p. 1-76 76 p., 12.

    Research output: Contribution to journalArticlepeer-review

  219. Published

    Cyclisation of Cell-Penetrating PDZ-Binding Peptides Directed to PSD95

    Dabhi, S., Duberly, K., Alnasir, J., Wijesiriwardana, N. & Austen, B., 2019, In: American Research Journal of Chemistry. 3, 1, p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  220. Published

    Dagsthul Seminar on Foundations of Global Computing

    Fiadeiro, J. L., Montanari, U. & Wirsing, M., 2006, Foundations of Global Computing. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, Vol. 05081. (Dagstuhl Seminar Proceedings).

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

  221. Published

    Data caching as a cloud service

    Chockler, G., Laden, G. & Vigfusson, Y., 2010, Proceedings of the 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware (LADIS '10). ACM, p. 18-21 4 p.

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

  222. Published

    Data classication apparatus and method thereof

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

    Research output: Patent

  223. E-pub ahead of print

    Data-Driven Robust Control for a Closed-Loop Artificial Pancreas

    Paoletti, N., Liu, K. S., Chen, H., Smolka, S. A. & Lin, S., 23 Apr 2019, (E-pub ahead of print) In: IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB). p. 1-13 13 p.

    Research output: Contribution to journalArticlepeer-review

  224. E-pub ahead of print

    Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties

    Paoletti, N., Liu, K. S., Smolka, S. A. & Lin, S., 1 Sep 2017, (E-pub ahead of print) Computational Methods in Systems Biology. Feret, J. & Koeppl, H. (eds.). Springer, p. 214-232 19 p. (Lecture Notes in Computer Science; vol. 10545).

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

  225. Published
  226. Published

    Decay constants of B and D mesons from improved relativistic lattice QCD with two flavors of sea quarks

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

    Research output: Contribution to journalArticlepeer-review

  227. Published

    Decidable models of integer-manipulating programs with recursive parallelism

    Hague, M. & Lin, A., 30 Nov 2018, In: Theoretical Computer Science. 750, p. 24-37 14 p.

    Research output: Contribution to journalArticlepeer-review

  228. E-pub ahead of print

    Decidable Models of Integer-Manipulating Programs with Recursive Parallelism

    Hague, M. & Lin, A., 13 Sep 2016, (E-pub ahead of print) Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Springer International Publishing, Vol. 9899. p. 148-162 15 p. (Lecture Notes in Computer Science; vol. 9899).

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

  229. Published

    Decision Boundaries Using Bayes Factors: The Case of Cloud Masks

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

    Research output: Contribution to journalArticle

  230. Published

    Decision Making with a KGP Agent System

    Forth, J., Stathis, K. & Toni, F., 2006, In: Journal of Decision Systems. 15, 2-3, p. 241-266 26 p.

    Research output: Contribution to journalArticlepeer-review

  231. E-pub ahead of print

    Decision procedures for path feasibility of string-manipulating programs with complex operations

    Chen, T., Hague, M., Lin, A., Rümmer, P. & Wu, Z., 2 Jan 2019, (E-pub ahead of print) p. 1-30. 30 p.

    Research output: Contribution to conferencePaperpeer-review

  232. Published

    Declarative agent control

    Kakas, A., Mancarella, P., Sadri, F., Stathis, K. & Toni, F., 2004, Computational Logic in Multi-agent Systems (CLIMA 2004). Springer-Verlag, Vol. 3487. p. 96-110 15 p.

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

  233. Published

    Decomposing Constraint Satisfaction Problems Using Database Techniques

    Gyssens, M., Jeavons, P. G. & Cohen, D. A., 1994, In: Artificial Intelligence. 66, 1, p. 57-89 33 p.

    Research output: Contribution to journalArticlepeer-review

  234. Published

    Decomposing k-arc-strong tournaments into strong spanning subdigraphs

    Bang-Jensen, J. & Yeo, A., Jul 2004, In: Combinatorica. 24, 3, p. 331-349

    Research output: Contribution to journalArticlepeer-review

  235. E-pub ahead of print

    Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach

    Montanari, U., Sammartino, M. & Tcheukam, A., 7 Feb 2018, (E-pub ahead of print) Graph Transformation, Specifications, and Nets. Heckel, R. & Taentzer, G. (eds.). Springer-Verlag, p. 179-200 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10800 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  236. Published

    Deconvolution and blind deconvolution in astronomy

    Murtagh, F., Pantin, E. & Starck, J-L., 2007, Blind Image Deconvolution: Theory and Applications. Campisi, P. & Egiazarian, K. (eds.). Taylor and Francis, p. 277-316

    Research output: Chapter in Book/Report/Conference proceedingChapter

  237. Published

    Deconvolution in astronomy: a review

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

    Research output: Contribution to journalArticle

  238. Forthcoming

    Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation

    Bagga, P., Paoletti, N. & Stathis, K., 2022, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  239. Published

    Deep Learning Based Fault Prediction in Wireless Sensor Network Embedded Cyber-Physical Systems for Industrial Processes

    Ruan, H., Dorneanu, B., Mohamed, A., Arellano-Garcia, H., Xiao, P. & Zhang, L., 20 Jan 2022, In: IEEE Access.

    Research output: Contribution to journalArticlepeer-review

  240. Published

    Deep learning based melanoma diagnosis using dermoscopic images

    Wall, C., Young, F., Zhang, L., Phillips, E-J., Jiang, R. & Yu, Y., 15 Aug 2020, World Scientific Proceedings Series on Computer Engineering and Information Science. In: Developments of Artificial Intelligence Technologies in Computation and Robotics. World Scientific Proceedings Series on Computer Engineering and Information Science, 12. : World Scientific, Singapore, p. 907-914 8 p.

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

  241. Published

    Deep learning-based fall detection

    Chiang, J. W. H. & Zhang, L., 15 Aug 2020, Deep learning-based fall detection . In: Developments of Artificial Intelligence Technologies in Computation and Robotics. World Scientific Proceedings Series on Computer Engineering and Information Science, 12.: World Scientific, Singapore, p. 891-898 8 p.

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

  242. Published

    Deep Recurrent Neural Networks with Attention Mechanisms for Respiratory Anomaly Classification

    Wall, C., Zhang, L., Yu, Y. & Mistry, K., 20 Sep 2021, 2021 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks (IJCNN): IEEE

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

  243. Published

    Defending financial infrastructures through early warning systems: The intelligent cloud approach

    Lodi, G., Querzoni, L., Baldoni, R., Marchetti, M., Colajanni, M., Bortnikov, V., Chockler, G., Dekel, E., Laventman, G. & Roytman, A., 2009, Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies (CSIIRW '09).

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

  244. Published

    Defensive Forecast for Conformal Bounded Regression

    Nouretdinov, I. & Lebedev, A., Oct 2013, The 9th Artificial Intelligence Applications and Innovations Conference (AIAI): 2nd Workshop on Conformal Prediction and its Applications. p. 384-393 10 p. (IFIP Advances in Information and Communication Technology; vol. 412).

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

  245. Published

    Defensive forecasting

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

    Research output: Working paper

  246. Published

    Defensive forecasting

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

    Research output: Working paper

  247. Published

    Defensive forecasting

    Vovk, V., Takemura, A. & Shafer, G., 2005, Proceedings of the Tenth International Workshop on Articial Intelligence and Statistics. Cowell, R. & Ghahramani, Z. (eds.). p. 365-372 8 p.

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

  248. Published

    Defensive forecasting for linear protocols

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

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

  249. Published

    Defensive forecasting for linear protocols

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

    Research output: Working paper

  250. Published
  251. Published

    Defensive prediction with expert advice

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

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

  252. Published

    Dependent coercions

    Luo, Z. & Soloviev, S., 1999, Proc of the 8th Inter. Conf. on Category Theory in Computer Science (CTCS'99), Edinburgh, Scotland. Electronic Notes in Theoretical Computer Science, Vol 29.

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

  253. Published

    Dependent Event Types

    Luo, Z. & Soloviev, S., 2017, Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. Springer, p. 216-228 13 p. (Lecture Notes in Computer Science; vol. 10388).

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

  254. Published

    Dependent Randomized Rounding: The Bipartite Case

    Doerr, B., Künnemann, M. & Wahlström, M., 2011, 2011 Proceedings of the Thirteenth Workshop on Algorithm Engineering and Experiments (ALENEX). Müller-Hannemann, M. & Werneck, R. (eds.). San Francisco, California, USA: SIAM, p. 96-106 11 p.

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

  255. Published

    Dependent record types revisited

    Luo, Z., 2009, Modules and Libraries for Proof Assistants (MLPA'09), ACM Inter. Conf. Proceeding Series. Vol. 429.

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

  256. Published

    Derandomizing stochastic prediction strategies

    Vovk, V., 1997, Proceedings of the Tenth Annual Conference on Computational Learning Theory. Freund, Y. & Schapire, R. (eds.). New York: ACM Press, p. 32-44 13 p.

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

  257. Published

    Derandomizing stochastic prediction strategies

    Vovk, V., Jun 1999, In: Machine Learning. 35, 3, p. 247-282 36 p.

    Research output: Contribution to journalArticlepeer-review

  258. Published

    Derivation of Constraints and Database Relations

    Cohen, D. A., Gyssens, M. & Jeavons, P. G., 1996, p. 134-148.

    Research output: Contribution to conferencePaper

  259. Published

    Derivation representation using binary subtree sets

    Scott, E., Johnstone, A. & van Binsbergen, L. T., 15 Apr 2019, In: Science of Computer Programming. 175, p. 63-84 22 p.

    Research output: Contribution to journalArticlepeer-review

  260. Published

    Describing, structuring and implementing objects

    FIADEIRO, J. & MAIBAUM, T., 1991, In: Lecture Notes in Computer Science. 489, p. 274-310 37 p.

    Research output: Contribution to journalArticlepeer-review

  261. Published

    Design and implementation of caching services in the cloud

    Chockler, G., Laden, G. & Vigfusson, Y., Nov 2011, In: IBM Journal of Research and Development. 55, 6, p. 9:1-9:11 11 p., 9.

    Research output: Contribution to journalArticlepeer-review

  262. Published

    Design and implementation of caching services in the cloud

    Chockler, G., Laden, G. & Vigfusson, Y., 2011, In: IBM Journal of Research and Development. 55, 6, 11 p., 9.

    Research output: Contribution to journalArticlepeer-review

  263. Published

    Designing a Mathematical Vernacular (Invited talk at ESSLLI'97)

    Luo, Z. & Callaghan, P., 1997.

    Research output: Contribution to conferencePaperpeer-review

  264. Published

    Designing deterministic polynomial-space algorithms by color-coding multivariate polynomials

    Gutin, G., Reidl, F., Wahlstrom, M. & Zehavi, M., Aug 2018, In: Journal of Computer and System Sciences. 95, p. 69-85 17 p.

    Research output: Contribution to journalArticlepeer-review

  265. Published

    Designing for software's social complexity

    Fiadeiro, J. L., 1 Jan 2007, In: IEEE Computer. 40, 1, p. 34-39 6 p.

    Research output: Contribution to journalArticlepeer-review

  266. E-pub ahead of print

    Designing Robust Software Systems through Parametric Markov Chain Synthesis

    Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., 18 May 2017, (E-pub ahead of print) Software Architecture (ICSA), 2017 IEEE International Conference on. p. 131-140 10 p.

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

  267. Published

    Detecting and predicting privacy violations in online social networks

    Kafali, O., Gunay, A. & Yolum, P., 2013, In: Distributed and Parallel Databases. p. 1-30 30 p.

    Research output: Contribution to journalArticlepeer-review

  268. Published

    Detecting Depression from Speech through an Attentive LSTM Network

    Zhao, Y., Xie, Y., LIANG, R., Zhang, L., Zhao, L. & Liu, C., 1 Nov 2021, In: IEICE Transactions on Information and Systems. E104.D, 11, p. 2019-2023 5 p.

    Research output: Contribution to journalArticlepeer-review

  269. Published

    Detecting Exceptions in Commitment Protocols: Discovering Hidden States

    Kafali, O. & Yolum, P., 2010, Languages, Methodologies and Development Tools for Multi-Agent Systems. Vol. 6039. p. 112-127 16 p. (LNCS).

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

  270. Published

    Detecting Malicious Code by Model Checking

    Kinder, J., Katzenbeisser, S., Schallhart, C. & Veith, H., 2005, Detection of Intrusions and Malware, and Vulnerability Assessment. Springer, p. 174-187

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

  271. Published

    Detecting overlapping protein complexes in protein-protein interaction networks

    Nepusz, T., Yu, H. & Paccanaro, A., 2012, In: Nature Methods. 9, 5, p. 471–472 2 p.

    Research output: Contribution to journalArticlepeer-review

  272. Published

    Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach

    Hague, M., Lin, A. & Ong, C-H. L., 23 Oct 2015, OOPSLA 2015: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. New York, NY: ACM, p. 1-19 19 p.

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

  273. Published

    Detecting Spam Email With Machine Learning Optimized With Bio-Inspired Metaheuristic Algorithms

    Gibson, S., Issac, B., Zhang, L. & Jacob, S. M., 13 Oct 2020, In: IEEE Access. 8, p. 187914-187932 19 p.

    Research output: Contribution to journalArticlepeer-review

  274. Published

    Detection of Untrustworthy IoT Measurements Using Expert Knowledge of Their Joint Distribution

    Nouretdinov, I., Darwish, S. & Wolthusen, S., 2018, 16th International Conference On Smart homes and health Telematics (ICOST'2018). Springer, p. 310-316 7 p. (Lecture Notes in Computer Science; vol. 10898).

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

  275. Forthcoming

    Determining Confidence of Predicted Interactions Between HIV-1 and Human Proteins Using Conformal Method

    Nouretdinov, I., Gammerman, A., Qi, Y. & Klein-Seetharaman, J., 2012, (Accepted/In press) Pacific Symposium on Biocomputing. Vol. 17. p. 311-322 12 p.

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

  276. Published

    Deterministic versus Probabilistic Methods for Searching for an Evasive Target

    Bernardini, S., Fox, M., Long, D. & Piacentini, C., 12 Feb 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). p. 3709-3715 7 p.

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

  277. Published

    Developing reuse technology in proof engineering

    Luo, Z., 1 Apr 1995, Proceedings of AISB95, Workshop on Automated Reasoning: bridging the gap between theory and practice, Sheffield, U.K..

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

  278. Published

    DEX: self-healing expanders

    Pandurangan, G., Robinson, P. & Trehan, A., Jun 2016, In: Distributed Computing. 29, 3, p. 163-185 23 p.

    Research output: Contribution to journalArticlepeer-review

  279. Published

    DEX: Self-Healing Expanders

    Pandurangan, G., Robinson, P. & Trehan, A., 2014, 2014 IEEE 28th International Parallel and Distributed Processing Symposium, Phoenix, AZ, USA, May 19-23, 2014. p. 702-711 10 p.

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

  280. Published

    Diagnosing Commitments: Delegation Revisited (Extended Abstract)

    Kafali, O. & Torroni, P., 2011, AAMAS 2011: 10th International Conference on Autonomous Agents and Multiagent Systems. p. 1175-1176 2 p.

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

  281. Published

    DIESECT: A DIstributed Environment for Simulating E-commerce ContracTs

    Wood, D., Kafali, O. & Stathis, K., 2013, E-Commerce and Web Technologies. Huemer, C. & Lops, P. (eds.). Springer Berlin / Heidelberg, Vol. 152. p. 39-50 12 p. (Lecture Notes in Business Information Processing).

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

  282. Published

    DiffusionRank: A possible penicillin for web spamming

    Yang, H., King, I. & Lyu, M. R., 1 Jan 2007, Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07. p. 431-438 8 p.

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

  283. Published

    Digraphs: Theory, Algorithms and Applications

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

    Research output: Book/ReportBook

  284. Published

    Digraphs: Theory, Algorithms and Applications

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

    Research output: Book/ReportBook

  285. Published

    Directed Acyclic Subgraph Problem Parameterized above Poljak-Turzik Bound

    Crowston, R., Gutin, G. & Jones, M., 2012, FSTTCS 2012: LIPICS . Vol. 18. p. 400-411

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

  286. E-pub ahead of print

    Directed Flow-Augmentation

    Kim, E. J., Kratsch, S., Pilipczuk, M. & Wahlström, M., 11 Apr 2022, (E-pub ahead of print) Proceedings of STOC 2022. Association for Computing Machinery (ACM)

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

  287. Published

    Directed multicut is W[1]-hard, even for four terminal pairs

    Pilipczuk, M. & Wahlstrom, M., 2016, Proceedings of SODA 2016. Krauthgamer, R. (ed.). SIAM, p. 1167-1178 12 p.

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

  288. Published

    Directed Multicut is W[1]-hard, Even for Four Terminal Pairs

    Pilipczuk, M. & Wahlstrom, M., 28 Jun 2018, In: ACM Transactions on Computation Theory (TOCT). 10, 3, p. 1-18 18 p., 13.

    Research output: Contribution to journalArticlepeer-review

  289. Published

    Diregular c-partite tournaments are vertex-pancyclic when c>=5

    Yeo, A., 1999, In: Journal of Graph Theory. 32, p. 137-152 16 p.

    Research output: Contribution to journalArticlepeer-review

  290. Published

    DIROM: an experimental design interactive system for directed mutagenesis and nucleic acids engineering

    Makarova, K. S., Mazin, A. V., Wolf, Y. I. & Solovyev, V., 1 Oct 1992, In: Bioinformatics. 8, 5, p. 425-431 7 p.

    Research output: Contribution to journalArticlepeer-review

  291. Published

    Discrimination of Different Species of Dendrobium with an Electronic Nose Using Aggregated Conformal Predictor

    Wang, Y., Wang, Z., Diao, J., Sun, X., Luo, Z. & Li, G., 25 Feb 2019, In: Sensors. 19, 4, p. 1-15 15 p., 964.

    Research output: Contribution to journalArticlepeer-review

  292. Published

    Discussion of: Treelets - An adaptive multi-Scale basis for sparse unordered data

    Murtagh, F., 2008, In: Annals of Applied Statistics. 2, p. 472-473

    Research output: Contribution to journalComment/debatepeer-review

  293. Published

    Discussion on Hedging Predictions in Machine Learning by A. Gammerman and V. Vovk

    Luo, Z. & Bellotti, T., 2007, In: The Computer Journal. 50, 2

    Research output: Contribution to journalArticlepeer-review

  294. Published

    Disease gene prediction for molecularly uncharacterized diseases

    Caceres, J. & Paccanaro, A., 5 Jul 2019, In: PLoS Computational Biology. 15, 7, p. 1-14 14 p., e1007078.

    Research output: Contribution to journalArticlepeer-review

  295. Published

    Disposable blood potassium sensors based on screen-printed thick film electrodes

    Xu, H., Yang, X., Wang, Y., Zheng, J., Luo, Z. & Li, G., 2010, In: Measurement Science and Technology. 21, 5

    Research output: Contribution to journalArticlepeer-review

  296. E-pub ahead of print

    Dissecting the chromatin interactome of microRNA genes

    Chen, D., Fu, L-Y., Zhang, Z., Yu, G., Zhang, H., Jiang, L., Harrison, A., Shanahan, H., Klukas, C., Zhang, H-Y., Ruan, Y., Chen, LI-LI. & Chen, M., 20 Dec 2013, (E-pub ahead of print) In: Nucleic Acids Research.

    Research output: Contribution to journalArticlepeer-review

  297. Published

    Distant Pedestrian Detection in the Wild using Single Shot Detector with Deep Convolutional Generative Adversarial Networks

    Dinakaran, R., Easom, P., Zhang, L., Bouridane, A., Jiang, R. & Edirisinghe, E., 30 Sep 2019, 2019 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks (IJCNN): IEEE

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

  298. Published

    Distinct light-initiated gene expression and cell cycle programs in the shoot apex and cotyledons of Arabidopsis

    López-Juez, E., Dillon, E., Magyar, Z., Khan, S., Hazeldine, S., de Jager, S. M., Murray, J. A., Beemster, G. T., Bögre, L. & Shanahan, H., Apr 2008, In: Plant Cell. 20, 4, p. 947-968 22 p.

    Research output: Contribution to journalArticlepeer-review

  299. Published

    Distributed agent environments in the Ambient Event Calculus

    Bromuri, S., Stathis, K., Gokhale, A. S. (ed.) & Schmidt, D. C. (ed.), 2009.

    Research output: Contribution to conferencePaperpeer-review

  300. Published

    Distributed agreement in dynamic peer-to-peer networks

    Augustine, J., Pandurangan, G., Robinson, P. & Upfal, E., Nov 2015, In: Journal of Computer and System Sciences. 81, 7, p. 1088-1109 22 p.

    Research output: Contribution to journalArticlepeer-review

  301. Published

    Distributed Algorithmic Foundations of Dynamic Networks

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

    Research output: Contribution to journalArticle

  302. Published

    Distributed Attack Detection Using Agilis: Collaborative Financial Infrastructure Protection

    Aniello, L., Baldoni, R., Chockler, G., Laventman, G., Lodi, G. & Vigfusson, Y., 2012, Collaborative Financial Infrastructure Protection. Baldoni, R. & Chockler, G. (eds.). Springer Berlin / Heidelberg, p. 157-174 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  303. Published

    Distributed Computation of Large-scale Graph Problems

    Klauck, H., Nanongkai, D., Pandurangan, G. & Robinson, P., 2015, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015. p. 391-410 20 p.

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

  304. Published

    Distributed Group Working in Software Engineering

    Brereton, P., Lees, S., Gumbley, M., Boldyreff, C., Drummond, S., Layzell, P., Macaulay, L. & Young, R., 1998, In: Information and Software Technology. 40, 4, p. 221-227 7 p.

    Research output: Contribution to journalArticlepeer-review

  305. Published

    Distributed Methods for Computing Approximate Equilibria

    Czumaj, A., Deligkas, A., Fasoulakis, M., Fearnley, J., Jurdzinski, M. & Savani, R., 15 Mar 2019, In: Algorithmica. 81, p. 1205–1231 27 p.

    Research output: Contribution to journalArticlepeer-review

  306. Published

    Distributed Symmetry Breaking in Hypergraphs

    Kutten, S., Nanongkai, D., Pandurangan, G. & Robinson, P., 2014, Distributed Computing - 28th International Symposium, DISC 2014, Austin, TX, USA, October 12-15, 2014. Proceedings. p. 469-483 15 p.

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

  307. Published

    Distributed visual information management in astronomy

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

    Research output: Contribution to journalArticle

  308. Published

    Distribution concerns in service-oriented modelling

    Aoumeur, N., Fiadeiro, J. L. & Oliveira, C., 2006, In: IJIPT. 1, 3, p. 144-158 15 p.

    Research output: Contribution to journalArticlepeer-review

  309. Published

    Distributional Learning of some Context-free Languages with a Minimally Adequate Teacher

    Clark, A., 1 Sep 2010, Grammatical Inference: Theoretical Results and Applications. p. 24-37

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

  310. Published

    DOCKET: Program Comprehension-in-the-Large

    Layzell, P. J., Champion, R. & Freeman, M. J., 1993, IEEE 2nd Workshop on Program Comprehension, Capri, Italy. p. 140-148 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  311. Published

    Document Classification Models Based On Bayesian Networks

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

    Research output: ThesisDoctoral Thesis

  312. Published

    Does My Rebuttal Matter? Insights from a Major NLP Conference

    Gao, Y., Eger, S., Kuznetsov, I., Gurevych, I. & Miyao, Y., Jun 2019, Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Minneapolis, Minnesota: Association for Computational Linguistics, Vol. 1. p. 1274–1290 17 p.

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

  313. Published

    Domain permutation reduction for constraint satisfaction problems

    Green, M. J. & Cohen, D. A., May 2008, In: Artificial Intelligence. 172, 8-9, p. 1094-1118 25 p.

    Research output: Contribution to journalArticlepeer-review

  314. E-pub ahead of print

    Domain Reduction for Valued Constraints by Generalising Methods from CSP

    Cohen, D., Cooper, M. & Jguirim1, W., 23 Aug 2018, (E-pub ahead of print) p. 64-80. 17 p.

    Research output: Contribution to conferencePaperpeer-review

  315. Published

    Domains for Higher-Order Games

    Hague, M., Meyer, R. & Muskalla, S., 2017, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017). LIPIcs, p. 59:1-59:15 15 p. 59

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

  316. Published

    Domination Above r-Independence: Does Sparseness Help?

    Einarson, C. & Reidl, F., 30 Aug 2019, 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 138. p. 40:1-40:13 13 p. 40. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

  317. Published

    Domination analysis for minimum multiprocessor scheduling

    Gutin, G., Jensen, T. & Yeo, A., 2006, In: Discrete Applied Mathematics. 154, p. 2613-2619 7 p.

    Research output: Contribution to journalArticlepeer-review

  318. Published

    Domination Analysis of Combinatorial Optimization Algorithms and Problems

    Gutin, G. & Yeo, A., 2005, In: Graph Theory, Combinatorics and Algorithms. 34, p. 145-171 27 p.

    Research output: Contribution to journalArticlepeer-review

  319. Published

    Domination Analysis of Combinatorial Optimization Problems

    Gutin, G., Vainshtein, A. & Yeo, A., 2003, In: Discrete Applied Mathematics. 129, p. 513-520 8 p.

    Research output: Contribution to journalArticlepeer-review

  320. Published

    Domination in convex bipartite and round graphs

    Bang-Jensen, J., Huang, J., MacGillivray, G. & Yeo, A., 2006, In: International Journal of Mathematical Sciences. 5, 2

    Research output: Contribution to journalArticlepeer-review

  321. Published

    Dr. Multicast: Rx for Data Center Communication Scalability

    Vigfusson, Y., Abu-Libdeh, H., Balakrishnan, M., Birman, K., Burgess, R., Chockler, G., Li, H. & Tock, Y., Apr 2010, EuroSys '10 Proceedings of the 5th European conference on Computer systems. Paris, France: ACM, p. 349-362 14 p.

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

  322. Published

    DroidScribe: Classifying Android Malware Based on Runtime Behavior

    Dash, S., Suarez-Tangil, G., Khan, S., Tam, K., Ahmadi, M., Kinder, J. & Cavallaro, L., 4 Aug 2016, Security and Privacy Workshops (SPW), 2016 IEEE: Mobile Security Technologies (MoST 2016). IEEE, p. 252-261 10 p.

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

  323. Published

    DroidSieve: Fast and Accurate Classification of Obfuscated Android Malware

    Suarez de Tangil Rotaeche, G., Dash, S., Ahmadi, M., Kinder, J., Giacinto, G. & Cavallaro, L., 22 Mar 2017, ACM CODASPY. ACM, p. 309-320 12 p.

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

  324. Published

    Drug cocktail selection for the treatment of chagas disease: A multi-objective approach

    Torres Bobadilla, M., Caceres Silva, J., Jimenez, R., Yubero, V., Vega, C., Rolón, M., Cernuzzi, L., Barán, B. & Paccanaro, A., 21 Dec 2017, SLIOIA - Simposio Latinoamericano de Investigación de Operaciones e Inteligencia Artificial 2017. p. 1-5 5 p.

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

  325. Published

    Drug targets prediction using chemical similarity

    Galeano Galeano, D. & Paccanaro, A., 26 Jan 2017, XLII Conferencia Latinoamericana de Informatica (CLEI). IEEE Xplore, p. 1-7 7 p. (2016 XLII Latin American Computing Conference (CLEI)).

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

  326. Published

    Dynamic alignment kernels

    Watkins, C., 1999, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. p. 39-50 12 p.

    Research output: Contribution to journalArticlepeer-review

  327. Published

    Dynamic analysis of a flexible rotor supported by ball bearings with damping rings based on FEM and lumped mass theory

    Zhu, H., Chen, W., Zhu, R., Zhang, L., Gao, J. & Liao, M., Dec 2020, In: Journal of Central South University. 27, p. 3684–3701 18 p.

    Research output: Contribution to journalArticlepeer-review

  328. Unpublished

    Dynamic Causal Discovery

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

    Research output: ThesisDoctoral Thesis

  329. Published

    Dynamic data integration using web services

    Zhu, F., Turner, M., Kotsiopoulos, I., Bennett, K., Russell, M., Budgen, D., Brereton, P., Keane, J., Layzell, P., Rigby, M. & Xu, J., 2004, IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 262-269 8 p.

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

  330. Published

    Dynamic Data Integration Using Web Services

    Zhu, F., Turner, M., Kotsiopoulos, I., Bennett, K., Russell, M., Budgen, D., Brereton, P., Keane, J., Layzell, P., Rigby, M. & Xu, J., 2004, ICWS 2004, San Diego, July 2004. IEEE Computer Society Press, p. 262-269 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  331. Published

    Dynamic Data Integration: A Service-Based Broker Approach

    Zhu, F., Turner, M., Kotsiopoulos, I., Bennett, K., Russell, M., Budgen, D., Brereton, P., Keane, J., Layzell, P., Rigby, M. & Xu, J., 2006, In: International Journal of Business Process Integration and Management. 1, 3, p. 175-191 17 p.

    Research output: Contribution to journalArticlepeer-review

  332. Published

    Dynamic Multirole Session Types

    Denielou, P-M. & Yoshida, N., 2011, POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. NEW YORK: ACM, p. 435-446 12 p.

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

  333. Published

    Dynamic networks of heterogeneous timed machines

    Fiadeiro, J. L., Lopes, A., Delahaye, B. & Legay, A., Jun 2018, In: Mathematical Structures in Computer Science. 28, 6, p. 800-855 56 p.

    Research output: Contribution to journalArticlepeer-review

  334. Published

    Dynamic Performance Profiling of Cloud Caches

    Saemundsson, T., Bjornsson, H., Chockler, G. & Vigfusson, Y., 3 Nov 2014, p. 1-14. 14 p.

    Research output: Contribution to conferencePaperpeer-review

  335. Published

    Dynamic Performance Profiling of Cloud Caches

    Chockler, G., Vigfusson, Y., Saemundsson, T. & Bjornsson, H., 2013.

    Research output: Contribution to conferencePosterpeer-review

  336. Published

    Dynamic Programming on Nominal Graphs

    Hoch, N., Montanari, U. & Sammartino, M., 2015, Proceedings Graphs as Models. Rensink, A. & Zambon, E. (eds.). Electronic Proceedings in Theoretical Computer Science, Vol. 181. p. 80-96 17 p. (EPTCS).

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

  337. E-pub ahead of print

    Dynamic route prediction with the magnetic field strength for indoor positioning

    Nguyen, K. & Luo, Z., 18 Mar 2017, (E-pub ahead of print) In: International Journal of Wireless and Mobile Computing. 12, 1, p. 16-35 20 p.

    Research output: Contribution to journalArticlepeer-review

  338. Published

    Dynamical quark effects on light quark masses

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 27 Nov 2000, In: Physical Review Letters. 85, 22, p. 4674-4677 4 p.

    Research output: Contribution to journalArticlepeer-review

  339. Published

    E2FB Interacts with RETINOBLASTOMA RELATED and Regulates Cell Proliferation during Leaf Development

    Őszi, E., Papdi, C., Mohammed, B., Petkó-Szandtner, A., Leviczky, T., Molnár, E., Galvan-Ampudia, C., Safina, K., Lopez Juez, E., Horvath, B., Bogre, L. & Magyar, Z., 6 Jan 2020, In: Plant physiology. 182, 1, p. 518-533 16 p.

    Research output: Contribution to journalArticlepeer-review

  340. Published

    Early detection of ovarian cancer in samples pre-diagnosis using CA125 and MALDI-MS peaks

    Timms, J. F., Menon, U., Devetyarov, D., Tiss, A., Camuzeaux, S., McCurrie, K., Nouretdinov, I., Burford, B., Smith, C., Gentry-Maharaj, A., Hallett, R., Ford, J., Luo, Z., Vovk, V., Gammerman, A., Cramer, R. & Jacobs, I., Nov 2011, In: Cancer Genomics and Proteomics. 8, 6, p. 289-305

    Research output: Contribution to journalArticlepeer-review

  341. Published

    Early model-analysis of logistics systems

    Azmat, F., Bocchi, L. & Fiadeiro, J. L., 1 Jan 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6568 LNCS. p. 225-236 12 p.

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

  342. Published

    Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems

    Biely, M., Robinson, P. & Schmid, U., 2011, Principles of Distributed Systems - 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings. p. 299-312 14 p.

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

  343. Published

    ECC, an Extended Calculus of Constructions

    Luo, Z., 1 Jun 1989, Logics in Computer Science (LICS 1989).

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

  344. Published

    Editorial

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

    Research output: Contribution to journalArticle

  345. Published

    Editorial: Kolmogorov complexity

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

    Research output: Contribution to journalEditorial

  346. Published

    Editors' introduction

    Hutter, M., Stephan, F., Vovk, V. & Zeugmann, T., 2010, Proceedings of the Twentieth International Conference on Algorithmic Learning Theory. Berlin: Springer, Vol. 6331. p. 1-10 10 p. (Lecture Notes in Articial Intelligence).

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

  347. Published

    Effect of secondary structure prediction on protein fold recognition and database search

    Alexandrov, N. N. & Solovyev, V., 1996, In: Genome Informatics. 7, p. 119-127

    Research output: Contribution to journalArticlepeer-review

  348. Published

    Effect of tree-level and mean-field improvement on the light-hadron spectrum in quenched QCD

    Shanahan, H. P., Davies, C. T. H., Bowler, K. C., Kenway, R. D., Richards, D. G., Rowland, P. A., Ryan, S. M., Lacock, P., Michael, C., Burford, D. R., Stella, N. & Wittig, H., 1 Feb 1997, In: Physical Review D . 55, 3, p. 1548-1558 11 p.

    Research output: Contribution to journalArticlepeer-review

  349. Published

    Efficiency of conformalized ridge regression

    Burnaev, E. & Vovk, V., 2014, Proceedings of the Twenty Seventh Annual Conference on Learning Theory: JMLR: Workshop and Conference Proceedings. Vol. 35. p. 605-622 18 p.

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

  350. Published

    Efficient Computation of Balanced Structures

    Harris, D. G., Morsy, E., Pandurangan, G., Robinson, P. & Srinivasan, A., 2013, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. p. 581-593 13 p.

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

  351. Published

    Efficient computation of sparse structures

    Harris, D. G., Morsy, E., Pandurangan, G., Robinson, P. & Srinivasan, A., Sep 2016, In: Random Structures and Algorithms. 49, 2, p. 322-344 23 p.

    Research output: Contribution to journalArticlepeer-review

  352. Published

    Efficient local search algorithms for known and new neighborhoods for the generalized traveling salesman problem

    Karapetyan, D. & Gutin, G., 2012, In: European Journal of Operational Research. 219, p. 234--251

    Research output: Contribution to journalArticlepeer-review

  353. Published

    Efficient model checking of fault-tolerant distributed protocols

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 2011, Proc. 41st Int Conf. Dependable Systems and Networks (DSN-DCCS 2011). IEEE, p. 73-84

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

  354. Published

    Efficient Sampling with Small Populations: a Genetic Algorithm Satisfying Detailed Balance

    Watkins, C. & Buttkewitz, Y., 11 Jul 2015, Gecco Companion '15: Proceedings of the Companion Publication of the 2015 Genetic and Evolutionary Computation Conference. p. 1517-1518 2 p.

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

  355. Published

    Efficient state merging in symbolic execution

    Kuznetsov, V., Kinder, J., Bucur, S. & Candea, G., Jun 2012, Proc. 33rd Conf. Programming Language Design and Implementation (PLDI 2012). ACM, p. 193-204

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

  356. Published

    Efficient State Merging in Symbolic Execution (Extended Abstract)

    Kuznetsov, V., Kinder, J., Bucur, S. & Candea, G., 2014, p. 45-46. 2 p.

    Research output: Contribution to conferenceAbstractpeer-review

  357. Published

    Efficient synthesis of robust models for stochastic systems

    Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., Sep 2018, In: Journal of Systems and Software. 143, p. 140-158 19 p.

    Research output: Contribution to journalArticlepeer-review

  358. Published

    Efficient, correct, unsupervised learning of context-sensitive languages

    Clark, A., 2010, Proceedings of the Fourteenth Conference on Computational Natural Language Learning. p. 28-37

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

  359. Published

    Eigenvalues of the hermitian Wilson-Dirac operator and chiral properties of the domain-wall fermion

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kanebo, T., Kuramashi, Y., Manke, T., Nagai, K. I., Noaki, J., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A. & Yoshie, T., Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 725-728 4 p.

    Research output: Contribution to journalArticlepeer-review

  360. Published

    Electroantennogram obtained from honeybee antennae for odor detection

    Wang, Y., Zheng, Y., Luo, Z. & Li, G., 2010, Lecture Notes in Computer Science. Springer, Vol. 6063. p. 63-66

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

  361. Submitted

    Embedding Open Science practice into Data Science Training

    Shanahan, H., 1 Jan 2019, (Submitted).

    Research output: Contribution to conferencePosterpeer-review

  362. Published

    Enabling Fair ML Evaluations for Security

    Pendlebury, F., Pierazzi, F., Jordaney, R., Kinder, J. & Cavallaro, L., 8 Oct 2018, p. 2264-2266. 3 p.

    Research output: Contribution to conferencePosterpeer-review

  363. E-pub ahead of print

    Enabling Robust and Efficient Distributed Computation in Dynamic Peer-to-Peer Networks

    Augustine, J., Pandurangan, G., Robinson, P., Roche, S. & Upfal, E., 17 Dec 2015, (E-pub ahead of print) Foundations of Computer Science (FOCS), 2015 IEEE 56th Annual Symposium on. IEEE, p. 1-20 20 p.

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

  364. Published

    Encoding the Factorisation Calculus

    Rowe, R., 27 Aug 2015, Proceedings of the Combined 22nd International Workshop on Expressiveness in Concurrency and the 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015). Electronic Proceedings in Theoretical Computer Science, Vol. 190. p. 76-90 15 p.

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

  365. Published

    Enforcing Business Policies Through Automated Reconfiguration

    Andrade, L. F., Fiadeiro, J. L. & Wermelinger, M., 2001, ASE. IEEE Computer Society Press, p. 426-

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

  366. Published

    Engineering Algorithms for Workflow Satisfiability Problem with User-Independent Constraints

    Cohen, D., Crampton, J., Gagarin, A., Gutin, G. & Jones, M., 2014, FAW 2014. (Lecture Notes in Computer Science; vol. 8497).

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

  367. Published

    Engineering tradeoffs in the design of a real-time system for visual inspection of small products

    Davies, E. R. & Johnstone, A., 1986, p. 15-22.

    Research output: Contribution to conferencePaperpeer-review

  368. Published

    Enhanced Conformal Predictors for Indoor Localisation Based on Fingerprinting Method

    Nguyen, K. & Luo, Z., 2 Oct 2013, 9th IFIP International Conference on Artificial Intelligence Applications & Innovations (AIAI 2013). p. 411-420 10 p. (IFIP Advances in Information and Communication Technology).

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

  369. Published

    Enhanced factorization machine via neural pairwise ranking and attention networks

    Yu, Y., Jiao, L., Zhou, N., Zhang, L. & Yin, H., Dec 2020, In: Pattern Recognition Letters. 140, p. 348-357 10 p.

    Research output: Contribution to journalArticlepeer-review

  370. Published

    Enhancing dependability through flexible adaptation to changing requirements

    Wermelinger, M., Koutsoukos, G., Lourenço, H., Avillez, R., Gouveia, J., Andrade, L. & Fiadeiro, J. L., 1 Jan 2004, In: Lecture Notes in Computer Science. 3069, p. 3-24 22 p.

    Research output: Contribution to journalArticlepeer-review

  371. Published

    Enhancing the Software Maintenance Factor in JSD Using Rules

    Poo, C. C. & Layzell, P. J., 1990, Comp Euro 90, IEEE Computer Society, Tel-Aviv, Israel, 7-9 May 1990.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  372. Published

    ENRICHED AND DEPLETED SOURCE COMPONENTS FOR THOLEIITIC AND ALKALINE LAVAS FROM ZUNI-BANDERA, NEW-MEXICO - INFERENCES ABOUT INTRAPLATE PROCESSES AND STRATIFIED LITHOSPHERE

    MENZIES, M. A., KYLE, P. R., JONES, M. & INGRAM, G., 30 Jul 1991, In: Journal of Geophysical Research. 96, B8, p. 13645-13671 27 p.

    Research output: Contribution to journalArticlepeer-review

  373. E-pub ahead of print

    Epidemic contact tracing with smartphone sensors

    Nguyen, D. K. A., Luo, Z. & Watkins, C., 1 Sep 2020, (E-pub ahead of print) In: Journal of Location Based Services. 37 p.

    Research output: Contribution to journalArticlepeer-review

  374. Published

    Equation of state in finite-temperature QCD with improved Wilson quarks

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

    Research output: Contribution to journalArticlepeer-review

  375. Published

    Equation of state in finite-temperature QCD with two flavors of improved Wilson quarks

    Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K. I., Okamoto, M., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A. & Yoshie, T., 1 Oct 2001, In: Physical Review D . 6407, 7, p. art. no.-074510 17 p.

    Research output: Contribution to journalArticlepeer-review

  376. Forthcoming

    Equilibrium Resolution for Epoch Partitioning

    Wisniewski, W., Kalnishkan, Y., Lindsay, D. & Lindsay, S., 31 Mar 2022, (Accepted/In press) Proceedings of the 18th International Conference on Artificial Intelligence Applications and Innovations. Springer, (SPRINGER IFIP AICT).

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

  377. E-pub ahead of print

    ErbB-3 BINDING PROTEIN 1 Regulates Translation and Counteracts RETINOBLASTOMA RELATED to Maintain the Root Meristem

    Lokdarshi, A., Papdi, C., Pettkó-Szandtner, A., Dorokhov, S., Scheres, B., Magyar, Z., von Arnim, A. G., Bogre, L. & Horvath, B., 31 Jan 2020, (E-pub ahead of print) In: Plant physiology. 182, 2, p. 919-932 14 p.

    Research output: Contribution to journalArticlepeer-review

  378. Published

    Erratum: Dynamical quark effects on light quark masses (vol 85, pg 4674, 2000)

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, 17 Jan 2003, In: Physical Review Letters. 90, 2, p. - 2 p.

    Research output: Contribution to journalArticlepeer-review

  379. Published

    Eta meson mass and topology in QCD with two light flavors

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

    Research output: Contribution to journalArticlepeer-review

  380. Published

    Evaluating GLR parsing algorithms

    Johnstone, A., Scott, E. & Economopoulos, G., Aug 2006, In: Science of Computer Programming. 61, 3, p. 228-244 17 p.

    Research output: Contribution to journalArticlepeer-review

  381. Published

    Evaluating Machine Translation without Human References Using Cross-lingual Encoders

    Zhao, W., Gao, Y. & Eger, S., Oct 2019.

    Research output: Contribution to conferenceAbstractpeer-review

  382. Published

    Evaluation and Extension of Inductive Venn-Abers Predictive Distribution

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

    Research output: Other contribution

  383. Published

    Evaluation of Bluetooth Properties for Indoor Localisation

    Nguyen, K. & Luo, Z., 3 Jan 2013, Progress in Location-Based Services: Lecture Notes in Geoinformation and Cartography. Munich, Germany: Springer, p. 127-149 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  384. Published

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

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

    Research output: Contribution to journalArticle

  385. Published

    E-values: Calibration, combination, and applications

    Vovk, V. & Wang, R., 9 Aug 2021, In: The Annals of Statistics. 49, 3, p. 1736-1754 19 p.

    Research output: Contribution to journalArticlepeer-review

  386. Published

    EVATAR - A Prototyping Middleware Embodying Virtual Agents to Autonomous Robots

    Dipsis, N. & Stathis, K., 2010, p. 167-175. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  387. Published

    Event dissemination in mobile wireless sensor networks

    Taherian, S., O'Keeffe, D. & Bacon, J., 2004, 2004 IEEE International Conference on Mobile Ad-hoc and Sensor Systems, Fort Lauderdale, FL, USA, October 25-27, 2004. p. 573-575 3 p.

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

  388. Published

    Evolution and Errors: An Empirical Example

    Douce, C. R. & Layzell, P. J., 1999, IEEE International Conference on Software Maintenance, Keble College, Oxford, UK. p. 493-498 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  389. Published

    Evolution of Attacks, Threat Models, and Solutions for Virtualized Systems

    Sgandurra, D. & Lupu, E., 8 Feb 2016, In: ACM Computing Surveys. 48, 3, p. 1-38 38 p., 46.

    Research output: Contribution to journalArticlepeer-review

  390. Published

    Evolving and Ensembling Deep CNN Architectures for Image Classification

    Fielding, B., Lawrence, T. & Zhang, L., 30 Sep 2019, 2019 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks (IJCNN): IEEE

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

  391. Published

    Evolving and Using Coordinated Systems

    Wermelinger, M., Fiadeiro, J. L., Andrade, L., Koutsoukos, G. & Gouveia, J., 1 Jan 2002, p. 43-47. 5 p.

    Research output: Contribution to conferencePaperpeer-review

  392. Published

    Evolving CNN-LSTM Models for Time Series Prediction Using Enhanced Grey Wolf Optimizer

    Xie, H., Zhang, L. & Lim, C. P., 3 Sep 2020, In: IEEE Access. 8, p. 161519-161541 23 p.

    Research output: Contribution to journalArticlepeer-review

  393. Published

    Evolving critical systems

    Hinchey, M., Nuseibeh, B., Coyle, L. & Fiadeiro, J. L., 1 Feb 2011, Dagsthul seminar. Vol. 34. p. 105-107 3 p.

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

  394. Published

    Evolving critical systems

    Coyle, L., Hinchey, M., Nuseibeh, B. & Fiadeiro, J. L., May 2010, In: IEEE Computer. 43, 5

    Research output: Contribution to journalSpecial issuepeer-review

  395. Published

    Evolving Deep Architecture Generation with Residual Connections for Image Classification Using Particle Swarm Optimization

    Lawrence, T., Zhang, L., Rogage, K. & Lim, C. P., 28 Nov 2021, In: Sensors. 21, 23, 7936.

    Research output: Contribution to journalArticlepeer-review

  396. Published

    Evolving Deep DenseBlock Architecture Ensembles for Image Classification

    Fielding, B. & Zhang, L., 9 Nov 2020, In: Electronics. 9, 11, 1880.

    Research output: Contribution to journalArticlepeer-review

  397. Published

    Evolving Ensemble Models for Image Segmentation Using Enhanced Particle Swarm Optimization

    Tan, T. Y., Zhang, L., Lim, C. P., Fielding, B., Yu, Y. & Anderson, E., 5 Mar 2019, In: IEEE Access. 7, p. 34004-34019 16 p.

    Research output: Contribution to journalArticlepeer-review

  398. Published

    Evolving requirements through coordination contracts

    Moreira, A., Fiadeiro, J. L. & Andrade, L., 1 Jan 2003, In: Lecture Notes in Computer Science. 2681, p. 633-646 14 p.

    Research output: Contribution to journalArticlepeer-review

  399. Published

    Exact algorithms for finding minimum transversals in rank-3 hypergraphs

    Wahlström, M., 2004, In: Journal of Algorithms. 51, 2, p. 107-121 15 p.

    Research output: Contribution to journalArticlepeer-review

  400. Published

    Exact and approximate algorithms and their implementations in mixed graphical models

    Gammerman, A., Luo, Z., Aitken, C. & Brewer, M., 1995, Probabilistic Reasoning and Bayesian Belief Networks. Henley-on-Thames: Alfred Waller, p. 33-53

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

  401. Published

    Exact and approximate algorithms for computing a second hamiltonian cycle

    Deligkas, A., Mertzios, G. B., Spirakis, P. G. & Zamaraev, V., 18 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-13 13 p. MFCS-2020-27. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

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

  402. Published

    Exception Diagnosis in Multiagent Contract Executions

    Kafali, O. & Torroni, P., 2012, In: Annals of Mathematics and Artificial Intelligence. 64, 1, p. 73-107 35 p.

    Research output: Contribution to journalArticlepeer-review

  403. Published

    Executable component-based semantics

    van Binsbergen, L. T., Mosses, P. D. & Sculthorpe, N., Feb 2019, In: Journal of Logical and Algebraic Methods in Programming. 103, p. 184-212 29 p.

    Research output: Contribution to journalArticlepeer-review

  404. Unpublished

    Executable Formal Specification of Programming Languages with Reusable Components

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

    Research output: ThesisDoctoral Thesis

  405. Published

    Existentially Closed Groups

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

    Research output: Book/ReportBook

  406. Published

    Experience Realising a Meta-Model for Wide System Understanding: The Global System Model

    Freeman, M. J. & Layzell, P. J., 1994, In: Software- Practice and Experience. 24, 8, p. 703-728 26 p.

    Research output: Contribution to journalArticlepeer-review

  407. Published

    Experiences in Automated Workflow using Dialectical Argumentation

    Urovi, V., Bromuri, S., McGinnis, J., Stathis, K. & Omicini, A., 1 Jul 2007, Proceedings of Intelligent Systems and Agents International Conference (IADIS07).

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

  408. Published

    Experimental Analysis of Heuristics for the ATSP

    Gutin, G., Johnson, D. S., McGeoch, L., Yeo, A., Zhang, Q. & Zverovitch, A., 2002, The TSP and Its Variations. Gutin, G. & Punnen, A. P. (eds.). 12 ed. (Combinatorial Optimization; no. 12).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  409. Published

    Experimental and numerical investigation of rubber damping ring and its application in multi-span shafting

    Zhu, H., Chen, W., Li, M., Zhu, R., Zhang, L., Fu, B., Wang, S. & Lu, X., 3 Jan 2021, In: Journal of the Brazilian Society of Mechanical Sciences and Engineering. 43, 43.

    Research output: Contribution to journalArticlepeer-review

  410. Published

    Experiments with the K29 algorithm

    Vovk, V., 1 Sep 2004.

    Research output: Working paper

  411. E-pub ahead of print

    Explaining Deep Learning Models with Constrained Adversarial Examples

    Moore, J., Hammerla, N. & Watkins, C., 23 Aug 2019, (E-pub ahead of print) Pacific Rim International Conference on Artificial Intelligence. Springer, p. 43-56 14 p. (Lecture Notes in Computer Science; vol. 11670).

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

  412. Published

    Exploitation System Documentation for Design Recovery

    Black, W. J., Gianetti, A., Layzell, P. J. & Stanitsas, G., 1992, Proc. Conference on Software Engineering and its Applications, Toulouse, December 1992.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  413. Published

    Exploiting uncertain and temporal information in correlation

    Bigham, J. & Luo, Z., 1996, Proceedings of the 6th International Conference Information Processing and the Management of Uncertainty (IPMU-96).

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

  414. Published

    Exploring the evolutionary path of plant MAPK networks

    Dóczi, R., Okrész, L., Romero, A. E., Paccanaro, A. & Bogre, L., 2012, In: Trends in Plant Science.

    Research output: Contribution to journalArticlepeer-review

  415. Published

    Exploring the limits of single-iteration clarification dialogs

    Lin, J., Wu, P., Demner-Fushman, D. & Abels, E., 31 Oct 2006, Proceedings of the Twenty-Ninth Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. Vol. 2006. p. 469-476 8 p.

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

  416. Published

    Exponential Neighborhoods and Domination Analysis for the TSP

    Gutin, G., Yeo, A. & Zverovitch, A., 2002, The TSP and Its Variations. Gutin, G. & Punnen, A. P. (eds.). 12 ed. (Combinatorial Optimization; no. 12).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  417. Published

    ExpoSE: practical symbolic execution of standalone JavaScript

    Loring, B., Mitchell, D. & Kinder, J., 13 Jul 2017, SPIN 2017 : Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. ACM, p. 196–199 4 p.

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

  418. Published

    Expression of msl-2 causes assembly of dosage compensation regulators on the X chromosomes and female lethality in Drosophila

    Kelley, R. L., Solovyeva, I., Lyman, L. M., Richman, R., Solovyev, V. & Kuroda, M. I., 16 Jun 1995, In: Cell. 81, 6, p. 867-77 11 p.

    Research output: Contribution to journalArticlepeer-review

  419. Published

    Extended Computation Tree Logic (Extended Abstract)

    Alexsson, R., Hague, M., Kreutzer, S., Lange, M. & Latte, M., 2010, LPAR International Conference on Logic for Programming Artificial Intelligence and Reasoning.

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

  420. E-pub ahead of print

    Extended Path Partition Conjecture for Semicomplete and Acyclic Compositions

    Ai, J., Gutin, G., Gerke, S. & Zhou, Y., Nov 2022, In: Discrete Mathematics. 345, 11, 113019.

    Research output: Contribution to journalArticlepeer-review

  421. Published

    Extending B AMN with concurrency

    Lano, K., Fiadeiro, J. & Dick, J., 1996, ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING. Edalat, A., Jourdan, S. & McCusker, G. (eds.). LONDON: Imperial College Press, p. 228-239 12 p.

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

  422. Published

    Extending nearly complete 1-planar drawings in polynomial time

    Eiben, E., Ganian, R., Hamm, T., Klute, F. & Nöllenburg, M., 18 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-16 16 p. MFCS-2020-31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

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

  423. Published

    Extending partial 1-planar drawings

    Eiben, E., Ganian, R., Hamm, T., Klute, F. & Nöllenburg, M., 29 Jun 2020, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020. Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-19 19 p. 43. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 168).

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

  424. Published

    Extending the Ami Approach to Encompass the Foundation Activity

    Gorbutt, J. & Layzell, P. J., 1997, STEP97, London, July 1997. IEEE Computer Society Press, p. 198-208 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  425. Published

    Extending UML with coordination contracts

    Lano, K. & Fiadeiro, J. L., 1 Jun 2006, In: Software and Systems Modeling. 5, 2, p. 110-120 11 p.

    Research output: Contribution to journalArticlepeer-review

  426. Published

    Extracting mutual exclusion invariants from lifted temporal planning domains

    Bernardini, S., Fagnani, F. & Smith, D., May 2018, In: Artificial Intelligence. 258, p. 1-65 65 p.

    Research output: Contribution to journalArticlepeer-review

  427. Published

    Extremal problems for the p-spectral radius of Berge hypergraphs

    Zhou, Y., Kang, L., Liu, L. & Shan, E., 1 Sep 2020, In: Linear Algebra and Its Applications. 600, p. 22-39

    Research output: Contribution to journalArticlepeer-review

  428. Published

    Eye-movements and voice as interface modalities to computer systems

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

    Research output: Contribution to journalArticle

  429. Published

    Facilitating plausible deniability for cloud providers regarding tenants' activities using trusted execution

    O'Keeffe, D., Vranaki, A., Pasquier, T. & Eyers, D., 19 May 2020, Proceedings - 2020 IEEE International Conference on Cloud Engineering, IC2E 2020. Institute of Electrical and Electronics Engineers Inc., p. 59-65 7 p. (Proceedings - 2020 IEEE International Conference on Cloud Engineering, IC2E 2020).

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

  430. Published

    Facilitating program comprehension by mining association rules from source code

    Tjortjis, C., Sinos, L. & Layzell, P., 2003, 11th IEEE International Workshop on Program Comprehension, Portland, USA, May 2003. p. 125-132 8 p.

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

  431. Published

    FAIR Principles for Research Software (FAIR4RS Principles)

    Shanahan, H., 16 Mar 2022

    Research output: Other contribution

  432. Forthcoming

    Fair Refinement for Asynchronous Session Types

    Bravetti, M., Lange, J. & Zavattaro, G., 22 Dec 2020, (Accepted/In press) In: Lecture Notes in Computer Science.

    Research output: Contribution to journalConference articlepeer-review

  433. Unpublished

    Faithful Visualisation of Similarities in High Dimensional Data

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

    Research output: ThesisDoctoral Thesis

  434. Published

    Fast byzantine agreement in dynamic networks

    Augustine, J., Pandurangan, G. & Robinson, P., 2013, ACM Symposium on Principles of Distributed Computing, PODC '13, Montreal, QC, Canada, July 22-24, 2013. p. 74-83 10 p.

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

  435. Published

    Fast Byzantine Leader Election in Dynamic Networks

    Augustine, J., Pandurangan, G. & Robinson, P., 2015, Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, 2015. Proceedings. Springer Berlin / Heidelberg, Vol. 9363. p. 276-291 16 p. (Lecture Notes in Computer Science; vol. 9363).

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

  436. Published

    Fast Distributed Algorithms for Connectivity and MST in Large Graphs

    Pandurangan, G., Robinson, P. & Scquizzato, M., 19 Sep 2018, In: Transactions on Parallel Computing. 5, 1, p. 1-22 22 p.

    Research output: Contribution to journalArticlepeer-review

  437. Published

    Fast Distributed Algorithms for Connectivity and MST in Large Graphs

    Pandurangan, G., Robinson, P. & Scquizzato, M., 11 Jul 2016, SPAA '16: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures. ACM, p. 429-438 10 p.

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

  438. Published

    Fast probabilistic prediction for kernel SVM via enclosing balls

    Riquelme-Granada, N., Nguyen, D. K. A. & Luo, Z., 2020, Proceedings of Machine Learning Research: Proceedings of the Ninth Symposium on Conformal and Probabilistic Prediction and Applications. Vol. 128. p. 189-208 20 p.

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

  439. Published

    Fast redshift clustering with the Baire (ultra) metric

    Murtagh, F. & Contreras, P., 20 Apr 2011.

    Research output: Contribution to conferencePaperpeer-review

  440. Published

    Fast, Linear Time Hierarchical Clustering using the Baire Metric

    Contreras, P. & Murtagh, F., 2012, In: Journal of Classification. 29, p. 118-143 26 p.

    Research output: Contribution to journalArticlepeer-review

  441. Published

    Fast, Linear Time, m-Adic Hierarchical Clustering for Search and Retrieval using the Baire Metric, with linkages to Generalized Ultrametrics, Hashing, Formal Concept Analysis, and Precision of Data Measurement

    Murtagh, F. & Contreras, P., 2012, In: p-Adic Numbers, Ultrametric Analysis and Applications. 4, 1, p. 45-56

    Research output: Contribution to journalArticlepeer-review

  442. Published

    Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable

    Wahlström, M., 2005, SAT. p. 309-323 15 p.

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

  443. E-pub ahead of print

    Faster FPT Algorithms for Deletion to Pairs of Graph Classes

    Jacob, A., Majumdar, D. & Raman, V., 9 Sep 2021, (E-pub ahead of print).

    Research output: Contribution to conferencePaperpeer-review

  444. Published

    FastMotif: spectral sequence motif discovery

    Colombo, N. & Vlassis, N., 15 Aug 2015, In: Bioinformatics. 31, 16, p. 2623-2631 9 p.

    Research output: Contribution to journalArticlepeer-review

  445. Published

    Fault-Tolerance in Storage-Centric Systems

    Chockler, G., 2005

    Research output: ThesisDoctoral Thesis

  446. Published

    Featherweight Go

    Griesemer, R., Hu, R., Kokke, W., Lange, J., Taylor, I. L., Toninho, B., Wadler, P. & Yoshida, N., 15 Nov 2020, In: Proceedings of the ACM on Programming Languages, OOPSLA. 4, 29 p., 149.

    Research output: Contribution to journalConference articlepeer-review

  447. Published

    Feature Modeling and Composition with Coordination Contracts

    Andrade, L. F. & Fiadeiro, J. L., 2001, FICS. University of Karlsruhe, Institut für Programmstrukturen und Datenorganisation, Vol. 2001-14. p. 49-54 6 p. (Technical Report).

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

  448. Published

    Feature Selection

    Bellotti, T., Nouretdinov, I., Yang, M. & Gammerman, A., 2014, Conformal Prediction for Reliable Machine Learning: Theory, Adaptations and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). Elsevier, p. 115-130 16 p. 6

    Research output: Chapter in Book/Report/Conference proceedingChapter

  449. Published

    Feature Selection by Conformal Predictor

    Yang, M., Nouretdinov, I., Luo, Z. & Gammerman, A., 2011, 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, Artificial Intelligence Applications and Innovations 2011, Corfu, Greece, September 15-18, 2011, Proceedings, Part II. . p. 449-

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

  450. Published

    Feature Selection Using Enhanced Particle Swarm Optimisation for Classification Models

    Xie, H., Zhang, L., Lim, C. P., Yu, Y. & Liu, H., 5 Mar 2021, In: Sensors. 21, 5, 1816.

    Research output: Contribution to journalArticlepeer-review

  451. Published

    Featured transition systems: Foundations for verifying variability- intensive systems and their application to LTL model checking

    Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F., 1 Jan 2013, In: Software Engineering, IEEE Transactions on. 39, 8, p. 1069-1089 21 p.

    Research output: Contribution to journalArticlepeer-review

  452. Unpublished

    Features Handling by Conformal Predictors

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

    Research output: ThesisDoctoral Thesis

  453. Published

    Feeder-Level Deep Learning-based Photovoltaic Penetration Estimation Scheme

    Zhang, X., Kuenzel, S. & Watkins, C., 13 Oct 2020.

    Research output: Contribution to conferencePaperpeer-review

  454. Published

    Fencing off Go: Liveness and safety for channel-based programming

    Lange, J., Ng, N., Toninho, B. & Yoshida, N., Jan 2017, POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. D. & Castagna, G. (eds.). Association for Computing Machinery (ACM), p. 748-761 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

  455. Published

    Finding a longest path in a complete multipartite digraph

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

    Research output: Contribution to journalArticle

  456. Published

    Finding cheapest cycles in vertex-weighted quasi-transitive digraphs and extended semicomplete digraphs

    Bang-Jensen, J., Gutin, G. & Yeo, A., 2006, In: Discrete Optimization. 3, 1, p. 86-94 9 p.

    Research output: Contribution to journalArticlepeer-review

  457. Published

    Finding genes by computer: probabilistic and discriminative approaches

    Solovyev, V., 2002, Current Topics in Computational Biology. Jiang, T., Smith, T., Xu, Y. & Zhang, M. (eds.). MIT Press, p. 365-401

    Research output: Chapter in Book/Report/Conference proceedingChapter

  458. Published
  459. Published

    First International Conference on Bioinformatics of Genome Regulation and Structure 1998

    Kolchanov, N. A. & Solovyev, V. V., 1999, In: Bioinformatics. 15, 7-8, p. 527-527 1 p.

    Research output: Contribution to journalEditorialpeer-review

  460. Published

    First-class protocols for agent-based coordination of scientific instruments

    Miller, T., McBurney, P., McGinnis, J. & Stathis, K., 2007, WET ICE 2007: 16TH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 41-46 6 p.

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

  461. Published

    Fixed-Parameter Complexity of Minimum Profile Problems

    Gutin, G., Szeider, S. & Yeo, A., 2008, In: Algorithmica. 52, 2, p. 133-152 20 p.

    Research output: Contribution to journalArticlepeer-review

  462. E-pub ahead of print

    Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs

    Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 15 Jan 2015, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 29, 1, p. 122-144 23 p.

    Research output: Contribution to journalArticlepeer-review

  463. Published

    Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs

    Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 2012, ICALP (1). p. 581-593 13 p.

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

  464. Published

    Fixed-parameter tractability of satisfying beyond the number of variables

    Crowston, R., Gutin, G., Jones, M., Raman, V., Saurabh, S. & Yeo, A., 2014, In: Algorithmica. 68, p. 739-757

    Research output: Contribution to journalArticlepeer-review

  465. Forthcoming

    Fixed-parameter tractability of satisfying beyond the number of variables

    Crowston, R., Gutin, G., Jones, M., Raman, V., Saurabh, S. & Yeo, A., 2012, (Accepted/In press) SAT 2012. (Lecture Notes in Computer Science).

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

  466. Published

    Fixed-Parameter Tractability of Workflow Satisability in the Presence of Seniority Constraints

    Crampton, J., Crowston, R., Gutin, G., Jones, M. & Ramanujan, M. S., 2013, FAW-AAIM 2013: Lecture Notes in Computer Science. Vol. 7924. p. 198-209

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

  467. Published

    Flexible decentralised control of connection admission

    Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., 2000, Agent Technology for Communications Infrastructure. Hayzelden, A. & Bourne, R. A. (eds.). John Wiley & Sons, p. 144-155

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

  468. Published

    Flexible decentralised control of connection admission communications networks and the IMPACT of software agents

    Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., Nov 1999, Proceedings of IMPACT'99 .

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

  469. Published

    FlowWatcher: Defending against Data Disclosure Vulnerabilities in Web Applications

    Muthukumaran, D., O'Keeffe, D., Priebe, C., Eyers, D. M., Shand, B. & Pietzuch, P. R., 12 Oct 2015, CCS '15: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security. p. 603-615 13 p.

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

  470. Published

    Follow the Leader If You Can, Hedge If You Must

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

    Research output: Contribution to journalArticle

  471. Published

    Forecasting point and continuous processes: prequential analysis

    Vovk, V., 1993, In: Test. 2, p. 189-217 29 p.

    Research output: Contribution to journalArticlepeer-review

  472. Published

    Foreword

    Bahsoun, J. P., Fiadeiro, J. L. & Galmiche, D., 1999, In: Mathematical Structures in Computer Science. 9, 3, p. 225-226 2 p.

    Research output: Contribution to journalEditorialpeer-review

  473. Published

    Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?

    Luo, Z., 2014, Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings. Asher, N. & Soloviev, S. (eds.). Springer, p. 177-188 12 p. (Lecture Notes in Computer Science; vol. 8535).

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

  474. Published
  475. Published

    Formalized Metatheory with Terms Represented by an Indexed Family of Types

    Adams, R., 2006, Types for Proofs and Programs. Filliatre, J-C., Paulin-Mohring, C. & Werner, B. (eds.). Springer, Vol. 3839. p. 1-16 16 p. (Lecture Notes in Computer Science).

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

  476. Published

    FORM-FACTORS FOR B-]PI-L(V)OVER-BAR(L) AND B-]K-ASTERISK-GAMMA DECAYS ON THE LATTICE

    BURFORD, D. R., DUONG, H. D., FLYNN, J. M., GOUGH, B. J., HAZEL, N. M., NIEVES, J. & SHANAHAN, H. P., 7 Aug 1995, In: Nuclear Physics B. 447, 2-3, p. 425-437 13 p.

    Research output: Contribution to journalArticlepeer-review

  477. E-pub ahead of print

    Fostering global data sharing: highlighting the recommendations of the Research Data Alliance COVID-19 working group

    Research Data Alliance & Shanahan, H., 9 Nov 2020, (E-pub ahead of print) In: Wellcome Open Research. 267.

    Research output: Contribution to journalArticlepeer-review

  478. Published
  479. Published

    Foundations for structuring behavioural specifications

    Diaconescu, R. & Tutu, I., 2014, In: Journal of Logic and Algebraic Programming. 83, p. 319-338 3-4.

    Research output: Contribution to journalArticlepeer-review

  480. Forthcoming

    Foundations of Graph Transformation as a Logic-Programming Language

    Tutu, I. & Fiadeiro, J. L., 4 Jul 2016, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  481. Published

    FPGA-based discrete wavelet transforms system

    Murtagh, F., Nibouche, M., Bouridane, A., Brebner, G. (ed.) & Woods, R. (ed.), 2001, Field-Programmable Logic and Applications. 2147 ed. Berlin: Springer-Verlag, p. 607-612 (Lecture Notes in Computer Science; no. 2147).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  482. Published

    FPT Algorithms and Kernels for the Directed k-Leaf Problem

    Daligault, J., Gutin, G., Kim, E. J. & Yeo, A., Mar 2010, In: Journal of Computer and System Sciences. 76, 2, p. 144-152 9 p.

    Research output: Contribution to journalArticlepeer-review

  483. Published

    Fractal graphical representation and analysis of DNA and protein sequences: Computational Molecular Biology

    Solovyev, V. V., 1993, In: BioSystems. 30, 1-3, p. 137-160 24 p.

    Research output: Contribution to journalArticlepeer-review

  484. Published

    Fredholm Multiple Kernel Learning for Semi-Supervised Domain Adaptation

    Wang, W., Wang, H., Zhang, C. & Gao, Y., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). AAAI Press, p. 2732-2738 7 p.

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

  485. Forthcoming

    Free Jazz in the Land of Algebraic Improvisation

    Chirita, C-E. & Luiz Fiadeiro, J., May 2016, (Accepted/In press). 8 p.

    Research output: Contribution to conferencePaperpeer-review

  486. Unpublished

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

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

    Research output: Working paper

  487. Published

    From Architectural to Behavioural Specification of Services

    Bocchi, L., Fiadeiro, J. L., Lapadula, A., Pugliese, R. & Tiezzi, F., 6 Oct 2009, In: Electronic Notes in Theoretical Computer Science. 253, 1, p. 3-21 19 p.

    Research output: Contribution to journalArticlepeer-review

  488. Published

    From BPEL to SRML: A formal transformational approach

    Bocchi, L., Hong, Y., Fiadeiro, J. L. & Lopes, A., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4937 LNCS. p. 92-107 16 p.

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

  489. Published

    From classical proof theory to P vs. NP: a guide to bounded theories

    Tzameret, I., 14 Jan 2020, 28th EACSL Annual Conference on Computer Science Logic (CSL) 2020, January 13-16, 2020, Barcelona, Spain. : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2020. .

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

  490. Published

    From communicating machines to graphical choreographies

    Lange, J., Tuosto, E. & Yoshida, N., Jan 2015, In: ACM SIGPLAN Notices. 50, 1, p. 221-232 12 p.

    Research output: Contribution to journalArticlepeer-review

  491. Published

    From conformal to probabilistic prediction

    Vovk, V., Petej, I. & Fedorova, V., 2014, COPA 2014 Proceedings.

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

  492. Published

    From conventional to institution-independent logic programming

    Tutu, I. & Fiadeiro, J. L., 1 Sep 2017, In: Journal of Logic and Computation. 27, 6, p. 1679-1716 38 p.

    Research output: Contribution to journalArticlepeer-review

  493. Published

    From Data to the p-Adic or Ultrametric Model

    Murtagh, F., 2009, In: p-Adic Numbers, Ultrametric Analysis and Applications. 1, p. 58-68

    Research output: Contribution to journalArticlepeer-review

  494. Published

    From Local to Global Knowledge and Back

    Hoch, N., Monreale, G. V., Montanari, U., Sammartino, M. & Siwe, A. T., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8998, p. 185-220 36 p.

    Research output: Contribution to journalArticlepeer-review

  495. Published

    From Separation Logic to First‐Order Logic

    Calcagno, C., Gardner, P. & Hague, M., 2005, FoSSaCS: Foundations of Software Science and Computation Structures.

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

  496. Published

    From System Comprehension to Program Comprehension

    Tjortjis, C., Gold, N. E., Layzell, P. J. & Bennett, K. H., 2002, COMPSAC 2002, Oxford, UK, 2002.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  497. Published

    Frontier: resilient edge processing for the internet of things

    O'Keeffe, D., Salonidis, T. & Pietzuch, P. R., Jun 2018, In: VLDB Endowment. 11, 10, p. 1178-1191 14 p.

    Research output: Contribution to journalArticlepeer-review

  498. Published

    Full Custom VLSI Design for Computer Scientists

    Johnstone, A., 1 Jan 1989, In: INTERNATIONAL JOURNAL OF ELECTRICAL ENGINEERING EDUCATION. 26, 1-2, p. 103-112 10 p.

    Research output: Contribution to journalArticlepeer-review

  499. Published

    Full QCD light hadron spectrum and quark masses: Final results from CP-PACS

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

    Research output: Contribution to journalArticlepeer-review

  500. Published

    Full QCD light hadron spectrum from the 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. 192-194 3 p.

    Research output: Contribution to journalArticlepeer-review