Concepedia

Lin Hai

LH

5

Publications

99

Citations

5

H-Index

2003

Active since

Affiliations

Jilin University(Current)

Lin Hai is an author at Jilin University specializing in engineering, formal methods, and hardware security.

Top concepts

EngineeringBusinessFormal MethodsComputer ScienceHardware SecurityGame TheoryVlsi DesignCryptographyData PrivacyData Security

Publications per year

2003–2010

5

Publications

5

Theorem Proving Based on the Extension Rule

Lin Hai, Jigui Sun, Zhang Yi-min · Journal of Automated Reasoning · 2003 · 40 citations

Knowledge Compilation Using the Extension Rule

Lin Hai, Jigui Sun · Journal of Automated Reasoning · 2004 · 21 citations

Engineering, Automated Reasoning, Knowledge Discovery +6

Evolution of strategies based on genetic algorithm in the iterated prisoner’s dilemma on complex networks

Lin Hai, Chen‐Xu Wu · Acta Physica Sinica · 2007 · 15 citations · Full text

Self-organization Mechanics, Evolutionary Game Theory, Engineering +16

Simultaneous Fine-grain Sleep Transistor Placement and Sizing for Leakage Optimization

Yu Wang, Lin Hai, Huazhong Yang et al. · 2006 · 13 citations

Engineering, Vlsi Design, Energy Efficiency +16

Cap unification

Siva Anantharaman, Lin Hai, Christopher S. Lynch et al. · 2010 · 10 citations · Full text

Hardware Security, Cryptographic Primitive, Insecurity Problem +14

Rows per page

1–5 of 5