Home > Publications

Publications

37826 - 37850 out of 40,288Page size: 25
  1. Other contribution › Research
  2. Published

    A Set-theoretic Setting for Structuring Theories in Proof Development

    Luo, Z. & Burstall, R., 1992, LFCS Report Series. LFCS, Edinburgh Univ

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

  3. Published

    A use-case driven approach to formal service-oriented modelling

    Bocchi, L., Fiadeiro, J. L. & Lopes, A., 1 Jan 2008, Communications in Computer and Information Science. Vol. 17 CCIS. p. 155-169 15 p.

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

  4. Published

    Aaron Copland

    MacGregor, E., 2017, 30-Second Classical Music. Cormac, J. (ed.). Brighton: Ivy Press, (30 Second).

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

  5. Published

    Abstraction preservation and subtyping in distributed languages

    Deniélou, P-M. & Leifer, J. J., 1 Jan 2006, Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. Reppy, J. H. & Lawall, J. L. (eds.). ACM, Vol. 2006. p. 286-297 12 p.

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

  6. Published

    ACM International Conference Proceeding Series: Foreword

    Allalouf, M., Ben-Yehuda, M., Factor, M., Feitelson, D. & Chockler, G., 2009, Proceedings of SYSTOR '09: ACM International Conference Proceeding Series.

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

  7. Published

    Algebraic Proof Complexity: Progress, Frontiers and Challenges

    Pitassi, T. & Tzameret, I., 8 Jul 2016, ACM SIGLOG News. Immerman, N. (ed.). New York: ACM, Vol. 3. p. 21-43 23 p.

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

  8. Published

    Algebraic semantics of service component modules

    Fiadeiro, J. L., Bocchi, L. & Lopes, A., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4409 LNCS. p. 37-55 19 p.

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

  9. Published

    An architectural approach to mobility - The handover case study

    Oliveira, C., Wermelinger, M., Fiadeiro, J. L. & Lopes, A., 1 Jan 2004, Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004). p. 305-308 4 p.

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

  10. Published

    An Architectural Support for Self-Adaptive Software for Treating Faults

    De Lemos, R. & Fiadeiro, J. L., 1 Jan 2002, Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02). p. 39-42 4 p.

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

  11. Published

    Ancient Commentators on Aristotle

    Sellars, J., 2014, Oxford Bibliographies in Classics. Clayman, D. (ed.). Oxford University Press

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

  12. Published

    'ANTI 2011, Kuopio, Finland'

    Williams, D., Feb 2012, Performance Research: 'On Failure'. 1 ed. Taylor & Francis / Performance Research, Vol. 17. p. 126-132 7 p.

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

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

  14. Published

    Asynchronous distributed monitoring for multiparty session enforcement

    Chen, T-C., Honda, K., Bocchi, L., Deniélou, P-M. & Yoshida, N., 1 Jan 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7173 LNCS. p. 25-45 21 p.

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

  15. Published

    Athens as a Failed City for Consumption

    Chatzidakis, A., 2014, Crisis-Scapes: Athens and Beyond.

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

  16. Published

    Auditory-induced emotion: A neglected channel for communication in human-computer interaction

    Tajadura-Jiménez, A., Västfjäll, D. & Tajadura Jimenez, A., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4868 LNCS. p. 63-74 12 p.

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

  17. Published

    Automatic indexing from a thesaurus using Bayesian networks: Application to the classification of parliamentary initiatives

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4724 LNAI. p. 865-877 13 p.

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

  18. Published

    Beethoven and Nature: Exploring the ‘Pastoral’ Symphony

    Berry, M., Dec 2020, Discovering Music: 19th century. (British Library).

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

  19. Published

    Beyond Catholicism: Heresy, Mysticism and the Apocalypse in Italian Culture: Introduction

    De Donno, F. & Gilson, S., 2014, Beyond Catholicism: Heresy, Mysticism and the Apocalypse in Italian Culture. p. 1-12 12 p.

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

  20. E-pub ahead of print

    Book Review Symposium: Ulrich Jürgens and Martin Krzywdzinski, New Worlds of Work: Varieties of Work in Car Factories in the BRIC Countries

    Smith, C., 3 Jan 2019, Work, Employment and Society. p. 1-3 3 p.

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

  21. Published

    Book review: Adrian Heathfield & Tehching Hsieh, 'Out of Now: The Lifeworks of Tehching Hsieh'

    Williams, D., 2009, Performance Research. 'On Training' (October) ed. UK, Vol. 14:2. p. 130-1 2 p.

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

  22. Published

    Book review: Nicholas Ridout, Stage Fright, Animals & Other Theatrical Problems

    Williams, D., 2007, Contemporary Theatre Review. May ed. UK, Vol. 17:2. p. 245-6 2 p.

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

  23. Published

    CAN Bus Risk Analysis Revisit

    Mansor, H., Markantonakis, K. & Mayes, K., 2014, Information Security Theory and Practice. Securing the Internet of Things. Naccache, D. & Sauveron, D. (eds.). Springer, Vol. 8501. p. 170-179 10 p. (Lecture Notes in Computer Science; vol. 8501).

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

  24. Published

    CC# and Its Meta Theory

    Luo, Z., 1988, LFCS Report Series. LFCS, Edinburgh Univ

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

  25. Published

    Celebes Baking Products: A teaching case study on decision making, stakeholders, and cost behaviour

    Gee, M., 2018, Management and Cost Accounting: Mind Tap®. Drury, C. (ed.). 10th ed. Cengage Learning

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

  26. Published

    Classical and quantum structuralism

    Coecke, B., Paquette, É. O. & Pavlovic, D., 2009, Semantical Techniques in Quantum Computation. Gay, S. & Mackie, I. (eds.). Cambridge University Press, p. 29-69 41 p.

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