The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Yongxin Zhao" ( http://dblp.L3S.de/Authors/Yongxin_Zhao )

  Author page on DBLP  Author page in RDF  Community of Yongxin Zhao in ASPL-2

Publication years (Num. hits)
2008-2011 (16) 2012-2014 (17) 2015-2019 (13)
Publication types (Num. hits)
article(14) inproceedings(32)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 47 publication records. Showing 46 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Genwang Gou, Yongxin Zhao, Qin Li, Qiwen Xu A mathematical analysis of improved EigenAnt algorithm. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peng Zhang 0055, Yu Liu, Jianqi Shi, Yanhong Huang, Yongxin Zhao A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xin Li 0010, Jian Guo, Yongxin Zhao, Xiaoran Zhu Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective. Search on Bibsonomy Journal of Circuits, Systems, and Computers The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Zhong Hong, Shi Zhang, Ping Gong Isolation Modeling and Analysis Based on Mobility. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yilong Yang 0001, Wei Ke, Weiru Wang, Yongxin Zhao Deep Learning for Web Services Classification. Search on Bibsonomy ICWS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ling Shi, Yongxin Zhao, Yang Liu 0003, Jun Sun 0001, Jin Song Dong, Shengchao Qin A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Xi Wu 0005, Jing Liu, Yilong Yang 0001 Formal Modeling and Security Analysis for OpenFlow-Based Networks. Search on Bibsonomy ICECCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen Event-Based Mobility Modeling and Analysis. Search on Bibsonomy TCPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Yongxin Zhao, Huibiao Zhu Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks. Search on Bibsonomy HASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong Analyzing Event-Based Scheduling in Concurrent Reactive Systems. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin Semantic theories of programs with nested interrupts. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song Modeling and Verifying Google File System. Search on Bibsonomy HASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He Probabilistic Denotational Semantics for an Interrupt Modelling Language. Search on Bibsonomy ICECCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Hao Xiao, Zheng Wang 0005, Geguang Pu, Ting Su The semantics and verification of timed service choreography. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Yanhong Huang, Qin Li 0002, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu 0005 Investigating System Survivability from a Probabilistic Perspective. Search on Bibsonomy IEICE Transactions The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Qin Li 0002, Yongxin Zhao, Huibiao Zhu, Jifeng He A UTP semantic model for Orc language with execution status and fault handling. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Jin Song Dong, Yang Liu 0003, Jun Sun 0001 Towards a Combination of CafeOBJ and PAT. Search on Bibsonomy Specification, Algebra, and Software The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu Formalizing Google File System. Search on Bibsonomy PRDC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Si Liu 0001, Huibiao Zhu, Yongxin Zhao Reasoning about Group-Based Mobility in MANETs. Search on Bibsonomy PRDC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu 0001 Modeling and verifying the Ariadne protocol using process algebra. Search on Bibsonomy Comput. Sci. Inf. Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zheng Wang 0005, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He A novel requirement analysis approach for periodic control systems. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ling Shi, Yongxin Zhao, Yang Liu 0003, Jun Sun 0001, Jin Song Dong, Shengchao Qin A UTP Semantics for Communicating Processes with Shared Variables. Search on Bibsonomy ICFEM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu Towards a Modeling Language for Cyber-Physical Systems. Search on Bibsonomy Theories of Programming and Formal Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu A Denotational Model for Interrupt-Driven Programs. Search on Bibsonomy ICST Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Si Liu 0001, Huibiao Zhu, Yongxin Zhao, Lei Chen Modeling and Verifying the Ariadne Protocol Using CSP. Search on Bibsonomy ECBS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chengcheng Wu, Yongxin Zhao, Huibiao Zhu Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions. Search on Bibsonomy UTP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira A Timed CSP Model for the Time-Triggered Language Giotto. Search on Bibsonomy SEW The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin Investigating Time Properties of Interrupt-Driven Programs. Search on Bibsonomy SBMF The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He A Denotational Model for Instantaneous Signal Calculus. Search on Bibsonomy SEFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Xi Wu 0005, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu Formal Modeling and Analysis of the REST Architecture Using CSP. Search on Bibsonomy WS-FM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jianwen Li, Zheng Wang 0005, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu An Event-B Interpretation for SPARDL Model. Search on Bibsonomy HASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Zheng Wang 0005, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu A Unifying Approach to Validating Specification-Oriented XML Constraints. Search on Bibsonomy HASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Si Liu 0001, Yongxin Zhao, Huibiao Zhu, Qin Li A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. Search on Bibsonomy HASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Jifeng He Towards a Signal Calculus for Event-Based Synchronous Languages. Search on Bibsonomy ICFEM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. Search on Bibsonomy TASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu 0001 Modeling and Analyzing the (mu)TESLA Protocol Using CSP. Search on Bibsonomy TASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Si Liu 0001, Yongxin Zhao, Huibiao Zhu, Qin Li Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. Search on Bibsonomy TASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu 0001 Formal Model of Interrupt Program from a Probabilistic Perspective. Search on Bibsonomy ICECCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zheng Wang 0005, Lei Zhou 0007, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu Web services choreography validation. Search on Bibsonomy Service Oriented Computing and Applications The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zheng Wang 0005, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu SPARDL: A Requirement Modeling Language for Periodic Control System. Search on Bibsonomy ISoLA (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Qin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu 0001 Promoting Models. Search on Bibsonomy UTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Xu Wang, Huibiao Zhu Towards a Pomset Semantics for a Shared-Variable Parallel Language. Search on Bibsonomy UTP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Zheng Wang 0005, Geguang Pu, Huibiao Zhu A Formal Model for Service Choreography with Exception Handling and Finalization. Search on Bibsonomy TASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu Probabilistic Model of System Survivability. Search on Bibsonomy TASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Huibiao Zhu, Yongxin Zhao, Jifeng He Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Geguang Pu, Yongxin Zhao, Zheng Wang 0005, Libo Feng, Huibiao Zhu, Jifeng He A Denotational Model for Web Services Choreography. Search on Bibsonomy ICDCIT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Web Services, Denotational Semantics, Choreography, WS-CDL
Displaying result #1 - #46 of 46 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license