PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kobayashi, Naoki"

Author of the publication

copydeleteadd this publication to your clipboard
A generic type system for the Pi-calculus.

, and . Theor. Comput. Sci., 311 (1-3): 121-163 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Kobayashi, Naoki
add a person with the name Kobayashi, Naoki
 

Other publications of authors with the same name

Functional programs as compressed data., , , and . Higher-Order and Symbolic Computation, 25 (1): 39-84 (2012)Time-frequency structure of image motion vectors around cybersickness intervals determined with biosignals., , , and . Displays, 29 (2): 176-183 (2008)Information and Computation special issue from TACS 2001., and . Inf. Comput., 186 (2): 163-164 (2003)Time Adaptive Motion Estimation Method For Software-Based Real-Time Video Coding., , and . ICME, IEEE Computer Society, (2001)Bayesian Perspective of Optimal Checkpoint Placement., and . HASE, page 143-152. IEEE Computer Society, (2005)Optimal Transparent Wavelength and Arrangement for Multispectral Filter Array., , , , , , and . Image Processing: Algorithms and Systems, page 1-5. Ingenta, (2016)Evolutionary Computation Approaches to Halftoning Algorithm., and . International Conference on Evolutionary Computation, page 787-791. (1994)Challenging EMC problems on two-dimensional communication systems., , and . INSS, page 130-137. IEEE, (2010)Deadlock analysis of unbounded process networks., and . Inf. Comput., (2017)On the Termination Problem for Probabilistic Higher-Order Recursive Programs., , and . CoRR, (2018)