N. Yoshida
发表
Marco Carbone,
Kohei Honda,
N. Yoshida,
2006
.
Nobuko Yoshida,
Raymond Hu,
Nicholas Ng,
2011,
COORDINATION.
Nobuko Yoshida,
Raymond Hu,
Andi Bejleri,
2010,
Log. Methods Comput. Sci..
Nobuko Yoshida,
Raymond Hu,
Andi Bejleri,
2010,
PLACES.
R. Milner,
Marco Carbone,
Kohei Honda,
2005
.
N. Yoshida,
F. Montesi,
2013
.
N. Yoshida,
A. Scalas,
2016
.
Nobuko Yoshida,
Kohei Honda,
Martin Berger,
2008
.
Nobuko Yoshida,
Kohei Honda,
Martin Berger,
2005
.
Kohei Honda,
N. Yoshida,
2008
.
Kohei Honda,
N. Yoshida,
Martin Berger,
2001
.
N. Yoshida,
Léo Stefanesco,
Simon Castellan,
2020,
ArXiv.
N. Yoshida,
Daniele Varacca,
Silvia Crafa,
2007
.
N. Yoshida,
Daniele Varacca,
2007
.
F. Martins,
N. Yoshida,
2018
.
Kohei Honda,
N. Yoshida,
Raymond Hu,
2007
.
Kohei Honda,
N. Yoshida,
Martin Berger,
2001
.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2001,
TLCA.
B. Nuseibeh,
S. Eisenbach,
N. Yoshida,
2005
.
Shoji Yuen,
Rumyana Neykova,
Keigo Imai,
2020,
ECOOP.
N. Yoshida,
R. Neykova,
Nicolas Lagaillardie,
2022,
Dagstuhl Artifacts Ser..
I. Lanese,
E. Tuosto,
N. Yoshida,
2022,
ArXiv.
N. Yoshida,
Weizhen Yang,
2011
.
N. Yoshida,
Francisco Ferreira,
2019
.
N. Yoshida,
A. Scalas,
2018
.
Hugo A. López,
F. Martins,
V. Vasconcelos,
2022,
ACM Transactions on Programming Languages and Systems.
Eduardo R. B. Marques,
F. Martins,
V. Vasconcelos,
2017
.
Eduardo R. B. Marques,
F. Martins,
V. Vasconcelos,
2017
.
N. Yoshida,
M. Hennessy,
2000,
LICS.
N. Yoshida,
M. Hennessy,
2000
.
Wim Vanderbauwhede,
Nobuko Yoshida,
N. Yoshida,
2013,
1312.2218.
Nobuko Yoshida,
Marco Carbone,
Kohei Honda,
2007,
Bull. EATCS.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2004
.
Nobuko Yoshida,
Dominic A. Orchard,
Dominic Orchard,
2016
.
Rupak Majumdar,
Nobuko Yoshida,
Damien Zufferey,
2019,
European Conference on Object-Oriented Programming.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2007,
Log. Methods Comput. Sci..
Nobuko Yoshida,
N. Yoshida,
2002
.
Nobuko Yoshida,
Dominic A. Orchard,
N. Yoshida,
2017,
J. Log. Algebraic Methods Program..
Nobuko Yoshida,
Francisco Ferreira,
Fangyi Zhou,
2021,
FCT.
Nobuko Yoshida,
Romain Demangeon,
N. Yoshida,
2015,
FSTTCS 2015.
Bernardo Toninho,
Nobuko Yoshida,
N. Yoshida,
2021,
ACM Trans. Program. Lang. Syst..
Nobuko Yoshida,
Eva Graversen,
Iain C. C. Phillips,
2018,
RC.
N. Yoshida,
Kirstin Peters,
2022,
ArXiv.
N. Yoshida,
Linhai Song,
Stephen Ellis,
2022,
ArXiv.
N. Yoshida,
Nicholas Ng,
Bernardo Toninho,
2016
.
V. Vasconcelos,
P. Wadler,
N. Yoshida,
2017
.
E. Tuosto,
N. Yoshida,
Lorenzo Gheri,
2022,
Dagstuhl Artifacts Ser..
Kohei Honda,
N. Yoshida,
L. Bocchi,
2017
.
E. Tuosto,
N. Yoshida,
J. Lange,
2014
.
N. Yoshida,
R. Neykova,
2017
.
N. Yoshida,
Raymond Hu,
Pierre-Malo Deniélou,
2009
.
N. Yoshida,
Linhai Song,
Stephen Ellis,
2022,
Proceedings of the ACM on Programming Languages.
G. Zavattaro,
N. Yoshida,
J. Lange,
2019
.
Nobuko Yoshida,
Marco Carbone,
Kohei Honda,
2008,
POPL '08.
Vasco Thudichum Vasconcelos,
Nobuko Yoshida,
N. Yoshida,
2009,
Electron. Notes Theor. Comput. Sci..
Davide Ancona,
Viviana Mascardi,
Luca Padovani,
2016,
Found. Trends Program. Lang..
Nobuko Yoshida,
Francisco Martins,
Vasco Thudichum Vasconcelos,
2015,
OOPSLA.
V. Vasconcelos,
N. Yoshida,
V. T. Vasconcelos,
2012,
Hyperfine Interactions.
Nobuko Yoshida,
Luca Fossati,
Kohei Honda,
2012,
CONCUR.
Nobuko Yoshida,
Kohei Honda,
Kohei Honda,
2008,
Comput. J..
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2005,
ICFP '05.
Nobuko Yoshida,
Luca Fossati,
Raymond Hu,
2014,
TGC.
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2007,
QAPL.
Nobuko Yoshida,
Philippa Gardner,
N. Yoshida,
2004,
Lecture Notes in Computer Science.
Nobuko Yoshida,
Vasco Thudichum Vasconcelos,
Kohei Honda,
2000,
ESOP.
Nobuko Yoshida,
Kohei Honda,
Kohei Honda,
1997,
Theor. Comput. Sci..
Emilio Tuosto,
Nobuko Yoshida,
Julien Lange,
2015,
POPL.
Nobuko Yoshida,
Fabrizio Montesi,
N. Yoshida,
2013,
CONCUR.
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
Nobuko Yoshida,
2007,
FMOODS.
Nobuko Yoshida,
Raymond Hu,
Kohei Honda,
2007
.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Elena Giachino,
2006,
FMCO.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
2006,
ECOOP.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
2005,
TGC.
Vasco Thudichum Vasconcelos,
Kohei Honda,
Makoto Kubo,
1998,
SecReT@ICALP.
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2010,
Theor. Comput. Sci..
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2006
.
N. Yoshida,
Daniele Varacca,
2006,
MFPS.
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2022
.
Nobuko Yoshida,
Francisco Martins,
Hugo A. López,
2014
.
Nobuko Yoshida,
Kohei Honda,
Nicholas Ng,
2012,
TOOLS.
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,
Pierre-Malo Deniélou,
N. Yoshida,
2012
.
Gary Brown,
Nobuko Yoshida,
Tzu-Chun Chen,
2011,
ICDCIT.
Laura Bocchi,
Emilio Tuosto,
Nobuko Yoshida,
2010,
CONCUR.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2008,
ICALP.
Kohei Honda,
N. Yoshida,
2007,
TOPL.
Nobuko Yoshida,
Kohei Honda,
Kohei Honda,
2002,
POPL '02.
Nobuko Yoshida,
Kohei Honda,
Kohei Honda,
2004,
PPDP '04.
Hugo A. López,
F. Martins,
V. Vasconcelos,
2022,
ACM Trans. Program. Lang. Syst..
Raymond Hu,
Rumyana Neykova,
Nobuko Yoshida,
2020,
Proc. ACM Program. Lang..
Nobuko Yoshida,
Raymond Hu,
Sung-Shik Jongmans,
2019,
Proc. ACM Program. Lang..
Bernardo Toninho,
Nobuko Yoshida,
N. Yoshida,
2018,
FoSSaCS.
Bernardo Toninho,
Nobuko Yoshida,
N. Yoshida,
2017,
A List of Successes That Can Change the World.
Nobuko Yoshida,
Nicholas Ng,
N. Yoshida,
2015,
Service Oriented Computing and Applications.
Nobuko Yoshida,
Nicholas Ng,
José Gabriel F. Coutinho,
2015,
CC.
Nobuko Yoshida,
Raymond Hu,
Rumyana Neykova,
2013,
TGC.
Nobuko Yoshida,
Francisco Martins,
Vasco Thudichum Vasconcelos,
2012,
EuroMPI.
Nobuko Yoshida,
Marco Carbone,
Kohei Honda,
2008,
CONCUR.
Nobuko Yoshida,
Marco Carbone,
Kohei Honda,
2007,
TOPL.
Nobuko Yoshida,
Raymond Hu,
Romain Demangeon,
2014,
Concurrent Objects and Beyond.
Nobuko Yoshida,
Nicholas Ng,
N. Yoshida,
2014,
2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Nobuko Yoshida,
Julien Lange,
N. Yoshida,
2019,
CAV.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2006,
ICALP.
Nobuko Yoshida,
Massimo Bartoletti,
Stefano Lande,
2019,
ESEC/SIGSOFT FSE.
Bernardo Toninho,
Nobuko Yoshida,
N. Yoshida,
2019,
The Art of Modelling Computational Systems.
Nobuko Yoshida,
Raymond Hu,
N. Yoshida,
2016,
FASE.
Nobuko Yoshida,
Claudio Antares Mezzina,
Doriana Medic,
2020,
Inf. Comput..
Nobuko Yoshida,
Raymond Hu,
Francisco Martins,
2015,
PPoPP.
N. Yoshida,
A. Ahern,
2005,
OOPSLA '05.
Nobuko Yoshida,
Raymond Hu,
Romain Demangeon,
2015,
Formal Methods Syst. Des..
Kohei Honda,
N. Yoshida,
Raymond Hu,
2014,
Formal methods in system design.
Nobuko Yoshida,
Elena Giachino,
Sara Capecchi,
2014,
Mathematical Structures in Computer Science.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
2009,
Inf. Comput..
Nobuko Yoshida,
Martin Berger,
N. Yoshida,
2007,
APLAS.
Nobuko Yoshida,
Dimitris Mostrous,
N. Yoshida,
2007,
TLCA.
Nobuko Yoshida,
N. Yoshida,
2004
.
Sophia Drossopoulou,
Mariangiola Dezani-Ciancaglini,
Nobuko Yoshida,
2008
.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2004,
Inf. Comput..
Nobuko Yoshida,
N. Yoshida,
2004,
POPL.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Nobuko Yoshida,
N. Yoshida,
1996,
FSTTCS.
Nobuko Yoshida,
Kohei Honda,
Kohei Honda,
1995,
Theor. Comput. Sci..
Nobuko Yoshida,
Alexander Ahern,
N. Yoshida,
2004
.
Luca Padovani,
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
2014,
Mathematical Structures in Computer Science.
Nobuko Yoshida,
Raymond Hu,
Romain Demangeon,
2013,
RV.
Nobuko Yoshida,
Pierre-Malo Deniélou,
N. Yoshida,
2012,
ESOP.
Nobuko Yoshida,
Raymond Hu,
Dimitrios Kouzapas,
2010,
ECOOP.
Nobuko Yoshida,
Julien Lange,
N. Yoshida,
2016,
TACAS.
Nobuko Yoshida,
Julien Lange,
N. Yoshida,
2015,
ArXiv.
N. Yoshida,
Julia Gabet,
2020,
ECOOP.
Bernardo Toninho,
Nobuko Yoshida,
Julien Lange,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Bernardo Toninho,
Nobuko Yoshida,
Julien Lange,
2016,
POPL.
Nobuko Yoshida,
Nicholas Ng,
N. Yoshida,
2016,
CC.
Lasse Nielsen,
Kohei Honda,
Lasse R. Nielsen,
2010,
EXPRESS.
Nobuko Yoshida,
Hervé Paulino,
Vasco Thudichum Vasconcelos,
2009,
FMCO.
Nobuko Yoshida,
Raymond Hu,
Kohei Honda,
2008,
ECOOP.
N. Yoshida,
David Castro-Perez,
2023,
ECOOP.
Dominic A. Orchard,
Nobuko Yoshida,
Dominic Orchard,
2017
.
Nobuko Yoshida,
Dominic A. Orchard,
N. Yoshida,
2016,
POPL.
Nobuko Yoshida,
Raymond Hu,
Nuno Alves,
2011,
PLACES.
Nobuko Yoshida,
Francesco Tiezzi,
Rosario Pugliese,
2009,
ICALP.
Nobuko Yoshida,
Alceste Scalas,
N. Yoshida,
2019,
Proc. ACM Program. Lang..
Sung-Shik Jongmans,
Nobuko Yoshida,
S. Jongmans,
2020,
ESOP.
Mariangiola Dezani-Ciancaglini,
Jovanka Pantovic,
Silvia Ghilezan,
2016,
PLACES.
Nobuko Yoshida,
Fabrizio Montesi,
Carsten Schürmann,
2015,
Acta Informatica.
Nobuko Yoshida,
Dimitrios Kouzapas,
N. Yoshida,
2013,
CONCUR.
Daniele Varacca,
Silvia Crafa,
Nobuko Yoshida,
2007,
CONCUR.
Nobuko Yoshida,
Dominic A. Orchard,
Dominic Orchard,
2016,
PLACES.
Nobuko Yoshida,
Raymond Hu,
N. Yoshida,
2017,
FASE.
Nobuko Yoshida,
Kohei Honda,
Dimitris Mostrous,
2009,
ESOP.
Nobuko Yoshida,
Raymond Hu,
Rumyana Neykova,
2013,
RV.
Luca Padovani,
Mariangiola Dezani-Ciancaglini,
Mario Coppo,
2013,
COORDINATION.
Laura Bocchi,
Nobuko Yoshida,
Romain Demangeon,
2012,
TGC.
Nobuko Yoshida,
Kohei Honda,
Kohei Honda,
2005,
J. Funct. Program..
Fritz Henglein,
Nobuko Yoshida,
Lasse Nielsen,
2012,
FHIES.
Marco Carbone,
Kohei Honda,
N. Yoshida,
2008,
POPL '08.
Nobuko Yoshida,
Andrew Phillips,
Susan Eisenbach,
2004,
ESOP.
Nobuko Yoshida,
Raymond Hu,
Francisco Martins,
2018,
ACM Trans. Program. Lang. Syst..
F. Martins,
N. Yoshida,
Raymond Hu,
2014
.
Nobuko Yoshida,
Pierre-Malo Deniélou,
N. Yoshida,
2010,
CONCUR.
Nobuko Yoshida,
Martin Berger,
Kohei Honda,
2014,
RTA-TLCA.
Nobuko Yoshida,
Kohei Honda,
Kohei Honda,
1994,
POPL '94.
N. Yoshida,
Raymond Hu,
2006
.
N. Yoshida,
Nobuko Yoshida,
L. Vivas,
2002,
F-WAN@ICALP.
Nobuko Yoshida,
David Castro-Perez,
N. Yoshida,
2020,
CC.
Nobuko Yoshida,
N. Yoshida,
1993,
FPCA '93.
V. Vasconcelos,
N. Yoshida,
1998
.
Nobuko Yoshida,
Zhenjiang Hu,
Liye Guo,
2019,
2019 IEEE International Conference on Big Data and Smart Computing (BigComp).
Nobuko Yoshida,
Simon Castellan,
N. Yoshida,
2019,
FoSSaCS.