- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c61 |      | Yue Ma, Lihua Li, Jin Jin, Yijing Liu: A novel network coded relay-assisted Hybrid-ARQ scheme. CCNC 2013: 455-459 |
| c60 | | Yue Ma, Lihua Li, Jin Jin, Yucang Yang: An easy-to-implement dual codebook for multiuser MIMO systems. CCNC 2013: 709-712 |
| c59 | | |
| c58 | | Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz: Toward polychronous analysis and validation for timed software architectures in AADL. DATE 2013: 1173-1178 |
| i2 | | Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, Guilin Qi: A Distance-based Paraconsistent Semantics in DL-Lite. CoRR abs/1301.2005 (2013) |
| 2012 | ||
| j13 | | Yue Ma, Yuefei Sui, Cungen Cao: The correspondence between the concepts in description logics for contexts and formal concept analysis. SCIENCE CHINA Information Sciences 55(5): 1106-1122 (2012) |
| j12 | | Wei Ma, Brian Goldstein, Yue Ma, Dianne Sun, Sarena Burgess: MedlinePlus Mobile: Consumer Health Information On-the-Go. IT Professional 14(3): 44-49 (2012) |
| j11 | | Liping Zhou, Houkuan Huang, Guilin Qi, Yue Ma, Zhisheng Huang, Youli Qu: Paraconsistent query answering over DL-Lite ontologies. Web Intelligence and Agent Systems 10(1): 19-31 (2012) |
| c57 | | Yue Ma, Wei Jiang, Nan Sang, Ziguo Zhong: An Adaptive Risk Control and Security Management for Embedded Real-Time System. ARES 2012: 11-17 |
| c56 | | Guohui Xiao, Yue Ma: Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets. ECAI 2012: 864-869 |
| c55 | | Wei Jiang, Zhenlin Guo, Yue Ma, Nan Sang: Research on Cryptographic Algorithms for Embedded Real-time Systems: A Perspective of Measurement-based Analysis. HPCC-ICESS 2012: 1495-1501 |
| c54 | | Yue Ma, Lihua Li, Qi Sun, Lei Song, Zhou Zhou: A Novel Transmission Protocol in Two-Hop Relay Systems When Interference Cancellation Is Not Applicable. ICCCN 2012: 1-7 |
| c53 | | Xiaojun Wu, Yue Ma: Application of Fixed-Structure Genetic Programming for Classification. ICIRA (1) 2012: 22-33 |
| c52 | | |
| c51 | | Yue Ma, Lihong Zhi: Computing real solutions of polynomial systems via low-rank moment matrix completion. ISSAC 2012: 249-256 |
| c50 | | Wei Jiang, Ke Jiang, Yue Ma: Resource Allocation of Security-Critical Tasks with Statistically Guaranteed Energy Constraint. RTCSA 2012: 330-339 |
| c49 | | Yue Ma, Wei Jiang, Nan Sang, Paul Pop: SAFCM: A Security-Aware Feedback Control Mechanism for Distributed Real-Time Embedded Systems. RTCSA 2012: 340-349 |
| c48 | | Yifei Wei, Chaowei Wang, Mei Song, Yue Ma, Xiaojun Wang: Energy Saving Dynamic Relaying Scheme in Wireless Cooperative Networks Using Markov Decision Process. VTC Spring 2012: 1-5 |
| c47 | | Keyan Cao, Guoren Wang, Donghong Han, Yue Ma, Xianzhe Ma: A Framework for High-Quality Clustering Uncertain Data Stream over Sliding Windows. WAIM 2012: 308-313 |
| 2011 | ||
| j10 | | Yue Ma, Guilin Qi, Pascal Hitzler: Computing inconsistency measure based on paraconsistent semantics. J. Log. Comput. 21(6): 1257-1281 (2011) |
| c46 | | Haiyan Chen, Yue Ma: Designed on full-closed loop control system of gear measuring center. EMEIT 2011: 2015-2018 |
| c45 | | Yue Ma, Yu Chang, Chunyu Xia: Applied research on stock forcasting model based on BP neural network. EMEIT 2011: 4578-4580 |
| c44 | | |
| c43 | | Zhenlin Guo, Wei Jiang, Nan Sang, Yue Ma: Energy Measurement and Analysis of Security Algorithms for Embedded Systems. GreenCom 2011: 194-199 |
| c42 | | Yue Ma, Lihong Zhi: The minimum-rank gram matrix completion via modified fixed point continuation method. ISSAC 2011: 241-248 |
| c41 | | Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent: System-level co-simulation of integrated avionics using polychrony. SAC 2011: 354-359 |
| c40 | | Hualei Wang, Lihua Li, Ji Wang, Lei Song, Yue Ma, Zhou Zhou: A Transmit Precoding Scheme for Downlink Multiuser MIMO Systems. VTC Fall 2011: 1-5 |
| c39 | | Li Wang, Mei Song, Yue Ma, Chao Dai, Tenghui Ke, Xiaojun Wang: An Efficient Scheme for Access Selection over a Novel Green Heterogeneous Network Architecture. VTC Fall 2011: 1-5 |
| 2010 | ||
| j9 | | Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin: Computational Complexity and Anytime Algorithm for Inconsistency Measurement. Int. J. Software and Informatics 4(1): 3-21 (2010) |
| c38 | | Yue Ma, Jean-Pierre Talpin, Thierry Gautier: Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. CIT 2010: 2361-2366 |
| c37 | | Yue Ma, Pascal Hitzler: Distance-based Measures of Inconsistency and Incoherency for Description Logics. Description Logics 2010 |
| c36 | | Yue Ma, Suoju He, Junping Wang, Yiwen Fu, Zhiyuan Shi: Automatic AI design by the use of MCTS for the game Dead-End. FSKD 2010: 2772-2776 |
| c35 | | Lei Wang, Ke-Yan Liu, Tong Zhang, Qin-Long Wang, Yue Ma: Parallel face analysis platform. ICME 2010: 268-269 |
| c34 | | Yuming Shen, Yue Ma, Cungen Cao, Yuefei Sui, Ju Wang: Preservative Translations between Logical Systems. Intelligent Information Processing 2010: 55-63 |
| c33 | | Yue Ma, Yuming Shen, Yuefei Sui, Cungen Cao: The Description Logic for Relational Databases. Intelligent Information Processing 2010: 64-71 |
| c32 | | Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi: Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers. KR 2010 |
| c31 | | Yue Ma, Adeline Nazarenko, Laurent Audibert: Formal Description of Resources for Ontology-based Semantic Annotation. LREC 2010 |
| i1 | | Yue Ma, Lihong Zhi: The Minimum-Rank Gram Matrix Completion via Fixed Point Continuation Method. CoRR abs/1011.6495 (2010) |
| 2009 | ||
| j8 | | Takuji Kousaka, Tetsushi Ueta, Yue Ma: Chaos Control Implementation by Interrupted Electric Circuit with Switching Delay. I. J. Bifurcation and Chaos 19(7): 2359-2362 (2009) |
| c30 | | |
| c29 | | Xiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin: Quasi-Classical Semantics for Expressive Description Logics. Description Logics 2009 |
| c28 | | Yue Ma, Laurent Audibert, Adeline Nazarenko: Ontologies étendues pour l'annotation sémantique. Actes d'IC 2009: 205-216 |
| c27 | | Hongguang Bo, Xiaobing Liu, Qiunan Meng, Yue Ma: Rough Set Approach to Knowledge Discovery of Process in Process Industry. FSKD (1) 2009: 273-276 |
| c26 | | Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier: Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. ICESS 2009: 607-614 |
| c25 | | Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin: An Anytime Algorithm for Computing Inconsistency Measurement. KSEM 2009: 29-40 |
| c24 | | Chengwen Zhang, Yue Ma: Genetic Algorithm for QoS-Aware Web Service Selection Based on Chaotic Sequences. NBiS 2009: 410-416 |
| c23 | | |
| c22 | | Chengwen Zhang, Yue Ma: Dynamic Genetic Algorithm for Search in Web Service Compositions Based on Global QoS Evaluations. ScalCom-EmbeddedCom 2009: 644-649 |
| c21 | | Liping Zhou, Houkuan Huang, Guilin Qi, Yue Ma, Zhisheng Huang, Youli Qu: Measuring Inconsistency in DL-Lite Ontologies. Web Intelligence 2009: 349-356 |
| 2008 | ||
| j7 | | Yue Ma, Chengwen Zhang: Quick convergence of genetic algorithm for QoS-driven web service selection. Computer Networks 52(5): 1093-1104 (2008) |
| c20 | | Yue Ma, Pascal Hitzler, Zuoquan Lin: Paraconsistent Reasoning for Expressive and Tractable Description Logics. Description Logics 2008 |
| c19 | | Yue Ma, Jean-Pierre Talpin, Thierry Gautier: Virtual prototyping AADL architectures in a polychronous model of computation. MEMOCODE 2008: 139-148 |
| 2007 | ||
| c18 | | Yue Ma, Pascal Hitzler, Zuoquan Lin: Paraconsistent Resolution for Four-valued Description Logics. Description Logics 2007 |
| c17 | | Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. Description Logics 2007 |
| c16 | | Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. ECSQARU 2007: 30-41 |
| c15 | | Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. ECSQARU 2007: 91-102 |
| c14 | | Yue Ma, Pascal Hitzler, Zuoquan Lin: Algorithms for Paraconsistent Reasoning with OWL. ESWC 2007: 399-413 |
| 2006 | ||
| j6 | | Yue Ma, Hiroshi Kawakami, Chi Kong Tse, Takuji Kousaka: General Consideration for Modeling and bifurcation Analysis of Switched Dynamical Systems. I. J. Bifurcation and Chaos 16(3): 693-700 (2006) |
| c13 | | Anbu Yue, Yue Ma, Zuoquan Lin: Four-Valued Semantics for Default Logic. Canadian Conference on AI 2006: 195-205 |
| c12 | | Xiaobing Liu, Hongguang Bo, Yue Ma, Qiunan Meng: Research on Hybrid Distributed Manufacturing Execution System in Multi-location Enterprises Environment. CSCWD (Selected Papers) 2006: 247-256 |
| c11 | | |
| c10 | | Yue Ma, Zuoquan Lin, Zhangang Lin: Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach. EDBT Workshops 2006: 535-553 |
| c9 | | Xiaobing Liu, Hongguang Bo, Yue Ma, Qiunan Meng: An Improved Fuzzy Approach to Planning and Scheduling Problems in Hybrid Distributed MES. FSKD 2006: 929-932 |
| c8 | | |
| 2005 | ||
| j5 | | Xiaolang Yan, Zheng Shi, Ye Chen, Yue Ma, Gensheng Gao: Full-IC manufacturability check based on dense silicon imaging. Science in China Series F: Information Sciences 48(4): 533-544 (2005) |
| j4 | | Yun Liu, Yue Ma, James J. Han, Haim Levendel, Kishor S. Trivedi: A proactive approach towards always-on availability in broadband cable networks. Computer Communications 28(1): 51-64 (2005) |
| j3 | | Dong Dai, Yue Ma, Chi Kong Tse: Existence of Horseshoes and homoclinic Connections in DC/DC converters. I. J. Bifurcation and Chaos 15(10): 3337-3344 (2005) |
| c7 | | Xiaolang Yan, Ye Chen, Zheng Shi, Yue Ma: A new method for model based frugal OPC. ASP-DAC 2005: 83-86 |
| c6 | | Dong Dai, Yue Ma, Chi K. Michael Tse: Horseshoes, homoclinic connections and global chaos in current-mode controlled DC/DC converters. ISCAS (2) 2005: 1469-1472 |
| c5 | | Yue Ma, Hiroshi Kawakami, Chi K. Michael Tse, Takuji Kousaka: A subtle link in switched dynamical systems: saddle-node bifurcation meets border collision. ISCAS (6) 2005: 6050-6053 |
| 2004 | ||
| c4 | | Yue Ma, Hiroshi Kawakami: Control of bifurcation in DC/DC PWM switching converters. ICARCV 2004: 1421-1426 |
| c3 |  | Yue Ma, Hiroshi Kawakami, Chi K. Michael Tse: Analysis of bifurcation in switched dynamical systems with periodically moving borders: application to power converters. ISCAS (4) 2004: 701-704 |
| 2002 | ||
| j2 | | Yue Ma, James J. Han, Kishor S. Trivedi: Call admission control for reducing dropped calls in CDMA cellular systems. Computer Communications 25(7): 689-699 (2002) |
| c2 | | Yun Liu, Kishor S. Trivedi, Yue Ma, James J. Han, Haim Levendel: Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems. ISSRE 2002: 159-170 |
| 2000 | ||
| j1 | | Yue Ma, James J. Han, Kishor S. Trivedi: Channel Allocation with Recovery Strategy in Wireless Networks. European Transactions on Telecommunications 11(4): 395-406 (2000) |
| c1 | | Yue Ma, James J. Han, Kishor S. Trivedi: Call Admission Control for Reducing Dropped Calls in Code Division Multiple Access (CDMA) Cellular Systems. INFOCOM 2000: 1481-1490 |
Colors in the list of coauthors
Last update Sun May 26 10:12:41 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page