Former organisational unit. 1/04/13. Taken over by Centre for Algorithms and Applications

  1. 2013
  2. Published

    COMMODITY12: A smart e-health environment for diabetes management

    Kafali, O., Bromuri, S., Sindlar, M., van der Weide, T., Aguilar Pelaez, E., Schaechtle, U., Alves, B., Zufferey, D., Rodriguez-Villegas, E., Schumacher, M. & Stathis, K., Oct 2013, In: Journal of Ambient Intelligence and Smart Environments. 5, 5, p. 479-502

    Research output: Contribution to journalArticlepeer-review

  3. Published

    Multi-Dimensional Causal Discovery

    Schaechtle, U., Stathis, K. & Bromuri, S., 3 Aug 2013, Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence: Beijing, China, 3-9 August 2013. Rossi, F. (ed.). p. 1649-1655

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

  4. Published

    Coercive subtyping: theory and implementation

    Luo, Z., Soloviev, S. & Xue, T., Feb 2013, In: Information and Computation. 223, p. 18-42

    Research output: Contribution to journalArticlepeer-review

  5. Published

    A Self-Healing Distributed Pervasive Health System

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

    Research output: Contribution to journalArticlepeer-review

  6. Published

    An Algebraic Theory of Complexity for Discrete Optimisation

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

    Research output: Contribution to journalArticlepeer-review

  7. Published

    Argumentative Agents for Service-Oriented Computing

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

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

  8. Published

    Variable Elimination in Binary CSP via Forbidden Patterns

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

    Research output: Contribution to conferencePaperpeer-review

  9. 2012
  10. Published

    The tractability of CSP classes defined by forbidden patterns

    Cohen, D. A., Cooper, M. C., Creed, P., Marx, D. & Salamon, A. Z., Sep 2012, In: Journal of Artificial Intelligence Research. 45, p. 47-78 3651.

    Research output: Contribution to journalArticlepeer-review

  11. Published

    Ubiquitous Agents for Ambient Ecologies

    Dipsis, N. & Stathis, K., Aug 2012, In: Pervasive and Mobile Computing. 8, 4, p. 562-574

    Research output: Contribution to journalArticlepeer-review

  12. Published

    An algorithm for finding input-output constrained convex sets in an acyclic digraph

    Gutin, G., Johnstone, A., Reddington, J., Scott, E. & Yeo, A., May 2012, In: Journal of Discrete Algorithms. 13, p. 47-58 12 p.

    Research output: Contribution to journalArticlepeer-review

  13. Published

    Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

    Artikis, A. (ed.), Craven, R. (ed.), Cicekli, N. K. (ed.), Sadighi, B. (ed.) & Stathis, K. (ed.), 2012, SPRINGER-VERLAG BERLIN.

    Research output: Book/ReportScholarly edition

  14. Published

    Open Objects for Ambient Intelligence

    Goncalves, P. & Stathis, K., 2012.

    Research output: Contribution to conferencePaperpeer-review

  15. 2011
  16. Published

    A formal model of agent-oriented virtual organisations and their formation

    McGinnis, J., Stathis, K. & Toni, F., 29 Dec 2011, In: Multiagent and Grid Systems. 7, 6, p. 291-310

    Research output: Contribution to journalArticlepeer-review

  17. Published

    Producing Enactable Protocols in Artificial Agent Societies

    Lekeas, G., Kloukinas, C. & Stathis, K., 18 Nov 2011, Agents in Principle, Agents in Practice (PRIMA'11). p. 311-322 (Lecture Notes in Computer Science; vol. 7047/2011).

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

  18. Published

    A Lightweight Service Registry for Unstable Ad-hoc Networks

    Goncalves, P., Stathis, K. & Peach, N., 16 Nov 2011, Proceedings of the International Joint Conference on Ambient Intelligence (AmI 2011). p. 136-140 (Lecture Notes in Computer Science; vol. 7040/2011).

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

  19. Published

    Solving MAX-r-SAT Above a Tight Lower Bound

    Alon, N., Gutin, G., Kim, E. J., Szeider, S. & Yeo, A., 1 Nov 2011, In: Algorithmica. 61, 3, p. 638-655

    Research output: Contribution to journalArticlepeer-review

  20. Published

    Monitoring Gestational Diabetes Mellitus with Cognitive Agents and Agent Environments

    Bromuri, S., Schumacher, M., Stathis, K. & Ruiz, J., 23 Aug 2011, p. 409-414. 6 p.

    Research output: Contribution to conferencePaperpeer-review

  21. Published

    A Pluralist Approach to the Formalisation of Mathematics

    Adams, R. & Luo, Z., 2 Jul 2011, In: Mathematical Structures in Computer Science. 21, 4, p. 913-942 29 p.

    Research output: Contribution to journalArticlepeer-review

  22. Published

    LDT: a language definition technique

    Johnstone, A., Scott, E. & van den Brand, M., 26 Mar 2011, LDTA '11 Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications. ACM, p. 1-8 8 p. 9

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

  23. Published

    A probabilistic approach to problems parameterized above or below tight bounds

    Gutin, G., Kim, E. J., Szeider, S. & Yeo, A., Mar 2011, In: Journal of Computer and System Sciences. 77, 2, p. 422-429

    Research output: Contribution to journalArticlepeer-review

  24. Published

    A characterization of horizontal visibility graphs and combinatorics on words

    Gutin, G., Mansour, T. & Severini, S., 2011, In: Physica A: Statistical Mechanics and its Applications . 390, p. 2421-2428

    Research output: Contribution to journalArticlepeer-review

  25. Forthcoming

    A New Approach to Population Sizing for Memetic Algorithms: A Case Study for the Multidimensional Assignment Problem

    Karapetyan, D. & Gutin, G., 2011, (Accepted/In press) In: Evolutionary Computation. in press

    Research output: Contribution to journalArticlepeer-review

  26. Published

    A new bound on the domination number of graphs with minimum degree two

    Henning, M., Schiermeyer, I. & Yeo, A., 2011, In: The Electronic Journal of Combinatorics. 18, 1

    Research output: Contribution to journalArticlepeer-review

  27. Forthcoming

    All Ternary Permutation Constraint Satisfaction Problems Parameterized Above Average Have Kernels with Quadratic Number of Vertices

    Gutin, G., van Iersel, L., Mnich, M. & Yeo, A., 2011, (Accepted/In press) In: Journal of Computer and System Sciences. in press

    Research output: Contribution to journalArticlepeer-review

  28. Published

    An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection

    Cohen, D. A., Creed, P., Jeavons, P. G. & Živný, S., 2011, Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011: Proceedings. Springer, p. 231-242 (Lecture Notes in Computer Science; vol. 6907).

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

  29. Published

    Contextual analysis of word meanings in type-theoretical semantics

    Luo, Z., 2011, Logical Aspects of Computational Linguistics:6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011: Proceedings. Pogodalla, S. & Prost, J-P. (eds.). Springer, p. 159-174 16 p. (Lecture Notes in Computer Science; vol. 6736).

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

  30. Forthcoming

    Lambda-Free Logical Frameworks

    Adams, R., 2011, (Accepted/In press) In: Annals of Pure and Applied Logic.

    Research output: Contribution to journalArticlepeer-review

  31. Published

    Lin-Kernighan Heuristic Adaptations for the Generalized Traveling Salesman Problem

    Gutin, G. & Karapetyan, D., 2011, In: European Journal of Operational Research. 208, p. 221-232

    Research output: Contribution to journalArticlepeer-review

  32. Forthcoming

    Local Search Heuristics for the Multidimensional Assignment Problem

    Gutin, G. & Karapetyan, D., 2011, (Accepted/In press) In: Journal of Heuristics. 17, 3

    Research output: Contribution to journalArticlepeer-review

  33. Published

    On guaranteeing polynomially-bounded search tree size

    Cohen, D., Cooper, M., Green, M. J. & Marx, D., 2011.

    Research output: Contribution to conferencePaperpeer-review

  34. Published

    Pervasive Healthcare Using Self-Healing Agent Environments

    Bromuri, S., Ignaz Schumacher, M. & Stathis, K., 2011, HIGHLIGHTS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS. Perez, JB., Corchado, JM., Moreno, MN., Julian, V., Mathieu, P., CanadaBago, J., Ortega, A. & Caballero, AF. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 159-166 8 p.

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

  35. Published

    Typed Operational Semantics for Dependent Record Types

    Feng, Y. & Luo, Z., 2011, Proceedings of Types for Proofs and Programs (TYPES'09), EPTCS 53.

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

  36. Published

    Vertex Cover Problem Parameterized Above and Below Tight Bounds

    Gutin, G., Kim, E. J., Lampis, M. & Mitsou, V., 2011, In: Theory of Computing Systems. 48, p. 402-410

    Research output: Contribution to journalArticlepeer-review

  37. 2010
  38. Published

    Betweenness parameterized above tight lower bound

    Gutin, G., Kim, E. J., Mnich, M. & Yeo, A., Dec 2010, In: Journal of Computer and System Sciences. 76, 8, p. 872-878

    Research output: Contribution to journalArticlepeer-review

  39. Published

    GLL Parsing

    Scott, E. & Johnstone, A., 17 Sep 2010, In: Electronic Notes in Theoretical Computer Science. 253, 7, p. 177-189 13 p.

    Research output: Contribution to journalArticlepeer-review

  40. Published

    Classical Predicative Logic-Enriched Type Theories

    Adams, R. & Luo, Z., Aug 2010, In: Annals of Pure and Applied Logic. 161, 11, p. 1315-1345 31 p.

    Research output: Contribution to journalArticlepeer-review

  41. Published

    Tear-Insert-Fold grammars

    Johnstone, A. & Scott, E., 28 Mar 2010, LDTA '10 Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications. ACM, p. 1-8 8 p. 6

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

  42. Published

    An agile approach to language modelling and development

    Johnstone, A., Mosses, P. D. & Scott, E., Mar 2010, In: Innovations in Systems and Software Engineering. 6, 1-2, p. 145-153 9 p.

    Research output: Contribution to journalArticlepeer-review

  43. Published

    FPT Algorithms and Kernels for the Directed k-Leaf Problem

    Daligault, J., Gutin, G., Kim, E. J. & Yeo, A., Mar 2010, In: Journal of Computer and System Sciences. 76, 2, p. 144-152 9 p.

    Research output: Contribution to journalArticlepeer-review

  44. Published

    A Formal Framework of Virtual Organisations as Agent Societies

    McGinnis, J., Stathis, K. & Toni, F., 25 Jan 2010, p. 1-14. 14 p.

    Research output: Contribution to conferencePaperpeer-review

  45. Published

    Recognition is not parsing — SPPF-style parsing from cubic recognisers

    Scott, E. & Johnstone, A., 1 Jan 2010, In: Science of Computer Programming. 75, 1-2, p. 55-70 16 p.

    Research output: Contribution to journalArticlepeer-review

  46. Published

    Special Issue on ETAPS 2006 and 2007 Workshops on Language Descriptions, Tools, and Applications (LDTA'06 and '07) Preface

    Johnstone, A., Sloane, A. & Boyland, J. T., 1 Jan 2010, In: Science of Computer Programming. 75, 1-2, p. 1-2 2 p.

    Research output: Contribution to journalEditorialpeer-review

  47. Published

    Weyl's predicative classical mathematics as a logic-enriched type theory

    Adams, R. & Luo, Z., Jan 2010, In: ACM Transactions on Computational Logic. 11, 2, 31 p., 11.

    Research output: Contribution to journalArticlepeer-review

  48. Published

    A Service Oriented Approach for Ubiquitous Agents in AMI Systems Using EVATAR

    Dipsis, N. & Stathis, K., 2010, p. 213. 220 p.

    Research output: Contribution to conferencePaperpeer-review

  49. Published

    Algorithm for Finding k-Vertex Out-trees and its Application to k-Internal Out-branching Problem.

    Cohen, N., Fomin, F., Gutin, G., Kim, E. J., Saurabh, S. & Yeo, A., 2010, In: Journal of Computer and System Sciences. 76, p. 650-662

    Research output: Contribution to journalArticlepeer-review

  50. Published

    Digraphs: Theory, Algorithms and Applications

    Bang-Jensen, J. & Gutin, G., 2010, 2nd ed. London: Springer-Verlag.

    Research output: Book/ReportBook

  51. Published

    EVATAR - A Prototyping Middleware Embodying Virtual Agents to Autonomous Robots

    Dipsis, N. & Stathis, K., 2010, p. 167-175. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  52. Published

    iCampus: A Connected Campus in the Ambient Event Calculus

    Bromuri, S., Urovi, V. & Stathis, K., 2010, In: International Journal of Ambient Computing and Intelligence. 2, 1, p. 59-65

    Research output: Contribution to journalArticlepeer-review

  53. Published

    Note on Maximal Bisection above Tight Lower Bound

    Gutin, G. & Yeo, A., 2010, In: Information Processing Letters. 110, 21, p. 966-969 4 p.

    Research output: Contribution to journalArticlepeer-review

  54. Published

    Parameterized Complexity Results for General Factors in Bipartite Graphs

    Gutin, G., Kim, E. J., Szeider, S., Soleimanfallah, A. & Yeo, A., 2010.

    Research output: Contribution to conferencePaper

  55. Published

    Playing with Agent Coordination Patterns in MAGE

    Urovi, V. & Stathis, K., 2010, Lecture Notes in Computer Science. Springer, Vol. 6069. p. 86-101 16 p.

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

  56. Published

    Solving MAX-r-SAT Above a Tight Lower Bound

    Alon, N., Gutin, G., Kim, E. J., Szeider, S. & Yeo, A., 2010, p. 158--169.

    Research output: Contribution to conferencePaperpeer-review

  57. Published

    Special Issue on Artificial Societies for Ambient Intelligence Editorial Introduction

    Sadri, F. & Stathis, K., 2010, In: The Computer Journal. 53, 8, p. 1136-1137 2 p.

    Research output: Contribution to journalEditorialpeer-review

  58. Published

    Strong Transversals in Hypergraphs and Double Total Domination in Graphs

    Henning, M. A. & Yeo, A., 2010, In: SIAM Journal on Discrete Mathematics. 24, 4, p. 1336-1355

    Research output: Contribution to journalArticlepeer-review

  59. Published

    Systems of Linear Equations over F-2 and Problems Parameterized above Average

    Crowston, R., Gutin, G., Jones, M., Kim, E. J. & Ruzsa, I. Z., 2010, In: ALGORITHM THEORY - SWAT 2010, PROCEEDINGS. 6139, p. 164-175 12 p.

    Research output: Contribution to journalArticlepeer-review

  60. Published

    Towards Distributed Agent Environments for Pervasive Healthcare

    Bromuri, S., Schumacher, M. & Stathis, K., 2010, p. 125-137. 13 p.

    Research output: Contribution to conferencePaperpeer-review

  61. Published

    Towards Runtime Support for Norm-Governed Multi-Agent Systems

    Urovi, V., Bromuri, S., Stathis, K. & Artikis, A., 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. Lin, F., Sattler, U. & Truszczynski, M. (eds.). AAAI Press

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

  62. Published

    Towards Self-Managing Systems Inspired by Economic Organizations

    Arnautovic, E., Vallee, M., Rehm, S-V., Muethel, M., Mulvenna, M., Baumgarten, M., Karyotis, V., Papavassiliou, S., Hadjiantonis, A. M. & Stathis, K., 2010, p. -. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  63. Published

    Type-Theoretical Semantics with Coercive Subtyping

    Luo, Z., 2010, Semantics and Linguistic Theory. Vol. 20. p. 38-56 19 p.

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

  64. 2009
  65. Published

    Algorithms for generating convex sets in acyclic digraphs

    Balister, P., Gerke, S., Gutin, G., Johnstone, A., Reddington, J., Scott, E., Soleimanfallah, A. & Yeo, A., Dec 2009, In: Journal of Discrete Algorithms. 7, 4, p. 509–518 10 p.

    Research output: Contribution to journalArticlepeer-review

  66. Published

    Game-based e-retailing in GOLEM agent environments

    Bromuri, S., Urovi, V. & Stathis, K., Oct 2009, In: Pervasive and Mobile Computing. 5, 5, p. 623-638

    Research output: Contribution to journalArticlepeer-review

  67. Published

    Special Issue: Reinforcement Learning Preface

    Stathis, K., Garcez, A. DA. & Givan, R., Oct 2009, In: Journal of Algorithms. 64, 4, p. 125-126 2 p.

    Research output: Contribution to journalEditorialpeer-review

  68. Published

    Convex Sets in Acyclic Digraphs

    Balister, P., Gerke, S. & Gutin, G., Mar 2009, In: Order: a Journal on the Theory of Ordered Sets and its Applications. 26, 1, p. 95-100 6 p.

    Research output: Contribution to journalArticlepeer-review

  69. Published

    A polynomial kernel for Multicut In Trees

    Bousquet, N., Daligault, J., Thomasse, S. & Yeo, A., 2009, p. 183--194.

    Research output: Contribution to conferencePaper

  70. Published

    Analysis of Data Reduction: Transformations give evidence for non-existence of polynomial kernels

    Bodlaender, H. L., Thomasse, S. & Yeo, A., 2009, p. 635--646.

    Research output: Contribution to conferencePaper

  71. Published

    Arguing over Motivations within the V3A-Architecture for Self-Adaptation

    Morge, M., Stathis, K. & Vercouter, L., 2009, ICAART 2009: Proceedings of the International Conference on Agents and Artificial Intelligence. SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL, p. 214-219 6 p.

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

  72. Published

    Better Than Optimal: Fast Identification of Custom Instruction Candidates

    Reddington, J., Gutin, G., Johnstone, A., Scott, E. & Yeo, A., 2009, CSE '09: International Conference on Computational Science and Engineering, 2009. Vol. 2. p. 17-24 8 p.

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

  73. Published

    Coercive Subtyping in Lambda-Free Logical Frameworks

    Adams, R., 2009, Proceedings of the Fourth international Workshop on Logical Frameworks and Meta-Languages. Cheney, J. & Felty, A. (eds.). New York: ACM, p. 30-39 10 p.

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

  74. Published

    Dependent record types revisited

    Luo, Z., 2009, Modules and Libraries for Proof Assistants (MLPA'09), ACM Inter. Conf. Proceeding Series. Vol. 429.

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

  75. Published

    Distributed agent environments in the Ambient Event Calculus

    Bromuri, S., Stathis, K., Gokhale, A. S. (ed.) & Schmidt, D. C. (ed.), 2009.

    Research output: Contribution to conferencePaperpeer-review

  76. Published

    Manifest fields and module mechanisms in intensional type theory

    Luo, Z., 2009, Types for Proofs and Programs, Proc. of Inter. Conf. of TYPES'08. LNCS 5497. p. 237-255 18 p.

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

  77. Published

    Minimum Cost Homomorphism Dichotomy for Oriented Cycles

    Gutin, G., Rafiey, A. & Yeo, A., 2009, In: Graphs and Combinatorics. 25, 4, p. 521-531 11 p.

    Research output: Contribution to journalArticlepeer-review

  78. Published

    On the number of connected convex subgraphs of a connected acyclic graph

    Gutin, G. & Yeo, A., 2009, In: Discrete Applied Mathematics. 157, p. 1660-1662 3 p.

    Research output: Contribution to journalArticlepeer-review

  79. Published

    Some complexity problems on single input double output controllers

    Hangos, K. M., Tuza, Z. & Yeo, A., 2009, In: Discrete Applied Mathematics. 157, p. 1146-1158 13 p.

    Research output: Contribution to journalArticlepeer-review

  80. Published

    Spanning directed trees with many leaves

    Alon, N., Fomin, F., Gutin, G., Krivelevich, M. & Saurabh, S., 2009, In: SIAM Journal on Discrete Mathematics. 23, p. 466–-476

    Research output: Contribution to journalArticlepeer-review

  81. Published

    The expressive power of binary submodular functions

    Zivný, S., Cohen, D. A. & Jeavons, P. G., 2009, In: Discrete Applied Mathematics. 157, 15, p. 3347-3358 12 p.

    Research output: Contribution to journalArticlepeer-review

  82. Published

    The Expressive Power of Binary Submodular Functions

    Zivný, S., Cohen, D. A. & Jeavons, P. G., 2009, MFCS 2009. p. 744-757

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

  83. Published

    Total domination in 2-connected graphs and in graphs with no induced 6-cycles

    Henning, M. & Yeo, A., 2009, In: Journal of Graph Theory. 60, p. 55-79 25 p.

    Research output: Contribution to journalArticlepeer-review

  84. Published

    Total domination in partitioned graphs

    Frendrup, A., Vestergaard, P. D. & Yeo, A., 2009, In: Graphs and Combinatorics. 25, 2, p. 181-196 16 p.

    Research output: Contribution to journalArticlepeer-review

  85. 2008
  86. Published

    The expressive power of valued constraints: Hierarchies and collapses

    Cohen, D. A., Jeavons, P. G. & Živný, S., 6 Dec 2008, In: Theoretical Computer Science. 409, 1, p. 137-153 17 p.

    Research output: Contribution to journalArticlepeer-review

  87. Published

    Computational Logic Foundations of KGP Agents

    Kakas, A., Mancarella, P., Sadri, F., Stathis, K. & Toni, F., Nov 2008, In: Journal of Artificial Intelligence Research. 33, p. 285-348

    Research output: Contribution to journalArticlepeer-review

  88. Published

    A unified theory of structural tractability for constraint satisfaction problems

    Cohen, D., Jeavons, P. & Gyssens, M., Aug 2008, In: Journal of Computer and System Sciences. 74, 5, p. 721-743 23 p.

    Research output: Contribution to journalArticlepeer-review

  89. Published

    Coercions in a polymorphic type system

    Luo, Z., Aug 2008, In: Mathematical Structures in Computer Science. 18, 4, p. 729-751 23 p.

    Research output: Contribution to journalArticlepeer-review

  90. Published

    A Dichotomy for Minimum Cost Graph Homomorphisms

    Gutin, G., Hell, P., Rafiey, A. & Yeo, A., May 2008, In: European Journal of Combinatorics. 29, 4, p. 900-911 12 p.

    Research output: Contribution to journalArticlepeer-review

  91. Published

    Domain permutation reduction for constraint satisfaction problems

    Green, M. J. & Cohen, D. A., May 2008, In: Artificial Intelligence. 172, 8-9, p. 1094-1118 25 p.

    Research output: Contribution to journalArticlepeer-review

  92. Published

    An Argumentative Model for Service-oriented Agents

    Morge, M., McGinnis, J., Bromuri, S., Mancarella, P. & Stathis, K., 1 Mar 2008, Proc. of the International Symposium on Architectures for Intelligent Theory-Based Agents. Balduccini, M. & Baral, C. (eds.). p. 6 1 p.

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

  93. Published

    Ambient Intelligence

    Sadri, F. & Stathis, K., 2008, Encyclopedia of Artificial Intelligence. Idea Group Inc, p. 85-91

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  94. Published

    An Algorithm for Finding Input-Output Constrained Convex Sets in an Acyclic Digraph

    Gutin, G., Johnstone, A., Reddington, J., Scott, E., Yeo, A., Broersma, H. (ed.), Erlebach, T. (ed.), Friedeizky, T. (ed.) & Paulusma, D. (ed.), 2008, In: Lecture Notes in Computer Science. 5344, p. 206-217 12 p.

    Research output: Contribution to journalArticlepeer-review

  95. Published

    Argumentation sur les motivations propres dans l'architecture V3A pour des agents auto-adaptatifs

    Morge, M., Stathis, K. & Vercouter, L., 2008, Actes des 16ème Journées Francophones sur les Systèmes Multi-Agen ts (JFSMA). France: Cepudes

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

  96. Published

    Automating Workflows using Dialetical Argumentation

    Urovi, V., Bromuri, S., Mcginnis, J., Stathis, K. & Omicini, A., 2008, In: International Journal on Computer Science and Information Systems. 3, 2, p. 110-125 16 p.

    Research output: Contribution to journalArticlepeer-review

  97. Published

    Fixed-Parameter Complexity of Minimum Profile Problems

    Gutin, G., Szeider, S. & Yeo, A., 2008, In: Algorithmica. 52, 2, p. 133-152 20 p.

    Research output: Contribution to journalArticlepeer-review

  98. Published

    Generalising submodularity and Horn clauses: tractable optimization problems defined by tournament pair multimorphisms

    Cohen, D., Cooper, M. & Jeavons, P., 2008, In: Theoretical Computer Science. 401, 1-3, p. 36-51 16 p.

    Research output: Contribution to journalArticlepeer-review

  99. Published

    Hoang-Reed conjecture holds for tournaments

    Havet, F., Thomasse, S. & Yeo, A., 2008, In: Discrete Mathematics. 308, 15, p. 3412-3415 4 p.

    Research output: Contribution to journalArticlepeer-review

  100. Published

    Hypergraphs with large transversal number and with edge sizes at least three

    Henning, M. & Yeo, A., 2008, In: Journal of Graph Theory. 59, p. 326-348 23 p.

    Research output: Contribution to journalArticlepeer-review

  101. Published

    Minimum Cost Homomorphisms to Semicomplete Bipartite Digraphs

    Gutin, G., Rafiey, A. & Yeo, A., 2008, In: SIAM Journal on Discrete Mathematics. 22, 4, p. 1624-1639 16 p.

    Research output: Contribution to journalArticlepeer-review

  102. Published

    Minimum Cost Homomorphisms to Semicomplete Multipartite Digraphs

    Gutin, G., Rafiey, A. & Yeo, A., 2008, In: Discrete Applied Mathematics. 156, 12, p. 2429-2435 7 p.

    Research output: Contribution to journalArticlepeer-review

  103. Published

    On matching and total domination in graphs

    Henning, M., Kang, L., Shan, E. & Yeo, A., 2008, In: Discrete Mathematics. 308, 11, p. 2313-2318 6 p.

    Research output: Contribution to journalArticlepeer-review

  104. Published

    Situating cognitive agents in GOLEM

    Bromuri, S. & Stathis, K., 2008, Engineering Environment-Mediated Multi-Agent Systems (EEMAS'07). Springer, Vol. 5049. p. 115-134 20 p.

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

  105. Published

    Some Parameterized Problems on Digraphs

    Gutin, G. & Yeo, A., 2008, In: The Computer Journal. 51, 3, p. 363-371 9 p.

    Research output: Contribution to journalArticlepeer-review

  106. Published

    Structural subtyping for inductive types with functorial equality rules

    Luo, Z. & Adams, R., 2008, In: Mathematical Structures in Computer Science. 18, 5, p. 931-972 42 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 4 Next