Find Research Outputs

Search concepts
Selected filters
2011

Developing a consensus algorithm using stepwise refinement

Bryans, J. W., 2011, Formal Methods and Software Engineering. Qin, S. & Qiu, Z. (eds.). Berlin: Springer Verlag, Vol. 6991 LNCS. p. 553-568 16 p. (Lecture Notes in Computer Science; vol. 6991).

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

3 Citations (Scopus)
2004

Expressing iterative properties logically in a symbolic setting

Shankland, C., Bryans, J. & Morel, L., 2004, Algebraic Methodology and Software Technology. Rattray, C., Maharaj, S. & Shankland, C. (eds.). Berlin, Vol. 3116. p. 460-474 15 p.

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

2005

Modelling dynamic opacity using Petri Nets with silent actions

Bryans, J. W., Koutny, M. & Ryan, P. Y. A., 2005, Formal Aspects in Security and Trust. Dimitrakos, T. & Martinelli, F. (eds.). Boston: Springer Verlag, Vol. 173. p. 159-172 14 p. (IFIP International Federation for Information Processing (IFIPAICT); vol. 173).

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

13 Citations (Scopus)
2018

Detection of Automotive CAN Cyber-Attacks by Identifying Packet Timing Anomalies in Time Windows

Tomlinson, A., Bryans, J., Shaikh, S. A. & Kalutarage, H. K., 23 Jul 2018, Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2018. Luxembourg: IEEE, p. 231-238 8 p.

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

8 Citations (Scopus)
2019

An Evaluation Ontology Applied to Connected Vehicle Security Assurance

Powley, S., Perry, S., Holt, J. & Bryans, J., 27 Sep 2019, INCOSE International Symposium: The Proceedings of the Annual INCOSE International Symposium. 1 ed. USA: Wiley, Vol. 29. p. 37-52 16 p. (INCOSE Proceedings).

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

A Template-based Method for the Generation of Attack Trees

Bryans, J., Liew, L. S., Nguyen, H. N., Sabaliauskaite, G., Shaikh, S. & Zhou, F., 14 Nov 2019, (Accepted/In press).

Research output: Contribution to conferencePaper

2008

Opacity generalised to transition systems

Bryans, J. W., Koutny, M., Mazaro, L. & Ryan, P. Y. A., Nov 2008, In : International Journal of Information Security. 7, 6, p. 421-435 15 p.

Research output: Contribution to journalArticle

113 Citations (Scopus)
2020

NEFELI Project- Support and Empower Women Autonomy through non-formal learning exchanges Overview film

Cisneros, R. K., 8 Jan 2020

Research output: Practice-Based and Non-textual ResearchDigital or Visual Media

Open Access

EU-Funded CultureMoves Webinar 2a: Dance LabDays

Cisneros, R. K. & Crawley, M-L., 26 Feb 2020

Research output: Practice-Based and Non-textual ResearchDigital or Visual Media

Open Access

Random Linear Network Coding based Physical Layer Security for Relay-aided Device-to-Device Communication

Khan, A. S., Chatzigeorgiou, I., Zheng, G., Basutli, B., Chuma, J. M. & Lambotharan, S., 22 Apr 2020, In : IET Communications. 14, 7, p. 1155 – 1161 7 p.

Research output: Contribution to journalArticle

Open Access
File

A taxonomy of validation strategies to ensure the safe operation of highly automated vehicles

Batsch, F., Kanarachos, S., Cheah, M., Ponticelli, R. & Blundell, M., 20 Mar 2020, In : Journal of Intelligent Transportation Systems. (In-press), p. (In-press)

Research output: Contribution to journalReview article

CultureMoves Webinar #1: ICH and Annotation

Cisneros, R. K. & Crawley, M-L., 20 Feb 2020

Research output: Practice-Based and Non-textual ResearchDigital or Visual Media

Open Access
2011

Disk laser welding of Ti6Al4V alloy

Mastrocinque, E., Corrado, G., Caiazzo, F., Pasquino, N., Sergi, V. & Acerra, F., 2011, ICPR 21st International Conference on Production Research. Spath, D., Ilg, R. & Krause, T. (eds.). p. 1-6 6 p.

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

6 Citations (Scopus)
2012

Effect of Defocusing on Bead-on-Plate of Ti6Al4V by Yb:YAG Disk Laser

Mastrocinque, E., Corrado, G., Caiazzo, F., Pasquino, N. & Sergi, V., 2012, In : Advanced Materials Research. 383-390, p. 6258-6264 7 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)
2016

Supply Chain Network Design Using an Enhanced Hybrid Swarm-Based Optimization Algorithm

Yuce, B. & Mastrocinque, E., 1 Mar 2016, Handbook of Research on Modern Optimization Algorithms and Applications in Engineering and Economics. IGI Global, p. 95-112 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2011

Pulsed-Disk-Laser welding of Ti6Al4V

Mastrocinque, E., Corrado, G., Caiazzo, F., Pasquino, N. & Sergi, V., 2011, Ninth International Conference on Advanced Manufacturing Systems and Technology. p. 383-393 11 p.

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

2019

