Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLu Tian
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j31]Yidong Yuan, Tianmeng Zhang, Ziren Wang, Kaixuan Song, Lingyu Bi, Lu Tian, Jinchun Gao:
Impact of ground solder ball failure in BGA package on near electric field radiation. IEICE Electron. Express 19(17): 20220313 (2022)- [j30]Zhen Li, Lu Tian, Chenxu Sun, Yumei Wu
, Dongsheng Wang, Hong Miao:
A Systematic Research on System Recovery Based on Improved Genetic Algorithm and Quotient Resilience Model Under Attack and Damage. Int. J. Comput. Intell. Syst. 15(1): 100 (2022) - [j29]Eun Young Choi, Lu Tian, Jason Su, Matthew T. Radovan, Thomas Tourdias, Tammy T. Tran, Alexandra N. Trelle, Elizabeth Mormino, Anthony D. Wagner, Brian K. Rutt:
Thalamic nuclei atrophy at high and heterogenous rates during cognitively unimpaired human aging. NeuroImage 262: 119584 (2022) - [c52]Li Wang, Dong Li, Han Liu, Jinzhang Peng, Lu Tian, Yi Shan:
Cross-Dataset Collaborative Learning for Semantic Segmentation in Autonomous Driving. AAAI 2022: 2487-2494 - [c51]Li Wang, Dong Li, Lu Tian, Yi Shan:
Efficient Image Super-Resolution with Collapsible Linear Blocks. CVPR Workshops 2022: 816-822 - [c50]Yawei Li, Kai Zhang, Radu Timofte, Luc Van Gool, Fangyuan Kong, Mingxi Li, Songwei Liu, Zongcai Du, Ding Liu, Chenhui Zhou, Jingyi Chen, Qingrui Han, Zheyuan Li, Yingqi Liu, Xiangyu Chen, Haoming Cai, Yu Qiao, Chao Dong, Long Sun, Jinshan Pan, Yi Zhu, Zhikai Zong, Xiaoxiao Liu, Zheng Hui, Tao Yang, Peiran Ren, Xuansong Xie, Xian-Sheng Hua, Yanbo Wang, Xiaozhong Ji, Chuming Lin, Donghao Luo, Ying Tai, Chengjie Wang, Zhizhong Zhang, Yuan Xie, Shen Cheng, Ziwei Luo, Lei Yu, Zhihong Wen, Qi Wu, Youwei Li, Haoqiang Fan, Jian Sun, Shuaicheng Liu, Yuanfei Huang, Meiguang Jin, Hua Huang, Jing Liu, Xinjian Zhang, Yan Wang, Lingshun Long, Gen Li, Yuanfan Zhang, Zuowei Cao, Lei Sun, Panaetov Alexander, Yucong Wang, Minjie Cai, Li Wang, Lu Tian, Zheyuan Wang, Hongbing Ma, Jie Liu, Chao Chen, Yidong Cai, Jie Tang, Gangshan Wu, Weiran Wang, Shirui Huang, Honglei Lu, Huan Liu, Keyan Wang, Jun Chen, Shi Chen, Yuchun Miao, Zimo Huang, Lefei Zhang, Mustafa Ayazoglu, Wei Xiong, Chengyi Xiong, Fei Wang, Hao Li, Ruimian Wen, Zhijing Yang, Wenbin Zou, Weixin Zheng, Tian Ye, Yuncheng Zhang, Xiangzhen Kong, Aditya Arora, Syed Waqas Zamir, Salman H. Khan, Munawar Hayat, Fahad Shahbaz Khan, Dandan Gao, Dengwen Zhou, Qian Ning, Jingzhu Tang, Han Huang, Yufei Wang, Zhangheng Peng, Haobo Li, Wenxue Guan, Shenghua Gong, Xin Li, Jun Liu, Wanjun Wang, Kun Zeng, Hanjiang Lin, Xinyu Chen, Jinsheng Fang:
NTIRE 2022 Challenge on Efficient Super-Resolution: Methods and Results. CVPR Workshops 2022: 1061-1101 - [c49]Haowei Zhu, Wenjing Ke, Dong Li, Ji Liu, Lu Tian, Yi Shan:
Dual Cross-Attention Learning for Fine-Grained Visual Categorization and Object Re-Identification. CVPR 2022: 4682-4692 - [c48]Qinghang Hong, Fengming Liu, Dong Li, Ji Liu, Lu Tian, Yi Shan:
Dynamic Sparse R-CNN. CVPR 2022: 4713-4722 - [c47]Xijie Jia, Yu Zhang, Guangdong Liu, Xinlin Yang, Tianyu Zhang, Jia Zheng, Dongdong Xu, Hong Wang, Rongzhang Zheng, Satyaprakash Pareek, Lu Tian, Dongliang Xie, Hong Luo, Yi Shan:
XVDPU: A High Performance CNN Accelerator on the Versal Platform Powered by the AI Engine. FPL 2022: 1-9 - [c46]Tianyu Zhang, Dong Li, Hong Wang, Yunzhi Li, Xiang Ma, Wei Luo, Yu Wang, Yang Huang, Yi Li, Yu Zhang, Xinlin Yang, Xijie Jia, Qiang Lin, Lu Tian, Fan Jiang, Dongliang Xie, Hong Luo, Yi Shan:
A-U3D: A Unified 2D/3D CNN Accelerator on the Versal Platform for Disparity Estimation. FPL 2022: 123-129 - [c45]Xinyu Hu, Lu Tian:
Transediting of Children's Literature in the Age of Technology. ICWL 2022: 433-444 - [i10]Qinghang Hong, Fengming Liu, Dong Li, Ji Liu, Lu Tian, Yi Shan:
Dynamic Sparse R-CNN. CoRR abs/2205.02101 (2022) - [i9]Haowei Zhu, Wenjing Ke, Dong Li, Ji Liu, Lu Tian, Yi Shan:
Dual Cross-Attention Learning for Fine-Grained Visual Categorization and Object Re-Identification. CoRR abs/2205.02151 (2022) - [i8]Yawei Li, Kai Zhang, Radu Timofte, Luc Van Gool, Fangyuan Kong, Mingxi Li, Songwei Liu, Zongcai Du, Ding Liu, Chenhui Zhou, Jingyi Chen, Qingrui Han, Zheyuan Li, Yingqi Liu, Xiangyu Chen, Haoming Cai, Yu Qiao, Chao Dong, Long Sun, Jinshan Pan, Yi Zhu, Zhikai Zong, Xiaoxiao Liu, Zheng Hui, Tao Yang, Peiran Ren, Xuansong Xie, Xian-Sheng Hua, Yanbo Wang, Xiaozhong Ji, Chuming Lin, Donghao Luo, Ying Tai, Chengjie Wang, Zhizhong Zhang, Yuan Xie, Shen Cheng, Ziwei Luo, Lei Yu, Zhihong Wen, Qi Wu, Youwei Li, Haoqiang Fan, Jian Sun, Shuaicheng Liu, Yuanfei Huang, Meiguang Jin, Hua Huang, Jing Liu, Xinjian Zhang, Yan Wang, Lingshun Long, Gen Li, Yuanfan Zhang, Zuowei Cao, Lei Sun, Panaetov Alexander, Yucong Wang, Minjie Cai, Li Wang, Lu Tian, Zheyuan Wang, Hongbing Ma, Jie Liu, Chao Chen, Yidong Cai, et al.:
NTIRE 2022 Challenge on Efficient Super-Resolution: Methods and Results. CoRR abs/2205.05675 (2022) - [i7]Ji Liu, Dong Li, Zekun Li, Han Liu, Wenjing Ke, Lu Tian, Yi Shan:
HPS-Det: Dynamic Sample Assignment with Hyper-Parameter Search for Object Detection. CoRR abs/2207.11539 (2022) - 2021
- [c44]Ji Liu, Dong Li, Rongzhang Zheng, Lu Tian, Yi Shan:
RankDetNet: Delving Into Ranking Constraints for Object Detection. CVPR 2021: 264-273 - [c43]Tiantian Han, Dong Li, Ji Liu, Lu Tian, Yi Shan:
Improving Low-Precision Network Quantization via Bin Regularization. ICCV 2021: 5241-5250 - [c42]Takashi Isobe, Dong Li, Lu Tian, Weihua Chen, Yi Shan, Shengjin Wang:
Towards Discriminative Representation Learning for Unsupervised Person Re-identification. ICCV 2021: 8506-8516 - [c41]Shujian Zhang, Zhan Xu, Lu Tian, Xiaolong Yang:
A Spectrum Sensing Method Based on CNN-LSTM Deep Neural Network. IC-NIDC 2021: 186-190 - [c40]Xinxin Liu, Zhan Xu, Lu Tian, Xiaolong Yang:
A Novel Integer Frequency Offset Estimation Method for OFDM Based on Preamble. IC-NIDC 2021: 191-195 - [c39]Ying Zhang, Zhan Xu, Zhigang Tian, Ruxin Zhi, Lu Tian:
5G Service Architecture Automatic Code Generation. MENACOMM 2021: 115-119 - [i6]Li Wang, Dong Li, Yousong Zhu, Lu Tian, Yi Shan:
Cross-Dataset Collaborative Learning for Semantic Segmentation. CoRR abs/2103.11351 (2021) - [i5]Takashi Isobe, Dong Li, Lu Tian, Weihua Chen, Yi Shan, Shengjin Wang:
Towards Discriminative Representation Learning for Unsupervised Person Re-identification. CoRR abs/2108.03439 (2021) - 2020
- [j28]Xiao Guo, Aomuhan Zhang, Lu Tian, Tongfei Li:
Modeling the Morning Commute Problem With Stochastic Travel Time in a Bottleneck Model. IEEE Access 8: 149468-149475 (2020) - [j27]Juncai Pu, Yue Yu, Yiyun Liu, Lu Tian, Siwen Gui, Xiaogang Zhong, Chu Fan, Shaohua Xu, Xuemian Song, Lanxiang Liu, Lining Yang, Peng Zheng, Jianjun Chen, Ke Cheng, Chanjuan Zhou, Haiyang Wang, Peng Xie:
MENDA: a comprehensive curated resource of metabolic characterization in depression. Briefings Bioinform. 21(4): 1455-1464 (2020) - [j26]Yingjie Weng, Lu Tian, Dario Tedesco, Karishma Desai, Steven M. Asch, Ian Carroll, Catherine Curtin, Kathryn M. McDonald, Tina Hernandez-Boussard:
Trajectory analysis for postoperative pain using electronic health records: A nonparametric method with robust linear regression and K-medians cluster analysis. Health Informatics J. 26(2): 1404-1418 (2020) - [j25]Xiaoxin Fang, Qiwu Luo, Bingxing Zhou, Congcong Li, Lu Tian:
Research Progress of Automated Visual Surface Defect Detection for Industrial Metal Planar Materials. Sensors 20(18): 5136 (2020) - [j24]Yi Cai, Xiaoming Chen, Lu Tian, Yu Wang, Huazhong Yang:
Enabling Secure NVM-Based in-Memory Neural Network Computing by Sparse Fast Gradient Encryption. IEEE Trans. Computers 69(11): 1596-1610 (2020) - [j23]Qiwu Luo, Xiaoxin Fang, Jiaojiao Su, Jian Zhou, Bingxing Zhou, Chunhua Yang, Li Liu, Weihua Gui, Lu Tian:
Automated Visual Defect Classification for Flat Steel Surface: A Survey. IEEE Trans. Instrum. Meas. 69(12): 9329-9349 (2020) - [c38]Ranran Huang, Hanbo Sun, Ji Liu, Lu Tian, Li Wang, Yi Shan, Yu Wang:
Feature Variance Regularization: A Simple Way to Improve the Generalizability of Neural Networks. AAAI 2020: 4190-4197 - [c37]Hao Liu, Dong Li, Jinzhang Peng, Qingjie Zhao, Lu Tian, Yi Shan:
MTNAS: Search Multi-task Networks for Autonomous Driving. ACCV (3) 2020: 670-687 - [c36]Zhiwei Liang, Pan Zhang, Baoyan Liu, Nenggui Xu, Lu Tian, Ying Lu:
A data capture model and its associate study on the public web published COVID-19 data. BIBM 2020: 2005-2008 - [c35]Li Wang, Dong Li, Yousong Zhu, Lu Tian, Yi Shan:
Dual Super-Resolution Learning for Semantic Segmentation. CVPR 2020: 3773-3782 - [c34]Jiashu Zhu, Dong Li, Tiantian Han, Lu Tian, Yi Shan:
ProgressFace: Scale-Aware Progressive Learning for Face Detection. ECCV (6) 2020: 344-360 - [c33]Tianyu Zhang, Tiantian Han, Lu Tian, Yi Li, Xijie Jia, Guangdong Liu, Pingbo An, Yingran Tan, Lingzhi Sui, Shaoxia Fang, Dongliang Xie, Michaela Blott, Yi Shan:
LPAC: A Low-Precision Accelerator for CNN on FPGAs. FPGA 2020: 316 - [c32]Cuiying Liao, Lu Tian:
An Online English Learning Community for College Students Based on Community of Inquiry Framework. ICWL/SETE 2020: 370-379 - [i4]Jessica L. Gronsbell, Molei Liu, Lu Tian, Tianxi Cai:
Efficient Estimation and Evaluation of Prediction Rules in Semi-Supervised Settings under Stratified Sampling. CoRR abs/2010.09443 (2020)
2010 – 2019
- 2019
- [j22]Qiwu Luo, Yichuang Sun, Pengcheng Li, Oluyomi Simpson, Lu Tian, Yigang He:
Generalized Completed Local Binary Patterns for Time-Efficient Steel Surface Defect Classification. IEEE Trans. Instrum. Meas. 68(3): 667-679 (2019) - [c31]Jinzhang Peng, Lu Tian, Xijie Jia, Haotian Guo, Yongsheng Xu, Dongliang Xie, Hong Luo, Yi Shan, Yu Wang:
Multi-task ADAS system on FPGA. AICAS 2019: 171-174 - [c30]Di Wu, Yu Zhang, Xijie Jia, Lu Tian, Tianping Li, Lingzhi Sui, Dongliang Xie, Yi Shan:
A High-Performance CNN Processor Based on FPGA for MobileNets. FPL 2019: 136-143 - [c29]Yi Cai, Xiaoming Chen, Lu Tian, Yu Wang, Huazhong Yang:
Enabling Secure in-Memory Neural Network Computing by Sparse Fast Gradient Encryption. ICCAD 2019: 1-8 - [c28]Weicong Chen, Lu Tian, Liwen Fan, Yu Wang:
Augmentation Invariant Training. ICCV Workshops 2019: 2963-2971 - [c27]Lu Tian, Ranran Huang, Yu Wang:
Metric Learning in Codebook Generation of Bag-of-Words for Person Re-identification. ICPRAM 2019: 298-306 - [c26]Steve Yadlowsky, Sanjay Basu, Lu Tian:
A Calibration Metric for Risk Scores with Survival Data. MLHC 2019: 424-450 - [c25]Lu Tian:
Application of Parallel Corpus to Teaching Style and Translation. SETE@ICWL 2019: 237-245 - [i3]Steve Yadlowsky, Fabio Pellegrini, Federica Lionetto, Stefan Braune, Lu Tian:
Estimation and Validation of a Class of Conditional Average Treatment Effects Using Observational Data. CoRR abs/1912.06977 (2019) - 2018
- [j21]Cheng Zhang, Raja Shahmir Nizam, Lu Tian:
BIM-based investigation of total energy consumption in delivering building products. Adv. Eng. Informatics 38: 370-380 (2018) - [j20]Lanqin Zheng, Xin Li, Lu Tian, Panpan Cui:
The effectiveness of integrating mobile devices with inquiry-based learning on students' learning achievements: a meta-analysis. Int. J. Mob. Learn. Organisation 12(1): 77-95 (2018) - [j19]Chao Yang, Jin Luo, Chuli Hu, Lu Tian, Jie Li, Ke Wang:
An Observation Task Chain Representation Model for Disaster Process-Oriented Remote Sensing Satellite Sensor Planning: A Flood Water Monitoring Application. Remote. Sens. 10(3): 375 (2018) - [j18]Jijun Tang, Lu Tian, Yi-Ping Phoebe Chen:
Guest Editorial for the 14th Asia Pacific Bioinformatics Conference. IEEE ACM Trans. Comput. Biol. Bioinform. 15(2): 396-397 (2018) - [c24]Shaoxia Fang, Lu Tian, Junbin Wang, Shuang Liang, Dongliang Xie, Zhongmin Chen, Lingzhi Sui, Qian Yu, Xiaoming Sun, Yi Shan, Yu Wang:
Real-Time Object Detection and Semantic Segmentation Hardware System with Deep Learning Networks. FPT 2018: 389-392 - [c23]Yuanyuan Mu, Lu Tian, Wenting Yang:
Towards a Knowledge Management Model for Online Translation Learning. SETE@ICWL 2018: 198-207 - [c22]Lu Tian, Yuanyuan Mu, Wenting Yang:
Designing a Platform-Facilitated and Corpus-Assisted Translation Class. SETE@ICWL 2018: 208-217 - 2017
- [c21]Lu Tian, Quanquan Gu:
Communication-efficient Distributed Sparse Linear Discriminant Analysis. AISTATS 2017: 1178-1187 - [c20]Wanjun Gao, Yunlong Luo, Lu Tian:
Study of aircraft three-stage brushless generator and voltage regulator based on Dymola. IECON 2017: 4171-4175 - [c19]Yi Wang, Xiangyuan Bu, Xiaozheng Gao, Lu Tian:
Analysis of Passive Intermodulation Effect on OFDM Frame Synchronization. MLICOM (2) 2017: 79-86 - [i2]Lu Tian, Shengjin Wang:
Metric Learning in Codebook Generation of Bag-of-Words for Person Re-identification. CoRR abs/1704.02492 (2017) - 2016
- [j17]Hong Liu, Hao Tang, Wei Xiao, ZiYi Guo, Lu Tian, Yuan Gao:
Sequential Bag-of-Words model for human action classification. CAAI Trans. Intell. Technol. 1(2): 125-136 (2016) - [j16]Jijun Tang, Lu Tian, Yi-Ping Phoebe Chen:
Guest Editorial for the 14th Asia Pacific Bioinformatics Conference (APBC2016). Comput. Biol. Chem. 63: 1-2 (2016) - [j15]Jian Peng, Shiquan Zhao, Yanxu Liu, Lu Tian:
Identifying the urban-rural fringe using wavelet transform and kernel density estimation: A case study in Beijing City, China. Environ. Model. Softw. 83: 286-302 (2016) - [c18]Xiao Hu, Tzi-Dong Jeremy Ng, Lu Tian, Chi-Un Lei:
Automating assessment of collaborative writing quality in multiple stages: the case of wiki. LAK 2016: 518-519 - [c17]Lu Tian, Pan Xu, Quanquan Gu:
Forward Backward Greedy Algorithms for Multi-Task Learning with Faster Rates. UAI 2016 - 2015
- [j14]Andrew Quitadamo, Lu Tian, Benika Hall, Xinghua Shi:
An integrated network of microRNA and gene expression in ovarian cancer. BMC Bioinform. 16(S-5): S5 (2015) - [j13]Lu Tian, Shengjin Wang:
Person Re-Identification as Image Retrieval Using Bag of Ensemble Colors. IEICE Trans. Inf. Syst. 98-D(1): 180-188 (2015) - [j12]Xu Zhang, Fei He, Lu Tian, Shengjin Wang:
Cognitive pedestrian detector: Adapting detector to specific scene by transferring attributes. Neurocomputing 149: 800-810 (2015) - [j11]Jian Peng, You Li, Lu Tian, Yanxu Liu, Yanglin Wang:
Vegetation Dynamics and Associated Driving Forces in Eastern China during 1999-2008. Remote. Sens. 7(10): 13641-13663 (2015) - [c16]Liang Zheng, Shengjin Wang, Lu Tian, Fei He, Ziqiong Liu, Qi Tian:
Query-adaptive late fusion for image search and person re-identification. CVPR 2015: 1741-1750 - [c15]Lu Tian, Xianwei Xu, Jie Zhou:
Image matching for repetitive patterns. ICASSP 2015: 1488-1492 - [c14]Liang Zheng, Liyue Shen, Lu Tian, Shengjin Wang, Jingdong Wang, Qi Tian:
Scalable Person Re-identification: A Benchmark. ICCV 2015: 1116-1124 - [c13]Chuan Yu, Lu Tian, Han Hu, Yueqi Duan, Jie Zhou:
Progressive feature matching via triplet graph. ICIP 2015: 1860-1864 - [c12]Hong Liu, Lu Tian, Mengyuan Liu, Hao Tang:
SDM-BSM: A fusing depth scheme for human action recognition. ICIP 2015: 4674-4678 - [i1]Liang Zheng, Liyue Shen, Lu Tian, Shengjin Wang, Jiahao Bu, Qi Tian:
Person Re-identification Meets Image Search. CoRR abs/1502.02171 (2015) - 2014
- [j10]Xianwei Xu, Lu Tian, Jianjiang Feng, Jie Zhou:
OSRI: A Rotationally Invariant Binary Descriptor. IEEE Trans. Image Process. 23(7): 2983-2995 (2014) - 2013
- [c11]Dingrui Duan, Lu Tian, Jinshi Cui, Li Wang, Hongbin Zha, Hamid K. Aghajan:
Gaze Estimation in Children's Peer-Play Scenarios. ACPR 2013: 760-764 - [c10]Lu Tian, Dingrui Duan, Jinshi Cui, Li Wang, Hongbin Zha, Hamid K. Aghajan:
Video Based Children's Social Behavior Classification in Peer-Play Scenarios. ACPR 2013: 770-774 - [c9]Lu Tian, Dingrui Duan, Jinshi Cui, Li Wang, Hongbin Zha, Hamid Aghajan:
Video Based Children's Social Behavior Classification in Peer-Play Scenarios. ICCV Workshops 2013: 746-747 - 2012
- [j9]Zhi Han, Lu Tian, Thierry Pécot, Tim Hui-Ming Huang, Raghu Machiraju, Kun Huang:
A signal processing approach for enriched region detection in RNA polymerase II ChIP-seq data. BMC Bioinform. 13(S-2): S2 (2012) - 2011
- [j8]X. G. Zhao, W. Dai, Y. Li, Lu Tian:
AUC-based biomarker ensemble with an application on gene scores predicting low bone mineral density. Bioinform. 27(21): 3050-3055 (2011) - [c8]Xinye Zhang, Jinshi Cui, Lu Tian, Hongbin Zha:
Local spatio-temporal feature based voting framework for complex human activity detection and localization. ACPR 2011: 12-16 - [c7]Lei Gong, Lu Tian, Fulian Zhang:
Application information flow non-interference transmission model. EMEIT 2011: 2306-2309
2000 – 2009
- 2006
- [c6]K. Mani Chandy, Lu Tian, Daniel M. Zimmerman:
Enterprise Computing Systems as Information Factories. EDOC 2006: 427-432 - [c5]Lu Tian, K. Mani Chandy:
Resource Allocation in Streaming Environments. GRID 2006: 270-277 - 2004
- [c4]Sheng Zhong, Lu Tian, Cheng Li, Kai-Florian Storch, Wing Hung Wong:
Comparative Analysis of Gene Sets in the Gene Ontology Space under the Multiple Hypothesis Testing Framework. CSB 2004: 425-435 - 2002
- [c3]Peter J. Park, Lu Tian, Isaac S. Kohane:
Linking gene expression data with patient survival times using partial least squares. ISMB 2002: 120-127
1990 – 1999
- 1995
- [b1]Lu Tian:
Beiträge zur globalen Bildverarbeitung im Transformationsbereich: Transformation, Skalierung, Filterung. Humboldt University of Berlin, Unter den Linden, Germany, 1995 - [j7]Dung T. Huynh, Lu Tian:
On Deciding Readiness and Failure Equivalences for Processes. Inf. Comput. 117(2): 193-205 (1995) - [j6]Didier Caucal, Dung T. Huynh, Lu Tian:
Deciding Branching Bimiliarity of Normed Context-Free Processes Is in \Sigma^ p_2. Inf. Comput. 118(2): 306-315 (1995) - 1994
- [j5]Dung T. Huynh, Lu Tian:
On Deciding some Equivalences for Concurrent Processes. RAIRO Theor. Informatics Appl. 28(1): 51-71 (1994) - [j4]Dung T. Huynh, Lu Tian:
Deciding Bisimilarity of Normed Context-Free Processes is in Sigma^p_2. Theor. Comput. Sci. 123(2): 183-197 (1994) - [j3]Dung T. Huynh, Lu Tian:
A Note on the Complexity of Deciding Bisimilarity of Normed Unary Processes. Theor. Comput. Sci. 131(2): 441-448 (1994) - 1993
- [j2]Dung T. Huynh, Lu Tian:
On deciding trace equivalences for processes. Inf. Sci. 72(1-2): 105-121 (1993) - [c2]Dung T. Huynh, Lu Tian:
On the Complexity of Bisimilarity of Normed Probabilistic Context-Free Processes. ICCI 1993: 3-7 - 1992
- [j1]Dung T. Huynh, Lu Tian:
On some equivalence relations for probabilistic processes. Fundam. Informaticae 17(3): 211-234 (1992) - 1991
- [c1]Dung T. Huynh, Lu Tian:
The complexity of readiness and failure equivalences for processes. SPDP 1991: 738-745
Coauthor Index