1. 1999
  2. Published

    Practical 'what-if?' modelling for resource management of corporate voice-data networks

    Pitts, J., Luo, Z. & Cosmas, J., 1999, Proceedings of SPIE - The International Society for Optical Engineering. Vol. 3842. p. 132-141

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

  3. Published

    Prequential probability: principles and properties

    Dawid, A. P. & Vovk, V., 1999, In: Bernoulli. 5, p. 125-162 38 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Pricing European options without probability

    Vovk, V., 1999.

    Research output: Working paper

  5. Published

    Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers

    Fiadeiro, J. L. (ed.), 1999, Lecture Notes in Computer Science. Springer, Vol. 1589.

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

  6. Published

    Safe Portfolio Optimization

    Watkins, C. & Macrae, R., 1999, Proc. IX Int. Symp. of Applied Stochastic Models and Data Analysis: Quantitative Methods in Business and Industry Society.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Published

    Small diameter neighbourhood graphs for the travelling salesman problem

    Gutin, G. & Yeo, A., 1999, In: Computers and Operational Research. 26, 4, p. 321-327 7 p.

    Research output: Contribution to journalArticlepeer-review

  8. Published

    Software Change Management: Improving Tool Support for Maintenance

    Manderson, R. & Layzell, P. J., 1999, Proc. International Symposium on Constructing Software Engineering Tools, ICSE Workshop WMT3, Los Angeles, CA, USA, May 1999. p. 159-162 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Published

    Spatial Measures of Software Complexity

    Douce, C. R., Layzell, P. J. & Black-Branch, J. B., 1999, PPIG-11 Annual Workshop, 4-7 January 1999, University of Leeds, UK. p. 36-45 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Published

    Special issue editorial - Kolmogorov complexity

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

    Research output: Contribution to journalEditorialpeer-review

  11. Published

    Statistical applications of algorithmic randomness

    Vovk, V. & Gammerman, A., 1999, Bulletin of the International Statistical Institute. Proceedings of the Fifty Second Session: Contributed Papers. book 3 ed. Vol. 58. p. 469-470 2 p.

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

  12. Published

    Support Vector density estimation

    Weston, J., Gammerman, A., Stitson, M., Vapnik, V., Vovk, V. & Watkins, C., 1999, Advances in Kernel Methods: Support Vector Learning. Scholkopf, B., Burghes, C. J. C. & Smola, A. J. (eds.). Cambridge, MA: MIT Press, p. 293-305 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  13. Published

    Support vector machines for multi-class pattern recognition

    Weston, J. & Watkins, C., 1999.

    Research output: Contribution to conferenceOtherpeer-review

  14. Published

    Support Vector regression with ANOVA decomposition kernels

    Stitson, M., Gammerman, A., Vapnik, V., Vovk, V., Watkins, C. & Weston, J., 1999, Advances in Kernel Methods: Support Vector Learning. Scholkopf, B., Burghes, C. J. C. & Smola, A. J. (eds.). Cambridge, MA: MIT Press, p. 285-291 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Published

    The Future of Software: Defining the Research Agenda

    Brereton, P., Budgen, D., Bennett, K., Munro, M., Layzell, P., Macaulay, L., Griffiths, D. & Stannett, C., 1999, In: Comm.ACM. 42, 12, p. 78-84 7 p.

    Research output: Contribution to journalArticlepeer-review

  16. Published

    Traffic control and resource management using a multi-agent system

    Luo, Z., Bigham, J., Cuthbert, L. & Hayzelden, A., 1999, Broadband Communications: Convergence of Network Technologies. Tsang, D. H. K. & Kuhn, P. J. (eds.). USA: Kluwer Academic Publishers, p. 595-606

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

  17. Published

    Transduction with confidence and credibility

    Saunders, C., Gammerman, A. & Vovk, V., 1999, Proceedings of the Sixteenth International Joint Conference on Articial Intelligence. Dean, T. (ed.). San Francisco, CA: Morgan Kaufmann, Vol. 2. p. 722-726 5 p.

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

  18. Published

    Using explicit state to describe architectures

    Lopes, A. & Fiadeiro, J. L., 1999, FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING. Finance, JP. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 144-160 17 p.

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

  19. 1998
  20. Published

    A computational tool that supports formal diagnosis of process design

    Ramos, P. & Fiadeiro, J. L., 15 Oct 1998, In: Information and Software Technology. 40, 10, p. 555-565 11 p.

    Research output: Contribution to journalArticlepeer-review

  21. Published

    Are there Effective Frequency Separation Constraints for FAPs with Irregular Tx Placements?

    Bater, J. E., Jeavons, P. G., Cohen, D. A. & Dunkin, N. W., 1 Oct 1998.

    Research output: Contribution to conferencePaper

  22. Published

    Towards a game-based architecture for developing complex interactive components in computational logic

    Stathis, K., 19 Sep 1998.

    Research output: Contribution to conferencePaperpeer-review

  23. Published

    rdp - an iterator-based recursive descent parser generator with tree promotion operators

    Johnstone, A. & Scott, E., 1 Sep 1998, In: ACM SIGPLAN Notices. 33, 9, p. 87-94 8 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    The Chern-Simons number as an order parameter: classical sphaleron transitions for SU(2)-Higgs field theories for m(H)approximate to 120 GeV

    Shanahan, H. P. & Davis, A. C., 9 Jul 1998, In: Physics Letters B. 431, 1-2, p. 135-140 6 p.

    Research output: Contribution to journalArticlepeer-review

  25. Published

    A Cooperative Information System for the Connected Communities

    Pitt, J., Mamdani, E. & Stathis, K., 1 May 1998, Proceedings of COOP'98: Improving the Design of Cooperative Systems. Darses, F. & Zarate, P. (eds.).

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

  26. Published

    Heavy hybrid states from NRQCD

    Manke, T., Drummond, I. T., Horgan, R. R. & Shanahan, H. P., 1 Apr 1998, In: Physical Review D . 57, 7, p. R3829-R3832 4 p.

    Research output: Contribution to journalArticlepeer-review

  27. Published

    A game of prediction with expert advice

    Vovk, V., Apr 1998, In: Journal of Computer and System Sciences. 56, 2, p. 153-173 21 p.

    Research output: Contribution to journalArticlepeer-review

  28. Published

    A study of the quenched (b)over-bar-c mass spectrum at beta=6.2

    Davies, C. T. H., Lidsey, A. J. & Shanahan, H. P., Apr 1998, In: Nuclear Physics B - Proceedings Supplements. 63, p. 323-325 3 p.

    Research output: Contribution to journalArticlepeer-review

  29. Published

    Hybrid quarkonia with high statistics from NRQCD

    Manke, T., Drummond, I. T., Horgan, R. R., Shanahan, H. P. & UKQCD Collaboration, Apr 1998, In: Nuclear Physics B - Proceedings Supplements. 63, p. 332-334 3 p.

    Research output: Contribution to journalArticlepeer-review

  30. Published

    An abstract framework for globalising interactive systems

    Stathis, K. & Sergot, M., Feb 1998, In: Interacting with Computers. 9, 4, p. 401-416 16 p.

    Research output: Contribution to journalArticlepeer-review

  31. Published

    Connectors for mobile programs

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

    Research output: Contribution to journalArticlepeer-review

  32. Published

    Identities of regular semigroup rings

    Yang, H., 1 Jan 1998, In: Semigroup Forum. 57, 2, p. 293-295 3 p.

    Research output: Contribution to journalArticlepeer-review

  33. Published

    A note on cardinality of certain classes of unlabeled multipartite tournaments

    Gutin, G., 1998, In: Discrete Mathematics. 186, p. 277-280

    Research output: Contribution to journalArticle

  34. Published

    A polynomial algorithm for the Hamiltonian cycle problem in semicomplete multipartite digraphs

    Bang-Jensen, J., Gutin, G. & Yeo, A., 1998, In: Journal of Graph Theory. 29, 2, p. 111-132

    Research output: Contribution to journalArticlepeer-review

  35. Published

    A Study of Communication and Cooperation in Distributed Software Project Teams

    French, A. & Layzell, P. J., 1998, IEEE International Conference on Software Maintenance, Bethesda, November 1998. p. 146-155 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  36. Published

    Adaptive totally ordered multicast protocol that tolerates partitions

    Chockler, G. V., Huleihel, N. & Dolev, D., 1998, Proceedings of the 17th ACM Symposium on Principles of Distributed Computing (PODC '98). ACM, p. 237-246 10 p.

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

  37. Published

    Alternating cycles and trails in 2-edge-coloured multigraphs

    Bang-Jensen, J. & Gutin, G., 1998, In: Discrete Mathematics. 188, 1, p. 61-72

    Research output: Contribution to journalArticle

  38. Published

    An Analysis of Active and Latent Errors During Object-Oriented Maintenance

    Douce, C. R. & Layzell, P. J., 1998, PPIG-10 Annual workshop Proceedings, Open University, UK, 5-7 January 1998.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  41. Published

    Constraints and universal algebra

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

    Research output: Contribution to journalArticlepeer-review

  42. Published

    Constraints and Universal Algebra

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

    Research output: Working paper

  43. Published

    Constraints, Consistency and Closure

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

    Research output: Contribution to journalArticlepeer-review

  44. Published

    Distributed Group Working in Software Engineering

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

    Research output: Contribution to journalArticlepeer-review

  45. Published

    Generalised recursive descent parsing and follow-determinism

    Johnstone, A. & Scott, E., 1998, In: Lecture Notes in Computer Science. 1383, p. 16-30 15 p.

    Research output: Contribution to journalArticlepeer-review

  46. Published

    Generalizations of tournaments: A survey

    Bang-Jensen, J. & Gutin, G., 1998, In: Journal of Graph Theory. 28, 4, p. 171-202

    Research output: Contribution to journalArticle

  47. Published

    Image Processing and Data Analysis: The Multiscale Approach

    Murtagh, F., Starck, J-L. & Bijaoui, A., 1998, Cambridge : Cambridge University Press.

    Research output: Book/ReportBook

  48. Published

    Labeled Families in Modular Software Development

    Veloso, S. R. M., Veloso, P. A. S. & Fiadeiro, J. L., 1998, In: J. Braz. Comp. Soc.. 5, 1

    Research output: Contribution to journalArticlepeer-review

  49. Published

    Learning by Support Vector Machine

    Gammerman, A. & Vovk, V., 1998.

    Research output: Contribution to conferenceOther

  50. Published

    Learning by transduction

    Gammerman, A., Vapnik, V. & Vovk, V., 1998, Proceedings of the Fourteenth Conference on Uncertainty in Articial Intelligence. San Francisco, CA: Morgan Kaufmann, p. 148-156 9 p.

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

  51. Published

    Mathematical vernacular in type theory based proof assistants

    Callaghan, P. & Luo, Z., 1998, User Interfaces for Theorem Provers (UITP'98).

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

  52. Published

    Maximal and Minimal Vertex-critical Graphs of Diameter Two

    Huang, J. & Yeo, A., 1998, In: Journal of Combinatorial Theory, Series B. 74, 2, p. 311-325 15 p.

    Research output: Contribution to journalArticlepeer-review

  53. Published

    Method of Automatic Verification of Personal Identity

    Watkins, C., 1998, IPC No. US Patent, Patent No. 5719560

    Research output: Patent

  54. Published

    Note on alternating directed cycles

    Gutin, G., Sudakov, B. & Yeo, A., 1998, In: Discrete Mathematics. 191, p. 101-107

    Research output: Contribution to journalArticlepeer-review

  55. Published

    Organisational Considerations for Software Reuse

    Lynex, A. & Layzell, P. J., 1998, Annals of Software Engineering, Vol.5.. J.C.Baltzer AG, p. 105-124 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  56. Published

    Programmer Comprehension

    Douce, C. & Layzell, P. J., 1998, PPIG-10 Annual Workshop, 5-7 January 1998, Open University, Milton Keynes, UK. p. 1-18 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  57. Published

    Properly coloured Hamiltonian paths in edge-coloured complete graphs

    Bang-Jensen, J., Gutin, G. & Yeo, A., 1998, In: Discrete Applied Mathematics. 82, p. 247-250 4 p.

    Research output: Contribution to journalArticlepeer-review

  58. Published

    Ridge Regression learning algorithm in dual variables

    Saunders, C., Gammerman, A. & Vovk, V., 1998, Proceedings of the Fifteenth International Conference on Machine Learning. San Francisco, CA: Morgan Kaufmann, p. 515-521 7 p.

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

  59. Published

    Scalable Group Membership Services for Novel Applications

    Anker, T., Chockler, G., Dolev, D. & Keidar, I., 1998, Proceedings of the DIMACS Workshop on Networks in Distributed Computing. Merritt, M. & Shavit, N. (eds.). American Mathematical Society, p. 23-42 20 p. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science; vol. 45).

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

  60. Published

    Selective, multi-level modelling for accelerated simulation of large, heterogeneous corporate telecommunications networks

    Pitts, J., Luo, Z., Nyong, D. & Cosmas, J., 1998, 15th IEE UK Teletraffic Symposium.

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

  61. Published

    Some proof-theoretic and algorithmic aspects of coercive subtyping

    Jones, A., Luo, Z. & Soloviev, S., 1998, Types for proofs and programs, Proc. of the Inter. Conf. TYPES'96, LNCS 1512.

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

  62. Published

    Statistical significance of ungapped sequence alignments.

    Alexandrov, N. N. & Solovyev, V. V., 1998, p. 463-472. 10 p.

    Research output: Contribution to conferenceAbstract

  63. Published

    Three types of gamma-ray bursts

    Mukherjee, S., D. Feigelson, E., Jogesh Babu, G., Murtagh, F., Fraley, C. & Raftery, A., 1998, In: Astrophysical Journal. 508, p. 314-327 14 p.

    Research output: Contribution to journalArticlepeer-review

  64. Published

    Towards High Order Constraint Representations for the Frequency Assignment Problem

    Dunkin, N. W., Bater, J. E., Jeavons, P. G. & Cohen, D. A., 1998.

    Research output: Working paper

  65. Published

    Universal portfolio selection

    Vovk, V. & Watkins, C. J. H. C., 1998, Proceedings of the Eleventh Annual Conference on Computational Learning Theory. New York: ACM Press, p. 12-23 12 p.

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

  66. 1997
  67. Published

    Y spectrum from NRQCD with improved action

    Manke, T., Drummond, I. T., Horgan, R. R. & Shanahan, H. P., 11 Sep 1997, In: Physics Letters B. 408, 1-4, p. 308-314 7 p.

    Research output: Contribution to journalArticlepeer-review

  68. Published

    Categorical semantics of parallel program design

    Fiadeiro, J. L. & Maibaum, T., 1 Apr 1997, In: Science of Computer Programming. 28, 2-3, p. 111-138 28 p.

    Research output: Contribution to journalArticlepeer-review

  69. Published

    The existence of identity of periodic semigroup rings

    Yang, H. X., Luo, Y. F. & Yang, H., Apr 1997, In: Chinese Science Bulletin. 42, 7, p. 614-615 2 p.

    Research output: Contribution to journalLetterpeer-review

  70. Published

    Identification of resource allocation trends in irregular ATM networks

    Cosmas, J., Pitts, J., Bocci, M., Luo, Z., Nyong, D. & Rai, S., Mar 1997, Proceeding of Fourth UKTS on Performance Modelling and Evaluation of ATM Networks. p. 24/1-24/12

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

  71. Published

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

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

    Research output: Contribution to journalArticlepeer-review

  72. Published

    Recognition of 3' -processing sites of human mRNA precursors

    Salamov, A. A. & Solovyev, V. V., 1 Feb 1997, In: Bioinformatics. 13, 1, p. 23-28 6 p.

    Research output: Contribution to journalArticlepeer-review

  73. Published

    The Gene-Finder computer tools for analysis of human and model organisms genome sequences

    Solovyev, V. & Salamov, A., 1 Jan 1997, Proceedings of the Fifth International Conference on Intelligent Systems for Molecular Biology. Vol. 5. p. 294-302 9 p.

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

  74. Published

    A classification of locally semicomplete digraphs

    Bang-Jensen, J., Guo, Y., Gutin, G. & Volkmann, L., 1997, In: Discrete Mathematics. 167/168, p. 101-114

    Research output: Contribution to journalArticle

  75. Published

    A formal transformation and refinement method for re-engineering concurrent programs

    Younger, E., Bennett, K. & Luo, Z., 1997, Proc of IEEE Inter. Conf. on Software Maintenance.

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

  76. Published

    A Note on Alternating Cycles in Edge-coloured Graphs

    Yeo, A., 1997, In: Journal of Combinatorial Theory, Series B. 69, p. 222-225 4 p.

    Research output: Contribution to journalArticlepeer-review

  77. Published
  78. Published

    Analysis of mutation rates in the SMCY/SMCX genes shows that mammalian evolution is male driven.

    Agulnik, A. I., Bishop, C. E., Lerner, J. L., Agulnik, S. I. & Solovyev, V. V., 1997, p. 134-138. 5 p.

    Research output: Contribution to conferenceAbstract

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

  80. Published

    Coercive subtyping in type theory

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

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

  81. Published

    Constraints, Consistency and Closure

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

    Research output: Working paper

  82. Published

    Coordination Durative Actions

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

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

  83. Published

    Derandomizing stochastic prediction strategies

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

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

  84. Published

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

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

    Research output: Contribution to conferencePaperpeer-review

  85. Published

    Extending the Ami Approach to Encompass the Foundation Activity

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  86. Published

    Hamiltonian Cycles Avoiding Prescribed Arcs in Tournaments

    Bang-Jensen, J., Gutin, G. & Yeo, A., 1997, In: Combinatorics, Probability and Computing. 6, 3, p. 255-261

    Research output: Contribution to journalArticlepeer-review

  87. Published

    Hamiltonian paths and cycles in hypertournaments

    Gutin, G. & Yeo, A., 1997, In: Journal of Graph Theory. 25, 4, p. 277-286

    Research output: Contribution to journalArticlepeer-review

  88. Published

    Implementing a model checker for Lego

    Yu, S. & Luo, Z., 1997, Proc. of the 4th Inter Symp. of Formal Methods Europe, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods. LNCS 1313.

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

  89. Published

    Knowledge-Based Front-Ends as Games

    Stathis, K., Sergot, M. J. & Liebowitz, J. (ed.), 1997, In: Journal of Lessons Learned in Information Technology Management. 1, 2, p. 135-147 13 p.

    Research output: Contribution to journalArticlepeer-review

  90. Published

    Learning about the parameter of the Bernoulli model

    Vovk, V., 1997, In: Journal of Computer and System Sciences. 55, p. 96-104 9 p.

    Research output: Contribution to journalArticlepeer-review

  91. Published

    Linguistic categories in mathematical vernacular and their type-theoretic semantics (extended abstract)

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

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

  92. Published

    Maintenance of Object Oriented C++ Software: A Protocol Study

    Douce, C. & Layzell, P. J., 1997, WESS’97, 2nd International Workshop on Empirical Studies of Software Maintenance, Bari, Italy, IEEE Computer Society, October 1997. p. 115-119 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  93. Published

    One-Diregular Subgraphs in Semicomplete Multipartite Digraphs

    Yeo, A., 1997, In: Journal of Graph Theory. 24, 11, p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  94. Published

    On-line competitive linear regression

    Vovk, V., 1997.

    Research output: Working paper

  95. Published

    Paths and cycles in extended and decomposable digraphs

    Bang-Jensen, J. & Gutin, G., 1997, In: Discrete Mathematics. 164, p. 5-19

    Research output: Contribution to journalArticle

  96. Published

    Preservation and Reflection in Specification

    Lopes, A. & Fiadeiro, J. L., 1997, AMAST. Springer, Vol. 1349. p. 380-394 15 p. (Lecture Notes in Computer Science).

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

  97. Published

    Probability theory for the Brier game

    Vovk, V., 1997, Proceedings of the Workshop on Algorithmic Learning Theory. Li, M. & Maruoka, A. (eds.). Springer, p. 323-338 16 p. (Lecture Notes in Computer Science; vol. 1316).

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

  98. Published

    Proc of TYPES Working Group Workshop on Subtyping, Inheritance, and Modularisation of Proofs

    Luo, Z. (ed.) & Soloviev, S. (ed.), 1997, Durham University.

    Research output: Book/ReportBook

  99. Published

    Properly colored Hamilton cycles in edge colored complete graphs

    Gutin, G. & Alon, N., 1997, In: Random Structures and Algorithms. 11, 2, p. 179-186

    Research output: Contribution to journalArticle

  100. Published

    Protein secondary structure prediction using local alignments.

    Salamov, A. A. & Solovyev, V. V., 1997, p. 31-36. 6 p.

    Research output: Contribution to conferenceAbstract

  101. Published

    Semantics of Architectural Connectors

    Fiadeiro, J. L. & Lopes, A., 1997, TAPSOFT. Springer, Vol. 1214. p. 505-519 15 p. (Lecture Notes in Computer Science).

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

  102. Published

    Specification of Required Non-determinism

    Lano, K., Bicarregui, J., Fiadeiro, J. L. & Lopes, A., 1997, FME. Springer, Vol. 1313. p. 298-317 20 p. (Lecture Notes in Computer Science).

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

  103. Published

    Synthesising interconnections

    Fiadeiro, J. L., Lopes, A. & Maibaum, T. S. E., 1997, Algorithmic Languages and Calculi. Chapman & Hall, Vol. 95. p. 240-264 25 p. (IFIP Conference Proceedings).

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