Lijun Zhang - Concepedia

Author

Lijun Zhang

Also Known As

Godskesen, Jens Chr., Holzmann, Gerard J, Li-Jun Zhang, Li-jun Zhang, LiJun Zhang, Lijun Zhang, Xuechao Sun, Zhang Li-jun, Zhang Lijun, Zhang, Li-Jun

274

Publications

3.2K

Citations

H-Index

115

Concepts

All Affiliations

Chinese Academy of Sciences Institute of Software Saarland University University of Chinese Academy of Sciences Technical University of Denmark

About

Lijun Zhang is an author at Chinese Academy of Sciences specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	20	34	1.2K
2	Computer Engineering	8	8	275
3	Social Sciences	2	2	61
4	Education	1	1	15
5	Chemistry	1	1	20

Lijun Zhang

Publications

1.4K

Citations

H-Index

Page 1

	Year	Citations
On Probabilistic Automata in Continuous Time Christian Eisentraut, Holger Hermanns, Lijun Zhang Petri NetEngineeringContinuous TimeInteractive Markov ChainsProbabilistic Computation	2010	170
Field test of wavelength-saving quantum key distribution network Shuang Wang, Wei Chen, Zhen‐Qiang Yin, Optics Letters	2010	109
Measurability and safety verification for stochastic hybrid systems Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Stochastic Hybrid SystemReachability AnalysisPrototypical ImplementationEngineeringStochastic System	2011	89
A 5-Gb/s Automatic Gain Control Amplifier With Temperature Compensation Chang Liu, Yuepeng Yan, Wang-Ling Goh, IEEE Journal of Solid-State Circuits Electrical EngineeringEngineeringAgc ChipMixed-signal Integrated CircuitTemperature Compensation	2012	81
Model Repair for Markov Decision Processes Taolue Chen, Ernst Moritz Hahn, Tingting Han, Model RepairReliability EngineeringEngineeringData ScienceMdp Repair Problem	2013	72
A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks Kuize Zhang, Lijun Zhang, Rong Su SIAM Journal on Control and Optimization Circuit ComplexityEngineeringReachability ProblemBoolean FunctionNetworked Control	2016	66
Probabilistic Logical Characterization Holger Hermanns, Augusto Parma, Roberto Segala, Information and Computation Probabilistic OntologyProbability LogicEngineeringAutomated ReasoningProbabilistic Reasoning	2010	60
On Semi-tensor Product of Matrices and Its Applications Daizhan Cheng, Lijun Zhang Acta Mathematicae Applicatae Sinica English Series Semi-tensor ProductRepresentation TheoryMatrix MethodMatrix TheoryMatrix Analysis	2003	46
Query-Efficient Black-Box Attack by Active Learning Pengcheng Li, Jinfeng Yi, Lijun Zhang Artificial IntelligenceEngineeringMachine LearningInformation SecurityAi Safety	2018	45
Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes Martin R. Neuhäußer, Lijun Zhang EngineeringReachability ProblemComputational ComplexityMarkov Decision ProcessesOperations Research	2010	37

Page 1