- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j11 |      | Hengyang Wu, Yixiang Chen: Semantics of non-deterministic possibility computation. Fuzzy Sets and Systems 199: 47-63 (2012) |
| j10 | | Hongwei Tao, Yixiang Chen: A new metric model for trustworthiness of softwares. Telecommunication Systems 51(2-3): 95-105 (2012) |
| c15 | | Yixiang Chen: STeC: A Location-Triggered Specification Language for Real-Time Systems. ISORC Workshops 2012: 1-6 |
| c14 | | Linhua Jiang, Chao Peng, Haibin Cai, Yixiang Chen, Xiaodong Chen: Low Power Consumption Data Structure Design for Embedded Applications in Real-Time Systems. ISORC Workshops 2012: 13-18 |
| c13 | | Haiyu Pan, Min Zhang, Yixiang Chen: Lattice-Valued Kripke Structures Based on Complete Residuated Lattice. SERE (Companion) 2012: 137-143 |
| c12 | | |
| 2011 | ||
| j9 | | Yanfang Ma, Min Zhang, Yixiang Chen, Liang Chen: Two-thirds simulation indexes and modal logic characterization. Frontiers of Computer Science in China 5(4): 454-471 (2011) |
| c11 | | Hengyang Wu, Yixiang Chen: The Semantics of wlp and slp of Fuzzy Imperative Programming Languages. NL-MUA 2011: 357-364 |
| c10 | | Haiyu Pan, Min Zhang, Yixiang Chen: Approximate Simulation for Metric Hybrid Input/Output Automata. SSIRI (Companion) 2011: 53-59 |
| c9 | | Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu: Approximate Bisimulation for Metric Doubly Labeled Transition System. TASE 2011: 108-114 |
| 2010 | ||
| j8 | | Juyang Zhang, Yixiang Chen: Trustworthy Dynamic Scheduling based on Constraint Solving Scheme. IJIPM 1(2): 68-73 (2010) |
| c8 | | |
| 2009 | ||
| j7 | | Yixiang Chen, Ernst-Erich Doberkat, Achim Jung: Preface. Electr. Notes Theor. Comput. Sci. 257: 1-2 (2009) |
| j6 | | Hengyang Wu, Yixiang Chen: A Duality Theorem for Quantitative Semantics. Electr. Notes Theor. Comput. Sci. 257: 87-97 (2009) |
| c7 | | Jie Zhou, Yixiang Chen: Modeling Instability in a New Framework of Interval Valued Process Algebra. ACIS-ICIS 2009: 21-26 |
| c6 | | Yixiang Chen, Tian-Ming Bu, Min Zhang, Hong Zhu: Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks. Web Intelligence/IAT Workshops 2009: 62-64 |
| c5 | | Hongwei Tao, Yixiang Chen: A Metric Model for Trustworthiness of Softwares. Web Intelligence/IAT Workshops 2009: 69-72 |
| c4 |  | Yanfang Ma, Min Zhang, Yixiang Chen: Infinite Evolution Mechanism of Probabilistic Processes. ICTCS 2009: 155-161 |
| c3 | | Yixiang Chen, Min Zhang, Hong Zhu, Tian-Ming Bu: Average Transitive Trustworthy Degrees for Trustworthy Networks. RSKT 2009: 682-689 |
| c2 | | Yanfang Ma, Min Zhang, Yixiang Chen: Parameterized Bisimulation Infinite Evolution Mechanism. TASE 2009: 299-300 |
| 2008 | ||
| j5 | | Yixiang Chen, Guo-Qing Zhang, Prakash Panangaden: Preface. Electr. Notes Theor. Comput. Sci. 212: 1 (2008) |
| j4 | | Yixiang Chen, Hengyang Wu: Semantics of sub-probabilistic programs. Frontiers of Computer Science in China 2(1): 29-38 (2008) |
| j3 | | Yixiang Chen, Hengyang Wu: Domain semantics of possibility computations. Inf. Sci. 178(12): 2661-2679 (2008) |
| c1 | | Hongyan Mao, Yixiang Chen: Research of a Multi-dimension Measurement Trusting Model Based on Markov Chain. EUC (2) 2008: 71-76 |
| 2006 | ||
| j2 | | Yixiang Chen, Guoqiang Zhang: Maximality and totality of stable functions in the category of stable bifinite domains. Computers & Mathematics with Applications 51(6-7): 1011-1020 (2006) |
| 2001 | ||
| j1 | | |
Colors in the list of coauthors
Last update Sun May 19 09:04:58 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page