Nobuko Yoshida
发表
Jorge A. Pérez,
Nobuko Yoshida,
2019,
Lecture Notes in Computer Science.
Dominic A. Orchard,
Nobuko Yoshida,
Dominic Orchard,
2017
.
Nobuko Yoshida,
Lorenzo Gheri,
2020,
ICDCIT.
Rumyana Neykova,
Nobuko Yoshida,
Nicolas Lagaillardie,
2020,
COORDINATION.
Mariangiola Dezani-Ciancaglini,
Jovanka Pantovic,
Silvia Ghilezan,
2016,
PLACES.
Nobuko Yoshida,
David Castro-Perez,
Francisco Ferreira,
2020,
TACAS.
Mariangiola Dezani-Ciancaglini,
Jovanka Pantovic,
Silvia Ghilezan,
2016,
Theory and Practice of Formal Methods.
Nobuko Yoshida,
Francisco Ferreira,
Anson Miu,
2021,
ArXiv.
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
Nobuko Yoshida,
2007,
FMOODS.
Raymond Hu,
Sung-Shik T. Q. Jongmans,
Nicholas Ng,
2018
.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
2005,
TGC.
Lasse Nielsen,
Kohei Honda,
Lasse R. Nielsen,
2010,
EXPRESS.
Shoji Yuen,
Rumyana Neykova,
Keigo Imai,
2020,
ArXiv.
Alceste Scalas,
Silvia Ghilezan,
Nobuko Yoshida,
2021,
Proc. ACM Program. Lang..
Laura Bocchi,
Nobuko Yoshida,
Weizhen Yang,
2014,
CONCUR.
Davide Ancona,
Viviana Mascardi,
Luca Padovani,
2016,
Found. Trends Program. Lang..
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Elena Giachino,
2006,
FMCO.
L'eo Stefanesco,
Nobuko Yoshida,
Simon Castellan,
2020,
ArXiv.
Luca Padovani,
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
2015,
SFM.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
2008
.
Philippa Gardner,
Nobuko Yoshida,
2006,
Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
Tzu-Chun Chen,
2014,
PPDP '14.
Raymond Hu,
Rumyana Neykova,
Nobuko Yoshida,
2020,
Proc. ACM Program. Lang..
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
2009,
Inf. Comput..
Luca Padovani,
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
2013,
COORDINATION.
Nobuko Yoshida,
Anson Miu,
Francisco Ferreira,
2020,
PLACES@ETAPS.
Laura Bocchi,
Rumyana Neykova,
Nobuko Yoshida,
2017,
Formal Aspects of Computing.
Shoji Yuen,
Rumyana Neykova,
Keigo Imai,
2020,
ECOOP.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
2006,
ECOOP.
Vasco Thudichum Vasconcelos,
Nobuko Yoshida,
N. Yoshida,
2009,
Electron. Notes Theor. Comput. Sci..
Loris D'Antoni,
Mariangiola Dezani-Ciancaglini,
Lorenzo Bettini,
2008,
CONCUR.
Nobuko Yoshida,
David Castro-Perez,
2020,
Proc. ACM Program. Lang..
Mariangiola Dezani-Ciancaglini,
Ugo de'Liguoro,
Nobuko Yoshida,
2007,
TGC.
Bernardo Toninho,
Philip Wadler,
Raymond Hu,
2020,
Proc. ACM Program. Lang..
Nobuko Yoshida,
Julia Gabet,
2020,
ECOOP.
Shoji Yuen,
Rumyana Neykova,
Keigo Imai,
2020,
Dagstuhl Artifacts Ser..
Nobuko Yoshida,
Julia Gabet,
2020,
Dagstuhl Artifacts Ser..
Luca Padovani,
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
2014,
Mathematical Structures in Computer Science.
Laura Bocchi,
Rumyana Neykova,
Nobuko Yoshida,
2014
.
Sung-Shik Jongmans,
Nobuko Yoshida,
S. Jongmans,
2020,
ESOP.
Mario Bravetti,
Julien Lange,
Marco Carbone,
2019,
CONCUR.
Mario Bravetti,
Julien Lange,
Marco Carbone,
2019
.
Iain Phillips,
Eva Graversen,
Nobuko Yoshida,
2020,
RC.
Rupak Majumdar,
Damien Zufferey,
Nobuko Yoshida,
2020,
Proc. ACM Program. Lang..
Laura Bocchi,
Romain Demangeon,
Nobuko Yoshida,
2017,
Theor. Comput. Sci..
Nobuko Yoshida,
N. Yoshida,
2009,
Memorias do Instituto Oswaldo Cruz.
Nobuko Yoshida,
Kevin M. Tyler,
N. Yoshida,
2022
.