Hiroya Fujinami

According to our database, Hiroya Fujinami authored at least 8 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

A Variety of Request-Response Specifications.

Daichi Aiba, Masaki Waga, Hiroya Fujinami, Koko Muroya, Shutaro Ouchi, Naoki Ueda, Yosuke Yokoyama, Yuta Wada, Ichiro Hasuo

CoRR, September, 2025

Componentwise Automata Learning for System Integration (Extended Version).

Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo

CoRR, August, 2025

Artifact Archive for "Componentwise Automata Learning for System Integration".

Hiroya Fujinami, Masaki Waga, Ichiro Hasuo

Dataset, July, 2025

Componentwise Automata Learning for System Integration.

Hiroya Fujinami, Masaki Waga, Jie An, Kohei Suenaga, Nayuta Yanagisawa, Hiroki Iseri, Ichiro Hasuo

Proceedings of the Automated Technology for Verification and Analysis, 2025

2024

Artifact Archive for memo-regex: linear-time regex matching implementation with memoization.

Hiroya Fujinami, Ichiro Hasuo

Dataset, January, 2024

A bound on relative lengths of triangle-free graphs.

Hiroya Fujinami, Akira Saito

Discret. Math., 2024

Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping (Extended Version).

Hiroya Fujinami, Ichiro Hasuo

CoRR, 2024

Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping.

Hiroya Fujinami, Ichiro Hasuo

Proceedings of the Programming Languages and Systems, 2024