( en | de | ru )

 

Disambiguierung von "Jiang, Changjun"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Checking of Variable Petri Nets by Using the Kripke Structure.

, , , , und . IEEE Trans. Syst. Man Cybern. Syst., 52 (12): 7774-7786 (2022)

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.

Changjun Yin

Qiu Jiang

Ping Jiang

Jiang Yi

Xin Jiang

 

Weitere Publikationen von Autoren mit dem selben Namen

Parallel Implementing of Road Situation Modeling with Floating GPS Data., , und . APWeb Workshops, Volume 3842 von Lecture Notes in Computer Science, Seite 620-624. Springer, (2006)Improving data forwarding in Mobile Social Networks with infrastructure support: A space-crossing community approach., , , , und . INFOCOM, Seite 1941-1949. IEEE, (2014)Detecting data-flow errors based on Petri nets with data operations., , , und . IEEE CAA J. Autom. Sinica, 5 (1): 251-260 (2018)ODDS: Optimizing Data-Locality Access for Scientific Data Analysis., , , , und . IEEE Trans. Cloud Computing, 8 (1): 220-231 (2020)Two Simple Deadlock Prevention Policies for S3PR Based on Key-Resource/Operation-Place Pairs., , und . IEEE Trans Autom. Sci. Eng., 7 (4): 945-957 (2010)Interactive-Control-Model for Human-Computer Interactive System Based on Petri Nets., , , , und . IEEE Trans Autom. Sci. Eng., 16 (4): 1800-1813 (2019)Unique on the Road: Re-identification of Vehicular Location-Based Metadata., , , und . SecureComm, Volume 198 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 496-513. Springer, (2016)The Liveness of WS3PR: Complexity and Decision., , , und . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 96-A (8): 1783-1793 (2013)Concurrent reasoning of fuzzy logical Petri nets based on multi-task schedule., , und . IEEE Trans. Fuzzy Syst., 9 (3): 444-449 (2001)Deep Representation Learning With Full Center Loss for Credit Card Fraud Detection., , und . IEEE Trans. Comput. Social Systems, 7 (2): 569-579 (2020)