Brexit: A Colonial Boomerang in a Populist World

Weller, P., 15 May 2019, In : Social Justice. 41, 196, p. 8-11 4 p., 1.

Research output: Contribution to journalArticle

Open Access
File
129 Downloads (Pure)
2015

Religion and state in marriage, cohabitation and civil partnership: Examples, typologies and contestations from the United Kingdom

Weller, P. G., 1 Jan 2015, The Changing World Religion Map: Sacred Places, Identities, Practices and Politics. Brunn, S. (ed.). Springer Verlag, Vol. 5. p. 3303-3319 17 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

The Gülen Movement in the United Kingdom

Weller, P., 30 Jun 2015, Gülen-Inspired Hizmet in Europe: The Western Journey of a Turkish Muslim Movement. Celik, G., Leman, J. & Steenbrink, K. (eds.). Brussels, Bern, Berlin, Frankfurt am Main, New York, Oxford, Vienna: Peter Lang AG, p. 239-251 13 p. (Gods, Humans and Religions; no. 22).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)
2017

Religious Freedom in the Baptistic Vision and in Fethullah Gülen: Resources for Muslims and Christians

Weller, P., 11 Jul 2017, A Muslim sage among peers: Fethullah Gülen in dialogue with Christians. Barton, J. (ed.). New Jersey, USA: Blue Dome Press, p. 133-156 24 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2016

Religion and belief, equality and inequality in UK higher education

Weller, P. & Hooley, T., 3 Aug 2016, Religion, Equalities and Inequalities. Llewellyn, D. & Sharma, S. (eds.). 1 ed. London: Routledge, Vol. 9781138386105. p. 89-101 13 p. (Theology and Religion in Interdisciplinary Perspective Series in Association with the BSA Sociology of Religion Study Group).

Research output: Chapter in Book/Report/Conference proceedingChapter

2019
2017

Equity, inclusivity and participation in a plural society: Challenging the establishment of the Church of England

Weller, P., 8 Sep 2017, Law and Religion in Contemporary Society: Communities, Individualism and the State. Edge, P. & Harvey, G. (eds.). Taylor and Francis Group, p. 53-68 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)
2020

Practicalities to Consider in Interfaith

Weller, P., 2020, Future Learn.

Research output: Other contribution

2016

Introduction: How and why should we study dialogue?

Weller, P., 2016, Dialogue Theories 2. Sener, O. & Sleap, F. (eds.). London: The Dialogue Society, p. 17-28 12 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2018

A fuzzy computational model of emotion for cloud based sentiment analysis

Karyotis, C., Doctor, F., Iqbal, R., James, A. & Chang, V., Apr 2018, In : Information Sciences. 433-434, p. 448-463

Research output: Contribution to journalArticle

Open Access
File
21 Citations (Scopus)
31 Downloads (Pure)
2019

CPS Data Streams Analytics based on Machine Learning for Cloud and Fog Computing: A Survey

Fei, X., Shah, N., Verba, N., Chao, K-M., Sanchez-Anguix, V., Lewandowski, J., James, A. & Usman, Z., Jan 2019, In : Future Generation Computer Systems. 90, p. 435-450 16 p.

Research output: Contribution to journalArticle

Open Access
File
19 Citations (Scopus)
33 Downloads (Pure)
2017

Governing through critique: post-conditionality and bottom-up governance in the Merida Initiative

Finkenbusch, P., 2017, In : Globalizations. 14, 6, p. 896-910 15 p.

Research output: Contribution to journalArticle

Open Access
File
1 Citation (Scopus)
3 Downloads (Pure)

Helicopter gearbox bearing fault detection using separation techniques and envelope analysis

Zhou, L., Duan, F., Mba, D., Corsar, M., Greaves, M., Sampath, S. & Elasha, F., 16 Jan 2017, Proceedings of 2016 Prognostics and System Health Management Conference, PHM-Chengdu 2016. Institute of Electrical and Electronics Engineers Inc., 7819888

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

Open Access
File
92 Downloads (Pure)
2010

High-cocoa polyphenol-rich chocolate improves HDL cholesterol in Type 2 diabetes patients

Mellor, D. D., Sathyapalan, T., Kilpatrick, E. S., Beckett, S. & Atkin, S. L., Nov 2010, In : Diabetic Medicine. 27, 11, p. 1318-1321 4 p.

Research output: Contribution to journalArticle

101 Citations (Scopus)

Wireless Sensor Networks: Deployments and Design Frameworks

Gaura, E., Allen, M., Girod, L., Brusey, J. & Challen, G., 2010, New York: Springer Verlag.

Research output: Book/ReportBook

20 Citations (Scopus)
2015

Group-based Parallel Multi-scheduler for Grid computing

Abraham, G. T., James, A. & Yaacob, N., Sep 2015, In : Future Generation Computer Systems. 50, September, p. 140-153

Research output: Contribution to journalArticle

Open Access
8 Citations (Scopus)
2008

Nutritional supplement use by elite young UK athletes: fallacies of advice regarding efficacy

Petróczi, A., Naughton, D. P., Pearce, G., Bailey, R., Bloodworth, A. & McNamee, M., 2008, In : Journal of the International Society of Sports Nutrition. 5, p. 22

Research output: Contribution to journalArticle

Open Access
File
58 Citations (Scopus)
19 Downloads (Pure)
2010

Monitoring the airport-cdm turnround process: Applying a qualitative cognitive model based on field observations

Groppe, M., Pagliari, R. & Harris, D., 2010, 27th Congress of the International Council of the Aeronautical Sciences 2010, ICAS 2010. Vol. 6. p. 4498-4509 12 p.

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

Open Access
2014

Meditation-based interventions for family caregivers of people with dementia: a review of the empirical literature

Hurley, R. V. C., Patterson, T. & Cooley, S. J., 2014, In : Aging & Mental Health. 18, 3, p. 281-288

Research output: Contribution to journalArticle

Open Access
File
21 Citations (Scopus)
63 Downloads (Pure)
2011

A service-oriented travel portal and engineering platform

Li, Y., Chen, H., Zheng, X., Tsai, C-F., Chen, J-H. & Shah, N., 2011, In : Expert Systems with Applications. 38, 2, p. 1213-1222

Research output: Contribution to journalArticle

Open Access
15 Citations (Scopus)
2014
2 Citations (Scopus)

The long-run impact of exchange rate regimes on international tourism flows

De Vita, G., Dec 2014, In : Tourism Management. 45, p. 226–233

Research output: Contribution to journalArticle

Open Access
File
41 Citations (Scopus)
224 Downloads (Pure)
2015

‘I can't walk away’: understanding the complexities in embedding a new nurse role

Randall, S., Furze, G. & Thunhurst, C., Nov 2015, In : British Journal of Community Nursing. 20, 11, p. 543-550

Research output: Contribution to journalArticle

Open Access
2 Citations (Scopus)
2018

Competition Policy for the New Era: Insights from the BRICS Countries

Darr, A., Aug 2018, In : European Competition and Regulatory Law Review . 2, 3, p. 237-240 4 p.

Research output: Contribution to journalBook/Film/Article review

Open Access
File
28 Downloads (Pure)
2017

Thermal and mechanical properties of chitosan nanocomposites with cellulose modified in ionic liquids

Grząbka-Zasadzińska, A., Amietszajew, T. & Borysiak, S., 1 Oct 2017, In : Journal of Thermal Analysis and Calorimetry. 130, 1, p. 143-154 12 p.

Research output: Contribution to journalArticle

Open Access
File
16 Citations (Scopus)
4 Downloads (Pure)
2014

Comparison of GCM- and RCM-simulated precipitation following stochastic postprocessing

Eden, J. M., Widmann, M., Maraun, D. & Vrac, M., 16 Oct 2014, In : Journal of Geophysical Research. 119, 19, p. 11040-11053 14 p.

Research output: Contribution to journalArticle

Open Access
File
34 Citations (Scopus)
26 Downloads (Pure)

Finite element modelling of particle sensors based on Solidly Mounted Resonators

Villa-López, F. H., Thomas, S., Cole, M. & Gardner, J. W., 12 Dec 2014, SENSORS, 2014 IEEE. IEEE, p. 574-577 4 p. (Proceedings of IEEE Sensors ).

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

2 Citations (Scopus)
2019

Sustainable supply chain modeling and analysis: Past debate, present problems and future challenges

Ghadimi, P., Wang, C. & Lim, M., Jan 2019, In : Resources, Conservation and Recycling. 140, p. 72-84 13 p.

Research output: Contribution to journalArticle

Open Access
File
34 Citations (Scopus)
254 Downloads (Pure)
Open Access
File
1 Citation (Scopus)
49 Downloads (Pure)
2015

Natural convection flow and heat transfer in an enclosure containing staggered arrangement of blockages

Iyi, D. & Hasan, R., 1 Jan 2015, In : Procedia Engineering. 105, p. 176-183 8 p.

Research output: Contribution to journalConference article

Open Access
File
8 Citations (Scopus)
4 Downloads (Pure)
2020

The Professionalisation of Selling and the Transformation of a Family Business: Kenrick & Jefferson, 1878-1940

Paulson, D., 17 Feb 2020, In : Business History. 62, 2, p. 261-291 31 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2017

Integrated structural optimisation of offshore wind turbine support structures based on finite element analysis and genetic algorithm

Gentils, T., Wang, L. & Kolios, A., 1 Aug 2017, In : Applied Energy. 199, p. 187-204 18 p.

Research output: Contribution to journalArticle

Open Access
39 Citations (Scopus)
2004

Nonlinear system fault diagnosis based on adaptive estimation

Xu, A. & Zhang, Q., Jul 2004, In : Automatica. 40, 7, p. 1181-1193 13 p.

Research output: Contribution to journalArticle

170 Citations (Scopus)
2016

Governance dynamics in multi-partner R&D alliances: Integrating the control and coordination perspectives

Barbic, F., Hidalgo, A. & Cagliano, R., 2016, In : Baltic Journal of Management. 11, 4, p. 405-429 25 p.

Research output: Contribution to journalArticle