Lijun Zhang - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Lijun Zhang' as author, editor, or advisor:

Model checking differentially private propertiesDepeng Liu, Bow-Yaw Wang, Chen Fu, Lijun Zhang 0001. TCS, 943:153-170, 2023. [doi]
A Compositional Modelling and Verification Framework for Stochastic Hybrid SystemsShuling Wang, Naijun Zhan, Lijun Zhang 0001. fac, 29(4):751-775, 2017. [doi]
Incremental Bisimulation Abstraction RefinementLei Song, Lijun Zhang 0001, Holger Hermanns, Jens Chr. Godskesen. acsd 2013: 11-20 [doi]
Decision algorithms for probabilistic simulationsLijun Zhang 0001. PhD thesis, Saarland University, Saarbrücken, Germany, 2009. [doi]
Finding Polynomial Loop Invariants for Probabilistic ProgramsYijun Feng, Lijun Zhang 0001, David N. Jansen, Naijun Zhan, Bican Xia. ATVA 2017: 400-416 [doi]
Lazy Probabilistic Model Checking without DeterminisationErnst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang 0001. concur 2015: 354-367 [doi]
On Equivalence Checking of Nondeterministic Finite AutomataChen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang 0001. setta 2017: 216-231 [doi]
On the Relationship between LTL Normal Forms and Büchi AutomataJianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang, Jifeng He, Kim Guldstrand Larsen. BIRTHDAY 2013: 256-270 [doi]
29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, ChinaSven Schewe, Lijun Zhang 0001, editors, Volume 118 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
An Axiomatisation of the Probabilistic \mu -CalculusJunnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang 0001. icfem 2019: 420-437 [doi]
A Comparative Study of BDD Packages for Probabilistic Symbolic Model CheckingTom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang 0001. setta 2015: 35-51 [doi]
Efficient approximation of optimal control for continuous-time Markov gamesJohn Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang 0001. iandc, 247:106-129, 2016. [doi]
Synthesizing Nested Ranking Functions for Loop Programs via SVMYi Li, Xuechao Sun, Yong Li 0031, Andrea Turrini, Lijun Zhang 0001. icfem 2019: 438-454 [doi]
Frontmatter: mining Android user interfaces at scaleKonstantin Kuznetsov 0001, Chen Fu, Song Gao, David N. Jansen, Lijun Zhang 0001, Andreas Zeller. FSE 2021: 1580-1584 [doi]
How does Weight Correlation Affect Generalisation Ability of Deep Neural Networks?Gaojie Jin, Xinping Yi, Liang Zhang, Lijun Zhang 0001, Sven Schewe, Xiaowei Huang 0001. nips 2020: [doi]
LTLf Satisfiability CheckingJianwen Li, Lijun Zhang 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He. ecai 2014: 513-518 [doi]
Congruence Relations for Büchi AutomataYong Li 0031, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang 0001. FM 2021: 465-482 [doi]
Accelerating LTL satisfiability checking by SAT solversJianwen Li, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi, Jifeng He. logcom, 28(6):1011-1030, 2018. [doi]
Model Predictive Control with Reach-avoid AnalysisDejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang 0001, Bai Xue 0001. IJCAI 2023: 5437-5445 [doi]
Probably safe or liveJoost-Pieter Katoen, Lei Song 0001, Lijun Zhang 0001. csl 2014: 55 [doi]
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid SystemsErnst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang 0001. qest 2011: 69-78 [doi]
Probabilistic Preference Planning Problem for Markov Decision ProcessesMeilun Li, Andrea Turrini, Ernst Moritz Hahn, Zhikun She, Lijun Zhang 0001. TSE, 48(5):1545-1559, 2022. [doi]
Enhancing Robustness Verification for Deep Neural Networks via Symbolic PropagationPengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang 0001, Lijun Zhang 0001. fac, 33(3):407-435, 2021. [doi]
Editorial - Special issue on Concurrency Theory (CONCUR 2018)Sven Schewe, Lijun Zhang 0001. jcss, 119:19-20, 2021. [doi]
LTL Satisfiability Checking RevisitedJianwen Li, Lijun Zhang 0001, Geguang Pu, Moshe Y. Vardi, Jifeng He. time 2013: 91-98 [doi]
SAT-based explicit LTL reasoning and its application to satisfiability checkingJianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang 0001, Moshe Y. Vardi. fmsd, 54(2):164-190, 2019. [doi]
Weight Expansion: A New Perspective on Dropout and GeneralizationGaojie Jin, Xinping Yi, Pengfei Yang, Lijun Zhang 0001, Sven Schewe, Xiaowei Huang 0001. tmlr, 2022, 2022. [doi]
Divide-and-Conquer Determinization of Büchi Automata Based on SCC DecompositionYong Li 0031, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang 0001. cav 2022: 152-173 [doi]
Formal Verification of Consensus in the Taurus Distributed DatabaseSong Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen, Lijun Zhang 0001. FM 2021: 741-751 [doi]
Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, ProceedingsJun Pang 0001, Lijun Zhang 0001, editors, Volume 12153 of Lecture Notes in Computer Science, Springer, 2020. [doi]
Preference Planning for Markov Decision ProcessesMeilun Li, Zhikun She, Andrea Turrini, Lijun Zhang 0001. AAAI 2015: 3313-3319 [doi]
Incremental Bisimulation Abstraction RefinementLei Song 0001, Lijun Zhang 0001, Holger Hermanns, Jens Chr. Godskesen. tecs, 13(4s), 2014. [doi]
Multiphase until formulas over Markov reward models: An algebraic approachMing Xu, Lijun Zhang 0001, David N. Jansen, Huibiao Zhu, Zongyuan Yang. TCS, 611:116-135, 2016. [doi]
Efficient Approximation of Optimal Control for Continuous-Time Markov GamesJohn Fearnley, Markus Rabe 0002, Sven Schewe, Lijun Zhang 0001. fsttcs 2011: 399-410 [doi]
Verifying Pufferfish Privacy in Hidden Markov ModelsDepeng Liu, Bow-Yaw Wang, Lijun Zhang 0001. vmcai 2022: 174-196 [doi]
A General Framework for Probabilistic Characterizing FormulaeJoshua Sack, Lijun Zhang 0001. vmcai 2012: 396-411 [doi]
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021S. Arun-Kumar 0004, Dominique Méry, Indranil Saha, Lijun Zhang 0001, editors, ACM, 2021. [doi]
A space-efficient simulation algorithm on probabilistic automataLijun Zhang 0001, David N. Jansen. iandc, 249:138-159, 2016. [doi]
An explicit transition system construction approach to LTL satisfiability checkingJianwen Li, Lijun Zhang 0001, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He. fac, 30(2):193-217, 2018. [doi]
Measurability and safety verification for stochastic hybrid systemsMartin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Nicolás Wolovick, Lijun Zhang 0001. hybrid 2011: 43-52 [doi]
Deciding Bisimilarities on DistributionsChristian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang 0001. qest 2013: 72-88 [doi]
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper)Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li 0031, Zhilin Wu, David N. Jansen, Lijun Zhang 0001. SEFM 2022: 324-331 [doi]
Model Checking for Probabilistic Multiagent SystemsChen Fu, Andrea Turrini, Xiaowei Huang 0001, Lei Song 0001, Yuan Feng 0001, Lijun Zhang 0001. jcst, 38(5):1162-1186, September 2023. [doi]
Model Repair for Markov Decision ProcessesTaolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang 0001. tase 2013: 85-92 [doi]
Extending Hybrid CSP with Probability and StochasticityYu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang 0001. setta 2015: 87-102 [doi]
EPMC Gets Knowledge in Multi-agent SystemsChen Fu, Ernst Moritz Hahn, Yong Li 0031, Sven Schewe, Meng Sun 0002, Andrea Turrini, Lijun Zhang 0001. vmcai 2022: 93-107 [doi]
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity GamesErnst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang 0001. vmcai 2017: 266-287 [doi]
LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020Holger Hermanns, Lijun Zhang 0001, Naoki Kobayashi 0001, Dale Miller 0001, editors, ACM, 2020. [doi]
On the power of finite ambiguity in Büchi complementationWeizhi Feng, Yong Li 0031, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang 0001. iandc, 292:105032, June 2023. [doi]
Scenario Approach for Parametric Markov ModelsYing Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue 0001, Lijun Zhang 0001. ATVA 2023: 158-180 [doi]
Safety Verification for Probabilistic Hybrid SystemsLijun Zhang 0001, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn. ejcon, 18(6):572-587, 2012. [doi]
Probabilistic Bisimulation for Realistic SchedulersChristian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang 0001. FM 2015: 248-264 [doi]
Aalta: an LTL satisfiability checker over Infinite/Finite tracesJianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang 0001, Jifeng He. FSE 2014: 731-734 [doi]
Distribution-Based Bisimulation for Labelled Markov ProcessesPengfei Yang, David N. Jansen, Lijun Zhang 0001. formats 2017: 170-186 [doi]
A Semantics for Every GSPNChristian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang 0001. apn 2013: 90-109 [doi]
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019Tomás Vojnar, Lijun Zhang 0001. STTT, 24(1):29-31, 2022. [doi]
From Concurrency Models to Numbers - Performance and DependabilityHolger Hermanns, Lijun Zhang 0001. In Manfred Broy, Christian Leuxner, Tony Hoare, editors, Software and Systems Safety - Specification and Verification. Volume 30 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 182-210, IOS Press, 2011. [doi]
A nearly optimal upper bound for the self-stabilization time in Herman's algorithmYuan Feng, Lijun Zhang 0001. dc, 28(4):233-244, 2015. [doi]
Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision AlgorithmDavid N. Jansen, Flemming Nielson, Lijun Zhang 0001. NFM 2012: 326-340 [doi]
The Quest for Minimal Quotients for Probabilistic AutomataChristian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang 0001. TACAS 2013: 16-31 [doi]
CCMC: A Conditional CSL Model Checker for Continuous-Time Markov ChainsYang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun Zhang 0001. ATVA 2013: 464-468 [doi]
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision ProcessesLei Song, Lijun Zhang 0001, Jens Chr. Godskesen. vmcai 2014: 98-117 [doi]
Revisiting Weak Simulation for Substochastic Markov ChainsDavid N. Jansen, Lei Song, Lijun Zhang 0001. qest 2013: 209-224 [doi]
Model checking conditional CSL for continuous-time Markov chainsYang Gao, Ming Xu, Naijun Zhan, Lijun Zhang 0001. ipl, 113(1-2):44-50, 2013. [doi]
A Dynamic-Priority based Approach to Fixing Inconsistent Feature ModelsWang, Xiong, Zhenjiang Hu, Zhao, Zhang, Mei. MoDELS 2010:
Research on Affinity Propagation algorithm based on common neighborsHong Yu-ling, Zhang. SMC 2016: 3504-3509 [doi]
Performance analysis on carrier scheduling schemes in the long-term evolution-advanced system with carrier aggregationL. Zhang, K. Zheng, W. Wang, L. Huang. iet-com, 5(5):612-619, 2011. [doi]
Parallel Testing of a Phase-Locked Loop Lock Time in ProductionL. Zhang. tim, 57(9):2089-2092, 2008. [doi]
Real-time Texture Synthesis and Concurrent Random-access Rendering for Low-cost GPU Chip DesignL. Zhang, S. Fenney, F. Escribano. cgf, 35(7):87-95, 2016. [doi]
Process improvement of 0.13mum Cu/Low K (Black Diamond:::TM:::) dual damascene interconnectionH. Y. Li, Y. J. Su, C. F. Tsang, S. M. Sohan, V. N. Bliznetsov, L. Zhang. mr, 45(7-8):1134-1143, 2005. [doi]
A study on the usability of opinion-unaware no-reference natural image quality metrics in the context of medical imagesM. Outtas, L. Zhang, Olivier Déforges, W. Hammidouche, A. Serir, Christine Cavaro-Ménard. isivc 2016: 308-313 [doi]
Stochastic Resonance in Saturation NonlinearitiesL. Zhang, A. G. Song. icnc 2008: 607-611 [doi]
Advances in micro-calcification clusters detection in mammographyL. Zhang, R. Sankar, W. Qian. cbm, 32(6):515-528, 2002. [doi]
An object-oriented symbolic approach to the automated derivation of finite element contributionsR. Saad, Dominique Eyheramendy, L. Zhang. aes, 94:1-13, 2016. [doi]
Virtual Clock: A New Traffic Control Algorithm for Packet Switching NetworksL. Zhang. sigcomm 1990: 19-29 [doi]
Force formulation of tubular linear machines with dual Halbach arrayL. Yan, L. Zhang, Zongxia Jiao, H. J. Hu, C. Y. Chen, I.-M. Chen. visalg 2013: 1-6 [doi]
A Novel Autonomous Localization Technique of Subsea in-Pipe RobotZ. W. Wang, Q. X. Cao, N. Luan, L. Zhang. ijra, 25(2), 2010. [doi]
Miniaturization and packaging of implantable wireless sensor nodes for animals monitoringJ. Lu, L. Zhang, S. Matsumoto, H. Hiroshima, K. Serizawa, M. Hayase, T. Gotoh. ieeesensors 2016: 1-3 [doi]
Genetic algorithm-trained radial basis function neural networks for modelling photovoltaic panelsL. Zhang, Yun Fei Bai. eaai, 18(7):833-844, 2005. [doi]
Self learning of gravity compensation by LOCH humanoid robotM. Xie, Z. W. Zhong, L. Zhang, H. J. Yang, C. S. Song, J. Li, L. B. Xian, L. Wang. humanoids 2008: 320-325 [doi]
Sliding mode observer and controller design for a hydraulic motion control systemCelal Batur, L. Zhang. amcc 2003: 1721-1726 [doi]
Automatically Generating Ada95 Codes for Concurrent ObjectsZ. Wang, H. Zhao, L. Zhang. TOOLS 1998: 222 [doi]
A novel scheme for protecting receiver s location privacy in wireless sensor networksY. Jian, S. Chen, Z. Zhang, L. Zhang. TWC, 7(10):3769-3779, 2008. [doi]
Inter-block dependencies consideration for intra coding in H.264/AVC and HEVC standardsM. Bichon, Julien Le Tanou, Michaël Ropert, Wassim Hamidouche, L. Morin, L. Zhang. icassp 2017: 1537-1541 [doi]
Some Properties of Finite Special String-Rewriting SystemsL. Zhang. JSC, 14(4):359-370, 1992.
Hierarchical Multi-label Classification using Fully Associative Ensemble LearningL. Zhang, S. K. Shah, Ioannis A. Kakadiaris. PR, 70:89-103, 2017. [doi]
A Service-Oriented Modeling Approach for Distributed Management of Multidisciplinary Design Knowledge in the Semantic GridW. Y. Zhang, L. Zhang, Y. Xie. fskd 2006: 631-640 [doi]
Association rule mining for product and process variety mappingJ. Jiao, L. Zhang, Y. Zhang, S. Pokharel. ijcim, 21(1):111-124, 2008. [doi]
Large-scale dynamic gene regulatory networks analysis for time course DNA microarray data from C. elegans, preliminary results and findingsL. Zhang, H. C. Wu, Shing-Chow Chan. icdsp 2015: 552-556 [doi]
Signal Isolation in Full-Duplex Inter-Tower Communication Networks: Field TrialsEneko Iradier, Iñigo Bilbao, M. Fernandez, Jon Montalban, Zhihong Hong, L. Zhang, W. Li, Yiyan Wu 0001. bmsb 2022: 1-5 [doi]
Detection and avoidance scheme for direct-sequence ultra-wideband system: a step towards cognitive radioR. Yang, Z. Zhou, L. Zhang, C. Yu. iet-com, 2(8):1043-1050, 2008. [doi]
Simulation of lithium transport using the BOUT++ frameworkYumin M. Wang, X. Q. Xu, Zhanhui Wang, Nami Li, X. D. Yang, Z. Sun, T. Y. Xia, L. Zhang, Z. H. Wang, X. Gao. cphysics, 269:108127, 2021. [doi]
QMAEA: A quantum multi-agent evolutionary algorithm for multi-objective combinatorial optimizationF. Tao, Y. J. Laili, L. Zhang, Z. H. Zhang, Ay C. Nee. simulation, 90(2):182-204, 2014. [doi]
Ex situ observations of fast intermetallic growth on the surface of interfacial region between eutectic SnBi solder and Cu substrate during solid-state aging processP. J. Shang, L. Zhang, Z. Q. Liu, J. Tan, J. K. Shang. mr, 53(6):899-905, 2013. [doi]
A variable forgetting factor QRD-based RLS algorithm with bias compensation for system identification with input noiseH. J. Tan, S. C. Chan, L. Zhang. iscas 2016: 2643-2646 [doi]
Efficient sampling and compressive sensing for urban monitoring vehicular sensor networksX. Yu, Y. Liu, Y. Zhu, W. Feng, L. Zhang, Habib F. Rashvand, Victor O. K. Li. iet-wss, 2(3):214-221, 2012. [doi]
Multiperiodicity and Attractivity of Delayed Recurrent Neural Networks With Unsaturating Piecewise Linear Transfer FunctionsL. Zhang, Z. Yi, J. Yu. tnn, 19(1):158-167, 2008. [doi]
Designing Multi-Processor Real-Time Systems with a Multi-view ApproachL. Zhang, Jan van Katwijk. ifip11-9 1994: 195-200
A multi-slice model observer for medical image quality assessmentL. Zhang, Christine Cavaro-Ménard, Patrick Le Callet, D. Q. Ge. icassp 2015: 1667-1671 [doi]
Multi-output speckle reduction filter for ultrasound medical images based on multiplicative multiresolution decompositionM. Outtas, L. Zhang, Olivier Déforges, A. Serir, Wassim Hamidouche. icip 2017: 1397-1401 [doi]
New intelligent power-assist systems based on differential transmissionDragoljub Surdilovic, Rolf Bernhardt, L. Zhang. robotica, 21(3):295-302, 2003. [doi]
Mutual Consistency Maintenance in A Prototype Data Trafic Management SystemGeneva G. Belford, Jane W.-S. Liu, D. Cho, P. Cotten, S. England, J. D. Goldstein, S. C. Hwung, K. A. Kaufman, C. K. Kim, J. Leo, A. P. Manolas, A. Moon, A. D. Smet, Y. L. Yan, L. Zhang, G. L. Robinson, R. L. Lapp. icde 1984: 596-602 [doi]
The intelligent control terminal with SCM based on constructive neural networksC. J. Zhang, H. L. Wang, L. Zhang. grc 2006: 74-78 [doi]
Control of A Modular Multilevel Cascaded Converter Based Unified Power Flow ControllerH. Huang, L. Zhang, B. V. P. Chong. iecon 2018: 3926-3931 [doi]
A new false positive reduction method for MCCs detection in digital mammographyL. Zhang, W. Qian, R. Sankar, D. Song, R. Clark. icassp 2001: 1033-1036 [doi]
Dual attention deep learning network for automatic steel surface defect segmentationY. Pan, L. Zhang. cacie, 37(11):1468-1487, 2022. [doi]
A Fully Integrated MIMO Multi-Band Direct-Conversion CMOS Transceiver for WLAN Applications (802.11n)Arya Behzad, K. Carter, Ed Chien, Steve Wu, M. Pan, C. Lee, Tom Li, John C. Leete, Stephen Au, M. Kappes, Zhimin Zhou, Dayo Ojo, L. Zhang, Alireza Zolfaghari, Jesse Castanada, Hooman Darabi, B. Yeung, Reza Rofougaran, Maryam Rofougaran, J. Trachewsky, T. Moorti, R. Gaikwad, A. Bagchi, Jacob Rael, B. Marhoiev. isscc 2007: 560-622 [doi]
Identification of structural parameters based on PZT impedance using genetic algorithmsY. H. Hu, Y. W. Yang, L. Zhang, Y. Lu. cec 2007: 4170-4177 [doi]
IBM Deep Learning ServiceBishwaranjan Bhattacharjee, Scott Boag, Chandani Doshi, Parijat Dube, Ben Herta, Vatche Ishakian, K. R. Jayaram, Rania Khalaf, Avesh Krishna, Y. B. Li, Vinod Muthusamy, Ruchir Puri, Yufei Ren, Florian Rosenberg, Seetharami R. Seelam, Yi Wang, J. M. Zhang, L. Zhang. ibmrd, 61(4):10, 2017. [doi]
The Theory and Implementation of InputValidator: A Semi-Automated Value-Level Bypass Testing ToolJames Miller, L. Zhang, Ejike Ofuonye, Michael R. Smith. ijitwe, 3(3):28-45, 2008. [doi]
Intelligent Broadband Networks; by I. Venieris, H. HussmannL. Zhang. comcom, 22(12):1173, 1999. [doi]
Myocardial infarction detection and classification - A new multi-scale deep feature learning approachJ. F. Wu, Y. L. Bao, Shing-Chow Chan, H. C. Wu, L. Zhang, Xi-Guang Wei. icdsp 2016: 309-313 [doi]
Result Refinement in Web Services Retrieval Based on Multiple Instances LearningY. Zou, L. Zhang, Y. Li, B. Xie, H. Mei. jwsr, 5(2):77-93, 2008. [doi]
Challenges and Advances of Direct Detection Systems for DCI and Metro NetworksJ. L. Wei, Q. Zhang, L. Zhang, N. Stojanovic, Cristian Prodaniuc, Fotini Karinou, C. Xie. ofc 2018: 1-3 [doi]
Towards a BIM Approach for a High Performance Renovation of Apartment BuildingsMichel Aldanondo, A. Barco-Santa, Élise Vareilles, M. Falcon, Paul Gaborit, L. Zhang. ifip5-1 2014: 21-30 [doi]
A Preliminary Study of Adaptive Task Selection in Explicit Evolutionary Many-TaskingQ. Shang, L. Zhang, L. Feng, Y. Hou, J. Zhong, A. Gupta, K. C. Tan, H. L. Liu. cec 2019: 2153-2159 [doi]
Reconstruction of gene regulatory networks from short time series high throughput data: Review and new findingsH. C. Wu, L. Zhang, S. C. Chan. icdsp 2014: 733-738 [doi]
An open-close table based path-planning algorithm for partially updated distance mapP. Shen, L. Zhang, J. Song, L. Si, X. Wu, J. Ding, Y. Zhang, X. Zhang, W. Wei, B. Leng, M. Zeng, W. Zhang. isr 2013: 1-7 [doi]
Dynamic gene and transcriptional regulatory networks inferring with multi-Laplacian prior from time-course gene microarray dataL. Zhang, H. C. Wu, S. C. Chan, C. Wang. icdsp 2017: 1-5 [doi]
Wind energy management with battery storageL. Zhang, A. Wirth. jors, 61(10):1510-1522, 2010. [doi]
The sightseeing bus schedule optimization under Park and Ride System in tourist attractionsL. Zhang, Y. P. Wang, J. Sun, B. Yu. anor, 273(1-2):587-605, 2019. [doi]
Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculusL. Zhang, Y. Lu, F. Xu. iee, 4(5):303-317, 2010. [doi]
927-km End-to-End Interoperable 400-GbEthernet Optical Communications through 2-km 400GBASE-FR4, 8×100-km 400G-OpenROADM and 125-km 400-ZR Fiber LinesErwan Pincemin, Yann Loussouarn, A. Sotomayor, G. Losio, M. McCarthy, L. Nelson, A. Malik, I. Riggs, T. Nielsen, T. Williams, Alberto Gaibazzi, L. Zhang, W. Way, F. Courchesne, M. Vasconcellos. ofc 2022: 1-3 [doi]
Dynamic multicast routing and wavelength assignment using generic graph model for wavelength-division-multiplexing networksYinzhu Zhou, Gee-Swee Poo, Sheng Chen 0006, P. Shum, L. Zhang. iet-com, 2(7):951-959, 2008. [doi]
Estimation of Task-Evoked Dynamic Effective Connectivity from fMRI in A Visual Target Detection Oddball ExperimentL. Zhang, Y. M. Yuan, J.-W. Li, G. Huang, S. C. Chan, Z. G. Zhang. ner 2019: 912-915 [doi]
Active power filtering for a three-phase four-wire network with unidentifiable harmonic loadsM. J. Waite, L. Zhang, B. Chong. isgteurope 2011: 1-8 [doi]
On a Mirkin-Muchnik-Smith Conjecture for Comparing Molecular PhylogeniesL. Zhang. jcb, 4(2):177-188, 1997.
Clustering in Vehicular Ad Hoc Networks using Affinity PropagationBehnam Hassanabadi, Christine Shea, L. Zhang, Shahrokh Valaee. adhoc, 13:535-548, 2014. [doi]
Manipulating attention in computer gamesM. Bernhard, L. Zhang, M. Wimmer. ivmsp 2011: 153-158 [doi]
A new L1-regularized time-varying autoregressive model for brain connectivity estimation: A study using visual task-related fMRI dataL. Zhang, Z. N. Fu, Shing-Chow Chan, H. C. Wu, Z. G. Zhang. iscas 2016: 29-32 [doi]
Benchtop Mini Preform Fabrication for Specialty Optical FibersW. J. Lai, L. Zhang, V. J. J. Yeo, D. J. M. Ho, C. H. Tse. photoptics 2018: 185-189 [doi]
A food traceability framework for dairy and other low-margin productsH. Li, B. Zhang, L. Zhang, Y. Xue, M. He, C. Ren. ibmrd, 60(5/6):10, 2016. [doi]
Medical image processing and computer-aided detection/diagnosis (CAD)Hiroshi Fujita, F. Nogata, Huiyan Jiang, Shoji Kido, T. Feng, Takeshi Hara, Tatsuro Hayashi, Yasushi Hirano, Akitoshi Katsumata, Y. Kawamura, T. Kokubo, J. Liu, Chisako Muramatsu, Hayaru Shouno, Rie Tachibana, X. Wang, F. Xiang, Rui Xu, B. Yang, Y. Yokota, L. Zhang, Q. Li, Z. Guo. icch 2012: 66-71 [doi]
All-optical compare-and-exchange switchesL. Zhang, R. Jin, Charles W. Stirk, G. Khitrova, Ravindra A. Athale, Hyatt M. Gibbs, H. M. Chou, Robert W. Sprague, H. Angus Macleod. jsac, 6(7):1273-1279, 1988. [doi]
NOMA based 5G NR for PTM CommunicationsEneko Iradier, Jon Montalban, D. Romero, Y. Wu, L. Zhang, W. Li. bmsb 2019: 1-6 [doi]
A Posteriori Estimators for the FEM: Analysis of the Robustness of the Estimators for the Poisson EquationL. Zhang, T. Strouboulis, Ivo Babuska. adcm, 15(1-4):375-392, 2001. [doi]
Towards a viewpoint oriented design methodology for Multi-processor Real-Time SystemsL. Zhang, Jan van Katwijk. sbes 1994: 223-250 [doi]
Detecting overlapping use casesH. Liu, W. Z. Shao, L. Zhang, Z. Y. Ma. iee, 1(1):29-36, 2007. [doi]
A Single-Chip Bluetooth EDR Device in 0.13μm CMOSBojko Marholev, M. Pan, Ed Chien, L. Zhang, Rozi Roufoogaran, S. Wu, Iqbal Bhatti, T.-H. Lin, M. Kappes, Shahla Khorram, S. Anand, Alireza Zolfaghari, Jesse Castaneda, C. M. Chien, B. Ibrahim, H. Jensen, H. Kim, Paul Lettieri, S. Mak, J. Lin, Y. C. Wong, R. Lee, M. Syed, Maryam Rofougaran, Ahmadreza Rofougaran. isscc 2007: 558-759 [doi]
Combined source channel frame replenishment codingL. Zhang, Morris Goldberg, Sethuraman Panchanathan. icassp 1991: 2313-2316 [doi]
Report Generation Facility, A High-Level Interface for Coherent Access to Heterogeneous Database SystemsGeneva G. Belford, Jane W.-S. Liu, S. C. Hwung, Chi-Yin Huang Hsu, K. A. Kaufman, C. K. Kim, Jung K. Kim, J. Leo, Anthony V. Ma, J. Ng, D. Neff, J. Quinn, Sudha Ram, Y. L. Yan, L. Zhang. icde 1986: 144-150 [doi]
Magnetic Immunity Guideline for Embedded MRAM Reliability to Realize Mass ProductionT.-Y. Lee, K. Yamane, L. Y. Hau, R. Chao, N. L. Chung, V. B. Naik, K. Sivabalan, J. Kwon, J.-H. Lim, Wah-Peng Neo, Kevin Khua, N. Thiyagarajah, S. H. Jang, B. Behin-Aein, E. H. Toh, Y. Otani, D. Zeng, N. Balasankaran, L. C. Goh, T. Ling, J. Hwang, L. Zhang, R. Low, S. L. Tan, C. S. Seet, J. W. Ting, S. Ong, Y. S. You, S. T. Woo, E. Quek, S. Y. Siah. irps 2020: 1-4 [doi]
AI-based Inter-Tower Communication Networks: Challenges and BenefitsIñigo Bilbao, Eneko Iradier, Jon Montalban, Pablo Angueira, Yiyan Wu, L. Zhang. bmsb 2021: 1-6 [doi]
Advanced manufacturing systems: socialization characteristics and trendsF. Tao, Y. Cheng, L. Zhang, Andrew Y. C. Nee. jim, 28(5):1079-1094, 2017. [doi]
Automatic code generation for real-time reactive systems in TROMLAB environmentVangalur S. Alagar, L. Zhang. rtcsa 2000: 503-510 [doi]
Special issue for IEEE International Conference on Networks (ICON 2002), SingaporeGee-Swee Poo, L. Zhang, L. H. Ngoh. comcom, 27(2):145-146, 2004. [doi]
Word Graphs: The Third SetCornelis Hoede, L. Zhang. iccS 2001: 15-28 [doi]
Global asymptotics of orthogonal polynomials associated with |x|:::2alpha:::e:::-Q(x):::R. Wong, L. Zhang. jat, 162(4):723-765, 2010. [doi]
A novel ballonet polishing tool and its robot control system for polishing the curved surface of mouldS. M. Ji, L. Zhang, Q. L. Yuan, M. S. Jin, J. L. Yuan. ijcat, 29(2/3/4):212-215, 2007. [doi]
Boosting Techniques for Physics-Based Vortex DetectionL. Zhang, Q. Deng, Raghu Machiraju, A. Rangarajan, David Thompson, D. K. Walters, Han-Wei Shen. cgf, 33(1):282-293, 2014. [doi]
Adaptive Sensing Matrix Design for Greedy Algorithms in Mmv Compressive SensingL. Zhang, L. Huang, B. Zhao, B. Li. icassp 2019: 5571-5575 [doi]
Dynamic visualization of stress distribution on metal by mechanoluminescence imagesC. Li, C. N. Xu, L. Zhang, H. Yamada, Y. Imai. jvis, 11(4):329-335, 2008. [doi]
Free-Space Transmissions in the Upper- and Lower-THz Bands Assisted with PhotonicsXiaodan Pang, Oskars Ozolins, Shi Jia, L. Zhang, Richard Schatz, Aleksejs Udalcovs, Vjaceslavs Bobrovs, Hao Hu, Toshio Morioka, Y. T. Sun, J. Chen, Sebastian Lourdudoss, Leif K. Oxenløwe, Sergei Popov, X. Yu. ecoc 2021: 1-4 [doi]
The parallel algorithm for judging m-matrixX. J. Guo, L. Zhang, Z. C. Wang. pdcn 2004: 381-385
Persistence of learning gains from computer assisted learning: Experimental evidence from ChinaD. Mo, L. Zhang, J. Wang, W. Huang, Y. Shi, M. Boswell, S. Rozelle. jcal, 31(6):562-581, 2015. [doi]
Representations of Continuous Attractors of Recurrent Neural NetworksJ. Yu, Z. Yi, L. Zhang. tnn, 20(2):368-372, 2009. [doi]
Reconstructing Synchronous Scrambler With Robust Detection Capability in the Presence of NoiseY. Ma, L. Zhang, H. Wang. tifs, 10(2):397-408, 2015. [doi]
Application of Knowledge Hub and RFID Technology in Auditing and Tracking of Plasterboard for Environment Recycling and Waste DisposalA. S. Atkins, L. Zhang, H. Yu, B. P. Naylor. ICEIS 2007: 190-195
A deterministic way of planning and controlling biped walking of LOCH humanoid robotM. Xie, Z. W. Zhong, L. Zhang, L. B. Xian, L. Wang, H. J. Yang, C. S. Song, J. Li. irob, 36(4):314-325, 2009. [doi]
eta -Superconvergence of Finite Element Solutions and Error EstimatorsL. Zhang, T. Strouboulis, Ivo Babuska. adcm, 15(1-4):393-404, 2001. [doi]
A tabu search algorithm for the safe transportation of hazardous materialsL. Zhang, Songshan Guo, Yunsong Zhu, Andrew Lim. SAC 2005: 940-946 [doi]
UWB Echo Signal Detection With Ultra-Low Rate Sampling Based on Compressed SensingGuangming Shi, Jie Lin, Xuyang Chen, Fei Qi, Danhua Liu, L. Zhang. tcas, 55-II(4):379-383, 2008. [doi]
Long-range predictive control of current regulated PWM for induction motor drives using the synchronous reference frameL. Zhang, R. Norman, William Shepherd. tcst, 5(1):119-126, 1996. [doi]
Monte Carlo simulation of the Ising model on FPGAY. Lin, F. Wang, X. Zheng, H. Gao, L. Zhang. jcphy, 237:224-234, 2013. [doi]
Object separation by polarimetric and spectral imagery fusionY. Zhao, L. Zhang, D. Zhang, Q. Pan. cviu, 113(8):855-866, 2009. [doi]
MCTF-Based Curvelet Video Compression AlgorithmL. Zhang, S. Q. Wang, Z. J. Fang, Z. H. Shu, W. R. Zhang. icnc 2008: 559-562 [doi]
A Comparison of CPU and GPU Implementations for the LHCb Experiment Run 3 TriggerR. Aaij, Marta Adinolfi, Salvatore Aiola, S. Akar, J. Albrecht, M. Alexander, S. Amato, Yasmine Amhis, F. Archilli, M. Bala, G. Bassi, L. Bian, M. P. Blago, T. Boettcher, A. Boldyrev, S. Borghi, A. Brea Rodriguez, L. Calefice, M. Calvo Gomez, D. H. Cámpora Pérez, A. Cardini, Marco Cattaneo, V. Chobanova, G. Ciezarek, X. Cid Vidal, J. L. Cobbledick, J. A. B. Coelho, Tommaso Colombo, A. Contu, Benjamin Couturier, Daniel C. Craik, R. Currie, P. d'Argent, Michel De Cian, Denis Derkach, F. Dordei, Marco Dorigo, L. Dufour, Paolo Durante, A. Dziurda, A. Dzyuba, S. Easo, S. Esen, Placido Fernandez Declara, S. Filippov, Conor Fitzpatrick, M. Frank, Paolo Gandini, Vladimir V. Gligorov, Elisabet Golobardes, G. Graziani, L. Grillo, P. A. Günther, S. Hansmann-Menzemer, Arthur M. Hennequin, L. Henry, D. Hill, S. E. Hollitt, J. Hu, W. Hulsbergen, R. J. Hunter, Mikhail Hushchyn, Brij Kishor Jashal, Christopher Robert Jones, S. Klaver, Konrad Klimaszewski, R. Kopecna, Wojciech Krzemien, M. Kucharczyk, R. Lane, F. Lazzari, R. Le Gac, P. Li, J. H. Lopes, M. Lucio Martinez, A. Lupato, Oliver Lupton, X. Lyu, F. Machefert, O. Madejczyk, S. Malde, J. F. Marchand, S. Mariani, Carla Marin Benito, D. Martinez Santos, F. Martinez Vidal, R. Matev, M. Mazurek, B. Mitreska, D. S. Mitzel, M. J. Morello, H. Mu, P. Muzzetto, P. Naik, Matthew D. Needham, N. Neri, N. Neufeld, N. S. Nolte, Daniel O'Hanlon, A. Oyanguren Campos, M. Pepe Altarelli, S. Petrucci, Marco Petruzzo, L. Pica, Flavio Pisani, A. Piucci, Francesco Polci, A. Poluektov, E. Polycarpo, C. Prouve, G. Punzi, Renato Quagliani, R. I. Rabadan Trejo, M. Ramos Pernas, M. S. Rangel, Fedor Ratnikov, G. Raven, F. Reiss, V. Renaudin, P. Robbe, Artem Ryzhikov, M. Santimaria, M. Saur, Manuel T. Schiller, Rainer Schwemmer, Barbara Sciascia, A. Solomin, F. Suljik, N. Skidmore, Michael D. Sokoloff, P. Spradlin, M. Stahl, S. Stahl, H. Stevens, L. Sun, A. Szabelski, T. Szumlak, M. Szymanski, D. Y. Tou, G. Tuci, A. Usachov, Núria Valls Canudas, R. Vazquez Gomez, S. Vecchi, Mika Vesterinen, Xavier Vilasis-Cardona, Dorothea Vom Bruch, Z. Wang, Tomasz Wojton, Mark Whitehead, M. Williams, Mariusz Witek, Y. Xie, A. Xu, H. Yin, Milosz Zdybal, O. Zenaiev, D. Zhang, L. Zhang, X. Zhu, The LHCb Collaboration. csbs, 6(1), 2022. [doi]
Understanding MOOC students: motivations and behaviours indicative of MOOC completionBarton K. Pursel, L. Zhang, Kathryn W. Jablokow, G. W. Choi, D. Velegol. jcal, 32(3):202-217, 2016. [doi]
Types for task-based access control in workflow systemsY. Lu, L. Zhang, J. Sun. iee, 2(5):461-473, 2008. [doi]
Dynamic gene regulatory network analysis using Saccharomyces cerevisiae large-scale time-course microarray dataL. Zhang, H. C. Wu, J. Q. Lin, S. C. Chan. iscas 2017: 1-4 [doi]
Local Variance-Controlled Forward-and-Backward Diffusion for Image Enhancement and Noise ReductionY. Wang, L. Zhang, P. Li. TIP, 16(7):1854-1864, 2007. [doi]
Methodology for traffic modeling using two-state Markov-modulated Bernoulli processC.-H. Ng, Lihua Yuan, W. Fu, L. Zhang. comcom, 22(13):1266-1273, 1999. [doi]
Analog Cancellation in ATSC 3.0 for Enabling Inter-Tower Communications NetworkEneko Iradier, Iñigo Bilbao, Jon Montalban, Yiyan Wu, L. Zhang, W. Li, Z. Hong. bmsb 2021: 1-6 [doi]
Automatic carotid centerline extraction from three-dimensional ultrasound Doppler imagesS. Parrini, L. Zhang, Sara Condino, Vincenzo Ferrari, D. Caramella, Mauro Ferrari. embc 2014: 5089-5092 [doi]
Linear Deformation Rate Derivation from Multi-baseline Differential Interferogram StacksD. Q. Ge, X. F. Guo, L. Zhang, S. W. Liu, J. H. Fan. igarss 2006: 763-766 [doi]
Selectable and Unselectable Sets of Neurons in Recurrent Neural Networks With Saturated Piecewise Linear Transfer FunctionL. Zhang, Z. Yi. tnn, 22(7):1021-1031, 2011. [doi]
Research on measurement method of resource service composition flexibility in service-oriented manufacturing systemH. Guo, F. Tao, L. Zhang, Y. J. Laili, D. K. Liu. ijcim, 25(2):113-135, 2012. [doi]
Efficient video object segmentation using adaptive background registration and edge-based change detection techniquesJiashu Zhang, L. Zhang, Heng-Ming Tai. icmcs 2004: 1467-1470
Response surface models for efficient, modular estimation of solder joint reliability in area array packagesL. Zhang, G. Subbarayan, B. C. Hunter, D. Rose. mr, 45(3-4):623-635, 2005. [doi]
Stability analysis for a class of switched nonlinear systemsA. Yu. Aleksandrov, Y. Chen, A. V. Platonov, L. Zhang. automatica, 47(10):2286-2291, 2011. [doi]
The dependency of TSV keep-out zone (KOZ) on Si crystal direction and liner materialJ. Zhang, L. Zhang, Y. Dong, H. Y. Li, C. M. Tan, G. Xia, C. S. Tan. 3dic 2013: 1-5 [doi]
Characterisation of defects generated during constant current InGaN-on-silicon LED operationRiko I. Made, Yu Gao, Govindo J. Syaranamual, W. A. Sasangka, L. Zhang, Xuan Sang Nguyen, Y. Y. Tay, J. S. Herrin, Carl V. Thompson, Chee Lip Gan. mr, 76:561-565, 2017. [doi]
Why TCP timers don t work wellL. Zhang. sigcomm 1986: 397-405 [doi]
Design of improved Luby transform codes with decreasing ripple size and feedbackL. Zhang, J. Liao, J. Wang, T. Li, Q. Qi. iet-com, 8(8):1409-1416, 2014. [doi]
Transfer Learning Based Classification of Cervical Cancer Immunohistochemistry ImagesC. Li, D. Xue, X. Zhou, J. Zhang, H. Zhang, Y. Yao, F. Kong, L. Zhang, H. Sun. isicdm 2019: 102-106 [doi]
Prediction of DGPS corrections with neural networksJ. Sang, K. Kubik, L. Zhang. kes 1997: 355-361 [doi]
Research on manufacturing grid resource service optimal-selection and composition frameworkF. Tao, L. Zhang, K. Lu, D. Zhao. eis, 6(2):237-264, 2012. [doi]
220GHz wide-band MEMS switch in standard BiCMOS technologyY. J. Du, W. Su, S. Tolunay, L. Zhang, M. Kaynak, R. Scholz, Yong-Zhong Xiong. asscc 2015: 1-4 [doi]
Patch-based face recognition using a hierarchical multi-label matcherL. Zhang, Pengfei Dou, Ioannis A. Kakadiaris. ivc, 73:28-39, 2018. [doi]
Order relation is the necessary condition of success of fuzzy control systemC. J. Zhang, L. Zhang. grc 2005: 346-349 [doi]
AI-based Inter-Tower Communication Networks: First approachIñigo Bilbao, Eneko Iradier, Jon Montalban, Zhihong Hong, L. Zhang, W. Li, Yiyan Wu 0001. bmsb 2022: 1-5 [doi]
Controllability of probabilistic Boolean control networks with time-variant delays in statesKuize Zhang, Lijun Zhang. chinaf, 59(9):92204, 2016. [doi]
Chinese Event Detection Based on Multi-Feature Fusion and BiLSTMGuixian Xu, Yueting Meng, Xiaokai Zhou, Ziheng Yu, Xu Wu, Lijun Zhang. access, 7:134992-135004, 2019. [doi]
Loop Closure Detection with Incremental Proximity Graph and Multi-words QuantizationLijun Zhang, Weisheng Yan, Huiping Li, Bufang Li. ascc 2022: 1114-1119 [doi]
A projection-based decomposition for the scalability of evolvable hardwareYanyun Tao, Lijun Zhang, Yuzhen Zhang. soco, 20(6):2205-2218, 2016. [doi]
Projection-free Online Learning in Dynamic EnvironmentsYuanyu Wan, Bo Xue, Lijun Zhang. AAAI 2021: 10067-10075 [doi]
Model Checking Interactive Markov ChainsLijun Zhang, Martin R. NeuhÃ¤uÃŸer. TACAS 2010: 53-68 [doi]
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster VerificationJianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang. SAS 2019: 296-319 [doi]
Non-stationary Projection-Free Online Learning with Dynamic and Adaptive Regret GuaranteesYibo Wang, Wenhao Yang, Wei Jiang, Shiyin Lu, Bing Wang, Haihong Tang, Yuanyu Wan, Lijun Zhang. AAAI 2024: 15671-15679 [doi]
Online Learning in Changing EnvironmentsLijun Zhang. IJCAI 2020: 5178-5182 [doi]
An Evolutionary Strategy Based State Assignment for Area-Minimization Finite State MachinesYanyun Tao, Lijun Zhang, Yuzhen Zhang. ssci 2015: 1491-1498 [doi]
Entropy Analysis on the Blood Flow through Anisotropically Tapered Arteries Filled with Magnetic Zinc-Oxide (ZnO) NanoparticlesLijun Zhang, Muhammad Mubashir Bhatti, Marin Marin, Kh. S. Mekheimer. entropy, 22(10):1070, 2020. [doi]
AANet: Aggregation and Alignment Network with Semi-hard Positive Sample Mining for Hierarchical Place RecognitionFeng Lu, Lijun Zhang, Shuting Dong, Baifan Chen, Chun Yuan. icra 2023: 11771-11778 [doi]
Adaptive Online Learning in Dynamic EnvironmentsLijun Zhang, Shiyin Lu, Zhi-Hua Zhou. nips 2018: 1330-1340 [doi]
Robust Acoustic Contrast Control with Positive Semidefinite Constraint Using Iterative POTDC AlgorithmJunqing Zhang, Liming Shi, Mads Græsbøll Christensen, Wen Zhang 0002, Lijun Zhang, Jingdong Chen. iwaenc 2022: 1-5 [doi]
Non-binary type-II HARQ and its application to an adaptive systemLijun Zhang, Victor O. K. Li, Zhigang Cao. ijcomsys, 18(2):97-117, 2005. [doi]
Verify LTL with Fairness Assumptions EfficientlyYong Li, Lei Song, Yuan Feng, Lijun Zhang. time 2016: 41-50 [doi]
A truncated approximate difference algorithm for sparse signal recoveryAngang Cui, Lijun Zhang, Haizhen He, Meng Wen. dsp, 141:104191, September 2023. [doi]
A multistandard, multiband SoC with integrated BT, FM, WLAN radios and integrated power amplifierChungyeol P. Lee, Arya Behzad, Bojko Marholev, Vikram Magoon, Iqbal Bhatti, Dandan Li, Subhas Bothra, Ali Afsahi, Dayo Ojo, Rozi Roufoogaran, Tom Li, Yuyu Chang, Kishore Rama Rao, Stephen Au, Prasad Seetharam, Keith Carter, Jacob Rael, Malcolm Macintosh, Bobby Lee, Maryam Rofougaran, Reza Rofougaran, Amir Hadji-Abdolhamid, Mohammad Nariman, Shahla Khorram, Seema Anand, Ed Chien, Steve Wu, Carol Barrett, Lijun Zhang, Alireza Zolfaghari, Hooman Darabi, Ali Sarfaraz, Brima Ibrahim, Mark Gonikberg, Marcellus Forbes, Colin Fraser, Luis Gutierrez, Yury Gonikberg, Madjid Hafizi, Siukai Mak, Jesse Castaneda, Kimmer Kim, Zhenhua Liu, Stamatis Bouras, Kevin Chien, Vinay Chandrasekhar, Paul Chang, Edwin Li, ZhiMin Zhao. isscc 2010: 454-455 [doi]
Research on Association Rules Parallel Algorithm Based on FP-GrowthKe Chen, Lijun Zhang, Sansi Li, Wende Ke. icica 2011: 249-256 [doi]
Exponents of Hybrid Multi-Kernel Polar CodesLei Cheng, Lijun Zhang, Qiang Sun. istc 2018: 1-5 [doi]
Optimal Operation of Heavy-Haul Trains Equipped With Electronically Controlled Pneumatic Brake Systems Using Model Predictive Control MethodologyLijun Zhang, Xiangtao Zhuan. tcst, 22(1):13-22, 2014. [doi]
A Puncturing Scheme for Low-Density Parity-Check Codes Based on 1-SR NodesLijun Zhang, Fuli Ma, L. L. Cheng. vtc 2012: 1-6 [doi]
Design and Optimization for 77 GHz Series-Fed Patch Array Antenna Based on Genetic AlgorithmShuo Yang, Lijun Zhang, Jun Fu, Zhanqi Zheng, Xiaobin Zhang, Anmou Liao. sensors, 20(11):3066, 2020. [doi]
Variational Autoencoders for Hyperspectral Unmixing with Endmember VariabilityShuaikai Shi, Min Zhao, Lijun Zhang, Jie Chen. icassp 2021: 1875-1879 [doi]
A Fully Integrated MIMO Multiband Direct Conversion CMOS Transceiver for WLAN Applications (802.11n)Arya Behzad, Keith A. Carter, Hung-Ming Chien, Stephen Wu 0003, Meng-An Pan, C. Paul Lee, Qiang Li, John C. Leete, Stephen Au, Michael S. Kappes, Zhimin Zhou, Dayo Ojo, Lijun Zhang, Alireza Zolfaghari, Jesse Castanada, Hooman Darabi, Benson Yeung, Ahmadreza Rofougaran, Maryam Rofougaran, Jason Trachewsky, Tushar Moorti, Rohit V. Gaikwad, Amit Bagchi, Joachim S. Hammerschmidt, Jay Pattin, Jacob Rael, Bojko Marholev. jssc, 42(12):2795-2808, 2007. [doi]
INGCF: An Improved Recommendation Algorithm Based on NGCFWeifeng Sun, Kangkang Chang, Lijun Zhang, Kelong Meng. ica3pp 2022: 116-129 [doi]
Task-Agnostic Generalized Meta-learning Based on MAML for Few-Shot Bearing Fault DiagnosisXitao Yang, Lijun Zhang, Jinjia Wang. icig 2023: 118-129 [doi]
Learning Domain-Adaptive Landmark Detection-Based Self-Supervised Video Synchronization for Remote Sensing PanoramaLing Mei, Yizhuo He, Farnoosh Javadi Fishani, Yaowen Yu, Lijun Zhang, Helge Rhodin. remotesensing, 15(4):953, February 2023. [doi]
A Power Split Strategy for a Vehicular Hybrid Energy Storage System Using Adaptive Neuro Fuzzy Inference SystemJiao Li, Lijun Zhang, Longzhi Yang, Bo Wang. icarm 2023: 285-290 [doi]
Design and implementation of precise measuring method for the access time of embedded memoryYuqing Hu, Lijun Zhang, Youzhong Li, Qixiao Zhang, Erliang Li, Wei Jiang. asicon 2015: 1-4 [doi]
Application of locally one-dimensional semi-implicit scheme in phase-field equationsDan Cai, Lijun Zhang, Yong Du. cphysics, 192:148-155, 2015. [doi]
On Probabilistic Automata in Continuous TimeChristian Eisentraut, Holger Hermanns, Lijun Zhang. lics 2010: 342-351 [doi]
Hierarchical Spatial-Temporal Adaptive Graph Fusion for Monocular 3D Human Pose EstimationLijun Zhang, Feng Lu, Kangkang Zhou, Xiang-Dong Zhou, Yu Shi 0003. spl, 31:61-65, 2024. [doi]
Matching Algorithms of Minimum Input Selection for Structural Controllability Based on Semi-Tensor Product of MatricesNaqi Fan, Lijun Zhang, Shenggui Zhang, Jiuqiang Liu. jossac, 35(5):1808-1823, 2022. [doi]
Synthesizing Good-Enough Strategies for LTLf SpecificationsYong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang. IJCAI 2021: 4144-4151 [doi]
Peer Grading Eliciting Truthfulness Based on AutograderYong Han, Wenjun Wu 0001, Yu Liang 0003, Lijun Zhang. tlt, 16(3):353-363, June 2023. [doi]
HSTA: A Hierarchical Spatio-Temporal Attention Model for Trajectory PredictionYa Wu, Guang Chen 0001, Zhijun Li 0001, Lijun Zhang, Lu Xiong, Zhengfa Liu, Alois C. Knoll. tvt, 70(11):11295-11307, 2021. [doi]
Learning to Augment Imbalanced Data for Re-ranking ModelsZi-Hao Qiu, Ying-Chun Jian, Qing-Guo Chen, Lijun Zhang. CIKM 2021: 1478-1487 [doi]
When Equivalence and Bisimulation Join Forces in Probabilistic AutomataYuan Feng, Lijun Zhang. FM 2014: 247-262 [doi]
A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's AlgorithmYuan Feng, Lijun Zhang. concur 2014: 342-356 [doi]
Constructions of QC LDPC codes based on integer sequencesLijun Zhang, Bing Li, Leelung Cheng. chinaf, 57(6):1-14, 2014. [doi]
A Margin Adjustable Amplifier Circuit for RRAM Read AccessJinchen Liu, Ziou Wang, Yiping Zhang, Lijun Zhang. icicdt 2019: 1-4 [doi]
Inconsistency Based Active Learning for temporal object detectionXinjie Li, Lijun Zhang, Fangyu Zhou. sui 2023: [doi]
Semi-Supervised Deep Hashing with a Bipartite GraphXinyu Yan, Lijun Zhang, Wu-Jun Li. IJCAI 2017: 3238-3244 [doi]
Fast Decryption of Excel Document Encrypted by RC4 AlgorithmLijun Zhang, Cheng Tan, Fei Yu. icct 2020: 1572-1576 [doi]
Semi-supervised Clustering by Input Pattern Assisted Pairwise Similarity Matrix CompletionJinfeng Yi, Lijun Zhang, Rong Jin, Qi Qian, Anil K. Jain. icml 2013: 1400-1408 [doi]
An Automatic Proving Approach to Parameterized VerificationYongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai. tocl, 19(4), 2018. [doi]
Needs Analysis of the AR Application in the Packaging Design of Ya'an Tibetan TeaJie He, Lijun Zhang, Xia Jiang. spiot 2021: 765-771 [doi]
Probabilistic CEGARHolger Hermanns, Björn Wachter, Lijun Zhang. cav 2008: 162-175 [doi]
Illumination Quality Assessment for Face Images: A Benchmark and a Convolutional Neural Networks Based ModelLijun Zhang, Lin Zhang, Lida Li. iconip 2017: 583-593 [doi]
An Efficient and Privacy preserving Computation Framework for Tibetan medicineRuoli Zhao, Yong Xie, Lijun Zhang, Haiyan Cao, Ping Liu. cscloud 2023: 53-58 [doi]
Compressor and priority panel optimization for an energy efficient CNG fuelling stationCharles Kagiri, Lijun Zhang, Xiaohua Xia. ascc 2017: 2200-2203 [doi]
Paper-Based Electrodeposition Chip for 3D Alginate Hydrogel FormationWenfeng Wan, Gaole Dai, Lijun Zhang, Yajing Shen. micromachines, 6(10):1546-1559, 2015. [doi]
Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic SystemsFei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang. POPL 2015: 503-514 [doi]
China's economic zoning based on geographic information technologyYaochen Qin, Weiyang Yan, Lijun Zhang. geoinformatics 2013: 1-6 [doi]
Probabilistic Reachability for Parametric Markov ModelsErnst Moritz Hahn, Holger Hermanns, Lijun Zhang. spin 2009: 88-106 [doi]
Invertibility and nonsingularity of Boolean control networksKuize Zhang, Lijun Zhang, Lihua Xie. automatica, 60:155-164, 2015. [doi]
Cross-scenario transfer diagnosis of reciprocating compressor based on CBAM and ResNetLijun Zhang, Lixiang Duan. jifs, 43(5):5929-5943, 2022. [doi]
Fixed-time attitude tracking control for spacecraft based on a fixed-time extended state observerLijun Zhang, Yuanqing Xia, Ganghui Shen, Bing Cui. chinaf, 64(11), 2021. [doi]
UCDC: Unlimited Content-Defined Chunking, A File-Differing Method Apply to File-Synchronization among Multiple HostsJihong Ma, Chongguang Bi, Yuebin Bai, Lijun Zhang. skg 2016: 76-82 [doi]
Logic and Model Checking for Hidden Markov ModelsLijun Zhang, Holger Hermanns, David N. Jansen. forte 2005: 98-112 [doi]
Suppression of Relaxation Oscillations in DFB Lasers through Shaping Injection Current WaveformsBowen Nie, Qing-an Ding, Changqing Liu, Xudong Cheng, Xiaojuan Wang, Lijun Zhang. icct 2020: 975-979 [doi]
O(logT) Projections for Stochastic Optimization of Smooth and Strongly Convex FunctionsLijun Zhang, Tianbao Yang, Rong Jin, Xiaofei He. icml 2013: 1121-1129 [doi]
Improved Analysis for Dynamic Regret of Strongly Convex and Smooth FunctionsPeng Zhao, Lijun Zhang. l4dc 2021: 48-59 [doi]
High-Order S-Lemma with Application to Stability of a Class of Switched Nonlinear SystemsKuize Zhang, Lijun Zhang, Fuchun Sun. siamco, 52(1):120-142, 2014. [doi]
PRODeep: a platform for robustness verification of deep neural networksRenjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang 0001, Lijun Zhang, Bai Xue, Holger Hermanns. FSE 2020: 1630-1634 [doi]
Fusing semantic aspects for formal concept analysis using knowledge graphsLijun Zhang, Yuncheng Jiang. mta, 83(6):16763-16797, February 2024. [doi]
Context-Dependent Fusion of Multiple Algorithms with Minimum Classification Error LearningLijun Zhang, Hichem Frigui, Paul D. Gader. icmla 2009: 190-195 [doi]
A Simple Algorithm for Solving Qualitative Probabilistic Parity GamesErnst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang. cav 2016: 291-311 [doi]
28nm latch type sense amplifier coupling effect analysisYiping Zhang, Ziou Wang, Canyan Zhu, Lijun Zhang, Aiming Ji, Lingfeng Mao. isicir 2016: 1-4 [doi]
Modeling and Comparisons of Aggregated Flyback Microinverters in Aspect of Harmonic Resonances With the GridXiayun Feng, Fei Wang 0029, Chunhua Wu, Jian Luo, Lijun Zhang. tie, 66(1):276-285, 2019. [doi]
Deep Hybrid Networks Based Response Selection for Multi-turn Dialogue SystemsXishuo Li, Lijun Zhang, Wenge Rong, Baiwen Li, Li Qi. icassp 2019: 7295-7299 [doi]
Reconstructibility of Boolean control networks with time delays in statesPing Sun, Lijun Zhang, Kuize Zhang. kybernetika, 54(5):1091-1104, 2018. [doi]
Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision ProcessesMartin R. Neuhäußer, Lijun Zhang. qest 2010: 209-218 [doi]
Impedance Modeling of Virtual Synchronous Generator Considering Dead-Band EffectLijun Zhang, Fei Wang, Lintao Ren, Xinwei Xu, Jorge Duarte. iecon 2019: 4727-4732 [doi]
Novel Topology of Modular-Matrix-Converter-Based Smart Transformer for Hybrid MicrogridLijun Zhang, Alexandre Bento, Guilherme Marto Paraíso, Pedro B. C. Costa, Sónia Ferreira Pinto, José Fernando Silva. iecon 2021: 1-6 [doi]
On Stabilization in Herman s AlgorithmStefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang. icalp 2011: 466-477 [doi]
Flow Faster: Efficient Decision Algorithms for Probabilistic SimulationsLijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen. TACAS 2007: 155-169 [doi]
Determining Redundant Links of Multiagent Systems in Keeping or Improving Consensus Convergence RatesXinzhuang Chen, Shenggui Zhang, Lijun Zhang, Guihai Yu, Jiuqiang Liu. sj, 16(4):6153-6163, 2022. [doi]
Transient Frequency Stability Emergency Control for the Power System Interconnected With Offshore Wind Power Through VSC-HVDCAncheng Xue, Jiahuan Zhang, Lijun Zhang, Yikai Sun, Jiehao Cui, Jiawei Wang. access, 8:53133-53140, 2020. [doi]
Planning for Stochastic Games with Co-Safe ObjectivesLei Song, Yuan Feng, Lijun Zhang. IJCAI 2015: 1682-1688 [doi]
Spatial-Temporal Electric Vehicle Charging Demand Forecasting: A GTrans ApproachLiangliang Zhu, Yangyang Ge, Kui Wang, Yongzheng Fan, Xintong Ma, Lijun Zhang. ncaa 2023: 345-358 [doi]
Eco-driving over multi-signal road segments considering traffic flow constraintsZhensen Yang, Chuang Wang, Yuling Fan, Lijun Zhang. vtc 2023: 1-5 [doi]
Large-scale Stochastic Optimization of NDCG Surrogates for Deep Learning with Provable ConvergenceZi-Hao Qiu, Quanqi Hu, Yongjian Zhong, Lijun Zhang, Tianbao Yang. icml 2022: 18122-18152 [doi]
Radiometric Calibration Evaluation for FY3D MERSI-II Thermal Infrared Channels at Lake QinghaiLin Yan, Yonghong Hu, Yong Zhang, Xiao-Ming Li, Changyong Dou, Jun Li, Yidan Si, Lijun Zhang. remotesensing, 13(3):466, 2021. [doi]
Non-redundant multiple clustering by nonnegative matrix factorizationSen Yang, Lijun Zhang. ml, 106(5):695-712, 2017. [doi]
Smoothed Online Convex Optimization Based on Discounted-Normal-PredictorLijun Zhang, Wei Jiang, Jinfeng Yi, Tianbao Yang. nips 2022: [doi]
Graph Regularized Feature Selection with Data ReconstructionZhou Zhao, Xiaofei He, Deng Cai, Lijun Zhang, Wilfred Ng, Yueting Zhuang. tkde, 28(3):689-700, 2016. [doi]
Nearly Optimal Regret for Stochastic Linear Bandits with Heavy-Tailed PayoffsBo Xue, Guanghui Wang, Yimu Wang, Lijun Zhang. IJCAI 2020: 2936-2942 [doi]
Zero-Shot Restoration of Back-lit Images Using Deep Internal LearningLin Zhang, Lijun Zhang, Xiao Liu, Ying Shen, Shaoming Zhang, Shengjie Zhao. mm 2019: 1623-1631 [doi]
An Acoustic-Inertial Pose Estimation Method with Robust Feature Match and Graph OptimizationBufang Li, Weisheng Yan, Huiping Li, Lijun Zhang. ascc 2022: 2115-2120 [doi]
6DoF Pose Estimation of Transparent Object from a Single RGB-D ImageChi Xu 0002, Jiale Chen, Mengyang Yao, Jun Zhou, Lijun Zhang, Yi Liu. sensors, 20(23):6790, 2020. [doi]
Construction of Replacement Set in the GC-LDPC Codes Based on BIBDsWei Zhou, Lei Cheng, Lijun Zhang. vtc 2019: 1-5 [doi]
Full-Sphere Binaural Sound Source Localization Using Multi-task Neural NetworkYichen Yang, Jingwei Xi, Wen Zhang, Lijun Zhang. apsipa 2020: 432-436 [doi]
A Survey of Using Swarm Intelligence Algorithms in IoTWeifeng Sun, Min Tang, Lijun Zhang, Zhiqiang Huo, Lei Shu 0001. sensors, 20(5):1420, 2020. [doi]
Imbalanced data enhancement method based on improved DCGAN and its applicationLijun Zhang, Lixiang Duan, Xiaocui Hong, Xiangyu Liu, Xinyun Zhang. jifs, 41(2):3485-3498, 2021. [doi]
The Overtime Waiting Model for Web Server Performance EvaluationLijun Zhang, Qiuyu Zhu. cyberc 2014: 229-232 [doi]
Online Kernel Learning with a Near Optimal Sparsity BoundLijun Zhang, Jinfeng Yi, Rong Jin, Ming Lin, Xiaofei He. icml 2013: 621-629 [doi]
Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memoriesLijun Zhang, Kuize Zhang. chinaf, 56(10):1-12, 2013. [doi]
Recovering the Optimal Solution by Dual Random ProjectionLijun Zhang, Mehrdad Mahdavi, Rong Jin, Tianbao Yang, Shenghuo Zhu. colt 2013: 135-157 [doi]
Dynamic Regret of Strongly Adaptive MethodsLijun Zhang, Tianbao Yang, Rong Jin, Zhi-Hua Zhou. icml 2018: 5877-5886 [doi]
ATLAS: A real-space finite-difference implementation of orbital-free density functional theoryWenhui Mi, Xuecheng Shao, Chuanxun Su, Yuanyuan Zhou, Shoutao Zhang, Quan Li, Hui Wang, Lijun Zhang, Maosheng Miao, Yanchao Wang, Yanming Ma. cphysics, 200:87-95, 2016. [doi]
Forecasting of coalbed methane (CBM) productivity based on rough set and least squares support vector machineHaoming Xia, Yaochen Qin, Lijun Zhang, Yanping Cao, Jiaxing Xu. geoinformatics 2017: 1-6 [doi]
Probabilistic Model Checking Modulo TheoriesBjörn Wachter, Lijun Zhang, Holger Hermanns. qest 2007: 129-140 [doi]
Progressive Multi-View Fusion for 3D Human Pose EstimationLijun Zhang, Kangkang Zhou, Liangchen Liu, Zhenghao Li, Xunyi Zhao, Xiang-Dong Zhou, Yu Shi 0003. icip 2023: 1600-1604 [doi]
Active attitude fault-tolerant tracking control of flexible spacecraft via the Chebyshev neural networkKunfeng Lu, Tianya Li, Lijun Zhang. tinstmc, 41(4):925-933, 2019. [doi]
Double Wronskian solutions to the (2+1)-dimensional Broer-Kaup-Kupershmidt equationYaning Tang, Manwai Yuen, Lijun Zhang. appml, 105:106285, 2020. [doi]
A Semi-structured Data Classification Model with Integrating Tag Sequence and NgramLijun Zhang, Ning Li, Wei Pan 0007, Zhanhuai Li. dasfaa 2021: 219-234 [doi]
Non-stationary Dueling Bandits for Online Learning to RankShiyin Lu, Yuan Miao, Ping Yang, Yao Hu, Lijun Zhang. apweb 2023: 166-174 [doi]
An Overview on Supervised Semi-structured Data ClassificationLijun Zhang, Ning Li, Zhanhuai Li. dsaa 2021: 1-10 [doi]
Industrial energy systems in view of energy efficiency and operation controlXiaohua Xia, Lijun Zhang. arc, 42:299-308, 2016. [doi]
Learning to Dispatch for Flexible Job Shop Scheduling Based on Deep Reinforcement Learning via Graph Gated Channel TransformationDainlin Huang, Hong Zhao, Lijun Zhang, Kangping Chen. access, 12:50935-50948, 2024. [doi]
Observability of Boolean Control Networks: A Unified Approach Based on Finite AutomataKuize Zhang, Lijun Zhang. tac, 61(9):2733-2738, 2016. [doi]
Typical Fine Structure and Seismogenic Mechanism Analysis of the Surface Rupture of the 2022 Menyuan Mw 6.7 EarthquakeYameng Wen, Daoyang Yuan, Hong Xie, Ruihuan Su, Qi Su, Zhimin Li, Hao Sun, Guojun Si, Jinchao Yu, YanWen Chen, Hongqiang Li, Lijun Zhang. remotesensing, 15(18):4375, September 2023. [doi]
A Write-Verification Method for Non-Volatile MemoryYiping Zhang, Canyan Zhu, Lijun Zhang, Ziou Wang. icicdt 2019: 1-3 [doi]
A Simple yet Universal Strategy for Online Convex OptimizationLijun Zhang, Guanghui Wang 0006, Jinfeng Yi, Tianbao Yang. icml 2022: 26605-26623 [doi]
Towards Fault-Tolerant Real-Time Scheduling in the seL4 MicrokernelLibin Xu, Yuebin Bai, Kun Cheng, Lingyu Ge, Danning Nie, Lijun Zhang, Wenjia Liu. hpcc 2016: 711-718 [doi]
Development of an Optimal Operation Approach in the MPC Framework for Heavy-Haul TrainsLijun Zhang, Xiangtao Zhuan. tits, 16(3):1391-1400, 2015. [doi]
A tighter bound for the self-stabilization time in Herman's algorithmYuan Feng, Lijun Zhang. ipl, 113(13):486-488, 2013. [doi]
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov ChainsErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang. FUIN, 95(1):129-155, 2009. [doi]
Efficient Adaptive Online Learning via Frequent DirectionsYuanyu Wan, Nan Wei, Lijun Zhang. IJCAI 2018: 2748-2754 [doi]
High Spatiotemporal Resolution Mapping of Surface Water in the Southwest Poyang Lake and Its Responses to Climate OscillationsHaifeng Tian, Jian Wang, Jie Pei, Yaochen Qin, Lijun Zhang, Yongjiu Wang. sensors, 20(17):4872, 2020. [doi]
Generalized combined nonlinear adaptive filters: From the perspective of diffusion adaptation over networksWenxia Lu, Lijun Zhang, Jie Chen 0022, Jingdong Chen. sigpro, 172:107507, 2020. [doi]
Genome-wide analysis of the LBD family in rice: Gene functions, structure and evolutionDa Zhao, Pingli Chen, Zheng Chen, Lijun Zhang, Yansu Wang, Lei Xu. cbm, 153:106452, February 2023. [doi]
PARAM: A Model Checker for Parametric Markov ModelsErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang. cav 2010: 660-664 [doi]
Improving the Performance of Text Classifiers by Using Association FeaturesYang Zhang, Lijun Zhang, Zhanhuai Li, Yan Jianfeng. ismis 2003: 315-319 [doi]
New Models for Home Health Care under Uncertainty with Consideration of the Coordinated Development of Economy and EnvironmentYan Cui, Lijun Zhang, Qiuye Gao, BoHao Li, Yumei Hou. complexity, 2021, 2021. [doi]
A novel learning algorithm for Büchi automata based on family of DFAs and classification treesYong Li 0031, Yu-Fang Chen, Lijun Zhang, Depeng Liu. iandc, 281:104678, 2021. [doi]
A high-performance processor for optimal ate pairing computation over Barreto-Naehrig curvesYujun Xie, Bin Wang, Lijun Zhang, Xin Zheng, Xiaoling Lin, Xiaoming Xiong, Yuan Liu. iet-cds, 16(5):427-436, 2022. [doi]
Proving Non-inclusion of Büchi Automata Based on Monte Carlo SamplingYong Li 0031, Andrea Turrini, Xuechao Sun, Lijun Zhang. ATVA 2020: 467-483 [doi]
Plant Leaf Recognition Based on Conditional Generative Adversarial NetsZhihao Jiao, Lijun Zhang, Chang-an Yuan 0001, Xiao Qin, Li Shang. icic 2019: 312-319 [doi]
Two-stage Pipelined SRAM Design Based on 14nm FinFET ProcessYuan Lou, Lijun Zhang, Yuling Yan, Lijun Ma, Zhongda Zhang. eitce 2022: 400-405 [doi]
A Neural Approach Towards Real-time Management for Integrated Energy System Incorporating Carbon Trading and Electrical Vehicle SchedulingYiying Li, Bo Wang 0032, Lijun Zhang, Lei Liu 0013, Huijin Fan. ncaa 2023: 561-575 [doi]
Determining functional connectivity using fMRI data with diffusion-based anatomical weightingF. DuBois Bowman, Lijun Zhang, Gordana Derado, Shuo Chen. neuroimage, 62(3):1769-1779, 2012. [doi]
Generation of Personal Sound Zones With Physical Meaningful Constraints and Conjugate Gradient MethodLiming Shi, Taewoong Lee, Lijun Zhang, Jesper Kjær Nielsen, Mads Græsbøll Christensen. taslp, 29:823-837, 2021. [doi]
A Fastly and Slowly Cyclic Switching Strategy for Discrete-Time Cyclic Switched Systems and Its Application to Inverter CircuitsTao Sun, Rui Wang 0023, Lijun Zhang, Xudong Zhao 0001. tcasII, 69(3):1173-1177, 2022. [doi]
An automatic target acquisition algorithm based on the shape characteristics for LEO satelliteHanqiu Li, Lijun Zhang, Qing Xiao. iccchina 2018: 60-63 [doi]
Spatial Active Noise Control in Rooms Using Higher Order SourcesJunqing Zhang, Wen Zhang 0002, Jihui Aimee Zhang, Thushara Dheemantha Abhayapala, Lijun Zhang. taslp, 29:3577-3591, 2021. [doi]
Multiple Kernel Learning from Noisy Labels by Stochastic ProgrammingTianbao Yang, Mehrdad Mahdavi, Rong Jin, Lijun Zhang, Yang Zhou. icml 2012: [doi]
Physical Properties of LYSO Scintillator for NN-PET DetectorsJunwei Du, Yonggang Wang, Lijun Zhang, Zhonghui Zhou, Zizhong Xu, Xiaolian Wang. bmei 2009: 1-5 [doi]
Machine learning music emotion recognition based on audio featuresKeju Wang, Cheng Qian, Lijun Zhang. iciscae 2023: 215-220 [doi]
Human-Machine Hybrid Peer Grading in SPOCsYong Han, Wenjun Wu 0001, Yitao Yan, Lijun Zhang. access, 8:220922-220934, 2020. [doi]
Towards Practical Robustness Analysis for DNNs based on PAC-Model LearningRenjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue 0001, Lijun Zhang. ICSE 2022: 2189-2201 [doi]
Multidirectional Image Sensing for Microscopy Based on a Rotatable RobotYajing Shen, Wenfeng Wan, Lijun Zhang, Li Yong, Haojian Lu, Weili Ding. sensors, 15(12):31566-31580, 2015. [doi]
A Peer Review Approach to Grading Projects in Computer CoursesLiang Zhang, Yue Zong, Tianyi Chen, Yafeng Ma, Shuo An, Lijun Zhang. mcs 2023: 1-7 [doi]
A Tree-Structured Multi-Task Model RecommenderLijun Zhang, Xiao Liu, Hui Guan. automl 2022: [doi]
ECSAS: Exploring Critical Scenarios from Action Sequence in Autonomous DrivingShuting Kang, Heng Guo, Peng Su, Lijun Zhang, Guangzhen Liu, Yunzhi Xue, Yanjun Wu. ats 2023: 1-6 [doi]
Multi-Objective Generalized Linear BanditsShiyin Lu, Guanghui Wang, Yao Hu, Lijun Zhang. IJCAI 2019: 3080-3086 [doi]
Design and Implementation: Adaptive Active Queue Management Algorithm Based on Neural NetworkZhenwei Meng, Junlong Qiao, Lijun Zhang. ifip8-3 2014: 104-108 [doi]
Identifying Urban Functional Regions by LDA Topic Model with POI DataYuhao Huang, Lijun Zhang, Haijun Wang, Siqi Wang. bdccf 2022: 72-91 [doi]
Advanced automata-based algorithms for program termination checkingYu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang. PLDI 2018: 135-150 [doi]
Degradation Feature Selection for Remaining Useful Life Prediction of Rolling Element BearingsBin Zhang, Lijun Zhang, Jinwu Xu. qre, 32(2):547-554, 2016. [doi]
Rethinking Hard-Parameter Sharing in Multi-Domain LearningLijun Zhang, Qizheng Yang, Xiao Liu, Hui Guan. icmcs 2022: 1-6 [doi]
H∞ excitation control of multi-machine multi-load power systems via Hamiltonian function methodYanhong Liu, Jianyong Li, Chunwen Li, Lijun Zhang. icca 2010: 434-439 [doi]
A DSE-Based Power System Frequency Restoration Strategy for PV-Integrated Power Systems Considering Solar Irradiance VariationsShenglong Yu, Lijun Zhang, Herbert Ho-Ching Iu, Tyrone Fernando, Kit Po Wong. tii, 13(5):2511-2518, 2017. [doi]
MoNet: Motion-Based Point Cloud Prediction NetworkFan Lu 0001, Guang Chen 0001, Zhijun Li 0001, Lijun Zhang, YinLong Liu, Sanqing Qu, Alois C. Knoll. tits, 23(8):13794-13804, 2022. [doi]
An Asymmetric-Primary Axis-Flux Hybrid-Excitation Generator for the Vertical Axis Wind TurbineJing Liu, Qiang Zhang, Runbo Wang, Jilong Hu, Lijun Zhang, Baoping Cai. access, 9:92318-92325, 2021. [doi]
Spatial differentiation of urban carbon emissions - An exploratory spatial data analysis in BeijingLijun Zhang, Yaochen Qin, Jinping Zhang, Chaojun Lu. geoinformatics 2013: 1-7 [doi]
Mathematical studies of Poisson-Nernst-Planck model for membrane channels: Finite ion size effects without electroneutrality boundary conditionsRakhim Aitbayev, Peter W. Bates, Hong Lu 0003, Lijun Zhang, Mingji Zhang. jcam, 362:510-527, 2019. [doi]
HRegNet: A Hierarchical Network for Large-scale Outdoor LiDAR Point Cloud RegistrationFan Lu 0001, Guang Chen 0001, YinLong Liu, Lijun Zhang, Sanqing Qu, Shu Liu, Rongqi Gu. iccv 2021: 15994-16003 [doi]
Research to Practice of Blended Learning in Computer Programming CourseLiang Zhang, Tianyi Chen, Yue Zong, Lijun Zhang. mcs 2023: 1-5 [doi]
A Symplectic Algorithm for Constrained Hamiltonian SystemsJingli Fu, Lijun Zhang, Shan Cao, Chun-xiang, Weijia Zao. axioms, 11(5):217, 2022. [doi]
Perturbation influences of parameters on dynamic performance of a virtual synchronous generatorLijun Zhang, Fei Wang, Hui Guo, Xiayun Feng, Yan Du, Jianhui Su. iecon 2017: 1405-1410 [doi]
\ell_1-regression with Heavy-tailed DistributionsLijun Zhang, Zhi-Hua Zhou. nips 2018: 1084-1094 [doi]
2.5D Multizone Reproduction Using Weighted Mode MatchingWen Zhang 0002, Junqing Zhang, Thushara D. Abhayapala, Lijun Zhang. icassp 2018: 476-480 [doi]
Stochastic Graphical Bandits with Adversarial CorruptionsShiyin Lu, Guanghui Wang, Lijun Zhang. AAAI 2021: 8749-8757 [doi]
Reuse-centric k-means configurationLijun Zhang, Hui Guan, Yufei Ding, Xipeng Shen, Hamid Krim. is, 100:101787, 2021. [doi]
Precisely deciding CSL formulas through approximate model checking for CTMCsYuan Feng, Lijun Zhang. jcss, 89:361-371, 2017. [doi]
Model Checking Algorithms for CTMDPsPeter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang. cav 2011: 225-242 [doi]
Deep Homography Estimation for Visual Place RecognitionFeng Lu, Shuting Dong, Lijun Zhang, Bingxi Liu 0001, Xiangyuan Lan, Dongmei Jiang, Chun Yuan. AAAI 2024: 10341-10349 [doi]
Image Exposure Assessment: A Benchmark and a Deep Convolutional Neural Networks Based ModelLijun Zhang, Lin Zhang, Xiao Liu, Ying Shen, Dongqing Wang. icmcs 2018: 1-6 [doi]
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange InterpolationYu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang. cav 2015: 658-674 [doi]
DSMN: A Personalized Information Retrieval Algorithm Based on Improved DSSMWeifeng Sun, Lijun Zhang, Kangkang Chang, Shumiao Yu. ijcnn 2021: 1-7 [doi]
Concurrency and Composition in a Stochastic WorldChristian Eisentraut, Holger Hermanns, Lijun Zhang. concur 2010: 21-39 [doi]
COIMMR: a computational framework to reveal the contribution of herbal ingredients against human cancer via immune microenvironment and metabolic reprogrammingSaisai Tian, Yanan Li, Jia Xu, Lijun Zhang, Jinbo Zhang, Jinyuan Lu, Xike Xu, Xin Luan, Jing Zhao, Weidong Zhang. bib, 24(6), September 2023. [doi]
Query-Efficient Black-Box Attack by Active LearningPengcheng Li, Jinfeng Yi, Lijun Zhang. icdm 2018: 1200-1205 [doi]
Bisimulations Meet PCTL Equivalences for Probabilistic AutomataLei Song, Lijun Zhang, Jens Chr. Godskesen. concur 2011: 108-123 [doi]
License Plate Detection and Recognition Technology for Complex Real ScenariosZhipeng Li, Fei Wang, Hamdan Taleb, Changan Yuan 0001, Xiao Qin, Hongjie Wu, Xingming Zhao, Lijun Zhang. icic 2020: 241-256 [doi]
Persistence of solitary wave solutions to a singularly perturbed generalized mKdV equationJundong Wang, Manwai Yuen, Lijun Zhang. appml, 124:107668, 2022. [doi]
A robust and lightweight voice activity detection algorithm for speech enhancement at low signal-to-noise ratioZhehui Zhu, Lijun Zhang, Kaikun Pei, Siqi Chen. dsp, 141:104151, September 2023. [doi]
Numerical simulation and experimental validation for design improvement of packer rubberHanxiang Wang, Shengshan Chen, Yanxin Liu, Lijun Zhang, Zhenning Zhang. ijspm, 12(5):419-428, 2017. [doi]
Research on the Secure Communication Model of Instant MessagingLijun Zhang, Guangming Pan. csae 2022: [doi]
Speech Emotion Recognition Using Auditory Spectrogram and Cepstral FeaturesShujie Zhao, Yan Yang, Israel Cohen, Lijun Zhang. eusipco 2021: 136-140 [doi]
Early-Season Mapping of Winter Crops Using Sentinel-2 Optical ImageryHaifeng Tian, Yongjiu Wang, Ting Chen, Lijun Zhang, Yaochen Qin. remotesensing, 13(19):3822, 2021. [doi]
Learning Büchi Automata and Its ApplicationsYong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang. setss 2019: 38-98 [doi]
Surrounding Vehicles Motion Prediction for Risk Assessment and Motion Planning of Autonomous Vehicle in Highway ScenariosLijun Zhang, Wei Xiao, Zhuang Zhang, Dejian Meng. access, 8:209356-209376, 2020. [doi]
The Research of Image Segmentation Based on Improved Neural Network AlgorithmLijun Zhang, Xiuchun Deng. skg 2010: 395-397 [doi]
Analysis of the parameter extraction for on-chip transmission linesShuo Yang, Jun Fu, Lijun Zhang, Linlin Liu, Quan Wang, Yueyi Feng. ieiceee, 17(18):20200295, 2020. [doi]
Hardware ReliabilityIrene Eusgeld, Bernhard Fechner, Felix Salfner, Max Walter, Philipp Limbourg, Lijun Zhang. Dagstuhl 2008: 59-103 [doi]
Approximate Multiplication of Sparse Matrices with Limited SpaceYuanyu Wan, Lijun Zhang. AAAI 2021: 10058-10066 [doi]
Provable Stochastic Optimization for Global Contrastive Learning: Small Batch Does Not Harm PerformanceZhuoning Yuan, Yuexin Wu, Zi-Hao Qiu, Xianzhi Du, Lijun Zhang, Denny Zhou, Tianbao Yang. icml 2022: 25760-25782 [doi]
NN-adaptive output feedback tracking control for a class of discrete-time non-affine systems with a dynamic compensatorLijun Zhang, Jiemei Zhao, Xue Qi, He-Ming Jia. ijcon, 86(6):1008-1017, 2013. [doi]
3D Face Shape Regression From 2D Videos with Multi-Reconstruction and Mesh RetrievalXiaohu Shao, Jiangjing Lyu, Junliang Xing, Lijun Zhang, Xiaobo Li, Xiangdong Zhou, Yu Shi. iccvw 2019: 3090-3095 [doi]
A projection-based decomposition in EHW method for design of relatively large circuitsYanyun Tao, Yuzhen Zhang, Lijun Zhang, Chao Gu. gecco 2014: 153-154 [doi]
Convolutional Capsule-Based Network for Person Re-identificationAndong Li, Di Wu 0030, De-Shuang Huang, Lijun Zhang. icic 2019: 304-311 [doi]
Braking-Penalized Receding Horizon Control of Heavy-Haul TrainsLijun Zhang, Xiangtao Zhuan. tits, 14(4):1620-1628, 2013. [doi]
Automata-Based CSL Model CheckingLijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns. icalp 2011: 271-282 [doi]
AutoMTL: A Programming Framework for Automating Efficient Multi-Task LearningLijun Zhang, Xiao Liu, Hui Guan. nips 2022: [doi]
Research on Dynamic Labels in Network PruningLijun Zhang, Yaomin Luo, Shiqi Xie, Xiucheng Wu. icphys 2023: 1-5 [doi]
Stochastic Bandits with Graph Feedback in Non-Stationary EnvironmentsShiyin Lu, Yao Hu, Lijun Zhang. AAAI 2021: 8758-8766 [doi]
A Fast Reduced-Rank Sound Zone Control Algorithm Using The Conjugate Gradient MethodLiming Shi, Taewoong Lee, Lijun Zhang, Jesper Kjoer Nielsen, Mads Græsbøll Christensen. icassp 2020: 436-440 [doi]
Target Detection Algorithm Based on MMW Radar and Camera FusionQiuyu Jiang, Lijun Zhang, Dejian Meng. itsc 2019: 1-6 [doi]
A systematic EHW approach to the evolutionary design of sequential circuitsYanyun Tao, Qing Zhang, Lijun Zhang, Yuzhen Zhang. soco, 20(12):5025-5038, 2016. [doi]
Enhanced security and reliability with MIMO communications for smart gridXin Wang, Lijun Zhang, Amit Deokar, Qilian Liang. scn, 8(16):2723-2729, 2015. [doi]
Model Checking Differentially Private PropertiesDepeng Liu, Bow-Yaw Wang, Lijun Zhang. aplas 2018: 394-414 [doi]
Convex experimental design using manifold structure for image retrievalLijun Zhang, Chun Chen, Wei Chen, Jiajun Bu, Deng Cai, Xiaofei He. mm 2009: 45-54 [doi]
User Modeling for Recommendation in BlogspaceKangmiao Liu, Wei Chen, Jiajun Bu, Chun Chen, Lijun Zhang. iat 2007: 79-82 [doi]
Set-membership Belief State-based Reinforcement Learning for POMDPsWei Wei, Lijun Zhang, Lin Li, Huizhong Song, Jiye Liang. icml 2023: 36856-36867 [doi]
Reproducibility and feasibility of optic nerve diffusion MRI techniques: single-shot echo-planar imaging (EPI), readout-segmented EPI, and reduced field-of-view diffusion-weighted imagingFanglu Zhou, Qing Li, Xiaohui Zhang, Hongli Ma, Ge Zhang, Silin Du, Lijun Zhang, Thomas Benkert, Zhiwei Zhang. bmcmi, 22(1):96, 2022. [doi]
Pervasive Web News Recommendation for Visually Impaired PeopleWei Chen, Lijun Zhang, Can Wang, Chun Chen, Jiajun Bu. iat 2008: 119-122 [doi]
Finite-time fault tolerant control for spacecraft using sliding mode methodLijun Zhang, Yuanqing Xia, Ganghui Shen, Kunfeng Lu. iecon 2017: 6516-6520 [doi]
Adaptive output Feedback Control for trajectory Tracking of AUV in wave disturbance conditionLijun Zhang, Xue Qi, Yongjie Pang, Dapeng Jiang. ijwmip, 11(3), 2013. [doi]
不平衡数据分类研究综述 (Overview of Imbalanced Data Classification)Nan Zhao, Xiaofang Zhang, Lijun Zhang. jsjkx, 45(6A):22-27, 2018. [doi]
Bifurcations and Exact Bounded Solutions of Some Traveling Wave Systems Determined by Integrable Nonlinear Oscillators with q-Degree DampingLijun Zhang, Guanrong Chen, Jibin Li 0001. IJBC, 33(3), March 2023. [doi]
FlowSim Simulation Benchmarking PlatformJonathan Bogdoll, Holger Hermanns, Lijun Zhang. qest 2009: 211-212 [doi]
A Classifying-Inversion Method of Offshore Atmospheric Duct Parameters Using AIS Data Based on Artificial IntelligenceJie Han, Jiaji Wu, Lijun Zhang, Hongguang Wang, Qinglin Zhu, Chao Zhang, Hui Zhao, Shoubao Zhang. remotesensing, 14(13):3197, 2022. [doi]
Random Occlusion Recovery with Noise Channel for Person Re-identificationKun Zhang, Di Wu, Changan Yuan 0001, Xiao Qin, Hongjie Wu, Xingming Zhao, Lijun Zhang, Yuchuan Du, Hanli Wang. icic 2020: 183-191 [doi]
Multi-scaled self-attention for drug-target interaction prediction based on multi-granularity representationYuni Zeng, Xiangru Chen, Dezhong Peng, Lijun Zhang, Haixiao Huang. bmcbi, 23(1):314, 2022. [doi]
Heterogeneous Graph Attribute Completion via Efficient Meta-path Context-Aware LearningLijun Zhang, Geng Chen, Qingyue Wang, Peng Wang. prcv 2024: 396-408 [doi]
2.5D Multizone Reproduction with Active Control of Scattered Sound FieldsJunqing Zhang, Wen Zhang 0002, Thushara D. Abhayapala, Jingli Xie, Lijun Zhang. icassp 2019: 141-145 [doi]
Attention Based Network with DA-Loss for X-ray Contraband Automatic DetectionPeiwen Li, Lijun Zhang, Xiang-Dong Zhou, Yu Shi 0003, Xiaohu Shao. icmcs 2023: 2237-2242 [doi]
A Human-Machine Hybrid Peer Grading Framework for SPOCsYong Han, Wenjun Wu 0001, Suozhao Ji, Lijun Zhang, Hui Zhang 0028. edm 2019: [doi]
Robust Median Filtering Forensics by CNN-Based Multiple Residuals LearningLuo Yu, Yujin Zhang, Hua Han, Lijun Zhang, Fei Wu. access, 7:120594-120602, 2019. [doi]
Research on balancing and sequencing problems of flexible mixed model assembly lines with alternative precedence relationsYunfang Peng, Lijun Zhang, Beixin Xia, Yajuan Han. ijpr, 61(24):8451-8467, December 2023. [doi]
A Space-Efficient Probabilistic Simulation AlgorithmLijun Zhang. concur 2008: 248-263 [doi]
Synthesizing ranking functions for loop programs via SVMYi Li, Xie Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang. TCS, 935:1-20, 2022. [doi]
An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time PropertiesYong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang. setta 2016: 280-296 [doi]
A Minimum Loss Routing Algorithm Based on Real-Time Transaction in Energy InternetHui Guo, Fei Wang 0029, Li Li 0031, Lijun Zhang, Jian Luo. tii, 15(12):6446-6456, 2019. [doi]
AGRMTS: A virtual aircraft maintenance training system using gesture recognition based on PSO-BPNN modelYuling Yan, Lijun Zhang, Minye Chen. jvca, 33(1), 2022. [doi]
CLASS: A Novel Method for Chinese Legal Judgments SummarizationDongjin Li, Ke Yang, Lijun Zhang, Dawei Yin, Dezhong Peng. csae 2021: [doi]
Near Real-time Situation Awareness and Anomaly Detection for Complex Railway EnvironmentZan Chen, Weilong Niu, Cheng Wu, Lijun Zhang, Yiming Wang. cogsima 2021: 1-8 [doi]
2Shengli Xue, Lijun Zhang, Zhiqi Xie, Weijun Yan, Kuize Zhang. jossac, 36(6):2309-2324, December 2023. [doi]
Adaptive control of linear Markov jump systemsDaizhan Cheng, Lijun Zhang. ijsysc, 37(7):477-483, 2006. [doi]
Crowd Target Positioning under Multiple Cameras Based on Block CorrespondenceQiuyu Zhu, Sai Yuan, Bo Chen, Guowei Wang, Jianzhong Xu, Lijun Zhang. hci 2014: 509-518 [doi]
Dynamic Regret of Convex and Smooth FunctionsPeng Zhao 0006, Yu-Jie Zhang, Lijun Zhang, Zhi-Hua Zhou. nips 2020: [doi]
Design and Implementation of a DSP-Based Embedded Intelligent Traffic Surveillance SystemLan Hai, Yin Hang, Gyanendra Shrestha, Lijun Zhang. icaic 2011: 221-229 [doi]
Adaptive Regret of Convex and Smooth FunctionsLijun Zhang, Tie-Yan Liu, Zhi-Hua Zhou. icml 2019: 7414-7423 [doi]
Generative Adversarial Network-based Image Super-Resolution with a Novel Quality LossXining Zhu, Lin Zhang 0014, Lijun Zhang, Xiao Liu 0030, Ying Shen, Shengjie Zhao. ispacs 2019: 1-2 [doi]
A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification TreesYong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu. TACAS 2017: 208-226 [doi]
Improving Multi-Scenario Learning to Rank in E-commerce by Exploiting Task Relationships in the Label SpacePengcheng Li, Runze Li, Qing Da, Anxiang Zeng, Lijun Zhang. CIKM 2020: 2605-2612 [doi]
Classification of the spatial form of residential areas from the perspective of carbon emissionsPeijun Rong, Lijun Zhang, Yanan Li, Zhixiang Xie, Yaochen Qin. geoinformatics 2017: 1-5 [doi]
DoA Estimation of Room Reflections Using NN-Based MUSIC AlgorithmHaowen Li, Wen Zhang, Lijun Zhang. apsipa 2023: 1960-1965 [doi]
A-Optimal Projection for Image RepresentationXiaofei He, Chiyuan Zhang, Lijun Zhang, Xuelong Li. pami, 38(5):1009-1015, 2016. [doi]
Sufficient Conditions for Nonsingular H -matricesLijun Zhang, Min Li. bic-ta 2014: 598-605 [doi]
Soft Contrastive Learning for Implicit Feedback RecommendationsZhen-Hua Zhuang, Lijun Zhang. pakdd 2024: 219-230 [doi]
An Alternative Hard-Parameter Sharing Paradigm for Multi-Domain LearningLijun Zhang, Qizheng Yang, Xiao Liu, Hui Guan. access, 11:10440-10452, 2023. [doi]
Continuous Distributed Fixed-Time Attitude Controller Design for Multiple Spacecraft Systems With a Directed GraphBing Cui, Lijun Zhang, Yuanqing Xia, Jinhui Zhang. tcasII, 69(11):4478-4482, 2022. [doi]
Learning Unnormalized Statistical Models via Compositional OptimizationWei Jiang, Jiayu Qin, Lingyu Wu, Changyou Chen, Tianbao Yang, Lijun Zhang. icml 2023: 15105-15124 [doi]
An end-to-end deep learning model for robust smooth filtering identificationYujin Zhang, Luo Yu, Zhijun Fang, Neal N. Xiong, Lijun Zhang, Haiyue Tian. fgcs, 127:263-275, 2022. [doi]
Eye Fatigue Detection through Machine Learning Based on Single Channel ElectrooculographyYuqi Wang, Lijun Zhang, Zhen Fang. algorithms, 15(3):84, 2022. [doi]
A multi-population evolution stratagy and its application in low area/power FSM synthesisYanyun Tao, Lijun Zhang, Qinyu Wang, Rong Chen, Yuzhen Zhang. nc, 18(1):139-161, 2019. [doi]
Empirical Analysis of Financial Depth and Width Based on Convolutional Neural NetworkMengqi Ye, Lijun Zhang. cin, 2021, 2021. [doi]
Locally Regressive ProjectionsLijun Zhang. ijsi, 7(3):435-451, 2013. [doi]
A multistandard, multiband SoC with integrated BT, FM, WLAN radios and integrated power amplifierChungyeol P. Lee, Arya Behzad, Bojko Marholev, Vikram Magoon, Iqbal Bhatti, Dandan Li, Subhas Bothra, Ali Afsahi, Dayo Ojo, Rozi Roufoogaran, Tom Li, Yuyu Chang, Kishore Rama Rao, Stephen Au, Prasad Seetharam, Keith Carter, Jacob Rael, Malcolm Macintosh, Bobby Lee, Maryam Rofougaran, Reza Rofougaran, Amir Hadji-Abdolhamid, Mohammad Nariman, Shahla Khorram, Seema Anand, Ed Chien, Steve Wu, Carol Barrett, Lijun Zhang, Alireza Zolfaghari, Hooman Darabi, Ali Sarfaraz, Brima Ibrahim, Mark Gonikberg, Marcellus Forbes, Colin Fraser, Luis Gutierrez, Yury Gonikberg, Madjid Hafizi, Siukai Mak, Jesse Castaneda, Kimmer Kim, Zhenhua Liu, Stamatis Bouras, Kevin Chien, Vinay Chandrasekhar, Paul Chang, Edwin Li, ZhiMin Zhao. isscc 2010: 454-455 [doi]
Medium Density Control for Coal Washing Dense Medium Cyclone CircuitsLijun Zhang, Xiaohua Xia, Jiangfeng Zhang. tcst, 23(3):1117-1122, 2015. [doi]
Method for EEG Feature Extraction Based on Morphological Pattern SpectrumLijing Han, Lijun Zhang, Jianhong Yang, Min Li, Jinwu Xu. icsap 2009: 68-72 [doi]
Recent 5-year Findings and Technological Advances in the Proteomic Study of HIV-associated DisordersLijun Zhang, Xiaofang Jia, Jun-O Jin, Hongzhou Lu, Zhimi Tan. gpb, 15(2):110-120, 2017. [doi]
Decentralized Bisimulation for Multiagent SystemsLei Song, Yuan Feng, Lijun Zhang. atal 2015: 209-217 [doi]
Safety Verification for Probabilistic Hybrid SystemsLijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn. cav 2010: 196-211 [doi]
A New Type of Solitary Wave Solution of the mKdV Equation Under Singular PerturbationsLijun Zhang, Maoan Han, Mingji Zhang, Chaudry Masood Khalique. IJBC, 30(11), 2020. [doi]
HRegNet: A Hierarchical Network for Efficient and Accurate Outdoor LiDAR Point Cloud RegistrationFan Lu 0001, Guang Chen 0001, YinLong Liu, Lijun Zhang, Sanqing Qu, Shu Liu, Rongqi Gu, Changjun Jiang. pami, 45(10):11884-11897, October 2023. [doi]
A Parallel Multi-layered Pipeline with Feedback Mechanism for Mass Pattern MatchingJie Li, Yannan Zhao, Lijun Zhang, Wuying Xia. pdpta 2000:
GMorph: Accelerating Multi-DNN Inference via Model FusionQizheng Yang, Tianyi Yang, Mingcan Xiang, Lijun Zhang, Haoliang Wang, Marco Serafini, Hui Guan 0001. eurosys 2024: 505-523 [doi]
Using the theories of finite automata and formal languages to determine observability of switched Boolean control networksKuize Zhang, Lijun Zhang, Lihua Xie, Zhe Jiang. cdc 2015: 4214-4219 [doi]
Projection-free Online Learning over Strongly Convex SetsYuanyu Wan, Lijun Zhang. AAAI 2021: 10076-10084 [doi]
DFQA: Deep Face Image Quality AssessmentFei Yang, Xiaohu Shao, Lijun Zhang, Pingling Deng, Xiangdong Zhou, Yu Shi. icig 2019: 655-667 [doi]
An R package for model fitting, model selection and the simulation for longitudinal data with dropout missingnessCong Xu, Zheng Li, Yuan Xue, Lijun Zhang, Ming Wang. cssc, 48(9):2812-2829, 2019. [doi]
Flow: Per-instance Personalized Federated LearningKunjal Panchal, Sunav Choudhary, Nisarg Parikh, Lijun Zhang, Hui Guan. nips 2023: [doi]
Probabilistic reachability for parametric Markov modelsErnst Moritz Hahn, Holger Hermanns, Lijun Zhang. STTT, 13(1):3-19, 2011. [doi]
Time-bounded model checking of infinite-state continuous-time Markov chainsLijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter. acsd 2008: 98-107 [doi]
A Layer-Mixed FEC Scheme for Scalable Media Transmission Over Mobile TV ServicesLijun Zhang, Yue Li, Peng Cheng, Mingqi Li. tbc, 63(2):309-320, 2017. [doi]
Hybrid Construction of Long LDPC Codes with Very Low DensityLijun Zhang, Yanjing Zhang, L. L. Cheng. vtc 2012: 1-4 [doi]
Hybrid Multi-Kernel Construction of Polar CodesLei Cheng, Wei Zhou, Lijun Zhang. vtc 2019: 1-5 [doi]
Spatio-Temporal Attention Graph for Monocular 3d Human Pose EstimationLijun Zhang, Xiaohu Shao, Zhenghao Li, Xiang-Dong Zhou, Yu Shi 0003. icip 2022: 1231-1235 [doi]
Best Probabilistic TransformersBjÃ¶rn Wachter, Lijun Zhang. vmcai 2010: 362-379 [doi]
SVMRanker: a general termination analysis framework of loop programs via SVMXie Li, Yi Li, Yong Li, Xuechao Sun, Andrea Turrini, Lijun Zhang. FSE 2020: 1635-1639 [doi]
Design and Optimization of a Magnetic Levitation Load Reduction Device for a Hydropower UnitJing Liu, Hongzhong Ma, Qiang Zhang, Lijun Zhang, Baoping Cai. access, 9:32019-32029, 2021. [doi]
Multi-branch Face Quality Assessment for Face RecognitionLijun Zhang, Xiaohu Shao, Fei Yang, Pingling Deng, Xiangdong Zhou, Yu Shi. icct 2019: 1659-1664 [doi]
Optimal Algorithms for Stochastic Multi-Level Compositional OptimizationWei Jiang, Bokun Wang, Yibo Wang, Lijun Zhang, Tianbao Yang. icml 2022: 10195-10216 [doi]
Bandit Convex Optimization in Non-stationary EnvironmentsPeng Zhao, Guanghui Wang, Lijun Zhang, Zhi-Hua Zhou. aistats 2020: 1508-1518 [doi]
A Fano Decoding for Polar Codes Based on Node AccelerationYupeng Jiang, Lijun Zhang. vtc 2023: 1-5 [doi]
Controllability and Observability of Boolean Control Networks With Time-Variant Delays in StatesLijun Zhang, Kuize Zhang. tnn, 24(9):1478-1484, 2013. [doi]
Smartphone-based spatiotemporal behavior analysis on college students in Chinese newly developed campus: A case study for Henan universityLijun Zhang, Peijun Rong, Haoming Xia, Yaochen Qin, Panpan Cui, Yanping Zhang. geoinformatics 2017: 1-5 [doi]
A Simple Probabilistic Extension of Modal Mu-calculusWanwei Liu, Lei Song, Ji Wang, Lijun Zhang. IJCAI 2015: 882-888 [doi]
Medium and Long-Term Forecasting Method of China's Power Load Based on SaDE-SVM AlgorithmYuansheng Huang, Lijun Zhang, Mengshu Shi, Shijian Liu, Siyuan Xu. bic-ta 2018: 484-495 [doi]
A Node Stability-Based Multipath Routing Protocol in Heterogeneous Ad Hoc NetworksWenjia Liu, Yuebin Bai, Weitao Wang, Yuhao Gu, Jihong Ma, Linbin Xu, Lijun Zhang. hpcc 2016: 70-77 [doi]
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction ModelsLiang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang. iccv 2023: 8293-8305 [doi]
Obtaining diversity gain for DTV by using MIMO structure in SFNLijun Zhang, Lin Gui 0001, Yantao Qiao, Wenjun Zhang 0001. tbc, 50(1):83-90, 2004. [doi]
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic ChainsGeorgel Calin, Pepijn Crouzen, Pedro R. D Argenio, Ernst Moritz Hahn, Lijun Zhang. spin 2010: 193-211 [doi]
Cortical Thinning and Cognitive Impairment in Parkinson's Disease without DementiaLijun Zhang, Ming Wang, Nicholas W. Sterling, Eun-Young Lee, Paul J. Eslinger, Daymond Wagner, Guangwei Du, Mechelle Lewis, Young Truong, F. DuBois Bowman, Xuemei Huang 0004. tcbb, 15(2):570-580, 2018. [doi]
Controllability of probabilistic Boolean control networks with time-variant delays in statesKuize Zhang, Lijun Zhang. cdc 2013: 7211-7216 [doi]
Probabilistic Verification of Neural Networks Against Group FairnessBing Sun, Jun Sun 0001, Ting Dai, Lijun Zhang. FM 2021: 83-102 [doi]
Design of intelligent home pension service platform based on machine learning and wireless sensor networkYan Cui, Lijun Zhang, Yumei Hou, Ge Tian. jifs, 40(2):2529-2540, 2021. [doi]
Constrained Reinforcement Learning for Vehicle Motion Planning with Topological Reachability AnalysisShangding Gu, Guang Chen 0001, Lijun Zhang, Jing Hou, Yingbai Hu, Alois C. Knoll. robotics, 11(4):81, 2022. [doi]
Preface to Special Issue on Analysis and Verification of Intelligent SystemsZhong Ming 0001, Lijun Zhang, Shengchao Qin. ijsi, 12(4):351-353, 2022. [doi]
Improving Neural Network Verification through Spurious Region Guided RefinementPengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang. TACAS 2021: 389-408 [doi]
Anti-SEU design of SRAM based on FinFET processMan Zhang, Lijun Zhang, Yiping Zhang. iwcmc 2020: 878-881 [doi]
Improving the Robustness of Deep Neural Networks via Adversarial Training with Triplet LossPengcheng Li, Jinfeng Yi, Bowen Zhou, Lijun Zhang. IJCAI 2019: 2909-2915 [doi]
INFAMY: An Infinite-State Markov Model CheckerErnst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang. cav 2009: 641-647 [doi]
Learning Weighted Assumptions for Compositional Verification of Markov Decision ProcessesFei He, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang. TOSEM, 25(3):21, 2016. [doi]
Quantitative controller synthesis for consumption Markov decision processesJianling Fu, Cheng-Chao Huang, Yong Li 0031, Jingyi Mei, Ming Xu, Lijun Zhang. ipl, 180:106342, 2023. [doi]
A Simple Approach for Non-stationary Linear BanditsPeng Zhao, Lijun Zhang, Yuan Jiang, Zhi-Hua Zhou. aistats 2020: 746-755 [doi]
A New Microphone Array Speech Enhancement Method Based on AR ModelLiyan Zhang, Fuliang Yin, Lijun Zhang. lsms 2010: 139-147 [doi]
Power Demand Forecasting and Application based on SVRQing Guo, Yuyao Feng, Xiaolei Sun, Lijun Zhang. itqm 2017: 269-275 [doi]
Reconstruction of Spectral Reflectance Based on Fusion Convolution Neural NetworkLijun Zhang, Xiangguo Wang, Jingjing Zhang, Jinlong Qiao, Penghui Li. iccpr 2020: 250-254 [doi]
The range of harmful frequency for DNN corruption robustnessZhuang Zhang, Dejian Meng, Lijun Zhang, Wei Xiao, Wei Tian. ijon, 481:294-309, 2022. [doi]
Learning to Complement Büchi AutomataYong Li, Andrea Turrini, Lijun Zhang, Sven Schewe. vmcai 2018: 313-335 [doi]
Probabilistic Logical CharacterizationHolger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang. iandc, 209(2):154-172, 2011. [doi]
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent SystemsChen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang. IJCAI 2018: 4757-4763 [doi]
iscasMc: A Web-Based Probabilistic Model CheckerErnst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang. FM 2014: 312-317 [doi]
Efficient Asynchronous Communication between Virtual Machines in Embedded SystemsRui Wang, Libin Xu, Yuebin Bai, Zhongzhao Wang, Hailong Yang, Lijun Zhang. hpcc 2017: 603-604 [doi]
Adaptive Indoor Localization with Wi-Fi Based on Transfer LearningAnmin Hu, Lijun Zhang. icce-tw 2019: 1-2 [doi]
An Experimental Evaluation of Probabilistic SimulationJonathan Bogdoll, Holger Hermanns, Lijun Zhang. forte 2008: 37-52 [doi]
An Efficient Online Loop Closure Detection System With Local Spatial Co-Occurrence InformationLijun Zhang, Weisheng Yan, Huiping Li. tie, 70(8):8174-8183, August 2023. [doi]
NN-adaptive output feedback for path tracking control of a surface ship at high speedLijun Zhang, He-Ming Jia, Xue Qi. cdc 2009: 2869-2874 [doi]
Measuring Urban Poverty Spatial by Remote Sensing and Social Sensing Data: A Fine-Scale Empirical Study from ZhengzhouKun Wang, Lijun Zhang, Meng Cai, Lingbo Liu, Hao Wu 0046, Zhenghong Peng. remotesensing, 15(2):381, January 2023. [doi]
Security analysis of mobile QQFei Yu, Xinyu Zhao, Qingbing Ji, Lijun Zhang. wcsp 2014: 1-5 [doi]
Recurrent Neural Networks Meet Context-Free Grammar: Two Birds with One StoneHui Guan, Umana Chaudhary, Yuanchao Xu 0001, Lin Ning 0001, Lijun Zhang, Xipeng Shen. icdm 2021: 1078-1083 [doi]
A 320×240 I-ToF CMOS Image Sensor with 2-Tap 5.6µm Pixel and Mismatch-Nonlinearity SuppressionYouze Xin, Bing Zhang, Congzhen Hu, Li Dong 0007, Dan Li 0011, Yunsong Wang, Lijun Zhang, Shuyu Lei, Li Geng. iscas 2021: 1-4 [doi]
Piecewise Hashing: A Deep Hashing Method for Large-Scale Fine-Grained SearchYimu Wang, Xiu-Shen Wei, Bo Xue, Lijun Zhang. prcv 2020: 432-444 [doi]
Research on three-section type tool path planning algorithm for tooth hot pressing model cuttingLijun Zhang, Shaowei Fang, Jiayi Xu, Ning Yang, Weijian Guo, Hang Wang, Changliang Li. candie, 163:107817, 2022. [doi]
Searching Privately by Imperceptible Lying: A Novel Private Hashing Method with Differential PrivacyYimu Wang, Shiyin Lu, Lijun Zhang. mm 2020: 2700-2709 [doi]
Irecut+MM: Data Generalization and Metric Improvement for Few-shot LearningXixiang Lin, Zhenghao Li, Liangchen Liu, Jun Wu, Lijun Zhang, Xiang-Dong Zhou. icmcs 2023: 2915-2920 [doi]
On eventual periodicity of networked evolutionary gamesKuize Zhang, Lijun Zhang. case 2017: 177-180 [doi]
On the Minimisation of Acyclic ModelsPepijn Crouzen, Holger Hermanns, Lijun Zhang. concur 2008: 295-309 [doi]
Stochastic Approximation of Smooth and Strongly Convex Functions: Beyond the $O(1/T)$ Convergence RateLijun Zhang, Zhi-Hua Zhou. colt 2019: 3160-3179 [doi]
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, ProceedingsBernd Finkbeiner, Geguang Pu, Lijun Zhang, editors, Volume 9364 of Lecture Notes in Computer Science, Springer, 2015. [doi]
Hierarchical Game for Low-Carbon Energy and Transportation Systems Under Dynamic Hydrogen PricingHui Guo 0008, Dandan Gong, Lijun Zhang, Fei Wang 0029, Dajun Du. tii, 19(2):2008-2018, 2023. [doi]
Generalized Reversibility of Topological Dynamical Systems and Cellular AutomataKuize Zhang, Lijun Zhang. jca, 10(5-6):425-434, 2015. [doi]
An Application of Invertibility of Boolean Control Networks to the Control of the Mammalian Cell CycleKuize Zhang, Lijun Zhang, Shaoshuai Mou. tcbb, 14(1):225-229, 2017. [doi]
An Extensive Analysis of TrueCrypt Encryption ForensicsLijun Zhang, Xiaoyan Deng, Cheng Tan. csae 2019: [doi]
PASS: Abstraction Refinement for Infinite Probabilistic ModelsErnst Moritz Hahn, Holger Hermanns, BjÃ¶rn Wachter, Lijun Zhang. TACAS 2010: 353-357 [doi]
Charging Task Scheduling for Directional Wireless Charger NetworksHaipeng Dai, Ke Sun, Alex X. Liu, Lijun Zhang, Jiaqi Zheng, Guihai Chen. icpp 2018: [doi]
Fast Rates of ERM and Stochastic Approximation: Adaptive to Error Bound ConditionsMingrui Liu, Xiaoxuan Zhang, Lijun Zhang, Jing Rong, Tianbao Yang. nips 2018: 4683-4694 [doi]
Efficient Stochastic Optimization for Low-Rank Distance Metric LearningJie Zhang, Lijun Zhang. AAAI 2017: 933-940 [doi]
Synthesis for PCTL in Parametric Markov Decision ProcessesErnst Moritz Hahn, Tingting Han, Lijun Zhang. NFM 2011: 146-161 [doi]
Link Functions and Training-Based in Reflectance Reconstruction from RGB ImagesLijun Zhang, Jun Jiang, Jingjing Zhang, Chen Wang. icig 2017: 602-611 [doi]
Deep Semantic Graph Transformer for Multi-View 3D Human Pose EstimationLijun Zhang, Kangkang Zhou, Feng Lu, Xiang-Dong Zhou, Yu Shi 0003. AAAI 2024: 7205-7214 [doi]
Stochastic Optimization for Non-convex Inf-Projection ProblemsYan Yan 0006, Yi Xu, Lijun Zhang, Xiaoyu Wang, Tianbao Yang. icml 2020: 10660-10669 [doi]
Statistical Analysis of Process Variations on the Delay-Based PUFSongde Hu, Huansheng Ning, Yang Xu, Lingfeng Mao, Youzhong Li, Lijun Zhang. iiki 2016: 491-496 [doi]
A low-hardware consumption FPGA based configurable LDPC decoderLijun Zhang, Ying Jiang. ispacs 2013: 221-224 [doi]
Minimizing Adaptive Regret with One Gradient per IterationGuanghui Wang, Dakuan Zhao, Lijun Zhang. IJCAI 2018: 2762-2768 [doi]
Optimal Algorithms for Lipschitz Bandits with Heavy-tailed RewardsShiyin Lu, Guanghui Wang, Yao Hu, Lijun Zhang. icml 2019: 4154-4163 [doi]
Cross-cultural O2O English teaching based on AI emotion recognition and neural network algorithmMei Zhang, Lijun Zhang. jifs, 40(4):7183-7194, 2021. [doi]
Improve symmetry of arbiter in APUFYang Xu, Huansheng Ning, Lingfeng Mao 0001, Youzhong Li, Lijun Zhang. mfc, 1(3):281-294, 2018. [doi]
Flow Faster: Efficient Decision Algorithms for Probabilistic SimulationsLijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen. lmcs, 4(4), 2008. [doi]
Modeling the impact of spatial resolutions on perceptual quality of immersive image/videoRongbing Zhou, Mingkai Huang, Shuyi Tan, Lijun Zhang, Du Chen, Jie Wu, Tao Yue, Xun Cao, Zhan Ma. ic3d 2016: 1-6 [doi]
A Weighted Pair Graph Representation for Reconstructibility of Boolean Control NetworksKuize Zhang, Lijun Zhang, Rong Su. siamco, 54(6):3040-3060, 2016. [doi]
Optical emission enhancement of bent InSe thin filmsJiahao Xie, Lijun Zhang. chinaf, 64(4), 2021. [doi]
07101 Working Group Report -- Performance Measures Other Than TimeLucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang. Dagstuhl 2007: [doi]
NeCa: Network Calibration for Class Incremental LearningZhenyao Zhang, Lijun Zhang. acpr 2023: 385-399 [doi]
Robust Pressure Matching with ATF Perturbation Constraints for Sound Field ControlJunqing Zhang, Liming Shi, Mads Græsbøll Christensen, Wen Zhang, Lijun Zhang, Jingdong Chen. icassp 2022: 8712-8716 [doi]
GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPsZhimin Wu, Ernst Moritz Hahn, Akin Günay, Lijun Zhang, Yang Liu. ecai 2016: 1726-1727 [doi]
Momentum Accelerates the Convergence of Stochastic AUPRC MaximizationGuanghui Wang 0006, Ming Yang, Lijun Zhang, Tianbao Yang. aistats 2022: 3753-3771 [doi]
Multi-View Concept Learning for Data RepresentationZiyu Guan, Lijun Zhang, Jinye Peng, Jianping Fan. tkde, 27(11):3016-3028, 2015. [doi]
28-nm Latch-Type Sense Amplifier Modification for Coupling SuppressionYiping Zhang, Ziou Wang, Canyan Zhu, Lijun Zhang. tvlsi, 25(5):1767-1773, 2017. [doi]
QPMC: A Model Checker for Quantum Programs and ProtocolsYuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang. FM 2015: 265-272 [doi]
Deciding Simulations on Probabilistic AutomataLijun Zhang, Holger Hermanns. ATVA 2007: 207-222 [doi]
Accelerating Adaptive Online Learning by Matrix ApproximationYuanyu Wan, Lijun Zhang. pakdd 2018: 405-417 [doi]
Generalized Combined Nonlinear Adaptive Filters for Nonlinear Acoustic Echo CancellationWenxia Lu, Lijun Zhang, Jie Chen, Jingdong Chen. apsipa 2019: 1220-1225 [doi]
Multiple Complex Weather Tolerant and Low Cost Solution for Helmet DetectionChang Hao, Xu Yong, Shuqin Huang, Lijun Zhang. access, 11:50264-50271, 2023. [doi]
Efficient Hierarchical Multi-view Fusion Transformer for 3D Human Pose EstimationKangkang Zhou, Lijun Zhang, Feng Lu, Xiang-Dong Zhou, Yu Shi 0003. mm 2023: 7512-7520 [doi]
A Simple Analysis for Exp-concave Empirical Minimization with Arbitrary Convex RegularizerTianbao Yang, Zhe Li, Lijun Zhang. aistats 2018: 445-453 [doi]
Charging Task Scheduling for Directional Wireless Charger NetworksHaipeng Dai, Ke Sun, Alex X. Liu, Lijun Zhang, Jiaqi Zheng, Guihai Chen. tmc, 20(11):3163-3180, 2021. [doi]
A Deep Exploration of BitLocker Encryption and Security AnalysisCheng Tan, Lijun Zhang, Liang Bao. icct 2020: 1070-1074 [doi]
SAB: Stacking Action Blocks for Efficiently Generating Diverse Multimodal Critical Driving ScenarioShuting Kang, Heng Guo, Zitong Bo, Lijun Zhang, Qian Dong, Yunzhi Xue, Yanjun Wu. apsec 2023: 211-220 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Lijun Zhang's Profile

Unidentified Publications