Nobuko Yoshida
AuthID: R-00M-0C5
1
TÃTULO: 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
AUTORES: Nobuko Yoshida;
PUBLICAÇÃO: 2021, FONTE: ESOP, VOLUME: 12648
AUTORES: Nobuko Yoshida;
PUBLICAÇÃO: 2021, FONTE: ESOP, VOLUME: 12648
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Polymorphic Session Processes as Morphisms
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2019, FONTE: 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
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2019, FONTE: 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
3
TÃTULO: Depending on Session-Typed Processes PDF
AUTORES: Toninho, B ; Yoshida, N;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Toninho, B ; Yoshida, N;
PUBLICAÇÃO: 2018, FONTE: 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
4
TÃTULO: On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: DBLP
DBLP5
TÃTULO: Depending on Session-Typed Processes
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2018, FONTE: 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
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: DBLP
DBLP6
TÃTULO: A Static Verification Framework for Message Passing in Go using Behavioural Types
AUTORES: Lange, J; Ng, N; Toninho, B ; Yoshida, N;
PUBLICAÇÃO: 2018, FONTE: PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)
AUTORES: Lange, J; Ng, N; Toninho, B ; Yoshida, N;
PUBLICAÇÃO: 2018, FONTE: PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)
7
TÃTULO: On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings PDF
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2017, FONTE: 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
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2017, FONTE: 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
8
TÃTULO: Fencing off Go: Liveness and Safety for Channel-Based Programming
AUTORES: Lange, J; Ng, N; Toninho, B ; Yoshida, N;
PUBLICAÇÃO: 2017, FONTE: ACM SIGPLAN NOTICES, VOLUME: 52, NÚMERO: 1
AUTORES: Lange, J; Ng, N; Toninho, B ; Yoshida, N;
PUBLICAÇÃO: 2017, FONTE: ACM SIGPLAN NOTICES, VOLUME: 52, NÚMERO: 1
INDEXADO EM: 
Scopus 
WOS DBLP
Scopus WOS DBLP9
TÃTULO: Certifying data in multiparty session types
AUTORES: Toninho, B ; Yoshida, N;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 90
AUTORES: Toninho, B ; Yoshida, N;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 90
10
TÃTULO: Certifying Data in Multiparty Session Types
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2016, FONTE: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, VOLUME: 9600
AUTORES: Bernardo Toninho ; Nobuko Yoshida;
PUBLICAÇÃO: 2016, FONTE: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, VOLUME: 9600
