Sökresultat - "Chuang, Cheng-En"

Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version)

Yao, Yue, Iraci, Grant, Chuang, Cheng-En, Balzer, Stephanie, Ziarek, Lukasz

Denna resultat visas inte till gäster.
Logga in för full Login for full tillgång.

Synchronous Message-Passing with Priority

Chuang, Cheng-En^Aff10, Iraci, Grant^Aff10, Ziarek, Lukasz^Aff10

Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Morales, José F., editor^Aff8, Orchard, Dominic, editor^Aff9

Denna resultat visas inte till gäster.
Logga in för full Login for full tillgång.

Denna resultat visas inte till gäster.
Logga in för full Login for full tillgång.

Using Agent in Virtual Machine for Interactive Security Training

Chen, Yi-Ming^{Aff7, Aff8}, Chuang, Cheng-En^{Aff7, Aff8}, Liu, Hsu-Che^{Aff7, Aff8}, Ni, Cheng-Yi^{Aff7, Aff8}, Wang, Chun-Tang^{Aff7, Aff8}

Kim, Tai-hoon, editor^Aff1, Adeli, Hojjat, editor^Aff2, Fang, Wai-chi, editor^Aff3, Villalba, Javier García, editor^Aff4, Arnett, Kirk P., editor^Aff5, Khan, Muhammad Khurram, editor^Aff6