1. 2013
  2. Published

    Kernel Ridge Regression

    Vovk, V., 2013, Empirical Inference: Festschrift in Honor of Vladimir N. Vapnik. Springer, p. 105-116 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Published

    Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic

    Allender, E., Davie, G., Friedman, L., Hopkins, S. & Tzameret, I., 2013, In : Chicago Journal of Theoretical Computer Science. 5, p. 1-15 15 p.

    Research output: Contribution to journalArticle

  4. Published

    Logical Foundations of Services

    Tutu, I., 2013, p. 111-118

    Research output: Contribution to conferencePaper

  5. Published

    Maximum Balanced Subgraph Problem Parameterized Above Lower Bound

    Crowston, R., Gutin, G., Jones, M. & Muciaccia, G., 2013, In : Theoretical Computer Science. 513, p. 434-445

    Research output: Contribution to journalArticle

  6. Unpublished

    Merging Time Series with Specialist Experts

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

    Research output: Working paper

  7. Published

    Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

    Denielou, P-M. & Yoshida, N., 2013, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II: ICALP (2). 2013 ed. Springer, Vol. 7966, p. 174 186 p.

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

  8. Published

    On the complexity of universal leader election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A., 2013, ACM Symposium on Principles of Distributed Computing, PODC '13, Montreal, QC, Canada, July 22-24, 2013. p. 100-109 10 p.

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

  9. Published

    ORC: an Ontology Reasoning Component for Diabetes

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

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

  10. Forthcoming

    Parameterized Complexity of k-Chinese Postman Problem

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

    Research output: Contribution to journalArticle

  11. Forthcoming

    Parameterized Complexity of MaxSat Above Average

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

    Research output: Contribution to journalArticle

  12. Published

    Parameterized Complexity of Satisfying Almost All Linear Equations over F_2

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

    Research output: Contribution to journalArticle

  13. Published

    Parameterized Two-Player Nash Equilibrium

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

    Research output: Contribution to journalArticle

  14. Published

    Proving Random Formulas in Propositional Logic

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

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

  15. Published

    Robust Leader Election in a Fast-Changing World

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

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

  16. Published

    Robust synthesis for real-time systems

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

    Research output: Contribution to journalArticle

  17. Published

    Safe Specification of Operator Precedence Rules

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

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

  18. Published

    Storage and search in dynamic peer-to-peer networks

    Augustine, J., Molla, A. R., Morsy, E., Pandurangan, G., Robinson, P. & Upfal, E., 2013, 25th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA '13, Montreal, QC, Canada - July 23 - 25, 2013. p. 53-62 10 p.

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

  19. Published

    Sublinear Bounds for Randomized Leader Election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A., 2013, Distributed Computing and Networking, 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings. p. 348-362 15 p.

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

  20. Published

    Subtyping in Type Theory: Coercion Contexts and Local Coercions

    Luo, Z. & Part, F., 2013

    Research output: Contribution to conferenceAbstract

  21. Unpublished

    The Effect of Representations on Constraint Satisfaction Problems

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

    Research output: ThesisDoctoral Thesis

  22. Unpublished

    Theory and Implementation of Coercive Subtyping

    Xue, T., 2013, (Unpublished)

    Research output: ThesisDoctoral Thesis

  23. Published

    Transductive conformal predictors

    Vovk, V., 2013, Proceedings of the Ninth Conference on Artificial Intelligence Applications and Innovations. Heidelberg: Springer, Vol. 412, p. 348-360 13 p.

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

  24. Published

    Two Edge Modification Problems Without Polynomial Kernels

    Kratsch, S. & Wahlström, M., 2013, In : Discrete Optimization. 10, p. 193-199

    Research output: Contribution to journalArticle

  25. Published

    Variable Elimination in Binary CSP via Forbidden Patterns

    Cohen, D., Cooper, M. C., Escamocher, G. & Zivný, S., 2013

    Research output: Contribution to conferencePaper

  26. Forthcoming

    Ward's Hierarchical Agglomerative Clustering Method: Which Algorithms Implement Ward's Criterion?

    Murtagh, F. & Legendre, P., 2013, (Accepted/In press) In : Journal of Classification.

    Research output: Contribution to journalArticle

  27. 2012
  28. Published

    Combining p-values via averaging

    Vovk, V., 20 Dec 2012, 7 p.

    Research output: Working paper

  29. 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 journalArticle

  30. Published

    Venn predictors and isotonic regression

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

    Research output: Working paper

  31. Published

    Parameterised Multiparty Session Types

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

    Research output: Contribution to journalArticle

  32. Published

    Towards Static Analysis of Virtualization-Obfuscated Binaries

    Kinder, J., Oct 2012, Proc. 19th Working Conf. Reverse Engineering (WCRE 2012). IEEE, p. 61-70

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

  33. Published

    Inductive conformal predictors in the batch mode

    Vovk, V., 12 Sep 2012

    Research output: Working paper

  34. Unpublished

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

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

    Research output: Contribution to journalArticle

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

  36. Published

    Generalized entropies and asymptotic complexities of languages

    Kalnishkan, Y., Vyugin, M. V. & Vovk, V., Sep 2012, Proceedings of the Fifth Workshop on Information-Theoretic Methods in Science and Engineering. de Rooij, S., Kotlowski, W., Rissanen, J., Millimaki, P., T. R. & Yamanishi, K. (eds.). Amsterdam: CWI, p. 44-47 4 p.

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

  37. Published

    Informational and computation efficiency of set predictors

    Vovk, V., Sep 2012, Proceedings of the Fifth Workshop on Information-Theoretic Methods in Science and Engineering. de Rooij, S., Kotlowski, W., Rissanen, J., Millimaki, P., T. R. & Yamanishi, K. (eds.). Amsterdam: CWI, p. 48-51 4 p.

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

  38. Published

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

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

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

  39. Published

    The tractability of CSP classes defined by forbidden patterns

    Cohen, D. A., Cooper, M. C., Creed, P., Marx, D. & Salamon, A. Z., Sep 2012, In : Journal of Artificial Intelligence Research. 45, p. 47-78 3651

    Research output: Contribution to journalArticle

  40. Published

    Two methods for reliable classification of network traffic

    Dashevskiy, M. & Luo, Z., Sep 2012, In : Progress in Artificial Intelligence. 1, 3, p. 223-234 12 p.

    Research output: Contribution to journalArticle

  41. Published

    A Census of Human Soluble Protein Complexes

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

    Research output: Contribution to journalArticle

  42. 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 journalArticle

  43. Published

    Cross-conformal predictors

    Vovk, V., 3 Aug 2012

    Research output: Working paper

  44. Published

    Ubiquitous Agents for Ambient Ecologies

    Dipsis, N. & Stathis, K., Aug 2012, In : Pervasive and Mobile Computing. 8, 4, p. 562-574

    Research output: Contribution to journalArticle

  45. Published

    Universal Algorithms for Probability Forecasting

    Zhdanov, F. & Kalnishkan, Y., Aug 2012, In : International Journal on Artificial Intelligence Tools. 21, 4, 1240015

    Research output: Contribution to journalArticle

  46. Published

    Valid predictions with confidence estimation in an air pollution problem.

    Ivina, O., Nouretdinov, I. & Gammerman, A., 17 Jun 2012, In : Progress in Artificial Intelligence. 1, p. 235-243 9 p.

    Research output: Contribution to journalArticle

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

  48. Published

    Short Propositional Refutations for Dense Random 3CNF Formulas

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

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

  49. Published

    Short Proofs for the Determinant Identities

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

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

  50. Published

    Testing and Clustering with Gauss Linear Assumption for a Household Data

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

    Research output: Other contribution

  51. Published

    A formal model for service-oriented interactions

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

    Research output: Contribution to journalArticle

  52. Published

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

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

    Research output: Contribution to journalArticle

  53. Published

    Plug-in martingales for testing exchangeability on-line

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

    Research output: Working paper

  54. Published

    Normalized Affymetrix expression data are biased by G-quadruplex formation

    Shanahan, H. P., Memon, F. N., Upton, G. J. G. & Harrison, A. P., 1 Apr 2012, In : Nucleic Acids Research. 40, 8, p. 3307-3315 9 p.

    Research output: Contribution to journalArticle

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

  56. Published

    Special issue dedicated to SEFM'10

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

    Research output: Contribution to journalSpecial issue

  57. In preparation

    The Future of Search and Discovery in Big Data Analytics Ultrametric Information Spaces: Ultrametric Information Spaces

    Murtagh, F. & Contreras, P., 15 Feb 2012, (In preparation) In : NA.

    Research output: Contribution to journalArticle

  58. Published

    Ultrametric Model of Mind, I Review

    Murtagh, F., 13 Jan 2012, In : p-Adic Numbers, Ultrametric Analysis and Applications.

    Research output: Contribution to journalArticle

  59. Published

    Ultrametric Model of Mind, II: Application to Text Content Analysis

    Murtagh, F., 13 Jan 2012, In : p-Adic Numbers, Ultrametric Analysis and Applications.

    Research output: Contribution to journalArticle

  60. Published

    Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware

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

    Research output: Book/ReportBook

  61. Published

    A graph-based design framework for services

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

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

  62. Published

    Asynchronous distributed monitoring for multiparty session enforcement

    Chen, T-C., Honda, K., Bocchi, L., Deniélou, P-M. & Yoshida, N., 1 Jan 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7173 LNCS, p. 25-45 21 p.

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

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

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

  65. Published

    Variability and rigour in Service Computing engineering

    Ter Beek, M. H., Gnesi, S., Fantechi, A. & Fiadeiro, J. L., 1 Jan 2012, Proceedings - 2011 34th IEEE Software Engineering Workshop, SEW 2011. p. 122-127 6 p.

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

  66. Published

    Alternating Control Flow Reconstruction

    Kinder, J. & Kravchenko, D., Jan 2012, Proc. 13th Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI 2012). Springer, p. 267-282

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

  67. Published

    Template free synthesis of hollow ball-like nano-Fe2O3 and its application to the detection of dimethyl methylphosphonate at room temperature

    Fan, G., Wang, Y., Hu, M., Luo, Z., Zhang, K. & Li, G., Jan 2012, In : Sensors. 12, 4, p. 4594-4604

    Research output: Contribution to journalArticle

  68. Forthcoming

    A closer look at adaptive regret

    Adamskiy, M., Koolen, W., Chernov, A. & Vovk, V., 2012, (Accepted/In press) Proceedings of the Twenty Third International Conference on Algorithmic Learning Theory. Bshouty, N., Stoltz, G., Vayatis, N. & Zeugmann, T. (eds.). Berlin: Springer, Vol. 7568, p. 290 - 304 15 p. (Lecture Notes in Artificial Intelligence)

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

  69. Published

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

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

    Research output: Contribution to journalArticle

  70. Published

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

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

    Research output: Contribution to journalArticle

  71. Published

    A Saturation Method for Collapsible Pushdown Systems

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

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

  72. Published

    Agreement in Directed Dynamic Networks

    Biely, M., Robinson, P. & Schmid, U., 2012, Structural Information and Communication Complexity - 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers. p. 73-84 12 p.

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

  73. Published

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

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

    Research output: Contribution to journalArticle

  74. Published

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

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

    Research output: Contribution to journalArticle

  75. Forthcoming

    Buy low, sell high

    Koolen, W. & Vovk, V., 2012, (Accepted/In press) Proceedings of the Twenty Third International Conference on Algorithmic Learning Theory. Bshouty, N., Stoltz, G., Vayatis, N. & Zeugmann, T. (eds.). Berlin: Springer, Vol. 7568, p. 335 - 349 15 p. (Lecture Notes in Artificial Intelligence)

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

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

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

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

  79. 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 journalArticle

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

  81. 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 journalArticle

  82. Forthcoming
  83. 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 journalArticle

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

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

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

  87. 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 journalArticle

  88. 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 journalArticle

  89. 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 journalArticle

  90. 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 journalArticle

  91. 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 journalArticle

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

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

  94. Published

    GFam: a platform for automatic annotation of gene families

    Sasidharan, R., Nepusz, T., Swarbreck, D., Huala, E. & Paccanaro, A., 2012, In : Nucleic Acids Research. 40, 19, 15 p., e152

    Research output: Contribution to journalArticle

  95. Published

    Hardness of discrepancy computation and epsilon-net verification in high dimension

    Giannopoulos, P., Knauer, C., Wahlström, M. & Werner, D., 2012, In : Journal of Complexity. 28, 2, p. 162-176 15 p.

    Research output: Contribution to journalArticle

  96. Forthcoming

    Hypercontractive inequality for pseudo-boolean functions of bounded Fourier width

    Gutin, G. & Yeo, A., 2012, (Accepted/In press) In : Discrete Applied Mathematics. 6 p.

    Research output: Contribution to journalArticle

  97. Published

    Igor V. Volovich

    Murtagh, F. & Accardi, L., 2012, In : p-Adic Numbers, Ultrametric Analysis and Applications. 4, 1, p. 1-4

    Research output: Contribution to journalComment/debate

  98. Published

    Improving GO semantic similarity measures by exploring the ontology beneath the terms and modelling uncertainty

    Yang, H., Nepusz, T. & Paccanaro, A., 2012, In : Bioinformatics. 28, 10, p. 1383-1389 7 p.

    Research output: Contribution to journalArticle

  99. Published

    Improving Self-organized Resource Allocation with Effective Communication

    Kafali, O. & Yolum, P., 2012, Agents and Peer-to-Peer Computing. Beneventano, D., Despotovic, Z., Guerra, F., Joseph, S., Moro, G. & Pinninck, A. (eds.). Springer Berlin / Heidelberg, Vol. 6573, p. 35-46 12 p. (Lecture Notes in Computer Science)

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

  100. Published

    Internet Traffic Classification using Machine Learning with Performance Guarantees

    Luo, Z., 2012, Advances in Communications and Media Research. Vol. 8, p. 231-250

    Research output: Chapter in Book/Report/Conference proceedingChapter

  101. Published

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

    Shafer, G., Vovk, V. & Takemura, A., 2012, In : Journal of Theoretical Probability. 25, 1, p. 1-24 24 p.

    Research output: Contribution to journalArticle

  102. Forthcoming

    Linear Time Baire Hierarchical Clustering for Enterprise Information Retrieval

    Murtagh, F. & Contreras Albornoz, P., 2012, (Accepted/In press) In : International Journal of Software and Informatics . 6, 3

    Research output: Contribution to journalArticle

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