( en | de | ru )

 

Disambiguierung von "Seki, Hiroyuki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition.

, , und . PPAM, Volume 3019 von Lecture Notes in Computer Science, Seite 298-305. Springer, (2003)

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.

Takashi Seki

Hiroyuki Tan

Hiroyuki Kobayashi

Hideaki Seki

Birgit Sekinger

 

Weitere Publikationen von Autoren mit dem selben Namen

TV white space availability in Japan estimated using D/U-based and I/N-based protection rules., , und . GLOBECOM, Seite 1302-1307. IEEE, (2012)Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query., , und . ICCCS, Seite 257-262. IEEE, (2019)Optimal Run Problem for Weighted Register Automata., , und . ICTAC, Volume 11884 von Lecture Notes in Computer Science, Seite 91-110. Springer, (2019)Active Learning for Deterministic Bottom-Up Nominal Tree Automata., , und . ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 342-359. Springer, (2022)Reactive Synthesis from Visibly Register Pushdown Automata., , und . ICTAC, Volume 12819 von Lecture Notes in Computer Science, Seite 334-353. Springer, (2021)Antenna Deployment of 5G Ultra High-Density Distributed Massive MIMO by Low-SHF-Band Indoor and Outdoor Experiments., , , , , , , , und . VTC Fall, Seite 1-5. IEEE, (2017)Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability., , und . RTA, Volume 1833 von Lecture Notes in Computer Science, Seite 246-260. Springer, (2000)Investigation of a Femto-DAS Hybrid System for In-Building Wireless Solutions., , und . VTC Spring, Seite 1-5. IEEE, (2016)De-Centralized Dynamic ICIC Using X2 Interfaces for Downlink LTE Systems., , und . VTC Spring, Seite 1-5. IEEE, (2011)Security verification of programs with stack inspection., , und . SACMAT, Seite 31-40. ACM, (2001)