Nanostraw membrane stamping for direct delivery of molecules into adhesive cells von Zhang, Bowen, Shi, Yiming, Miyamoto, Daisuke, Nakazawa, Koji, Miyake, Takeo

Volltext

Synthesis of a Peptide-Human Telomere DNA Conjugate as a Fluorometric Imaging Reagent for Biological Sodium Ion von SATO, Shinobu, IMAICHI, Yuuki, YOSHIURA, Yukiko, NAKAZAWA, Koji, TAKENAKA, Shigeori

Volltext

Decidable entailment checking for concurrent separation logic with fractional permissions von Yeonseok, LEE, Koji, NAKAZAWA

Volltext

Z property for the shuffling calculus von Nakazawa, Koji, Fujita, Ken-etsu, Imagawa, Yuta

Volltext

Failure of Cut-Elimination in Cyclic Proofs of Separation Logic von Daisuke, KIMURA, Koji, NAKAZAWA, Tachio, TERAUCHI, Hiroshi, UNNO

Volltext

Restriction on Cut in Cyclic Proof System for Symbolic Heaps von Saotome, Kenji, Nakazawa, Koji, Kimura, Daisuke

Volltext

Spatial Factorization in Cyclic-Proof System for Separation Logic von Koji, NAKAZAWA, Makoto, TATSUTA, Daisuke, KIMURA, Mitsuru, YAMAMURA

Volltext

Bi-Abduction in Separation Logic with Arrays and Lists for Program Analysis von Daisuke, KIMURA, Makoto, TATSUTA, Faisal, AL AMEEN Mahmudul, Mirai, IKEBUCHI, Koji, NAKAZAWA

Volltext

Restriction on cut rule in cyclic-proof system for symbolic heaps von Saotome, Kenji, Nakazawa, Koji, Kimura, Daisuke

Volltext

Compositional Z: Confluence Proofs for Permutative Conversion von Nakazawa, Koji, Fujita, Ken-etsu

Volltext

Introduction to FLOPS2018 von TSUSHIMA, Kanae, NAKAZAWA, Koji, TATSUTA, Makoto

Volltext

Extensional Models of Untyped Lambda-mu Calculus von Nakazawa, Koji, Katsumata, Shin-ya

Volltext

Monadic translation of classical sequent calculus von ESPÍRITO SANTO, JOSÉ, MATTHES, RALPH, NAKAZAWA, KOJI, PINTO, LUÍS

Volltext

Confluence Proofs of Lambda-Mu-Calculi by Z Theorem von Honda, Yuki, Nakazawa, Koji, Fujita, Ken-etsu

Volltext

Compositional Z: Confluence Proofs for Permutative Conversion von Nakazawa, Koji, Fujita, Ken-etsu

Volltext

Confluence for classical logic through the distinction between values and computations von Espírito Santo, José, Matthes, Ralph, Nakazawa, Koji, Pinto, Luís

Volltext

Strong Reduction of Combinatory Calculus with Streams von Nakazawa, Koji, Naya, Hiroto

Volltext

Synthesis of peptide-human telomere DNA conjugate as fluorometric imaging reagent for biological sodium ion von SATO, Shinobu, IMAICHI, Yuuki, YOSHIURA, Yukiko, NAKAZAWA, Koji, TAKENAKA, Shigeori

Volltext

Chemoenzymatic Synthesis of Poly(3-hydroxybutyrate) in a Water-Organic Solvent Two-Phase System von Tajima, Kenji, Satoh, Yasuharu, Nakazawa, Koji, Tannai, Hatsumi, Erata, Tomoki, Munekata, Masanobu, Kamachi, Motoaki, Lenz, Robert W

Volltext

Strong normalization proof with CPS-translation for second order classical natural deduction von Nakazawa, Koji, Tatsuta, Makoto

Volltext