( en | de | ru )

 

Disambiguierung von "Ueda, Kazunori"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection.

, , und . CyPhy, Volume 10107 von Lecture Notes in Computer Science, Seite 17-30. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Shizuteru Ueda

Hirofumi Ueda

Yoshiaki Ueda

Naoki Ueda

 

Weitere Publikationen von Autoren mit dem selben Namen

c-sat: A Parallel SAT Solver for Clusters., und . SAT, Volume 5584 von Lecture Notes in Computer Science, Seite 524-537. Springer, (2009)MANDELA: A LogicBased Knowledge Programming System., , , , , und . FGCS, Seite 613-622. OHMSHA Ltd. Tokyo and North-Holland, (1984)Efficient Stream/Array Processing in Logic Programming Languages., und . FGCS, Seite 317-326. OHMSHA Ltd. Tokyo and North-Holland, (1984)Asymmetric DHT Based on Performance of Peers., und . APNOMS, Volume 5787 von Lecture Notes in Computer Science, Seite 427-430. Springer, (2009)Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems., , , , und . ICTAC, Volume 5684 von Lecture Notes in Computer Science, Seite 349-355. Springer, (2009)LMNtal as a Unifying Declarative Language: Live Demonstration., , , und . ICLP, Volume 4079 von Lecture Notes in Computer Science, Seite 457-458. Springer, (2006)Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection., , und . CyPhy, Volume 10107 von Lecture Notes in Computer Science, Seite 17-30. Springer, (2016)Diagnosing Non-Well-Moded Concurrent Logic Programs., und . JICSLP, Seite 215-229. MIT Press, (1996)In pursuit of Japanese-style Research and Education of Computer Software: Experiences with Software-Centered Research Projects.. ICCTA, Seite 5-6. IEEE, (2022)Design and Implementation of Real-Time Digital Video Streaming System over IPv6 Network using Feedback Control., , , und . SAINT, Seite 111-119. IEEE Computer Society, (2003)