Home > Research > Publications & Outputs
  1. Published

    Synthesizing and verifying controllers for multi-lane traffic maneuvers

    Bochmann, G. V., Hilscher, M., Linker, S. & Olderog, E-R., 13/07/2017, In: Formal Aspects of Computing. 29, p. 583–600 18 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  2. Published

    Synthesizing Controllers for Multi-lane Traffic Maneuvers

    Bochmann, G. V., Hilscher, M., Linker, S. & Olderog, E-R., 4/11/2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham: Springer, p. 71-86 16 p. (Lecture Notes in Computer Science; vol. 9409).

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

  3. Unpublished

    Demonstration of the CompactPSH Incentive Scheme in a Peer-to-Peer Streaming Application

    Bocek, T., El-khatib, Y., Hecht, F. V., Hausheer, D. & Stiller, B., 10/2009, (Unpublished).

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

  4. Published

    CompactPSH: An Efficient Transitive TFT Incentive Scheme for Peer-to-Peer Networks

    Bocek, T., Hecht, F. V., Hausheer, D., Stiller, B. & El-khatib, Y., 10/2009, Local Computer Networks, 2009. LCN 2009. IEEE 34th Conference on. IEEE, p. 483-490 8 p.

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

  5. Published

    Evaluation of bacterial ligands involved in receptor-mediated phagocytosis in Tetrahymena pyriformis

    Boboc, A., 2020, Lancaster University. 177 p.

    Research output: ThesisMaster's Thesis

  6. Published

    Mesoscopics in metals with magnetic-impurities

    Bobkov, A. A., Falko, V. & Khmelnitskii, D. E., 08/1990, In: Zhurnal Eksperimental noi i Teoreticheskoi Fiziki. 98, 2, p. 703-707 5 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  7. Published

    Special section on human-centric multimedia networking: guest editorial

    Boavida, F., Cerqueira, E., Mauthe, A., Curado, M., Lua, E. K. & Leszczuk, M., 09/2013, In: Computer Communications. 36, 15-16, p. 1606-1607 2 p.

    Research output: Contribution to Journal/MagazineEditorial

  8. Published

    Collaboration between Chiefs and Local Government Actors in Combating Climate Change: Evidence from New Juaben, Ghana

    Boateng, K. & Larbi, R., 1/12/2021, In: Journal of Contemporary African Studies. 8, 2, p. 25-41 17 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  9. Published

    Climate migration myths

    Boas, I., Farbotko, C., Adams, H., Sterly, H., Bush, S., van der Geest, K., Wiegel, H., Ashraf, H., Baldwin, A., Bettini, G., Blondin, S., de Bruijn, M., Durand-Delacre, D., Fröhlich, C., Gioli, G., Guaita, L., Hut, E., Jarawura, F. X., Lamers, M., Lietaer, S., & 11 othersNash, S. L., Piguet, E., Rothe, D., Sakdapolrak, P., Smith, L., Tripathy Furlong, B., Turhan, E., Warner, J., Zickgraf, C., Black, R. & Hulme, M., 26/11/2019, In: Nature Climate Change. 9, 12, p. 901-903 3 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    Off-site impacts of erosion: eutrophication as an example

    Boardman, J., Poesen, J., Rekolainen, S., Ekholm, P., Heathwaite, A. L., Lehtoranta, J. & Uusitalo, R., 2006, Soil erosion in Europe. Boardman, J. & Poesen, J. (eds.). Wiley, p. 775-789 15 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

Back to top