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

Previous 12 3 4 5 6 7 8 9 ...24 Next