Home > Publications

Publications

40501 - 40550 out of 42,945Page size: 50
  1. Published

    A saturation method for the modal μ-calculus over pushdown systems

    Hague, M. & Ong, C-HL., May 2011, In: Information and Computation. 209, 5, p. 799–821

    Research output: Contribution to journalArticlepeer-review

  2. Published

    A Saturation Method for Collapsible Pushdown Systems

    Broadbent, C., Carayol, A., Hague, M. & Serre, O., 2012, ICALP: International Colloquium on Automata, Languages and Programming.

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

  3. Published

    A saltmarsh chronology for the severn estuary based on independent lines of dating evidence; and its implications.

    French, P., 1996, In: Marine Geology. 135, p. 115-125 11 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    A Saint in Exile: The early medieval Thecla at Rome and Meriamlik

    Cooper, K., 1995, In: Hagiographica. 2

    Research output: Contribution to journalArticlepeer-review

  5. Published

    A safer place to surf

    Berger, M., 2012, In: Public Service Review. 15, p. 274-275 2 p.

    Research output: Contribution to journalArticle

  6. Published

    A Rule-Based Approach to the Construction and Evolution of Business Information Systems

    Layzell, P. J. & Loucopoulos, P., 1988, Proc. 4th IEEE International Conference on Software Maintenance, Phoenix, Arizona, USA, October 1988. p. 258-264 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Published

    A Rule-Based Approach to Information Systems Requirements

    Assche, F. V., Layzell, P. J., Loucopoulos, P. & Speltincx, G., 1988, Proc. International Workshop on KBS in Software Engineering, UMIST, March 1988.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Published

    A Rounded Picture is What We Need: Rhetorical Strategies and Arguments, and the Negotiation of Change in a UK Hospital Trust

    Mueller, F., Sillince, J., Harvey, C. & Howorth, C., 1 Jan 2004, In: Organization Studies. 25, 1, p. 75-93

    Research output: Contribution to journalArticlepeer-review

  9. Published

    A rough and charmless place: Other spaces of history in Tel Aviv

    Leschem, N., Nov 2011, Urban Constellations . Gandy, M. (ed.). Jovis, p. 163 167 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Published

    A role for SENSITIVE TO FREEZING2 in protecting chloroplasts against freeze induced damage in Arabidopsis

    Fourrier, N., Bédard, J., López-Juez, E., Barbrook, A., Bowyer, J., Jarvis, P., Warren, G. & Thorlby, G., 2008, In: Plant Journal. 55, p. 734-745 12 p.

    Research output: Contribution to journalArticlepeer-review

  11. Published

    A role for reactive oxygen species in endosperm weakening: Seeds: Biology, Development and Ecology

    Müller, K., Heß, B. & Leubner-Metzger, G., 2007, Seeds: Biology, Development and Ecology. Adkins, S., Ashmore, S. & Navie, S. (eds.). Wallingford, Oxfordshire, UK: CABI PUBLISHING, p. 287-295 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. Published

    A Robust Augmented Nodal Analysis Approach to Distribution Network Solution

    Nduka, O., Yu, Y., Pal, B. & Okafor, E., 16 Dec 2020, 2020 IEEE Power and Energy Society General Meeting (PESGM). IEEE

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

  13. Published

    A Robust Augmented Nodal Analysis Approach to Distribution Network Solution

    Nduka, O., Yu, Y., Pal, B. & Okafor, E., 18 Oct 2019, In: IEEE Transactions on Smart Grid. 11, 3, p. 2140-2150 11 p., 2.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    A Roadmap for HEP Software and Computing R&D for the 2020s

    Foundation, HEP. S., Albrecht, J., Jr, A. A. A., Amadio, G., Anh-Ky, N., Aphecetche, L., Apostolakis, J., Asai, M., Atzori, L., Babik, M., Bagliesi, G., Bandieramonte, M., Banerjee, S., Barisits, M., Bauerdick, L. A. T., Belforte, S., Benjamin, D., Bernius, C., Bhimji, W., Bianchi, R. M. & 277 others, Bird, I., Biscarat, C., Blomer, J., Bloom, K., Boccali, T., Bockelman, B., Bold, T., Bonacorsi, D., Boveia, A., Bozzi, C., Bracko, M., Britton, D., Buckley, A., Buncic, P., Calafiura, P., Campana, S., Canal, P., Canali, L., Carlino, G., Castro, N., Cattaneo, M., Cerminara, G., Villanueva, J. C., Chang, P., Chapman, J., Chen, G., Childers, T., Clarke, P., Clemencic, M., Cogneras, E., Coles, J., Collier, I., Corti, G., Cosmo, G., Costanzo, D., Couturier, B., Cranmer, K., Cranshaw, J., Cristella, L., Crooks, D., Crépé-Renaudin, S., Dallmeier-Tiessen, S., De, K., Cian, M. D., Roeck, A. D., Peris, A. D., Girolamo, A. D., Guida, S. D., Dimitrov, G., Doglioni, C., Dotti, A., Duellmann, D., Duflot, L., Dykstra, D., Dziedziniewicz-Wojcik, K., Dziurda, A., Egede, U., Elmer, P., Elmsheuser, J., Elvira, V. D., Eulisse, G., Farrell, S., Ferber, T., Filipcic, A., Fisk, I., Fitzpatrick, C., Flix, J., Formica, A., Forti, A., Franzoni, G., Frost, J., Fuess, S., Gaede, F., Ganis, G., Gardner, R., Garonne, V., Gellrich, A., Genser, K., George, S., Geurts, F., Gheata, A., Gheata, M., Giacomini, F., Giagu, S., Giffels, M., Gingrich, D., Girone, M., Gligorov, V. V., Glushkov, I., Gohn, W., Lopez, J. B. G., Caballero, I. G., Fernández, J. R. G., Govi, G., Grandi, C., Grasland, H., Gray, H., Grillo, L., Guan, W., Gutsche, O., Gyurjyan, V., Hanushevsky, A., Hariri, F., Hartmann, T., Harvey, J., Hauth, T., Hegner, B., Heinemann, B., Heinrich, L., Hernández, J. M., Hildreth, M., Hodgkinson, M., Hoeche, S., Holzman, B., Hristov, P., Huang, X., Ivanchenko, V. N., Ivanov, T., Jashal, B., Jayatilaka, B., Jones, R., Jouvin, M., Jun, S. Y., Kagan, M., Kalderon, C. W., Karavakis, E., Katz, D. S., Kcira, D., Kersevan, B. P., Kirby, M., Klimentov, A., Klute, M., Komarov, I., Konstantinov, D., Koppenburg, P., Kowalkowski, J., Kreczko, L., Kuhr, T., Kutschke, R., Kuznetsov, V., Lampl, W., Lancon, E., Lange, D., Lassnig, M., Laycock, P., Leggett, C., Letts, J., Lewendel, B., Li, T., Lima, G., Linacre, J., Linden, T., Presti, G. L., Lopienski, S., Love, P., Lyon, A., Magini, N., Marshall, Z. L., Martelli, E., Martin-Haugh, S., Mato, P., Mazumdar, K., McCauley, T., McFayden, J., McKee, S., McNab, A., Mehdiyev, R., Meinhard, H., Menasce, D., Lorenzo, P. M., Mete, A. S., Michelotto, M., Mitrevski, J., Moneta, L., Morgan, B., Mount, R., Moyse, E., Murray, S., Neubauer, M. S., Norman, A., Novaes, S., Novak, M., Oyanguren, A., Ozturk, N., Pages, A. P., Paganini, M., Pansanel, J., Pascuzzi, V. R., Patrick, G., Pearce, A., Pearson, B., Pedro, K., Perdue, G., Yzquierdo, A. P-C., Perrozzi, L., Petersen, T., Petric, M., Piedra, J., Piilonen, L., Piparo, D., Pokorski, W., Polci, F., Potamianos, K., Psihas, F., Navarro, A. P., Raven, G., Reuter, J., Ribon, A., Rinaldi, L., Ritter, M., Robinson, J., Rodrigues, E., Roiser, S., Rousseau, D., Roy, G., Rybkine, G., Sailer, A., Sakuma, T., Santana, R., Sartirana, A., Schellman, H., Schovancová, J., Schramm, S., Schulz, M., Sciabà, A., Seidel, S., Sekmen, S., Serfon, C., Severini, H., Sexton-Kennedy, E., Seymour, M., Sgalaberna, D., Shapoval, I., Shiers, J., Shiu, J-G., Short, H., Siroli, G. P., Skipsey, S., Smith, T., Snyder, S., Sokoloff, M. D., Spentzouris, P., Stadie, H., Stark, G., Stewart, G., Stewart, G., Sánchez, A., Sánchez-Hernández, A., Taffard, A., Tamponi, U., Templon, J., Tenaglia, G., Tsulaia, V., Tunnell, C., Vaandering, E., Valassi, A., Vallecorsa, S., Valsan, L., Gemmeren, P. V., Vernet, R., Viren, B., Vlimant, J-R., Voss, C., Votava, M., Vuosalo, C., Sierra, C. V., Wartel, R., Watts, G. T., Wenaus, T., Wenzel, S., Winklmeier, F., Wissing, C., Wuerthwein, F., Wynne, B., Xiaomei, Z., Yang, W. & Yazgan, E., 18 Dec 2017, The HEP Software Foundation. 93 p.

    Research output: Book/ReportOther report

  15. Published

    A risk of the job? Violence against nurses from patients and the public as an emerging policy issue

    Elston, M., Gabe, J. & O’Beirne, M., 2006, Risk and Nursing Practice. Godin, P. (ed.). Aldershot: Palgrave

    Research output: Chapter in Book/Report/Conference proceedingChapter

  16. Published

    A Rising Lord and a Declining Esquire: Sir Thomas de Berkeley III and Geoffrey Gascelyn of Sheldon

    Saul, N., 1988, In: Historical Research. 61, p. 345-56

    Research output: Contribution to journalArticlepeer-review

  17. Published

    A Right to Personal Autonomy at the European Court of Human Rights

    Marshall, J., 2008, In: European Human Rights Law Review. p. 337-256

    Research output: Contribution to journalArticlepeer-review

  18. Published

    A Reward for Good Behaviour in the Cold War: Bargaining over the Defence of Hong Kong, 1949-1957

    Mark, C., 2000, In: The International History Review. 22, 4, p. 837-861

    Research output: Contribution to journalArticlepeer-review

  19. Published

    A revolution in military learning? Cross-functional teams and knowledge transformation by lessons-learned processes

    Dyson, T., Dec 2020, In: European Security. 29, 4, p. 483-505 22 p.

    Research output: Contribution to journalArticlepeer-review

  20. Published

    A revised Pliocene record for marine-Sr-87/Sr-86 used to date an interglacial event recorded in the Cockburn Island Formation, Antarctic Peninsula

    McArthur, J. M., Rio, D., Massari, F., Castradori, D., Bailey, T. R., Thirlwall, M. & Houghton, S., 24 Nov 2006, In: Palaeogeography, Palaeoclimatology, Palaeoecology. 242, 1-2, p. 126-136 11 p.

    Research output: Contribution to journalArticlepeer-review

  21. Published

    A revised chronology for the growth and demise of Loch Lomond Readvance (‘Younger Dryas’) ice lobes in the Lochaber area, Scotland

    Palmer, A., Matthews, I., Lowe, J., MacLeod, A. & Grant, R., 15 Nov 2020, In: Quaternary Science Reviews. 248, 106548.

    Research output: Contribution to journalArticlepeer-review

  22. Published

    A revised chronology for the adoption of agriculture in the Southern Levant and the role of Lateglacial climatic change

    Blockley, S. P. E. & Pinhasi, R., Jan 2011, In: Quaternary Science Reviews. 30, 1-2, p. 98-108 11 p.

    Research output: Contribution to journalArticlepeer-review

  23. Published

    A Review on Attacks and Their Countermeasures in Power System State Estimation

    Gul, A. & Wolthusen, S. D., 2018, Smart Micro-Grid Systems Security and Privacy.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. Published

    A Review of: Knowledge, Information and Expectations in Modern Macroeconomics: in honour of Edmund S. Phelps

    Spagat, M., Oct 2003, In: The Economic Journal.

    Research output: Contribution to journalArticle

  25. Published
  26. Published

    A Review of Thin Bedded Pay Determination and Produceability

    Panting, B., Scarselli, N. & Chiarella, D., 2019.

    Research output: Contribution to conferenceAbstract

  27. Published

    A review of the problems in the stratigraphical palaeoecological and palaeobiogeographical interpretation of Lower Carboniferous (Dinantian) floras from Western Europe

    Scott, A. C. & Galtier, J., Jan 1996, In: Review of Palaeobotany and Palynology. 90, 1-2, p. 141-153 13 p.

    Research output: Contribution to journalArticlepeer-review

  28. Published

    A Review of the Origin and Evolution of Carbonate Mud‐Mounds

    Bosence, D. & Bridges, P. H., 17 Jul 1995, Carbonate Mud‐Mounds: Their Origin and Evolution. Monty, C. L. V., Bosence, D. W. J., Bridges, P. H. & Pratt, B. R. (eds.). Wiley, p. 1-9 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. Published

    A review of the functions and motives for criminal poisoning and application to historical and contemporary case files

    Tarant, E. & Glorney, E., 1 Jul 2015.

    Research output: Contribution to conferencePosterpeer-review

  30. Published

    A review of the ecology of Upper Carboniferous plant assemblages with new data from Strathclyde

    Scott, A. C., 1977, In: Palaeontology. 20, 2, p. 447-473

    Research output: Contribution to journalArticlepeer-review

  31. Published

    A review of the discovery reach of directional Dark Matter detection

    Mayet, F., Green, A. M., Battat, J. B. R., Billard, J., Bozorgnia, N., Gelmini, G. B., Gondolo, P., Kavanagh, B. J., Lee, S. K., Loomba, D., Monroe, J., Morgan, B., O'Hare, C. A. J., Peter, A. H. G., Phan, N. S. & Vahsen, S. E., 20 Apr 2016, In: Physics Reports. 627, p. 1–49 49 p.

    Research output: Contribution to journalArticlepeer-review

  32. Published

    A review of the cognitive interview

    Memon, A. & Higham, P., 1999, In: Psychology, Crime and Law. 5, p. 177-196

    Research output: Contribution to journalArticlepeer-review

  33. E-pub ahead of print

    A review of sustainability related trade-offs affecting suppliers in developed and less developed countries

    Nand, A., Menon, R., Bhattacharya, A. & Bhamra, R., 29 Mar 2022, (E-pub ahead of print) In: Journal of Business and Industrial Marketing.

    Research output: Contribution to journalArticlepeer-review

  34. Published

    A review of some models for the formation of the Williston Basin

    Nisbet, E. G. & Fowler, C. M. R., 1985, Oil and Gas in Saskatchewan. p. 1-3 (Geological Society of Saskatchewan Special Publication).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  35. Published

    A review of research studies on helminth parasites of fish from Austria

    Konecny, R., Sattmann, H., Schabuss, M., Jütte, M. & Lewis, J., 2020, In: Acta ZooBot Austria. 157, p. 41-62 22 p.

    Research output: Contribution to journalArticlepeer-review

  36. Published

    A REVIEW OF RECENT STRUCTURAL-CHANGES TO DISTRICT HEALTH AUTHORITIES AS PURCHASING ORGANIZATIONS

    Exworthy, M., Aug 1993, In: Environment and Planning C: Government and Policy. 11, 3, p. 279-289 11 p.

    Research output: Contribution to journalLiterature reviewpeer-review

  37. Published

    A review of neurobiological factors underlying the selective enhancement of memory at encoding, consolidation, and retrieval

    Crowley, R., Bendor, D. & Javadi, A-H., Aug 2019, In: Progress in Neurobiology. 179, 101615.

    Research output: Contribution to journalArticlepeer-review

  38. Published

    A review of instrumentation and measurement techniques for ground-based and airborne field studies of gas-phase tropospheric chemistry

    Clemitshaw, K. C., 2004, In: Critical Reviews in Environmental Science and Technology. 34, 1, p. 1108 108 p.

    Research output: Contribution to journalLiterature reviewpeer-review

  39. Published

    A Review of infra-structure by Katy Lewis Hood and Maria Sledmere

    Hazell, C., 17 Sep 2020, In: Erotoplasty. 7, 1, p. 137 1 p.

    Research output: Contribution to journalBook/Film/Article review

  40. E-pub ahead of print

    A review of emerging use of microcurrent therapy as a potential management option for stress in horses

    Bryant, M. J. & Thirkell, J., 27 Feb 2020, (E-pub ahead of print) In: Journal of Veterinary Behavior.

    Research output: Contribution to journalArticlepeer-review

  41. Published

    A Review of Chords by Raymond Crump

    Hazell, C., 17 Sep 2020, In: Erotoplasty. 7, 1, p. 137 1 p.

    Research output: Contribution to journalBook/Film/Article review

  42. Published

    A Review of Child's Bone by Yi Sang, trans. Janet Hong

    Hazell, C., 11 Dec 2019, In: Erotoplasty. 5: The Korean Issue, p. 118

    Research output: Contribution to journalBook/Film/Article review

  43. E-pub ahead of print

    A Review of 2000 Years of Paleoclimatic Evidence in the Mediterranean

    Luterbacher, J., García-Herrera, R., Akcer-On, S., Allan, R., Alvarez-Castro, M. C., Benito, G., Booth, J., Büntgen, U., Cagatay, N., Colombaroli, D., Davis, B., Esper, J., Felis, T., Fleitmann, D., Frank, D., Gallego, D., Garcia-Bustamante, E., Glaser, R., Gonzalez-Rouco, F. J., Goosse, H. & 25 others, Kiefer, T., Macklin, M. G., Manning, S. W., Montagna, P., Newman, L., Power, M. J., Rath, V., Ribera, P., Riemann, D., Roberts, N., Sicre, M. A., Silenzi, S., Tinner, W., Tzedakis, P. C., Valero-Garcés, B., van der Schrier, G., Vannière, B., Vogt, S., Wanner, H., Werner, J. P., Willett, G., Williams, M. H., Xoplaki, E., Zerefos, C. S. & Zorita, E., 19 Apr 2012, (E-pub ahead of print) The Climate of the Mediterranean Region. Elsevier Inc., p. 87-185 99 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  44. Published

    A review and proposal for a core set of factors for prospective cohorts in low back pain: A consensus statement

    Pincus, T., Santos, R., Breen, A., Burton, A. K. & Underwood, M., 15 Jan 2008, In: Arthritis Care & Research. 59, 1, p. 14-24 11 p.

    Research output: Contribution to journalLiterature reviewpeer-review

  45. Published

    A Restless Electorate: Stirrings in the Political System

    Allen, N., 2005, Britain at the Polls 2005. Bartle, J. & King, A. (eds.). Washington, DC: QC Press, p. 54-77

    Research output: Chapter in Book/Report/Conference proceedingChapter

  46. E-pub ahead of print

    A RESTful middleware for AI controlled sensors, actuators and smart devices

    Dipsis, N. & Stathis, K., 12 Sep 2019, (E-pub ahead of print) In: Journal of Ambient Intelligence and Humanized Computing. p. 1-24 24 p.

    Research output: Contribution to journalArticlepeer-review

  47. Published

    A RESTful and decentralised implementation of open objects

    Goncalves, P. & Stathis, K., 2013, p. 1515-1524. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  48. Published

    A Responsibility to Reality: A Reply to Louise Arbour

    Carvin, S., 2010, In: Review of International Studies. 36, Special Issue, p. 47-54 8 p.

    Research output: Contribution to journalArticlepeer-review

  49. In preparation

    A Research Agenda for Terrorism Studies

    Frumkin, L. (ed.), Morrison, J. F. (ed.) & Silke, A. (ed.), 2022, (In preparation) Edward Elgar.

    Research output: Book/ReportBook

  50. Published

    A reputation-based announcement scheme for VANETs

    Li, Q., Malip, A., Martin, K. M., Ng, S-L. & Zhang, J., 23 Jul 2012, In: IEEE Transaction on Vehicular Technology. 61, 9, p. 4095-4108

    Research output: Contribution to journalArticlepeer-review