Kohei Honda

发表

Tzu-Chun Chen, Kohei Honda, Kohei Honda, 2012, CONCUR.
Mario Tokoro, Kohei Honda, Kohei Honda, 1991, Object-Based Concurrent Computing.
Hiroshi Nakajima, H. Morikawa, Yoshihisa Irimajiri, 1993 .
Mario Tokoro, Kohei Honda, 1991, OOPS Messenger.
Kohei Honda, Kohei Honda, 1999, CSUR.
Nobuko Yoshida, Martin Berger, Kohei Honda, 2003, FoSSaCS.
Nobuko Yoshida, Martin Berger, Kohei Honda, 2006, ICALP.
Nobuko Yoshida, Marco Carbone, Kohei Honda, 2007, TOPL.
Nobuko Yoshida, Raymond Hu, Romain Demangeon, 2015, Formal Methods Syst. Des..
Romain Demangeon, Kohei Honda, 2011, CONCUR.
Nobuko Yoshida, Martin Berger, Kohei Honda, 2005, ICFP '05.
Mario Tokoro, Kohei Honda, Kohei Honda, 1991, Concurrency: Theory, Language, And Architecture.
Olivier Laurent, Kohei Honda, Kohei Honda, 2010, Theor. Comput. Sci..
Nobuko Yoshida, Marco Carbone, Kohei Honda, 2008, POPL '08.
Kohei Honda, Hiroyuki Okuda, Tatsuya Suzuki, 2020 .
Mario Tokoro, Kohei Honda, Kohei Honda, 1991, ECOOP.
Nobuko Yoshida, Marco Carbone, Kohei Honda, 2008, Electron. Notes Theor. Comput. Sci..
Kohei Honda, 1994, Theory and Practice of Parallel Programming.
Vasco Thudichum Vasconcelos, Kohei Honda, 1993, CONCUR.
Nobuko Yoshida, Martin Berger, Kohei Honda, 2008, Log. Methods Comput. Sci..
Martin Berger, Kohei Honda, Kohei Honda, 2003, EXPRESS.
Nobuko Yoshida, Kohei Honda, 1999, Theor. Comput. Sci..
Nobuko Yoshida, Kohei Honda, Nicholas Ng, 2012, TOOLS.
Nobuko Yoshida, Luca Fossati, Kohei Honda, 2012, CONCUR.
Nobuko Yoshida, Francisco Martins, Vasco Thudichum Vasconcelos, 2012, EuroMPI.
Nobuko Yoshida, Martin Berger, Kohei Honda, 2002, FoSSaCS.
Nobuko Yoshida, Martin Berger, Kohei Honda, 2007, J. Log. Algebraic Methods Program..
Kohei Honda, Kohei Honda, 2004, ICFP '04.
Nobuko Yoshida, Kohei Honda, Kohei Honda, 1997, Theor. Comput. Sci..
Kohei Honda, Kohei Honda, 1996, POPL '96.
Nobuko Yoshida, Kohei Honda, Kohei Honda, 2008, Comput. J..
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Kohei Honda, 2000, ESOP.
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Kohei Honda, 2009, Electron. Notes Theor. Comput. Sci..
Kohei Honda, Kohei Honda, 1993, CONCUR.
Lasse Nielsen, Kohei Honda, Lasse R. Nielsen, 2010, EXPRESS.
Kohei Honda, 2006, Electron. Notes Theor. Comput. Sci..
Nobuko Yoshida, Martin Berger, Kohei Honda, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Nobuko Yoshida, Kohei Honda, Kohei Honda, 2004, PPDP '04.
Kohei Honda, Hiroyuki Okuda, Tatsuya Suzuki, 2020, 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).
Nobuko Yoshida, Raymond Hu, Romain Demangeon, 2014, Concurrent Objects and Beyond.
Nobuko Yoshida, Kohei Honda, Kohei Honda, 2002, POPL '02.
Nobuko Yoshida, Marco Carbone, Kohei Honda, 2009, SFM.
Kohei Honda, 1996, Electron. Notes Theor. Comput. Sci..
Nobuko Yoshida, Kohei Honda, Dimitris Mostrous, 2009, ESOP.
Nobuko Yoshida, Martin Berger, Kohei Honda, 2014, Theor. Comput. Sci..
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, Marco Carbone, Kohei Honda, 2008, CONCUR.
Nobuko Yoshida, Kohei Honda, Vasco T. Vasconcelos, 2009 .
Mario Tokoro, Kohei Honda, Kohei Honda, 1991, OOPSLA/ECOOP '90.
Samson Abramsky, Guy McCusker, Kohei Honda, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Nobuko Yoshida, Martin Berger, Kohei Honda, 2004 .
Laura Bocchi, Nobuko Yoshida, Romain Demangeon, 2013, FMOODS/FORTE.
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, Kohei Honda, 1993, FSTTCS.
Nobuko Yoshida, Marco Carbone, Kohei Honda, 2007, DCM@ICALP.
Nobuko Yoshida, Kohei Honda, 1994, TACS.
Kohei Honda, Masashi Ohchi, Tatsuya Furukawa, 2009, 2009 ICCAS-SICE.
Nobuko Yoshida, Raymond Hu, Dimitrios Kouzapas, 2010, ECOOP.
Kohei Honda, Marcelo P. Fiore, Kohei Honda, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Nobuko Yoshida, Marco Carbone, Kohei Honda, 2007, Bull. EATCS.
Kohei Honda, Kohei Honda, 1993 .
Nobuko Yoshida, Marco Carbone, Kohei Honda, 2007, ESOP.
Nobuko Yoshida, Kohei Honda, Kohei Honda, 1995, Theor. Comput. Sci..
Nobuko Yoshida, Martin Berger, Kohei Honda, 2014, RTA-TLCA.
Nobuko Yoshida, Kohei Honda, Kohei Honda, 2005, J. Funct. Program..
Nobuko Yoshida, Martin Berger, Kohei Honda, 2001, TLCA.
Gary Brown, Nobuko Yoshida, Tzu-Chun Chen, 2011, ICDCIT.
Kohei Honda, Kohei Honda, 2004, Electron. Notes Theor. Comput. Sci..
Romain Demangeon, Kohei Honda, Kohei Honda, 2012, CONCUR.
Kohei Honda, Kohei Honda, 2001 .
Nobuko Yoshida, Martin Berger, Kohei Honda, 2005, Acta Informatica.
Kohei Honda, Makoto Kubo, Kaku Takeuchi, 1994, PARLE.
Nobuko Yoshida, Martin Berger, Kohei Honda, 2007, Log. Methods Comput. Sci..
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..
Kohei Honda, Kohei Honda, 2000, Mathematical Structures in Computer Science.
Nobuko Yoshida, Dimitrios Kouzapas, Kohei Honda, 2011, FMOODS/FORTE.
Nobuko Yoshida, Martin Berger, Kohei Honda, 2001, Lecture Notes in Computer Science.
Nobuko Yoshida, Kohei Honda, Martin Berger, 2005 .
Kohei Honda, Vasco T. Vasconcelos, V. Vasconcelos, 1993, CONCUR.
Nobuko Yoshida, Kohei Honda, Martin Berger, 2008 .
Nobuko Yoshida, Kohei Honda, Vasco T. Vasconcelos, 2010 .
Nobuko Yoshida, Raymond Hu, Kohei Honda, 2007 .