Login / Signup
Yutaro Nagae
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Real Valued
Distributed Systems
Graph Theoretic
Computer Systems
Top Venues
WPTE@FSCD
</>
Publications
</>
Yutaro Nagae
,
Masahiko Sakai
Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems.
WPTE@FSCD
(2017)
Yutaro Nagae
,
Masahiko Sakai
,
Hiroyuki Seki
An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems.
WPTE@FSCD
(2016)