Articles with public access mandates - Naoki KobayashiLearn more
Available somewhere: 5
Deadlock analysis of unbounded process networks
E Giachino, N Kobayashi, C Laneve
CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014
Mandates: European Commission
Deadlock analysis of unbounded process networks
N Kobayashi, C Laneve
Information and Computation 252, 48-70, 2017
Mandates: European Commission
On the termination problem for probabilistic higher-order recursive programs
N Kobayashi, U Dal Lago, C Grellois
Logical Methods in Computer Science 16, 2020
Mandates: Agence Nationale de la Recherche
Fold/unfold transformations for fixpoint logic
N Kobayashi, G Fedyukovich, A Gupta
International Conference on Tools and Algorithms for the Construction and …, 2020
Mandates: US National Science Foundation
On Higher-Order Reachability Games Vs May Reachability
K Asada, H Katsura, N Kobayashi
International Conference on Reachability Problems, 108-124, 2022
Mandates: Japan Science and Technology Agency
Publication and funding information is determined automatically by a computer program