Concepedia

Lijun Zhang

LZ

43

Publications

1.4K

Citations

22

H-Index

2003

Active since

Affiliations

Chinese Academy of Sciences(Current)

Institute of Software

Saarland University

University of Chinese Academy of Sciences

Technical University of Denmark

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

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsSystems EngineeringAutomated ReasoningData ScienceComputer EngineeringDeep Learning

Publications per year

2003–2024

43

Publications

43

On Probabilistic Automata in Continuous Time

Christian Eisentraut, Holger Hermanns, Lijun Zhang · 2010 · 170 citations

Petri Net, Engineering, Continuous Time +16

Field test of wavelength-saving quantum key distribution network

Shuang Wang, Wei Chen, Zhen‐Qiang Yin et al. · Optics Letters · 2010 · 109 citations · Full text

Measurability and safety verification for stochastic hybrid systems

Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns et al. · 2011 · 89 citations

Stochastic Hybrid System, Reachability Analysis, Prototypical Implementation +15

A 5-Gb/s Automatic Gain Control Amplifier With Temperature Compensation

Chang Liu, Yuepeng Yan, Wang-Ling Goh et al. · IEEE Journal of Solid-State Circuits · 2012 · 81 citations

Electrical Engineering, Engineering, Agc Chip +6

Model Repair for Markov Decision Processes

Taolue Chen, Ernst Moritz Hahn, Tingting Han et al. · 2013 · 72 citations

Model Repair, Reliability Engineering, Engineering +15

Rows per page

1–5 of 43