1. 1996
  2. Published

    An approximate algorithm for combinatorial optimization problems with two parameters

    Blokh, D. & Gutin, G., 1996, In: Australasian Journal of Combinatorics. 14, p. 157-164

    Research output: Contribution to journalArticlepeer-review

  3. Published

    Another semantics for Pearl's action calculus

    Vovk, V., 1996, Computational Learning and Probabilistic Reasoning. Gammerman, A. (ed.). New York: Wiley-Interscience, p. 127-146 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Published

    Closure Properties of Constraints

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1996.

    Research output: Working paper

  5. Published

    Derivation of Constraints and Database Relations

    Cohen, D. A., Gyssens, M. & Jeavons, P. G., 1996, p. 134-148.

    Research output: Contribution to conferencePaper

  6. Published

    Effect of secondary structure prediction on protein fold recognition and database search

    Alexandrov, N. N. & Solovyev, V., 1996, In: Genome Informatics. 7, p. 119-127

    Research output: Contribution to journalArticlepeer-review

  7. Published

    Exploiting uncertain and temporal information in correlation

    Bigham, J. & Luo, Z., 1996, Proceedings of the 6th International Conference Information Processing and the Management of Uncertainty (IPMU-96).

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

  8. Published

    Extending B AMN with concurrency

    Lano, K., Fiadeiro, J. & Dick, J., 1996, ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING. Edalat, A., Jourdan, S. & McCusker, G. (eds.). LONDON: Imperial College Press, p. 228-239 12 p.

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

  9. Published

    Learning an optimal decision strategy in an in uence diagram with latent variables

    Vovk, V., 1996, Proceedings of the Ninth Annual Conference on Computational Learning Theory. New York: ACM Press, p. 110-121 12 p.

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

  10. Published

    Logical truths in constructive type theory (abstract)

    Luo, Z., 1996, Logic Colloquium 96.

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

  11. Published

    Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour

    Fiadeiro, J. L. & Costa, J. F., 1996, In: Mathematical Structures in Computer Science. 6, 4, p. 353-373 21 p.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    Molecular evolution

    Ratner, V. A., Zharkikh, A. A., Kolchanov, N. A., Rodin, S. N., Solovyev, V. & Antonoc, A. S., 1996, In: Biomathematics. 24

    Research output: Contribution to journalArticlepeer-review

  13. Published

    On k-strong and k-cyclic Digraphs

    Bang-Jensen, J., Gutin, G. & Yeo, A., 1996, In: Discrete Mathematics. 162, p. 1-11 11 p.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    On the Emergence of Properties in Component-Based Systems

    Fiadeiro, J. L., 1996, AMAST. Springer, Vol. 1101. p. 421-443 23 p. (Lecture Notes in Computer Science).

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

  15. Published

    Ranking the vertices of a complete multipartite paired comparison digraph.

    Gutin, G. & Yeo, A., 1996, In: Discrete Applied Mathematics. 69, 1-2, p. 75-82

    Research output: Contribution to journalArticlepeer-review

  16. Published

    Reverse engineering concurrent programs using formal modelling and analysis

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

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

  17. Published

    Sufficient conditions for a digraph to be Hamiltonian

    Gutin, G., Bang-Jensen, J. & Li, H., 1996, In: Journal of Graph Theory. 22, 2, p. 181-187

    Research output: Contribution to journalArticle

  18. Published

    Tractable Disjunctive Constraints

    Cohen, D. A., Jeavons, P. G. & Koubarakis, M., 1996, p. 478-490.

    Research output: Contribution to conferencePaper

  19. Published

    Type-theoretic semantics for SemNet

    Shiu, S., Luo, Z. & Garigliano, R., 1996, Proc. of Inter. Conf. on Formal and Applied Practical Reasoning, LNAI 1085.

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

  20. Published

    Unifying Theories in Different Institutions

    Arrais, M. & Fiadeiro, J. L., 1996, COMPASS/ADT. Springer, Vol. 1130. p. 81-101 21 p. (Lecture Notes in Computer Science).

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

  21. Published

    Vertex heaviest paths and cycles in quasi-transitive digraphs.

    Gutin, G. & Bang-Jensen, J., 1996, In: Discrete Mathematics. 163, 1-3, p. 217-223

    Research output: Contribution to journalArticle

  22. Published

    Group communication as an infrastructure for distributed system management

    Amir, Y., Breitgand, D., Chockler, G. V. & Dolev, D., 1 Jan 1996, Proceedings of the 3rd International IEEE Workshop on Services in Distributed and Networked Environments (SDNE '96). p. 84-91 8 p.

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

  23. Published

    Lattice study of the decay (B)over-bar(0)->p(+)l(-)(v)over-bar(l): Model-independent determination of vertical bar V-ub vertical bar

    Flynn, J. M., Nieves, J., Bowler, K. C., Hazel, N. M., Henty, D. S., Hoeber, H., Kenway, R. D., Richards, D. G., Gough, B. J., Lellouch, L. P. & Shanahan, H. P., 19 Feb 1996, In: Nuclear Physics B. 461, 1-2, p. 327-349 23 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    Games as a Metaphor for Interactive Systems

    Stathis, K. & Sergot, M. J., 1 Aug 1996, People and Computers XI (Proceedings of HCI'96). Sasse, M. A., Cunningham, R. J. & Winder, R. L. (eds.). London, UK: Springer-Verlag, p. 19-33 15 p. (BCS Conference Series).

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

  25. Published

    A Fast Glimpse of Knowledge-Based Front-Ends as Games

    Stathis, K. & Sergot, M. J., 1 Oct 1996, Proc. of 1st International Conference on Successes and Failures of Knowledge-Based Systems in Real World Applications. Batanov, D. & Brezillon, P. (eds.). Bangkok, Thailand: AIT Press, p. 19-33 15 p.

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

  26. Unpublished

    Game-Based Development of Interactive Systems

    Stathis, K., 1 Nov 1996, (Unpublished)

    Research output: ThesisDoctoral Thesis

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

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

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

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

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

  34. Published

    Coercive subtyping in type theory

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

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

  35. Published

    Constraints, Consistency and Closure

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

    Research output: Working paper

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

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

  38. Published

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

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

    Research output: Contribution to conferencePaperpeer-review

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

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

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

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

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

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

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

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

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

  48. Published

    On-line competitive linear regression

    Vovk, V., 1997.

    Research output: Working paper

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

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

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

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

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

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

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

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

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

  58. Published

    The Caelum Toolkit for CSCW: The Sky is the Limit

    Anker, T., Chockler, G., Dolev, D. & Keidar, I., 1997, Proceedings of the 3rd International Workshop on Next Generation Information Technologies and Systems (NGITS '97).

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

  59. Published

    The order types of termination orderings on terms, strings and multisets

    Martin, U. & Scott, E., 1997, In: Journal of Symbolic Logic. 62, 2, p. 624-635

    Research output: Contribution to journalArticlepeer-review

  60. Published

    TransMIDI: A System for MIDI Sessions Over the Network Using Transis

    Gang, D., Chockler, G., Anker, T., Kremer, A. & Winkler, T., 1997, Proceedings of International Computer Music Conference (ICMC 2007).

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

  61. Published

    Understanding Resistance to Software Reuse

    Lynex, A. & Layzell, P. J., 1997, STEP97, London, July 1997. IEEE Computer Society Press, p. 339-349 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  79. Published

    Constraints and Universal Algebra

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

    Research output: Working paper

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

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

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

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

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

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

  86. Published

    Learning by Support Vector Machine

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

    Research output: Contribution to conferenceOther

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

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

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

  90. Published

    Method of Automatic Verification of Personal Identity

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

    Research output: Patent

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

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

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

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

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

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

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

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

  99. Published

    Statistical significance of ungapped sequence alignments.

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

    Research output: Contribution to conferenceAbstract

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

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

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

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

Previous 1 2 3 4 5 6 7 8 ...24 Next