( en | de | ru )

 

Disambiguierung von "Dang, Zhe"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Past Pushdown Timed Automata.

, , , und . CIAA, Volume 2494 von Lecture Notes in Computer Science, Seite 74-86. Springer, (2001)

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.

Zhe Wang

Zhe Zhang

Zhe Lin

Zhe Sun

Zhe Wang

 

Weitere Publikationen von Autoren mit dem selben Namen

Bit Rate of Programs., , und . CoRR, (2013)Typical Paths of a Graph., , und . Fundam. Informaticae, 110 (1-4): 95-109 (2011)On the Computational Power of 1-Deterministic and Sequential P Systems., , , und . Fundam. Informaticae, 73 (1-2): 133-152 (2006)Lossiness of communication channels modeled by transducers., , , und . Comput., 6 (2): 165-181 (2017)A Free Energy Foundation of Semantic Similarity in Automata and Languages., und . SISAP, Volume 9939 von Lecture Notes in Computer Science, Seite 34-47. (2016)Dense Counter Machines and Verification Problems., , , und . CAV, Volume 2725 von Lecture Notes in Computer Science, Seite 93-105. Springer, (2003)An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components., und . FATES, Volume 3395 von Lecture Notes in Computer Science, Seite 155-169. Springer, (2004)Lossiness of Communication Channels Modeled by Transducers., , , und . CiE, Volume 8493 von Lecture Notes in Computer Science, Seite 224-233. Springer, (2014)The Power of Maximal Parallelism in P Systems., , und . Developments in Language Theory, Volume 3340 von Lecture Notes in Computer Science, Seite 212-224. Springer, (2004)Automatic Verification of Multi-queue Discrete Timed Automata., und . COCOON, Volume 2697 von Lecture Notes in Computer Science, Seite 159-171. Springer, (2003)