Faculty of Science and Technology
| Title | Faculty of Science and Technology |
|---|---|
| Alternative | S&T |
| University | Middlesex University London |
| Campus | London |
Latest research outputs
Sort by Date Title
A conference management system with verified document confidentiality
Kanav, S., Lammich, P. and Popescu, A. 2014. A conference management system with verified document confidentiality. Biere, A. and Bloem, R. (ed.) 26th International Conference on Computer Aided Verification (CAV) 2014. Vienna, Austria 18 - 24 Jul 2014 Springer. pp. 167-183 https://doi.org/10.1007/978-3-319-08867-9_11Conference paper
Unified classical logic completeness: a coinductive pearl
Blanchette, J., Popescu, A. and Traytel, D. 2014. Unified classical logic completeness: a coinductive pearl. 7th International Joint Conference on Automated Reasoning (IJCAR). Vienna, Austria 19 - 22 Jul 2014 Springer International Publishing. pp. 46-60Conference paper
The strength and generality of stimulus over-selectivity in simultaneous discrimination procedures
Reynolds, G. and Reed, P. 2011. The strength and generality of stimulus over-selectivity in simultaneous discrimination procedures. Learning and Motivation. 42 (2), pp. 113-122. https://doi.org/10.1016/j.lmot.2010.12.001Article
Effects of schedule of reinforcement on over-selectivity
Reynolds, G. and Reed, P. 2011. Effects of schedule of reinforcement on over-selectivity. Research in Developmental Disabilities. 32 (6), pp. 2489-2501. https://doi.org/10.1016/j.ridd.2011.07.011Article
Insecure attachment style as a vulnerability factor for depression: recent findings in a community-based study of Malay single and married mothers.
Abdul Kadir, N. and Bifulco, A. 2013. Insecure attachment style as a vulnerability factor for depression: recent findings in a community-based study of Malay single and married mothers. Psychiatry Research. 210 (3), pp. 919-924. https://doi.org/10.1016/j.psychres.2013.08.034Article
Evaluation of alternative pollutant emission control strategies to urban water systems using substance flow analysis
Lundy, L., Revitt, D., Eriksson, E. and Viavattene, C. 2011. Evaluation of alternative pollutant emission control strategies to urban water systems using substance flow analysis. 12th International Conference on Urban Drainage. Porto Alegre, Brazil 11 - 16 Sep 2011Conference paper
Sludge management paradigms: impact of priority substances and priority hazardous substances
Eriksson, E., Lundy, L., Donner, E., Seriki, K. and Revitt, D. 2011. Sludge management paradigms: impact of priority substances and priority hazardous substances. 12th International Conference on Urban Drainage. Porto Alegre, Brazil 11 - 16 Sep 2011Conference paper
Sources and pathways for pharmaceuticals in the urban water environment
Tuckwell, R., Revitt, D., Garelick, H., Jones, H. and Ellis, J. 2011. Sources and pathways for pharmaceuticals in the urban water environment. 12th International Conference on Urban Drainage. Porto Alegre, Brazil 11 - 16 Sep 2011Conference paper
Factors influencing the infiltration of pharmaceuticals through soils
Balogh, T., Revitt, D., Jones, H. and Lundy, L. 2011. Factors influencing the infiltration of pharmaceuticals through soils. 12th International Conference on Urban Drainage. Porto Alegre, Brazil 11 - 16 Sep 2011Conference paper
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
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
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
1492518
total views367388
total downloads57048
views this month12997
downloads this month