Her scientific interests lie mostly in Trypanosoma cruzi, Theoretical computer science, Programming language, Session and Molecular biology. Her work carried out in the field of Trypanosoma cruzi brings together such families of science as Microbiology, Mucin, Glycoprotein and Cell biology. The study incorporates disciplines such as Software development, Abstraction, Asynchronous communication, Extension and Range in addition to Theoretical computer science.
Her study in the field of Information flow, Programming style, Subtyping and Type safety is also linked to topics like Notation. Her research in Session intersects with topics in Signature, Distributed computing, Peer-to-peer, Programming language theory and Subject reduction. Her Molecular biology research is multidisciplinary, relying on both Epitope, Antibody, Monoclonal antibody, Immunoprecipitation and Plasmodium berghei.
Her primary areas of investigation include Programming language, Theoretical computer science, Session, Trypanosoma cruzi and Asynchronous communication. In her research on the topic of Theoretical computer science, Linear logic is strongly related with Soundness. Her Session course of study focuses on Protocol and Toolchain.
Nobuko Yoshida combines subjects such as Microbiology, Molecular biology, Glycoprotein, Cell biology and Monoclonal antibody with her study of Trypanosoma cruzi. Her Microbiology research is multidisciplinary, incorporating perspectives in Mucin and Virology. Her Cell biology research incorporates themes from Cell, Internalization, HeLa and Lysosome.
Session, Programming language, Protocol, Asynchronous communication and Communications protocol are her primary areas of study. Her Session study incorporates themes from Theoretical computer science, Coinduction, Code, Semantics and Syntax. Her Theoretical computer science research integrates issues from Collision, Component-based software engineering and Isomorphism.
Her Programming language study frequently draws parallels with other fields, such as Shared memory. Her Asynchronous communication research includes elements of Class and Subtyping. Her biological study spans a wide range of topics, including Toolchain, Scala and Distributed computing.
Nobuko Yoshida spends much of her time researching Session, Programming language, Asynchronous communication, Theoretical computer science and Concurrency. Her research in Session focuses on subjects like Protocol, which are connected to Type safety. Her Programming language study frequently involves adjacent topics like Code.
Her work on Asynchrony as part of general Asynchronous communication study is frequently linked to Duality, therefore connecting diverse disciplines of science. Her Theoretical computer science study combines topics in areas such as Subset and superset, Scalability and Computer programming. Nobuko Yoshida interconnects Concurrent computing, Subtyping, Runtime system, Liveness and Scala in the investigation of issues within Concurrency.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Multiparty asynchronous session types
Kohei Honda;Nobuko Yoshida;Marco Carbone.
symposium on principles of programming languages (2008)
Hybridoma produces protective antibodies directed against the sporozoite stage of malaria parasite
Nobuko Yoshida;Ruth S. Nussenzweig;Pedro Potocnjak;Victor Nussenzweig.
Monovalent fragments (Fab) of monoclonal antibodies to a sporozoite surface antigen (Pb44) protect mice against malarial infection.
Pedro Potocnjak;Nobuko Yoshida;Ruth S. Nussenzweig;Victor Nussenzweig.
Journal of Experimental Medicine (1980)
Structured communication-centred programming for web services
Marco Carbone;Kohei Honda;Nobuko Yoshida.
european symposium on programming (2007)
On reduction-based process semantics
Kohei Honda;Nobuko Yoshida.
foundations of software technology and theoretical computer science (1995)
Molecular basis of mammalian cell invasion by Trypanosoma cruzi
Anais Da Academia Brasileira De Ciencias (2006)
Multiparty Asynchronous Session Types
Kohei Honda;Nobuko Yoshida;Marco Carbone.
Journal of the ACM (2016)
The mucin-like glycoprotein super-family of Trypanosoma cruzi: structure and biological roles.
Alvaro Acosta-Serrano;Igor C. Almeida;Lucio H. Freitas-Junior;Nobuko Yoshida.
Molecular and Biochemical Parasitology (2001)
Global Progress in Dynamically Interleaved Multiparty Sessions
Lorenzo Bettini;Mario Coppo;Loris D'Antoni;Marco Luca.
international conference on concurrency theory (2008)
Proteomic Analysis of Trypanosoma cruzi Secretome: Characterization of Two Populations of Extracellular Vesicles and Soluble Proteins
Ethel Bayer-Santos;Clemente Aguilar-Bonavides;Silas Pessini Rodrigues;Esteban Maurício Cordero.
Journal of Proteome Research (2013)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: