Home > Publications

Publications

36401 - 36450 out of 38,742Page size: 50
  1. Foreword/postscript › Research
  2. Published

    Proceedings – 4th International Conference on Business Process Management, BPM'06

    Dustdar, S., Fiadeiro, J. & Sheth, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4102 LNCS.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  3. Published

    Proceedings – Conference on Algebra and Coalgebra in Computer Science, CALCO'05

    Fiadeiro, J. L. (ed.), Harman, N. (ed.), Roggenbach, M. (ed.) & Rutten, J. J. M. M. (ed.), 2005, Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings. Springer, Vol. 3629.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  4. Published

    Proceedings – Fundamental Aspects of Software Engineering, FASE'08

    Fiadeiro, J. & Inverardi, P., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4961 LNCS.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  5. Published

    Proceedings – Workshop on Algebraic Development Techniques, WADT'06

    Fiadeiro, J. & Schobbens, P-Y., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4409 LNCS.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  6. Published

    Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers

    Fiadeiro, J. L. (ed.), 1999, Lecture Notes in Computer Science. Springer, Vol. 1589.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  7. Published

    Reflections on a Family History

    Samson, J. & Piotr Myslakowski and Andrzej Sikorski, 2010, Fryderyk Chopin : The Origins. Warsaw: Narodowy Instytut Fryderyka Chopina, p. 7-10

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  8. Published

    Russell W. Belk: The Odyssian Wanderer

    Maclaran, P., 2014, An Alternative Approach: Re-Enchanting Consumption (Legends in Consumer Behavior: Russell Belk, Vol. 2). Sage publications, Vol. 2.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  9. Published

    Understanding medical dominance in the modern world

    Gabe, J., 1 Jan 2013, Challenging Medicine: Second Edition. Taylor and Francis Inc., p. xiii-xxxiv

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  10. Published

    이탈리아 파시즘 약사

    Moon, J., 19 Apr 2014, 쿠데타의 기술. Lee, S. & Jung, K. I. (eds.). Seoul, South Korea: echaeck, p. 286-300 15 p.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  11. Published

    쿠르찌오 말라파르테의 생애와 문학, 이탈리아 파시즘

    Moon, J., 19 Apr 2014, 쿠데타의 기술. Lee, S. & Jung, K. I. (eds.). Seoul, S.Korea: echaeck, p. 301-17 17 p.

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  12. Other contribution › Research
  13. Published

    "Help!...Who?Me?"

    Hibbert, S., Chatzidakis, A. & Smith, A., 2005, ESRC Society Today. p. 5-9

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

  14. Published

    3.1 Domestic Spaces of Creativity: The Amateur Dramatist

    Gray, C., 2017, Creativity. Hawkins, H. (ed.). Routledge

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

  15. Published

    A coordination model for service-oriented interactions

    Abreu, J. & Fiadeiro, J. L., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5052 LNCS. p. 1-16 16 p.

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

  16. Published

    A Face Centered Cubic Key Agreement Mechanism for Mobile Ad Hoc Networks

    Askoxylakis, I. G., Markantonakis, K., Tryfonas, T., May, J. & Traganitis, A., 2009, Mobile Lightweight Wireless Systems. Granelli, F., Skianis, C., Chatzimisios, P., Xiao, Y., Redana, S., Akan, O., Bellavista, P., Cao, J., Dressler, F., Ferrari, D., Gerla, M., Kobayashi, H., Palazzo, S., Sahni, S., Shen, X. S., Stan, M., Xiaohua, J., Zomaya, A. & Coulson, G. (eds.). Springer Berlin / Heidelberg, Vol. 13. p. 103-113 11 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering).

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

  17. Published

    A formal approach to event-based architectures

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3922 LNCS. p. 18-32 15 p.

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

  18. Published

    A formal approach to service component architecture

    Fiadeiro, J. L., Bocchi, L. & Lopes, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4184 LNCS. p. 193-213 21 p.

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

  19. Published

    A graph-based design framework for services

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

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

  20. Published

    A Higher-order Calculus and Theory Abstraction

    Luo, Z., 1988, LFCS Report Series.

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

  21. Published

    A highly sensitive terahertz photon detector based on a semiconductor quantum dot

    Kleinschmidt, P., Giblin, S. P., Tzalenchuk, A., Kulik, L. & Antonov, V., 2007, 2007 Joint 32nd International Conference on Infrared and Millimeter Waves and 15th International Conference on Terahertz Electronics, Vols 1 and 2. p. 719-720 2 p.

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

  22. Published

    A model for dynamic reconfiguration in service-oriented architectures

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6285 LNCS. p. 70-85 16 p.

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

  23. Published

    A model-checking approach for service component architectures

    Abreu, J., Fiadeiro, J. L., Mazzanti, F. & Gnesi, S., 1 Jan 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5522 LNCS. p. 219-224 6 p.

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

  24. Published

    A note about norbert wiener and his contribution to harmonic analysis and tauberian theorems

    Almira, J. M. & Romero, A. E., 1 Jan 2009, AIP Conference Proceedings. Vol. 1124. p. 19-28 10 p.

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

  25. Published

    A point-distribution index and its application to sensor-grouping in wireless sensor networks

    Zhou, Y., Yang, H., Lyu, M. R. & Ngai, EC-H., 1 Jan 2006, IWCMC 2006 - Proceedings of the 2006 International Wireless Communications and Mobile Computing Conference. Vol. 2006. p. 1171-1176 6 p.

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

  26. Published

    A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  47. Published

    CC# and Its Meta Theory

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

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

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

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

  50. Published

    Cocteau's La Villa Santo-Sospir

    Williams, J., 2011, Criterion DVD edition of Cocteau's Orpheus. Criterion Collection, New York, p. 23-25

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

  51. Unpublished

    Combining qualitative and quantitative research methods

    Rees, C., Mar 1996, (Unpublished) Warwick Business School Doctoral Students Seminar. University of Warwick

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

  52. Published

    Conference Report: International D. H. Lawrence Conference: Lawrence Among Women

    Morsia, E., 2015, Newsletter - The D. H. Lawrence Society. Vol. no. 97. p. 24-29 6 p.

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