1. 2011
  2. Unpublished

    Hierarchies of Inefficient Kernelizability

    Hermelin, D., Kratsch, S., Soltys, K., Wahlström, M. & Wu, X., 2011, (Unpublished) In : ArXiv.org. CoRR:abs/1110.0976

    Research output: Contribution to journalArticle

  3. Published

    Image zooming based on sampling theorems

    Romero, A. E., 2011, In : Materials Matemàtics. 2011, 11, p. 1 22 p., 1

    Research output: Contribution to journalArticle

  4. Published

    Kernels for Below-Upper-Bound Parameterizations of the Hitting Set and Directed Dominating Set Problems

    Gutin, G., Jones, M. & Yeo, A., 2011, In : Theoretical Computer Science. 412, p. 5744--5751

    Research output: Contribution to journalArticle

  5. Forthcoming

    Lambda-Free Logical Frameworks

    Adams, R., 2011, (Accepted/In press) In : Annals of Pure and Applied Logic.

    Research output: Contribution to journalArticle

  6. Published

    LDT: a language definition technique

    Johnstone, A., Scott, E. & van den Brand, M., 2011, LDTA '11 Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications. ACM, p. Art. no. 9

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

  7. Published

    Legacy transformations for extracting service components

    Matos, C. & Heckel, R., 2011, Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Wirsing, M. & Hölz, M. (eds.). Springer-Verlag, p. 604-621 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Published

    Linguistic Nativism and the Poverty of the Stimulus

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

    Research output: Book/ReportBook

  9. Published

    Lin-Kernighan Heuristic Adaptations for the Generalized Traveling Salesman Problem

    Gutin, G. & Karapetyan, D., 2011, In : European Journal of Operational Research. 208, p. 221-232

    Research output: Contribution to journalArticle

  10. Forthcoming

    Local Search Heuristics for the Multidimensional Assignment Problem

    Gutin, G. & Karapetyan, D., 2011, (Accepted/In press) In : Journal of Heuristics. 17, 3

    Research output: Contribution to journalArticle

  11. Published

    Looking at clouds from both sides: The advantages and disadvantages of placing personal narratives in the cloud

    Coles-Kemp, L., Reddington, J. & Williams, P. A. H., 2011, In : Information Security Technical Report. 16, 3-4, p. 115-122

    Research output: Contribution to journalArticle

  12. Published

    Malware Detection

    Katzenbeisser, S., Kinder, J. & Veith, H., 2011, Encyclopedia of Cryptography and Security, 2nd Ed.. van Tilborg, H. & Jajodia, S. (eds.). Springer, p. 752-755

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

  13. Published

    Methods of Hierarchical Clustering

    Murtagh, F. & Contreras, P., 2011, Data Mining and Knowledge Discovery. Wiley-Interscience

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. Published

    Model Checking Recursive Programs with Numeric Data Types

    Hague, M. & Lin, A., 2011, CAV: Computer Aided Verification.

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

  15. Published

    Modelling GLL parser implementations

    Johnstone, A. & Scott, E., 2011, Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers. Malloy, B., Staab, S. & van den Brand, M. (eds.). Springer, p. 42-61 (Lecture Notes in Computer Science; vol. 6563)

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

  16. Published

    New Methods of Analysis of Narrative and Semantics in Support of Interactivity

    Murtagh, F., Ganz, A. & Reddington, J., 2011, In : Entertainment Computing. 2, p. 115-121

    Research output: Contribution to journalArticle

  17. Published

    New Plain-Exponential Time Classes for Graph Homomorphism

    Wahlström, M., 2011, In : Theory of Computing Systems. 49, 2, p. 273-282 10 p.

    Research output: Contribution to journalArticle

  18. Published

    On guaranteeing polynomially-bounded search tree size

    Cohen, D., Cooper, M., Green, M. J. & Marx, D., 2011

    Research output: Contribution to conferencePaper

  19. Published

    On the algebra of structured specifications

    Diaconescu, R. & Tutu, I., 2011, In : Theoretical Computer Science. 412, p. 3145-3174 28

    Research output: Contribution to journalArticle

  20. Published

    Optimal regional consecutive leader election in mobile ad-hoc networks

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

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

  21. Published

    Parameterised Pushdown Systems with Non‐Atomic Writes

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

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

  22. Published

    Parameterized Two-Player Nash Equilibrium

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

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

  23. Published

    Pervasive Healthcare Using Self-Healing Agent Environments

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

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

  24. Published

    Reasoning About Exceptions to Contracts

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

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

  25. Unpublished

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

    Nguyen, K., 2011, (Unpublished)

    Research output: ThesisMaster's Thesis

  26. Published

    Rough paths in idealized financial markets

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

    Research output: Contribution to journalArticle

  27. Published

    Semantics from narrative: state of the art and future perspectives

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

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

  28. Published

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

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

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

  29. Published

    Social Commitment Delegation and Monitoring

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

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

  30. Published

    Solving k-Set Agreement with Stable Skeleton Graphs

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

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

  31. Published

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  32. Forthcoming

    Statistical Learning and Data Science

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

    Research output: Book/ReportBook

  33. Published

    Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 2011, Proc. 26th Int. Conf. Automated Software Engineering (ASE 2011). p. 113-122

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

  34. Published

    Synthesis of flowerlike nano-SnO2 and the study on the gas sensing response

    Fan, G., Wang, Y., Hu, M., Luo, Z. & Li, G., 2011, In : Measurement Science and Technology. 22, 4

    Research output: Contribution to journalArticle

  35. Published

    Test martingales, Bayes factors, and p-values

    Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., 2011, In : Statistical Science. 26, p. 84 - 101 17 p.

    Research output: Contribution to journalArticle

  36. Published

    The Asynchronous Bounded-Cycle model

    Robinson, P. & Schmid, U., 2011, In : Theoretical Computer Science. 412, 40, p. 5580-5601 22 p.

    Research output: Contribution to journalArticle

  37. Published

    The generality of the zero-one laws

    Takemura, A., Vovk, V. & Shafer, G., 2011, In : Annals of the Institute of Statistical Mathematics. 63, 5, p. 873 - 885 13 p.

    Research output: Contribution to journalArticle

  38. Unpublished

    Theory and Applications of Competitive Prediction

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

    Research output: ThesisDoctoral Thesis

  39. Published

    Translator generation using ART

    Johnstone, A. & Scott, E., 2011, In : Lecture Notes in Computer Science. 6563, p. 306-315

    Research output: Contribution to journalArticle

  40. Published

    Typed Operational Semantics for Dependent Record Types

    Feng, Y. & Luo, Z., 2011, Proceedings of Types for Proofs and Programs (TYPES'09), EPTCS 53.

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

  41. Published

    Ultrametric and Generalized Ultrametric in Computational Logic and in Data Analysis

    Murtagh, F., 2011, Horizons in Computer Science Research. Clary, T. (ed.). Vol. 2

    Research output: Chapter in Book/Report/Conference proceedingChapter

  42. Published

    Ultrametric Wavelet Regression of Multivariate Time Series: Application to Colombian Conflict Analysis

    Murtagh, F., Spagat, M. & A. Restrepo, J., 2011, In : IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans. 41, 2, p. 254-263 10 p.

    Research output: Contribution to journalArticle

  43. Published

    Vertex Cover Problem Parameterized Above and Below Tight Bounds

    Gutin, G., Kim, E. J., Lampis, M. & Mitsou, V., 2011, In : Theory of Computing Systems. 48, p. 402-410

    Research output: Contribution to journalArticle

  44. 2010
  45. Published

    Betweenness parameterized above tight lower bound

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

    Research output: Contribution to journalArticle

  46. Published

    Weak aggregating algorithm for the distribution-free perishable inventory problem

    Levina, T., Levin, Y., McGill, J., Nediak, M. & Vovk, V., Nov 2010, In : Operations Research Letters. 38, 6, p. 516-521 6 p.

    Research output: Contribution to journalArticle

  47. Published

    Switching Investments

    Koolen, W. M. & Rooij, S. D., 1 Oct 2010, Proceedings of the 21st International Conference on Algorithmic Learning Theory (ALT 2010). Hutter, M., Stephan, F., Vovk, V. & Zeugman, T. (eds.). Springer Berlin / Heidelberg, p. 239-254 16 p. (LNAI 6331)

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

  48. Published

    Towards General Algorithms for Grammatical Inference

    Clark, A., 1 Oct 2010, Algorithmic Learning Theory, 21st International Conference. Hutter, M., Stephan, F., Vovk, V. & Zeugmann, T. (eds.). Springer, p. 11-30

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

  49. Published

    Using Contextual Representations to Efficiently Learn Context-Free Languages

    Clark, A., Eyraud, R. & Habrard, A., 1 Oct 2010, In : Journal of Machine Learning Research. 11, p. 2707-2744 38 p.

    Research output: Contribution to journalArticle

  50. Published

    Proactive Detection of Computer Worms Using Model Checking

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

    Research output: Contribution to journalArticle

  51. Published

    The identification of Transcription Factor Binding Sites using string kernels

    Shanahan, H., 10 Sep 2010

    Research output: Contribution to conferenceOther

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

  53. Published

    Learning Context Free Grammars with the Syntactic Concept Lattice

    Clark, A., 1 Sep 2010, Grammatical Inference: Theoretical Results and Applications. Sempere, J. & Garcia, P. (eds.). Springer-Verlag, Vol. 6339, p. 38-51 (Lecture Notes in Computer Science; vol. 6339)

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

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

  55. Published

    Switching between Hidden Markov Models using Fixed Share

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

    Research output: Working paper

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

  57. Published

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

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

    Research output: Contribution to journalArticle

  58. Published

    Zeus desktop molecular visualisation software: Molecular viewer for WIndows

    Alnasir, J., 1 Jul 2010

    Research output: Non-textual formSoftware

  59. Published

    Magnet: Practical Subscription Clustering for Internet-Scale Publish/Subscribe

    Girdzijauskas, S., Chockler, G., Vigfusson, Y., Melamed, R. & Tock, Y., Jul 2010, Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems (DEBS '10). Cambridge, UK: ACM, p. 172-183 12 p.

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

  60. Published

    Prequential randomness and probability

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

    Research output: Contribution to journalArticle

  61. Published

    Supermartingales in prediction with expert advice

    Chernov, A., Kalnishkan, Y., Zhdanov, F. & Vovk, V., 17 Jun 2010, In : Theoretical Computer Science. 411, 29-30, p. 2647-2669 23 p.

    Research output: Contribution to journalArticle

  62. Published
  63. Published

    Hedging Structured Concepts

    Koolen, W. M., Warmuth, M. K. & Kivinen, J., 1 Jun 2010, Proceedings of the 23rd Annual Conference on Learning Theory (COLT 2010). p. 93-105 13 p.

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

  64. Published

    Note on Max Lin-2 above Average

    Crowston, R., Gutin, G. & Jones, M., 16 May 2010, In : Information Processing Letters. 110, 11, p. 451-454 4 p.

    Research output: Contribution to journalArticle

  65. Published

    Insuring against loss of evidence in game-theoretic probability

    Philip Dawid, A., de Rooij, S., Shafer, G., Shen, A., Vereshchagin, N. & Vovk, V., 11 May 2010

    Research output: Working paper

  66. Published

    Rough paths in idealized financial markets

    Vovk, V., 3 May 2010

    Research output: Working paper

  67. Published

    Special issue dedicated to FASE'08

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

    Research output: Contribution to journalSpecial issue

  68. 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 issue

  69. Published

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

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

    Research output: Contribution to journalArticle

  70. Published

    Document Classification Models Based On Bayesian Networks

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

    Research output: ThesisDoctoral Thesis

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

  72. Published
  73. 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 journalArticle

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

  75. Published

    How to base probability theory on perfect-information games

    Shafer, G., Vovk, V. & Chychyla, R., Feb 2010, In : Bulletin of the European Association for Theoretical Computer Science. 100, p. 115-148 34 p.

    Research output: Contribution to journalArticle

  76. Published

    A Formal Framework of Virtual Organisations as Agent Societies

    McGinnis, J., Stathis, K. & Toni, F., 25 Jan 2010, p. 1-14 14 p.

    Research output: Contribution to conferencePaper

  77. Published

    Structure and Behaviour of Virtual Organisation Breeding Environments

    Bocchi, L., Fiadeiro, J., Rajper, N. & Reiff-Marganiec, S., 25 Jan 2010, In : Electronic Proceedings in Theoretical Computer Science. 16

    Research output: Contribution to journalArticle

  78. Published

    Functional and evolutionary insights from the genomes of three parasitoid Nasonia species

    Werren, J. H. , Richards, S. , Desjardins, C. A. , Niehuis, O. , Gadau, J. , Colbourne, J. K. , Werren, J. H. , Richards, S. , Desjardins, C. A. , Niehuis, O. , Gadau, J. , Colbourne, J. K. , Beukeboom, L. W. , Desplan, C. , Elsik, C. G. , Grimmelikhuijzen, C. J. P. , Kitts, P. , Lynch, J. A. , Murphy, T. , Oliveira, D. C. S. G. & 31 others Smith, C. D., van de Zande, L., Worley, K. C., Zdobnov, E. M., Aerts, M., Albert, S., Anaya, V. H., Anzola, J. M., Barchuk, A. R., Behura, S. K., Bera, A. N., Berenbaum, M. R., Bertossa, R. C., Bitondi, M. M. G., Bordenstein, S. R., Bork, P., Bornberg-Bauer, E., Brunain, M., Cazzamali, G., Chaboub, L., Chacko, J., Chavez, D., Childers, C. P., Choi, J-H., Clark, M. E., Claudianos, C., Clinton, R. A., Cree, A. G., Cristino, A. S., Solovyev, V. & Nasonia Genome Working Group, 15 Jan 2010, In : Science. 327, 5963, p. 343-8 6 p.

    Research output: Contribution to journalArticle

  79. Published

    A model for dynamic reconfiguration in service-oriented architectures

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6285 LNCS, p. 70-85 16 p.

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

  80. Published

    Link-based text classification using Bayesian networks

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F., Masegosa, A. R. & Romero, A. E., 1 Jan 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6203 LNCS, p. 397-406 10 p.

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

  81. Published

    Proceedings - Software Engineering and Formal Methods, SEFM 2010

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

    Research output: Other contribution

  82. Published

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

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

    Research output: Contribution to journalArticle

  83. Published

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

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

    Research output: Contribution to journalEditorial

  84. Published

    Weyl's predicative classical mathematics as a logic-enriched type theory

    Adams, R. & Luo, Z., Jan 2010, In : ACM Transactions on Computational Logic. 11, 2, 31 p., 11

    Research output: Contribution to journalArticle

  85. Published

    A contract-based event driven model for collaborative security in financial information systems

    Baldoni, R., Lodi, G., Chockler, G., Dekel, E., Mulcahy, B. P. & Martufi, G., 2010, ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems. p. 147-153 7 p.

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

  86. Published

    A Memetic Algorithm for the Generalized Traveling Salesman Problem

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

    Research output: Contribution to journalArticle

  87. Published

    A Service Oriented Approach for Ubiquitous Agents in AMI Systems Using EVATAR

    Dipsis, N. & Stathis, K., 2010, p. 213 220 p.

    Research output: Contribution to conferencePaper

  88. Published

    Algebraic Proofs over Noncommutative Formulas

    Tzameret, I., 2010, 7th Annual Conference on Theory and Applications of Models of Computation. Berlin, Vol. 6108, p. 60 71 p. (Lecture Notes in Computer Science (LNCS))

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

  89. Published

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

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

    Research output: Contribution to journalArticle

  90. Published

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

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

    Research output: Contribution to journalArticle

  91. Published

    An agile approach to language modelling and development

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

    Research output: Contribution to journalArticle

  92. Published

    An Identity for Kernel Ridge Regression

    Zhdanov, F. & Kalnishkan, Y., 2010, Learning Theory 21st International Conference, ALT 2010, Proceedings: volume 6331 of Lecture Notes in Computer Science. Springer, p. 405-419 (Lecture Notes in Computer Science; vol. 6331)

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

  93. Published

    Analysing Mu‐Calculus Properties of Pushdown Systems (Tool Presentation)

    Hague, M. & Ong, C-H. L., 2010, SPIN.

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

  94. Published

    Application of conformal predictors to tea classification based on electronic nose

    Nouretdinov, I., Li, G., Gammerman, A. & Luo, Z., 2010, Artificial Intelligence Applications and Innovations. Springer, p. 303-310

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

  95. Published

    BOOM: Taking boolean program model checking one step further

    Basler, G., Hague, M., Kroening, D., Ong, C-H. L., Wahl, T. & Zhao, H., 2010, TACAS: Tools and Algorithms for the Construction and Analysis of Systems.

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

  96. Published

    Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks

    Chung, H. C., Robinson, P. & Welch, J. L., 2010, Algorithms for Sensor Systems - 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers. p. 89-91 3 p.

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

  97. Published

    Buffered Communication Analysis in Distributed Multiparty Sessions

    Denielou, P-M. & Yoshida, N., 2010, CONCUR 2010 - CONCURRENCY THEORY. Gastin, P. & Laroussinie, F. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 343-357 15 p.

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

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

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

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

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

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

Previous 1...4 5 6 7 8 9 10 11 ...20 Next