Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Nobuko Yoshida

A Cytoplasmic New Catalytic Subunit of Calcineurin in Trypanosoma Cruzi and Its Molecular and Functional Characterization

PLoS Neglected Tropical Diseases
PharmacologyPublic HealthEnvironmentalToxicologyInfectious DiseasesPharmaceuticsOccupational Health
2014English

Differential Infectivity by the Oral Route of Trypanosoma Cruzi Lineages Derived From Y Strain

PLoS Neglected Tropical Diseases
PharmacologyPublic HealthEnvironmentalToxicologyInfectious DiseasesPharmaceuticsOccupational Health
2012English

On the Relative Expressiveness of Higher-Order Session Processes

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2019English

Dynamic Multirole Session Types

ACM SIGPLAN Notices
Computer Science
2011English

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Certifying Data in Multiparty Session Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Session-Ocaml: A Session-Based Library With Polarities and Lenses

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Causality in Linear Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Type Checking Liveness for Collaborative Processes With Bounded and Unbounded Recursion

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

On the Preciseness of Subtyping in Session Types

2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy