Nobuko Yoshida
发表
Bernardo Toninho,
Nobuko Yoshida,
2017,
J. Log. Algebraic Methods Program..
Nobuko Yoshida,
Fabrizio Montesi,
N. Yoshida,
2013,
CONCUR.
Nobuko Yoshida,
Romain Demangeon,
N. Yoshida,
2015,
FSTTCS 2015.
Nobuko Yoshida,
Andi Bejleri,
2009,
Electron. Notes Theor. Comput. Sci..
Nobuko Yoshida,
Rumyana Neykova,
2014
.
Nobuko Yoshida,
Claudio Antares Mezzina,
Doriana Medic,
2020,
Inf. Comput..
Wayne Luk,
Nobuko Yoshida,
Nicholas Ng,
2013,
SEFM Workshops.
Nobuko Yoshida,
Shoji Yuen,
Keigo Imai,
2019,
Sci. Comput. Program..
Nobuko Yoshida,
Andrew Phillips,
Susan Eisenbach,
2004,
ESOP.
Nobuko Yoshida,
Francisco Martins,
Hugo A. López,
2014
.
Nobuko Yoshida,
Iain Phillips,
Eva Graversen,
2019,
J. Log. Algebraic Methods Program..
Nobuko Yoshida,
Francesco Tiezzi,
2016,
RC.
Bernardo Toninho,
Nobuko Yoshida,
Julien Lange,
2016,
POPL.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2003,
FoSSaCS.
Julian Rathke,
Nobuko Yoshida,
Matthew Hennessy,
2004,
FoSSaCS.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2006,
ICALP.
Laura Bocchi,
Nobuko Yoshida,
Julien Lange,
2015,
CONCUR.
Nobuko Yoshida,
Marco Carbone,
Kohei Honda,
2007,
TOPL.
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2010,
Theor. Comput. Sci..
Nobuko Yoshida,
Nicholas Ng,
José Gabriel F. Coutinho,
2015,
CC.
Rupak Majumdar,
Nobuko Yoshida,
Damien Zufferey,
2019,
European Conference on Object-Oriented Programming.
Nobuko Yoshida,
Dominic A. Orchard,
Dominic Orchard,
2016,
PLACES.
Nobuko Yoshida,
Raymond Hu,
Romain Demangeon,
2015,
Formal Methods Syst. Des..
Nobuko Yoshida,
2002,
Theor. Comput. Sci..
Bernardo Toninho,
Nobuko Yoshida,
N. Yoshida,
2019,
The Art of Modelling Computational Systems.
Nobuko Yoshida,
Søren Debois,
Thomas T. Hildebrandt,
2014,
FORTE.
Nobuko Yoshida,
Claudio Antares Mezzina,
Iain Phillips,
2020,
RC.
Nobuko Yoshida,
Dimitrios Kouzapas,
2013,
CONCUR.
Nobuko Yoshida,
Dominic A. Orchard,
N. Yoshida,
2016,
POPL.
Nobuko Yoshida,
Alceste Scalas,
2016,
ECOOP.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2005,
ICFP '05.
Nobuko Yoshida,
Nicholas Ng,
N. Yoshida,
2015,
Service Oriented Computing and Applications.
Nobuko Yoshida,
Dimitrios Kouzapas,
Jorge A. Pérez,
2016,
Acta Informatica.
Fritz Henglein,
Nobuko Yoshida,
Lasse Nielsen,
2012,
FHIES.
Nobuko Yoshida,
N. Yoshida,
1996,
FSTTCS.
Nobuko Yoshida,
Dimitrios Kouzapas,
N. Yoshida,
2013,
CONCUR.
Nobuko Yoshida,
Marco Carbone,
Kohei Honda,
2008,
POPL '08.
Nobuko Yoshida,
Claudio Antares Mezzina,
Doriana Medic,
2018,
EXPRESS/SOS.
Nobuko Yoshida,
Raymond Hu,
Andi Bejleri,
2010,
FoSSaCS.
Julian Rathke,
Nobuko Yoshida,
Matthew Hennessy,
2005,
Acta Informatica.
Nobuko Yoshida,
Julien Lange,
N. Yoshida,
2016,
TACAS.
Nobuko Yoshida,
Martin Berger,
N. Yoshida,
2007,
APLAS.
Nobuko Yoshida,
Marco Carbone,
Kohei Honda,
2008,
Electron. Notes Theor. Comput. Sci..
Nobuko Yoshida,
Luca Fossati,
Raymond Hu,
2014,
TGC.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2008,
Log. Methods Comput. Sci..
Nobuko Yoshida,
Elena Giachino,
Sara Capecchi,
2010,
FSTTCS.
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
pdf
Nobuko Yoshida,
Pierre-Malo Deniélou,
N. Yoshida,
2013,
ICALP.
Nobuko Yoshida,
Alexander Ahern,
N. Yoshida,
2004
.
Nobuko Yoshida,
Fabrizio Montesi,
Carsten Schürmann,
2015,
Acta Informatica.
Nobuko Yoshida,
Kohei Honda,
1999,
Theor. Comput. Sci..
Nobuko Yoshida,
Kohei Honda,
Nicholas Ng,
2012,
TOOLS.
Nobuko Yoshida,
Luca Fossati,
Kohei Honda,
2012,
CONCUR.
Daniele Varacca,
Silvia Crafa,
Nobuko Yoshida,
2007,
CONCUR.
Nobuko Yoshida,
Francisco Martins,
Vasco Thudichum Vasconcelos,
2012,
EuroMPI.
Nobuko Yoshida,
Philippa Gardner,
2004
.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2002,
FoSSaCS.
Nobuko Yoshida,
Pierre-Malo Deniélou,
N. Yoshida,
2012,
ESOP.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2007,
J. Log. Algebraic Methods Program..
Nobuko Yoshida,
Alceste Scalas,
Raymond Hu,
2017,
Dagstuhl Artifacts Ser..
Wim Vanderbauwhede,
Nobuko Yoshida,
N. Yoshida,
2013,
1312.2218.
Nobuko Yoshida,
Zhenjiang Hu,
Liye Guo,
2019,
2019 IEEE International Conference on Big Data and Smart Computing (BigComp).
Laura Bocchi,
Nobuko Yoshida,
Vasco Thudichum Vasconcelos,
2019,
ESOP.
Nobuko Yoshida,
Kohei Honda,
Kohei Honda,
1997,
Theor. Comput. Sci..
Nobuko Yoshida,
Kohei Honda,
Kohei Honda,
2008,
Comput. J..
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2006
.
Emilio Tuosto,
Nobuko Yoshida,
Julien Lange,
2015,
POPL.
Nobuko Yoshida,
Nicholas Ng,
N. Yoshida,
2016,
CC.
Nobuko Yoshida,
Dominic A. Orchard,
Dominic Orchard,
2016
.
Nobuko Yoshida,
Vasco Thudichum Vasconcelos,
Kohei Honda,
2000,
ESOP.
Nobuko Yoshida,
Søren Debois,
Thomas T. Hildebrandt,
2016,
Log. Methods Comput. Sci..
Nobuko Yoshida,
Vasco Thudichum Vasconcelos,
Kohei Honda,
2009,
Electron. Notes Theor. Comput. Sci..
Nobuko Yoshida,
Iain Phillips,
Eva Graversen,
2017,
PLACES@ETAPS.
Nobuko Yoshida,
Rumyana Neykova,
2019,
Models, Languages, and Tools for Concurrent and Distributed Programming.
Nobuko Yoshida,
Francisco Martins,
Vasco Thudichum Vasconcelos,
2015,
OOPSLA.
Nobuko Yoshida,
Dimitris Mostrous,
2009,
TLCA.
Nobuko Yoshida,
Xinyu Niu,
Kuen Hung Tsoi,
2012,
CARN.
Nobuko Yoshida,
Alceste Scalas,
Elias Benussi,
2019,
PLDI.
Nobuko Yoshida,
Alceste Scalas,
2016,
Dagstuhl Artifacts Ser..
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
A session type provider: compile-time API generation of distributed protocols with refinements in F#
Nobuko Yoshida,
Raymond Hu,
Rumyana Neykova,
2018,
CC.
Nobuko Yoshida,
Masayoshi Wada,
M. Wada,
2011
.
Nobuko Yoshida,
Kohei Honda,
Kohei Honda,
2004,
PPDP '04.
Nobuko Yoshida,
Raymond Hu,
Romain Demangeon,
2014,
Concurrent Objects and Beyond.
Nobuko Yoshida,
Francesco Tiezzi,
2014,
PLACES.
Nobuko Yoshida,
Rumyana Neykova,
2014
.
Nobuko Yoshida,
Assel Altayeva,
2019,
PLACES@ETAPS.
Nobuko Yoshida,
Nicholas Ng,
N. Yoshida,
2014,
2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Nobuko Yoshida,
Dominic A. Orchard,
2015,
PLACES.
Nobuko Yoshida,
Matthew Hennessy,
1999,
CONCUR.
Nobuko Yoshida,
Raymond Hu,
Andi Bejleri,
2010,
Log. Methods Comput. Sci..
Nobuko Yoshida,
Raymond Hu,
Andi Bejleri,
2009
.
Nobuko Yoshida,
Raymond Hu,
Nicholas Ng,
2011,
COORDINATION.
Nobuko Yoshida,
Raymond Hu,
Nuno Alves,
2011,
PLACES.
Nobuko Yoshida,
Vasco Thudichum Vasconcelos,
2007,
Electron. Notes Theor. Comput. Sci..
Nobuko Yoshida,
Kohei Honda,
Kohei Honda,
2002,
POPL '02.
Nobuko Yoshida,
Francesco Tiezzi,
Rosario Pugliese,
2009,
ICALP.
Nobuko Yoshida,
Marco Carbone,
Kohei Honda,
2009,
SFM.
Nobuko Yoshida,
Raymond Hu,
N. Yoshida,
2016,
FASE.
Nobuko Yoshida,
Alceste Scalas,
2017,
PLACES@ETAPS.
Nobuko Yoshida,
Romain Demangeon,
2018,
LICS.
Nobuko Yoshida,
Kohei Honda,
Dimitris Mostrous,
2009,
ESOP.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2014,
Theor. Comput. Sci..
Nobuko Yoshida,
N. Yoshida,
1993,
FPCA '93.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2007,
J. Funct. Program..
Nobuko Yoshida,
Raymond Hu,
Rumyana Neykova,
2013,
RV.
Nobuko Yoshida,
Raymond Hu,
Romain Demangeon,
2013,
RV.
Nobuko Yoshida,
Francesco Tiezzi,
Rosario Pugliese,
2009,
Electron. Notes Theor. Comput. Sci..
Nobuko Yoshida,
Nicholas Ng,
Jonathan King,
2019,
PLACES@ETAPS.
Nobuko Yoshida,
Andrew Phillips,
Susan Eisenbach,
2005
.
Philip Wadler,
Nobuko Yoshida,
Vasco Thudichum Vasconcelos,
2017,
Dagstuhl Reports.
Nobuko Yoshida,
N. Yoshida,
2004
.
Nobuko Yoshida,
Massimo Bartoletti,
Stefano Lande,
2019,
ESEC/SIGSOFT FSE.
Nobuko Yoshida,
Dimitrios Kouzapas,
Jorge A. Pérez,
2015,
ArXiv.
Nobuko Yoshida,
Francesco Tiezzi,
2015,
J. Log. Algebraic Methods Program..
Nobuko Yoshida,
Marco Carbone,
Kohei Honda,
2008,
CONCUR.
Nobuko Yoshida,
Kohei Honda,
Vasco T. Vasconcelos,
2009
.
Nobuko Yoshida,
Alceste Scalas,
Elias Benussi,
2019,
SCALA@ECOOP.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2004
.
Nobuko Yoshida,
Raymond Hu,
Francisco Martins,
2015,
PPoPP.
Laura Bocchi,
Nobuko Yoshida,
Romain Demangeon,
2013,
FMOODS/FORTE.
Nobuko Yoshida,
Alceste Scalas,
A. Scalas,
2017,
PLACES@ETAPS.
Nobuko Yoshida,
Rumyana Neykova,
2017,
CC.
Nobuko Yoshida,
Matthew Hennessy,
2000
.
Emilio Tuosto,
Nobuko Yoshida,
Julien Lange,
2017
.
Nobuko Yoshida,
Raymond Hu,
Kohei Honda,
2008,
ECOOP.
Laura Bocchi,
Emilio Tuosto,
Nobuko Yoshida,
2010,
CONCUR.
Nobuko Yoshida,
Hervé Paulino,
Vasco Thudichum Vasconcelos,
2009,
FMCO.
Laura Bocchi,
Nobuko Yoshida,
Tzu-Chun Chen,
2011,
TGC.
Nobuko Yoshida,
Dimitris Mostrous,
2015,
Inf. Comput..
Nobuko Yoshida,
Kohei Honda,
1993,
FSTTCS.
Nobuko Yoshida,
Julien Lange,
N. Yoshida,
2019,
CAV.
Nobuko Yoshida,
1998,
CONCUR.
Nobuko Yoshida,
Raymond Hu,
Andi Bejleri,
2010,
PLACES.
Nobuko Yoshida,
Dominic A. Orchard,
N. Yoshida,
2017,
J. Log. Algebraic Methods Program..
Nobuko Yoshida,
Fabrizio Montesi,
Carsten Schürmann,
2016,
Acta Informatica.
Julian Rathke,
Nobuko Yoshida,
Matthew Hennessy,
2004
.
Nobuko Yoshida,
Marco Carbone,
Kohei Honda,
2007,
Electron. Notes Theor. Comput. Sci..
Daniele Varacca,
Silvia Crafa,
Nobuko Yoshida,
2012,
FoSSaCS.
Nobuko Yoshida,
Kohei Honda,
1994,
TACS.
Nobuko Yoshida,
Raymond Hu,
N. Yoshida,
2017,
FASE.
Nobuko Yoshida,
Raymond Hu,
Dimitrios Kouzapas,
2010,
ECOOP.
Nobuko Yoshida,
David Castro-Perez,
N. Yoshida,
2020,
CC.
Nobuko Yoshida,
Simon Castellan,
N. Yoshida,
2019,
FoSSaCS.
Nobuko Yoshida,
Marco Carbone,
Kohei Honda,
2007,
Bull. EATCS.
Nobuko Yoshida,
Sophia Drossopoulou,
Juliana Franco,
2014,
ICCSW.
Nobuko Yoshida,
Marco Carbone,
Kohei Honda,
2007,
ESOP.
Nobuko Yoshida,
Dimitris Mostrous,
N. Yoshida,
2007,
TLCA.
Nobuko Yoshida,
Elena Giachino,
Sara Capecchi,
2014,
Mathematical Structures in Computer Science.
Nobuko Yoshida,
Raymond Hu,
Francisco Martins,
2018,
ACM Trans. Program. Lang. Syst..
Nobuko Yoshida,
Kohei Honda,
Kohei Honda,
1995,
Theor. Comput. Sci..
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2014,
RTA-TLCA.
Nobuko Yoshida,
Julien Lange,
2017,
FoSSaCS.
Nobuko Yoshida,
Yukiko Yamaguchi,
Nobuyuki Kitaguchi,
2012
.
Nobuko Yoshida,
Alceste Scalas,
Raymond Hu,
2017,
ECOOP.
Nobuko Yoshida,
Dimitrios Kouzapas,
Jorge A. Pérez,
2019,
Inf. Comput..
Nobuko Yoshida,
Kohei Honda,
Kohei Honda,
2005,
J. Funct. Program..
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2001,
TLCA.
Nobuko Yoshida,
Matthew Hennessy,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Tomofumi Yuki,
Wayne Luk,
Nobuko Yoshida,
2016,
2016 26th International Conference on Field Programmable Logic and Applications (FPL).
Nobuko Yoshida,
1994,
Theory and Practice of Parallel Programming.
Bernardo Toninho,
Nobuko Yoshida,
2018,
ACM Trans. Program. Lang. Syst..
Nobuko Yoshida,
José-Luis Vivas,
2002,
Electron. Notes Theor. Comput. Sci..
Nobuko Yoshida,
Alexander Joseph Ahern,
2007,
Theor. Comput. Sci..
Nobuko Yoshida,
Hirozo Mihashi,
Yuki Sato,
2000
.
Nobuko Yoshida,
Francisco Martins,
Eduardo R. B. Marques,
2014
.
Nobuko Yoshida,
N. Yoshida,
2004,
POPL.
Gary Brown,
Nobuko Yoshida,
Tzu-Chun Chen,
2011,
ICDCIT.
Laura Bocchi,
Nobuko Yoshida,
Romain Demangeon,
2012,
TGC.
Wim Vanderbauwhede,
Nobuko Yoshida,
2013
.
Nobuko Yoshida,
Julien Lange,
N. Yoshida,
2015,
ArXiv.
Bernardo Toninho,
Nobuko Yoshida,
N. Yoshida,
2017,
A List of Successes That Can Change the World.
Nobuko Yoshida,
Simon Castelan,
2019,
POPL 2019.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2005,
Acta Informatica.
Bernardo Toninho,
Nobuko Yoshida,
Julien Lange,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Nobuko Yoshida,
Matthew Hennessy,
1999
.
Nobuko Yoshida,
N. Yoshida,
2002
.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2007,
Log. Methods Comput. Sci..
Frank S. de Boer,
Nobuko Yoshida,
Sophia Drossopoulou,
2014,
ERCIM News.
Nobuko Yoshida,
Raymond Hu,
Dimitrios Kouzapas,
2016,
Math. Struct. Comput. Sci..
Nobuko Yoshida,
Kohei Honda,
Kohei Honda,
1994,
POPL '94.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2004,
Inf. Comput..
Nobuko Yoshida,
Iain Phillips,
Eva Graversen,
2018,
RC.
Bernardo Toninho,
Nobuko Yoshida,
N. Yoshida,
2018,
FoSSaCS.
Nobuko Yoshida,
Dimitrios Kouzapas,
Jorge A. Pérez,
2016,
ESOP.
Nobuko Yoshida,
Alexander Joseph Ahern,
2005,
OOPSLA '05.
Nobuko Yoshida,
Dimitrios Kouzapas,
Kohei Honda,
2011,
FMOODS/FORTE.
Nobuko Yoshida,
Raymond Hu,
Rumyana Neykova,
2013,
TGC.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2001,
Lecture Notes in Computer Science.
Mario Bravetti,
Nobuko Yoshida,
Julien Lange,
2019,
ArXiv.
Nobuko Yoshida,
Romain Demangeon,
2015,
FSTTCS.
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2007,
QAPL.
Nobuko Yoshida,
Dimitrios Kouzapas,
Jorge A. Pérez,
2015,
CONCUR.
Nobuko Yoshida,
Alceste Scalas,
N. Yoshida,
2019,
Proc. ACM Program. Lang..
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2008,
ICALP.
Nobuko Yoshida,
Raymond Hu,
Sung-Shik Jongmans,
2019,
Proc. ACM Program. Lang..
Nobuko Yoshida,
Pierre-Malo Deniélou,
N. Yoshida,
2010,
CONCUR.
Nobuko Yoshida,
Simon Castellan,
2019,
Proc. ACM Program. Lang..
Ikuo Mizuuchi,
Nobuko Yoshida,
I. Mizuuchi,
2013
.
Nobuko Yoshida,
Philippa Gardner,
N. Yoshida,
2004,
Lecture Notes in Computer Science.
Nobuko Yoshida,
Pierre-Malo Deniélou,
2011,
POPL '11.
Bernardo Toninho,
Nobuko Yoshida,
2018,
ESOP.
Nobuko Yoshida,
Shoji Yuen,
Keigo Imai,
2017,
COORDINATION.
Nobuko Yoshida,
Martin Vassor,
Zak Cutner,
2021,
ArXiv.
Nobuko Yoshida,
Eva Graversen,
Iain C. C. Phillips,
2018,
RC.
Nobuko Yoshida,
Francisco Ferreira,
Lorenzo Gheri,
2021,
ArXiv.
Nobuko Yoshida,
Francisco Ferreira,
Lorenzo Gheri,
2021,
PLDI.
Nobuko Yoshida,
Zak Cutner,
2021,
COORDINATION.
Mario Bravetti,
Nobuko Yoshida,
Gianluigi Zavattaro,
2021,
Log. Methods Comput. Sci..
Bernardo Toninho,
Nobuko Yoshida,
N. Yoshida,
2021,
ACM Trans. Program. Lang. Syst..
Nobuko Yoshida,
Francisco Ferreira,
Fangyi Zhou,
2021,
FCT.
Nobuko Yoshida,
Dominic Orchard,
2017
.
Nobuko Yoshida,
Francisco Martins,
Eduardo R. B. Marques,
2013
.
Nobuko Yoshida,
Kohei Honda,
Martin Berger,
2006
.
Nobuko Yoshida,
Mariangiola Dezani-Ciancaglini,
Lorenzo Bettini,
2008
.
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2022
.
Nobuko Yoshida,
Pierre-Malo Deniélou,
N. Yoshida,
2012
.
Nobuko Yoshida,
Kohei Honda,
Martin Berger,
2005
.
Nobuko Yoshida,
Kohei Honda,
Martin Berger,
2008
.
Nobuko Yoshida,
Kohei Honda,
Vasco T. Vasconcelos,
2010
.
Nobuko Yoshida,
Raymond Hu,
Kohei Honda,
2007
.