1. 2006
  2. Published

    Finding cheapest cycles in vertex-weighted quasi-transitive digraphs and extended semicomplete digraphs

    Bang-Jensen, J., Gutin, G. & Yeo, A., 2006, In: Discrete Optimization. 3, 1, p. 86-94 9 p.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    Hamilton Cycles in Digraphs of Unitary Matrices

    Gutin, G., Rafiey, A., Severini, S. & Yeo, A., 2006, In: Discrete Mathematics. 306, p. 3315-3320 6 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Level of repair analysis and minimum cost homomorphisms of graphs

    Gutin, G., Rafiey, A., Tso, M. & Yeo, A., 2006, In: Discrete Applied Mathematics. 154, 6, p. 881-889

    Research output: Contribution to journalArticlepeer-review

  5. Published

    Longest path-partitions in generalizations of tournaments

    Bang-Jensen, J., Nielsen, M. H. & Yeo, A., 2006, In: Discrete Mathematics. 306, p. 1830-1839 10 p.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    Minimum Cost and List Homomorphisms to Semicomplete Digraphs

    Gutin, G., Rafiey, A. & Yeo, A., 2006, In: Discrete Applied Mathematics. 154, 6, p. 890-897

    Research output: Contribution to journalArticlepeer-review

  7. Published

    Normative KGP agents

    Sadri, F., Stathis, K. & Toni, F., 2006, In: Computational Mathematical Organization Theory. 12, 2-3, p. 101-126

    Research output: Contribution to journalArticlepeer-review

  8. Published

    Note on Upper Bounds for TSP Domination Number

    Gutin, G., Koller, A. & Yeo, A., 2006, In: Algorithmic Operations Research. 1, 1, p. 52-54 3 p.

    Research output: Contribution to journalArticlepeer-review

  9. Published

    On n-partite tournaments with unique n-cycle

    Gutin, G., Rafiey, A. & Yeo, A., 2006, In: Graphs and Combinatorics. 22, 2, p. 241-249

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Optimal on-line bin packing with two item sizes

    Gutin, G., Jensen, T. & Yeo, A., 2006, In: Algorithmic Operations Research. 1, 2, p. 72-78 7 p.

    Research output: Contribution to journalArticlepeer-review

  11. Published

    Pure Type Systems with Judgemental Equality

    Adams, R., 2006, In: Journal of Functional Programming. 16, 2, p. 219-246 28 p.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    Symmetry definitions for constraint satisfaction problems

    Cohen, D., Jeavons, P., Jefferson, C., Petrie, K. & Smith, B., 2006, In: Constraints. 11, p. 115-137 23 p.

    Research output: Contribution to journalArticlepeer-review

  13. Published

    The complexity of constraint languages

    Cohen, D. & Jeavons, P., 2006, Handbook of Constraint Programming. Rossi, F., van Beek, P. & Walsh, T. (eds.). Elsevier

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. Published

    The complexity of soft constraint satisfaction

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2006, In: Artificial Intelligence. 170, p. 983-1016 34 p.

    Research output: Contribution to journalArticlepeer-review

  15. Published

    The Effect of Constraint Representation on Structural Tractability

    Houghton, C., Cohen, D. & Green, M. J., 2006, p. 726-730.

    Research output: Contribution to conferencePaper

  16. Published

    Total domination and matching numbers in claw-free graphs

    Henning, M. & Yeo, A., 2006, In: The Electronic Journal of Combinatorics. 13, 1

    Research output: Contribution to journalArticlepeer-review

  17. Published

    Typed Guarded Decompositions for Constraint Satisfaction

    Cohen, D. A. & Green, M. J., 2006, p. 122-136.

    Research output: Contribution to conferencePaper

  18. 2005
  19. Published

    Recursion Engineering for Reduction Incorporated Parsers

    Johnstone, A. & Scott, E., 12 Dec 2005, In: Electronic Notes in Theoretical Computer Science. 141, 4, p. 143-160 18 p.

    Research output: Contribution to journalArticlepeer-review

  20. Published

    Normative KGP Agents: A Preliminary Report

    Sadri, F., Toni, F. & Stathis, K., 1 Dec 2005, Symposium on Normative Multi-Agent Systems, NORMAS 2005, part of the SSAISB 2005 Convention, University of Hertfordshire, Hatfield, UK. p. 85-96 12 p.

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

  21. Published

    Generalized Bottom Up Parsers With Reduced Stack Activity

    Scott, E. & Johnstone, A., 1 Jan 2005, In: The Computer Journal. 48, 5, p. 565-587 23 p.

    Research output: Contribution to journalArticlepeer-review

  22. Published

    A problem of finding an acceptable variant in some generalized project networks

    Blokh, D., Gutin, G., Yeo, A. & Yeo, A., 2005, In: Journal of Applied Mathematics and Decision Science. 2, p. 75-81 7 p.

    Research output: Contribution to journalArticlepeer-review

  23. Published

    A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition.

    Cohen, D. A., Jeavons, P. & Gyssens, M., 2005, p. 72-77.

    Research output: Contribution to conferencePaper

  24. Published

    Batched bin packing

    Gutin, G., Jensen, T. & Yeo, A., 2005, In: Discrete Optimization. 2, 1, p. 71-82

    Research output: Contribution to journalArticlepeer-review

  25. Published

    Domination Analysis of Combinatorial Optimization Algorithms and Problems

    Gutin, G. & Yeo, A., 2005, In: Graph Theory, Combinatorics and Algorithms. 34, p. 145-171 27 p.

    Research output: Contribution to journalArticlepeer-review

  26. Published

    Evaluation of the contract-or-patch heuristic for the Asymmetric TSP

    Gutin, G. & Zverovitch, A., 2005, In: INFOR: Information Systems and Operational Research. 43, 1, p. 23-31

    Research output: Contribution to journalArticle

  27. Published

    Kernels in planar digraphs

    Gutin, G., Kloks, T., Lee, C. M. & Yeo, A., 2005, In: Journal of Computer and System Sciences. 71, 2, p. 174-184

    Research output: Contribution to journalArticlepeer-review

  28. Published

    LFTOP: an LF-based approach to domain-specific reasoning

    Pang, J., Callaghan, P. & Luo, Z., 2005, In: Journal of Computer Science and Technology. 20, 4, p. 526-535

    Research output: Contribution to journalArticlepeer-review

  29. Published

    Mediated digraphs and quantum nonlocality

    Gutin, G., Jones, N., Rafiey, A., Severini, S. & Yeo, A., 2005, In: Discrete Applied Mathematics. 150, 1-3, p. 41-50

    Research output: Contribution to journalArticlepeer-review

  30. Published

    On modelling multi-agent systems declaratively

    Bracciali, A., Mancarella, P., Stathis, K. & Toni, F., 2005, Declarative agent languages and technologies II. Springer-Verlag, Vol. 3476. p. 53-68 16 p.

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

  31. Published

    SMART (Stochastic Model Acquisition with ReinforcemenT) learning agents: A preliminary report

    Child, C. & Stathis, K., 2005, Adaptive agents and multi-agent systems II. Springer-Verlag, Vol. 3394. p. 73-87 15 p.

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

  32. Published
  33. Published

    Stable multi-agent systems

    Bracciali, A., Mancarella, P., Stathis, K. & Toni, F., 2005, Engineering Societies in the Agents World V. Springer-Verlang, Vol. 3451. p. 322-334 13 p.

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

  34. Published

    Supermodular functions and the complexity of MAX CSP

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2005, In: Discrete Applied Mathematics. 149, p. 53-72 20 p.

    Research output: Contribution to journalArticlepeer-review

  35. Published

    The KGP model of agency for global computing: Computational model and prototype implementation

    Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G. & Toni, F., 2005, Global computing. Springer-Verlag, Vol. 3267. p. 340-367 28 p.

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

  36. Published

    Transitivity in coercive subtyping

    Luo, Z. & Luo, Y., 2005, In: Infor. and Computation. 197, 1-2, p. 122-144 23 p.

    Research output: Contribution to journalArticlepeer-review

  37. 2004
  38. Published

    The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms

    Johnstone, A., Scott, E. & Economopoulos, G., 31 Dec 2004, p. 97-113. 17 p.

    Research output: Contribution to conferencePaper

  39. Published

    The GTB and PAT tools

    Johnstone, A., Scott, E. & Economopoulos, G., 31 Dec 2004, p. 173-175. 3 p.

    Research output: Contribution to conferencePaper

  40. Published

    Ambient intelligence using KGP agents

    Stathis, K. & Toni, F., 1 Nov 2004, p. 351--362.

    Research output: Contribution to conferencePaper

  41. Published

    An Agent Development Framework based on Social Positions

    Lekeas, G. K. & Stathis, K., 1 Oct 2004, IEEE Interantional Conference on Systems, Man and Cybernetics. Thiessen, W. & Wieringa, P. (eds.).

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

  42. Published

    Reducing non-determinism in right nulled GLR parsers

    Scott, E. & Johnstone, A., May 2004, In: Acta Informatica. 40, 6-7, p. 459-489 31 p.

    Research output: Contribution to journalArticlepeer-review

  43. Published

    Hamiltonian paths, containing a given path or collection of arcs, in close to regular multipartite tournaments

    Volkmann, L. & Yeo., A., 28 Apr 2004, In: Discrete Mathematics. 281, 1-3, p. 267-276

    Research output: Contribution to journalArticlepeer-review

  44. Published

    PROSOCS: a platform for programming software agents in computational logic

    Stathis, K., Kakas, A. C., Lu, W., emetriou, N. D., Endriss, U. & Bracciali, A., 1 Apr 2004, Proceedings of the Fourth International Symposium ``From Agent Th eory to Agent Implementation'' (AT2AI-4 -- EMCSR'2004 Session M). Müller, J. & Petta, P. (eds.). p. 523-528 6 p.

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

  45. Published

    Making a tournament k-arc-strong by reversing or deorienting arcs

    Bang-Jensen, J. & Yeo, A., 15 Feb 2004, In: Discrete Applied Mathematics. 136, 2-3, p. 161-171

    Research output: Contribution to journalArticlepeer-review

  46. Published

    Supermodular Functions and the Complexity of MAX CSP

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 1 Jan 2004.

    Research output: Working paper

  47. Published

    A complete characterization of complexity for Boolean constraint optimization problems

    Cohen, D., Cooper, M. & Jeavons, P., 2004, p. 212-226.

    Research output: Contribution to conferencePaper

  48. Published

    A dialectic architecture for computational autonomy

    Witkowski, M. & Stathis, K., 2004, Agents and computational autonomy: potential, risks, and solutions. Springer-Verlag, Vol. 2969. p. 261-273 13 p.

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

  49. Published

    A maximal tractable class of soft constraints

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2004, In: Journal of Artificial Intelligence Research. 22, p. 1-22

    Research output: Contribution to journalArticlepeer-review

  50. Published

    A Modular Hierarchy of Logical Frameworks

    Adams, R., 2004, Types for Proofs and Programs. Berardi, S., Coppo, M. & Damiani, F. (eds.). Springer, Vol. 3085. p. 1-16 16 p. (Lecture Notes in Computer Science).

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

  51. Published

    Algorithms with large domination ratio

    Alon, N., Gutin, G. & Krivelevich, M., 2004, In: Journal of Algorithms. 50, 1, p. 118-131

    Research output: Contribution to journalArticle

  52. Published

    An agent development framework based on social positions

    Lekeas, G. & Stathis, K., 2004, p. 5461-5466. 6 p.

    Research output: Contribution to conferencePaperpeer-review

  53. Published

    Coercions in Hindley-Milner systems

    Kießling, R. & Luo, Z., 2004, Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085.

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

  54. Published

    Combining incoherent coercions for Sigma-types

    Luo, Y. & Luo, Z., 2004, Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'03. LNCS'3085.

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

  55. Published

    Declarative agent control

    Kakas, A., Mancarella, P., Sadri, F., Stathis, K. & Toni, F., 2004, Computational Logic in Multi-agent Systems (CLIMA 2004). Springer-Verlag, Vol. 3487. p. 96-110 15 p.

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

  56. Published

    Generalised Parsing: Some Costs

    Johnstone, A., Scott, E. & Economopoulos, G., 2004, In: Lecture Notes in Computer Science. 2985, p. 89-103 15 p.

    Research output: Contribution to journalArticlepeer-review

  57. Published

    On the number of quasi-kernels in digraphs

    Gutin, G., Koh, K. M., Tay, E. G. & Yeo, A., 2004, In: Journal of Graph Theory. 46, 1, p. 48-56

    Research output: Contribution to journalArticlepeer-review

  58. Published

    Suppression of Redundant Operations in Reverse Compiled Code Using Global Dataflow Analysis

    Johnstone, A. & Scott, E., 2004, In: Lecture Notes in Computer Science. 3199, p. 92-106 15 p.

    Research output: Contribution to journalArticlepeer-review

  59. Published

    The Apriori Stochastic Dependency Detection (ASDD) algorithm for learning Stochastic logic rules

    Child, C. & Stathis, K., 2004, Computational logic in multi-agent systems (CLIMA 2004). Springer-Verlag, Vol. 3259. p. 234-249 16 p.

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

  60. Published

    The KGP model of Agency

    Kakas, A. C., Mancarella, P., Sadri, F., Stathis, K. & Toni, F., 2004, p. 33--37.

    Research output: Contribution to conferencePaperpeer-review

  61. Published

    Tractable Decision for a Constraint Language Implies Tractable Search

    Cohen, D. A., 2004, In: Constraints. 9, 3, p. 219-229 11 p.

    Research output: Contribution to journalArticlepeer-review

  62. Published

    When n-cycles in n-partite tournaments are longest cycles.

    Gutin, G. & Rafiey, A., 2004, In: Discrete Mathematics. 289, 1-3, p. 163-168

    Research output: Contribution to journalArticlepeer-review

  63. Published

    When the greedy algorithm fails

    Bang-Jensen, J., Gutin, G. & Yeo, A., 2004, In: Discrete Optimization. 1, 2, p. 121-127

    Research output: Contribution to journalArticlepeer-review

  64. 2003
  65. Published

    Socio-Cognitive Grids: The Net as a Universal Human Resource

    Bruijn, O. D. & Stathis, K., 1 Jun 2003, Proceedings of the Conference of ``Tales of the Disappearing Computer".

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

  66. Published

    Generalised Regular Parsers

    Johnstone, A. & Scott, E., 28 Feb 2003, In: Lecture Notes in Computer Science. 2622, p. 232-246 15 p.

    Research output: Contribution to journalArticlepeer-review

  67. Published

    Intelligence and interaction in community-based systems (Part 2)

    Stathis, K. & Purcell, P., Jan 2003, In: Interacting with Computers. 15, 1, p. 13 3 p.

    Research output: Contribution to journalEditorialpeer-review

  68. Published

    A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure

    Cohen, D. A., 2003, p. 807-811.

    Research output: Contribution to conferencePaper

  69. Published

    Access-as-you-need: A computational logic framework for accessing resources in artificial societies

    Toni, F. & Stathis, K., 2003, p. 126-140. 15 p.

    Research output: Contribution to conferencePaperpeer-review

  70. Published

    Competent agents and customising protocols

    Endriss, U., Lu, W. J., Maudet, N. & Stathis, K., 2003, Engineering societies in the agents world IV. Springer-Verlag, Vol. 3071. p. 168-181 14 p.

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

  71. Published

    Domination Analysis of Combinatorial Optimization Problems

    Gutin, G., Vainshtein, A. & Yeo, A., 2003, In: Discrete Applied Mathematics. 129, p. 513-520 8 p.

    Research output: Contribution to journalArticlepeer-review

  72. Published

    Independence and Cliques

    Gutin, G., 2003, Handbook of Graph Theory. Gross, J. & Yellen, J. (eds.). 25 ed. (Discrete Mathematics and Its Applications; no. 25).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  73. Published

    New Tractable Classes From Old

    Cohen, D., Jeavons, P. & Gault, R., 2003, p. 263-282.

    Research output: Contribution to conferencePaper

  74. Published

    Packing paths in digraphs

    Brewster, R. C., Hell, P., Pantel, S. H., Rizzi, R. & Yeo, A., 2003, In: Journal of Graph Theory. 44, 2, p. 81-158 78 p.

    Research output: Contribution to journalArticlepeer-review

  75. Published

    PAL+: a lambda-free logical framework

    Luo, Z., 2003, In: Journal of Functional Programming. 13, 2, p. 317-338 22 p.

    Research output: Contribution to journalArticlepeer-review

  76. Published

    Process Planning for Rotational Parts and the Generalized Travelling Salesman Problem

    Ben-Arieh, D., Gutin, G., Penn, M., Yeo, A. & Zverovich, A., 2003, In: International Journal of Production Research. 41, p. 2581-2596 16 p.

    Research output: Contribution to journalArticlepeer-review

  77. Published

    Small degree out-branching

    Bang-Jensen, J., Thomasse, S. & Yeo, A., 2003, In: Journal of Graph Theory. 42, 4, p. 297-307 11 p.

    Research output: Contribution to journalArticlepeer-review

  78. Published

    Soft constraints: complexity and multimorphsims

    Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2003, p. 244-258.

    Research output: Contribution to conferencePaper

  79. Published

    Steiner type problems for digraphs that are locally semicomplete or extended semicomplete

    Bang-Jensen, J., Gutin, G. & Yeo, A., 2003, In: Journal of Graph Theory. 44, 3, p. 191-207 17 p.

    Research output: Contribution to journalArticlepeer-review

  80. Published

    Strongly Connected Spanning Subgraphs with the Minimum Number of Arcs in Quasi-transitive Digraphs

    Bang-Jensen, J., Huang, J. & Yeo, A., 2003, In: SIAM Journal on Discrete Mathematics. 16, 2, p. 335-343 9 p.

    Research output: Contribution to journalArticlepeer-review

  81. Published

    Tractability by Approximating Constraint Languages

    Green, M. J. & Cohen, D. A., 2003.

    Research output: Contribution to conferencePaper

  82. Published

    Transformations of generalized ATSP into ATSP

    Gutin, G., Ben-Arieh, D., Penn, M., Yeo, A. & Zverovitch, A., 2003, In: Operations Research Letters. 31, 5, p. 357-365

    Research output: Contribution to journalArticlepeer-review

  83. Published

    Upper bounds on ATSP neighborhood size.

    Gutin, G. & Yeo, A., 2003, In: Discrete Applied Mathematics. 129, 2-3, p. 533-538

    Research output: Contribution to journalArticlepeer-review

  84. Published

    Weak Transitivity in Coercive Subtyping

    Luo, Y., Luo, Z. & Soloviev, S., 2003, Types for Proofs and Programs, Proc. of Inter Conf of TYPES'02. LNCS 2646. p. 220--239

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

  85. 2002
  86. Published

    Intelligence and interaction in community-based systems

    Stathis, K. & Purcell, P., Dec 2002, In: Interacting with Computers. 14, 6, p. 639-642 4 p.

    Research output: Contribution to journalEditorialpeer-review

  87. Published

    Generalised reduction modified LR parsing for domain specific language prototyping

    Johnstone, A. & Scott, E., 7 Jan 2002, p. 3666-3675 . 1 p.

    Research output: Contribution to conferencePaper

  88. Published

    Almost all almost regular c-partite tournaments with $c geq 5$ are vertex pancyclic

    Tewes, M., Volkmann, L. & Yeo, A., 2002, In: Discrete Mathematics. 242, 1-3, p. 201-228 28 p.

    Research output: Contribution to journalArticlepeer-review

  89. Published

    Almost minimum diameter orientations of semicomplete multipartitite and extended digraphs

    Gutin, G., Koh, K. M., Tay, E. G. & Yeo, A., 2002, In: Graphs and Combinatorics. 18, 3, p. 499-506 8 p.

    Research output: Contribution to journalArticlepeer-review

  90. Published

    Anti-matroids

    Gutin, G. & Yeo, A., 2002, In: Operations Research Letters. 30, 2, p. 97-99

    Research output: Contribution to journalArticlepeer-review

  91. Published

    Coercion completion and conservativity in coercive subtyping

    Soloviev, S. & Luo, Z., 2002, In: Annals of Pure and Applied Logic. 113, 1-3, p. 297-322 26 p.

    Research output: Contribution to journalArticlepeer-review

  92. Published

    Experimental Analysis of Heuristics for the ATSP

    Gutin, G., Johnson, D. S., McGeoch, L., Yeo, A., Zhang, Q. & Zverovitch, A., 2002, The TSP and Its Variations. Gutin, G. & Punnen, A. P. (eds.). 12 ed. (Combinatorial Optimization; no. 12).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  93. Published

    Exponential Neighborhoods and Domination Analysis for the TSP

    Gutin, G., Yeo, A. & Zverovitch, A., 2002, The TSP and Its Variations. Gutin, G. & Punnen, A. P. (eds.). 12 ed. (Combinatorial Optimization; no. 12).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  94. Published

    Living Memory: Agent-based Information Management for Connected Local Communities

    Stathis, K., de Bruijn, O. & Macedo, S., 2002, In: Interacting with Computers. 14, 6, p. 663-688

    Research output: Contribution to journalArticlepeer-review

  95. Published

    Orientations of digraphs almost preserving diameter

    Gutin, G. & Yeo, A., 2002, In: Discrete Applied Mathematics. 121, p. 129-138

    Research output: Contribution to journalArticlepeer-review

  96. Published

    Polynomial approximation algorithms for the TSP and QAP with a factorial domination number

    Gutin, G. & Yeo, A., 2002, In: Discrete Applied Mathematics. 119, 1-2, p. 107-116

    Research output: Contribution to journalArticlepeer-review

  97. Published

    Pushing Vertices in Digraphs Without Long Induced Cycles

    Huang, J., MacGillivray, G. & Yeo, A., 2002, In: Discrete Applied Mathematics. 121, 1-3, p. 181-192 12 p.

    Research output: Contribution to journalArticlepeer-review

  98. Published

    Traveling salesman should not be greedy: domination analysis of greedy-type heuristics for the TSP

    Gutin, G., Yeo, A. & Zverovitch, A., 2002, In: Discrete Applied Mathematics. 117, 1-3, p. 81-86

    Research output: Contribution to journalArticlepeer-review

  99. Published

    Types for Proofs and Programs. Proc. of Inter. Conf. TYPES'2000, Durham, UK. LNCS 2277

    Callaghan, P. (ed.), Luo, Z. (ed.), McKinna, J. (ed.) & Pollack, R. (ed.), 2002, Springer.

    Research output: Book/ReportBook

  100. 2001
  101. Published

    An Implementation of LF with Coercive Subtyping and Universes.

    Callaghan, P. & Luo, Z., 2001, In: Journal of Automated Reasoning. 27, 1, p. 3-27 25 p.

    Research output: Contribution to journalArticlepeer-review

  102. Published

    Coherence and transitivity in coercive subtyping

    Luo, Y. & Luo, Z., 2001, Proc. of the 8th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'01), LNAI 2250.

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

  103. Published

    Construction heuristics for the asymmetric TSP

    Glover, F., Gutin, G., Yeo, A. & Zverovitch, A., 2001, In: European Journal of Operational Research. 129, 3, p. 555-568

    Research output: Contribution to journalArticlepeer-review

  104. Published

    Object languages in a type-theoretic meta-framework

    Callaghan, P. C., Luo, Z. & Pang, J., 2001, Proof Transformation and Presentation and Proof Complexities.

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

  105. Published

    Remarks on hamiltonian digraphs

    Gutin, G. & Yeo, A., 2001, In: Australasian Journal of Combinatorics. 23, p. 115-118

    Research output: Contribution to journalArticlepeer-review

  106. Published

    Solution of a conjecture of Volkmann on the number of vertices in longest paths and cycles of strong semicomplete multipartite digraphs

    Gutin, G. & Yeo, A., 2001, In: Graphs and Combinatorics. 17, 3, p. 473-477

    Research output: Contribution to journalArticle