Nobuko Yoshida
AuthID: R-00M-0C5
1
TITLE: A Type Discipline for Message Passing Parallel Programs Full Text
AUTHORS: Vasconcelos, Vasco T. ; Martins, Francisco; Lopez, Hugo Andres; Yoshida, Nobuko;
PUBLISHED: 2022, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 44, ISSUE: 4
AUTHORS: Vasconcelos, Vasco T. ; Martins, Francisco; Lopez, Hugo Andres; Yoshida, Nobuko;
PUBLISHED: 2022, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 44, ISSUE: 4
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2
TITLE: Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
AUTHORS: Nobuko Yoshida;
PUBLISHED: 2021, SOURCE: ESOP, VOLUME: 12648
AUTHORS: Nobuko Yoshida;
PUBLISHED: 2021, SOURCE: ESOP, VOLUME: 12648
INDEXED IN: DBLP
DBLP3
TITLE: Polymorphic Session Processes as Morphisms
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2019, SOURCE: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, VOLUME: 11760
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2019, SOURCE: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, VOLUME: 11760
4
TITLE: Depending on Session-Typed Processes PDF
AUTHORS: Toninho, B ; Yoshida, N;
PUBLISHED: 2018, SOURCE: 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2018, VOLUME: 10803
AUTHORS: Toninho, B ; Yoshida, N;
PUBLISHED: 2018, SOURCE: 21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2018, VOLUME: 10803
5
TITLE: On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2018, SOURCE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2018, SOURCE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
INDEXED IN: DBLP
DBLP6
TITLE: Depending on Session-Typed Processes
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2018, SOURCE: Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10803
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2018, SOURCE: Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10803
INDEXED IN: DBLP
DBLP7
TITLE: A Static Verification Framework for Message Passing in Go using Behavioural Types
AUTHORS: Lange, J; Ng, N; Toninho, B ; Yoshida, N;
PUBLISHED: 2018, SOURCE: PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)
AUTHORS: Lange, J; Ng, N; Toninho, B ; Yoshida, N;
PUBLISHED: 2018, SOURCE: PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)
8
TITLE: On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings PDF
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2017, SOURCE: 27th European Symposium on Programming, ESOP 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 in CoRR, VOLUME: abs/1711.00878
AUTHORS: Bernardo Toninho ; Nobuko Yoshida;
PUBLISHED: 2017, SOURCE: 27th European Symposium on Programming, ESOP 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 in CoRR, VOLUME: abs/1711.00878
9
TITLE: Fencing off Go: Liveness and Safety for Channel-Based Programming
AUTHORS: Lange, J; Ng, N; Toninho, B ; Yoshida, N;
PUBLISHED: 2017, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 52, ISSUE: 1
AUTHORS: Lange, J; Ng, N; Toninho, B ; Yoshida, N;
PUBLISHED: 2017, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 52, ISSUE: 1
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP10
TITLE: Certifying data in multiparty session types
AUTHORS: Toninho, B ; Yoshida, N;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 90
AUTHORS: Toninho, B ; Yoshida, N;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 90
