1. 2013
  2. 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

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

  4. Published

    A Dibutyl Phthalate Sensor Based on a Nanofiber Polyaniline Coated Quartz Crystal Monitor

    Wang, Y., Ding, P., Hu, R., Zhang, J., Ma, X., Luo, Z. & Li, G., Jan 2013, In : Sensors. 13, 3, p. 3765-3775

    Research output: Contribution to journalArticle

  5. Published

    (Non-)existence of Polynomial Kernels for the Test Cover Problem

    Gutin, G., Muciaccia, G. & Yeo, A., 2013, In : Information Processing Letters. 113, p. 123-126

    Research output: Contribution to journalArticle

  6. Published

    A Completeness Theory for Polynomial (Turing) Kernelization

    Hermelin, D., Kratsch, S., Soltys, K., Wahlström, M. & Wu, X., 2013, IPEC. Springer, Vol. LNCS 8246. p. 202 215 p.

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

  7. Published

    A Logic-Programming Semantics of Services

    Tutu, I. & Fiadeiro, J. L., 2013, p. 299-313.

    Research output: Contribution to conferencePaper

  8. Published

    A long-range self-similarity approach to segmenting DJ mixed music streams

    Scarfe, T., Koolen, W. M. & Kalnishkan, Y., 2013, Artificial Intelligence Applications and Innovations: Proceedings of the 9th IFIP WG 12.5 International Conference, AIAI 2013, Paphos, Cyprus, September 30 – October 2, 2013. Papadopoulos, H., Andreou, A. S., Iliadis, L. & Maglogiannis, I. (eds.). Springer, p. 235-244 10 p. (IFIP Advances in Information and Communication Technology; vol. 412).

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

  9. Forthcoming

    A new bound for 3-satisfiable MaxSat and its algorithmic application

    Gutin, G., Jones, M., Scheder, D. & Yeo, A., 2013, (Accepted/In press) In : Information and Computation. 8 p.

    Research output: Contribution to journalArticle

  10. Published

    A Pluralist Approach to Type-Theoretic Foundations.

    Luo, Z., 2013, Inter. Conf. on Type Theory, Homotopy Theory and Univalent Foundations. .

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

  11. Published

    A RESTful and decentralised implementation of open objects

    Goncalves, P. & Stathis, K., 2013, p. 1515-1524. 9 p.

    Research output: Contribution to conferencePaper

  12. Published

    A Self-Healing Distributed Pervasive Health System

    Bromuri, S., Schumacher, M. & Stathis, K., 2013, In : Int. J. of Web Engineering and Technology. 8, 2, p. 177 196 p.

    Research output: Contribution to journalArticle

  13. Published

    A timed component algebra for services

    Delahaye, B., Fiadeiro, J. L., Legay, A. & Lopes, A., 2013, FMOODS/FORTE. Beyer, D. & Borelae, M. (eds.). Springer, p. 242-257 16 p. (Lecture Notes in Computer Science; vol. 7892).

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

  14. Unpublished

    Above And Below Guarantee Parameterizations For Combinatorial Optimisation Problems

    Jones, M., 2013, (Unpublished) 141 p.

    Research output: ThesisDoctoral Thesis

  15. Published

    Abusing the Tutte Matrix: An Algebraic Instance Compression for the K-set-cycle Problem

    Wahlström, M., 2013, STACS. p. 341-352 12 p.

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

  16. Unpublished

    Adaptive Online Learning

    Adamskiy, M., 2013, (Unpublished)

    Research output: ThesisDoctoral Thesis

  17. Unpublished

    Algorithms for Parameterized Constraint Satisfaction Problems

    Crowston, R., 2013, (Unpublished) 125 p.

    Research output: ThesisDoctoral Thesis

  18. Published

    An Algebraic Theory of Complexity for Discrete Optimisation

    Cohen, D. A., Cooper, M. C., Creed, P., Jeavons, P. G. & Živný, S., 2013, In : SIAM Journal on Computing. 42, 5, p. 1915-1939 24 p.

    Research output: Contribution to journalArticle

  19. Forthcoming

    An Overview of Gene Regulation

    Shanahan, H. & Harrison, A., 2013, (Accepted/In press) Approaches to Integrative Bioinformatics. Chen, MI. & Hofstaedt, R. (eds.). Springer, p. 21-69

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. Published

    Argumentative Agents for Service-Oriented Computing

    Morge, M., McGinnis, J., Bromuri, S., Mancarella, P., Stathis, K. & Toni, F., 2013, Multiagent Systems and Applications. Ganzha, M. & Jain, L. C. (eds.). Springer-Verlag Berlin Heidelberg, p. 217-255 39 p.

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

  21. Published

    Artificial Intelligence Applications in Biomedicine

    Vlamos, P., Lefkimmiatis, K., Cocianu, C., State, L. & Luo, Z., 2013, In : Advances in Artificial Intelligence. 2 p.

    Research output: Contribution to journalArticle

  22. Published

    Brief Announcement: Consistency and Complexity Tradeoffs for Highly-Available Multi-Cloud Store

    Chockler, G., Shraer, A. & Dobre, D., 2013.

    Research output: Contribution to conferencePaper

  23. Published

    Comorphisms of structured institutions

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

    Research output: Contribution to journalArticle

  24. Unpublished

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

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

    Research output: Working paper

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

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

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

  28. Published

    Dynamic Performance Profiling of Cloud Caches

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

    Research output: Contribution to conferencePoster

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

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

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

  32. Published

    GLL parse-tree generation

    Scott, E. & Johnstone, A., 2013, In : Science of Computer Programming. 78, 10, p. 1828–1844

    Research output: Contribution to journalArticle

  33. Published

    Island Grammar-Based Parsing Using GLL and Tom

    Johnstone, A., Scott, E., van den Brand, M., Afroozeh, A., Manders, M., Moreau, P-E. & Bach, J-C., 2013, Software Language Engineering Lecture Notes in Computer Science : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. p. 224 243 p.

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

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

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

  36. Published

    Logical Foundations of Services

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

    Research output: Contribution to conferencePaper

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

  38. Unpublished

    Merging Time Series with Specialist Experts

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

    Research output: Working paper

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

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

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

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

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

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

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

  46. Published

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

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

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

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

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

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

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

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

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

  53. Published

    Subtyping in Type Theory: Coercion Contexts and Local Coercions

    Luo, Z. & Part, F., 2013.

    Research output: Contribution to conferenceAbstract

  54. Unpublished

    The Effect of Representations on Constraint Satisfaction Problems

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

    Research output: ThesisDoctoral Thesis

  55. Unpublished

    Theory and Implementation of Coercive Subtyping

    Xue, T., 2013, (Unpublished)

    Research output: ThesisDoctoral Thesis

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

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

  58. Published

    Variable Elimination in Binary CSP via Forbidden Patterns

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

    Research output: Contribution to conferencePaper

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

  60. 2012
  61. Published

    Combining p-values via averaging

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

    Research output: Working paper

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

  63. Published

    Venn predictors and isotonic regression

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

    Research output: Working paper

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

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

  66. Published

    Inductive conformal predictors in the batch mode

    Vovk, V., 12 Sep 2012.

    Research output: Working paper

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

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

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

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

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

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

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

  74. 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 othersTillier, 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

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

  76. Published

    Cross-conformal predictors

    Vovk, V., 3 Aug 2012.

    Research output: Working paper

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  93. Published

    Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware

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

    Research output: Book/ReportBook

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

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

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

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

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

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

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

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

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

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