1. 2001
  2. Published

    Strategic Change stemming from E-Commerce: Implications of Multi-Agent Systems in the Supply Chain

    Cohen, M., Stathis, K. & Beaver, G. (ed.), 2001, In: Strategic Change. 10, p. 139-149 11 p.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    The minimum spanning strong subdigraph problem for extended semicomplete digraphs and semicomplete bipartite digraphs

    Bang-Jensen, J. & Yeo, A., 2001, In: Journal of Algorithms. 41, p. 1-19 19 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    TSP tour domination and Hamilton cycle decompositions of regular digraphs.

    Gutin, G. & Yeo, A., 2001, In: Operations Research Letters. 28, 3, p. 107-111

    Research output: Contribution to journalArticlepeer-review

  5. 2000
  6. Published

    What assembly programmers get up to: control flow challenges in reverse compilation

    Johnstone, A., Scott, E. & Womack, T., 3 Mar 2000, p. 83-92. 10 p.

    Research output: Contribution to conferencePaper

  7. Published

    A Game-based Architecture for developing Interactive Components in Computational Logic

    Stathis, K., Brogi, A. (ed.) & Hill, P. (ed.), 1 Mar 2000, In: Functional and Logic Programming, Special Issue on Logical Formalisms for Program Composition. 2000, 5

    Research output: Contribution to journalArticlepeer-review

  8. Published

    Reverse compilation for digital signal processors: a working example

    Johnstone, A., Scott, E. & Womack, T., 7 Jan 2000, p. 1-10. 10 p.

    Research output: Contribution to conferencePaper

  9. Published

    Building tractable disjunctive constraints

    Cohen, D. A., Jeavons, P. G., Jonsson, P. & Koubarakis, M., 2000, In: Journal of the ACM. 47, p. 826-853 28 p.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Complementary cycles containing prescribed vertices in tournaments

    Bang-Jensen, J., Guo, Y. & Yeo, A., 2000, In: Discrete Mathematics. 214, 1-3, p. 77-87 11 p.

    Research output: Contribution to journalArticlepeer-review

  11. Published

    Convex-round and concave-round graphs

    Bang-Jensen, J., Huang, J. & Yeo, A., 2000, In: SIAM Journal on Discrete Mathematics. 13, 2, p. 170-193 24 p.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    Digraphs: Theory, Algorithms and Applications

    Bang-Jensen, J. & Gutin, G., 2000, London: Springer-Verlag.

    Research output: Book/ReportBook

  13. Published

    Implementation techniques for inductive types in Plastic

    Callaghan, P. & Luo, Z., 2000, Types for Proofs and Programs, Proc of Inter Conf of TYPES'99. LNCS 1956.

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

  14. Published

    Kings in semicomplete multipartite digraphs

    Gutin, G. & Yeo, A., 2000, In: Journal of Graph Theory. 33, 3, p. 177-183

    Research output: Contribution to journalArticlepeer-review

  15. Published

    Longest paths in strong spanning oriented subgraphs of strong semicomplete multipartite digraphs

    Gutin, G., Tewes, M. & Yeo, A., 2000, In: Discrete Mathematics. 222, 1-3, p. 269-274

    Research output: Contribution to journalArticlepeer-review

  16. Published

    New Tractable Classes from Old

    Cohen, D. A., Jeavons, P. G. & Gault, R. L., 2000, p. 160-171.

    Research output: Contribution to conferencePaper

  17. Published

    Note on the path covering number of a semicomplete multipartite tournament

    Gutin, G. & Yeo, A., 2000, In: Journal of Combinatorial Mathematics and Combinatorial Computing. 32, p. 231-237 7 p.

    Research output: Contribution to journalArticlepeer-review

  18. Published

    PAL+: a lambda-free logical framework

    Luo, Z., 2000, Inter Workshop on Logical Frameworks and Meta-languages (LFM 2000).

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

  19. Published

    Quasi-hamiltonicity: a series of necessary conditions for a digraph to be hamiltonian

    Gutin, G. & Yeo, A., 2000, In: Journal of Combinatorial Theory, Series B. 78, 2, p. 232-242

    Research output: Contribution to journalArticlepeer-review

  20. Published

    Sufficient conditions for semicomplete multipartite digraphs to be Hamiltonian

    Guo, Y., Tewes, M., Volkmann, L. & Yeo, A., 2000, In: Discrete Mathematics. 212, p. 91-100 10 p.

    Research output: Contribution to journalArticlepeer-review

  21. 1999
  22. Published

    Reverse compilation of digital signal processor assembler source to ANSI-C

    Johnstone, A., Scott, E. & Womack, T., Sep 1999, p. 1-10. 10 p.

    Research output: Contribution to conferencePaper

  23. Published

    A New Sufficient Condition for a Digraph to be Hamiltonian

    Bang-Jensen, J., Guo, Y. & Yeo, A., 1999, In: Discrete Applied Mathematics. 95, 1-3, p. 61-72 12 p.

    Research output: Contribution to journalArticlepeer-review

  24. Published

    A Polynomial Algorithm for finding a cycle covering a given set of vertices in a semicomplete multipartite digraph

    Yeo, A., 1999, In: Journal of Algorithms. 33, 1, p. 124-139 16 p.

    Research output: Contribution to journalArticlepeer-review

  25. Published

    Coercive subtyping

    Luo, Z., 1999, In: Journal of Logic and Computation. 9, 1, p. 105-130 26 p.

    Research output: Contribution to journalArticlepeer-review

  26. Published

    Connected communities from the standpoint of multi-agent systems

    Mamdani, A., Pitt, J. & Stathis, K., 1999, In: New generation computing. 17, 4, p. 381-393 13 p.

    Research output: Contribution to journalArticlepeer-review

  27. Published

    Dependent coercions

    Luo, Z. & Soloviev, S., 1999, Proc of the 8th Inter. Conf. on Category Theory in Computer Science (CTCS'99), Edinburgh, Scotland. Electronic Notes in Theoretical Computer Science, Vol 29.

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

  28. Published

    Diregular c-partite tournaments are vertex-pancyclic when c>=5

    Yeo, A., 1999, In: Journal of Graph Theory. 32, p. 137-152 16 p.

    Research output: Contribution to journalArticlepeer-review

  29. Published

    Hamilton cycles, avoiding prescribed arcs, in close to regular tournaments

    Yeo, A., 1999, In: Journal of Graph Theory. 32, p. 123-136 14 p.

    Research output: Contribution to journalArticlepeer-review

  30. Published

    How close to regular must a multipartite tournament be to secure Hamiltonicity?

    Yeo, A., 1999, In: Graphs and Combinatorics. 15, p. 481-493 13 p.

    Research output: Contribution to journalArticlepeer-review

  31. Published

    How to Determine the Expressive Power of Constraints

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1999, In: Constraints. 4, 2, p. 113-131 19 p.

    Research output: Contribution to journalArticlepeer-review

  32. Published

    Lego and related work (summer school lecture notes)

    Luo, Z., 1999

    Research output: Other contribution

  33. Published

    Mathematical vernacular and conceptual well-formedness in mathematical language

    Luo, Z. & Callaghan, P., 1999, Proceedings of the 2nd Inter. Conf. on Logical Aspects of Computational Linguistics (LACL'97). LNAI 1582.

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

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

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

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

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

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

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

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

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

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

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

  45. Published

    Constraints and Universal Algebra

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

    Research output: Working paper

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

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

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

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

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

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

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

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

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

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

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

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

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

  60. Published

    Coercive subtyping in type theory

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

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

  61. Published

    Constraints, Consistency and Closure

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

    Research output: Working paper

  62. Published

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

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

    Research output: Contribution to conferencePaperpeer-review

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

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

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

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

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

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

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

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

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

  72. 1996
  73. Unpublished

    Game-Based Development of Interactive Systems

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

    Research output: ThesisDoctoral Thesis

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

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

  76. Published

    A sufficient condition for a semicomplete multipartite digraph to be Hamiltonian

    Gutin, G., Bang-Jensen, J. & Huang, J., 1996, In: Discrete Mathematics. 161, p. 1-12

    Research output: Contribution to journalArticle

  77. Published

    A Test for Tractability

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1996, p. 267-281.

    Research output: Contribution to conferencePaper

  78. Published

    Closure Properties of Constraints

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

    Research output: Working paper

  79. Published

    Derivation of Constraints and Database Relations

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

    Research output: Contribution to conferencePaper

  80. Published

    Logical truths in constructive type theory (abstract)

    Luo, Z., 1996, Logic Colloquium 96.

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

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

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

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

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

  85. Published

    Tractable Disjunctive Constraints

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

    Research output: Contribution to conferencePaper

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

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

  88. 1995
  89. Published

    Task Facilitation and Navigation via a Mediator: An Application from Software Integration

    Stathis, K., 1 Dec 1995, Proceedings of the 5th Hellenic Conference on Informatics.

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

  90. Published

    Crucial Issues in the Design of a Real-Time Contaminant Detection System for Food Products

    Davies, E. R., Patel, D. & Johnstone, A., Dec 1995, In: Real-Time Imaging. 1, 6, p. 397-407 11 p.

    Research output: Contribution to journalArticlepeer-review

  91. Published

    Developing reuse technology in proof engineering

    Luo, Z., 1 Apr 1995, Proceedings of AISB95, Workshop on Automated Reasoning: bridging the gap between theory and practice, Sheffield, U.K..

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

  92. Published

    A Unifying Framework for Tractable Constraints

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1995, p. 276-291.

    Research output: Contribution to conferencePaper

  93. Published

    An Algebraic Characterization of Tractable Constraints

    Jeavons, P. G. & Cohen, D. A., 1995, p. 633-642.

    Research output: Contribution to conferencePaper

  94. Published

    Bylands: reverse engineering safety-critical systems

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

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

  95. Published

    Characterizations of vertex pancyclic and pancyclic ordinary semicomplete multipartite digraphs

    Gutin, G., 1995, In: Discrete Mathematics. 141, p. 153-162

    Research output: Contribution to journalArticle

  96. Published
  97. Published

    Maximizing traveling salesman problem for special matrices

    Blokh, D. & Gutin, G., 1995, In: Discrete Applied Mathematics. 56, 1, p. 83-86

    Research output: Contribution to journalArticle

  98. Published

    Weakly Hamiltonian-connected ordinary multipartite tournaments.

    Gutin, G., Bang-Jensen, J. & Huang, J., 1995, In: Discrete Mathematics. 138, 1-3, p. 63-74

    Research output: Contribution to journalArticlepeer-review

  99. 1994
  100. Published

    How to give FAST Advice

    Stathis, K., 1 Oct 1994, Proceedings of the 7th Symposium and Exhibition on Industrial Applications of Prolog (INAP'94). p. 59-67 9 p.

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

  101. Published

    A Substitution Operation for Constraints

    Jeavons, P. G., Cohen, D. A. & Cooper, M. C., 1 May 1994, Principles and Practice of Constraint Programming: Second International Workshop, PPCP '94 Rosario, Orcas Island, WA, USA, May 2–4, 1994 Proceedings. Borning, A. (ed.). Vol. 874. p. 1-9

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

  102. Published

    A FAST Front End Application

    Stathis, K., 1 Apr 1994, Proceedings of the 2nd International Conference on the Practical Applications of Prolog (PAP'94). Sterling, L. (ed.). p. 537-548 12 p.

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

  103. Published

    A Structural Decomposition for Hypergraphs

    Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1994, Jerusalem Combinatorics ’93. Barcelo, H. & Kalai, G. (eds.). American Mathematical Society, p. 161-177 17 p. (Contemporary Mathematics; vol. 178).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  104. Published

    Characterising Tractable Constraints

    Cooper, M. C., Cohen, D. A. & Jeavons, P. G., 1994, In: Artificial Intelligence. 65, 2, p. 347-361 15 p.

    Research output: Contribution to journalArticlepeer-review

  105. Published

    Computation and Reasoning: A Type Theory for Computer Science

    Luo, Z., 1994, Oxford Univ Press. 228 p.

    Research output: Book/ReportBook

  106. Published

    Decomposing Constraint Satisfaction Problems Using Database Techniques

    Gyssens, M., Jeavons, P. G. & Cohen, D. A., 1994, In: Artificial Intelligence. 66, 1, p. 57-89 33 p.

    Research output: Contribution to journalArticlepeer-review

  107. Published

    Minimizing and maximizing the diameter in orientations of graphs

    Gutin, G., 1994, In: Graphs and Combinatorics. 10, p. 225-230

    Research output: Contribution to journalArticle

  108. Published

    Selecting a Satisfactory Secretary

    Yeo, A. & Yeo, G. F., 1994, In: Australasian Journal of Statistics. 36, 2, p. 185-198 14 p.

    Research output: Contribution to journalArticlepeer-review