( en | de | ru )

 

Disambiguation of "Ueda, Kazunori"

Author of the publication

copydeleteadd this publication to your clipboard
Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis.

, and . APLAS, page 237-250. (2001)

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.

Shizuteru Ueda

Hirofumi Ueda

Yoshiaki Ueda

Naoki Ueda

 

Other publications of authors with the same name

Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems., , , , and . ICTAC, volume 5684 of Lecture Notes in Computer Science, page 349-355. Springer, (2009)c-sat: A Parallel SAT Solver for Clusters., and . SAT, volume 5584 of Lecture Notes in Computer Science, page 524-537. Springer, (2009)LMNtal as a Unifying Declarative Language: Live Demonstration., , , and . ICLP, volume 4079 of Lecture Notes in Computer Science, page 457-458. Springer, (2006)Asymmetric DHT Based on Performance of Peers., and . APNOMS, volume 5787 of Lecture Notes in Computer Science, page 427-430. Springer, (2009)MANDELA: A LogicBased Knowledge Programming System., , , , , and . FGCS, page 613-622. OHMSHA Ltd. Tokyo and North-Holland, (1984)Efficient Stream/Array Processing in Logic Programming Languages., and . FGCS, page 317-326. OHMSHA Ltd. Tokyo and North-Holland, (1984)Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection., , and . CyPhy, volume 10107 of Lecture Notes in Computer Science, page 17-30. Springer, (2016)Type checking data structures more complex than trees., , and . CoRR, (2022)Preface., and . Math. Struct. Comput. Sci., 25 (4): 764 (2015)In pursuit of Japanese-style Research and Education of Computer Software: Experiences with Software-Centered Research Projects.. ICCTA, page 5-6. IEEE, (2022)