Middlesex University London
| Title | Middlesex University London |
|---|---|
| Alternative | MDX |
| Campus | London |
Latest research outputs
Sort by Date Title
Linking lack of care in childhood to anxiety disorders in emerging adulthood: the role of attachment styles
Schimmenti, A. and Bifulco, A. 2015. Linking lack of care in childhood to anxiety disorders in emerging adulthood: the role of attachment styles. Child and Adolescent Mental Health. 20 (1), pp. 41-48. https://doi.org/10.1111/camh.12051Article
Problem parental care and teenage deliberate self-harm in young community adults
Bifulco, A., Schimmenti, A., Moran, P., Jacobs, C., Bunn, A. and Rusu, A. 2014. Problem parental care and teenage deliberate self-harm in young community adults. Bulletin of the Menninger Clinic. 78 (2), pp. 95-114. https://doi.org/10.1521/bumc.2014.78.2.95Article
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
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
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
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
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
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
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
Cardinals in Isabelle/HOL
Blanchette, J., Popescu, A. and Taytel, D. 2014. Cardinals in Isabelle/HOL. 5th International Conference on Interactive Theorem Proving. Vienna, Austria 14 - 17 Jul 2014 Springer. pp. 111-127Conference paper
On malfunctioning software
Floridi, L., Fresco, N. and Primiero, G. 2015. On malfunctioning software. Synthese. 192 (4), pp. 1199-1220. https://doi.org/10.1007/s11229-014-0610-3Article
A review of cell assemblies
Huyck, C. and Passmore, P. 2013. A review of cell assemblies. Biological Cybernetics. 107 (3), pp. 263-288. https://doi.org/10.1007/s00422-013-0555-5Article
Compensatory Hebbian learning for categorisation in simulated biological neural nets
Huyck, C. and Mitchell, I. 2013. Compensatory Hebbian learning for categorisation in simulated biological neural nets. Biologically Inspired Cognitive Architectures. 6 (5), pp. 3-7. https://doi.org/10.1016/j.bica.2013.06.003Article
A synergistic and extensible framework for multi-agent system verification
Hunter, J., Raimondi, F., Rungta, N. and Stocker, R. 2013. A synergistic and extensible framework for multi-agent system verification. AAMAS 2013 :12th International Conference on Autonomous Agents and Multiagent Systems. Saint Paul, Minnesota, USA. 06 - 10 May 2013 Richland, SC International Foundation for Autonomous Agents and Multiagent Systems. pp. 869-876Conference paper
An exploratory study to identify risk factors for the development of capecitabine-induced palmar plantar erythrodysesthesia (PPE)
Law, A., Dyson, S. and Anthony, D. 2015. An exploratory study to identify risk factors for the development of capecitabine-induced palmar plantar erythrodysesthesia (PPE). Journal of Advanced Nursing. 71 (8), pp. 1825-1832. https://doi.org/10.1111/jan.12639Article
Introducing Binary Decision Diagrams in the explicit-state verification of Java code
von Rhein, A., Apel, S. and Raimondi, F. 2011. Introducing Binary Decision Diagrams in the explicit-state verification of Java code. The Java Pathfinder Workshop (co-located with ASE 2011). Oread, Lawrence, Kansas 12 Nov 2011Conference paper
0
total views0
total downloads0
views this month0
downloads this month