Home > Research > Publications & Outputs
  1. Published

    Type systems for the masses: deriving soundness proofs and efficient checkers

    Grewe, S., Erdweg, S., Wittmann, P. & Mezini, E., 23/10/2015, Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!). New York: ACM, p. 137-150 14 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  2. Published

    Type VII collagen associated with the basement membrane of amniotic epithelium forms giant anchoring rivets which penetrate a massive lamina reticularis

    Ockleford, C., McCracken, S., Hubbard, A., Bright, N., Cockcroft, N., Jefferson, T., Waldron, E. & d'Lacey, C., 09/2013, In: Placenta. 34, 9, p. 727-737 11 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  3. Published

    Type-1 fuzzy time series function method based on binary particle swarm optimisation

    Aladag, C. H., Yolcu, U., Egrioglu, E. & Turksen, I. B., 31/01/2016, In: International Journal of Data Analysis Techniques and Strategies. 8, 1, p. 2-13 12 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  4. Published

    Type-II GaSb/GaAs Quantum Ring Intermediate Band Solar Cell

    Montesdeoca Cardenes, D., 2019, Lancaster University. 147 p.

    Research output: ThesisDoctoral Thesis

  5. Published

    Types of computer programs.

    Lauder, R., 1994, In: School Science Review. 76, p. 124-126 3 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  6. Published

    Types of place attachment and pro-environmental behaviors of urban residents in Beijing

    Song, Z. & Soopramanien, D., 01/2019, In: Cities. 84, p. 112-120 9 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  7. Published

    'Types' of private family firms: an exploratory conceptual and empirical analysis

    Westhead, P. & Howorth, C. A., 2007, In: Entrepreneurship and Regional Development. 19, 5, p. 405-431 27 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  8. Published

    Types of Responding in Deceptive Peer-Dyadic Context: Truth-Tellers, Real Liars, Blue Liars, Social Loafers, Confessors and Tattlers.

    Sen, H., Karadag, D., As, G., Bakir, Z. E., Erkaya, M. & Kuntay, A., 6/04/2017.

    Research output: Contribution to conference - Without ISBN/ISSN Posterpeer-review

  9. Published

    Types of risk transformation: a case study

    Busby, J., Alcock, R. E. & MacGillivray, B., 2012, In: Journal of Risk Research. 15, 1, p. 67-84 18 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    Type-safe updating for modular WSN software

    Porter, B., Coulson, G. & Roedig, U., 06/2011, Distributed Computing in Sensor Systems and Workshops (DCOSS), 2011 International Conference on . IEEE, p. 1-8 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Back to top