Research output per year
Research output per year
Personal profile
External positions
Researcher, Imperial College London
1 Mar 2017 → 28 Feb 2019
Fingerprint
Dive into the research topics where Sung-Shik Jongmans is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Balanced-by-construction regular and ω-regular languages (technical report)
Edixhoven, L. J. & Jongmans, S-S., 2021, Heerlen: Open Universiteit Nederland. 26 p. (OUNL-CS (Technical Reports); No. 01, Vol. 2021).Research output: Book/Report › Technical report › Academic
Open AccessFile2 Downloads (Pure) -
Discourje: Runtime Verification of Communication Protocols in Clojure
Hamers, R. & Jongmans, S-S., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Cham: Springer Open, p. 266-284 19 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12078). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12078).Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
Open Access -
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
Jongmans, S-S. & Yoshida, N., 2020, Open Universiteit Nederland. 189 p. (Technical Report - Computer Science & Information Science (TR-OU-INF); No. 01, Vol. 2020).Research output: Book/Report › Technical report › Academic
File8 Downloads (Pure) -
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
Jongmans, S-S. & Yoshida, N., 2020, Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Müller, P. (ed.). Cham: Springer Open, p. 251-279 29 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12075). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12075).Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review
Open Access -
Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings
Arbab, F. (ed.) & Jongmans, S-S. (ed.), 2020, Cham: Springer Nature Switzerland AG. (Lecture Notes in Computer Science, Vol. 12018). (Programming and Software Engineering LNPSE, Vol. 12018).Research output: Book/Report › Book editing › Academic
Prizes
-
-
Rubicon Grant in Beta Cluster
Jongmans, Sung-Shik (Recipient), 10 Jan 2017
Prize: Fellowship awarded competitively › Academic
-
Microservices: Science and Engineering
Sung-Shik Jongmans (Member of programme committee)
25 Jun 2018Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
-
Distributed Programming using Role-Parametric Session Types in Go
Sung-Shik Jongmans (Speaker)
18 Dec 2018Activity: Talk or presentation types › Invited talk › Academic
-
ABCD Meeting
Sung-Shik Jongmans (Participant / Attendee)
17 Dec 2018 → 18 Dec 2018Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
-
Q: Should We Specify Interactions, Explicitly? A: Yes
Sung-Shik Jongmans (Speaker)
2 Feb 2018Activity: Talk or presentation types › Invited talk › Academic
-
Programming Languages in The Netherlands
Sung-Shik Jongmans (Participant / Attendee)
22 Nov 2018Activity: Participating in or organising an event types › Participating in OR organising an event › Academic