Home > Publications

Publications

38851 - 38875 out of 42,450Page size: 25
  1. 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

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

  3. Published

    An algebraic semantics of event-based architectures

    Fiadeiro, J. L. & Lopes, A., 1 Oct 2007, In: Mathematical Structures in Computer Science. 17, 5, p. 1029-1073 45 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    An Algebraic Framework for Cipher Embeddings

    Cid, C., Murphy, S. & Robshaw, M. J. B., 2005, Proceedings of Cryptography and Coding, 10th IMA International Conference, 2005. Smart, N. (ed.). Springer, Vol. 3796. p. 278-289 12 p. (Lecture Notes in Computer Science; vol. 3796).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Published

    An Algebraic Characterization of Tractable Constraints

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

    Research output: Contribution to conferencePaper

  6. Published

    An algebraic characterisation of complexity for valued constraints

    Cohen, D., Cooper, M. & Jeavons, P., 2006, p. 107-121.

    Research output: Contribution to conferencePaper

  7. Published

    An Algebraic Approach to the Analysis of Constrained Workflow Systems

    Crampton, J., 2004, Proceedings of 3rd Workshop on Foundations of Computer Security (FCS'04). p. 61-74 14 p.

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

  8. Published

    An Algebra for the Detection and Prediction of Malicious Activity in Concurrent Systems

    Mcevoy, R. & Wolthusen, S. D., May 2010, Proceedings of the 2010 Fifth International Conference on Systems (ICONS 2010). IEEE Computer Society Press, p. 125-133

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

  9. Published

    An AHP and Fuzzy AHP Multifactor Decision Making Approach for Technology and Supplier Selection in the High-Functionality Textile Industry

    Coronado Mondragon, A., Mastrocinque, E., Tsai, J-F. & Hogg, P., 1 Aug 2021, In: IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT. 68, 4, p. 1112-1125 14 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

  13. Published

    An Agent Architecture for Concurrent Bilateral Negotiations

    Alrayes, B. & Stathis, K., 2014, Lecture Notes in Business Information Processing: Impact of Decision Support Systems for Global Environments. Springer, p. 79-89

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

  14. Published

    'An Afterlife in Memory': Commemoration and its Effects in a Late Medieval Parish

    Burgess, C., 21 May 2009, The Church, The Afterlife and the Fate of the Soul: Papers read at the 2007 Summer Meeting and the 2008 Winter Meeting of the Ecclesiastical History Society. Clarke, P. & Claydon, T. (eds.). The Boydell Press, p. 196-217 22 p. (Studies in Church History; vol. 45).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Published

    An AfroReggae Explosion: Reimagining the Value of Quality, Profit, and the Global Market in the Development of Applied Performance

    Spowage, C., 2011, In: Platform Journal of Performing Arts. 5, 2, p. 69 89 p., 5.2.

    Research output: Contribution to journalArticlepeer-review

  16. Unpublished
  17. E-pub ahead of print

    An additional GerE-controlled gene encoding an abundant spore coat protein from Bacillus subtilis

    Sacco, M., Ricca, E., Losick, R. & Cutting, S., 1 Jan 1995, (E-pub ahead of print) In: Journal of Bacteriology. 177, 2, p. 372-377 6 p.

    Research output: Contribution to journalArticlepeer-review

  18. Published
  19. Published
  20. E-pub ahead of print

    An adaptive multi-agent system for task reallocation in a MapReduce job

    Baert, Q., Caron, A-C., Morge, M., Routier, J-C. & Stathis, K., 1 Apr 2021, (E-pub ahead of print) In: Journal of Parallel and Distributed Computing.

    Research output: Contribution to journalArticlepeer-review

  21. Unpublished

    An Accumulation of Absences: The collector of theatrical ephemera

    Smith, E., 2014, (Unpublished).

    Research output: Contribution to conferencePaper

  22. Published

    An Accounting Minefield

    McSweeney, B., 1984, In: Financial Times World Accounting Report. December

    Research output: Contribution to journalArticlepeer-review

  23. Published
  24. Published

    An Access-Control Framework for WS-BPEL

    Paci, F., Bertino, E. & Crampton, J., 2008, In: International Journal of Web Services Research. 5, 3, p. 20-43 24 p.

    Research output: Contribution to journalArticlepeer-review

  25. Published

    An Access Control Framework for WS-BPEL Processes

    Paci, F., Bertino, E. & Crampton, J., 2009, Web Services Research for Emerging Applications: Discoveries and Trends. Zhang, L-J. (ed.). Information Science Reference, p. 492-515 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter