Middlesex University London
| Title | Middlesex University London |
|---|---|
| Alternative | MDX |
| Campus | London |
Latest research outputs
Sort by Date Title
Psychiatrie infantojuvénile en Europe – Grande-Bretagne
Bifulco, A. and Thomas, G. 2012. Psychiatrie infantojuvénile en Europe – Grande-Bretagne. in: Ferrari, P. and Bonot, O. (ed.) Traité européen de psychiatries et de psychoatologie de l’inefant et de l’adolescent Paris Lavoisier. pp. 691-697Book chapter
Psychosocial models and issues in major depression
Bifulco, A. 2013. Psychosocial models and issues in major depression. in: Power, M. (ed.) The Wiley Blackwell Handbook of mood disorders WileyBlackwell. pp. 87-106Book chapter
Assessing risk for perinatal depression with the Attachment Style Interview
Bifulco, A. Assessing risk for perinatal depression with the Attachment Style Interview. in: Carretti, V., Ragonese, N. and Crisafi, C. (ed.) Perinatal Depression Astrolabia, Roma.Book chapter
The Attachment Style Interview (ASI)
Bifulco, A. 2014. The Attachment Style Interview (ASI). in: Farnfield, S. and Holmes, P. (ed.) The Routledge Handbook of Attachment: Assessment London and New York Routledge. pp. 178-191Book chapter
Reporting on sustainability and HRM: a comparative study of sustainability reporting practices by the world’s largest companies
Ehnert, I., Parsa, S., Roper, I., Wagner, M. and Muller-Camen, M. 2016. Reporting on sustainability and HRM: a comparative study of sustainability reporting practices by the world’s largest companies. The International Journal of Human Resource Management. 27 (1), pp. 88-108. https://doi.org/10.1080/09585192.2015.1024157Article
Communication and engagement techniques in local flood risk management. Companion guide
Daly, D., Jodieri, R., McCarthy, S., Pygott, K., Wright, M. and CIRIA 2015. Communication and engagement techniques in local flood risk management. Companion guide. London Construction Industry Research and Information Association (CIRIA).Book
Communication and engagement in local flood risk management
Daly, D., Jodieri, R., McCarthy, S., Pygott, K., Wright, M. and CIRIA 2015. Communication and engagement in local flood risk management. London Construction Industry Research and Information Association (CIRIA).Book
Integrating the strengths of cognitive emotion models with traditional HCI analysis tools
Springett, M., Law, E. and Coulson, M. 2015. Integrating the strengths of cognitive emotion models with traditional HCI analysis tools. Universal Access in the Information Society. 14 (2), pp. 203-214. https://doi.org/10.1007/s10209-013-0335-yArticle
Facilitating support groups for siblings of children with neurodevelopmental disorders using audioconferencing: a longitudinal feasibility study
Gettings, S., Franco, F. and Santosh, P. 2015. Facilitating support groups for siblings of children with neurodevelopmental disorders using audioconferencing: a longitudinal feasibility study. Child and Adolescent Psychiatry and Mental Health. 9 (8), pp. 1-15. https://doi.org/10.1186/s13034-015-0041-zArticle
Invalidating policies using structural information
Kammueller, F. and Probst, C. 2013. Invalidating policies using structural information. IEEE CS Security and Privacy Workshops, SPW, WRIT'13.Conference paper
Network information flow control: proof of concept
Alghothami, A. and Kammueller, F. 2013. Network information flow control: proof of concept. IEEE Int. Conf. on Systems, Man, and Cybernetics, SMC. Manchester, UK 13 - 16 Oct 2013 IEEE. pp. 2957-2962 https://doi.org/10.1109/SMC.2013.504Conference paper
RISC-KIT: Resilience-Increasing Strategies for Coasts - toolKIT
Van Dongeren, A., Ciavola, P., Viavattene, C., De Kleermaeker, S., Martinez, G., Ferreira, O., Costa, C. and McCall, R. 2014. RISC-KIT: Resilience-Increasing Strategies for Coasts - toolKIT. Journal of Coastal Research. https://doi.org/10.2112/SI70-062.1Article
Privacy analysis of a hidden friendship protocol
Kammueller, F. and Preibusch, S. 2013. Privacy analysis of a hidden friendship protocol. The 8th International Workshop on Data Privacy Management, DPM 2013. Egam, UK 12 - 13 Sep 2013 Springer. pp. 83-99Conference paper
Library of Coastal Vulnerability Indicators
Owen, D., Micou, P., Viavattene, C., Parker, D. and Priest, S. 2015. Library of Coastal Vulnerability Indicators. EU FP7 RISC-KIT Project.Dataset
Externalizing behaviour for analysing system models
Ivanova, M., Probst, C., Hansen, R. and Kammueller, F. 2013. Externalizing behaviour for analysing system models. 5th International Workshop on Managing Insider Security Threats, MIST, 2013..Conference paper
Verification of quantum protocols using Coq
Boender, J., Kammueller, F. and Nagarajan, R. 2014. Verification of quantum protocols using Coq. 17th Conference on Quantum Information Processing (QIP). Barcelona, Spain 03 - 07 Feb 2014Conference poster
Reviews for the American Mathematical Society (AMS): Paul Howells, Mark d’Inverno. Specifying termination in CSP. Theoretical Computer Science, 503:31–61, 2013.
Kammueller, F. 2014. Reviews for the American Mathematical Society (AMS): Paul Howells, Mark d’Inverno. Specifying termination in CSP. Theoretical Computer Science, 503:31–61, 2013. MathSciNet: Mathematical Reviews.Article
Library of Coastal Vulnerability Indicators guidance document
Viavattene, C., Micou, P., Owen, D., Priest, S. and Parker, D. 2015. Library of Coastal Vulnerability Indicators guidance document. Middlesex University.Project report
Combining generated data models with formal invalidation for insider threat analysis
Kammueller, F. and Probst, C. 2014. Combining generated data models with formal invalidation for insider threat analysis. 2014 IEEE Security and Privacy Workshops (SPW): Workshop on Research for Insider Threat (WRIT 2014). San Jose, California, USA 17 - 18 May 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 229-235 https://doi.org/10.1109/SPW.2014.45Conference paper
Verification of DNSsec delegation signatures
Kammueller, F. 2014. Verification of DNSsec delegation signatures. 21st International IEEE Conference on Telecommunication. Lisbon 04 - 07 May 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 298-392 https://doi.org/10.1109/ICT.2014.6845127Conference paper
Invalidating policies using structural information
Kammueller, F. and Probst, C. 2014. Invalidating policies using structural information. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications. 5 (2), pp. 59-79. https://doi.org/10.22667/JOWUA.2014.06.31.059Article
Modeling human behaviour with higher order logic: insider threats
Boender, J., Kammueller, F., Ivanova, M. and Primiero, G. 2014. Modeling human behaviour with higher order logic: insider threats. 4th Workshop on Socio-Technical Aspects in Security and Trust. Vienna Technical University, Vienna, Austria 18 Jul 2014 Institute of Electrical and Electronics Engineers (IEEE). pp. 31-39Conference paper
A probabilistic analysis framework for malicious insider threats
Chen, T., Kammueller, F., Nemli, I. and Probst, C. 2015. A probabilistic analysis framework for malicious insider threats. 3rd International Conference on Human Aspects of Information Security, Privacy and Trust, HAS 2015, held as part of HCI International 2015. Los Angeles, California, USA 02 - 07 Aug 2015 Springer. pp. 178-189Conference paper
Confinement for active objects
Kammueller, F. 2015. Confinement for active objects. International Journal of Advanced Computer Science and Applications. 6 (2), pp. 246-261. https://doi.org/10.14569/IJACSA.2015.060236Article
Ageing "phantasmagorically" in exile: the resilience of unbearable and unattainable homelands in the Jewish and Cuban imagination
Christou, A. 2016. Ageing "phantasmagorically" in exile: the resilience of unbearable and unattainable homelands in the Jewish and Cuban imagination. in: Walsh, K. and Näre, L. (ed.) Transnational migration and home in older age Routledge.Book chapter
Second-generation “return” to Greece: new dynamics of transnationalism and integration
King, R. and Christou, A. 2014. Second-generation “return” to Greece: new dynamics of transnationalism and integration. International Migration. 52 (6), pp. 85-99. https://doi.org/10.1111/imig.12149Article
Tales of satisfaction and disillusionment: second-generation ‘return’ migration to Greece and Cyprus
King, R., Christou, A., Goodson, I. and Teerling, J. 2008. Tales of satisfaction and disillusionment: second-generation ‘return’ migration to Greece and Cyprus. Diaspora: A Journal of Transnational Studies. 17 (3), pp. 262-287.Article
Migrating motherhood and gendering exile: Eastern European women narrate migrancy and homing
Christou, A. and Michail, D. 2015. Migrating motherhood and gendering exile: Eastern European women narrate migrancy and homing. Women's Studies International Forum. 52, pp. 71-81. https://doi.org/10.1016/j.wsif.2015.06.005Article
Links to the diasporic homeland: second-generation and ancestral ‘return’ mobilities
King, R., Christou, A. and Levitt, P. (ed.) 2014. Links to the diasporic homeland: second-generation and ancestral ‘return’ mobilities. Routledge.Book
Narrating the city: histories, space and the everyday
Fischer-Nebmaier, W., Berg, M. and Christou, A. (ed.) 2015. Narrating the city: histories, space and the everyday. Berghahn Books.Book
Dismantling diasporas: rethinking the geographies of diasporic identity, connection and development
Christou, A. and Mavroudi, E. (ed.) 2015. Dismantling diasporas: rethinking the geographies of diasporic identity, connection and development. Ashgate.Book
Ageing masculinities and the nation: disrupting boundaries of sexualities, mobilities and identities
Christou, A. 2016. Ageing masculinities and the nation: disrupting boundaries of sexualities, mobilities and identities. Gender, Place and Culture. 23 (6), pp. 801-816. https://doi.org/10.1080/0966369X.2015.1058760Article
Counter-diaspora: the Greek second generation returns "home"
Christou, A. and King, R. 2015. Counter-diaspora: the Greek second generation returns "home". Cambridge, MA, USA Harvard University Press.Book
'Racism', intersectionality and migration studies: framing some theoretical reflections
Grosfoguel, R., Oso, L. and Christou, A. 2015. 'Racism', intersectionality and migration studies: framing some theoretical reflections. Identities: Global Studies in Culture and Power. 22 (6), pp. 635-652. https://doi.org/10.1080/1070289X.2014.950974Article
Learning from people with long-term conditions: new insights for governance in primary health care
Ross, F., Smith, P., Byng, R., Christian, S., Allan, H., Price, L. and Brearley, S. 2014. Learning from people with long-term conditions: new insights for governance in primary health care. Health and Social Care in the Community. 22 (4), pp. 405-416. https://doi.org/10.1111/hsc.12097Article
Making security type systems less ad hoc
Nipkow, T. and Popescu, A. 2014. Making security type systems less ad hoc. Information Technology. 56 (6), pp. 267-272. https://doi.org/10.1515/itit-2014-1060Article
Strong normalization for System F by HOAS on top of FOAS
Popescu, A., Gunter, E. and Osborn, C. 2010. Strong normalization for System F by HOAS on top of FOAS. 25th Annual IEEE Symposium on Logic in Computer Science (LICS). Edinburgh, United Kingdom 11 - 14 Jul 2010 Institute of Electrical and Electronics Engineers. pp. 31-40Conference paper
Recursion principles for syntax with bindings and substitution
Popescu, A. and Gunter, E. 2011. Recursion principles for syntax with bindings and substitution. The 16th ACM SIGPLAN International Conference on Functional Programming. Tokyo 19 - 21 Sep 2011 Association for Computing Machinery (ACM). pp. 346-358Conference paper
Foundational, compositional (co)datatypes for higher-order logic: category theory applied to theorem proving
Traytel, D., Popescu, A. and Blanchette, J. 2012. Foundational, compositional (co)datatypes for higher-order logic: category theory applied to theorem proving. 27th Annual IEEE Symposium on Logic in Computer Science (LICS). Dubrovnik, Croatia 25 - 28 Jun 2012 Institute of Electrical and Electronics Engineers (IEEE). pp. 596-605 https://doi.org/10.1109/LICS.2012.75Conference paper
Truly modular (co)datatypes for Isabelle/HOL
Blanchette, J., Hölzl, J., Lochbihler, A., Panny, L., Popescu, A. and Traytel, D. 2014. Truly modular (co)datatypes for Isabelle/HOL. 5th International Conference on Interactive Theorem Proving (ITP). Vienna, Austria 14 - 17 Jul 2014 Springer International Publishing. pp. 93-110Conference paper
0
total views0
total downloads0
views this month0
downloads this month