Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud
Geen foto van Sung-Shik Jongmans

Bekijk Scopus-profiel

Sung-Shik Jongmans

  • Nijenborgh9

    9747 AG Groningen

    Netherlands

Vingerafdruk

Verdiep u in de onderzoeksgebieden waarop Sung-Shik Jongmans actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
  • 1 Soortgelijke profielen
Volledige vingerafdruk bekijken

Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
Netwerk verder verkennen
  • 2 Conference contribution
  • 1 Article

  • A Synthetic Reconstruction of Multiparty Session Types

    Castro-Perez, D., Ferreira, F. & Jongmans, S. S., jan-2026, In: Proceedings of the ACM on Programming Languages. 10, POPL, blz. 1442-1470 29 blz.

    Onderzoeksoutput › Academic › peer review

    Open Access
    Bestand
    1 Citaat (Scopus)
    3 Downloads (Pure)

  • First-Person Choreographic Programming with Continuation-Passing Communications

    Jongmans, S.-S., 2025, Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II. Vafeiadis, V. (reds.). Springer, Vol. 2. blz. 62-90 29 blz. (Lecture Notes in Computer Science; vol. 15695).

    Onderzoeksoutput › Academic › peer review

    Open Access
    Bestand
    31 Downloads (Pure)

  • Multiparty Session Typing, Embedded

    Jongmans, S.-S., 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I. Gurfinkel, A. & Heule, M. (reds.). Springer, Vol. 1. blz. 145-164 20 blz. (Lecture Notes in Computer Science; vol. 15696).

    Onderzoeksoutput › Academic › peer review

    Open Access
    Bestand
    1 Citaat (Scopus)
    10 Downloads (Pure)