World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
62
Citations
12017
World Ranking
2962
National Ranking
178

Overview

Nobuko Yoshida is affiliated with the University of Oxford in the United Kingdom, with primary research contributions in the field of computer science. Their work spans several subfields including artificial intelligence, computer networks and communications, computational theory and mathematics, hardware and architecture, and information systems.

The scientist's research interests focus on logic, programming, and type systems, distributed systems and fault tolerance, and formal methods in verification. Additional topics covered in their work include parallel computing and optimization techniques, logic, reasoning, and knowledge, security and verification in computing, and service-oriented architecture and web services.

Recent papers authored or co-authored by Nobuko Yoshida include:

  • "Statically verified refinements for multiparty protocols", 2020, Proceedings of the ACM on Programming Languages
  • "Precise subtyping for asynchronous multiparty sessions", 2021, Proceedings of the ACM on Programming Languages
  • "Featherweight go", 2020, Proceedings of the ACM on Programming Languages
  • "A Sound Algorithm for Asynchronous Session Subtyping and its Implementation", 2021, Logical Methods in Computer Science
  • "Precise Subtyping for Asynchronous Multiparty Sessions", 2022, ACM Transactions on Computational Logic

Frequent co-authors collaborating with Nobuko Yoshida are:

  • Fangyi Zhou
  • Francisco Ferreira
  • Rumyana Neykova
  • Adam D. Barwell
  • Alceste Scalas

Their publications have appeared in various venues, showing a pattern of frequent contributions to:

  • arXiv (Cornell University)
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Proceedings of the ACM on Programming Languages
  • Information and Computation
  • Logical Methods in Computer Science

Nobuko Yoshida has also contributed to book publications, including a work titled "Programming Languages and Systems," published in 2021 by Springer Science+Business Media.

Best Publications

  • Multiparty asynchronous session types

    Kohei Honda;Nobuko Yoshida;Marco Carbone

  • Structured communication-centred programming for web services

    Marco Carbone;Kohei Honda;Nobuko Yoshida

  • On reduction-based process semantics

    Kohei Honda;Nobuko Yoshida

  • Multiparty Asynchronous Session Types

    Kohei Honda;Nobuko Yoshida;Marco Carbone

  • Global Progress in Dynamically Interleaved Multiparty Sessions

    Lorenzo Bettini;Mario Coppo;Loris D'Antoni;Marco Luca

  • Multiparty session types meet communicating automata

    Pierre-Malo Deniélou;Nobuko Yoshida

  • Session-Based Distributed Programming in Java

    Raymond Hu;Nobuko Yoshida;Kohei Honda

  • Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication

    Nobuko Yoshida;Vasco T. Vasconcelos

  • Session types for object-oriented languages

    Mariangiola Dezani-Ciancaglini;Dimitris Mostrous;Nobuko Yoshida;Sophia Drossopoulou

  • A theory of design-by-contract for distributed multiparty interactions

    Laura Bocchi;Kohei Honda;Emilio Tuosto;Nobuko Yoshida

  • Graph Types for Monadic Mobile Processes

    Nobuko Yoshida

  • Secure Information Flow as Typed Process Behaviour

    Kohei Honda;Vasco Thudichum Vasconcelos;Nobuko Yoshida

  • Strong normalisation in the π-calculus

    Nobuko Yoshida;Martin Berger;Kohei Honda

  • From Communicating Machines to Graphical Choreographies

    Julien Lange;Emilio Tuosto;Nobuko Yoshida

  • Dynamic multirole session types

    Pierre-Malo Deniélou;Nobuko Yoshida

  • Global Progress for Dynamically Interleaved Multiparty Sessions

    Mario Coppo;Mariangiola Dezani-Ciancaglini;Nobuko Yoshida;Luca Padovani

  • Scribbling interactions with a formal foundation

    Kohei Honda;Aybek Mukhamedov;Gary Brown;Tzu-Chun Chen

  • Global Principal Typing in Partially Commutative Asynchronous Sessions

    Dimitris Mostrous;Nobuko Yoshida;Kohei Honda

  • Multiparty compatibility in communicating automata: characterisation and synthesis of global session types

    Pierre-Malo Deniélou;Nobuko Yoshida

  • Behavioral Types in Programming Languages

    Davide Ancona;Viviana Bono;Mario Bravetti;Joana Campos

Frequent Co-Authors

Kohei Honda
Kohei Honda Queen Mary University of London
Renato A. Mortara
Renato A. Mortara Federal University of Sao Paulo
Matthew Hennessy
Matthew Hennessy Trinity College Dublin
Sergio Schenkman
Sergio Schenkman Federal University of Sao Paulo
Ruth S. Nussenzweig
Ruth S. Nussenzweig New York University
Maria A. Juliano
Maria A. Juliano Federal University of Sao Paulo
Igor C. Almeida
Igor C. Almeida The University of Texas at El Paso
Gianluigi Zavattaro
Gianluigi Zavattaro University of Bologna
Victor Nussenzweig
Victor Nussenzweig New York University

If you think any of the details on this page are incorrect, let us know.

Report an issue

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:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens up diverse academic and professional opportunities. Many students are now looking for quick online degrees that pay well, helping them launch lucrative careers in less time. These accelerated pathways make it easier for working professionals and career changers to enter the tech field.

As technology evolves, so do degree options. Artificial intelligence is increasingly prominent, with options for ai degree programs now widely available online. Specializing in AI can open doors to roles in machine learning, robotics, and data science.

If you’re still choosing your direction, look into the best college degrees for the future. Fields like cybersecurity, data science, and software engineering are in high demand and offer strong job prospects.

For those seeking to further their education with less intensive commitments, there are easiest masters degrees available online. These allow you to upskill without a heavy workload or long timeframes. No matter your goals, a tailored online degree can help you reach the next stage of your computer science career.

Best Scientists Citing Nobuko Yoshida

Trending Scientists