Home > Publications

Publications

  1. Conference article › Research › Peer-reviewed
  2. Forthcoming

    Fair Refinement for Asynchronous Session Types

    Bravetti, M., Lange, J. & Zavattaro, G., 22 Dec 2020, (Accepted/In press) In: Lecture Notes in Computer Science.

    Research output: Contribution to journalConference articlepeer-review

  3. Published

    Featherweight Go

    Griesemer, R., Hu, R., Kokke, W., Lange, J., Taylor, I. L., Toninho, B., Wadler, P. & Yoshida, N., 15 Nov 2020, In: Proceedings of the ACM on Programming Languages, OOPSLA. 4, 29 p., 149.

    Research output: Contribution to journalConference articlepeer-review

  4. Published

    Institutional Distance and Multinationals’ Social Irresponsibility: A Subsidiary Perspective

    Kim, J., 2021, In: Academy of International Business.

    Research output: Contribution to journalConference articlepeer-review

  5. Forthcoming

    Kmclib: Automated Inference and Verification of Session Types from OCaml Programs

    Imai, K., Lange, J. & Neykova, R., 24 Dec 2021, (Accepted/In press) In: Lecture Notes in Computer Science. TACAS 2022

    Research output: Contribution to journalConference articlepeer-review

  6. Lean Production Practices to Enhance Organisational Performance

    Shah, S., Naghi Ganji, E. & Coutroubis, A., 4 Oct 2017, In: MATEC Web of Conferences. 125, 02003.

    Research output: Contribution to journalConference articlepeer-review

  7. Published

    Machine learning for classification of an eroding scarp surface using terrestrial photogrammetry with nir and rgb imagery

    Bernsteiner, H., Broåová, N., Eischeid, I., Hamer, A., Haselberger, S., Huber, M., Kollert, A., Vandyk, T. M. & Pirotti, F., 3 Aug 2020, In: ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences. 5, 3, p. 431-437 7 p.

    Research output: Contribution to journalConference articlepeer-review

  8. Published

    Multiparty compatibility for concurrent objects

    Perera, R., Lange, J. & Gay, S. J., 17 Jun 2016, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 211, p. 73-82 10 p.

    Research output: Contribution to journalConference articlepeer-review

  9. Published

    On the efficient implementation and time-updating of the linearly constrained minimum variance beamformer

    Jakobsson, A. & Alty, S. R., Sep 2006, In: European Signal Processing Conference. p. 1-5 5 p.

    Research output: Contribution to journalConference articlepeer-review

  10. Published

    Polar Code in FSO Communication System for Sea Surface Scenario

    An, Q., Dec 2018, In: Proceedings of 2018 IEEE 4th International Conference on Computer and Communications. p. 1-6 6 p.

    Research output: Contribution to journalConference articlepeer-review

  11. Procurement Practices in Project Based Manufacturing Environments

    Shah, S. & Hasan, S., 21 Oct 2016, In: MATEC Web of Conferences. 76, 02007.

    Research output: Contribution to journalConference articlepeer-review