Nobuko Yoshida | Academic Influence

Nobuko Yoshida's AcademicInfluence.com Rankings

Nobuko Yoshida

Computer Science

#3830

World Rank

#4025

Historical Rank

Database

#2415

World Rank

#2530

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Nobuko Yoshida's Degrees

PhD Computer Science Imperial College London
Masters Computer Science University of Tokyo
Bachelors Computer Science University of Tokyo

Similar Degrees You Can Earn

Why Is Nobuko Yoshida Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Nobuko Yoshida is the Christopher Strachey Professor of Computing in the Department of Computer Science, University of Oxford. She undertook her BSc and MSc at the University of Keio, Japan, before completing her PhD jointly at the universities of Keio and Manchester.

(See a Problem?)

Nobuko Yoshida's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication (1998) (811)
Multiparty Asynchronous Session Types (2016) (726)
On Reduction-Based Process Semantics (1995) (329)
Structured Communication-Centered Programming for Web Services (2007) (264)
Molecular basis of mammalian cell invasion by Trypanosoma cruzi. (2006) (220)
Proteomic analysis of Trypanosoma cruzi secretome: characterization of two populations of extracellular vesicles and soluble proteins. (2013) (206)
Multiparty asynchronous session types (2008) (194)
Mucin-like glycoproteins linked to the membrane by glycosylphosphatidylinositol anchor are the major acceptors of sialic acid in a reaction catalyzed by trans-sialidase in metacyclic forms of Trypanosoma cruzi. (1993) (194)
Global progress for dynamically interleaved multiparty sessions (2014) (188)
The Lipid Structure of the Glycosylphosphatidylinositol-anchored Mucin-like Sialic Acid Acceptors of Trypanosoma cruzi Changes during Parasite Differentiation from Epimastigotes to Infective Metacyclic Trypomastigote Forms (*) (1995) (188)
The mucin-like glycoprotein super-family of Trypanosoma cruzi: structure and biological roles. (2001) (184)
Multiparty Session Types Meet Communicating Automata (2012) (169)
Session Types for Object-Oriented Languages (2006) (164)
Stage-specific surface antigens of metacyclic trypomastigotes of Trypanosoma cruzi identified by monoclonal antibodies. (1986) (161)
Infectivity of Trypanosoma cruzi strains is associated with differential expression of surface glycoproteins with differential Ca2+ signalling activity. (1998) (157)
Graph Types for Monadic Mobile Processes (1996) (156)
Session-Based Distributed Programming in Java (2008) (152)
Metacyclic neutralizing effect of monoclonal antibody 10D8 directed to the 35- and 50-kilodalton surface glycoconjugates of Trypanosoma cruzi (1989) (149)
Secure Information Flow as Typed Process Behaviour (2000) (135)
From Communicating Machines to Graphical Choreographies (2015) (134)
A Theory of Design-by-Contract for Distributed Multiparty Interactions (2010) (134)
Surface antigens of metacyclic trypomastigotes of Trypanosoma cruzi (1983) (134)
Dynamic multirole session types (2011) (133)
Involvement of the stage-specific 82-kilodalton adhesion molecule of Trypanosoma cruzi metacyclic trypomastigotes in host cell invasion (1993) (132)
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types (2013) (132)
Behavioral Types in Programming Languages (2016) (132)
Parameterised Multiparty Session Types (2010) (130)
Game-Theoretic Analysis of Call-by-Value Computation (1997) (129)
A uniform type structure for secure information flow (2002) (126)
Scribbling Interactions with a Formal Foundation (2011) (116)
Trypanosoma cruzi infection by oral route: how the interplay between parasite and host components modulates infectivity. (2008) (108)
Global Principal Typing in Partially Commutative Asynchronous Sessions (2009) (108)
Monitoring networks through multiparty session types (2013) (102)
Compositional Choreographies (2013) (100)
Expression of trypomastigote trans‐sialidase in metacyclic forms of Trypanosoma cruzi increases parasite escape from its parasitophorous vacuole (2006) (99)
The Scribble Protocol Language (2013) (96)
Structured Interactional Exceptions in Session Types (2008) (96)
Strong normalisation in the pi -calculus (2004) (91)
cDNA cloning and sequence determination of rat membrane-associated phospholipase A2. (1989) (90)
Global Progress in Dynamically Interleaved Multiparty Sessions (2008) (90)
Ca2+ signal induced by Trypanosoma cruzi metacyclic trypomastigote surface molecules implicated in mammalian cell invasion. (1995) (87)
Hybrid Session Verification Through Endpoint API Generation (2016) (86)
A Theoretical Basis of Communication-Centred Concurrent Programming (2005) (85)
The 35/50 kDa surface antigen of Trypanosoma cruzi metacyclic trypomastigotes, an adhesion molecule involved in host cell invasion (1993) (84)
Trypanosoma cruzi: parasite and host cell signaling during the invasion process. (2008) (83)
On Progress for Structured Communications (2007) (82)
Type-Safe Eventful Sessions in Java (2010) (80)
Molecular mechanisms of Trypanosoma cruzi infection by oral route. (2009) (80)
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (2015) (75)
Lightweight Session Programming in Scala (2016) (73)
Acute Trypanosoma cruzi infection is associated with anemia, thrombocytopenia, leukopenia, and bone marrow hypoplasia: reversal by nifurtimox treatment. (2000) (73)
The primary structure of a membrane-associated phospholipase A2 from human spleen. (1989) (72)
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact) (2017) (71)
safeDpi: a language for controlling mobile code (2004) (70)
Starvation and rapamycin differentially regulate host cell lysosome exocytosis and invasion by Trypanosoma cruzi metacyclic forms (2011) (70)
Assigning types to processes (2000) (70)
A Distributed Object-Oriented Language with Session Types (2005) (70)
Cloning and characterization of a gene for the stage-specific 82-kDa surface antigen of metacyclic trypomastogotes of Trypanosoma cruzi (1994) (69)
Multiparty session types as coherence proofs (2015) (69)
Multiparty Session C: Safe Parallel Programming with Message Optimisation (2012) (69)
Involvement of Trypanosoma cruzi Metacyclic Trypomastigote Surface Molecule gp82 in Adhesion to Gastric Mucin and Invasion of Epithelial Cells (2003) (69)
Novel strategy in Trypanosoma cruzi cell invasion: implication of cholesterol and host cell microdomains. (2007) (68)
Less is more: multiparty session types revisited (2019) (68)
Use of l-Proline and ATP Production by Trypanosoma cruzi Metacyclic Forms as Requirements for Host Cell Invasion (2009) (68)
Polymorphism of the 35- and 50-kilodalton surface glycoconjugates of Trypanosoma cruzi metacyclic trypomastigotes (1992) (67)
Global escape in multiparty sessions † (2014) (67)
Asynchronous Session Types and Progress for Object Oriented Languages (2007) (66)
Structural studies on the glycosylphosphatidylinositol membrane anchor of Trypanosoma cruzi 1G7-antigen. The structure of the glycan core. (1992) (66)
Signal transduction induced in Trypanosoma cruzi metacyclic trypomastigotes during the invasion of mammalian cells. (2000) (65)
Let it recover: multiparty protocol-induced recovery (2017) (64)
Targeted Reduction in Expression ofTrypanosoma cruzi Surface Glycoprotein gp90 Increases Parasite Infectivity (2001) (64)
Invasion mechanisms among emerging food-borne protozoan parasites. (2011) (63)
Actin Cytoskeleton-Dependent and -Independent Host Cell Invasion by Trypanosoma cruzi Is Mediated by Distinct Parasite Surface Molecules (2006) (61)
A Calculus of Global Interaction based on Session Types (2007) (61)
Static deadlock detection for concurrent go by global session graph synthesis (2016) (60)
Development of a radioimmunoassay for human group-II phospholipase A2 and demonstration of postoperative elevation. (1991) (59)
Proteomic analysis of detergent-solubilized membrane proteins from insect-developmental forms of Trypanosoma cruzi. (2009) (58)
A Static Verification Framework for Message Passing in Go Using Behavioural Types (2018) (58)
An observationally complete program logic for imperative higher-order functions (2005) (57)
Removal of sialic acid from mucin-like surface molecules of Trypanosoma cruzi metacyclic trypomastigotes enhances parasite-host cell interaction. (1997) (57)
Timed runtime monitoring for multiparty conversations (2014) (57)
Linearity and bisimulation (2002) (57)
Bounded Session Types for Object Oriented Languages (2006) (56)
Two Session Typing Systems for Higher-Order Mobile Processes (2007) (56)
A Gentle Introduction to Multiparty Asynchronous Session Types (2015) (56)
Activation of distinct signal transduction pathways in Trypanosoma cruzi isolates with differential capacity to invade host cells. (2002) (56)
Explicit Connection Actions in Multiparty Session Types (2017) (56)
Trypanosoma cruzi surface molecule gp90 downregulates invasion of gastric mucosal epithelium in orally infected mice. (2006) (55)
Fencing off go: liveness and safety for channel-based programming (2016) (55)
On the Preciseness of Subtyping in Session Types (2014) (55)
Protocol-based verification of message-passing parallel programs (2015) (53)
Sequentiality and the pi-Calculus (2001) (53)
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures (2019) (53)
Effects as sessions, sessions as effects (2016) (53)
Multiparty Session Actors (2014) (52)
Timed Multiparty Session Types (2014) (51)
Ureotelism and ammonotelism in trypanosomatids (1978) (51)
Combinatory representation of mobile processes (1994) (51)
Glycophosphatidylinositol-anchored proteins in metacyclic trypomastigotes of Trypanosoma cruzi. (1988) (51)
Interaction with host factors exacerbates Trypanosoma cruzi cell invasion capacity upon oral infection. (2007) (50)
Role of GP82 in the Selective Binding to Gastric Mucin during Oral Infection with Trypanosoma cruzi (2010) (50)
Trypanosoma cruzi 175-kDa protein tyrosine phosphorylation is associated with host cell invasion. (1998) (50)
Cell signaling during Trypanosoma cruzi invasion (2012) (48)
Infection by Trypanosoma cruzi Metacyclic Forms Deficient in gp82 but Expressing a Related Surface Molecule, gp30 (2003) (47)
A session type provider: compile-time API generation of distributed protocols with refinements in F# (2018) (46)
Meeting Deadlines Together (2015) (44)
Sequentiality and the π-Calculus (2001) (44)
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python (2013) (44)
Session typing and asynchronous subtyping for the higher-order π-calculus (2015) (43)
Objects and session types (2009) (43)
Formalising Java RMI with explicit code mobility (2005) (42)
Host cell invasion mediated by Trypanosoma cruzi surface molecule gp82 is associated with F-actin disassembly and is inhibited by enteroinvasive Escherichia coli. (2006) (42)
Asynchronous Distributed Monitoring for Multiparty Session Enforcement (2011) (42)
A logical analysis of aliasing in imperative higher-order functions (2005) (42)
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions (2013) (42)
Lysosome biogenesis/scattering increases host cell susceptibility to invasion by Trypanosoma cruzi metacyclic forms and resistance to tissue culture trypomastigotes (2015) (42)
Cloning and characterization of a gene for the stage-specific 82-kDa surface antigen of metacyclic trypomastigotes of Trypanosoma cruzi. (1994) (42)
Genericity and the π-calculus (2005) (41)
Characterization of the Cell Adhesion Site ofTrypanosoma cruzi Metacyclic Stage Surface Glycoprotein gp82 (2000) (40)
Protocols by Default - Safe MPI Code Generation Based on Session Types (2015) (39)
Molecular Characterization of Serine-, Alanine-, and Proline-Rich Proteins of Trypanosoma cruzi and Their Possible Role in Host Cell Infection (2006) (39)
Genericity and the pi-Calculus (2003) (39)
The stage-specific 90-kilodalton surface antigen of metacyclic trypomastigotes of Trypanosoma cruzi. (1990) (39)
A Distributed Abstract Machine for Boxed Ambient Calculi (2004) (38)
Structural Basis of the Interaction of a Trypanosoma cruzi Surface Molecule Implicated in Oral Infection with Host Cells and Gastric Mucin (2012) (38)
Identification of a domain of Trypanosoma cruzi metacyclic trypomastigote surface molecule gp82 required for attachment and invasion of mammalian cells. (1996) (38)
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus (2012) (37)
Verifying Asynchronous Interactions via Communicating Session Automata (2019) (36)
Precise subtyping for synchronous multiparty sessions (2016) (36)
Globally Governed Session Semantics (2013) (35)
SPY: Local Verification of Global Protocols (2013) (35)
Graph Notation for Concurrent Combinators (1994) (35)
A recombinant protein based on Trypanosoma cruzi surface molecule gp82 induces apoptotic cell death in melanoma cells (2008) (34)
Trypanosoma cruzi: recognition of trypomastigote surface antigens by lytic antisera from mice resistant to acute infection. (1986) (34)
Molecular Characterization of a Novel Family of Trypanosoma cruzi Surface Membrane Proteins (TcSMP) Involved in Mammalian Host Cell Invasion (2015) (34)
Mechanism of resistance to lysis by the alternative complement pathway in Trypanosoma cruzi trypomastigotes: effect of specific monoclonal antibody. (1986) (34)
Session-Based Communication Optimisation for Higher-Order Mobile Processes (2009) (33)
A recombinant protein based on the Trypanosoma cruzi metacyclic trypomastigote 82-kilodalton antigen that induces and effective immune response to acute infection (1996) (33)
Optimal reduction in weak-λ-calculus with shared environments (1993) (33)
Replication in Concurrent Combinators (1994) (33)
Buffered Communication Analysis in Distributed Multiparty Sessions (2010) (33)
Suptyping and Locality in Distributed Higher Order Processes (extended abstract) (1999) (32)
Safe Parallel Programming with Session Java (2011) (31)
Trypanosoma cruzi metacyclic trypomastigotes: neutralization by the stage‐specific monoclonal antibody 1G7 and immunogenicity of 90 kD surface antigen (1988) (31)
Channel dependent types for higher-order mobile processes (2004) (30)
Strong normalisation in the /spl pi/-calculus (2001) (30)
Verifying message-passing programs with dependent behavioural types (2019) (30)
Characterization of Trypanosoma cruzi Sirtuins as Possible Drug Targets for Chagas Disease (2015) (29)
Calcineurin B of the human protozoan parasite Trypanosoma cruzi is involved in cell invasion. (2008) (29)
Differential Infectivity by the Oral Route of Trypanosoma cruzi Lineages Derived from Y Strain (2012) (28)
Session-ocaml: A Session-Based Library with Polarities and Lenses (2017) (28)
Logical Reasoning for Higher-Order Functions with Local State (2007) (28)
Cell Adhesion and Ca2+ Signaling Activity in Stably Transfected Trypanosoma cruzi Epimastigotes Expressing the Metacyclic Stage-Specific Surface Molecule gp82 (2003) (28)
Resistance to acute Trypanosoma cruzi infection resulting from immunization of mice with a 90-kilodalton antigen from metacyclic trypomastigotes (1991) (28)
Characterization of the infective properties of a new genetic group of Trypanosoma cruzi associated with bats. (2011) (27)
Pabble: parameterised Scribble (2015) (27)
Mammalian cell invasion by closely related Trypanosoma species T. dionisii and T. cruzi. (2012) (27)
Verification of MPI Programs Using Session Types (2012) (27)
Pabble: Parameterised Scribble for Parallel Programming (2014) (26)
Reversible session-based pi-calculus (2015) (26)
Synchronous Multiparty Session Types (2009) (26)
Molecular basis of non-virulence of Trypanosoma cruzi clone CL-14. (2004) (26)
On the Relative Expressiveness of Higher-Order Session Processes (2016) (26)
Characterization of a cDNA clone encoding the carboxy-terminal domain of a 90-kilodalton surface antigen of Trypanosoma cruzi metacyclic trypomastigotes (1993) (25)
Structuring Communication with Session Types (2014) (25)
On asynchronous eventful session semantics (2014) (25)
On Asynchronous Session Semantics (2011) (24)
Statically verified refinements for multiparty protocols (2020) (24)
Descriptive and Relative Completeness of Logics for Higher-Order Functions (2006) (24)
Enzymes of the Ornithine‐Arginine Metabolism of Trypanosomatids of the Genus Crithidia* (1978) (24)
Typed event structures and the linear pi-calculus (2010) (24)
Purification, characterization and amino-acid sequencing of two pancreatic secretory trypsin inhibitors in rat pancreatic juice. (1988) (24)
Enzymes of the Ornithine‐Arginine Metabolism of Trypanosomatids of the Genus Herpetomonas* (1978) (24)
Unique behavior of Trypanosoma cruzi mevalonate kinase: A conserved glycosomal enzyme involved in host cell invasion and signaling (2016) (23)
Session Types with Linearity in Haskell (2017) (23)
Expression and cellular trafficking of GP82 and GP90 glycoproteins during Trypanosoma cruzi metacyclogenesis (2013) (23)
Dynamic deadlock verification for general barrier synchronisation (2015) (23)
A compositional logic for polymorphic higher-order functions (2004) (23)
Event Structure Semantics of (controlled) Reversible CCS (2018) (22)
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes (2008) (21)
Developing secure bitcoin contracts with BitML (2019) (21)
Cross-reactive polysaccharides from Trypanosoma cruzi and fungi (especially Dactylium dendroides). (1986) (21)
Compositional Event Structure Semantics for the Internal pi -Calculus (2007) (20)
Unique behavior of Trypanosoma dionisii interacting with mammalian cells: invasion, intracellular growth, and nuclear localization. (2009) (20)
Asynchronous Session Types: Exceptions and Multiparty Interactions (2009) (20)
Characteristic Formulae for Session Types (2016) (19)
Web Services, Mobile Processes and Types (2007) (19)
Multiparty Symmetric Sum Types (2010) (19)
Enucleated L929 Cells Support Invasion, Differentiation, and Multiplication of Trypanosoma cruzi Parasites (2007) (19)
Host cell protein LAMP‐2 is the receptor for Trypanosoma cruzi surface molecule gp82 that mediates invasion (2019) (19)
Timed, Distributed, Probabilistic, Typed Processes (2007) (18)
Structured Global Programming for Communication Behaviour (2006) (18)
Certifying Data in Multiparty Session Types (2017) (18)
Theoretical Aspects of Communication-Centred Programming (2008) (18)
Precise subtyping for asynchronous multiparty sessions (2020) (18)
Immune responses to gp82 provide protection against mucosal Trypanosoma cruzi infection. (2010) (17)
Expression and genome-wide distribution of the gene family encoding a 90 kDa surface glycoprotein of metacyclic trypomastigotes of Trypanosoma cruzi. (2002) (17)
A Cytoplasmic New Catalytic Subunit of Calcineurin in Trypanosoma cruzi and Its Molecular and Functional Characterization (2014) (17)
A uniform type structure for secure information flow (2007) (17)
Expression of GP82 and GP90 surface glycoprotein genes of Trypanosoma cruzi during in vivo metacyclogenesis in the insect vector Rhodnius prolixus. (2008) (17)
Subtyping and locality in distributed higher order processes (1999) (17)
Session-Based Compilation Framework for Multicore Programming (2009) (17)
Typed Event Structures and the p-Calculus (2006) (17)
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings (2017) (16)
A Very Gentle Introduction to Multiparty Session Types (2020) (16)
Membrane-associated phospholipase A2 stimulates DNA synthesis in two murine fibroblasts. (1992) (16)
Reactivity of stage‐specific monoclonal antibody 1G7 with metacyclic trypomastigotes of Trypanosoma cruzi strains: lytic property and 90 000 mol. wt surface antigen polymorphism (1988) (16)
Inhibition of Host Cell Lysosome Spreading by Trypanosoma cruzi Metacyclic Stage-Specific Surface Molecule gp90 Downregulates Parasite Invasion (2017) (16)
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (2020) (16)
Host cell invasion and oral infection by Trypanosoma cruzi strains of genetic groups TcI and TcIV from chagasic patients (2016) (15)
Depending on Session-Typed Processes (2018) (15)
A Multiparty Multi-session Logic (2012) (15)
Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators (2002) (15)
Noninterference through flow analysis (2005) (15)
Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side (2019) (15)
Trypanosoma cruzi: antibody production and T cell response induced by stage-specific surface glycoproteins purified from metacyclic trypomastigotes. (1993) (14)
Surface Molecules Released by Trypanosoma cruzi Metacyclic Forms Downregulate Host Cell Invasion (2016) (14)
A macromolecule-free partially defined medium for Trypanosoma cruzi. (1975) (14)
Fibronectin-Degrading Activity of Trypanosoma cruzi Cysteine Proteinase Plays a Role in Host Cell Invasion (2014) (14)
Type-Based Liveness Guarantee in the Presence of Nontermination and Nondeterminism (2002) (14)
Probabilistic pi-Calculus and Event Structures (2007) (14)
SYSTEMATIC STUDIES ON PROCTOTRUPOID AND CHALCIDOID PARASITES OF GALL MIDGES INJURIOUS TO PINUS AND CRYPTOMERIA IN JAPAN AND KOREA (HYMENOPTERA) (1979) (13)
Implementing Multiparty Session Types in Rust (2020) (13)
Multiparty Session Programming with Global Protocol Combinators (2020) (13)
Communication-safe web programming in TypeScript with routed multiparty session types (2021) (13)
Molecular Characterization of Trypanosoma cruzi SAP Proteins with Host-Cell Lysosome Exocytosis-Inducing Activity Required for Parasite Invasion (2013) (13)
Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract) (1998) (12)
Dynamic Channel Screening in the Higher Order pi-Calculus (2002) (12)
On the Undecidability of Asynchronous Session Subtyping (2017) (12)
A Parametric Framework for Reversible Pi-Calculi (2018) (12)
Towards Reversible Sessions (2014) (11)
On Observing Dynamic Prioritised Actions in SOC (2009) (11)
Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) (2020) (11)
Towards a Categorical Representation of Reversible Event Structures (2017) (11)
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes (2021) (11)
Heterologous Expression of A Trypanosoma Cruzi Surface Glycoprotein (Gp82) In Mammalian Cells Indicates the Existence of Different Signal Sequence Requirements and Processing (1999) (11)
Depletion of Host Cell Focal Adhesion Kinase Increases the Susceptibility to Invasion by Trypanosoma cruzi Metacyclic Forms (2019) (11)
Induction of proinflammatory cytokines and nitric oxide by Trypanosoma cruzi in renal cells (2011) (10)
Using session types as an effect system (2016) (10)
Trustworthy Pervasive Healthcare Services via Multiparty Session Types (2012) (10)
Session-based Type Discipline for Pi Calculus with Matching (2009) (10)
A Sound Algorithm for Asynchronous Session Subtyping (2019) (10)
Expression and Cellular Localization of Molecules of the gp82 Family in Trypanosoma cruzi Metacyclic Trypomastigotes (2007) (10)
On the Expressiveness of Multiparty Sessions (2015) (10)
Effpi: verified message-passing programs in Dotty (2019) (10)
CAMP: cost-aware multiparty session protocols (2020) (9)
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes (2019) (9)
Adhesion of Escherichia coli to HeLa Cells Mediated byTrypanosoma cruzi Surface Glycoprotein-Derived Peptides Inserted in the Outer Membrane Protein LamB (1999) (9)
Co-infection with Trypanosoma cruzi protects mice against early death by neurological or pulmonary disorders induced by Plasmodium berghei ANKA (2007) (9)
Multiparty Session Type-safe Web Development with Static Linearity (2019) (9)
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion (2014) (9)
safeDpi: A Language for Controlling Mobile Code (Extended Abstract) (2004) (8)
Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday (2016) (8)
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance (2010) (8)
Trypanolytic activity and antibodies to metacyclic trypomastigotes of Trypanosoma cruzi in non‐Chagasic human sera (1987) (8)
Featherweight go (2020) (8)
Characteristic bisimulation for higher-order session processes (2015) (8)
Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus (2014) (8)
Interconnectability of Session-Based Logical Processes (2018) (8)
Strong Normalisation in the π-Cal ulus (2001) (8)
Isolation and characterisation of genomic and cDNA clones coding for a serine-, alanine-, and proline-rich protein of Trypanosoma cruzi. (2001) (8)
The gp82 surface molecule of Trypanosoma cruzi metacyclic forms. (2014) (8)
Polymorphic Session Processes as Morphisms (2019) (7)
Trypanosoma cruzi Cell Invasion Mechanisms (2003) (7)
Resistance of mice immunized with killed culture trypomastigotes against infection by insect-derived trypomastigotes of Trypanosoma cruzi. (1984) (7)
Compiling first-order functions to session-typed parallel code (2020) (7)
Reversing Single Sessions (2015) (7)
Featherweight Scribble (2019) (7)
EMTST: Engineering the Meta-theory of Session Types (2020) (7)
A Parametric Framework for Reversible π-Calculi (2020) (7)
A Tool for Choreography-Based Analysis of Message-Passing Software (2017) (7)
Multiparty Session Nets (2014) (7)
Safe Session-Based Asynchronous Coordination in Rust (2021) (7)
Session types: towards safe and fast reconfigurable programming (2012) (7)
Engineering a single-chain antibody against Trypanosoma cruzi metacyclic trypomastigotes to block cell invasion (2019) (6)
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (2005) (6)
Global Progress in Dynamically Merged Multiparty Sessions (2008) (6)
Multiparty motion coordination: from choreographies to robotics programs (2020) (6)
Deadlock-free asynchronous message reordering in rust with multiparty session types (2021) (6)
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types (2022) (6)
Staphylococci adherence to trypanosomes exposed to immune sera as a method for the diagnosis of Chagas' disease. (1983) (6)
Oral infection of mice and host cell invasion by Trypanosoma cruzi strains from Mexico (2019) (6)
Typed Event Structures and the π-Calculus – Extended (5)
Motion Session Types for Robotic Interactions (Brave New Idea Paper) (2019) (5)
Structural Studies on the Glycosylphosphatidylinositol Membrane Anchor of Trypanosoma cruxi 1 G 7-antigen (2001) (5)
Two sides of the same coin: Session Types and Game Semantics (2019) (5)
Generating Interactive WebSocket Applications in TypeScript (2020) (5)
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051) (2017) (5)
Multiparty session types, beyond duality (2018) (5)
Lightweight Session Programming in Scala (Artifact) (2016) (5)
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation (2019) (5)
Secure Execution of Distributed Session Programs (2011) (4)
Scalable Session Programming for Heterogeneous High-Performance Systems (2013) (4)
Type-Directed Compilation for Multicore Programming (2009) (4)
Formal Analysis of a Distributed Object-Oriented Language and Runtime (2004) (4)
Correction: Role of GP82 in the Selective Binding to Gastric Mucin during Oral Infection with Trypanosoma cruzi (2010) (4)
Towards a Formal Account for Software Transactional Memory (2020) (4)
On Reduction-Based Semantics (1993) (4)
Local State in Hoare Logic for Imperative Higher-Order Functions (2005) (4)
Artifact for Distributed Programming using Role-Parametric Session Types in Go (2018) (4)
Game Semantics: Easy as Pi (2020) (4)
Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version) (2020) (4)
Interaction of Trypanosoma cruzi Gp82 With Host Cell LAMP2 Induces Protein Kinase C Activation and Promotes Invasion (2021) (4)
Assigning Types to Pro esses (2000) (4)
Assigning Types to Processes (Extended Abstract) (2000) (4)
Protocol-based verification of MPI programs (2014) (4)
A Symbolic Semantics for a Calculus for Service-Oriented Computing (2009) (4)
Causal Computational Complexity of Distributed Processes (2018) (4)
Compositional Event Structure Semantics for the π-Calculus (2007) (3)
Heterologous expression of a trypanosoma cruzi surface glycoprotein (gp82) indicates that requirements for glycosylphosphatidylinositol anchoring are different in mammalian cells and this trypanosome. (1999) (3)
Engineering the Meta-Theory of Session Types (2019) (3)
Intensional and Extensional Characterisation of Global Progress in the π-Calculus (2012) (3)
Signal peptide recognition in Trypanosoma cruzi GP82 adhesin relies on its localization at protein N-terminus (2019) (3)
Organization and expression of a multigene family encoding the surface glycoproteins of Trypanosoma cruzi metacyclic trypomastigotes involved in the cell invasion. (1999) (3)
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version (2022) (3)
CONCUR 2004 - Concurrency Theory (2004) (3)
Beta-adrenergic antagonist propranolol inhibits mammalian cell lysosome spreading and invasion by Trypanosoma cruzi metacyclic forms. (2017) (3)
CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (2004) (3)
Language and Runtime Implementation of Sessions for Java (2007) (3)
Antigen characterization of vector-borne and cultured metacyclic trypomastigotes of Trypanosoma cruzi. (1986) (3)
Typed Event Structures and the pi-Calculus: Extended Abstract (2006) (3)
Expression and cellular trafficking of GP82 and GP90 glycoproteins during Trypanosoma cruzi metacyclogenesis (2013) (3)
Zooid: a DSL for Certified Multiparty Computation (2021) (3)
Type-Safe Communication in Java with Session Types (2007) (3)
Generality and diversity of winged bean (Psophocarpus tetragonolobus) protein in eight various lines. (1983) (2)
Type-Based Verification of Message-Passing Parallel Programs (2014) (2)
Probabilistic -Calculus and Event Structures 1 (2007) (2)
10 Session Types with Linearity in Haskell (2017) (2)
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report) (2022) (2)
A Unified Theory of Program Logics: An Approach based on the π-Calculus (2008) (2)
Gp35/50 mucin molecules of Trypanosoma cruzi metacyclic forms that mediate host cell invasion interact with annexin A2 (2022) (2)
A Sound Algorithm for Asynchronous Session Subtyping (extended version) (2019) (2)
Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (2006) (1)
Generic go to go: dictionary-passing, monomorphisation, and hybrid (2022) (1)
Modal Logics for Typed Mobile Processes (2008) (1)
Precise Subtyping for Asynchronous Multiparty Sessions (2022) (1)
Characteristic bisimulation for higher-order session processes (2016) (1)
Journal of Logical and Algebraic Methods in Programming Multiparty session types, beyond duality (2018) (1)
Logics for Imperative Higher-Order Functions with Aliasing and Local State : Thee Completeness Results (2006) (1)
Event structures for the reversible early internal Pi-calculus (2020) (1)
CAMP: Cost-Aware Multiparty Session Protocols (artifact) (2020) (1)
Protocol-Driven MPI Program Generation (1)
The SJ Framework for Transport-Independent, Type-Safe, Object-Oriented Communications Programming (2009) (1)
Multiparty Session Types as Communicating Automata : Characterisation and Synthesis (2012) (1)
Dynamic Deadlock Verification for General Barrier Synchronisation (2018) (1)
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software: Preface (2016) (1)
Specification and Verification of Protocols for MPI Programs (2013) (1)
On the Expressiveness of Mixed Choice Sessions (Technical Report) (2022) (1)
EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits (2016) (1)
Hybrid Multiparty Session Types - Full Version (2023) (1)
Motion Session Types for Robotic Interactions (2019) (1)
Type Safety without Subject Reduction for Session Types (2010) (1)
Multiparty Session Programming with Global Protocol Combinators (Artifact) (2020) (1)
On the Expressiveness of Multiparty Session Types (2015) (1)
Shedding of Trypanosoma cruzi Surface Molecules That Regulate Host Cell Invasion Involves Phospholipase C and Increases Upon Sterol Depletion (2021) (1)
Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) (2019) (1)
A Compositional Program Logic for Imperative Higher-Order Functions (2004) (1)
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types (2021) (1)
L O ] 2 3 O ct 2 01 5 Characteristic Formulae for Session Types ( extended version ) (0)
Precise Subtyping for Asynchronous Multiparty Sessions (2023) (0)
A Type Discipline for Message Passing Parallel Programs (2022) (0)
, L M immune response to acute infection . 82-kilodalton antigen that induces and effective Trypanosoma cruzi metacyclic trypomastigote A recombinant protein based (1996) (0)
Examples for Multiparty Asynchronous Session Types (2007) (0)
Raymond Hu Concurrent Combinators for Mobile Processes (2006) (0)
Special theme Software Quality 25 years ERCIM : Challenges for ICST (0)
On Polymorphic Sessions and Functions (2021) (0)
Proceedings 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (2013) (0)
Scaling Future Software: The Manycore Challenge (2014) (0)
Multiparty session types as coherence proofs (2016) (0)
Dependent Session Types for Evolving Multiparty Communication Topologies (2009) (0)
Calculating communication costs with Sessions Types and Sizes (2014) (0)
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact) (2022) (0)
Service Equivalence via Multiparty Session Type Isomorphisms (2019) (0)
Control in the π-Calculus [ Extended (2003) (0)
Liveness and Safety for Channel-Based Programming (2016) (0)
Comparison of a virulent and a non virulent strain of Trypanosoma cruzi: clearance of different evolutive forms (1989) (0)
the Outer Membrane Protein LamB Glycoprotein-Derived Peptides Inserted in Mediated byTrypanosoma cruzi Surface Adhesion of Escherichia coli to HeLa Cells (2013) (0)
Theory and Applications of Behavioural Types (2017) (0)
CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce (2022) (0)
Characteristic Formulae for Session Types (extended version) (2015) (0)
Towards Bidirectional Synchronization Between Communicating Processes and Session Types (2019) (0)
Mobile Programming with Ambients (2005) (0)
Global Type Local Type Local Type Local Type Endpoint Process Monitor Endpoint Process Monitor Static (2017) (0)
Guest editors' foreword (2017) (0)
Preface (2012) (0)
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness (2015) (0)
Depletion of Na+/H+ Exchanger Isoform 1 Increases the Host Cell Resistance to Trypanosoma cruzi Invasion (2022) (0)
34 : 2 A Sound Algorithm for Asynchronous Session Subtyping (2019) (0)
1 Deductive Verification of MPI Protocols (2017) (0)
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection (2023) (0)
Tool and Benchmarks for Article (2020) (0)
Timed runtime monitoring for multiparty conversations (2017) (0)
Service Equivalence via Multiparty Session Type Isomorphisms Assel (2019) (0)
Signal peptide recognition in Trypanosoma cruzi GP82 adhesin relies on its localization at protein N-terminus (2019) (0)
Cell signaling duringTrypanosoma cruzi invasion (2012) (0)
Structure and transcription of genes encoding the surface glycoprotein antigens gp90 and gp82 of Trypanosoma cruzi metacyclic trypomastigotes (2000) (0)
2 The Finite Differences Algorithm and Common Coding Faults (2017) (0)
Excretion of urea and ammonia in Trypanosomatidae Organism (0)
Editorial: World Chagas disease day 2022 (2023) (0)
Armus : dynamic deadlock verification for barriers (2014) (0)
Formal Techniques for Distributed Objects, Components, and Systems (2019) (0)
Immune responses to gp 82 provide protection against mucosal Trypanosoma cruzi infection (0)
Typed Lambda Calculi and Applications (2001) (0)
Pabble: parameterised Scribble (2014) (0)
GRAPH TYPES FOR MONADIC MOBILE PROCESSES(Concurrency Theory and Applications '96) (1997) (0)
ABCD Report: 2017 (2017) (0)
The 90kDa surface antigen of metacyclic forms of Trypanosoma cruzi. (1988) (0)
Deadlines Together (0)
Dedicated to Giuseppe Longo at the occasion of his 60th birth day (2008) (0)
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (2014) (0)
Synthesis of Graphical Choreographies (2014) (0)
Oral infection of mice and host cell invasion by Trypanosoma cruzi strains from Mexico (2019) (0)
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016 (2016) (0)
Editorial: Unravelling T. cruzi Biology (2020) (0)
Editorial (2006) (0)
CONCUR Test-Of-Time Award 2022 (2021) (0)
2 Motivations : A Use Case of Compositional Choreographies (2013) (0)
Host cell invasion and oral infection by Trypanosoma cruzi strains of genetic groups TcI and TcIV from chagasic patients (2016) (0)
1 Dynamic Deadlock Verification for General Barrier Synchronisation (2018) (0)
Specifying Secure Mobile Applications (2005) (0)
Multiparty Session Types, Beyond Duality (Abstract) (2017) (0)
Strong Normalisation in the n-Calculus (Extended Abstract) (2001) (0)
4 How to Verify Your Python Conversations (2017) (0)
Kent Academic Repository (2011) (0)
Reduction Theories for Concurrent Calculi (2007) (0)
Stage-Specific 82-Kilodalton Adhesion Molecule of Trypanosoma cruzi (2003) (0)
21 : 2 Lightweight Session Programming in Scala Client Frontend (2016) (0)

This paper list is powered by the following services:

Other Resources About Nobuko Yoshida

en.wikipedia.org

What Schools Are Affiliated With Nobuko Yoshida?

Nobuko Yoshida is affiliated with the following schools: