Suchergebnisse - KATSURA HIROYUKI

1

Higher-Order Property-Directed Reachability von Katsura, Hiroyuki, Kobayashi, Naoki, Sato, Ryosuke

Veröffentlicht in Proceedings of ACM on programming languages

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

On Higher-Order Reachability Games Vs May Reachability von Asada, Kazuyuki, Katsura, Hiroyuki, Kobayashi, Naoki

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

On Higher-Order Reachability Games vs May Reachability von Asada, Kazuyuki, Katsura, Hiroyuki, Kobayashi, Naoki

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Simulation of the Flow-Induced Acoustic Vibration and Noise Generation in a Multi-Stage Centrifugal Pump von JIANG, Yu Yan, YOSHIMURA, Shinobu, IMAI, Ryuta, KATSURA, Hiroyuki, YOSHIDA, Tetsuya, KATO, Chisachi

Veröffentlicht in TRANSACTIONS OF THE JAPAN SOCIETY OF MECHANICAL ENGINEERS Series C

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

SLOPT: Bandit Optimization Framework for Mutation-Based Fuzzing von Koike, Yuki, Katsura, Hiroyuki, Yakura, Hiromu, Kurogome, Yuma

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

On Higher-Order Reachability Games vs May Reachability von Asada, Kazuyuki, Katsura, Hiroyuki, Kobayashi, Naoki

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem von Katsura, Hiroyuki, Kobayashi, Naoki, Sakayori, Ken, Sato, Ryosuke

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

COMMUNICATION DEVICE, ROUTER, SETTING METHOD, AND PROGRAM von MIZUNO YOICHIRO, KATSURA HIROYUKI

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

$A New Refinement Type System for Automated νHFLZ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\nu \text {HFL}_\mathbb {Z}$$\end{document} Validity Checking$

A New Refinement Type System for Automated νHFLZ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbs... von Katsura, Hiroyuki, Iwayama, Naoki, Kobayashi, Naoki, Tsukada, Takeshi

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Simulation of the Flow-Induced Acoustic Vibration and Noise Generation in a Multi-Stage Centrifugal Pump von Yan, Yu, Yoshimura, Shinobu, Imai, Ryuta, Katsura, Hiroyuki, Yoshida, Tetsuya, Kato, Chisachi

Veröffentlicht in Nihon Kikai Gakkai ronbunshū. C

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

TRIMMING DEVICE OF STEEL PLATE von KATSURA HIROYUKI

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Fluid-Structure Coupled Analysis of a Multi-stage Centrifugal Pump 1st Report: Large Eddy Simulation of Unsteady Flow in a Centrifugal Pump von WANG, Hong, KATO, Chisachi, YAMADE, Yoshinobu, KATSURA, Hiroyuki, YOSHIDA, Tetsuya

Veröffentlicht in SEISAN KENKYU

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Single-shaft multistage pump von CHIBA, YOSHIMASA, KATSURA, HIROYUKI, ABE, DAIMON, ISHIKAWA, CHOICHI

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

NONWOVEN FABRIC ROLL von KATSURA HIROYUKI, KUMEMURA YOSHIYUKI

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

SUBMERGED METAL PUMP FOR LIQUID METAL von KATSURA HIROYUKI, YOSHINO SHINICHI, OYAMA HIROSHI

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

MONITORING AND DIAGNOSING APPARATUS FOR ABNORMALITY OF ROTATING MACHINE von KATSURA HIROYUKI, KASAI KENICHI

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Single-shaft multistage pump von Chiba, Yoshimasa, Ishikawa, Choichi, Katsura, Hiroyuki, Abe, Daimon

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Single-shaft multistage pump von KATSURA HIROYUKI, ISHIKAWA CHOICHI, CHIBA YOSHIMASA, ABE DAIMON

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

PUMP AND ITS MANUFACTURING METHOD von OKADA RYOJI, TAGUCHI KEIJI, KATSURA HIROYUKI, UEYAMA TOSHIHARU

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Multi-stage diffuse-type centrifugal pump von OKADA, AKIHISA, KATSURA, HIROYUKI

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[43]

Higher-Order Property-Directed Reachability von Katsura, Hiroyuki, Kobayashi, Naoki, Sato, Ryosuke

On Higher-Order Reachability Games Vs May Reachability von Asada, Kazuyuki, Katsura, Hiroyuki, Kobayashi, Naoki

On Higher-Order Reachability Games vs May Reachability von Asada, Kazuyuki, Katsura, Hiroyuki, Kobayashi, Naoki

Simulation of the Flow-Induced Acoustic Vibration and Noise Generation in a Multi-Stage Centrifugal Pump von JIANG, Yu Yan, YOSHIMURA, Shinobu, IMAI, Ryuta, KATSURA, Hiroyuki, YOSHIDA, Tetsuya, KATO, Chisachi

SLOPT: Bandit Optimization Framework for Mutation-Based Fuzzing von Koike, Yuki, Katsura, Hiroyuki, Yakura, Hiromu, Kurogome, Yuma

On Higher-Order Reachability Games vs May Reachability von Asada, Kazuyuki, Katsura, Hiroyuki, Kobayashi, Naoki

Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem von Katsura, Hiroyuki, Kobayashi, Naoki, Sakayori, Ken, Sato, Ryosuke

COMMUNICATION DEVICE, ROUTER, SETTING METHOD, AND PROGRAM von MIZUNO YOICHIRO, KATSURA HIROYUKI

A New Refinement Type System for Automated νHFLZ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbs... von Katsura, Hiroyuki, Iwayama, Naoki, Kobayashi, Naoki, Tsukada, Takeshi

Simulation of the Flow-Induced Acoustic Vibration and Noise Generation in a Multi-Stage Centrifugal Pump von Yan, Yu, Yoshimura, Shinobu, Imai, Ryuta, Katsura, Hiroyuki, Yoshida, Tetsuya, Kato, Chisachi

TRIMMING DEVICE OF STEEL PLATE von KATSURA HIROYUKI

Fluid-Structure Coupled Analysis of a Multi-stage Centrifugal Pump 1st Report: Large Eddy Simulation of Unsteady Flow in a Centrifugal Pump von WANG, Hong, KATO, Chisachi, YAMADE, Yoshinobu, KATSURA, Hiroyuki, YOSHIDA, Tetsuya

Single-shaft multistage pump von CHIBA, YOSHIMASA, KATSURA, HIROYUKI, ABE, DAIMON, ISHIKAWA, CHOICHI

NONWOVEN FABRIC ROLL von KATSURA HIROYUKI, KUMEMURA YOSHIYUKI

SUBMERGED METAL PUMP FOR LIQUID METAL von KATSURA HIROYUKI, YOSHINO SHINICHI, OYAMA HIROSHI

MONITORING AND DIAGNOSING APPARATUS FOR ABNORMALITY OF ROTATING MACHINE von KATSURA HIROYUKI, KASAI KENICHI

Single-shaft multistage pump von Chiba, Yoshimasa, Ishikawa, Choichi, Katsura, Hiroyuki, Abe, Daimon

Single-shaft multistage pump von KATSURA HIROYUKI, ISHIKAWA CHOICHI, CHIBA YOSHIMASA, ABE DAIMON

PUMP AND ITS MANUFACTURING METHOD von OKADA RYOJI, TAGUCHI KEIJI, KATSURA HIROYUKI, UEYAMA TOSHIHARU

Multi-stage diffuse-type centrifugal pump von OKADA, AKIHISA, KATSURA, HIROYUKI

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle