( en | de | ru )

 

Disambiguation of "Ueda, Kazunori"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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

c-sat: A Parallel SAT Solver for Clusters., and . SAT, volume 5584 of Lecture Notes in Computer Science, page 524-537. 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)Asymmetric DHT Based on Performance of Peers., and . APNOMS, volume 5787 of Lecture Notes in Computer Science, page 427-430. 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)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)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)In pursuit of Japanese-style Research and Education of Computer Software: Experiences with Software-Centered Research Projects.. ICCTA, page 5-6. IEEE, (2022)Diagnosing Non-Well-Moded Concurrent Logic Programs., and . JICSLP, page 215-229. MIT Press, (1996)